Pith. sign in

REVIEW 3 major objections 3 minor 142 references

Modularity of Higher Theta Series III: Proof of the Modularity Conjecture

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

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

Pith's one-line read The Modularity Conjecture for higher theta series on Hermitian shtukas is proved: the Fourier sum over special cycles depends only on the skew-Hermitian bundle, not on the Lagrangian subbundle.

desk verdict A serious proof of a real conjecture, but the submitted text leans on a forthcoming Fourier-transform paper for a load-bearing step and only writes the main proof in the trivial-similitude case. read the letter →

arxiv 2608.07173 v1 pith:WZLUU6MV submitted 2026-08-07 math.NT math.AG

Tony Feng , Zhiwei Yun , Wei Zhang This is my paper · ORCID
classification math.NTmath.AG MSC 11F2714C1514D2314F42
keywords higherthetaseriesModularityConjectureHermitianshtukasspecialcyclesTracemotivicderivedFouriertransformsheaf-cyclecorrespondencesupermodularity
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

This paper proves the Modularity Conjecture for higher $\theta$ series on moduli stacks of Hermitian shtukas (bundles with prescribed modifications at moving points) over function fields. The higher $\theta$ series $\tilde Z^{n,r}_m(G,E)$ is a Fourier series with coefficients in the Chow group of the shtuka stack, defined from a skew-Hermitian bundle $G$ and a Lagrangian subbundle $E\subset G$; the conjecture asserts that this series is independent of $E$. The proof establishes the low-corank Trace Conjecture, which identifies the virtual fundamental class of each special cycle with the shtuka-twisted categorical trace of a cohomological correspondence, and then lifts the result to all coranks by an embedding trick. For general linear groups the paper proves a stronger statement, supermodularity: every parabolic-refined higher $\theta$ series is essentially the special-cycle class of the bundle alone, sheared by an explicit power of $q$. This gives the function-field analogue, in integral Chow-valued form, of the strongest tier of the arithmetic $\theta$ series program.

What carries the argument

The argument is carried by the motivic derived Fourier transform acting on cohomological correspondences between derived vector bundles $U,V,W$ attached to a transverse pair of Lagrangians and to the torsion sheaf $Q_1$ they generate. The key identity is the varying-base Gaussian correspondence: the normalized Fourier transform of the $\beta$-Gaussian correspondence equals the $-\beta$-Gaussian correspondence tensored with the relative Gauss cohomology $G_Q$, whose Frobenius trace is the explicit scalar $q^{d/2}\eta_{F'/F}(D_Q)^n$. Once the identity is pushed to the shtuka fixed-point stack and traced, the sheaf-cycle correspondence converts it into the Chow-valued modularity equality. The low-corank Trace Conjecture supplies the other half of the mechanism: it identifies the virtual fundamental class of each special cycle with the shtuka-twisted trace, so the Fourier coefficients of the $\theta$ series are recognized as traces of the same correspondences.

What would settle it

A decisive check would fix $k=\mathbb F_q$, a nontrivial quadratic cover $X'\to X$, rank $n=3$, corank $m=1$, and $r=1$, choose a trivial-similitude skew-Hermitian bundle $G$ with two transverse Lagrangians $E_1,E_2$, and compare the two classes in $\mathrm{CH}^{2}(\mathrm{Sht}^1_{U(3)})$; because the proof identifies the classes through Frobenius traces of the Gauss cohomology, a single discrepancy between the point counts of the two special-cycle stacks over $\mathbb F_{q^k}$ would disprove Theorem 9.2.3.

Watch

Extended reading notes

Core claim

Theorem 1.1.1 states that the Modularity Conjecture of [FYZ25] holds. Concretely, for every trivial-similitude skew-Hermitian bundle $G$ of rank $2m$ and any two Lagrangian subbundles $E_1,E_2\subset G$, one has $\tilde Z^{n,r}_m(G,E_1)=\tilde Z^{n,r}_m(G,E_2)$ in $\mathrm{CH}^{r(n-m)}(\mathrm{Sht}^r_{U(n)})$, so the Fourier sum over special cycles descends from the pair $(G,E)$ to the isomorphism class of $G$ alone. The proof rests on Theorem 4.1.3, the Trace Conjecture in low corank $m\le n/3$: the identity $\mathrm{Tr}_{\mathrm{Sht}}(c_{\mathcal M})=[\mathrm{Sht}^r_{\mathcal M}]$ realizes derived fundamental classes of special cycles as categorical traces of cohomological correspondences. An embedding-and-cancellation argument then reduces every rank to the low-corank range. For split double covers, the same machinery yields supermodularity (Theorem 10.1.1): $\tilde Z^{\psi,\mu}_{m_1,m_2}(E_1,G)=\sum_d q^{-m_2 d+m_2 n(g-1)}[Z^{\mu}_{G,0}]_d$ in $\mathrm{CH}^{\frac r2(2n-m)}(\mathrm{Sht}^\mu_n)$, expressing all parabolic refinements through the special-cycle class of $G$.

Load-bearing premise

The full-strength theorem assumes that the formal properties of the motivic derived Fourier transform stated in Theorem 5.3.1, whose proofs are deferred to a forthcoming paper, hold as stated, and that the argument written for the trivial-similitude fiber $L=\mathcal O_X$ extends to arbitrary line bundles $L$ with only routine modifications.

Editorial extensions

If this is right

  • The Modularity Conjecture holds: for any trivial-similitude skew-Hermitian bundle $G$ of rank $2m$ and any Lagrangians $E_1,E_2\subset G$, $\tilde Z^{n,r}_m(G,E_1)=\tilde Z^{n,r}_m(G,E_2)$ in $\mathrm{CH}^{r(n-m)}(\mathrm{Sht}^r_{U(n)})$.
  • The Trace Conjecture for Hitchin stacks is true for $m\le n/3$, so in this range virtual fundamental classes of special cycles are realized as shtuka-twisted categorical traces without restricting the shtuka legs; this is what makes the proof integral rather than generic-fiber only.
  • For general linear groups, supermodularity (Theorem 10.1.1) holds: every parabolic-refined higher theta series $\tilde Z^{\psi,\mu}_{m_1,m_2}(E_1,G)$ equals the sheared special-cycle class $[Z^{\mu}_{G,0}]^{\langle}$, independent of the parabolic and of the additive character.
  • The higher theta lifting and higher arithmetic inner product formula that were conditional on the Modularity Conjecture become unconditional.
  • Because modularity is now proved in integral Chow groups, applications to arithmetic intersection theory over function fields and to local special-cycle questions, including a higher arithmetic fundamental lemma, come within reach.

Reading between the lines

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

  • A natural extension, not pursued in the paper, is to use the same low-corank trace plus embedding-and-cancellation scheme for orthogonal and symplectic dual pairs; the authors state the decisive steps are insensitive to the group-theoretic setup.
  • The low-corank dimension bound on the injective core is a purely geometric statement that can be tested independently of the trace formalism; its function-field proof suggests an analogous expected-dimension prediction for unitary Shimura varieties when the corank is at most one third of the target rank.
  • Since the proof identifies the two theta series by pushing forward cohomological correspondences, a plausible sharpening would be a canonical isomorphism of the correspondences themselves before taking traces; the paper's results supply the isomorphism at the level of traced classes, leaving the full derived-category refinement open.
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 / 3 minor

Summary. The manuscript claims a proof of the Modularity Conjecture for higher theta series on moduli stacks of Hermitian shtukas, i.e., independence of the series eZ^{n,r}_m(G,E) of the choice of Lagrangian subbundle E⊂G, for all coranks m≤n and all r. The strategy is: (i) prove the Trace Conjecture for Hitchin stacks in the low-corank range m≤n/3 in §§3–4, linking derived fundamental classes of special cycles to categorical traces; (ii) develop a motivic derived Fourier transform in §§5–7 and use a Gaussian identity in §8 to compare the theta series for two transverse Lagrangians, yielding modularity in low corank (Theorem 9.1.1); (iii) extend to all coranks by an embedding trick and cancellation at a rank-2n point (Theorem 9.2.3). Part 4 establishes a stronger supermodularity for split covers/general linear groups. As submitted, the proof is written only for the trivial-similitude fiber L=O_X, the formal properties of the motivic Fourier transform are deferred to the forthcoming paper [Zho], and the split-case Trace Conjecture is asserted as a specialization of Theorem 4.2.1.

Significance. If the deferred foundations hold, this is a substantial result: it realizes the function-field analogue of Kudla's modularity conjecture at the integral-Chow level, where number-field analogues are largely conjectural, and it supplies the input used in [FHM25] for higher theta lifting. The paper contains genuinely new, checkable ingredients: the low-corank dimension bound (Theorem 3.1.1) with its stratification of framed shtukas (Corollary 3.4.3), the trace formula for non-proper correspondences (Proposition 7.1.1), the explicit scalar bookkeeping in Lemmas 9.1.4–9.1.5, and the supermodularity phenomenon. The Fourier-Gaussian comparison in §8.4 is concrete enough to be falsifiable. However, as submitted the main theorem is contingent on the unavailable [Zho] and on an unwritten extension from L=O_X to general L, so the significance is conditional on those gaps being filled.

major comments (3)
  1. [§1.1 / Conjecture 9.0.1 / §9 (p. 52)] Theorem 1.1.1 and Conjecture 9.0.1 are stated for arbitrary similitude fiber L, but the proof in Section 9 is carried out only for L=O_X. The restriction is explicit: 'To keep the notation manageable, we write out the proof below only in the case of the trivial-similitude fiber L=O_X. The same ideas apply straightforwardly to the general case.' This is a load-bearing gap, not a notational simplification: for general L the Hermitian structure is G ≅ σ^*G^∨⊗ν^*L and the exact sequences (8.1.1) acquire extra tensor factors ν^*L; the normalization in (9.0.3) contains q^{n(deg E − deg L − deg ω_X)/2}; and the determinant/character computation (9.1.28)–(9.1.29) together with the Riemann–Roch identities (9.1.26)–(9.1.27) are written only for L=O_X. The embedding trick of §9.2 is likewise formulated only for trivial-similitude G. As submitted, Theorem 1.1.1 is therefore not proved at its stated strength; the extension must either be written out or the theorem restricted to the case actually proved.
  2. [§5.3, Theorem 5.3.1; used in Lemma 9.1.4, Eq. (9.1.17)] Theorem 5.3.1 states the full set of formal properties of the motivic derived Fourier transform—base change (5.3.1)–(5.3.2), involutivity (5.3.3), linear-map functoriality (5.3.4), Plancherel (5.3.9), and the Gysin/forget-supports compatibility (5.3.12)—and defers all proofs to the forthcoming work [Zho]. These properties are used at load-bearing points: Lemma 5.4.3 uses the Plancherel isomorphism (5.3.9) to prove invertibility of the relative Gauss cohomology; the Fourier transform of cohomological correspondences in §6.4, formulas (6.4.4) and (6.4.6), is asserted by verbatim carry-over of [FYZ23, §7]; and Lemma 9.1.4, through Proposition 8.4.5 and equation (9.1.17), uses Proposition 6.4.1 and Proposition 5.3.2 to obtain the central Fourier-duality comparison. Consequently Theorem 9.1.1, hence Theorem 9.2.3, is not established within the manuscript: the central equality (9.1.17) is unsupported unless the contents of [Zho] are available. The paper needs to supply proofs, or at least complete and verifiable statements, of the properties actually invoked, or to state the main theorem as conditional on [Zho].
  3. [§12.2, Theorem 12.2.1; used in Theorem 12.2.2] The split-case Trace Conjecture is the input for the low-corank supermodularity theorem, yet its proof consists of one paragraph asserting that the proof of Theorem 4.2.1 'goes through with no essential changes.' This is not visibly a specialization: Theorem 12.2.1 has separate bounds m_1≤n/3 and m_2≤n/3, the legs are signed sequences µ∈{±1}^r on the two components X^{(1)}⊔X^{(2)}, and the degree formula d_µ=r_+(n−m_1)+r_−(n−m_2) differs from d(h_r)=r(n−m). In the connected proof of Proposition 4.3.1, the choice of x_0 with ν^{-1}(x_0) disjoint from the exceptional leg points is used to kill boundary classes; no analogue is supplied for the split two-component situation. Since the supermodularity claim in the abstract and Theorem 10.1.1 depend on this theorem, the reduction needs to be written out or the theorem proved directly.
minor comments (3)
  1. [§2.1 / §10.1 / §12.1] The relation between the leg count r of Sht^r_{U(n)} in Part 3 and the signed sequence µ∈{±1}^r with ∑µ_i=0 in Part 4 (Sht^µ_n) is only explained in §12.1; a forward reference at the first use of Sht^µ_n in §10 would avoid confusion.
  2. [§3.3–§3.4] The displayed headings 'F ramed Hitchin stacks' and 'F ramed shtukas' have a missing accented character, and in Proposition 3.3.1 the labels in 'type0,+,−,±' are rendered without separators; these should be cleaned up.
  3. [§9.1.4, Lemma 9.1.5] The symbol TrSht is used both for the categorical trace of a cohomological correspondence and for its Frobenius evaluation (a locally constant function or Chow class), e.g., in the paragraphs around (9.1.21); the two uses should be distinguished following the conventions of [FK24, §6.4.3], since one is an object and the other is its evaluation.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the Modularity Conjecture is derived from independent trace and Fourier identities, not reduced to its own definition.

full rationale

After walking the derivation, I find no equation or class identity that is equivalent to its own input by construction. The theorem (Theorem 1.1.1, proved as Theorem 9.2.3) is a substantive statement about independence of the higher theta series from the choice of Lagrangian; it is not obtained by defining the series so that independence holds. The core input, Theorem 4.1.3 (Trace Conjecture in low corank), is proved in Sections 3–4 from dimension bounds and trace formalism, and is then used to identify traces with special-cycle classes. The Fourier comparisons in Section 9 use the motivic derived Fourier transform; the formal properties in Theorem 5.3.1 are deferred to [Zho], which is a completeness dependency, not a circular one, because those properties are general Fourier-transform compatibilities and are not the modularity statement itself. The embedding trick in Section 9.2 invokes the r=0 modularity of [FYZ23] and the factorization Lemma 9.2.1; these are separate prior results, not re-statements of the case being proved. No fitted data, no definitional identification, and no author-imported uniqueness theorem forces the conclusion. The self-citations to [FYZ23, FYZ25, FK24] are foundations of a research program, and the central derivation has independent content.

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

No numerical constants are fitted to data; the admissible character chi and Harder-Narasimhan truncations are structural choices, not fitted parameters. The listed axioms are either standard background or explicit assertions in the paper whose proofs are deferred or sketched. The two ad-hoc-to-paper axioms correspond to the main proof gaps: the general-similitude case and the split-case Trace Conjecture.

assumptions (6)
  • standard math Motivic six-operation formalism and Gysin transformations for derived Artin stacks (Khan [Kha19], [FK24, Section 3])
    Invoked throughout Sections 2 and 4 through 7 as the framework for Chow groups, cohomological correspondences, and traces.
  • standard math Relative purity and absolute purity for rational Beilinson motives ([CD19, Theorem 14.4.1])
    Used in Lemma 8.4.2 to identify the relative fundamental class of an LCI map with a purity isomorphism.
  • domain assumption Harder-Narasimhan truncations exhaust the moduli stacks and stabilize Hecke correspondences
    Used to reduce Chow groups to finite-type truncations in Propositions 4.3.1 and 12.1; standard but not reproved.
  • ad hoc to paper Formal properties of the motivic derived Fourier transform (Theorem 5.3.1) hold as stated
    The paper states these properties but defers their proofs to the forthcoming work [Zho]; they are load-bearing for the Fourier-duality comparison in Lemma 9.1.4.
  • ad hoc to paper The extension from the trivial similitude fiber L=O_X to general L is straightforward
    Section 9 says the proof is written only for L=O_X and that the same ideas apply to the general case; no details are given for the statement of Theorem 1.1.1 as written.
  • ad hoc to paper The split-case Trace Conjecture (Theorem 12.2.1) is the split-cover specialization of Theorem 4.2.1
    Theorem 12.2.1's proof says the Hermitian proof goes through with no essential changes; this is not written out and is used for supermodularity.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Modularity of Higher Theta Series III: Proof of the Modularity Conjecture." pith.science (2026). https://pith.science/paper/WZLUU6MV

@misc{pith2026260807173,
  author       = {Pith},
  title        = {Pith review of: Modularity of Higher Theta Series III: Proof of the Modularity Conjecture},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WZLUU6MV}},
  note         = {Machine review of arXiv:2608.07173}
}
read the original abstract

We prove the Modularity Conjecture for higher theta series on moduli stacks of Hermitian shtukas. For general linear shtukas, we establish a more refined phenomenon that we call supermodularity. As a key input, we prove the Trace Conjecture for Hitchin stacks of low corank, realizing virtual fundamental classes of special cycles as categorical traces.

Figures

Figures reproduced from arXiv: 2608.07173 by the authors.

Figure 1
Figure 1. Cartoon of the proof of the Modularity Conjecture. By studying the r = 0 specimen (Poisson), we sequence the “genetic pattern of modularity”. We promote this to a sheaf-theoretic level using (motivic) derived Fourier analysis, and then extract the modularity of all higher theta series via the sheaf-cycle correspondence. Fundamental Lemma (AFL), and one can hope for similar applications of Theorem 1.1.1 towards a hig… view at source ↗
Figure 2
Figure 2. Schematic picture of Lemma 3.2.2. After stratifying the base T, the fiberwise saturation of t(E) in F is represented over each stratum Tα by a rank-m subbundle Pα ⊂ F|X′ Tα . Proof. By Noetherian induction, it suffices to produce a non-empty open subset U ⊂ T and a rank m saturated sub-bundle PU ⊂ F|U such that (i) t(E|U ) ⊂ PU ⊂ F|U , (ii) After pullback to any geometric point of U, PU is the saturation of t(E|U ).… view at source ↗
Figure 3
Figure 3. Cartoon of a modification between P and P ′ . The bump at x indicates lengthx (P ′/P) = 1, while the dip at y indicates lengthy (P/P ′ ) = 1 [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗
Figures from the paper (3 more)
Figure 4
Figure 4. Figure 4: Cartoon of the four possible modification types. The grey rectangles depict the fibers of Fi at x and y. The blue line depicts the fibers of P at x and y. The red line over y depicts H and the red line over x depicts H ⊥. and e is the relative dimension of q on the cho…
Figure 5
Figure 5. Figure 5: Cartoon of the dual pair of diagrams in (8.1.8). Fourier duality reverses the towers by exchanging U with W⊥, V with Vb, and W with U ⊥. 8.2. Departure from [FYZ23]. The bestiary setup in §8.1 is identical to the one from [FYZ23, §9.1–9.2]. At this point, our proof wil…
Figure 6
Figure 6. Figure 6: Cartoon for the embedding-and-cancellation step following (9.2.9). Pullback from rank 3n splits into a rank 2n factor and a rank n factor; evaluation at F0 makes the common rank 2n factor nonzero, so the rank n factors agree. By Lemma 9.2.2, there is a point F0 ∈ Sht0 …

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

142 extracted references · 45 canonical work pages

  1. [1]

    and Howard, Benjamin and Madapusi Pera, Keerthi , TITLE =

    Andreatta, Fabrizio and Goren, Eyal Z. and Howard, Benjamin and Madapusi Pera, Keerthi , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2018 , NUMBER =. doi:10.4007/annals.2018.187.2.3 , URL =

    doi:10.4007/annals.2018.187.2.3 2018

  2. [2]

    and Gaitsgory, D

    Arinkin, D. and Gaitsgory, D. , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00029-014-0167-5 , URL =

    doi:10.1007/s00029-014-0167-5 2015

  3. [3]

    Virtual localization revisited , author=. Adv. Math. , fjournal=. 2025 , pages=. doi:10.1016/j.aim.2025.110434 , url=

    arXiv 2025

  4. [4]

    Ayoub, Joseph , TITLE =. Ast\'. 2007 , PAGES =

    2007

  5. [5]

    Proceedings of the

    Ayoub, Joseph , TITLE =. Proceedings of the. 2014 , MRCLASS =

    2014

  6. [6]

    2021 , Publisher =

    Bachmann, Tom and Hoyois, Marc , Title =. 2021 , Publisher =. doi:10.24033/ast.1147 , Keywords =

    doi:10.24033/ast.1147 2021

  7. [7]

    , TITLE =

    Beilinson, A. , TITLE =. Regulators , SERIES =. 2012 , MRCLASS =. doi:10.1090/conm/571/11319 , URL =

    work page doi:10.1090/conm/571/11319 2012

  8. [8]

    Bloch, Spencer and Kato, Kazuya , TITLE =. The. 1990 , MRCLASS =

    1990

Show all 142 references
  1. [9]

    Borisov, Dennis and Joyce, Dominic , TITLE =. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/gt.2017.21.3231 , URL =

    2017 doi

  2. [10]

    and Howard, Benjamin and Kudla, Stephen S

    Bruinier, Jan H. and Howard, Benjamin and Kudla, Stephen S. and Rapoport, Michael and Yang, Tonghai , TITLE =. Ast\'. 2020 , PAGES =. doi:10.24033/ast , URL =

    2020 doi

  3. [11]

    , TITLE =

    Borcherds, Richard E. , TITLE =. Duke Math. J. , FJOURNAL =. 1999 , NUMBER =. doi:10.1215/S0012-7094-99-09710-7 , URL =

    1999 doi

  4. [12]

    Forum Math

    Bruinier, Jan Hendrik and Westerholt-Raum, Martin , TITLE =. Forum Math. Pi , FJOURNAL =. 2015 , PAGES =. doi:10.1017/fmp.2015.6 , URL =

    2015 doi

  5. [13]

    Correction to ``

    Bruinier, Jan Hendrik and Raum, Martin , year=. Correction to ``. 2510.05031 , archivePrefix=

  6. [14]

    Modularity of special

    Bruinier, Jan Hendrik and Rosu, Eugenia and Zemel, Shaul , year=. Modularity of special. 2404.06254 , archivePrefix=

    arXiv

  7. [15]

    Triangulated categories of mixed motives , SERIES =

    Cisinski, Denis-Charles and D\'. Triangulated categories of mixed motives , SERIES =. [2019] 2019 , PAGES =. doi:10.1007/978-3-030-33242-6 , URL =

    2019 doi

  8. [16]

    Cisinski, Denis-Charles and D\'. \'. Compos. Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.1112/S0010437X15007459 , URL =

    2016 doi

  9. [17]

    Charles, Francois and Poonen, Bjorn , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2016 , NUMBER =. doi:10.1090/S0894-0347-2014-00820-1 , URL =

    2016 doi

  10. [18]

    2024 , eprint=

    Co-rank 1 Arithmetic Siegel--Weil I: Local non-Archimedean , author=. 2024 , eprint=

    2024

  11. [19]

    2024 , eprint=

    Co-rank 1 Arithmetic Siegel--Weil III: Geometric local-to-global , author=. 2024 , eprint=

    2024

  12. [20]

    Ciocan-Fontanine, Ionut and Kapranov, Mikhail , TITLE =. Geom. Topol. , FJOURNAL =. 2009 , NUMBER =. doi:10.2140/gt.2009.13.1779 , URL =

    2009 doi

  13. [21]

    Cho, Sungmun and Yamauchi, Takuya , TITLE =. Math. Ann. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00208-020-01999-2 , URL =

    2020 doi

  14. [22]

    Conrad, Brian , note =. The

  15. [23]

    Fundamental classes in motivic homotopy theory , JOURNAL =

    D\'. Fundamental classes in motivic homotopy theory , JOURNAL =. 2021 , NUMBER =. doi:10.4171/jems/1094 , URL =

    2021 doi

  16. [24]

    Proceedings of the

    Dold, Albrecht and Puppe, Dieter , TITLE =. Proceedings of the. 1980 , MRCLASS =

    1980

  17. [25]

    Unpublished, available at https://www.math.ias.edu/vladimir/node/94 , year=

    Voevodsky’s lectures on cross functors , author=. Unpublished, available at https://www.math.ias.edu/vladimir/node/94 , year=

  18. [26]

    and Gaitsgory, D

    Drinfeld, V. and Gaitsgory, D. , TITLE =. Camb. J. Math. , FJOURNAL =. 2015 , NUMBER =. doi:10.4310/CJM.2015.v3.n1.a2 , URL =

    2015 doi

  19. [27]

    , Title =

    Elmanto, Elden and Khan, Adeel A. , Title =. Proc. Lond. Math. Soc. (3) , ISSN =. 2020 , Language =. doi:10.1112/plms.12280 , Keywords =

    2020 doi

  20. [28]

    Fourier transform and the

    Evens, Sam and Mirkovi\'. Fourier transform and the. Duke Math. J. , FJOURNAL =. 1997 , NUMBER =. doi:10.1215/S0012-7094-97-08613-0 , URL =

    1997 doi

  21. [29]

    1998 , PAGES =

    Fulton, William , TITLE =. 1998 , PAGES =. doi:10.1007/978-1-4612-1700-8 , URL =

    1998 doi

  22. [30]

    Modularity of higher theta series

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

    arXiv

  23. [31]

    Feng, Tony and Yun, Zhiwei and Zhang, Wei , TITLE =. Invent. Math. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00222-023-01228-y , URL =

    2024 doi

  24. [32]

    Feng, Tony and Yun, Zhiwei and Zhang, Wei , TITLE =. Ann. Sci. \'. 2025 , NUMBER =. doi:10.24033/asens.2606 , URL =

    2025 doi

  25. [33]

    Modularity of higher theta series

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

    arXiv

  26. [34]

    Feng, Tony and Harris, Michael , TITLE =. The. 2025 , DOI =

    2025

  27. [35]

    Feng, Tony and Howard, Benjamin and Mkrtchyan, Mikayel , year=. Higher. 2507.13473 , archivePrefix=

    arXiv

  28. [36]

    Feng, Tony and Wang, Jonathan , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s00039-025-00702-4 , URL =

    2025 doi

  29. [37]

    2017 , PAGES =

    Gaitsgory, Dennis and Rozenblyum, Nick , TITLE =. 2017 , PAGES =. doi:10.1090/surv/221.1 , URL =

    2017 doi

  30. [38]

    Local terms for the categorical trace , author=. Adv. Math. , fjournal=. 2025 , pages=. doi:10.1016/j.aim.2025.110223 , url=

    2025

  31. [39]

    and Venkatesh, A

    Galatius, S. and Venkatesh, A. , TITLE =. Adv. Math. , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.aim.2017.08.016 , URL =

    2018 doi

  32. [40]

    and Sankaran, Siddarth , TITLE =

    Garcia, Luis E. and Sankaran, Siddarth , TITLE =. Invent. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00222-018-0839-4 , URL =

    2019 doi

  33. [41]

    Homology Homotopy Appl

    Geisser, Thomas , Title =. Homology Homotopy Appl. , ISSN =. 2014 , Language =. doi:10.4310/HHA.2014.v16.n2.a2 , Keywords =

    2014 doi

  34. [42]

    Gillet, Henri , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1984 , NUMBER =. doi:10.1016/0022-4049(84)90036-7 , URL =

    1984 doi

  35. [43]

    and Zagier, Don B

    Gross, Benedict H. and Zagier, Don B. , TITLE =. Invent. Math. , FJOURNAL =. 1986 , NUMBER =. doi:10.1007/BF01388809 , URL =

    1986 doi

  36. [44]

    Dix expos\'

    Grothendieck, Alexander , TITLE =. Dix expos\'. 1968 , MRCLASS =

    1968

  37. [45]

    Mapping stacks and categorical notions of properness , author=. Compos. Math. , fjournal=. 2023 , number=. doi:10.1112/S0010437X22007667 , url=

    2023 doi

  38. [46]

    , TITLE =

    Hecke, E. , TITLE =. Math. Ann. , FJOURNAL =. 1936 , NUMBER =. doi:10.1007/BF01565437 , URL =

    1936 doi

  39. [47]

    , TITLE =

    Hecke, E. , TITLE =. Math. Ann. , FJOURNAL =. 1937 , NUMBER =. doi:10.1007/BF01594160 , URL =

    1937 doi

  40. [48]

    , TITLE =

    Hecke, E. , TITLE =. Math. Ann. , FJOURNAL =. 1937 , NUMBER =. doi:10.1007/BF01594180 , URL =

    1937 doi

  41. [49]

    Heinloth, Jochen , TITLE =. Math. Ann. , FJOURNAL =. 2010 , NUMBER =. doi:10.1007/s00208-009-0443-4 , URL =

    2010 doi

  42. [50]

    Kudla's modularity conjecture on integral models of orthogonal

    Howard, Benjamin and Madapusi, Keerthi , journal=. Kudla's modularity conjecture on integral models of orthogonal. 2025 , number=. doi:10.1017/S0010437X26102966 , url=

    2025 doi

  43. [51]

    Motivic mirror symmetry for

    Victoria Hoskins and Simon Pepin Lehalleur , year=. Motivic mirror symmetry for. 2205.15393 , archivePrefix=

    arXiv

  44. [52]

    and Springer, T

    Hotta, R. and Springer, T. A. , TITLE =. Invent. Math. , FJOURNAL =. 1977 , NUMBER =. doi:10.1007/BF01418371 , URL =

    1977 doi

  45. [53]

    Howard, Benjamin , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2012 , NUMBER =. doi:10.4007/annals.2012.176.2.9 , URL =

    2012 doi

  46. [54]

    Forum Math

    Howard, Benjamin , TITLE =. Forum Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1515/forum-2019-0023 , URL =

    2019 doi

  47. [55]

    Algebraic & Geometric Topology , volume=

    A quadratic refinement of the Grothendieck--Lefschetz--Verdier trace formula , author=. Algebraic & Geometric Topology , volume=. 2015 , publisher=

    2015

  48. [57]

    K -Theory , FJOURNAL =

    Joshua, Roy , TITLE =. K -Theory , FJOURNAL =. 2002 , NUMBER =. doi:10.1023/A:1021116524762 , URL =

    2002 doi

  49. [58]

    1990 , PAGES =

    Kashiwara, Masaki and Schapira, Pierre , TITLE =. 1990 , PAGES =. doi:10.1007/978-3-662-02661-8 , URL =

    1990 doi

  50. [59]

    Khan , year=

    Adeel A. Khan , year=. The derived homogeneous. 2311.13270 , archivePrefix=

    arXiv

  51. [60]

    and Millson, John J

    Kudla, Stephen S. and Millson, John J. , TITLE =. Inst. Hautes \'. 1990 , PAGES =

    1990

  52. [61]

    , TITLE =

    Kudla, Stephen S. , TITLE =. Algebra Number Theory , FJOURNAL =. 2021 , NUMBER =. doi:10.2140/ant.2021.15.2403 , URL =

    2021 doi

  53. [62]

    Quotients by groupoids , JOURNAL =

    Keel, Se\'. Quotients by groupoids , JOURNAL =. 1997 , NUMBER =. doi:10.2307/2951828 , URL =

    1997 doi

  54. [63]

    Khan, Adeel , Title =. Geom. Topol. , ISSN =. 2019 , Language =. doi:10.2140/gt.2019.23.3647 , Keywords =

    2019 doi

  55. [64]

    Khan , year=

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

    1909 arXiv

  56. [65]

    and Kinjo, Tasuki , note =

    Khan, Adeel A. and Kinjo, Tasuki , note =. 3d cohomological

  57. [66]

    In preparation , author=

  58. [67]

    Preprint, available at

    Voevodsky's criterion for constructible categories of coefficients , author=. Preprint, available at

  59. [68]

    2022 , eprint=

    Equivariant generalized cohomology via stacks , author=. 2022 , eprint=

    2022

  60. [69]

    Selecta Math

    Virtual Cartier divisors and blow-ups , author=. Selecta Math. (N.S.) , fjournal=. 2025 , number=. doi:10.1007/s00029-025-01060-7 , url=

    2025 doi

  61. [70]

    , Title =

    Khan, Adeel A. , Title =. Jpn. J. Math. (3) , ISSN =. 2022 , Language =. doi:10.1007/s11537-021-2110-9 , Keywords =

    2022 doi

  62. [71]

    Kresch, Andrew , TITLE =. Invent. Math. , FJOURNAL =. 1999 , NUMBER =. doi:10.1007/s002220050351 , URL =

    1999 doi

  63. [72]

    , TITLE =

    Kudla, Stephen S. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1997 , NUMBER =. doi:10.2307/2952456 , URL =

    1997 doi

  64. [73]

    , TITLE =

    Kudla, Stephen S. , TITLE =. Duke Math. J. , FJOURNAL =. 1997 , NUMBER =. doi:10.1215/S0012-7094-97-08602-6 , URL =

    1997 doi

  65. [74]

    , TITLE =

    Kudla, Stephen S. , TITLE =. Heegner points and. 2004 , MRCLASS =. doi:10.1017/CBO9780511756375.009 , URL =

    2004 doi

  66. [75]

    Kudla, Stephen and Rapoport, Michael , TITLE =. Invent. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1007/s00222-010-0298-z , URL =

    2011 doi

  67. [76]

    Kudla, Stephen and Rapoport, Michael , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2014 , PAGES =. doi:10.1515/crelle-2012-0121 , URL =

    2014 doi

  68. [77]

    and Rapoport, Michael and Yang, Tonghai , TITLE =

    Kudla, Stephen S. and Rapoport, Michael and Yang, Tonghai , TITLE =. Internat. Math. Res. Notices , FJOURNAL =. 1999 , NUMBER =. doi:10.1155/S1073792899000185 , URL =

    1999 doi

  69. [78]

    and Rapoport, Michael and Yang, Tonghai , TITLE =

    Kudla, Stephen S. and Rapoport, Michael and Yang, Tonghai , TITLE =. 2006 , PAGES =. doi:10.1515/9781400837168 , URL =

    2006 doi

  70. [79]

    Jin, Fangzhou and Yang, Enlin , TITLE =. Adv. Math. , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.aim.2020.107446 , URL =

    2021

  71. [80]

    Trace maps in motivic homotopy and local terms , author=. Trans. Amer. Math. Soc. Ser. B , fjournal=. 2024 , pages=. doi:10.1090/btran/169 , url=

    2024 doi

  72. [81]

    Lafforgue, Vincent , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2018 , NUMBER =. doi:10.1090/jams/897 , URL =

    2018 doi

  73. [82]

    Champs alg

    Laumon, G. Champs alg. 2000 , Publisher =

    2000

  74. [83]

    , TITLE =

    Laumon, G. , TITLE =. Inst. Hautes \'. 1987 , PAGES =

    1987

  75. [84]

    Transformation de

    Laumon, G\'. Transformation de. Bull. Soc. Math. France , FJOURNAL =. 2003 , NUMBER =. doi:10.24033/bsmf.2454 , URL =

    2003 doi

  76. [85]

    2022 , eprint=

    Geometric and arithmetic theta correspondences , author=. 2022 , eprint=

    2022

  77. [86]

    Li, Chao and Zhang, Wei , journal=. Kudla--. 2022 , number=. doi:10.1090/jams/988 , url=

    2022 doi

  78. [87]

    Li, Chao and Zhang, Wei , TITLE =. Invent. Math. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00222-022-01106-z , URL =

    2022 doi

  79. [88]

    Li, Chao and Liu, Yifeng , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2021 , NUMBER =. doi:10.4007/annals.2021.194.3.6 , URL =

    2021 doi

  80. [89]

    Forum Math

    Li, Chao and Liu, Yifeng , TITLE =. Forum Math. Pi , FJOURNAL =. 2022 , PAGES =. doi:10.1017/fmp.2022.2 , URL =

    2022 doi

  81. [90]

    Algebra Number Theory , FJOURNAL =

    Liu, Yifeng , TITLE =. Algebra Number Theory , FJOURNAL =. 2011 , NUMBER =. doi:10.2140/ant.2011.5.849 , URL =

    2011 doi

  82. [91]

    Liu, Yifeng , TITLE =. Invent. Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s00222-016-0645-9 , URL =

    2016 doi

  83. [92]

    2017 , eprint=

    Enhanced six operations and base change theorem for higher Artin stacks , author=. 2017 , eprint=

    2017

  84. [93]

    Forum Math

    Lu, Qing and Zheng, Weizhe , TITLE =. Forum Math. Sigma , FJOURNAL =. 2022 , PAGES =. doi:10.1017/fms.2022.2 , URL =

    2022 doi

  85. [94]

    2004 , PAGES =

    Lurie, Jacob , TITLE =. 2004 , PAGES =

    2004

  86. [95]

    Lurie, Jacob , year=. Derived. https://arxiv.org/pdf/0905.0459.pdf , archivePrefix=

    arXiv

  87. [96]

    2009 , PAGES =

    Lurie, Jacob , TITLE =. 2009 , PAGES =. doi:10.1515/9781400830558 , URL =

    2009 doi

  88. [97]

    https://www.math.ias.edu/ lurie/papers/SAG-rootfile.pdf , note =

    Lurie, Jacob , year=. https://www.math.ias.edu/ lurie/papers/SAG-rootfile.pdf , note =

  89. [98]

    Lysenko, Sergey , TITLE =. Ann. Sci. \'. 2006 , NUMBER =. doi:10.1016/j.ansens.2006.01.003 , URL =

    2006 doi

  90. [99]

    2010 , PAGES =

    Shahidi, Freydoon , TITLE =. 2010 , PAGES =. doi:10.1090/coll/058 , URL =

    2010 doi

  91. [100]

    Derived special cycles on

    Madapusi, Keerthi , year=. Derived special cycles on. 2212.12849 , archivePrefix=

    arXiv

  92. [101]

    Maeda, Yota , TITLE =. Canad. Math. Bull. , FJOURNAL =. 2021 , NUMBER =. doi:10.4153/S000843952000020X , URL =

    2021 doi

  93. [102]

    Acta Arith

    Maeda, Yota , TITLE =. Acta Arith. , FJOURNAL =. 2022 , NUMBER =. doi:10.4064/aa210202-12-4 , URL =

    2022 doi

  94. [103]

    Manolache, Cristina , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2012 , NUMBER =. doi:10.1090/S1056-3911-2011-00606-1 , URL =

    2012 doi

  95. [104]

    Mirkovi\'. Linear. J. Lond. Math. Soc. (2) , FJOURNAL =. 2016 , NUMBER =. doi:10.1112/jlms/jdv053 , URL =

    2016 doi

  96. [105]

    Mirkovi\'. Linear. Doc. Math. , FJOURNAL =. 2015 , PAGES =

    2015

  97. [106]

    Morel, Fabien and Voevodsky, Vladimir , TITLE =. Inst. Hautes \'. 1999 , PAGES =

    1999

  98. [107]

    Mumford, David , TITLE =. Ann. Sci. \'. 1971 , PAGES =

    1971

  99. [108]

    Le lemme fondamental pour les alg\`ebres de

    Ngo, Bao Ch\^. Le lemme fondamental pour les alg\`ebres de. Publ. Math. Inst. Hautes \'. 2010 , PAGES =. doi:10.1007/s10240-010-0026-7 , URL =

    2010 doi

  100. [109]

    Olsson, Martin , TITLE =. Adv. Math. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.aim.2014.12.014 , URL =

    2015 doi

  101. [110]

    , TITLE =

    Oh, Jeongseok and Thomas, Richard P. , TITLE =. Duke Math. J. , FJOURNAL =. 2023 , NUMBER =. doi:10.1215/00127094-2022-0059 , URL =

    2023 doi

  102. [111]

    2024 , eprint=

    Automatic convergence for Siegel modular forms , author=. 2024 , eprint=

    2024

  103. [112]

    2023 , eprint=

    Motivic nearby cycles functors, local monodromy and universal local acyclicity , author=. 2023 , eprint=

    2023

  104. [113]

    2026 , eprint=

    The Geometric Unitary Kudla Conjecture , author=. 2026 , eprint=

    2026

  105. [114]

    , TITLE =

    Riemann, B. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1866 , PAGES =. doi:10.1515/crll.1866.65.161 , URL =

    doi

  106. [115]

    1985 , PAGES =

    Scharlau, Winfried , TITLE =. 1985 , PAGES =. doi:10.1007/978-3-642-69971-9 , URL =

    1985 doi

  107. [116]

    , title =

    Serre, J.-P. , title =. S\'eminaire Claude Chevalley , note =. 1958 , language =

    1958

  108. [117]

    Siegel, Carl Ludwig , TITLE =. Math. Ann. , FJOURNAL =. 1951 , PAGES =. doi:10.1007/BF01343549 , URL =

    1951 doi

  109. [118]

    Spitzweck, Markus , Title =. M. 2018 , Language =. doi:10.24033/msmf.465 , Keywords =

    2018 doi

  110. [119]

    Springer, T. A. , TITLE =. J. Fac. Sci. Univ. Tokyo Sect. IA Math. , FJOURNAL =. 1984 , NUMBER =

    1984

  111. [120]

    and Shankar, Arul and Tang, Yunqing and Tayou, Salim , TITLE =

    Shankar, Ananth N. and Shankar, Arul and Tang, Yunqing and Tayou, Salim , TITLE =. Forum Math. Pi , FJOURNAL =. 2022 , PAGES =. doi:10.1017/fmp.2022.14 , URL =

    2022 doi

  112. [121]

    Algebraic geometry---

    Toen, Bertrand , TITLE =. Algebraic geometry---. 2009 , MRCLASS =. doi:10.1090/pspum/080.1/2483943 , URL =

    2009 doi

  113. [122]

    Simplicial methods for operads and algebraic geometry , SERIES =

    Toen, Bertrand , TITLE =. Simplicial methods for operads and algebraic geometry , SERIES =. 2010 , MRCLASS =. doi:10.1007/978-3-0348-0052-5 , URL =

    2010 doi

  114. [123]

    Categorical

    Toda, Yukinobu , series=. Categorical. 2024 , doi=

    2024

  115. [124]

    EMS Surv

    Derived algebraic geometry , author=. EMS Surv. Math. Sci. , fjournal=. 2014 , doi=

    2014

  116. [125]

    Homotopical algebraic geometry

    To\". Homotopical algebraic geometry. Mem. Amer. Math. Soc. , FJOURNAL =. 2008 , NUMBER =. doi:10.1090/memo/0902 , URL =

    2008 doi

  117. [126]

    Sur la formule de

    Weil, Andr\'. Sur la formule de. Acta Math. , FJOURNAL =. 1965 , PAGES =. doi:10.1007/BF02391774 , URL =

    1965 doi

  118. [127]

    Selecta Math

    Varshavsky, Yakov , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2004 , NUMBER =. doi:10.1007/s00029-004-0343-0 , URL =

    2004 doi

  119. [128]

    Varshavsky, Yakov , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s00039-007-0596-9 , URL =

    2007 doi

  120. [129]

    , TITLE =

    Verdier, J.-L. , TITLE =. Analysis and topology on singular spaces,. 1983 , MRCLASS =

    1983

  121. [130]

    2010 , eprint=

    A note on the cotangent complex in derived algebraic geometry , author=. 2010 , eprint=

    2010

  122. [131]

    Voevodsky, Vladimir , TITLE =. Doc. Math. , FJOURNAL =. 1998 , NUMBER =

    1998

  123. [132]

    Wang, Jonathan , TITLE =. Math. Res. Lett. , FJOURNAL =. 2015 , NUMBER =. doi:10.4310/MRL.2015.v22.n5.a12 , URL =

    2015 doi

  124. [133]

    , Title =

    Weibel, Charles A. , Title =. 2013 , Publisher =

    2013

  125. [134]

    Basic number theory , SERIES =

    Weil, Andr\'. Basic number theory , SERIES =. 1995 , PAGES =

    1995

  126. [135]

    Yun, Zhiwei and Zhang, Wei , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2017 , NUMBER =. doi:10.4007/annals.2017.186.3.2 , URL =

    2017 doi

  127. [136]

    Yuan, Xinyi and Zhang, Shou-Wu , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2018 , NUMBER =. doi:10.4007/annals.2018.187.2.4 , URL =

    2018 doi

  128. [137]

    Yuan, Xinyi and Zhang, Shou-Wu and Zhang, Wei , TITLE =. Compos. Math. , FJOURNAL =. 2009 , NUMBER =. doi:10.1112/S0010437X08003734 , URL =

    2009 doi

  129. [138]

    Yun, Zhiwei and Zhang, Wei , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2019 , NUMBER =. doi:10.4007/annals.2019.189.2.2 , URL =

    2019 doi

  130. [139]

    Proceedings of the

    Yun, Zhiwei , TITLE =. Proceedings of the. 2018 , MRCLASS =

    2018

  131. [140]

    Zheng, Weizhe , TITLE =. Sci. China Math. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s11425-015-4970-z , URL =

    2015 doi

  132. [141]

    2009 , PAGES =

    Zhang, Wei , TITLE =. 2009 , PAGES =

    2009

  133. [142]

    , TITLE =

    Zhang, W. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2021 , NUMBER =. doi:10.4007/annals.2021.193.3.5 , URL =

    2021 doi

  134. [143]

    2025 , NOTE =

    Zeff, Chaim Avram , TITLE =. 2025 , NOTE =

    2025

Pith tools

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