Search arXivSearch

arXiv · 2506.17754

Exceptional Symmetry as a Source of Algebraic Cycles: Non-Constructive Methods for the Hodge Conjecture for a Special Class of Calabi-Yau 5-Folds

Abstract

Classical variational Hodge structure theory characterizes the algebraicity of Hodge classes by studying the transversality of period mappings under geometric deformations. However, when algebraic varieties lack appropriate deformation families, this method faces applicability limitations. This paper develops a non-constructive method based on exceptional Lie group constraints to handle such cases. Our main technical contribution is establishing a dimension control mechanism for Spencer cohomology theory under Lie group constraints. Specifically, we prove that when a compact Kähler manifold $X$ is equipped with $E_7$ group constraints, the corresponding Spencer kernel $\mathcal{K}_λ^{1,1}$ has complex dimension simultaneously constrained by two bounds: representation theory gives the lower bound $\dim_{\mathbb{C}}\mathcal{K}_λ^{1,1} \geq 56$, while the degenerate Spencer-de Rham mapping gives the upper bound $\dim_{\mathbb{C}}\mathcal{K}_λ^{1,1} \leq h^{1,1}(X)$. For 5-dimensional Calabi-Yau manifolds satisfying $h^{1,1}(X) = 56$, this dimension constraint becomes the equality $\dim_{\mathbb{C}}\mathcal{K}_λ^{1,1} = 56 = h^{1,1}(X)$. Combined with our established Spencer-calibration equivalence principle, this dimension matching result is sufficient to verify the $(1,1)$-type Hodge conjecture. Our proof completely avoids explicit algebraic cycle construction, instead achieving the goal through abstract dimensional arguments. This method demonstrates the application potential of Lie group representation theory in algebraic geometry, providing new theoretical tools for handling geometric objects where traditional deformation methods are not applicable.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Dongzhe Zheng. 2025-07-03. Exceptional Symmetry as a Source of Algebraic Cycles: Non-Constructive Methods for the Hodge Conjecture for a Special Class of Calabi-Yau 5-Folds. https://arxiv.org/abs/2506.17754

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. Liu proposed the conjecture \[ \sum_{\text{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \ge 2+\left(\frac{2r}{R}\right)^k,\qquad k>1, \] with the reverse inequality for $k<1$. We prove this conjecture by reducing it to an algebraic inequality for three positive variables with prescribed sum and product. We also determine the equality cases.

math.GM

A quadratic critical-value conjecture for the fifth Bessel moment

We conjecture an explicit evaluation of the pure fifth Bessel moment $\int_0^\infty K_0(t)^5\,dt$ as a quadratic expression in the critical value $L(f,2)$ of the weight-three, level-60 newform $f$ (LMFDB orbit 60.3.b.a) identified in the twisted fifth-moment modularity theorem of Lim, Tu and Yu, with coefficients in $\mathbb{Q}(\sqrt{5})$ and the square taken before the real and imaginary parts. Directed interval computations, using no stored Bessel or $L$-values, bound the absolute discrepancy by $10^{-358}$. We prove three exact modular identities for $f$: the Petersson-norm formula $\langle f,f\rangle_{60} = \frac{3(5-\sqrt{5})}{2π^4}|L(f,2)|^2$, the coefficient-conjugation relation $L(f^σ,2) = κL(f,2)$ with explicit $κ\in \mathbb{Q}(\sqrt{5},i)$, and the twisted symmetric-square evaluation $L(χ_{-4}\mathrm{Sym}^2 f,2) = \sqrt{15}\,π^2 \langle f,f\rangle_{60}$, together with $L(χ_{-4}\mathrm{Sym}^2 f,3) = π^4\langle f,f\rangle_{60}/8$, in the full Euler-factor normalization of Lim, Tu and Yu. The last identity shows that the companion norm conjecture $D_{5,\mathrm{odd}} = \frac{3\sqrt{15}(5-\sqrt{5})}{2}|L(f,2)|^2$ is equivalent to the symmetric-square conjecture $D_{5,\mathrm{odd}} = π^2 L(χ_{-4}\mathrm{Sym}^2 f,2)$ of Lim, Tu and Yu, while the exact relation $D_{5,\mathrm{even}} = π^2 D_{5,\mathrm{odd}}/(2\sqrt{15})$ follows from Chuang's period formulas. Every Bessel-to-modular equality, including the individual-period formula, remains conjectural. Complete proofs, exact rational certificates and verification programs are included as ancillary files.

math.GM