HEXAGONbeta

Algebraicity of Weil classes on non-split abelian sixfolds of Weil type over Q(−3)\mathbb{Q}(\sqrt{-3}) with Hermitian determinant −2-2

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

Contributed by Antti Hippeläinen ↗

Version 1 / Oct 20, 2026 / CC BY 4.0

Abstract

Let K=Q(−3)K=\mathbb{Q}(\sqrt{-3}). We give a proof that every Weil class is algebraic on every complex abelian sixfold of Weil type for KK whose Hermitian form has signature (3,3)(3,3) and determinant −2-2 modulo norms. These forms are not split, so neither Schoen's theorem on sixfolds nor the theorem on sixfolds claimed in a preprint of Markman, both of which concern split forms, applies. We model the sixfolds by the part of the Jacobian of a cover C→P1C\to\mathbb{P}^1, branched at thirteen points, on which its group, the complex reflection group G32G_{32}, acts through its reflection representation. A degeneration argument with a ball-arithmetic certificate shows that this family dominates the nine-dimensional Shimura variety. On every member, an integral relation among characters induced from linear characters of subgroups, realized by correspondences with coefficients in the group algebra, reduces the Weil classes to the determinants of eigenspaces of eleven cyclic subcovers. A theorem of Schoen makes these determinants algebraic for the three étale subcovers; for the eight ramified ones we prove it for all cyclic covers of curves of degree at least 33 with at least 33 branch points and fully paired branching data, through a cone over a Fermat variety and Shioda's results. Specialization and isogenies then reach every sixfold. The determinant of the Hermitian form and the relation among characters are exact computations.

Provenance statement

The proofs, the computations and the text of this note were produced by large language models (Claude models of Anthropic running as autonomous agents) in October 2026, and checked by other instances of the same models acting as referees, which recomputed the numbers. The author directed the work, read through the note and checked that all references are valid. However, no human expert has checked the proofs. The computations of Appendix A are reproduced by the programs at https://github.com/ahippelainen/weil-nonsplit-abelian-sixfolds-public.

Tools used

Anthropic
Claude OpusVersion 5.5
GAP-system
GAPVersion 4.16.1
Python Software Foundation
Python with python-flint 0.9.0

References

  1. C. Voisin, Hodge Theory and Complex Algebraic Geometry I, translated from the French by L. Schneps, Cambridge Stud.\ Adv.\ Math.\ 76, Cambridge Univ.\ Press, Cambridge, 2002, https://doi.org/10.1017/CBO9780511615344.DOI
  2. A. Weil, Abelian varieties and the Hodge ring [1977c], in: Œuvres Scientifiques / Collected Papers, Vol. III, Springer, New York, 1979, https://www.semanticscholar.org/paper/Abelian-varieties-and-the-Hodge-ring-Weil/70c928f5164aa467d088a6aa3b4a1a5edbacd162.link
  3. W. Landherr, Äquivalenz Hermitescher Formen über einem beliebigen algebraischen Zahlkörper, Abh.\ Math.\ Sem.\ Univ.\ Hamburg 11 (1936), 245--248, https://doi.org/10.1007/BF02940728.DOI
  4. C. Schoen, Addendum to: Hodge classes on self-products of a variety with an automorphism, Compositio Math.\ 114 (1998), 329--336, https://doi.org/10.1023/A:1000566205021.DOI
  5. E. Markman, Cycles on abelian 2n2n-folds of Weil type from secant sheaves on abelian nn-folds, preprint (2025), arXiv:2502.03415 (https://arxiv.org/abs/2502.03415).arXiv
  6. E. Markman, Secant sheaves and Weil classes on abelian varieties, in: Proceedings of the International Congress of Mathematicians 2026, Vol. 3, SIAM (2026), 586--602, https://doi.org/10.1137/25M1803796; arXiv:2509.23403 (https://arxiv.org/abs/2509.23403).arXivDOI
  7. A. Mostaed, McMullen's curve, the Weil locus, and the Hodge conjecture for abelian sixfolds, preprint (2026), arXiv:2603.20268 (https://arxiv.org/abs/2603.20268).arXiv
  8. B. Severn, Algebraicity of Weil classes on abelian sixfolds of Weil type for Q(−3)\mathbb{Q}(\sqrt{-3}) with discriminant −2-2, preprint (2026), posted 14 October 2026, Hexagon 2610.00246, https://hexagonmath.org/abs/2610.00246v1; also on Zenodo, https://doi.org/10.5281/zenodo.23377274.hexagonDOI
  9. B. Severn, A transfer theorem for Weil classes on Prym--Tyurin factors of Galois covers, preprint (2026), posted 16 October 2026, https://doi.org/10.5281/zenodo.23422651.DOI
  10. B. Severn, Weil classes on every abelian sixfold of Weil type for Q(−3)\mathbb{Q}(\sqrt{-3}), preprint (2026), posted 16 October 2026, https://doi.org/10.5281/zenodo.23422649.DOI
Show all 41 referencesShow fewer references
  1. J. Bouali, Degeneration of families of projective hypersurfaces and Hodge conjecture, preprint (2024), arXiv:2401.03465 (https://arxiv.org/abs/2401.03465).arXiv
  2. OpenAI, Abelian covers, Gale correspondences, and the Hodge conjecture for powers, preprint dated 6 October 2026, file paper.pdf (https://github.com/openai/math/blob/301488868beec11bfd897168433b0a64f5258559/preprints/Abelian-covers-Gale-correspondences-and-the-Hodge-conjecture-for-powers-October-6-2026/paper.pdf) in the GitHub repository openai/math .link
  3. OpenAI, The rational Hodge conjecture for CM abelian varieties, preprint dated 6 October 2026, file paper.pdf (https://github.com/openai/math/blob/301488868beec11bfd897168433b0a64f5258559/preprints/The-rational-Hodge-conjecture-for-CM-abelian-varieties-October-6-2026/paper.pdf) in the GitHub repository openai/math .link
  4. OpenAI, Weil classes and Hodge classes on abelian powers, preprint dated 6 October 2026, file paper.pdf (https://github.com/openai/math/blob/301488868beec11bfd897168433b0a64f5258559/preprints/Weil-classes-and-Hodge-classes-on-abelian-powers-October-6-2026/paper.pdf) in the GitHub repository openai/math .link
  5. C. Schoen, Hodge classes on self-products of a variety with an automorphism, Compositio Math.\ 65 (1988), 3--32, https://www.numdam.org/item/CM_1988__65_1_3_0/.link
  6. T. Shioda, The Hodge conjecture for Fermat varieties, Math.\ Ann.\ 245 (1979), 175--184, https://doi.org/10.1007/BF01428804.DOI
  7. D. I. Lieberman, Numerical and homological equivalence of algebraic cycles on Hodge manifolds, Amer.\ J.\ Math.\ 90 (1968), 366--374, https://doi.org/10.2307/2373533.DOI
  8. S. L. Kleiman, Algebraic cycles and the Weil conjectures, in: Dix exposés sur la cohomologie des schémas, Adv.\ Stud.\ Pure Math.\ 3, North-Holland, Amsterdam, 1968, 359--386.
  9. The GAP Group, GAP -- Groups, Algorithms, and Programming, Version 4.16.1, 2026, https://www.gap-system.org.link
  10. F. Johansson, Arb: efficient arbitrary-precision midpoint-radius interval arithmetic, IEEE Trans.\ Comput.\ 66 (2017), 1281--1292, https://doi.org/10.1109/TC.2017.2690633; arXiv:1611.02831 (https://arxiv.org/abs/1611.02831).arXivDOI
  11. G. C. Shephard and J. A. Todd, Finite unitary reflection groups, Canad.\ J.\ Math.\ 6 (1954), 274--304, https://doi.org/10.4153/CJM-1954-028-3.DOI
  12. E. Kani and M. Rosen, Idempotent relations and factors of Jacobians, Math.\ Ann.\ 284 (1989), 307--327, https://doi.org/10.1007/BF01442878.DOI
  13. B. van Geemen and A. Verra, Quaternionic Pryms and Hodge classes, Topology 42 (2003), 35--53, https://doi.org/10.1016/S0040-9383(02)00004-6; arXiv:math/0103111 (https://arxiv.org/abs/math/0103111).arXivDOI
  14. C. Schoen, Cyclic covers of Pv\mathbb{P}^v branched along v+2v+2 hyperplanes and the generalized Hodge conjecture for certain abelian varieties, in: Arithmetic of Complex Manifolds (Erlangen, 1988), Lecture Notes in Math.\ 1399, Springer, Berlin, 1989, 137--154, https://doi.org/10.1007/BFb0095974.DOI
  15. P. Deligne, Hodge cycles on abelian varieties (notes by J. S. Milne), in: P. Deligne, J. S. Milne, A. Ogus and K.-y. Shih, Hodge Cycles, Motives, and Shimura Varieties, Lecture Notes in Math.\ 900, Springer, Berlin, 1982, 9--100, https://doi.org/10.1007/978-3-540-38955-2_3.DOI
  16. E. Colombo, P. Frediani and A. Ghigi, On totally geodesic submanifolds in the Jacobian locus, Internat.\ J.\ Math.\ 26 (2015), no. 1, 1550005, https://doi.org/10.1142/S0129167X15500056; arXiv:1309.1022 (https://arxiv.org/abs/1309.1022).arXivDOI
  17. H. Grauert, Ein Theorem der analytischen Garbentheorie und die Modulräume komplexer Strukturen, Publ.\ Math.\ Inst.\ Hautes Études Sci.\ 5 (1960), 5--64, https://doi.org/10.1007/BF02684746.DOI
  18. J.-P. Serre, Algebraic Groups and Class Fields, Grad.\ Texts in Math.\ 117, Springer, New York, 1988, https://doi.org/10.1007/978-1-4612-1035-1.DOI
  19. S. A. Wolpert, Infinitesimal deformations of nodal stable curves, Adv.\ Math.\ 244 (2013), 413--440, https://doi.org/10.1016/j.aim.2013.05.008; arXiv:1204.3680 (https://arxiv.org/abs/1204.3680).arXivDOI
  20. K. Lamotke, The topology of complex projective varieties after S. Lefschetz, Topology 20 (1981), 15--51, https://doi.org/10.1016/0040-9383(81)90013-6.DOI
  21. B. Farb and D. Margalit, A Primer on Mapping Class Groups, Princeton Math.\ Ser.\ 49, Princeton Univ.\ Press, Princeton, NJ, 2012, https://doi.org/10.1515/9781400839049.DOI
  22. M. Dettweiler and S. Wewers, Variation of local systems and parabolic cohomology, Israel J.\ Math.\ 156 (2006), 157--185, https://doi.org/10.1007/BF02773830; arXiv:math/0310139 (https://arxiv.org/abs/math/0310139).arXivDOI
  23. C. Chevalley and A. Weil, Über das Verhalten der Integrale 1. Gattung bei Automorphismen des Funktionenkörpers, Abh.\ Math.\ Sem.\ Univ.\ Hamburg 10 (1934), 358--361, https://doi.org/10.1007/BF02940687.DOI
  24. W. Fulton, Intersection Theory, 2nd ed., Ergeb.\ Math.\ Grenzgeb.\ (3) 2, Springer, New York, 1998, https://doi.org/10.1007/978-1-4612-1700-8.DOI
  25. E. Arbarello, M. Cornalba, P. A. Griffiths and J. Harris, Geometry of Algebraic Curves, Vol. I, Grundlehren Math.\ Wiss.\ 267, Springer, New York, 1985, https://doi.org/10.1007/978-1-4757-5323-3.DOI
  26. J.-P. Serre, Linear Representations of Finite Groups, Grad.\ Texts in Math.\ 42, Springer, New York, 1977, https://doi.org/10.1007/978-1-4684-9458-7.DOI
  27. D. Patel and Y. Zhang, Algebraicity of Hodge classes on some generalized Prym varieties, J.\ Algebra 712 (2027), 101--122, https://doi.org/10.1016/j.jalgebra.2026.07.007; arXiv:2506.13729 (https://arxiv.org/abs/2506.13729).arXivDOI
  28. J. Harris and D. Mumford, On the Kodaira dimension of the moduli space of curves, Invent.\ Math.\ 67 (1982), 23--86, https://doi.org/10.1007/BF01393371.DOI
  29. A. Borel, Some metric properties of arithmetic quotients of symmetric spaces and an extension theorem, J.\ Differential Geom.\ 6 (1972), 543--560, https://doi.org/10.4310/jdg/1214430642.DOI
  30. F. Charles and C. Schnell, Notes on absolute Hodge classes, in: Hodge Theory (E. Cattani, F. El Zein, P. A. Griffiths and Lê D. T., eds.), Math.\ Notes 49, Princeton Univ.\ Press, Princeton, NJ, 2014, 469--530, https://doi.org/10.1515/9781400851478.469; arXiv:1101.3647 (https://arxiv.org/abs/1101.3647).arXivDOI
  31. C. Birkenhake and H. Lange, Complex Abelian Varieties, 2nd ed., Grundlehren Math.\ Wiss.\ 302, Springer, Berlin, 2004, https://doi.org/10.1007/978-3-662-06307-1.DOI

Version history

  1. v1Submitted by Antti HippeläinenInitial depositCurrentOct 18, 2026