Гипотеза Ходжа: rational classes, primitive cohomology и статус

Статус на 30 августа 2026 года: рациональная гипотеза Ходжа остается нерешенной Millennium Prize Problem. Clay Mathematics Institute продолжает относить ее к шести открытым задачам. Этот релиз фиксирует доказанные closure-теоремы, benchmark families и точный terminal gap, но не заявляет общего решения.

Что нового в Release R2

R2 переводит программу от накопления «простых» примеров к primitive-first архитектуре. Closure operations теперь кэшируются: projective bundles, controlled blow-ups и birational low-dimensional reductions больше не проверяются вручную instance-by-instance. Одновременно Fermat cubic fourfold используется как первый обязательный genuine primitive benchmark, а Jacobian-ring calculation вынесен в exact Orchestra tooling.

Внутренний Target-Bridge Closure текущей research-программы на последнем синхронизированном M144/R4 pass: 438/1000. Это не «43.8% решения», а только typed ledger выбранной программы.

1. Точная постановка

Пусть X — smooth projective complex variety. Hodge decomposition дает

H^k(X,\mathbb C)=\bigoplus_{p+q=k}H^{p,q}(X).

Для codimension p рациональные Hodge classes образуют

\operatorname{Hdg}^p(X) = H^{2p}(X,\mathbb Q)\cap H^{p,p}(X).

Cycle class map:

cl:CH^p(X)\otimes\mathbb Q \longrightarrow \operatorname{Hdg}^p(X).

Rational Hodge conjecture утверждает, что этот map surjective для каждого smooth projective X/\mathbb C и каждого p.

Главный quantifier нельзя заменить набором favorable families.

2. Первый firewall: Hodge type не равен algebraicity

Hodge theory дает canonical decomposition и harmonic representatives. Но implication

\alpha\in H^{p,p}(X) \Longrightarrow \alpha\text{ algebraic}

не является theorem в общем виде.

Еще жестче: target требует rational class.

На

X=\mathbf P^1\times\mathbf P^1

класс

h_1+\sqrt2\,h_2

имеет real Hodge type (1,1), но не лежит в rational cohomology. Это не контрпример к Hodge conjecture; это контрпример к malformed input type.

Hard rule: coefficient field Z/Q/R/C является частью theorem type.

3. Второй firewall: Laplacian spectrum — diagnostic, не reconstruction engine

Абсолютные nonzero eigenvalues Hodge Laplacian меняются при rescaling Kähler metric:

g\mapsto c^2g \quad\Rightarrow\quad \lambda\mapsto c^{-2}\lambda.

Algebraicity rational cohomology class при этом не меняется.

Следовательно, raw positive spectrum не может быть intrinsic iff criterion для algebraicity без отдельной invariant reconstruction theorem.

4. Где conjecture уже контролируется

Codimension one

Lefschetz (1,1) theorem закрывает divisor classes.

Smooth projective threefolds

Hard Lefschetz переводит rational (2,2) class в rational (1,1) class, после чего Lefschetz (1,1) дает divisor, а intersection with hyperplane восстанавливает codimension-2 cycle.

Это полноценная theorem chain, но она не переносится автоматически на primitive middle cohomology в higher dimensions.

5. Family theorem: products of projective spaces

Для

X=\prod_{i=1}^r\mathbf P^{n_i}

cohomology ring generated by hyperplane classes h_i, и каждый rational Hodge monomial

h_1^{a_1}\cdots h_r^{a_r}

реализуется product of linear subspaces.

Отсюда rational Hodge conjecture выполняется theorem-level для всех finite products projective spaces, во всех codimensions и arbitrarily high dimension.

Это reconstruction benchmark, но cohomology family слишком algebraically generated, чтобы моделировать главный primitive difficulty.

6. Closure theorem: projective bundles

Если rational Hodge conjecture выполнена для smooth projective base X, то она выполнена для

\mathbf P(E)\to X

для любого algebraic vector bundle E.

Projective bundle theorem дает decomposition

H^*(\mathbf P(E),\mathbb Q) = \bigoplus_{j=0}^{r-1} \xi^j\pi^*H^{*-2j}(X,\mathbb Q),

где ξ=c_1(O(1)) algebraic. Поэтому каждый rational Hodge class upstairs строится из pullbacks rational Hodge classes base и algebraic powers ξ.

Consequence: finite iterated projective-bundle towers over an HC-positive base автоматически HC-positive.

7. Closure theorem: blow-ups

Для blow-up

\widetilde X=Bl_ZX

вдоль smooth projective center Z cohomology decomposition включает pullback from X и shifted pieces from Z, multiplied by powers of exceptional divisor class.

Поэтому:

HC_\mathbb Q(X)+HC_\mathbb Q(Z) \Longrightarrow HC_\mathbb Q(Bl_ZX).

Эта closure rule позволяет не проверять blow-up examples по одному.

8. Birational caching в низкой размерности

В сочетании с weak factorization smooth birational maps раскладываются в blow-ups/blow-downs along smooth centers.

Когда Hodge conjecture уже известна для всех возможных centers нужных dimensions, статус можно переносить по всей birational class.

В текущем каноне это дает сильный cache для smooth projective varieties dimension ≤5 в контролируемом scope, но не снимает общий primitive problem.

9. Первый genuine dimension-4 primitive benchmark: cubic fourfold

Текущая программа выделяет smooth cubic fourfold как обязательный testbed.

Для Fermat cubic fourfold

X:\ x_0^3+\cdots+x_5^3=0\subset\mathbf P^5

Jacobian ideal generated by x_i^2, и Jacobian ring имеет basis squarefree monomials. Orchestra exact enumeration дает graded dimensions

$$ 1,6,15,20,15,6,1. $$

Griffiths residue dictionary дает primitive Hodge dimensions

\boxed{ h^{3,1}_{prim}=1, \quad h^{2,2}_{prim}=20, \quad h^{1,3}_{prim}=1. }

С hyperplane-square class это согласуется с

$$ b_4=23. $$

Это уже не cellular toy: здесь существует genuinely nontrivial primitive middle cohomology.

10. Что Orchestra делает здесь

Длинные polynomial/cohomological calculations маршрутизируются через:

FLINT/SymPy — exact polynomial/ring combinatorics;
Lean — небольшие formal kernels для closure implications;
будущие Singular/Macaulay2 — Gröbner/Jacobian/Chow computations после закрытия installation gate.

Python используется как orchestrator и extractor, а не как источник математического статуса.

11. Главный terminal gap

Closure theorems переносят уже контролируемую algebraicity; они не создают cycle для нового primitive class из ничего.

Главный мост остается:

\boxed{ \text{genuinely primitive rational }(p,p)\text{ class} \to \text{explicit algebraic cycle} \to \text{cycle-class equality} }

в family, где algebraicity не inherited from simpler base/cellular decomposition.

12. Что этот релиз НЕ доказывает

Он не доказывает:

Hodge conjecture для arbitrary smooth projective varieties;
algebraicity всех primitive (2,2) classes на arbitrary fourfolds;
что birational/closure operations генерируют все varieties;
что Hodge Laplacian spectrum определяет cycles;
integral Hodge conjecture.

13. Следующий research step

Следующий high-information шаг — theorem/algorithm для primitive family: explicit cycle construction или strong obstruction на cubic/hyperkähler-type benchmark с exact rational coefficient typing.

Orchestra priority:

\boxed{\text{primitive novelty before more closure samples}.}

Источники

Clay Mathematics Institute — official Hodge Conjecture description.
P. Griffiths — periods/residue theory for hypersurfaces.
Lefschetz (1,1) theorem; Hard Lefschetz theorem.
Projective bundle theorem and blow-up cohomology formula.
Weak factorization theorem.
Classical and modern results on Hodge classes of cubic fourfolds.
AlgoCosmos canonical artifacts: Cycles 001, 002, 006, 021, 023, 026, 033 calibration.

Scientific status: OPEN. Release R2 усиливает reconstruction architecture и family-level coverage, но общий Millennium bridge остается незакрытым.