HEXAGONbeta

A transfer theorem for Weil classes on Prym--Tyurin factors of Galois covers

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

Contributed by Benjamin Severn ↗

Version 1 / Oct 20, 2026 / CC BY 4.0

Abstract

Let KK be an imaginary quadratic field, GG a finite group, σ\sigma an irreducible representation of GG with character field KK, and SS a connected component of a Hurwitz space of GG-covers of P1\mathbb{P}^1 with fixed local monodromy. When the σ\sigma-isotypic factors of the Jacobians are abelian 2n2n-folds of Weil type for KK, we prove that the Weil classes of every polarized abelian 2n2n-fold of Weil type for KK with Hermitian discriminant d\mathfrak{d} are algebraic, provided three conditions hold: a lattice condition (L) on the characters of a group of multiplicative type attached to the cover, dominance (D) of the period map of SS, and the equality of the Hermitian discriminant of the family over SS with d\mathfrak{d}. None of the conditions refers to a particular group. The Hodge conjecture for every power of a member AA follows when the special Mumford--Tate group of AA itself is SUHSU_H; a statement about the generic member of the family does not suffice, and members with smaller Hodge group are not treated here. Positive instances of the conditions are verified by finite input certificates, so a new example needs new certificates, whose validation may need its own arguments, and no new transfer proof. The theorem recovers the case G=G32G=G_{32}, K=Q(−3)K=\mathbb{Q}(\sqrt{-3}), d=−2\mathfrak{d}=-2 of the author's earlier preprint (hexagon:2610.00246), with every step of that proof an instance of a general lemma. A second source of cycles, balanced combinations of several characters of one subgroup, is available conditionally on a theorem of an unrefereed manuscript on abelian covers. With it the datum (Q(i),[−3])(\mathbb{Q}(i),[-3]) carried by W(E8)⋅μ4W(E_8)\cdot\mu_4 satisfies every hypothesis, so, conditionally on that theorem, the Weil classes of every abelian sixfold of Weil type for Q(i)\mathbb{Q}(i) with discriminant −3-3 are algebraic. For this datum the Schoen-only condition (L) fails. A companion preprint applies the transfer theorem, with new tools, to prove that the Weil classes of every abelian sixfold of Weil type for Q(−3)\mathbb{Q}(\sqrt{-3}), of every Hermitian discriminant, are algebraic. We also state what the theorem cannot reach. This version, with its computational certificates, is archived on Zenodo: https://doi.org/10.5281/zenodo.23422651

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 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 four rounds of adversarial review by ChatGPT (OpenAI), on drafts v0.6 to v0.12 (verdicts: accept with revisions, accept with minor revisions twice, accept with revisions), and every objection raised was answered in the text or the certificates; after round four the author split the work into this paper and a companion, and this is version 0.15. The author set the research direction, chose which results to pursue, relayed the outside reviews and decided each revision. The certificates (the integer Gale witness for the datum (Q(i), [-3]) and the search that shows the Schoen-only lattice condition fails for it) are exact computations in GAP 4.14.0, supplied with scripts, transcripts and rerun commands. The same version is archived on Zenodo, https://doi.org/10.5281/zenodo.23422651, with the certificates. The reviews were source-level: no human expert other than the author has checked the paper. The Q(i) statement relies on a separate, unrefereed manuscript, as stated in the paper.

Tools used

Anthropic
Claude OpusVersion 5.5
Anthropic
Claude SonnetVersion 5.5
OpenAI
CodexVersion GPT-6 Astra
OpenAI
CodexVersion GPT-5.6 Sol
OpenAI
CodexVersion GPT-5.6 Luna
The GAP Group
GAPVersion 4.14.0

References

  1. E. Arbarello, M. Cornalba, P. A. Griffiths and J. Harris, Geometry of Algebraic Curves I , Grundlehren 267, Springer, 1985.
  2. V. Alexeev, R. Donagi, G. Farkas, E. Izadi and A. Ortega, The uniformization of the moduli space of principally polarized abelian 6-folds , J. Reine Angew. Math. 761 (2020), 163--217; arXiv:1507.05710.arXiv
  3. C. Birkenhake and H. Lange, Complex Abelian Varieties , second edition, Grundlehren 302, Springer, 2004.
  4. P. Brosnan, Discriminants of Hermitian forms, maximal degenerations and Kontsevich's tropical approach to the Hodge conjecture , arXiv:2609.14169, 2026.arXiv
  5. F. Charles and C. Schnell, Notes on absolute Hodge classes , arXiv:1101.3647.arXiv
  6. P. Frediani, A. Ghigi and M. Penegini, Shimura varieties in the Torelli locus via Galois coverings , arXiv:1402.0973.arXiv
  7. K. Koike, Algebraicity of some Weil Hodge classes , Canad. Math. Bull. 47 (2004), 566--572; arXiv:math/0211304.arXiv
  8. E. Markman, Cycles on abelian 2n2n-folds of Weil type from secant sheaves on abelian nn-folds , arXiv:2502.03415.arXiv
  9. C. T. McMullen, Braid groups and Hodge theory , Math. Ann. 355 (2013), 893--946.
  10. J. S. Milne, Lefschetz classes on abelian varieties , Duke Math. J. 96 (1999), no. 3, 639--675.
Show all 24 referencesShow fewer references
  1. A. Mostaed, McMullen's curve, the Weil locus, and the Hodge conjecture for abelian sixfolds , arXiv:2603.20268, 2026.arXiv
  2. OpenAI, The rational Hodge conjecture for CM abelian varieties , unrefereed manuscript dated 30 September 2026, https://github.com/openai/math, commit adc7f12 .link
  3. OpenAI, Weil classes and Hodge classes on abelian powers , unrefereed manuscript dated 30 September 2026, https://github.com/openai/math, commit adc7f12 .link
  4. OpenAI, Abelian covers, Gale correspondences, and the Hodge conjecture for powers , unrefereed manuscript dated 30 September 2026, https://github.com/openai/math, directory preprints/Abelian-covers-Gale-correspondences-and-the-Hodge-conjecture-for-powers-September-30-2026 , commit adc7f12 ; theorem and lemma numbers refer to that version.link
  5. D. Patel and Y. Zhang, Algebraicity of Hodge classes on some generalized Prym varieties , arXiv:2506.13729.arXiv
  6. C. Schoen, Hodge classes on self-products of a variety with an automorphism , Compositio Math. 65 (1988), 3--32.
  7. C. Schoen, Addendum to: Hodge classes on self-products of a variety with an automorphism , Compositio Math. 114 (1998), 329--336.
  8. B. Severn, Weil classes on every abelian sixfold of Weil type for $\Q(\sqrt{-3})$ , version v0.5, 2026, doi:10.5281/zenodo.23406638.DOI
  9. B. Severn, Algebraicity of Weil classes on abelian sixfolds of Weil type for $\Q(\sqrt{-3})$ with discriminant −2-2 , draft v0.11, 2026.
  10. B. Severn, Local symbols of parabolic Hermitian discriminants , working notes, version of 15 October 2026 (the self-duality-free local formula and the degree 55--1212 screen at inert q≥5q\ge5, with the repairs of their independent review; and the global Wall-form formula for [det⁡h][\det h], with its independent review).
  11. 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.
  12. B. van Geemen and A. Verra, Quaternionic Pryms and Hodge classes , arXiv:math/0103111.arXiv
  13. C. Voisin, Hodge Theory and Complex Algebraic Geometry II , Cambridge Studies in Advanced Mathematics 77, Cambridge University Press, 2003.
  14. A. Weil, Abelian varieties and the Hodge ring , in: Collected Papers III, Springer, 1980, 421--429.

Version history

  1. v1 · 31 pagesSubmitted by Benjamin SevernInitial depositCurrentOct 19, 2026