HEXAGONbeta

Algebraicity of Weil classes on abelian sixfolds of Weil type for Q(−3)\mathbb{Q}(\sqrt{-3}) with discriminant −2-2

Primarily AI-generated textHuman understanding: some partsmath.AG — Algebraic Geometrymath.GR — Group Theorymath.NT — Number Theory

Contributed by Benjamin Severn ↗

Version 1 / Oct 14, 2026 / CC BY 4.0

Abstract

Let K=Q(−3)K=\mathbb{Q}(\sqrt{-3}). We prove that the Weil classes of every polarized abelian sixfold of Weil type for KK with Hermitian discriminant −2-2 are algebraic. This is a non-split discriminant, to which the theorems of Schoen and of Markman on split Weil classes do not apply. The proof uses Prym--Tyurin varieties of covers of P1\mathbb{P}^1 with monodromy the complex reflection group G32G_{32}, and combines known mechanisms in a new configuration. First, on every such variety the Weil classes of the six-dimensional isotypic factor are algebraic. They are obtained, by a Lefschetz-class correspondence supplied by Milne's theorem, from Schoen's algebraic Weil classes on fifty-one cyclic intermediate quotients; the choice of quotients is governed by an integral identity among characters of a torus, verified by an exact computation. Second, the ten-dimensional family of these covers dominates the nine-dimensional moduli space: we exhibit an explicit cover at which the period map has rank nine, by a certified computation. Third, a Hilbert-scheme and Baire-category argument spreads algebraicity from an open set to the whole moduli space. The discriminant of the family is identified exactly. All computations are supplied as reproducible certificates. For the members whose special Mumford--Tate group is the full special unitary group, an invariant-theoretic lemma then gives the Hodge conjecture for every power.

Provenance statement

This paper was produced in a research programme directed by the author, in which AI systems did most of the mathematical derivation, the computer-algebra code and the writing. Claude models (Anthropic) derived the arguments, wrote the GAP and SageMath certificates, and drafted and revised the text. Each step was checked by an independent adversarial referee from a different model family (OpenAI GPT-5.6 and GPT-6 models). The manuscript then went through five rounds of adversarial review by ChatGPT (OpenAI), on drafts v0.1 to v0.8, and every objection raised was answered in the text or the certificates. The author set the research direction, chose which results to pursue, relayed the outside reviews and decided each revision. All computations (certificates A-E: the lattice identity, the monodromy, the rank of the period map, the discriminant, and an independent check of the cup-product formula) are exact or interval-arithmetic computations in GAP 4.14.0 and SageMath 10.7 (FLINT/Arb). They were rerun from a clean copy, and are supplied with the source together with the SHA-256 hashes of their outputs. The reviews were source-level: no human expert other than the author has checked the paper. Remark 9.3 relies on a separate, unrefereed manuscript, as stated there.

Tools used

Anthropic
Claude OpusVersion 5.5
Anthropic
Claude SonnetVersion 5.5
OpenAI
CodexVersion GPT-5.6 Sol
OpenAI
CodexVersion GPT-6 Astra
OpenAI
CodexVersion GPT-5.6 Luna
SageMath
SageMathVersion 10.7

References

  1. S. Abdulali, Abelian varieties of type III and the Hodge conjecture , Internat. J. Math. 10 (1999), no. 6, 667--675.
  2. E. Arbarello, M. Cornalba, P. A. Griffiths and J. Harris, Geometry of Algebraic Curves I , Grundlehren der mathematischen Wissenschaften 267, Springer, 1985.
  3. V. Alexeev, R. Donagi, G. Farkas, E. Izadi and A. Ortega, The uniformization of the moduli space of principally polarized abelian 66-folds , arXiv:1507.05710.arXiv
  4. V. Alexeev, R. Donagi, G. Farkas, E. Izadi and A. Ortega, Hodge classes on the moduli space of W(E6)W(E_6)-covers and the geometry of A6\mathcal A_6 , arXiv:2107.09691.arXiv
  5. J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker and R. A. Wilson, Atlas of Finite Groups , Oxford University Press, 1985; the group U4(2)≅PSp4(3)U_4(2)\cong PSp_4(3), whose maximal subgroups have indices 2727, 3636, 4040, 4040 and 4545.
  6. C. Birkenhake and H. Lange, Complex Abelian Varieties , second edition, Grundlehren der mathematischen Wissenschaften 302, Springer, 2004.
  7. F. Charles and C. Schnell, Notes on absolute Hodge classes , arXiv:1101.3647.arXiv
  8. A. Hatcher, Algebraic Topology , Cambridge University Press, 2002.
  9. P. Frediani, A. Ghigi and M. Penegini, Shimura varieties in the Torelli locus via Galois coverings , arXiv:1402.0973.arXiv
  10. E. Markman, Cycles on abelian 2n2n-folds of Weil type from secant sheaves on abelian nn-folds , arXiv:2502.03415.arXiv
Show all 26 referencesShow fewer references
  1. N. M. Katz, Rigid Local Systems , Annals of Mathematics Studies 139, Princeton University Press, 1996.
  2. K. Koike, Algebraicity of some Weil Hodge classes , arXiv:math/0211304.arXiv
  3. E. Markman, Secant sheaves and Weil classes on abelian varieties , arXiv:2509.23403.arXiv
  4. J. S. Milne, Lefschetz classes on abelian varieties , Duke Math. J. 96 (1999), no. 3, 639--675.
  5. OpenAI, Algebraicity of Weil classes on split abelian eightfolds , manuscript dated 18 September 2026, https://github.com/openai/math.link
  6. OpenAI, Weil classes and Hodge classes on abelian powers , manuscript dated 30 September 2026, https://github.com/openai/math.link
  7. OpenAI, Abelian covers, Gale correspondences, and the Hodge conjecture for powers , manuscript dated 30 September 2026, https://github.com/openai/math.link
  8. D. Patel and Y. Zhang, Algebraicity of Hodge classes on some generalized Prym varieties , arXiv:2506.13729.arXiv
  9. C. Schoen, Hodge classes on self-products of a variety with an automorphism , Compositio Math. 65 (1988), 3--32.
  10. C. Schoen, Addendum to: Hodge classes on self-products of a variety with an automorphism , Compositio Math. 114 (1998), 329--336.
  11. B. Severn, The Hodge conjecture for abelian varieties of dimension six to eight: a status overview , draft, 2026.
  12. B. Severn, Algebraicity of Weil classes on Pryms of balanced cyclic covers , draft, 2026.
  13. B. van Geemen, An introduction to the Hodge conjecture for abelian varieties , in: Algebraic Cycles and Hodge Theory (Torino, 1993), Lecture Notes in Math. 1594, Springer, 1994, 233--252.
  14. B. van Geemen and A. Verra, Quaternionic Pryms and Hodge classes , arXiv:math/0103111.arXiv
  15. C. Voisin, Hodge Theory and Complex Algebraic Geometry II , Cambridge Studies in Advanced Mathematics 77, Cambridge University Press, 2003.
  16. A. Weil, Abelian varieties and the Hodge ring , in: Collected Papers III, Springer, 1980, 421--429.

Version history

  1. v1Submitted by Benjamin SevernInitial depositCurrentOct 14, 2026