Pith. sign in

REVIEW 3 major objections 5 minor 27 references

Special Cycle on Shtukas and Categorical Trace

T0 review · 3 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read The paper proves that, with geometrically irreducible local systems and p > n, the summed self-intersection of the σ-isotypic part of Rankin–Selberg cycles on GL_n × GL_{n−1}-shtukas equals q^{dim Bun_{GL_{n−1}}}(ln q)^{−r−2} times the r-th

desk verdict Conditional higher Gross–Zagier for GL_n x GL_{n-1} Shtukas, honestly stated but with two load-bearing gaps: the (1.21)/(1.22) subspace identification and the borrowed [LW25, Conjecture 4.45]. read the letter →

arxiv 2509.05526 v1 pith:2BRVS7EK submitted 2025-09-05 math.NT math.AGmath.RT

Zeyu Wang This is my paper · ORCID
classification math.NTmath.AGmath.RT MSC 11F6711G4014D24
keywords specialcyclesonshtukascategoricaltraceRankin–SelbergL-functionshigherGross–ZagierformulageometricLanglandscohomologicalcorrespondencesintersectionnumbersisotypicparts
topics Birch and Swinnerton-Dyer
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Special cycle classes on shtukas — moduli spaces of G-bundles over a curve with Frobenius and point modifications — can be represented as traces of correspondences, both geometrically (Borel–Moore classes of a fixed-point stack) and categorically (traces of Hecke endofunctors). The paper proves that the 'fake' special cycle classes previously attached to a Hecke eigensheaf L_σ through period integrals are in fact the genuine special cycle classes restricted to the σ-isotypic part of shtuka cohomology. As an application, for GL_n × GL_{n−1} with geometrically irreducible local systems σ_n, σ_{n−1} and p > n, the summed self-intersection number of the σ-isotypic part of the Rankin–Selberg cycles equals an explicit formula in the r-th derivative of the normalized Rankin–Selberg L-function divided by residues of the two adjoint L-functions. This is a direct higher-dimensional generalization of the GL_2 higher L-derivative formula, and it confirms Conjectures 1.5 and 1.6 once the σ-isotypic part is taken to be the image of the constructed map (1.22), an identification deferred to the geometric Langlands theorem [GR25].

What carries the argument

The argument turns on the categorical trace formalism: for a dualizable category C and an endofunctor F, the trace tr(F, C) is an object that can represent a space of interest. Here, shtuka cohomology is exhibited as the categorical trace of the Hecke operator (Frob×id)_! ∘ T_{V^I} acting on ShvNilp(Bun_G) ⊗ QLisse(C^I), via the LT_Serre isomorphism of [AGK+22a]. To connect this to geometry, the paper develops cohomological correspondences with kernels and their geometric trace on the shtuka fixed-point stack, proving a new push-forward compatibility (Theorem 2.27) for maps with a contracting boundary — needed because the diagonal Bun_H → Bun_G is not proper, and a Drinfeld-style compactific

What would settle it

Take the smallest nontrivial case — n=2, r=1, C an elliptic curve over F_q, σ_1 the trivial local system, and σ_2 a rank-2 geometrically irreducible local system with explicitly computable L-function — and compute both sides of (1.17): the self-intersection number from the construction (1.22) on the left and the derivative/residue formula on the right; a mismatch would refute Theorem 1.7, and checking whether image(1.22) is invariant under the excursion operators in this example would directly test the deferred identification with the spectral-action subspace.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.7: take σ_n, σ_{n−1} geometrically irreducible Weil local systems of ranks n and n−1 over a smooth projective curve C over F_q, set σ = (σ_n, σ_{n−1}), and assume p > n. After replacing the spectral-action σ-isotypic subspace (1.21) of the compact-support cohomology of GL_n × GL_{n−1}-shtukas by the image of the explicitly constructed injection H^r(C^I, (σ_n ⊗ σ_{n−1})^ϵ) → H^{2(n−1)r}_c(Sht_{GL_n×GL_{n−1},(Stdn⊠Std_{n−1})^ϵ}) (equation 1.22), the paper proves that Conjecture 1.5 and Conjecture 1.6 hold. In particular, the summed self-intersection number of the σ-isotypic parts of the Rankin–Selberg cycles equals q^{dim Bun_{GL_{n−1}}} (ln q)^{−r−2} (d/ds)^r|_{

Load-bearing premise

The main formula is proven for the image of the explicitly constructed map (1.22), but the paper does not prove that this image equals the σ-isotypic subspace (1.21) cut out by the spectral action, deferring that identification to the geometric Langlands theorem [GR25]; a key algebraic step (Lemma 5.16) also relies on an unproved conjecture from [LW25].

Editorial extensions

If this is right

  • For geometrically irreducible σ_n, σ_{n−1} with p > n, the r-th central derivative of the normalized Rankin–Selberg L-function is read off from the self-intersection of Rankin–Selberg cycles on GL_n × GL_{n−1}-shtukas, giving higher L-derivative formulas for all n rather than just GL_2.
  • The intersection pairing on the σ-isotypic part of compact-support cohomology of shtukas is non-degenerate (Conjecture 1.5), so a canonical self-intersection number exists even though the special cycles themselves are not compact.
  • The 'fake' special cycle classes of [LW25] are demystified: they are the isotypic parts of the actual special cycle classes, confirming the expectation in that earlier work.
  • The categorical-trace framework yields a uniform treatment of two kinds of special cycles — minuscule homogeneous ones (Rankin–Selberg) and diagonal ones (intersection pairings) — through a single commutative diagram (1.25).
  • Theorem 1.7 reduces Conjecture 1.6 to the equality between the image of (1.22) and the spectral-action subspace (1.21), making the remaining gap a precise, checkable statement in geometric Langlands.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If, as expected, [GR25] indeed proves image(1.22) = subspace(1.21), then Theorem 1.7 upgrades to a proof of the original Conjecture 1.6 without the substitution; until then, the numerical content of the formula depends on a non-canonical choice of what counts as the σ-isotypic part.
  • The same trace-theoretic mechanism — cohomological correspondences with kernels plus a contracting-boundary push-forward theorem — should produce higher-derivative formulas for other spherical pairs H ⊂ G satisfying Assumption 2.36, e.g., symmetric varieties, yielding analogous L-function identities for other Langlands products.
  • The non-degeneracy result (Corollary 6.13) suggests that isotypic parts of shtuka cohomology are finite-dimensional and self-dual in a robust way; this could be useful in defining intersection-theoretic invariants for non-compact cycles more broadly.
  • Testing whether the image of (1.22) is invariant under the full excursion-operator algebra would give a concrete, low-complexity check of the deferred identification with the spectral-action subspace, independent of the full geometric Langlands theorem.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper develops a categorical-trace interpretation of special cycle classes on Shtukas and uses it to relate the isotypic part of Rankin–Selberg cycles on GL_n × GL_{n-1}-Shtukas to derivatives of Rankin–Selberg L-functions. The main theorem (Theorem 1.7) states that, after replacing the spectral-action isotypic subspace (1.21) by the image of the constructed map H^*ξ_{σ,ϵ} (1.22), and assuming σ_n, σ_{n-1} are geometrically irreducible and p > n, Conjectures 1.5 and 1.6 hold. The proof combines: (i) a new compatibility theorem for geometric trace with push-forward along maps admitting contracting boundaries (Theorem 2.27); (ii) the identification of special cycle classes with geometric traces of cohomological correspondences (Theorems 3.2, 3.3); (iii) a comparison of geometric trace with categorical trace (Theorem 4.9); and (iv) the fake-cycle computations of [LW25]. The paper explicitly states in §1.1.7 that equality of (1.22) with (1.21) is not shown and is deferred to [GR25], and Lemma 5.16 relies on [LW25, Conjecture 4.45] and Assumption 4.46.

Significance. If the main theorem holds as stated for the true spectral-action isotypic part, the paper would establish a function-field higher Gross–Zagier formula for GL_n × GL_{n-1}, a significant step beyond the rank-one cases treated by Yun–Zhang. The technical framework is valuable: the paper gives a detailed theory of cohomological correspondences with kernels, a new compatibility result for geometric trace and contracting boundaries, and a careful reduction of the intersection number to the fake-cycle identities of [LW25]. The author is admirably explicit about the conditionalities of the argument, flagging the unproved equality (1.21)=(1.22) and the dependence on [LW25, Conjecture 4.45]. These strengths are real: the proof is not circular, the main formula is not fitted to the answer, and the comparison of fake and geometric cycles is a substantive theorem. However, the two advertised gaps are load-bearing, and the paper as it stands proves a conditional statement about an auxiliary subspace rather than the original conjecture.

major comments (3)
  1. [§1.1.7, Eq. (1.22)] Theorem 1.7 replaces the spectral-action isotypic subspace (1.21) by the image of the map H^*ξ_{σ,ϵ} in (1.22), but the paper does not prove that these two subspaces coincide. The author states in §1.1.7 that this equality is not shown and is deferred to [GR25]. This is load-bearing: the advertised application—a higher Gross–Zagier formula for the σ-isotypic part defined by the excursion-operator action—requires equality of (1.22) with (1.21). If the images differ, the self-intersection number computed in (1.17) is that of an auxiliary subspace, not the true isotypic part. The theorem should either include a proof of the equality, or be reformulated explicitly as a result about the image of (1.22), with the relationship to Conjectures 1.5 and 1.6 clearly marked as conditional on [GR25].
  2. [§5.5, Lemma 5.16] Lemma 5.16 is used in Proposition 5.14, which in turn feeds into Theorem 6.12 and the pairing formula (6.20)/(6.32). Its proof invokes [LW25, Conjecture 4.45] and Assumption 4.46, and then asserts that the condition g(C)≠1 'can be easily removed' because one leg is fixed. No proof of this removal is supplied. Since the automorphic commutator relation is not established in this paper, the restricted intersection pairing (6.20) and the final intersection number in Theorem 1.7 are conditional on an unproved conjecture. This is a second load-bearing dependency. The author should either prove the needed case of [LW25, Conjecture 4.45], or clearly state in Theorem 1.7 that the result is conditional on it.
  3. [§6.4, Eq. (6.32)] The conversion from the intersection pairing ⟨−,−⟩ to the bilinear form ω_{M^{⊗r}} is a crucial step in the final computation. Equation (6.32) is obtained by combining Proposition 6.11 and Theorem 6.12. Both of these rely on the previously noted unproved identification (1.21)=(1.22) and on the commutator relation of Lemma 5.16. Consequently, the displayed equality (6.32) is not an unconditional theorem. The proof of Theorem 1.7 should make explicit which parts of the argument are proved in the paper and which are imported as conjectural inputs from [LW25] and [GR25].
minor comments (5)
  1. [General] The exposition is generally careful, but the paper is long and several notational conventions (e.g., the switch between H^*ξ_{σ,ϵ}, ξ^e_{σ,I}, and ξ^{d}_{σ,I}) could be unified. A table of the main maps and their definitions would help readers.
  2. [§1.1.2] The phrase 'the integration 1 of f' appears to contain a typo; it likely should read 'the integration of f'.
  3. [§2.3.1] In the proof of Lemma 2.35, the sentence 'the quotient stack X•/TX is representable by a scheme, which is clearly normal and of finite type' appears to conflate two assertions; it should be split and the finite-type claim justified before it is used.
  4. [§5.5.3] The statement 'One can easily remove the condition g(C)≠1' in Lemma 5.16 is unsupported and should be either proved or deleted; as written it is a dangling claim that undermines the reader's confidence in that lemma.
  5. [References] The bibliography is appropriate, but several results from [LW25] and [GR25] are imported without precise theorem numbers in the text (e.g., the exact statement of [LW25, Conjecture 4.45]). Adding specific references would improve verifiability.

Circularity Check

1 steps flagged · score 4.0 of 10

Load-bearing unverified self-citation in the diagonal intersection computation; main theorem is otherwise an independent bridge.

  1. self citation load bearing [Lemma 5.16 (Section 5.5.3), used in Proposition 5.14, Theorem 6.12, and the final computation (6.32)]
    "Note that we are in the situation of §5.1.3. Indeed, the cohomological correspondences involved here all come from local special cohomological correspondences. Since the local Plancherel algebra has non-negative degrees, [LW25, Assumption 4.46] is satisfied if the genus of the curve g(C) ≠ 1. In this case, the statement is true by the discussion in §5.1.3."

    The diagonal intersection-pairing value (6.17)/(6.20) is the key numerical input that converts the fake-cycle norm from [LW25, Theorem 1.2] into the self-intersection formula (1.17). Its proof uses Proposition 5.14, which uses Lemma 5.16. Lemma 5.16 is not proved; it invokes §5.1.3, where the commutator relation is stated only 'assuming [LW25, Conjecture 4.45]'. That conjecture (and Assumption 4.46) is from the same author's prior paper with Liu and is not proved or machine-checked here. Thus the central numerical factor (the residue of L(σ⊗σ^*)) is imported from an unverified self-citation rather than derived in the present work.

full rationale

The paper's central bridge is not circular: Theorem 6.5 is imported from [LW25] as a prior theorem about fake cycles, Proposition 6.4 proves fake=real via categorical trace (Theorem 4.9), and the L-function derivative is not fitted. No parameter is fitted and no equation is defined to equal itself. However, the conversion of the fake-cycle norm into the self-intersection of the claimed σ-isotypic part relies on the diagonal intersection formula (6.20)/(6.17). That formula depends on Proposition 5.14, which in turn depends on Lemma 5.16. Lemma 5.16 is not proved; its proof cites 'the discussion in §5.1.3', where the commutator relation is asserted only 'assuming [LW25, Conjecture 4.45]', a conjecture from the same author's prior paper with Liu, together with Assumption 4.46 of that paper. Hence the main numerical factor is inherited from an unverified self-citation. Additionally, §1.1.7 explicitly states that the image of H^*ξ_{σ,ϵ} (1.22) is not shown to coincide with the spectral-action subspace (1.21) and defers this to [GR25]; this is a stated limitation rather than a circular step, but it means Theorem 1.7 proves Conjectures 1.5/1.6 only for the modified definition. Taking these together, the result has substantial independent content but carries a load-bearing unproved self-citation, so the circularity score is 4.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The ledger records the background and unproved assumptions supporting Theorem 1.7. There are no fitted free parameters. The heaviest assumptions are the geometric Langlands framework, the compactness and perfectness assumptions, the good filtration condition, the unproved equality of the constructed isotypic subspace with the spectral subspace, and the imported conjecture from [LW25] used in Lemma 5.16.

assumptions (6)
  • domain assumption Geometric Langlands with restricted variation for GL_n in positive characteristic ([AGK+22a,b,c], [GR25]), including Shtuka cohomology as a categorical trace.
    Used throughout sections 4-6, for example Theorem 4.4 and Theorem 4.1, to identify the trace of Hecke operators with Shtuka cohomology and the spectral action.
  • ad hoc to paper Assumption 2.36: O(X) admits a multiplicative good filtration in positive characteristic.
    Needed for the relative compactification in section 2.3.2 and for Theorem 3.1. Verified in Examples 2.37-2.39 for the group and Rankin-Selberg cases relevant to the paper, but not in full generality.
  • ad hoc to paper The image of the injection (1.22) equals the spectral-action sigma-isotypic subspace (1.21).
    Stated as expected in section 1.1.7, but not proved. This identification is needed to interpret Theorem 1.7 as a statement about the canonical sigma-isotypic part.
  • ad hoc to paper [LW25, Conjecture 4.45] and Assumption 4.46, the automorphic commutator relation.
    Used in section 5.1.3 and in the proof of Lemma 5.16 to establish injectivity in Theorem 6.14. No proof is supplied in the present paper.
  • domain assumption Assumption 5.5 and Assumption 5.7: compactness and perfectness of the relevant functors and complexes.
    These are verified for the GL_n case by Proposition 6.1 and Theorem 6.6, but they are formal inputs for the machinery of section 5.3.
  • domain assumption Assumption 1.1 on the characteristic of the base field, in particular p > n.
    Needed for the Hecke eigensheaf construction and for the characteristic-zero techniques invoked through [GR25].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Special Cycle on Shtukas and Categorical Trace." pith.science (2026). https://pith.science/paper/2BRVS7EK

@misc{pith2026250905526,
  author       = {Pith},
  title        = {Pith review of: Special Cycle on Shtukas and Categorical Trace},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2BRVS7EK}},
  note         = {Machine review of arXiv:2509.05526}
}
abstract

In this article, we relate the fake special cycle classes $z_{\mathbb{L}_{\sigma},r}$ attached to a Hecke eigensheaf $\mathbb{L}_{\sigma}\in\mathrm{Shv}_{\mathrm{Nilp}}(\mathrm{Bun}_G)$ introduced in the author's previous work to the isotypic part of special cycles on Shtukas. As an application, we relate the self-intersection number of the isotypic part of special cycles arising from Rankin--Selberg period to higher derivatives of Rankin--Selberg $L$-functions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    Dima Arinkin, Dennis Gaitsgory, David Kazhdan, Sam Raskin, Nick Rozenblyum, and Yakov Varshavsky, Automorphic functions as the trace of Frobenius , 2022

    work page 2022

  2. [2]

    , Duality for automorphic sheaves with nilpotent singular support, 2022

    work page 2022

  3. [3]

    , The stack of local systems with restricted variation and geometric Langlands theory with nilpotent singular support , 2022

    work page 2022

  4. [4]

    8, 1724--1765

    Alexander Braverman, Michael Finkelberg, Victor Ginzburg, and Roman Travkin, Mirabolic Satake equivalence and supergroups , Compositio Mathematica 157 (2021), no. 8, 1724--1765

    work page 2021

  5. [5]

    Huanchen Bao and Jinfeng Song, Coordinate rings on symmetric spaces, 2024

    work page 2024

  6. [6]

    David Ben-Zvi, Yiannis Sakellaridis, and Akshay Venkatesh, Relative Langlands duality , 2024

    work page 2024

  7. [7]

    2, 367--417

    Edward Frenkel, Dennis Gaitsgory, and Kari Vilonen, On the geometric Langlands conjecture , Journal of the American Mathematical Society 15 (2002), no. 2, 367--417

    work page 2002

  8. [8]

    Khan, Modularity of higher theta series II : C how group of the generic fiber , 2024

    Tony Feng and Adeel A. Khan, Modularity of higher theta series II : C how group of the generic fiber , 2024

    work page 2024

Show all 27 references
  1. [9]

    2, 683--729

    Michael Finkelberg, Vasily Krylov, and Ivan Mirkovi \'c , Drinfeld-- G aitsgory-- V inberg interpolation G rassmannian and geometric S atake equivalence , Journal of Topology 13 (2020), no. 2, 683--729

    2020

  2. [10]

    Tony Feng, Zhiwei Yun, and Wei Zhang, Modularity of higher theta series I : cohomology of the generic fiber , 2023

    2023

  3. [11]

    Alain Genestier and Vincent Lafforgue, Chtoucas restreints pour les groupes r\'eductifs et param\'etrisation de L anglands locale , 2018

    2018

  4. [12]

    Dennis Gaitsgory and Sam Raskin, Geometric Langlands in positive characteristic from characteristic zero , 2025

    2025

  5. [13]

    Dennis Gaitsgory and Yakov Varshavsky, Local terms for the categorical trace, 2024

    2024

  6. [14]

    Gross and Don B

    Benedict H. Gross and Don B. Zagier, Heegner points and derivatives of L -series , Inventiones mathematicae 84 (1986), 225--320

    1986

  7. [15]

    107, American Mathematical Soc., 2003

    Jens Carsten Jantzen, Representations of algebraic groups, vol. 107, American Mathematical Soc., 2003

    2003

  8. [16]

    Shurui Liu and Zeyu Wang, Higher period integrals and derivatives of L -functions , 2025

    2025

  9. [17]

    Sergey Lysenko, Local geometrized Rankin -- Selberg method for GL(n) , Duke Mathematical Journal 111 (1999), 451--493

    1999

  10. [18]

    , Global geometrised Rankin -- Selberg method for GL(n) , 2001

    2001

  11. [19]

    10, Cambridge University Press, 2022, p

    Qing Lu and Weizhe Zheng, Categorical traces and a relative L efschetz-- V erdier formula , Forum of Mathematics, Sigma, vol. 10, Cambridge University Press, 2022, p. e10

    2022

  12. [20]

    The Stacks project authors , The stacks project, https://stacks.math.columbia.edu, 2025

    2025

  13. [21]

    3, 799--910

    Yiannis Sakellaridis and Jonathan Wang, Intersection complexes and unramified L -factors , Journal of the American Mathematical Society 35 (2022), no. 3, 799--910

    2022

  14. [22]

    1, 271--319

    Yakov Varshavsky, Lefschetz -- Verdier trace formula and a generalization of a theorem of Fujiwara , GAFA Geometric And Functional Analysis 17 (2007), no. 1, 271--319

    2007

  15. [23]

    5, 2203--2220

    Zhiwei Yun, Special cycles for Shtukas are closed , Pure and Applied Mathematics Quarterly 18 (2022), no. 5, 2203--2220

    2022

  16. [24]

    3, 767 -- 911

    Zhiwei Yun and Wei Zhang, Shtukas and the Taylor expansion of L -functions , Annals of Mathematics 186 (2017), no. 3, 767 -- 911

    2017

  17. [25]

    2, 393--526

    , Shtukas and the Taylor expansion of L -functions ( II ) , Annals of mathematics 189 (2019), no. 2, 393--526

    2019

  18. [26]

    Xinwen Zhu, Coherent sheaves on the stack of Langlands parameters , 2021

    2021

  19. [27]

    , Tame categorical local L anglands correspondence , 2025

    2025

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.