Алгебраическая геометрия: введение

Эллиптическая кривая - это проективное алгебраическое многообразие. Теорема Ферма о последней теореме была доказана через алгебраическую геометрию: Вайлс показал, что каждая эллиптическая кривая над ℚ - модулярная, используя теорию схем Гротендика. Алгебраическая геометрия - это мост между числами и геометрией.

• Криптография: эллиптические кривые над конечными полями - алгебраические многообразия с групповым законом
• Теория струн: пространство модулей компактификаций - алгебраическое многообразие (многообразие Калаби-Яу)
• Статистика: алгебраические статистические модели - образы рациональных отображений в пространстве вероятностей

Предварительные знания

• Commutative Algebra

Аффинные многообразия и соответствие Галуа

**Аффинное n-пространство** kⁿ над полем k - множество n-кортежей (a₁,...,aₙ) ∈ kⁿ. **Аффинное многообразие:** V(S) = {a ∈ kⁿ : f(a) = 0 ∀f ∈ S} для набора полиномов S ⊆ k[x₁,...,xₙ]. Это пересечение нулей полиномиальных уравнений. Примеры: V(y - x²) - парабола, V(x²+y²-1) - окружность, V(xy) - пара осей. **Идеал многообразия:** I(V) = {f ∈ k[x₁,...,xₙ] : f(a) = 0 ∀a ∈ V}. **Nullstellensatz (биекция Галуа) при k = k̄:** {радикальные идеалы I ⊆ k[x₁,...,xₙ]} ↔ {аффинные многообразия V ⊆ kⁿ} **Координатное кольцо:** k[V] = k[x₁,...,xₙ]/I(V) - кольцо «регулярных функций» на V. Это финитно-порождённая k-алгебра без нильпотентов. **Неприводимые многообразия ↔ Простые идеалы:** V неприводимо (не раскладывается в объединение собственных подмногообразий) ⟺ I(V) - простой идеал ⟺ k[V] - область.

**Зарисовка словаря:** Аффинное многообразие V ↔ финитно-порождённая k-алгебра k[V] без нильпотентов. Неприводимость ↔ область. Точки V ↔ максимальные идеалы k[V] (Nullstellensatz). Морфизмы V → W ↔ гомоморфизмы k-алгебр k[W] → k[V] (обращение стрелок!). Это «функториальность» алгебраической геометрии.

Проективное пространство и проективные многообразия

**Проективное пространство Pⁿ(k)** = (kⁿ⁺¹ \ {0}) / ~, где (a₀,...,aₙ) ~ (λa₀,...,λaₙ) для λ ≠ 0. Элементы - классы эквивалентности [a₀:a₁:...:aₙ], называемые однородными координатами. **Зачем?** Параллельные прямые пересекаются «в бесконечности» - точка [1:m:0] в P². Это устраняет «особые случаи» в теореме Безу. **Теорема Безу (проективная форма):** Над алгебраически замкнутым k, две проективные плоские кривые степеней d₁ и d₂ без общих компонент пересекаются ровно в d₁·d₂ точках (с учётом кратностей). **Проективное многообразие:** V⁺(S) = {[a₀:...:aₙ] ∈ Pⁿ : f(a₀,...,aₙ) = 0 ∀f ∈ S}, где S - однородные полиномы (f(λa) = λ^d·f(a)). Только однородные полиномы корректно определены на Pⁿ. **Покрытие аффинными картами:** Uᵢ = {[a₀:...:aₙ] : aᵢ ≠ 0} ≅ kⁿ. Многообразие в Pⁿ можно изучать по картам Uᵢ, склеивая результаты.

**Компактность проективного пространства:** Pⁿ(ℂ) - компактное топологическое пространство (в отличие от aⁿ(ℂ) = ℂⁿ). Это аналог сферы Римана P¹(ℂ) = S². Компактность важна: на компактном многообразии глобальные голоморфные функции только константы (теорема Лиувилля), поэтому интересны мероморфные функции - рациональные.

Морфизмы многообразий

**Регулярное отображение (морфизм)** φ: V → W аффинных многообразий - отображение, задаваемое полиномами: φ(a) = (f₁(a),...,fₘ(a)), где fᵢ ∈ k[x₁,...,xₙ]. **Функториальность:** Морфизм φ: V → W индуцирует гомоморфизм φ*: k[W] → k[V], φ*(g) = g∘φ. Это обращение стрелок! **Категория аффинных многообразий ≅ Категория к-алгебр (с обращением)** V → W соответствует k[W] → k[V] (антиэквивалентность категорий). **Рациональные отображения:** φ: V --→ W определено лишь на плотном открытом подмножестве. Пример: проекция конуса x²+y²=z² из вершины (0,0,0) на P¹ - рациональное отображение, не определённое в вершине. **Изоморфизм многообразий:** φ: V → W - изоморфизм ⟺ φ* - изоморфизм k-алгебр. Пример: парабола V(y-x²) ≅ A¹ (прямая) через t ↦ (t, t²).

**Теорема Шевалле (образ морфизма):** Если φ: V → W - морфизм аффинных многообразий, то образ φ(V) - конструктивное множество (булева комбинация многообразий). Это непросто: образ замкнутого множества не обязательно замкнут! Пример: φ: A² → A², (x,y) ↦ (x, xy). Образ - A² \ {(0,y), y≠0} - не замкнутое, но конструктивное.

Ключевые идеи

• Аффинное многообразие V(I) ⊆ kⁿ - нули полиномиального идеала I
• Координатное кольцо k[V] = k[x₁,...,xₙ]/I(V) - функции на V
• Nullstellensatz: радикальные идеалы ↔ аффинные многообразия над k̄
• Проективное пространство Pⁿ - компактификация aⁿ; теорема Безу: deg(V₁)·deg(V₂) точек
• Морфизмы V→W ↔ гомоморфизмы k[W]→k[V] (обращение стрелок)

Дальнейшие пути

Алгебраическая геометрия развивается в нескольких направлениях: теория схем (Гротендик) обобщает многообразия до произвольных колец, производные категории когерентных пучков - основной инвариант многообразия, теория мотивов объединяет когомологические теории.

• Коммутативная алгебра — Координатные кольца - финитно-порождённые k-алгебры; нётеровость обеспечивает конечность пересечений и разложений
• Производные категории — Производная категория когерентных пучков D^b(X) - главный инвариант алгебраического многообразия; гомологическая алгебра как инструмент геометрии

Вопросы для размышления

• Докажите, что парабола V(y-x²) ≅ A¹ как аффинные многообразия, построив явно взаимно обратные морфизмы и проверив, что они регулярны.
• Теорема Безу в P²(ℂ): коника (степень 2) и кубика (степень 3) пересекаются в 6 точках. Приведите пример конкретных кривых и найдите все 6 точек пересечения.
• Постройте каноническую биекцию между точками A¹(k) и максимальными идеалами k[x]. Обобщите на kⁿ и k[x₁,...,xₙ] (теорема о максимальных идеалах - слабый Nullstellensatz).

Связанные уроки

• geo-01