WikiDer > Особенность нормального пересечения

В алгебраическая геометрия а нормальная пересекающаяся особенность является особенностью, подобной объединению координатных гиперплоскостей. Термин может сбивать с толку, потому что нормальные особенности пересечения обычно не нормальные схемы (в смысле интегральной замкнутости локальных колец).

Нормальные делители пересечения

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

Позволять А быть алгебраическое многообразие, и ${displaystyle Z = igcup _ {i} Z_ {i}}$ а приведенный делитель Картье, с ${displaystyle Z_ {i}}$ его неприводимые компоненты. потом Z называется гладкий нормальный делитель пересечения если либо

(я) А это изгиб, или же

(ii) все ${displaystyle Z_ {i}}$ гладкие, и для каждого компонента ${displaystyle Z_ {k}}$, ${displaystyle (Z-Z_ {k}) | _ {Z_ {k}}}$ является гладким нормальным кросс-дивизором.

Эквивалентно говорят, что приведенный делитель имеет нормальные пересечения, если каждая точка 茅 сказка на месте выглядит как пересечение координатных гиперплоскостей.

Особенность нормального пересечения

В алгебраическая геометрия а нормальные переходы особенность - это точка в алгебраическое многообразие то есть локально изоморфна нормальному дивизору перекрестков.

Особенность простого пересечения нормалей

В алгебраическая геометрия а особенность простых нормальных пересечений точка в алгебраическое многообразие, у последнего гладкий неприводимые компоненты, то есть локально изоморфна нормальному дивизору перекрестков.

Примеры

• Нормальные точки пересечения в алгебраическом многообразии, называемые Зонтик Whitney не являются простыми особенностями нормального пересечения.
• Начало в алгебраическом многообразии, определенном формулой ${displaystyle xy = 0}$ является особенностью простых нормальных пересечений. Само разнообразие, рассматриваемое как подмножество двумерного аффинная плоскость является примером дивизора нормальных перекрестков.
• Любое многообразие, являющееся объединением гладких многообразий, все из которых имеют гладкие пересечения, является многообразием с нормальными перекрестными особенностями. Например, пусть ${displaystyle f, gin mathbb {C} [x_ {0}, ldots, x_ {3}]}$ - неприводимые многочлены, определяющие гладкие гиперповерхности, такие что идеал ${displaystyle (f, g)}$ определяет плавную кривую. потом ${displaystyle {ext {Proj}} (mathbb {C} [x_ {0}, ldots, x_ {3}] / (fg))}$ поверхность с нормально пересекающимися особенностями.

Рекомендации

• Роберт Лазарсфельд, Положительность в алгебраической геометрии, Springer-Verlag, Берлин, 1994.