Pith. sign in

REVIEW 3 major objections 4 minor 84 references

This paper proves a function-field Gross–Zagier identity for arbitrary split almost simple groups, expressing the self-intersection of diagonal cycles on shtuka moduli, with determinant insertions, as a differential operator applied to the

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-01 03:01 UTC pith:R5SMOQ3D

load-bearing objection Genuinely new result and a credible strategy, but the stated generality over all split almost simple groups is not proved: the key computation is only written for |π_1(H)|=1. the 3 major comments →

arxiv 2607.25237 v1 pith:R5SMOQ3D submitted 2026-07-28 math.NT math.AGmath.RT

Diagonal cycles on Shtukas and the adjoint L-function

Zeyu Wang This is my paper
classification math.NT math.AGmath.RT MSC 11F6711G0914D24
keywords ShtukasGross–Zagier formulaadjoint L-functiondiagonal cyclesgeometric Langlandsintersection numbersfunction fieldsClifford algebra
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper aims to establish a general Gross–Zagier-type identity over function fields: for a split almost simple group H, taking G = H × H, the σ-isotypic intersection pairing between the diagonal cycle with determinant line bundle insertions and the untwisted diagonal cycle on the moduli of G-shtukas equals an explicit differential operator applied to the adjoint L-function of σ_H. Prior function-field Gross–Zagier formulas were limited to GL_n or to strongly tempered settings; this result covers groups of arbitrary type and arbitrary modification types. The identity also predicts a new multiplicity constant, a Dynkin index, that should appear in arithmetic intersection formulas on Shimura varieties. A byproduct is the nondegeneracy of the intersection pairing on isotypic components for geometrically strongly irreducible local systems.

Core claim

The central claim is Theorem 1.4: if σ = (σ_H, c͡H(σ_H)) is geometrically strongly irreducible and σ_H is automorphic, then the σ-isotypic pairing of the diagonal cycle with determinant insertions against the untwisted diagonal cycle equals ε_{λ_I} L(0, ̆h_{σ_H}) [−(1/log q) d/ds]^r (q^{−(g−1) r(H) s} L(s, ̆h_{σ_H}))|_{s=0}, where L(s, ̆h_{σ_H}) is the adjoint L-function of σ_H. The proof expresses the intersection number as a Frobenius trace of an operator, the intersection observable, acting on the geometric period integral. The computation of this observable uses a Clifford algebra action on the period integral, an Atiyah–Bott-type presentation of the period integral as an exterior algebr

What carries the argument

The intersection observable Γ_{λ,σ}, an endomorphism of the algebra of L-observables on the geometric period integral, carries the argument: its Frobenius trace equals the desired self-intersection number. The observable is computed by decomposing it into a derivative part and a scalar part. The derivative part is controlled by a Clifford algebra action generated by adjoint and diagonal L-observables (Theorem 3.9), together with a Ran filtration whose associated graded is a free exterior algebra built from H^1(C, ̆h_{σ_H}) and its dual. The scalar part is evaluated through local Plancherel-algebra computations, yielding the rank factor r(H)/2 times the Dynkin index ε_λ.

Load-bearing premise

The identity only has content when σ_H is automorphic — that is, when the local system actually comes from a Hecke eigenfunction — and the proof's comparison map is not known to exist otherwise; for non-automorphic σ_H the paper itself notes the left-hand side vanishes.

What would settle it

For a concrete case, take H = SL_2, r = 1, λ the fundamental coweight, and σ_H an automorphic rank-2 local system with known adjoint L-function; compute both sides of (1.9) by counting points on the relevant shtuka moduli over F_q. A mismatch would refute the theorem. Likewise, a direct computation of the scalar part b_λ in Proposition 2.5 for a non-minuscule λ would test the claimed r(H)/2 · ε_λ formula.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • If correct, this is the first Gross–Zagier-type formula for groups of arbitrary type over function fields, with essentially arbitrary modification types.
  • The intersection pairing on σ-isotypic cohomology of shtuka moduli is nondegenerate for geometrically strongly irreducible σ, refining the usual self-duality of the cohomology.
  • The identity predicts that for Shimura varieties, a new multiplicity constant ε_μ (the Dynkin index of the Hodge cocharacter) appears in arithmetic intersection formulas; for U(n−1,1) it equals 1 and for SO(n−2,2) it equals 2.
  • The proof gives a template: diagonal-cycle self-intersections are governed entirely by the adjoint L-function and the Dynkin index of the modification type, not by the detailed structure of the representation.
  • The explicit constants for minuscule coweights (binomial coefficients, powers of 2, 6, and 12) give concrete, checkable predictions for self-intersection numbers.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If automorphy of σ_H is eventually proved for all reductive groups, the theorem becomes unconditional; the paper's vanishing remark then implies that for non-automorphic σ_H the whole higher-derivative expression must vanish, which is a potentially accessible numerical constraint on candidate local systems.
  • The method may extend beyond the group case to diagonal cycles in products of more than two factors, where the adjoint L-function would be replaced by a tensor-product L-function and the ε constant by a product of Dynkin indices.
  • The Atiyah–Bott presentation and Clifford algebra action on the geometric period integral may apply to other spherical pairs, yielding Gross–Zagier identities for other period integrals and their arithmetic intersections.
  • The formula suggests a refined arithmetic relative Langlands principle: for each spherical pair, the relevant intersection numbers should be determined by the symmetries of the period integral and the Dynkin index of the modification type, not by case-by-case representation theory.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper studies diagonal cycles on moduli stacks of H×H-shtukas for a split almost simple group H, with arbitrary modification types. The main result, Theorem 1.4 (Eq. 1.9), asserts that the σ-isotypic self-intersection of the diagonal cycle, with determinant line bundle insertions, equals a derivative of the adjoint L-function L(s, ˇh_{σ_H}) evaluated at s=0, up to an explicit representation-theoretic constant ε_{λ_I}. The proof proceeds through the Plancherel algebra, a Clifford algebra action on the geometric period integral, a Ran filtration, and an explicit computation of an 'intersection observable' as an endomorphism of the period algebra. The theorem is conditional on the automorphy of σ_H, and the proof relies heavily on the author's prior trace formalism and on [GR25, AGK+22a].

Significance. If correct, the result would be a significant advance: it gives a Gross–Zagier-type formula over function fields for groups of arbitrary type, going well beyond the existing GL_n and strongly tempered cases. The final identity has no fitted parameters; the constants ε_λ and b_λ are computed from representation theory, and the right-hand side is an independent L-function. The paper also suggests a conjectural arithmetic analogue for Shimura varieties with a new multiplicity constant. The main weaknesses are the heavy dependence on external geometric Langlands machinery and the fact that the proof, as written, covers the stated generality only partially.

major comments (3)
  1. [§3.5, Propositions 3.12, 3.17, 3.18] The proof of the intersection-observable computation is explicitly carried out only under the assumption |π_1(H)|=1. The phrase 'leave the general case to the reader' appears in Proposition 3.12, Lemma 3.17, and Proposition 3.18. This is not a cosmetic omission: Proposition 3.18 identifies Gr^Ran H^*∇_{λ,σ} with ∇_{E_{λ,σ}}⊗id on the whole algebra ∧^▶(H^1(C, ˇh^*_{σ_H})(1)⊕H^1(C, ˇh_{σ_H}))⊗End(k[π_1(H)]), and this identification is used directly in §4.5 to compute the trace that yields the right-hand side of (1.9). Since Theorem 1.4 is stated for every split almost simple H, including SL_n, Sp_{2n}, Spin_n, and simply connected E_6/E_7, the stated scope is not supported by the written proof. If the π_1(H) bookkeeping introduces any extra factor, the formula (1.9), which has no such factor, would be invalid. The author must either supply the missing computation or restrict the theorem to
  2. [§4.1, Proposition 4.1 and Theorem 1.4] The left-hand side of (1.9) is defined through the isomorphism ξ_{σ,I} of Proposition 4.1, whose construction requires a Hecke eigensheaf F_σ with eigenvalue σ, i.e. the automorphy of σ_H. The theorem assumes automorphy, so this is not an internal inconsistency. However, Remark 1.6 states without proof that the left-hand side vanishes when σ_H is non-automorphic. This is an unproved assertion, and it is not merely a remark: it explains the role of the automorphy hypothesis. The authors should either prove this vanishing, label it as a conjecture, or explicitly separate it from the theorem.
  3. [§4.3, Corollary 4.3 and §4.5] The nondegeneracy of the intersection pairing, and hence the inversion of |π_1(H)|^2 L(1, ˇh_{σ_H})^2 in Lemma 4.4, relies on the nonvanishing L(1, ˇh_{σ_H}) ≠ 0. The proof invokes [Laf02] for purity of irreducible Weil local systems. It should be clarified whether [Laf02] applies to ˇH-local systems for arbitrary reductive H, or whether a different purity/nonvanishing argument is intended. This point is load-bearing because the trace formula in §4.5 divides by this factor.
minor comments (4)
  1. [§1.2.2, Eq. (1.10)] The definition of ε_λ uses κ_min(λ_H, λ_H+2ρ_H), but λ_H is a coweight and ρ_H is a root; the intended pairing should be made explicit (e.g., via the identification of X_*(T_H) with X^*(Tˇ_H)).
  2. [§1.2.2, Remark 1.6] As noted in the major comments, the assertion that the left-hand side vanishes for non-automorphic σ_H should be labeled as a conjecture or proved.
  3. [§3.2.6, Theorem 3.4] The proof is written only for the case e_λ=0, with the general case deferred by 'similar way'. Since Theorem 3.4 is used to establish the Clifford relation in Corollary 3.5 and hence Corollary 3.6, the omitted e_λ≠0 case should be written out or explicitly reduced to the e_λ=0 case.
  4. [§4.5] The equality (−1)^{d_{λ_H,I}} = 1 is justified by Sht_{H,≤λ_H,I} ≠ ∅. This parity statement is not immediate and should be given a one-line proof.

Circularity Check

0 steps flagged

No circular derivation: the RHS adjoint L-function and the constants are independent of the LHS; self-citations supply machinery, not the target statement.

full rationale

Theorem 1.4 is derived through a genuine chain: Lemma 4.4 expresses the intended intersection number as a Frobenius trace of the intersection observable, and §4.5 computes that trace using Proposition 3.16 and Proposition 3.18 as a differential operator applied to the adjoint L-function. The adjoint L-function L(s, ˇh_{σ_H}) is an independent object defined by the trace of Frobenius on the local system ˇh_{σ_H}; it is not fitted to the left-hand side. The constants ε_λ and b_λ are computed from representation theory (Dynkin index and Weyl-character sums) rather than tuned to reproduce the formula. Automorphy of σ_H is an explicit hypothesis, not a derived conclusion, and Remark 1.6 merely records the vacuous non-automorphic case. The proof does rely on the author's prior works [Wan25, LW25] for the categorical-trace and period-sheaf formalism, but those works address different statements (GL_n and strongly tempered cases), and the specific missing assumption [Wan25, Assumption 5.13] is proved in this paper as Corollary 3.6; this is legitimate use of prior machinery, not a reduction of the target result to itself. The manuscript contains explicit proof omissions: Proposition 3.12, Lemma 3.17, and Proposition 3.18 each say 'For simplicity, we assume that |π_1(H)|=1 and leave the general case to the reader' while Theorem 1.4 is stated for all split almost simple H. This is a completeness/correctness gap rather than circularity, so it does not raise the circularity score. No step equates the RHS to the LHS by construction, and no fitted parameter is renamed as a prediction.

Axiom & Free-Parameter Ledger

0 free parameters · 7 axioms · 0 invented entities

The derivation has no fitted parameters. The constants ε_λ and b_λ are computed from representation theory, not tuned to data. The listed axioms are the external theorems and the explicit automorphy hypothesis on which the proof depends. No new particles or physical entities are introduced.

axioms (7)
  • domain assumption σ_H is automorphic, i.e. a compactly supported Hecke eigenfunction with eigenvalue σ_H exists.
    Theorem 1.4 and Proposition 4.1 require this hypothesis. For general reductive groups it is conjectural; [Laf02] proves it only for GL_n. Remark 1.6 states the left-hand side vanishes otherwise.
  • domain assumption σ is geometrically strongly irreducible.
    Definition 1.1 and the surrounding discussion use strong irreducibility to make σ-isotypic components finite-dimensional and to obtain the nondegenerate intersection pairing of Theorem 1.2.
  • domain assumption The characteristic p satisfies the hypothesis in [GR25, §0.1.9].
    Stated in §1.2 as a global standing assumption for the positive-characteristic geometric Langlands machinery.
  • domain assumption Geometric Langlands in positive characteristic [GR25, Theorem 0.1.4] provides Hecke eigensheaves.
    Used in Proposition 3.1 and Proposition 4.1 to identify the geometric period integral and the σ-isotypic cohomology of shtukas.
  • domain assumption Excursion operators act on IH^*_c(Sht) and control isotypic components [AGK+22].
    Invoked in §1.2 and §4.1 to define σ-isotypic components and to quote the abstract isomorphism between source and target in Proposition 4.1.
  • standard math Derived Satake equivalence and Plancherel algebra descriptions [BF08, MV07, BZSV24].
    Foundational for the local special cohomological correspondences and local computations in §2.
  • standard math Lafforgue's automorphy and purity results for GL_n [Laf02].
    Used in Corollary 4.3 to conclude that L(1,ćh_{σ_H}) is nonzero and hence the intersection pairing is nondegenerate.

pith-pipeline@v1.3.0-alltime-deepseek · 26276 in / 17372 out tokens · 183224 ms · 2026-08-01T03:01:14.273212+00:00 · methodology

0 comments
read the original abstract

We study diagonal cycles on moduli spaces of shtukas for groups of the form $H\times H$, where $H$ is a split almost simple reductive group, allowing arbitrary modification types. We relate their self-intersection numbers, with insertions of determinant line bundles, to higher derivatives of adjoint $L$-functions. This gives a general Gross--Zagier-type identity over function fields for groups of arbitrary type, and suggests a parallel conjectural picture for arithmetic intersections on Shimura varieties.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

84 extracted references · 2 canonical work pages

  1. [1]

    2024 , eprint=

    Higher theta series for unitary groups over function fields , author=. 2024 , eprint=

    2024

  2. [2]

    Annals of Mathematics , number =

    Zhiwei Yun and Wei Zhang , title =. Annals of Mathematics , number =. 2017 , doi =

    2017

  3. [3]

    (2024) , url=

    OEIS Foundation Inc. (2024) , url=. Entry

    2024

  4. [4]

    Relative

    David Ben-Zvi and Yiannis Sakellaridis and Akshay Venkatesh , year=. Relative. 2409.04677 , archivePrefix=

    Pith/arXiv arXiv

  5. [5]

    Tony Feng and Zhiwei Yun and Wei Zhang , year=. Higher. 2103.11514 , archivePrefix=

    Pith/arXiv arXiv

  6. [6]

    Chiral principal series categories

    Sam Raskin , year=. Chiral principal series categories

  7. [7]

    Modularity of higher theta series

    Tony Feng and Zhiwei Yun and Wei Zhang , year=. Modularity of higher theta series. 2308.10979 , archivePrefix=

    Pith/arXiv arXiv

  8. [8]

    2022 , eprint=

    The 6-functor formalism for Z_ - and Q_ -sheaves on diamonds , author=. 2022 , eprint=

    2022

  9. [9]

    2023 , url=

    Six-functor formalisms , author=. 2023 , url=

    2023

  10. [10]

    2004 , eprint=

    Vertex algebras and the formal loop space , author=. 2004 , eprint=

    2004

  11. [11]

    Equivariant

    Roman Bezrukavnikov and Michael Finkelberg , year=. Equivariant. 0707.3799 , archivePrefix=

    arXiv

  12. [12]

    Geometric

    Ivan Mirkovic and Kari Vilonen , journal=. Geometric. 2007 , publisher=

    2007

  13. [13]

    2009 , publisher=

    Higher topos theory , author=. 2009 , publisher=

    2009

  14. [14]

    2015 , url=

    Higher algebra , author=. 2015 , url=

    2015

  15. [15]

    2018 , url=

    Spectral algebraic geometry , author=. 2018 , url=

    2018

  16. [16]

    Tame categorical local

    Tamir Hemo and Xinwen Zhu , note=. Tame categorical local

  17. [17]

    A study in derived algebraic geometry: Volume

    Dennis Gaitsgory and Nick Rozenblyum , volume=. A study in derived algebraic geometry: Volume. 2019 , publisher=

    2019

  18. [18]

    A toy model for the

    Dennis Gaitsgory and David Kazhdan and Nick Rozenblyum and Yakov Varshavsky , journal=. A toy model for the. 2022 , publisher=

    2022

  19. [19]

    The stack of local systems with restricted variation and geometric

    Dima Arinkin and Dennis Gaitsgory and David Kazhdan and Sam Raskin and Nick Rozenblyum and Yakov Varshavsky , year=. The stack of local systems with restricted variation and geometric. 2010.01906 , archivePrefix=

    Pith/arXiv arXiv 2010

  20. [20]

    Automorphic functions as the trace of

    Dima Arinkin and Dennis Gaitsgory and David Kazhdan and Sam Raskin and Nick Rozenblyum and Yakov Varshavsky , year=. Automorphic functions as the trace of. 2102.07906 , archivePrefix=

    Pith/arXiv arXiv

  21. [21]

    2022 , eprint=

    Duality for automorphic sheaves with nilpotent singular support , author=. 2022 , eprint=

    2022

  22. [22]

    Selecta Mathematica , volume=

    On a strange invariant bilinear form on the space of automorphic forms , author=. Selecta Mathematica , volume=. 2016 , publisher=

    2016

  23. [23]

    Duke Mathematical Journal , volume =

    Jonathan Wang , title =. Duke Mathematical Journal , volume =. 2018 , publisher =. doi:10.1215/00127094-2018-0025 , URL =

    work page doi:10.1215/00127094-2018-0025 2018

  24. [24]

    2024 , eprint=

    Local terms for the categorical trace , author=. 2024 , eprint=

    2024

  25. [25]

    2023 , eprint=

    DG indschemes , author=. 2023 , eprint=

    2023

  26. [26]

    Mirabolic

    Alexander Braverman and Michael Finkelberg and Victor Ginzburg and Roman Travkin , journal=. Mirabolic. 2021 , publisher=

    2021

  27. [27]

    Transformation groups , volume=

    Classification of smooth affine spherical varieties , author=. Transformation groups , volume=. 2006 , publisher=

    2006

  28. [28]

    Khan , year=

    Adeel A. Khan , year=. Virtual fundamental classes of derived stacks. 1909.01332 , archivePrefix=

    Pith/arXiv arXiv 1909

  29. [29]

    Chtoucas pour les groupes r\'eductifs et param\'etrisation de

    Vincent Lafforgue , year=. Chtoucas pour les groupes r\'eductifs et param\'etrisation de. 1209.5352 , archivePrefix=

    Pith/arXiv arXiv

  30. [30]

    Enhanced adic formalism and perverse t-structures for higher

    Yifeng Liu and Weizhe Zheng , year=. Enhanced adic formalism and perverse t-structures for higher. 1404.1128 , archivePrefix=

    Pith/arXiv arXiv

  31. [31]

    Enhanced six operations and base change theorem for higher

    Yifeng Liu and Weizhe Zheng , year=. Enhanced six operations and base change theorem for higher. 1211.5948 , archivePrefix=

    Pith/arXiv arXiv

  32. [32]

    Local geometrized

    Sergey Lysenko , journal=. Local geometrized. 1999 , volume=

    1999

  33. [33]

    Global geometrised

    Sergey Lysenko , year=. Global geometrised. math/0108208 , archivePrefix=

    Pith/arXiv arXiv

  34. [34]

    Geometric

    Sergey Lysenko , journal=. Geometric. 2008 , publisher=

    2008

  35. [35]

    2024 , eprint=

    6-functor formalisms and smooth representations , author=. 2024 , eprint=

    2024

  36. [36]

    Zhiwei Yun and Wei Zhang , note=

  37. [37]

    2004 , publisher=

    Kolyvagin systems , author=. 2004 , publisher=

    2004

  38. [38]

    On the geometric

    Edward Frenkel and Dennis Gaitsgory and Kari Vilonen , journal=. On the geometric

  39. [39]

    Jarod Alper and Jack Hall and David Rydh , journal=. A Luna. 2020 , publisher=

    2020

  40. [40]

    Orthosymplectic

    Alexander Braverman and Michael Finkelberg and Roman Travkin , year=. Orthosymplectic. Communications in Number Theory and Physics , publisher=. doi:10.4310/cntp.2022.v16.n4.a2 , number=

    work page doi:10.4310/cntp.2022.v16.n4.a2 2022

  41. [41]

    Smoothness of cohomology sheaves of stacks of

    Cong Xue , journal=. Smoothness of cohomology sheaves of stacks of

  42. [42]

    Nearby cycles commute with proper direct image on stacks of

    Arnaud Eteve and Cong Xue , year=. Nearby cycles commute with proper direct image on stacks of. 2409.16474 , archivePrefix=

    arXiv

  43. [43]

    Finiteness of cohomology groups of stacks of

    Cong Xue , journal=. Finiteness of cohomology groups of stacks of. 2020 , publisher=

    2020

  44. [44]

    Cuspidal cohomology of stacks of

    Cong Xue , journal=. Cuspidal cohomology of stacks of. 2020 , publisher=

    2020

  45. [45]

    Gross and Don B

    Benedict H. Gross and Don B. Zagier , journal=. 1986 , publisher=

    1986

  46. [46]

    2019 , publisher=

    Zhiwei Yun and Wei Zhang , journal=. 2019 , publisher=

    2019

  47. [47]

    2007 , publisher=

    Yakov Varshavsky , journal=. 2007 , publisher=

    2007

  48. [48]

    Self-intersection of

    Yongyi Chen , year=. Self-intersection of

  49. [49]

    Coherent sheaves on the stack of

    Xinwen Zhu , year=. Coherent sheaves on the stack of. 2008.02998 , archivePrefix=

    arXiv 2008

  50. [50]

    The Stacks project , howpublished =

    The. The Stacks project , howpublished =

  51. [51]

    Special cycles for

    Zhiwei Yun , journal=. Special cycles for. 2022 , publisher=

    2022

  52. [52]

    2023 , eprint=

    Periods of automorphic forms associated to strongly tempered spherical varieties , author=. 2023 , eprint=

    2023

  53. [53]

    Roman Bezrukavnikov and Zhiwei Yun , journal=. On

  54. [54]

    EMS Surveys in Mathematical Sciences , volume=

    Derived algebraic geometry , author=. EMS Surveys in Mathematical Sciences , volume=

  55. [55]

    2004 , school=

    Derived algebraic geometry , author=. 2004 , school=

    2004

  56. [56]

    Intersection complexes and unramified

    Sakellaridis, Yiannis and Wang, Jonathan , journal=. Intersection complexes and unramified

  57. [57]

    Drinfeld--

    Finkelberg, Michael and Krylov, Vasily and Mirkovi. Drinfeld--. Journal of Topology , volume=. 2020 , publisher=

    2020

  58. [58]

    Categorical traces and a relative

    Lu, Qing and Zheng, Weizhe , booktitle=. Categorical traces and a relative. 2022 , organization=

    2022

  59. [59]

    Khan , year=

    Tony Feng and Adeel A. Khan , year=. Modularity of higher theta series. 2403.19711 , archivePrefix=

    Pith/arXiv arXiv

  60. [60]

    Tame categorical local

    Xinwen Zhu , year=. Tame categorical local. 2504.07482 , archivePrefix=

    Pith/arXiv arXiv

  61. [61]

    Proceedings of the International Congress of Mathematicians: Rio de Janeiro 2018 , pages=

    Hitchin type moduli stacks in automorphic representation theory , author=. Proceedings of the International Congress of Mathematicians: Rio de Janeiro 2018 , pages=. 2018 , organization=

    2018

  62. [62]

    Higher Period Integrals and Derivatives of

    Shurui Liu and Zeyu Wang , year=. Higher Period Integrals and Derivatives of. 2504.00275 , archivePrefix=

    Pith/arXiv arXiv

  63. [63]

    Chtoucas restreints pour les groupes r\'eductifs et param\'etrisation de

    Alain Genestier and Vincent Lafforgue , year=. Chtoucas restreints pour les groupes r\'eductifs et param\'etrisation de. 1709.00978 , archivePrefix=

    Pith/arXiv arXiv

  64. [64]

    2025 , eprint=

    Geometric Langlands in positive characteristic from characteristic zero , author=. 2025 , eprint=

    2025

  65. [65]

    Knop, Friedrich , booktitle =

  66. [66]

    2003 , publisher=

    Representations of algebraic groups , author=. 2003 , publisher=

    2003

  67. [67]

    Algebraic groups and their representations , pages=

    Dense orbits and double cosets , author=. Algebraic groups and their representations , pages=. 1998 , publisher=

    1998

  68. [68]

    2024 , eprint=

    Coordinate rings on symmetric spaces , author=. 2024 , eprint=

    2024

  69. [69]

    Arithmetic volumes of moduli stacks of

    Tony Feng and Zhiwei Yun and Wei Zhang , year=. Arithmetic volumes of moduli stacks of. 2601.18557 , archivePrefix=

    arXiv

  70. [70]

    Integral homology of loop groups via

    Yun, Zhiwei and Zhu, Xinwen , journal=. Integral homology of loop groups via

  71. [71]

    Eigenweights for arithmetic

    Tony Feng , year=. Eigenweights for arithmetic. 2601.23245 , archivePrefix=

    arXiv

  72. [72]

    2025 , eprint=

    Special Cycle on Shtukas and Categorical Trace , author=. 2025 , eprint=

    2025

  73. [73]

    Faltings heights and the subleading terms of adjoint

  74. [74]

    Documenta Mathematica , volume=

    The cohomology rings of moduli stacks of principal bundles over curves , author=. Documenta Mathematica , volume=

  75. [75]

    Victor Ginzburg , year=. Loop. math/9803141 , archivePrefix=

    Pith/arXiv arXiv

  76. [76]

    Arithmetic volume of

    Zeyu Wang and Wenqing Wei , year=. Arithmetic volume of. 2604.03763 , archivePrefix=

    Pith/arXiv arXiv

  77. [77]

    Chtoucas de

    Lafforgue, Laurent , journal=. Chtoucas de. 2002 , publisher=

    2002

  78. [78]

    Compositio Mathematica , volume=

    Arithmetic diagonal cycles on unitary Shimura varieties , author=. Compositio Mathematica , volume=. 2020 , publisher=

    2020

  79. [79]

    2025 , publisher=

    Periods of automorphic forms associated to strongly tempered spherical varieties , author=. 2025 , publisher=

    2025

  80. [80]

    Inventiones mathematicae , volume=

    On arithmetic fundamental lemmas , author=. Inventiones mathematicae , volume=. 2012 , publisher=

    2012

Showing first 80 references.