Equidistribution of Hecke Orbits on the Picard group of definite Shimura curves

Matias Alvarado; Patricio P\'erez-Pi\~na

REVIEW 2 major objections 6 minor 9 references

Equidistribution of Hecke Orbits on the Picard group of definite Shimura curves

T0 review · 2 major / 6 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read This paper proves that Hecke orbits on the Picard group of definite Shimura curves over the function field $\mathbb{F}_q(t)$ equidistribute toward the measure $\delta_{e^*}$, where $e^* = \sum_i w_i^{-1} e_i$, and derives the…

desk verdict Solid function-field analogue of Menares's theorem with a fillable gap: the key reduction is true but the authors must prove it instead of citing an unlocated 'Proposition II.1'. read the letter →

arxiv 2411.16643 v1 pith:GIUTNXNP submitted 2024-11-25 math.NT

Matias Alvarado , Patricio Pérez-Piña This is my paper · ORCID

classification math.NT MSC 11G1811G0911F7211R58

keywords HeckeorbitsequidistributiondefiniteShimuracurvesBrandtmatricesDrinfeldmodulesfunctionfieldsautomorphicformsoftypesupersingular

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 that Hecke orbits on the Picard group of definite Shimura curves over the rational function field $\mathbb{F}_q(t)$ are equidistributed. Fixing any component $e_i$, the orbit $\{t_m e_i\}$ under the Hecke correspondence, when ordered by the degree of the part of $m$ coprime to the discriminant $n_0$, becomes equidistributed with respect to the measure $\delta_{e^*}$, where $e^*=\sum_i w_i^{-1}e_i$. In the rank-2 supersingular case, this becomes the equidistribution of Hecke orbits $\{T_m\varphi\}$ on the set of supersingular Drinfeld modules, with limiting masses proportional to $1/w_i$. The proof is automorphic: Brandt matrix coefficients are identified with Fourier coefficients of cuspidal automorphic forms of Drinfeld type, and Deligne-Ramanujan bounds make those coefficients tend to zero fast enough.

What carries the argument

Three linked objects carry the argument. The Brandt matrix $B(m)=(B_{ij}(m))$ records the number of integral elements of a definite quaternion algebra with a given norm, and Proposition 2.1 translates the Hecke action into matrix multiplication, so $t_m e_i=\sum_j B_{ij}(m)e_j$; the goal becomes showing that the normalized columns converge coefficientwise. Automorphic forms of Drinfeld type are functions on the oriented edges of the Bruhat-Tits tree of $\mathrm{PGL}_2(k_\infty)$ with a harmonicity condition, and the $\theta$ series $\Theta_{ij}$ have Fourier coefficients exactly $q^{-(\deg m+2)}B_{ij}(m)$, connecting combinatorial counts to automorphic coefficients. The Deligne-Ramanujan bound for cuspidal automorphic forms of Drinfeld type, $|c_f(m)|\ll q^{(\varepsilon-1/2)\deg m}$, supplies the decay that forces the ratios to their limits. A Hecke-equivariant decomposition theorem for the space generated by the $\Theta_{ij}$ lets the paper isolate the cuspidal part, whose coefficients vanish in the limit.

What would settle it

Compute the Brandt matrices for a small example, say $q=3$ and $n_0$ a prime of degree 1, for all monic $m$ with $\deg m \le 5$; for each $i,j$, check whether $B_{ij}(m)/\sigma_{n_0}(m)$ tends to $1/(w_j\deg e^*)$ as $\deg m_{n_0}$ grows. A single ratio failing to approach that value would refute the equidistribution claim, and a counterexample to the claimed equality with $B_{kj}(m_{n_0})/\sigma_{n_0}(m_{n_0})$ would show the proof's reduction does not hold in that case.

Watch

Extended reading notes

Core claim

The central claim is Theorem A: for every index $i$ and every function $f$ on the finite set $B=\{e_1,\dots,e_n\}$, the normalized sums $\delta_{t_m e_i}(f)$ converge to $\delta_{e^*}(f)$ as $\deg m_{n_0}\to\infty$, where $m_{n_0}$ is the part of $m$ coprime to the discriminant of the quaternion algebra. The proof establishes the stronger quantitative estimate that the difference $|B_{ij}(m)/\sigma_{n_0}(m)-1/(w_j\deg e^*)|$ is $O(q^{(\varepsilon-1/2)\deg m_{n_0}})$ for every $\varepsilon>0$, which forces the ratios of Brandt-matrix coefficients to their limiting values. When $n_0=p$ is a single prime, the same result gives Theorem B: the Hecke orbit $\{T_m\varphi\}$ of any supersingular Drinfeld module of rank 2 becomes equidistributed on the full set $D_p^{ss}$ with respect to the measure $\delta_\Phi$, whose mass at $\varphi_i$ is $1/w_i$ up to normalization. This is stated as a direct consequence of Theorem A through the bijection between divisor classes and supersingular Drinfeld modules.

Load-bearing premise

The proof relies on a reduction, stated as Proposition 2.3 without a full proof, which says that every ratio of counts for an ideal $m$ can be replaced by the same kind of ratio for the part of $m$ coprime to the ramification locus; if that replacement has any exception, the convergence argument does not close.

Editorial extensions

If this is right

The finite Picard group $B$ receives a limiting measure $\delta_{e^*}$ whose mass at $e_i$ is inversely proportional to the order of the unit group of the corresponding maximal order; the equidistribution statement therefore describes exactly how often each component is visited.
For the supersingular Drinfeld module interpretation, the limiting measure is completely explicit: the mass at each supersingular module $\varphi_i$ is $1/w_i$, and the total mass gives the class-number normalization $(q^{\deg p}-1)/(q^2-1)$.
The proof yields an exponential rate of convergence $q^{(\varepsilon-1/2)\deg m_{n_0}}$ for all $\varepsilon>0$, so the deviation from the limit is bounded by a power of $q^{-\deg m_{n_0}}$ with exponent close to $1/2$.
The automorphic approach is robust enough that the same argument applies to all definite quaternion algebras over $\mathbb{F}_q(t)$, not only to those of prime discriminant; the paper writes the proof for arbitrary $n_0$.

Reading between the lines

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

Editorial extension: the same method may prove equidistribution for higher-rank Drinfeld modules or for other finite arithmetic quotients where Brandt-matrix analogues and Deligne-Ramanujan bounds are available.
Editorial extension: the quantitative bound suggests one can extract an explicit rate of convergence with the constant depending on $f$, $q$, and $n_0$; the paper does not compute such a constant.
Editorial extension: the pattern that the ramified part of the ideal is irrelevant to the limiting behavior may also appear in other function-field equidistribution problems, so the argument points toward a general principle that only the coprime part $m_{n_0}$ controls the spread.
Editorial extension: since the reduction in Proposition 2.3 is deferred to a reference, a direct proof of that reduction for general $m$ would remove the main deferred step; conversely, a small computational search for counterexamples to the reduction would test whether the present proof closes.

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.

Desk Editor's Note

read the letter

This paper proves the function-field analogue of Menares's equidistribution theorem for Hecke orbits on the Picard group of definite Shimura curves, with a corollary for supersingular Drinfeld modules. The theorems are new, and the automorphic method is a good fit: Brandt matrices encode the Hecke movement, and Deligne-Ramanujan bounds for Drinfeld-type cusp forms give the decay. The transmission of the method from [Men12] is transparent and the cited inputs (WY11, the mass formula) are appropriate.

The soft spots are all in the exposition. Proposition 2.3 is load-bearing and its proof is not given, with a reference to an unlocated 'Proposition II.1'. The good news is that the reduction is true and easy: for p | n0, Proposition 2.2 gives the row sum σ_{n0}(p)=1, and the Brandt matrices are integer, so B(p) is a permutation matrix; the product of these over p|n0 is also a permutation, hence B(m) = B(m_{n0}) P and each row of B(m) is a row of B(m_{n0}). The authors should put this argument in the text.

There are also notational slips: the constant term of Θ_ij is printed as q^{-r} w_j in Section 3.3 but the computation in Section 4 needs q^{-r}/w_j (otherwise the Eisenstein series constant term doesn't add up). And in Section 4, σ_p appears where σ_{n0} is meant. These are typos, not mathematical errors.

The stress-test concern about Proposition 2.3 is therefore real for the text as written, but not for the mathematics: the reduction cannot fail because of the row-sum/integrality argument. Still, the missing proof is a genuine gap that a referee should require the authors to fill.

Overall, this is a nice, careful paper with a correct main idea. It deserves a serious referee, and I would accept it provisionally. For a reading group, I'd say maybe: the core is clear and short, but the typos might be a mild annoyance.

Referee Report

2 major / 6 minor

Summary. The paper proves Theorem A: for a definite quaternion algebra over F_q(t) with discriminant n_0, the Hecke translates t_m e_i of a component e_i in the Picard group of the Shimura curve X_{n_0} become equidistributed with respect to the measure μ = δ_{e*} as deg m_{n_0} tends to infinity, where e* = Σ_i w_i^{-1} e_i. The proof follows the strategy of Menares: it expresses the Hecke action via Brandt matrices, compares the degree of t_m e_i with the divisor function σ_{n_0}, decomposes the theta series Θ_{ij} into a cuspidal part plus an Eisenstein part using the Wei–Yu isomorphism, and then applies Deligne–Ramanujan bounds to the Fourier coefficients of the cuspidal part. Theorem B is stated as a corollary for supersingular Drinfeld modules of rank 2, using the bijection between components and these modules and the mass formula.

Significance. If the proof is completed, the result is a natural function-field analogue and generalization of Menares' equidistribution theorem for Hecke points on the supersingular module, with a canonical target measure and no fitted parameters. The manuscript is concise and builds on substantial external results (Wei–Yu, Gekeler, Drinfeld), and the automorphic method used here is well suited to the problem. However, the paper as written has a load-bearing gap: Proposition 2.3, which is essential to pass from the estimate at the prime-to-n_0 part m_{n_0} back to the full ideal m, is not proved, and the cited reference is not specific enough to verify the claim. This prevents the main theorem from being established as stated.

major comments (2)

[Section 2, Proposition 2.3] Proposition 2.3 is the only bridge from the Fourier-coefficient estimate at m_{n_0} in Section 4 to the ratio B_{ij}(m)/σ_{n_0}(m) for the full ideal m = m_{n_0} ∏_{p|n_0} p^{v_p(m)}. The proof is not supplied: the text says 'This can be proven using the same argument given in [Men12] at the beginning of section 1.2' and refers to an unspecified 'Proposition II.1', without a precise location in the manuscript or in the reference list. The assertion is nontrivial: it says that for each i there is a k such that the normalized rows of B(m) and B(m_{n_0}) coincide, which requires control of the factors B(p) for p | n_0 that divide the level. Without this step, the estimate in Section 4 applies only to ideals coprime to n_0, and the convergence of the full Hecke orbit is not demonstrated. Please provide a complete proof of Proposition 2.3, or a precise statement-and-proof reference.
[Sections 3.3 and 4, constant Fourier coefficient] As typeset, the constant Fourier coefficient of Θ_{ij} is given by c_{Θ_{ij}}(r,0) = q^{-r} w_j in Section 3.3, but the constant term of E_{n_0} is given as q^{-r} Σ_i 1/w_i, and the computation in Section 4 uses c_{Θ_{ij}}(r,0) = q^{-r}/w_j to obtain c_{ij} = 1/(w_j deg(e*)). If the displayed q^{-r}w_j is not a typographical error, then the formula for E_{n_0} and the computation of c_{ij} are inconsistent. Since the identification of the Eisenstein component c_{ij} is essential for the main estimate, please correct the constant term and verify the normalization carefully.

minor comments (6)

[Section 4] The symbol σ_p appears in the main estimate where σ_{n_0} is meant; as written, the displayed chain mixes σ_p(m), σ_p(m_{n_0}), and σ_{n_0}(m_{n_0}). Please use one consistent notation.
[Section 4, final paragraph] After applying Proposition 2.3, the convergence is first obtained for B_{kj}(m_{n_0})/σ_{n_0}(m_{n_0}); the final sentence should explicitly restate the conclusion for the original ratio B_{ij}(m)/σ_{n_0}(m) so that the role of Proposition 2.3 is transparent.
[Section 2, inequality after Propositions 2.1 and 2.2] The bound |δ_{t_m e_i}(f) - δ_{e*}(f)| ≤ max_j {f(e_j)} Σ_j |B_{ij}(m)/σ_{n_0}(m) - 1/(w_j deg e*)| is not valid for complex-valued f unless the maximum is replaced by max_j |f(e_j)|. Please correct this minor inequality.
[Section 3.2] The Hecke operators are first described for level Γ_0(p), but later they are used for Γ_0(n_0). This is presumably a typo for a general level, but the notation should be made uniform to avoid ambiguity.
[Section 2, Proposition 2.3] The reference to 'Proposition II.1' is not locatable in the manuscript or in the bibliography; if this is a result in [WY11] or [Men12], please give the exact theorem or proposition number and state the relevant statement.
[Throughout] The function σ_{n_0} is defined on elements of F_q[t] while Brandt matrices and Hecke operators are indexed by ideals; please clarify the translation by taking a monic generator of each ideal.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main estimate is derived from external automorphic-form bounds and a Hecke-equivariant isomorphism, with no fitted parameter renamed as a prediction.

full rationale

The derivation chain is external and self-contained against cited results, none of which are by the present authors. Theorem A reduces to proving that |B_ij(m)/sigma_{n0}(m) - 1/(w_j deg e*)| tends to 0 for all j, as shown in Section 2. The Brandt matrix B_ij(m) is defined by an explicit counting formula, the target weights 1/w_j come from unit group sizes, and the difference is expressed exactly as q^{deg m+2} times the Fourier coefficient c_{g_ij}(m) of a cuspidal Drinfeld-type form in Section 4. The bound |c_f(m)| << q^{(epsilon-1/2) deg m} follows from Drinfeld's eigenvalue bounds, an external mathematical input. The Hecke-equivariant isomorphism of Theorem 3.4 is quoted from [WY11], not from the authors' own work. Proposition 2.3, which reduces the ratio at m to one at m_{n0}, is quoted from [Men12] with a terse proof reference, but this is an omitted-detail issue rather than circularity: the proposition is not the same as Theorem A and is not derived from the theorem being proved. No fitted parameters are used, no prediction is a renamed input, and no self-citation carries a load-bearing assumption. Hence the circularity score is 0.

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

The proof imports substantial external machinery: Drinfeld's coefficient bounds, the WY11 theta/Eisenstein decomposition, and standard Brandt matrix facts. The only new load-bearing internal assertion is Proposition 2.3, which is sketched rather than proved. No free parameters are fitted and no new objects are postulated.

assumptions (5)

standard math Deligne-Ramanujan bound for Fourier coefficients of cuspidal automorphic forms of Drinfeld type: |c_f(m)| ≪ q^{(ε-1/2) deg m} (equation 3.4)
Quoted from Dri74, Gek95 and GR96, and used to force the Brandt matrix ratios to converge in Section 4.
standard math Hecke-equivariant isomorphism (Pic ⊗ C) ⊗_{TC}(Pic^∨ ⊗ C) ≅ H^new(T,C)^{Γ0(n0)} (Theorem 3.4, after WY11 Theorem 2.6)
Provides the decomposition Θ_ij = g_ij + c_ij E_{n0} that turns Brandt matrix differences into cuspidal Fourier coefficients.
ad hoc to paper Proposition 2.3: for each i there exists k with B_ij(m)/σ_{n0}(m) = B_kj(m_{n0})/σ_{n0}(m_{n0})
Not proved in the text; only a sketch by analogy with [Men12] and an ambiguous 'Proposition II.1'. The final estimate depends on this reduction.
domain assumption Bijection between basis elements e_i of Pic(X_{n0}) and supersingular Drinfeld modules φ_i (Pap05 Theorem 2.6)
Needed to translate Theorem A into Theorem B over the set D_ss^p of supersingular Drinfeld modules.
standard math Eichler mass formula ∑ 1/w_i = (q^{deg p} - 1)/(q^2 - 1) for supersingular Drinfeld modules (Gek83 Satz 5.9(iii))
Used to compute deg(Φ) in the proof of Theorem B.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Equidistribution of Hecke Orbits on the Picard group of definite Shimura curves." pith.science (2026). https://pith.science/paper/GIUTNXNP

@misc{pith2026241116643,
  author       = {Pith},
  title        = {Pith review of: Equidistribution of Hecke Orbits on the Picard group of definite Shimura curves},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GIUTNXNP}},
  note         = {Machine review of arXiv:2411.16643}
}

read the original abstract

We prove an equidistribution result about Hecke orbits on the Picard group of Shimura curves coming from definite quaternion algebras over function fields. In particular, we show the equidistribution of Hecke orbits of supersingular Drinfeld modules of rank 2. Our approach is via the automorphic method, using bounds for coefficients of cuspidal automorphic forms of Drinfeld type as the main tool.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

[1]

2, 333--373

Chih-Yun Chuang, Fu-Tsun Wei, and Jing Yu, On central critical values of rankin-type l-functions over global function fields, Proceedings of the London Mathematical Society 114 (2017), no. 2, 333--373

work page 2017
[2]

V. G. Drinfel'd, Elliptic modules, Mat. Sb. (N.S.) 94(136) (1974), 594--627, 656. 384707

work page 1974
[3]

Ernst-Ulrich Gekeler, Zur arithmetik von drinfeld-moduln, Math. Ann. 262 (1983), no. 2, 167--182. 690193

work page 1983
[4]

1, 27--49

, Analytical construction of weil curves over function fields, Journal de th \'e orie des nombres de Bordeaux 7 (1995), no. 1, 27--49

work page 1995
[5]

Gekeler and M

E.-U. Gekeler and M. Reversat, Jacobians of D rinfeld modular curves , J. Reine Angew. Math. 476 (1996), 27--93. 1401696

work page 1996
[6]

8, 2687--2691

Ricardo Menares, Equidistribution of hecke points on the supersingular module, Proceedings of the American Mathematical Society 140 (2012), no. 8, 2687--2691

work page 2012
[7]

2, 249--283

Mihran Papikian, On the variation of tate--shafarevich groups of elliptic curves over hyperelliptic curves, Journal of Number Theory 115 (2005), no. 2, 249--283

work page 2005
[8]

Jean-Pierre Serre, Trees, Springer-Verlag, Berlin-New York, 1980, Translated from the French by John Stillwell. 607504

work page 1980

Show all 9 references

[9]

Fu-Tsun Wei and Jing Yu, Theta series and function field analogue of G ross formula , Doc. Math. 16 (2011), 723--765. 2861398

2011

Pith tools

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

[1] [1]

2, 333--373

Chih-Yun Chuang, Fu-Tsun Wei, and Jing Yu, On central critical values of rankin-type l-functions over global function fields, Proceedings of the London Mathematical Society 114 (2017), no. 2, 333--373

work page 2017

[2] [2]

V. G. Drinfel'd, Elliptic modules, Mat. Sb. (N.S.) 94(136) (1974), 594--627, 656. 384707

work page 1974

[3] [3]

Ernst-Ulrich Gekeler, Zur arithmetik von drinfeld-moduln, Math. Ann. 262 (1983), no. 2, 167--182. 690193

work page 1983

[4] [4]

1, 27--49

, Analytical construction of weil curves over function fields, Journal de th \'e orie des nombres de Bordeaux 7 (1995), no. 1, 27--49

work page 1995

[5] [5]

Gekeler and M

E.-U. Gekeler and M. Reversat, Jacobians of D rinfeld modular curves , J. Reine Angew. Math. 476 (1996), 27--93. 1401696

work page 1996

[6] [6]

8, 2687--2691

Ricardo Menares, Equidistribution of hecke points on the supersingular module, Proceedings of the American Mathematical Society 140 (2012), no. 8, 2687--2691

work page 2012

[7] [7]

2, 249--283

Mihran Papikian, On the variation of tate--shafarevich groups of elliptic curves over hyperelliptic curves, Journal of Number Theory 115 (2005), no. 2, 249--283

work page 2005

[8] [8]

Jean-Pierre Serre, Trees, Springer-Verlag, Berlin-New York, 1980, Translated from the French by John Stillwell. 607504

work page 1980