WikiDer > Полное пересечение

Complete intersection

В математике алгебраическое многообразие V в проективное пространство это полное пересечение если идеал V порождается точно codim V элементы. То есть, если V имеет измерение м и лежит в проективном пространстве п^п, должно существовать п − м однородные многочлены

F_я(Икс₀, ..., Икс_п), 1 ≤ я ≤ п − м,

в однородные координаты Икс_j, которые порождают все остальные однородные многочлены, обращающиеся в нуль на V.

Геометрически каждый F_я определяет гиперповерхность; пересечение этих гиперповерхностей должно быть V. Пересечение п-м гиперповерхности всегда будут иметь размер не менее м, предполагая, что поле скаляров алгебраически замкнутое поле такой как сложные числа. По сути, вопрос в том, можем ли мы уменьшить размерность до м, без лишних точек на перекрестке? Это условие довольно сложно проверить, если коразмерность п − м ≥ 2. Когда п − м = 1, тогда V автоматически является гиперповерхностью, и доказывать нечего.

Примеры

Простые примеры полных пересечений даются гиперповерхностями, которые определяются сходством в нуль одного полинома. Например,

{ displaystyle mathbb {V} (x_ {0} ^ {5} + cdots + x_ {4} ^ {5}) = { text {Proj}} left ({ frac { mathbb {F}) [x_ {0}, ldots, x_ {4}]} {(x_ {0} ^ {5} + cdots + x_ {4} ^ {5})}} right) { xrightarrow {i}} mathbb {P} _ { mathbb {F}} ^ {4}}

дает пример квинтики тройной. Может быть сложно найти явные примеры полных пересечений многообразий более высокой размерности, используя два или более явных примера (бестиарий), но существует явный пример 3-кратного типа ${ displaystyle (2,4)}$ данный

{ displaystyle mathbb {V} (x_ {0} ^ {2} + x_ {1} ^ {2} + x_ {2} ^ {2} + x_ {3} ^ {2} + x_ {4} x_ {5}, x_ {4} ^ {4} + x_ {5} ^ {4} -2x_ {0} x_ {1} x_ {2} x_ {3})}

Без примеров

Витая кубическая

Один из методов построения локальных полных пересечений - взять проективное полное множество пересечений и вложить его в проективное пространство более высокой размерности. Классическим примером этого является витая кубическая в ${ Displaystyle mathbb {P} _ {R} ^ {3}}$ : это гладкое локальное полное пересечение, означающее, что в любой карте оно может быть выражено как множество исчезающих двух многочленов, но глобально оно выражается исчезающим геометрическим числом более двух многочленов. Мы можем построить его, используя очень обширный линейный набор ${ Displaystyle { mathcal {O}} (3)}$ над ${ Displaystyle mathbb {P} ^ {1}}$ давая вложение

{ Displaystyle mathbb {P} _ {R} ^ {1} to mathbb {P} _ {R} ^ {3}}

к

{ displaystyle [s: t] mapsto [s ^ {3}: s ^ {2} t: st ^ {2}: t ^ {3}]}

Обратите внимание, что ${ displaystyle Gamma ({ mathcal {O}} (3)) = { text {Span}} _ {R} {s ^ {3}, s ^ {2} t, st ^ {2}, т ^ {3} }}$ . Если мы позволим ${ displaystyle mathbb {P} _ {R} ^ {3} = { text {Proj}} (R [x_ {0}, x_ {1}, x_ {2}, x_ {3}])}$ вложение дает следующие соотношения:

{ displaystyle { begin {align} f_ {1} & = x_ {0} x_ {3} -x_ {1} x_ {2} f_ {2} & = x_ {1} ^ {2} -x_ {0} x_ {2} f_ {3} & = x_ {2} ^ {2} -x_ {1} x_ {3} end {выровнено}}}

Следовательно, скрученная кубика - это проективная схема

{ displaystyle { text {Proj}} left ({ frac {R [x_ {0}, x_ {1}, x_ {2}, x_ {3}]} {(f_ {1}, f_ {2) }, f_ {3})}} right)}

Союз разновидностей, различающихся размерностью

Другой удобный способ построить неполное пересечение, которое никогда не может быть локальным полным пересечением, - это объединение двух различных разновидностей, размеры которых не совпадают. Например, объединение линии и плоскости, пересекающейся в точке, является классическим примером этого явления. Дается схемой

{ displaystyle { text {Spec}} left ({ frac { mathbb {C} [x, y, z]} {(xz, yz)}} right)}

Разнородный

У полного пересечения есть разнородный, записанный как кортеж (правильно, хотя мультимножество) степеней определяющих гиперповерхностей. Например, взяв квадрики в п³ опять же, (2,2) - это мультистепень полного пересечения двух из них, которые, когда они находятся в общая позиция является эллиптическая кривая. В Числа Ходжа сложных гладких полных пересечений были разработаны Кунихико Кодайра.

Общая позиция

Чтобы задать более сложные вопросы, необходимо более внимательно изучить характер пересечения. Гиперповерхности могут потребоваться для удовлетворения трансверсальность состояние (как и их касательные пространства находясь в общем положении в точках пересечения). Пересечение может быть схемотехнический, другими словами здесь однородный идеал генерируется F_я(Икс₀, ..., Икс_п) может потребоваться как определяющий идеал V, а не только правильные радикальный. В коммутативная алгебра, условие полного пересечения переводится в регулярная последовательность термины, позволяющие дать определение локальное полное пересечение, или после некоторых локализация идеал имеет определяющие регулярные последовательности.

Топология

Гомология

Поскольку полные пересечения размерности ${ displaystyle n}$ в ${ Displaystyle mathbb {CP} ^ {п + м}}$ являются пересечением гиперплоских сечений, мы можем использовать теорему Лефшеца о гиперплоскости, чтобы вывести, что

{ Displaystyle Н ^ {2k} (Х) = mathbb {Z}}

за ${ displaystyle 2k$ . Кроме того, можно проверить, что группы гомологий всегда без кручения, с помощью теоремы об универсальных коэффициентах. Это означает, что средняя группа гомологий определяется эйлеровой характеристикой пространства.

Эйлерова характеристика

Хирцебрух дал производящую функцию, вычисляющую размерность всех полных пересечений многостепенных ${ Displaystyle (а_ {1}, ldots, а_ {г})}$ . Он читает

{ displaystyle sum _ {n = 0} ^ { infty} chi (X_ {n} (a_ {1}, ldots, a_ {r})) z ^ {n} = { frac {a_ { 1} cdots a_ {r}} {(1-z) ^ {2}}} prod _ {i = 1} ^ {r} { frac {1} {(1+ (a_ {i} -1 ) z)}}}

внешняя ссылка

Полные пересечения в Manifold Atlas

Navigation