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

Маски ABEFGJ и ABDFHJ: tfmn как общая Kummer–K3-поверхность

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

1. Две точные системы

Пусть строчные буквы обозначают рациональные корни выбранных клеток. Предпочтительный базис квадрик для ABEFGJ имеет вид

\mathrm{ABEFGJ}:\qquad \begin{cases} a^2+j^2=2e^2,\\ b^2+f^2=2g^2,\\ a^2+b^2=f^2+j^2. \end{cases}

Первые две строки — прогрессии AEJ и BGF. Третья строка — жёлтая гауссова связь ABFJ. Для ABDFHJ соответствующая система равна

\mathrm{ABDFHJ}:\qquad \begin{cases} f^2+h^2=2a^2,\\ b^2+d^2=2j^2,\\ b^2+h^2=d^2+f^2. \end{cases}

Здесь красными прогрессиями являются HAF и DJB, а жёлтая связь имеет поддержку BDFH. По общей теории масок каждая из этих трёхстрочных систем необходима и достаточна для восстановления координат E,x,y своего магического квадрата.

2. Универсальная красная коника

Для рациональных m,n положим

\begin{aligned} R(m,n)&=-m^2+2mn+n^2,\\ S(m,n)&=m^2+n^2,\\ W(m,n)&=m^2+2mn-n^2,\\ f(m,n)&=mn(m-n)(m+n). \end{aligned}

Два тождества

S^2-R^2=4f(m,n),\qquad W^2-S^2=4f(m,n)

показывают, что R²,S²,W² образуют прогрессию квадратов с ориентированным шагом 4f(m,n). После умножения корней на λ её клетки умножаются на λ², а шаг становится 4λ²f(m,n). Вне постоянных прогрессий эта параметризация коники полна с точностью до обычных проективных симметрий пары (m,n).

3. ABEFGJ: жёлтая квадрика равна равенству шагов

Возьмём две независимые параметрические прогрессии и обозначим их формы индексами 1 и 2:

(j,e,a)=\lambda(R_1,S_1,W_1),\qquad (b,g,f)=\mu(R_2,S_2,W_2).

Обе красные квадрики теперь выполнены тождественно. Остаток жёлтой квадрики факторизуется без новой кривой:

\begin{aligned} a^2+b^2-f^2-j^2 &=(a^2-j^2)-(f^2-b^2)\\ &=8\bigl(\lambda^2f(m,n)-\mu^2f(p,q)\bigr). \end{aligned}

Иными словами, ABFJ не добавляет независимую геометрию поверх уже параметризованных красных коник: оно требует, чтобы прогрессии JEA и BGF имели один ориентированный шаг.

4. ABDFHJ: то же уравнение в другом размещении

Для второй маски разместим те же две прогрессии иначе:

(h,a,f)=\lambda(R_1,S_1,W_1),\qquad (d,j,b)=\mu(R_2,S_2,W_2).

После этого

\begin{aligned} b^2+h^2-d^2-f^2 &=(b^2-d^2)-(f^2-h^2)\\ &=-8\bigl(\lambda^2f(m,n)-\mu^2f(p,q)\bigr). \end{aligned}

Знак изменился только из-за выбранного порядка членов. Геометрическое условие осталось тем же: две параллельные прогрессии должны иметь одинаковый шаг.

5. Точная теорема tfmn для двух масок

Необходимость и достаточность

Пусть обе параметрические прогрессии невырождены. Следующие условия эквивалентны:

\begin{aligned} &\text{существуют }\lambda,\mu\in\mathbb Q^\times: \quad \lambda^2f(m,n)=\mu^2f(p,q);\\ &\frac{f(m,n)}{f(p,q)}\in(\mathbb Q^\times)^2;\\ &\operatorname{tf}(m,n)=\operatorname{tf}(p,q);\\ &\text{пары задают рациональное решение ABEFGJ;}\\ &\text{пары задают рациональное решение ABDFHJ.} \end{aligned}

Последние две импликации конструктивны. Для ABEFGJ положим

E=\lambda^2S_1^2,\qquad x=4\lambda^2f_1,\qquad y=\mu^2S_2^2-E.

Тогда A,E,J становятся первой прогрессией, а B,G,F — второй. Для ABDFHJ сначала положим

\mathsf A=\lambda^2S_1^2,\qquad \mathsf J=\mu^2S_2^2,\qquad d_0=4\lambda^2f_1=4\mu^2f_2,

а затем

E=\frac{\mathsf A+\mathsf J}{2},\qquad x=\frac{\mathsf A-\mathsf J}{2},\qquad y=d_0.

Эти формулы восстанавливают все шесть выбранных квадратных клеток. Поэтому после равенства tf никаких дополнительных уравнений размещения для ABEFGJ и ABDFHJ не остаётся.

6. Два линейных прочтения

Связь между масками сильнее общего уравнения. Пусть (E,x,y) задаёт квадрат ABEFGJ. Выполним линейную замену

(E,x,y)\longmapsto \left(E+\frac y2,\,-\frac y2,\,x\right) =(E',x',y').

В новом квадрате клетки ABDFHJ получают ровно старые выбранные значения:

A'=E,\qquad B'=F,\qquad D'=B,\qquad F'=A,\qquad H'=J,\qquad J'=G.

Обратная замена равна E=E′+x′, x=y′, y=−2x′. Следовательно, проектированные пространства решений двух масок рационально и линейно изоморфны. Это не симметрия доски D₄: она меняет позиционный тип, но сохраняет диофантову поверхность.

7. Общая Kummer–K3-поверхность

Удалим общий масштаб каждой пары и на аффинной карте положим r=m/n, s=p/q и ρ=μ/λ. Равенство шагов принимает вид

\mathcal S:\qquad r(r^2-1)=\rho^2s(s^2-1).

Рассмотрим эллиптическую кривую

\mathcal C:\qquad U^2=r(r^2-1)=r^3-r.

На произведении двух её копий имеем U²=r(r²−1), V²=s(s²−1). Отношение ρ=U/V инвариантно относительно одновременной смены знаков (U,V)↦(−U,−V) и удовлетворяет уравнению 𝒮. Обратно, это уравнение задаёт то же поле функций. Поэтому

\mathcal S\sim (\mathcal C\times\mathcal C)/\{\pm1\}.

Двойное накрытие ℙ¹×ℙ¹ ветвится над четырьмя вертикальными и четырьмя горизонтальными прямыми, соответствующими r,s∈{0,1,−1,∞}. Шестнадцать пересечений дают обычные двойные точки. Минимальное разрешение является Kummer-поверхностью Km(𝒞×𝒞), а следовательно K3-поверхностью.

8. Где находятся F4+, F7+ и F9+

Уравнение поверхности — алгебраическая форма tfmn. Сама функция tf выбирает канонического квадратсвободного представителя и переводит существование рационального ρ в дискретное равенство квадратных классов.

Язык	Роль на общей поверхности
F4+	Общая аффинная карта: обе проективные пары нормируются до общего первого параметра.
F7+	Каждая пара становится точкой конгруэнтной кривой E_T; решение tfmn — это две точки одной фибры.
F9+	Явные кривые и однопараметрические слои внутри общей поверхности.

Таким образом, общая теория масок, tfmn и F-цикл описывают не конкурирующие методы, а последовательные координатные слои одного объекта.

9. Точная граница результата

Из рассмотрения исключены постоянные прогрессии f(m,n)=0, то есть m=0, n=0 или m=±n. Перестановка и смена знаков параметров могут обратить ориентацию шага; это учитывается выбором порядка членов и знаком tf.

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

Итог

ABEFGJ и ABDFHJ — два различных позиционных типа, но одна диофантова поверхность. tfmn естественно получается из общей системы трёх квадрик и даёт её полное рациональное описание после параметризации двух красных коник.

К арифметике fmn и tfmn →F4+: общая карта поверхности К полному атласу 6/9 Предыдущая поверхность: ABCDEF Следующая поверхность: ABCDEG