Аффинное многообразие
Аффи́нное многообра́зие, аффинное алгебраическое многообразие, обобщение понятия аффинного алгебраического множества. Аффинное многообразие есть приведённая аффинная схема конечного типа над полем , т. е. , где – коммутативная -алгебра конечного типа без нильпотентных элементов. Аффинное многообразие , где – кольцо многочленов над полем , называется аффинным пространством над и обозначается . Аффинная схема является аффинным многообразием тогда и только тогда, когда она изоморфна приведённой замкнутой подсхеме аффинного пространства. Каждая система образующих -алгебры определяет сюръективный гомоморфизм , задаваемый формулой . Пусть – алгебраическое замыкание поля . Подмножество множества , состоящее из общих нулей всех многочленов идеала , является аффинным алгебраическим множеством над полем . Координатное кольцо такого аффинного алгебраического множества изоморфно кольцу . В свою очередь, каждое аффинное алгебраическое множество над полем определяет аффинное многообразие , где – координатное кольцо . При этом множество точек аффинного многообразия находится во взаимно однозначном соответствии с неприводимыми подмногообразиями соответствующего аффинного алгебраического множества.
С каждым аффинным многообразием связан функтор на категории -алгебр, определяемый соответствиемВ случае когда (соответственно ), элементы множества [соответственно ] называются геометрическими (соответственно рациональными) точками аффинного многообразия . Множество находится в биективном соответствии с множеством максимальных идеалов кольца , а также с множеством точек любого аффинного алгебраического множества , координатное кольцо которого изоморфно . При этом спектральная топология в пространстве индуцирует на всюду плотном подмножестве топологию, которая соответствует топологии Зариского на .