pith. machine review for the scientific record. sign in

arxiv: 2605.13824 · v1 · submitted 2026-05-13 · 🧮 math.AG · math.NT· math.RT

Recognition: 1 theorem link

· Lean Theorem

Graphs of Hecke operators in mixed ramification

Rudrendra Kashyap , Vladyslav Zveryk
Authors on Pith no claims yet

Pith reviewed 2026-05-14 17:31 UTC · model grok-4.3

classification 🧮 math.AG math.NTmath.RT
keywords Hecke operatorsramified bundlesmoduli spacesHecke graphsH-ramificationBun_GPGL_2eigenforms
0
0 comments X

The pith

Hecke operators in complex ramification on Bun_G mimic simpler ramification actions under mild conditions.

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

This paper investigates Hecke operators on moduli spaces of ramified G-bundles by employing Hecke graphs as a combinatorial tool. It introduces the concept of H-ramification, which involves a divisor and chosen subgroups of G at each point on the divisor. The key finding is that, given mild regularity conditions, the action of these operators in the deep cusp for highly complex ramification is equivalent to that in a simpler ramification setup. Consequently, the analysis can be limited to cases where the divisor is supported at no more than two points. The methods are illustrated through explicit computations for the group PGL_2, including dimensions of spaces of Hecke eigenforms for generic eigenvalues.

Core claim

We prove that, under mild regularity conditions, the action of a Hecke operator in the deep cusp of Bun_G in a highly complex ramification mimics an action in a much simpler ramification. This reduces the study to a smaller number of cases which, in particular, involve divisors supported at no more than two points.

What carries the argument

Hecke graphs providing combinatorial language for Hecke operator actions, and the mimicking property between complex and simple H-ramification configurations.

If this is right

  • The study of Hecke operators reduces to ramification at one or two points.
  • Explicit computations of Hecke eigenforms become feasible for PGL_2 with generic eigenvalues.
  • Dimensions of spaces of Hecke eigenforms can be determined in these simplified settings.

Where Pith is reading between the lines

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

  • This reduction could facilitate progress in understanding the geometric Langlands program for ramified bundles.
  • Similar mimicking properties might hold for other moduli problems involving group actions.
  • Extending the examples to other groups G could reveal patterns in eigenform dimensions.

Load-bearing premise

The mild regularity conditions on the ramification data and the subgroups chosen at the divisor points are necessary for the mimicking property to hold.

What would settle it

An explicit counterexample computation for a three-point divisor where the Hecke action does not match any two-point simplification despite satisfying regularity conditions.

Figures

Figures reproduced from arXiv: 2605.13824 by Rudrendra Kashyap, Vladyslav Zveryk.

Figure 1
Figure 1. Figure 1: Graph for PGL2 unramified at x. (1) If x R supp D, then take D2 “ 0. The ramification datum is regular with TD2 “ TD1 2 “ Tpkq, hence the graph at the cusp is a number of copies of the unramified graph (piq above). (2) If supp D “ txu, then this is case piiq above. (3) If x P supp D and there exists x ‰ y P supp D with Hy “ 1, use D2 with supp D2 “ tx, yu. This is the case piiiq above. By Proposition 4.10,… view at source ↗
Figure 2
Figure 2. Figure 2: Graph for PGL2 ramified at x with H “ B or U. Case id. We pick a in the form (5.3). Take σ “ p πx t 0 1 q. Taking τ “ p 1 c 0 1 q, we get pbij q “ ˆ π ´1 x 0 0 1˙ ˆ1 c 0 1˙ ˆ 1 0 a21 a22˙ ˆπx t 0 1˙ “ ˆ 1 ` a21c π´1 x pt ` ta21c ` a22cq πxa21 ta21 ` a22 ˙ , which implies that t ” ´ a22c 1`a21c pmod πxq. Since a21 P πxOdrxs , this equation always has a solution. Thus, every τ gives an edge in this case, so … view at source ↗
Figure 3
Figure 3. Figure 3: Ramified graph for G “ PGL2 and X “ P 1 at 1 ¨ rxs, deg x “ 1, H “ U or B. Moreover, since Hx “ U is regular by Proposition 4.10, we get that the graph ramified at D “ D1 `dxrxs with Hx “ U and dx ě 1 is a covering of the graph on [PITH_FULL_IMAGE:figures/full_fig_p023_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: B-ramified graph for G “ PGL2 and X “ P 1 at D “ ř i rzis, deg x “ deg zi “ 1. Example for g “ 4. V1 V0 · · · 1 · · · E0 E1 E2 E3 q q q q 1 q 1 q 1 q 1 [PITH_FULL_IMAGE:figures/full_fig_p025_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: B-ramified graph for G “ PGL2 and X “ P 1 at g “ 1 point z1, deg x “ deg z1 “ 1. Now, we describe Hecke modifications of level structures on E0. Hecke modifications of the bundle are given by inclusions O ‘ Op´1q Ñ O ‘ O represented by inclusion matrices σ “ ˆ 1 0 c πx ˙ or ˆ 0 πx 1 0 ˙ , c P k transporting level structures pv1, . . . , vgq at z1, . . . , zg to ˆ zi ´ x v ´1 i ` c ˙ i“1..g or ˆ zi ´ x vi ˙… view at source ↗
Figure 6
Figure 6. Figure 6: B-ramified graph for G “ PGL2 and X “ P 1 at g “ 2 points zi , deg x “ deg zi “ 1. Example 5.6 (Case g “ 2). In this case, we have two equivalence classes of level structures on E0: p0, 0q and p0, 8q. The orbit of the first (second) structure is precisely collections of two coinciding (distinct) points on P 1 pkq. We start with computing the edges from E1 to E0. For simplicity, we may assume that x “ 0 in … view at source ↗
Figure 7
Figure 7. Figure 7: B-ramified graph for G “ PGL2 and X “ P 1 at g “ 3 points zi , deg x “ deg zi “ 1. Some of edge multiplicities are not shown for readability and can be recovered from the fact that the outgoing degree of each vertex is q ` 1. We can easily see that if we allow λ to be 0 as well, then we can get any element of U from p0, 0, 1q. Moreover, the orbit of p0, 0, 0q is precisely the case λ “ 0, so these two orbit… view at source ↗
Figure 8
Figure 8. Figure 8: Ramified graph for G “ PGL2 and X “ P 1 at 1 ¨ rxs, deg x “ 1. q 1 ∞ 1 0 O ⊕ O O(1) ⊕ O O(2) ⊕ O O(3) ⊕ O q q 1 1 q q q − 1 q q − 1 q − 1 [PITH_FULL_IMAGE:figures/full_fig_p029_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Ramified graph for G “ PGL2 and X “ P 1 at 1 ¨ rxs, deg x “ 1 with Hx “ T. Example 5.8 (T at x). Here, we give an example for X “ P 1 , G “ PGL2, Hx “ T. By Remarks 3.6 and 3.10, this graph is obtained by identifying vertices and keeping edges in the example of id￾ramification at x. This example was computed in [KZ26, Example 4.31] and is presented on [PITH_FULL_IMAGE:figures/full_fig_p029_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Cusp of the ramified graph for G “ PGL2 and X “ P 1 at rxs`rys with Hx “ T and Hy “ U. The projection to the T-ramified graph at rxs is shown. Punctured lines are drawn to improve visualization by grouping level structures over single bundles. Edge multiplicities of the s-part are the same as of the id-part. Example 4.32], and all connections are summarized in pa, 8q ÝÑ pa, 8q, pa, 8q ÝÑ pc, at´c 2 q, pa,… view at source ↗
read the original abstract

We study Hecke operators on moduli spaces of ramified $G$-bundles using the combinatorial language of Hecke graphs. We introduce a general notion of $\mathcal H$-ramification in the spirit of parahoric ramification, which depends on a choice of a divisor and subgroups of $G$ at every point of the divisor. Building on our previous work, we prove that, under mild regularity conditions, the action of a Hecke operator in the deep cusp of $\mathrm{Bun}_G$ in a highly complex ramification mimics an action in a much simpler ramification. This reduces the study to a smaller number of cases which, in particular, involve divisors supported at no more than two points. We demonstrate our methods by computing various examples for $G=\mathrm{PGL}_2$ and computing the dimensions of spaces of Hecke eigenforms for generic eigenvalues.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript introduces a general notion of H-ramification for moduli spaces of G-bundles, depending on a divisor and choices of subgroups of G at each point of the divisor. Building on prior work, it proves that under mild regularity conditions the action of a Hecke operator in the deep cusp of Bun_G for highly complex ramification mimics the corresponding action for a much simpler ramification (in particular, divisors supported at no more than two points). The argument proceeds combinatorially via Hecke graphs. The methods are illustrated by explicit computations for G = PGL_2, including dimensions of spaces of Hecke eigenforms for generic eigenvalues.

Significance. If the central reduction theorem holds, the work provides a useful combinatorial simplification for studying Hecke operators on Bun_G in mixed ramification settings, allowing many cases to be reduced to low-support divisors. The explicit PGL_2 examples supply concrete verification and new dimension computations, strengthening the paper's contribution to the interface of algebraic geometry and automorphic forms.

minor comments (2)
  1. §2: The precise statement of the 'mild regularity conditions' on ramification data and subgroup choices should be isolated as a numbered hypothesis or definition to make the scope of the mimicking theorem immediately visible.
  2. The notation for Hecke graphs and the deep cusp could be cross-referenced more explicitly between the general setup and the PGL_2 examples to improve readability for readers not already familiar with the authors' prior work.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. The description accurately reflects our introduction of H-ramification, the combinatorial reduction via Hecke graphs to low-support divisors, and the PGL_2 computations. Since the report contains no specific major comments, we have no point-by-point responses to address.

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper's central reduction theorem follows from combinatorial properties of Hecke graphs applied to the introduced notion of H-ramification, under explicitly stated mild regularity conditions on divisors and subgroups. The mimicking property for complex versus simple ramification is derived directly from these graph structures rather than by fitting parameters to the target result or by self-definition. Concrete PGL_2 examples provide independent verification of the method. The reference to prior work supplies background but does not reduce the load-bearing combinatorial argument to an unverified self-citation chain. The derivation remains self-contained against external combinatorial benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Insufficient detail in the provided abstract to enumerate specific free parameters, axioms, or invented entities; the work relies on standard notions from algebraic geometry and representation theory whose precise invocation cannot be audited here.

pith-pipeline@v0.9.0 · 5451 in / 1182 out tokens · 55794 ms · 2026-05-14T17:31:51.540903+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages · 3 internal anchors

  1. [1]

    Israel Journal of Mathematics , volume =

    Arkhipov, Sergey and Bezrukavnikov, Roman , title =. Israel Journal of Mathematics , volume =. 2009 , doi =

    work page 2009

  2. [2]

    Journal of Number Theory , year =

    Alvarenga, Roberto , title =. Journal of Number Theory , year =

    work page

  3. [3]

    Journal of Number Theory , year =

    Alvarenga, Roberto and Bonnel, Nans , title =. Journal of Number Theory , year =

    work page

  4. [4]

    Rendiconti dell'Istituto di Matematica dell'Universit

    Alvarenga, Roberto and Kaur, Inder and Mo. Rendiconti dell'Istituto di Matematica dell'Universit

    work page

  5. [5]

    Israel Journal of Mathematics , volume =

    Alvarenga, Roberto , title =. Israel Journal of Mathematics , volume =. 2020 , pages =

    work page 2020

  6. [6]

    Publications mathématiques de l'IHÉS , volume =

    Bezrukavnikov, Roman , title =. Publications mathématiques de l'IHÉS , volume =. 2016 , doi =

    work page 2016

  7. [7]

    International Mathematics Research Notices , volume =

    uit de Bos, Niels , title =. International Mathematics Research Notices , volume =. 2022 , pages =

    work page 2022

  8. [8]

    Betti Geometric Langlands

    Ben-Zvi, David and Nadler, David , title =. Algebraic Geometry: Salt Lake City 2015 , series =. 2018 , doi =. 1606.08523 , archivePrefix =

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  9. [9]

    , title =

    Biswas, Indranil and Holla, Yogish I. , title =. Nagoya Mathematical Journal , volume =. 2004 , pages =

    work page 2004

  10. [10]

    Transformation Groups , volume =

    Besson, Marc and Hong, Jiuzu , title =. Transformation Groups , volume =

    work page

  11. [11]

    Drinfel'd, V. G. , title =. Journal of Soviet Mathematics , volume =. 1987 , pages =. doi:10.1007/BF01104975 , note =

    work page doi:10.1007/bf01104975 1987

  12. [12]

    Cambridge Journal of Mathematics , volume =

    Drinfeld, Vladimir and Gaitsgory, Dennis , title =. Cambridge Journal of Mathematics , volume =. 2015 , pages =

    work page 2015

  13. [13]

    Journal of the American Mathematical Society , volume =

    Frenkel, Edward and Gaitsgory, Dennis and Vilonen, Kari , title =. Journal of the American Mathematical Society , volume =. 2002 , pages =

    work page 2002

  14. [14]

    Annales de l'Institut Fourier , volume =

    Heinloth, Jochen , title =. Annales de l'Institut Fourier , volume =. 2004 , pages =

    work page 2004

  15. [15]

    Kloosterman sheaves for reductive groups , journal =

    Heinloth, Jochen and Ng. Kloosterman sheaves for reductive groups , journal =. 2013 , pages =

    work page 2013

  16. [16]

    Affine Flag Manifolds and Principal Bundles , editor =

    Heinloth, Jochen , title =. Affine Flag Manifolds and Principal Bundles , editor =. 2010 , pages =

    work page 2010

  17. [17]

    2008 , eprint=

    Toroidal automorphic forms for some function fields , author=. 2008 , eprint=

    work page 2008

  18. [18]

    Mathematische Zeitschrift , volume =

    Lorscheid, Oliver , title =. Mathematische Zeitschrift , volume =. 2012 , pages =

    work page 2012

  19. [19]

    Algebra & Number Theory , year =

    Lorscheid, Oliver , title =. Algebra & Number Theory , year =

    work page

  20. [20]

    Faces and maximizer subsets of highest weight modules

    Apoorva Khare , title =. arXiv preprint , year =. 1301.1140 , archivePrefix =

    work page internal anchor Pith review Pith/arXiv arXiv

  21. [21]

    2026 , eprint=

    Eigenforms and graphs of Hecke operators with wild ramification , author=. 2026 , eprint=

    work page 2026

  22. [22]

    , title =

    Milne, James S. , title =

    work page

  23. [23]

    Geometric

    Mirkovi'. Geometric. Annals of Mathematics , volume =

    work page

  24. [24]

    Selecta Mathematica , volume =

    Schieder, Simon , title =. Selecta Mathematica , volume =

    work page

  25. [25]

    Hall , title =

    Brian C. Hall , title =. 2003 , note =

    work page 2003

  26. [26]

    2010 , edition =

    Huybrechts, Daniel and Lehn, Manfred , title =. 2010 , edition =. doi:10.1017/CBO9780511711985 , isbn =

    work page doi:10.1017/cbo9780511711985 2010

  27. [27]

    2018 , howpublished =

    Alvarenga, Roberto , title =. 2018 , howpublished =

    work page 2018

  28. [28]

    1971 , doi =

    Giraud, Jean , title =. 1971 , doi =

    work page 1971

  29. [29]

    2019 , doi =

    Gaitsgory, Dennis and Lurie, Jacob , title =. 2019 , doi =

    work page 2019

  30. [30]

    2016 , eprint=

    Recent progress in geometric Langlands theory , author=. 2016 , eprint=

    work page 2016

  31. [31]

    Gaitsgory, Dennis and Lurie, Jacob , title =

    work page

  32. [32]

    , title =

    Ramanathan, A. , title =. Mathematische Annalen , volume =. 1975 , pages =. doi:10.1007/BF01343949 , url =

    work page doi:10.1007/bf01343949 1975

  33. [33]

    Selecta Mathematica , series =

    Yun, Zhiwei , title =. Selecta Mathematica , series =. 2016 , pages =

    work page 2016

  34. [34]

    2016 , eprint =

    Xinwen Zhu , title =. 2016 , eprint =

    work page 2016

  35. [35]

    Rigidity in automorphic representations and local systems

    Yun, Zhiwei , title =. Current Developments in Mathematics 2013 , pages =. 2014 , doi =. 1405.3035 , archivePrefix =

    work page internal anchor Pith review Pith/arXiv arXiv 2013