HEXAGONbeta

Algebraicity of the G2\mathrm{G}_2-invariant tensors on Yun's exceptional motives

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

Contributed by Benjamin Severn

Version 2 / Oct 20, 2026 / CC BY 4.0

Abstract

Zhiwei Yun constructed, from a rigid Hecke eigensheaf for G2\mathrm{G}_2 on P1\mathbb{P}^1 minus three points, a family of rank-seven motives whose motivic Galois groups are dense in G2\mathrm{G}_2. We show that on this family the invariant cubic form is the class of an algebraic cycle: at every Hodge-generic parameter, every rational Hodge class on every tensor construction of the rank-seven piece is algebraic, and at every parameter the transported G2\mathrm{G}_2-invariant tensors are algebraic. The cycles are top components of Satake convolution fibres transported by Hecke correspondences. The projector that cuts out the rank-seven piece is made algebraic by a canonical weighted resolution of Yun's boundary divisor, built on the moduli stack of bundles from the stabiliser tori of its points, together with a characteristic-zero census of those points and a cycle-class comparison on varieties with quotient singularities. Yun announced that the cubic is motivated in Andr\'e's sense; the step from motivated to algebraic is new. This version, with its computational certificates and review bundle, is archived on Zenodo: https://doi.org/10.5281/zenodo.23478625

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 SageMath certificates, and drafted and revised the text. Steps were checked by independent adversarial audits from a different model family (OpenAI GPT-6 Astra), ten of them between review rounds. The manuscript then went through six rounds of adversarial review by ChatGPT (OpenAI), on drafts v0.1 to v0.6; the sixth report accepted it with minor revisions, which this version (v0.7) makes. Every objection raised in the six rounds 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. The computations (the characteristic-zero census of Cartan classes and the finite stabiliser data) are exact computations in SageMath 10.7, rerun from a pinned commit with SHA-256 hashes of every input and output, and the census script gives byte-identical output on consecutive runs; the outside reviewers inspected these deposited runs but did not rerun them. The reviews were source-level: no human expert other than the author has checked the paper. The same version is archived on Zenodo with the certificates and the full review record: https://doi.org/10.5281/zenodo.23478625

Tools used

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

References

  1. J. Alper, J. Hall, D. Rydh, A Luna étale slice theorem for algebraic stacks , Ann. of Math. 191 (2020), 675--738; arXiv:1504.06467.arXiv
  2. Y. André, Pour une théorie inconditionnelle des motifs , Publ. Math. IHÉS 83 (1996), 5--49.
  3. M. Dettweiler, S. Reiter, Rigid local systems and motives of type G2G_2 , Compos. Math. 146 (2010), 929--963.
  4. D. Edidin, W. Graham, Equivariant intersection theory , Invent. Math. 131 (1998), 595--634; arXiv:alg-geom/9609018.arXiv
  5. D. Edidin, B. Hassett, A. Kresch, A. Vistoli, Brauer groups and quotient stacks , Amer. J. Math. 123 (2001), 761--777.
  6. J. Færgeman, Motivic realization of rigid GG-local systems on curves and tamely ramified geometric Langlands , arXiv:2405.18268v2 (2024).arXiv
  7. J. Heinloth, B.C. Ngô, Z. Yun, Kloosterman sheaves for reductive groups , Ann. of Math. 177 (2013), 241--310.
  8. M. Sugiura, Conjugate classes of Cartan subalgebras in real semisimple Lie algebras , J. Math. Soc. Japan 11 (1959), 374--434.
  9. M. Sugiura, Correction to my paper: Conjugate classes of Cartan subalgebras in real semisimple Lie algebras , J. Math. Soc. Japan 23 (1971), 379--383.
  10. T. Matsuki, The orbits of affine symmetric spaces under the action of minimal parabolic subgroups , J. Math. Soc. Japan 31 (1979), 331--357.
Show all 34 referencesShow fewer references
  1. R. W. Richardson, T. A. Springer, The Bruhat order on symmetric varieties , Geom. Dedicata 35 (1990), 389--436.
  2. W. Fulton, Intersection theory , 2nd ed., Ergeb. Math. Grenzgeb. (3) 2, Springer, 1998.
  3. G. E. Bredon, Sheaf theory , 2nd ed., Grad. Texts in Math. 170, Springer, 1997.
  4. G. E. Bredon, Introduction to compact transformation groups , Academic Press, 1972.
  5. D. Mumford, J. Fogarty, F. Kirwan, Geometric invariant theory , 3rd ed., Springer, 1994.
  6. E. Bierstone, P. D. Milman, Functoriality in resolution of singularities , Publ. RIMS 44 (2008), 609--639.
  7. A. Białynicki-Birula, Some theorems on actions of algebraic groups , Ann. of Math. 98 (1973), 480--497.
  8. S. Bosch, W. Lütkebohmert, M. Raynaud, Néron models , Ergeb. Math. Grenzgeb. 21, Springer, 1990.
  9. A. Grothendieck, J. Dieudonné, Éléments de géométrie algébrique IV, deuxième partie , Publ. Math. IHÉS 24 (1965).
  10. D. Abramovich, M. Olsson, A. Vistoli, Tame stacks in positive characteristic , Ann. Inst. Fourier 58 (2008), 1057--1091.
  11. P. Schapira, Sheaves on manifolds , lecture notes, https://webusers.imj-prg.fr/~pierre.schapira/LectNotes/SHV.pdf, Thm. 4.5.3 and (4.5.4).link
  12. M. Artin, A. Grothendieck, J.-L. Verdier, Théorie des topos et cohomologie étale des schémas (SGA 4), Tome 3, Lecture Notes in Math. 305, Springer, 1973: Exp. XVI (M. Artin, Théorème de comparaison) and Exp. XVII (P. Deligne).
  13. P. Deligne, Cohomologie étale (SGA 412\tfrac12), Lecture Notes in Math. 569, Springer, 1977; chapter ``Cohomologie étale : les points de départ'' (Arcata, rédigé par J.-F. Boutot), Th. 4.6.3 and Th. 5.3.6.
  14. J. S. Milne, Lectures on étale cohomology , v2.21 (2013), https://www.jmilne.org/math/CourseNotes/LEC.pdf, §23.link
  15. The Stacks Project Authors, The Stacks Project , https://stacks.math.columbia.edu (Tags 02H6, 01XO, 0D3B, 0D30).link
  16. A. Beilinson, J. Bernstein, P. Deligne, Faisceaux pervers , Astérisque 100 (1982).
  17. I. Mirković, K. Vilonen, Geometric Langlands duality and representations of algebraic groups over commutative rings , Ann. of Math. 166 (2007), 95--143; numbering as in arXiv:math/0401222v5.arXiv
  18. M. H. Quek, D. Rydh, Weighted blow-ups , preprint (2022). Draft of 29 March 2022 (https://people.kth.se/~dary/weighted-blowups20220329.pdf), cited at source: §1.2 (stack-theoretic Proj); Prop. 1.6.1(iii) (relative coarse space of the stack-theoretic Proj is the usual Proj); Prop. 1.6.3 (Veronese subalgebra generated in degree one); Setup 1.7.2 (a power of a line bundle descends to the relative coarse space); Def. 3.2.1 (weighted blow-up); Cor. 3.2.14(iii) (for ff flat, ι\iota is an isomorphism: flat base change, stated for schemes); Prop. 5.2.2 (Proj presentation for an H1H_1-regular sequence); Cor. 5.2.5--5.2.6 (charts for blow-ups along regular weighted embeddings, the latter with a D(A)D(A)-action); Def. 5.2.7 (regular weighted embedding, smooth-locally (x1,d1)+⋯+(xm,dm)(x_1,d_1)+\dots+(x_m,d_m)); Def. 5.3.1 (regular weighted centre); Cor. 5.3.2 (the deformation to the weighted normal cone and the stack-theoretic blow-up of a regular centre are regular).link
  19. A. Vistoli, Alexander duality in intersection theory , Compos. Math. 70 (1989), 199--225.
  20. A. Vistoli, Intersection theory on algebraic stacks and on their moduli spaces , Invent. Math. 97 (1989), 613--670.
  21. Z. Yun, Motives with exceptional Galois groups and the inverse Galois problem , Invent. Math. 196 (2014), 267--337; arXiv:1112.2434. Numbered statements are cited in the numbering of arXiv:1112.2434v1.arXiv
  22. Z. Yun, Rigidity in automorphic representations and local systems , in: Current Developments in Mathematics 2013, Int. Press, Somerville, MA, 2014.
  23. Y. Laszlo, M. Olsson, The six operations for sheaves on Artin stacks I: Finite coefficients , Publ. Math. IHÉS 107 (2008), 109--168, arXiv:math/0512097; II: Adic coefficients , ibid., 169--210, arXiv:math/0603680. Cited as [I, §5.1] (smooth base change), [I, §5.2, Prop. f!=f*propre] (Rf!≅Rf∗Rf_!\cong Rf_* for proper representable ff), [I, §5.5] (base change for Rf!Rf_!) and [II, §9, Thm. basechangethm] (its adic form), by arXiv section and label.arXiv
  24. D. Gaitsgory, Construction of central elements in the affine Hecke algebra via nearby cycles , Invent. Math. 144 (2001), 253--280, arXiv:math/9912074; §1.1 (convolution as twisted product), §§2.1.2--2.1.3 (spreading of $P_{G(\cO)}(\Gr)$ over the curve, perverse normalisation $\Q_\ell[1]$), §4.1 (finite-level spread), Appendix A.3--A.4 (nice actions, finite-level equivariant categories), as cited in Yun ; section numbers from the arXiv source.arXiv

Version history

  1. v1Submitted by Benjamin SevernInitial depositSupersededOct 19, 2026
  2. v2Submitted by Benjamin SevernSubmitted as a new versionCurrentOct 20, 2026