Magic Squaresproof atlas
← К циклу о поверхностях 6/9

Эллиптические поверхности 6/9 · 5.15

Общая геометрия 6/9: расширенный атлас

Шестнадцать позиционных типов разбиваются на шесть комбинаторных групп и реализуют четыре модельных класса: три паспорта эллиптических K3-поверхностей для четырнадцати непараллельных масок и одну Kummer-модель для двух параллельных. Атлас упорядочивает маски по локальной сложности условий и указывает доказанные границы каждой модели.

1. Конечный результат классификации

С точностью до диэдральных симметрий квадрата существует ровно 16 масок 6/9. Для каждой шесть корней удовлетворяют трём независимым квадрикам. Порядок ниже задаётся локальной сложностью предпочтительного базиса условий:

red<yellow<blue. \mathrm{red}<\mathrm{yellow}<\mathrm{blue}.

Это порядок сложности, обратный редакционному порядку предпочтения цветов в общем атласе, где красный ставится выше жёлтого, а жёлтый выше голубого. Внутри профиля RRY параллельный случай поставлен раньше пересекающегося: после параметризации двух красных коник он полностью решается одним равенством tf.

Разбиение шестнадцати типов

16=3RRR+2RRY,parallel+6RRY,intersecting+2RYY+2RYB+1YYB. 16=3_{\mathrm{RRR}}+2_{\mathrm{RRY,parallel}} +6_{\mathrm{RRY,intersecting}} +2_{\mathrm{RYY}}+2_{\mathrm{RYB}}+1_{\mathrm{YYB}}.

2. Расширенный атлас: от простых к сложным

I

Три красные прогрессии

Самые простые локальные условия: каждая квадрика является рациональной коникой прогрессии.

ABDEFH →RRR

три прогрессии, два общих центра

Приведение
правильно скрученная квартика
Поверхность
4I₄+4I₂
Геометрический ранг MW
1≤r≤2
Секции
1 родная
Полнота покрытия
доказанная рациональная карта; глобальная полнота не установлена
ABDEFJ →RRR

цепочка трёх прогрессий

Приведение
палиндромная квартика
Поверхность
4I₄+4I₂
Геометрический ранг MW
1≤r≤2
Секции
1 родная
Полнота покрытия
доказанная рациональная карта; глобальная полнота не установлена
ABEFGH →RRR

треугольник попарных средних

Приведение
обратный образ семейства Лежандра
Поверхность
4I₄+4I₂
Геометрический ранг MW
1≤r≤2
Секции
1 родная
Полнота покрытия
доказанная рациональная карта; глобальная полнота не установлена
II

Две параллельные красные и жёлтая склейка

Особо простой глобальный случай: третья квадрика в точности становится равенством tf.

ABEFGJ →RRY

параллельные прогрессии с центром E

Приведение
полная tfmn-нормализация
Поверхность
Km(E×E)
Геометрический ранг MW
—
Секции
полное описание tfmn
Полнота покрытия
все невырожденные рациональные точки
ABDFHJ →RRY

параллельные прогрессии без E

Приведение
линейно то же пространство tfmn
Поверхность
Km(E×E)
Геометрический ранг MW
—
Секции
полное описание tfmn
Полнота покрытия
все невырожденные рациональные точки
III

Две пересекающиеся красные и жёлтая склейка

После параметризации двух прогрессий остаётся отмеченная квартика рода 1.

ABCDEH →RRY

две прогрессии с общей H

Приведение
остаточная квартика
Поверхность
2I₄+8I₂
Геометрический ранг MW
2≤r≤4
Секции
2 независимые
Полнота покрытия
доказанная рациональная карта; глобальная полнота не установлена
ABCDEJ →RRY

две прогрессии с общей J

Приведение
остаточная квартика
Поверхность
2I₄+8I₂
Геометрический ранг MW
1≤r≤4
Секции
1 родная
Полнота покрытия
доказанная рациональная карта; глобальная полнота не установлена
ABCDFH →RRY

две прогрессии с общей H

Приведение
палиндромная квартика
Поверхность
2I₄+8I₂
Геометрический ранг MW
1≤r≤4
Секции
1 родная
Полнота покрытия
доказанная рациональная карта; глобальная полнота не установлена
ABCDHJ →RRY

две прогрессии с общей D

Приведение
палиндромная квартика
Поверхность
2I₄+8I₂
Геометрический ранг MW
1≤r≤4
Секции
1 родная
Полнота покрытия
доказанная рациональная карта; глобальная полнота не установлена
ABCEGH →RRY

общий центр E; первое прочтение

Приведение
общая квартика с ABCEGJ
Поверхность
2I₄+8I₂
Геометрический ранг MW
2≤r≤4
Секции
2 независимые
Полнота покрытия
доказанная рациональная карта; глобальная полнота не установлена
ABCEGJ →RRY

общий центр E; второе прочтение

Приведение
общая квартика с ABCEGH
Поверхность
2I₄+8I₂
Геометрический ранг MW
2≤r≤4
Секции
2 независимые
Полнота покрытия
доказанная рациональная карта; глобальная полнота не установлена
IV

Одна красная и две жёлтые нормы

Одна рациональная прогрессия связывает две независимые гауссовы факторизации.

ABCDEG →RYY

центральная прогрессия CEG

Приведение
чётная квартика
Поверхность
12I₂
Геометрический ранг MW
1≤r≤6
Секции
1 родная
Полнота покрытия
доказанная рациональная карта; глобальная полнота не установлена
ABCDGJ →RYY

прогрессия BDJ и две нормы

Приведение
чётная квартика
Поверхность
12I₂
Геометрический ранг MW
1≤r≤6
Секции
1 родная
Полнота покрытия
доказанная рациональная карта; глобальная полнота не установлена
V

Красная, жёлтая и голубая нормы

Гауссова норма и норма x²+2y² должны одновременно согласоваться с прогрессией.

ABCDEF →RYB

три условия на общем блоке CDE

Приведение
чётная квартика
Поверхность
12I₂
Геометрический ранг MW
1≤r≤6
Секции
1 родная
Полнота покрытия
доказанная рациональная карта; глобальная полнота не установлена
ABCDFG →RYB

три нормы без центральной клетки

Приведение
чётная квартика
Поверхность
12I₂
Геометрический ранг MW
1≤r≤6
Секции
1 родная
Полнота покрытия
доказанная рациональная карта; глобальная полнота не установлена
VI

Две жёлтые и голубая норма без красного

Самый сложный по локальным условиям тип: ни одна квадрика заранее не параметризуется прогрессией.

ABCGHJ →YYB

единственный бескрасный тип

Приведение
гладкое (2,2,2)-пересечение; гауссова карта
Поверхность
4I₄+4I₂
Геометрический ранг MW
1≤r≤2
Секции
1 родная
Полнота покрытия
доказанная рациональная карта; глобальная полнота не установлена

Для всех шестнадцати типов опубликованы бесконечные рациональные конструкции и точные положительные специализации ровно 6/9. Обозначение r в таблице означает rank E(ℚ̄(t)) для выбранного якобианова расслоения, а не ранг каждого специализированного слоя. Для двух Kummer-масок такой ранг не указан: их доказанный глобальный результат — полное tfmn-описание всех невырожденных рациональных решений.

Km⁡(E×E),E: v2=u3−u. \operatorname{Km}(E\times E),\qquad E:\ v^2=u^3-u.

Одинаковый паспорт означает одинаковые типы и кратности особых слоёв выбранного расслоения. Он не доказывает, что соответствующие K3-поверхности изоморфны, бирациональны или принадлежат одной деформационной семье с дополнительной структурой.

3. Три паспорта и лестница рангов

Четырнадцать непараллельных масок распределяются между тремя полустабильными эллиптическими K3-паспортами:

ПаспортМасокКорневая решёткаВерхняя граница
12I₂4A₁¹²r≤6
2I₄+8I₂6A₃²⊕A₁⁸r≤4
4I₄+4I₂4A₃⁴⊕A₁⁴r≤2

Для относительно минимальных эллиптических моделей с сечением и без кратных слоёв сумма чисел Эйлера в каждой строке равна 24, а формула канонического пучка даёт χ(𝒪)=2. После проверки гладкости минимальной модели это K3-поверхности. Формула Шиоды—Тейта и неравенство ρ(K3)≤20 дают лестницу верхних границ геометрического ранга:

12I2:  20−2−12=6,2I4+8I2:  20−2−(2⋅3+8)=4,4I4+4I2:  20−2−(4⋅3+4)=2. \begin{aligned} 12I_2:\;&20-2-12=6,\\ 2I_4+8I_2:\;&20-2-(2\cdot3+8)=4,\\ 4I_4+4I_2:\;&20-2-(4\cdot3+4)=2. \end{aligned}

Чем больше компоненты особых слоёв занимают решётку Пикара, тем меньше места остаётся для свободной группы секций.

4. В каком смысле возникают K3-модели

Шесть выбранных квадратных клеток дают шесть корней и три однородные квадрики. Если их проективное пересечение в ℙ⁵ гладко, формула сопряжения даёт тривиальный канонический пучок, а H¹(𝒪)=0 следует из теоремы Лефшеца или комплекса Кошуля; такая поверхность является K3. В остальных статьях термин K3 относится к гладкой минимальной модели якобиана выбранного расслоения рода 1 либо, для параллельной пары, к минимальному разрешению Kummer-поверхности.

Эти конструкции объясняют систематическое появление K3-геометрии, но не отождествляют исходное пересечение квадрик, его отдельную карту, якобианову поверхность и Kummer-модель. Между моделями используются явно указанные бирациональные переходы и минимальные разрешения.

5. Конгруэнтное семейство действительно не имеет общей неторсионной секции

Рассмотрим k как независимый параметр и кривую

Ck:y2=x3−k2x. \mathcal C_k:\qquad y^2=x^3-k^2x.

Её инварианты равны

Δ=64k6,c4=48k2. \Delta=64k^6,\qquad c_4=48k^2.

Минимальная эллиптическая поверхность над ℙ¹ₖ имеет два слоя I₀*: при k=0 и k=∞. Их корневая решётка D₄⊕D₄ имеет ранг 8, а сумма чисел Эйлера равна 12. Это рациональная эллиптическая поверхность, поэтому

rank⁡Ck(Q‾(k))=10−2−8=0. \operatorname{rank}\mathcal C_k(\overline{\mathbb Q}(k)) =10-2-8=0.

При k=1 получается кривая y²=x³−x, рациональная группа кручения которой равна (ℤ/2ℤ)². Специализация кручения общего слоя в этот хороший слой инъективна, а три ненулевые точки порядка 2 уже видны над ℚ(k). Поэтому ранг 0 вместе со специализацией определяет всю группу общих секций.

Все общие секции над ℚ(k)

Ck(Q(k))={O,(0,0),(k,0),(−k,0)}≅(Z/2Z)2. \mathcal C_k(\mathbb Q(k)) =\{\mathcal O,(0,0),(k,0),(-k,0)\} \cong(\mathbb Z/2\mathbb Z)^2.

Таким образом, тривиальные секции действительно есть — это нулевая секция и полное 2-кручение, — но общей неторсионной секции нет.

6. Замена поля функций в F4+

F4+ не находит секции над исходной прямой k. Он заменяет поле ℚ(k) полем функций двумерной поверхности

S:x2−1=ρ2y(x2−y2). \mathcal S:\qquad x^2-1=\rho^2y(x^2-y^2).

На ней общий параметр площади A=x(x²−1) уже имеет два различных представления. Поэтому на той же конгруэнтной кривой C_A появляются две независимые точки:

R1=(x2(x2−1), x2(x2−1)2),R2=(ρ2x2(x2−y2), ρ3x2(x2−y2)2). \begin{aligned} R_1&=\bigl(x^2(x^2-1),\,x^2(x^2-1)^2\bigr),\\ R_2&=\bigl(\rho^2x^2(x^2-y^2),\, \rho^3x^2(x^2-y^2)^2\bigr). \end{aligned}
rank⁡CA(Q(S))≥2. \operatorname{rank}C_A(\mathbb Q(\mathcal S))\ge2.

Отдельно нормализованная кубика F4+ в параметре τ=ρ² образует рациональную эллиптическую поверхность точного арифметического и геометрического ранга 2. Квадратичная замена базы τ=ρ² даёт эллиптическую K3-поверхность: расчёт тривиальной решётки и две поднятые независимые секции доказывают, что её геометрический ранг также в точности равен 2 и новых свободных секций над ℚ̄(ρ) нет. Универсальная кривая C_A над ℚ(𝒮) — другой эллиптический объект.

Для ABEFGJ и ABDFHJ доказанная tfmn-нормализация отождествляет невырожденную рациональную часть задачи 6/9 с соответствующей моделью 𝒮. Поэтому F4+-координаты дают для этих двух масок глобальное описание, а для остальных масок служат сравнительной конструкцией.

7. Есть ли F9+-аналоги у остальных поверхностей?

Здесь необходимо различать слабый и сильный смысл.

СмыслОпределениеСтатус
СлабыйЯвная рациональная кривая или секция на K3, порождающая однопараметрическое семейство 6/9.Есть у всех 16 типов
СильныйСпециальная кривая C→ℙ¹ основания, после которой ранг расслоения строго возрастает.Доказан для ветви F9+→F4+; для остальных 14 моделей не исследован

В исходной ветви F9+ кривая s²=x³−2x задаёт замену ρ=1/s и добавляет к двум секциям F4+ третью независимую секцию. Поэтому после этой замены общий ранг не меньше 3.

Якобианы четырнадцати остальных масок уже имеют предъявленные неторсионные секции над ℚ(t), без дополнительной замены базы. Эти секции не являются сильными F9+-аналогами: они входят в исходную группу Морделла—Вейля и сами по себе не доказывают скачок ранга после замены базы.

8. Программа поиска сильных аналогов

Для каждого расслоения E_t сильный аналог F9+ должен состоять из кривой C и отображения t=t(C), для которых появляется секция

[Pnew]∉E(Q(t))⊗ZQ⊂E(Q(C))⊗ZQ. \left[P_{\mathrm{new}}\right]\notin E(\mathbb Q(t))\otimes_{\mathbb Z}\mathbb Q \subset E(\mathbb Q(C))\otimes_{\mathbb Z}\mathbb Q.

Наиболее естественный порядок поиска противоположен цветовому порядку атласа:

  1. Сначала поверхности 4I₄+4I₂ с 1≤r≤2: одна новая независимая секция сразу определит точный ранг 2.
  2. Затем 2I₄+8I₂: искать вторые и третьи секции через малые квадратичные замены основания.
  3. Наконец 12I₂: верхняя граница 6 оставляет больше возможных направлений и требует более широкой классификации мультисечений.

Кандидаты должны появляться из касательных парабол к квартикам, из низкостепенных квадратичных подстановок и из условий, что одна из трёх пока неквадратных клеток становится квадратом. Последний вариант одновременно связывает поиск секций с переходом 6/9→7/9.

9. Что это говорит о полной задаче 9/9

На каждой поверхности 6/9 три пропущенные клетки являются рациональными функциями D₁,D₂,D₃. Полный квадрат требует одновременного подъёма

u12=D1,u22=D2,u32=D3. u_1^2=D_1,\qquad u_2^2=D_2,\qquad u_3^2=D_3.

Тем самым задача 9/9 точно переформулируется как поиск рациональных точек на одновременном тройном квадратичном накрытии одной из поверхностей 6/9 с дополнительными условиями различности и положительности. Из существования бесконечных семейств 6/9 не следует, где именно находится возможное препятствие для 9/9; оно может быть глобальным, локальным или отсутствовать.

Доказаны полнота шестнадцатитипной классификации, три паспорта, ранговая лестница, родные секции и tfmn-эквивалентность параллельной пары. Точные ранги большинства K3 и сильные F9+-аналоги для четырнадцати непараллельных типов пока не утверждаются.

К карточному атласу 6/9 →F4+: универсальная поверхностьF9+: замены, повышающие рангПредыдущая глава: ABCGHJ