Pith. sign in

REVIEW 4 major objections 5 minor 24 references

Higher Hida theory for Drinfeld modular curves

T0 review · 4 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read This paper establishes higher Hida theory for Drinfeld modular curves: two finite modules over the Iwasawa algebra interpolate ordinary degree-zero and degree-one cohomology, with a perfect pairing over the family.

desk verdict Genuine first higher Hida theory for Drinfeld modular curves on a solid template, but the duality section has a missing divisor twist and two load-bearing proofs deferred. read the letter →

arxiv 2507.07423 v1 pith:N4GACJKL submitted 2025-07-10 math.NT math.AG

Daniel Barrera Salazar , Héctor del Castillo , Giovanni Rosso This is my paper · ORCID
classification math.NTmath.AG MSC 11F5211F3311G09
keywords higherHidatheoryDrinfeldmodularcurvesformsSerredualityinterpolationIwasawaalgebraordinarylocusHodge–Tate–TaguchimapHeckeoperators
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 transplants higher Hida theory from the number-field setting to Drinfeld modular curves, deforming not only ordinary Drinfeld modular forms (degree-zero cohomology) but also their degree-one coherent cohomology. The main theorem produces two finite-type modules $M$ and $N$ over the Iwasawa algebra $\Lambda = A_p[[A_p^\times]]$ whose specializations at every integer weight $k \geq 3$ recover the ordinary parts $e(T_p)H^0(X,\omega^k)$ and $e(T_p)H^1(X,\omega^{1-k}\otimes \omega^D(-2D))$, together with a perfect pairing $M\times N\to\Lambda$ interpolating Serre duality. This matters because higher Hida theory has powered arithmetic applications over number fields, and the function-field analogue has so far existed only in degree zero. The proof proceeds by interpolating the bundles $\omega^k$ through the Hodge–Tate–Taguchi map on the ordinary locus and then using projectors $e(U_p)$ and $e(F)$ to isolate the ordinary parts.

What carries the argument

The load-bearing objects are the Igusa tower $Ig = \mathrm{Isom}_{X^{\mathrm{ord}}}(A_p, T_p((H^{\mathrm{can}})^D))$ and the universal weight $\kappa^{\mathrm{un}}: A_p^\times\to\Lambda^\times$, which together define the interpolating line bundle $\omega^{\kappa^{\mathrm{un}}} = (O_{Ig}\widehat{\otimes}\,\Lambda)^{A_p^\times}$. On this family the paper constructs two locally finite operators $U_p$ and $F$, with associated projectors $e(U_p)$ and $e(F)$, that specialize at integer weights to the classical Hecke operator $T_p$. The second ingredient is the Kodaira–Spencer isomorphism $\omega\otimes\omega^D \cong \Omega^1_{X/A_p}(2D)$; combined with the identification $\omega\cong\omega^D$ on $X^{\mathrm{ord}}$, it identifies the dualizing family $D(\omega^{\kappa^{\mathrm{un}}})$ and yields the perfect pairing.

What would settle it

Look for a rank-two ordinary Drinfeld module over $A_p$ for which the Hodge–Tate–Taguchi map $HTT: (H^{\mathrm{can}})^D \to \omega$ is not an isomorphism or has a non-trivial zero; the existence of even one such fibre would make $\omega\cong\omega^D$ fail on $X^{\mathrm{ord}}$, invalidating Corollary 5.4(2) and the identification $D(\omega^{\kappa^{\mathrm{un}}})\cong\omega^{\kappa^{\mathrm{un}}}\otimes_{\Lambda,d}\Lambda$ that produces the perfect pairing.

Watch

Extended reading notes

Core claim

The central claim, stated as Theorems 7.5 and 7.7, is that higher Hida theory exists for the Drinfeld modular curve $X$: there are finite-type $\Lambda$-modules $M$ and $N$ with Hecke action such that for every integer $k\geq 3$, $$M\otimes_{\Lambda,k}A_p \cong e(T_p)$H^{0}$(X,\omega^k),\qquad N\otimes_{\Lambda,k}A_p \cong e(T_p)$H^{1}$(X,\$omega^{{1-k}}$\otimes\omega^D(-2D)),$$ and $M\times N\to\Lambda$ is a perfect pairing interpolating Serre duality. The degree-zero statement extends the earlier Hida theory for Drinfeld modular forms; the degree-one statement is the genuinely new input, obtained by defining compact-support cohomology $H^1_c(X^{\mathrm{ord}},\omega^{\kappa^{\mathrm{un}}})$ through condensed mathematics and cutting out the ordinary part with the projectors $e(U_p)$ and $e(F)$. A function-field version of the Serre–Tate coordinates theorem is proved along the way and is used to show that the Hecke correspondence $T_p$ is integrable on the ordinary locus.

Load-bearing premise

The construction assumes that on the ordinary locus the modular-forms line bundle $\omega$ is isomorphic to the dual bundle $\omega^D$; this identification is used without proof in Corollary 5.4(2) and in Section 7.3, even though Drinfeld modules lack canonical auto-duality.

Editorial extensions

If this is right

  • For every $k\geq 3$, the ordinary part of the space of Drinfeld modular forms of weight $k$ is the specialization of one fixed $\Lambda$-module $M$, so the weights are controlled uniformly by a single family.
  • The degree-one module $N$ specializes to $e(T_p)H^1(X,\omega^{1-k}\otimes\omega^D(-2D))$, giving higher-degree coherent cohomology the same deformation-theoretic control that Hida theory gives to modular forms.
  • The perfect pairing $M\times N\to\Lambda$ specializes to the classical Serre duality pairing at each weight; in particular, the Serre dual of $T_p$ is, up to diamond operators, $U_p$, matching the elliptic modular curve situation.
  • The proof includes a Serre–Tate coordinates theorem for ordinary Drinfeld modules, giving local coordinates on the deformation ring and a description of the correspondence $T_p$ near the ordinary locus that is used to prove its integrability.

Reading between the lines

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

  • Beyond the paper, replacing the fragile identification $\omega\cong\omega^D$ by an explicit twist with the dual bundle should produce a parallel construction that does not rely on Drinfeld modules being self-dual.
  • Beyond the paper, the same locally finite projectors and condensed six-functor formalism should yield a higher Coleman theory (overconvergent families) for Drinfeld modular curves, since the projectors are built from locally finite operators whose limit behaviour is already controlled.
  • Beyond the paper, the profinite filtration used because $\Lambda$ is non-Noetherian may adapt to other function-field Shimura varieties, where Noetherianity of the Iwasawa algebra also fails.
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

4 major / 5 minor

Summary. The paper develops a higher Hida theory for Drinfeld modular curves, following the Boxer–Pilloni template. The authors construct a universal family ω^{κ_un} of line bundles over the ordinary locus using an Igusa tower and the Hodge–Tate–Taguchi map, define Hecke correspondences T_p, U_p, F, prove local finiteness and control theorems for their projectors, and define Λ-modules M and N whose classical specializations recover e(T_p)H^0(X,ω^k) and e(T_p)H^1(X,ω^{1−k}⊗ω^D(−2D)). They then construct a Serre-duality pairing M×N→Λ. The main theorem is summarized in the Introduction and is meant to be proved by Theorems 7.5 and 7.7.

Significance. If the announced results are correct, this is a meaningful contribution: it extends higher Hida theory to the function-field setting, handles a non-Noetherian Iwasawa algebra Λ, and accommodates the lack of canonical self-duality of Drinfeld modules by systematically using the dual bundle ω^D. The paper also contains a self-contained proof of Serre–Tate coordinates for Drinfeld modules and proposes a concrete interpolation of Serre duality. The constructions are canonical and contain no fitted parameters, and the paper correctly identifies the places where the Drinfeld situation differs from the elliptic modular case.

major comments (4)
  1. [§7.3] The displayed isomorphism D(ω^{κ_un}) ≅ ω^{κ_un}⊗_{Λ,d}Λ is missing the (−2D) twist. From the preceding line one has D(ω^{κ_un}) ≅ ω^2(−2D)⊗Hom(ω^{κ_un},Λ⊗O_{X^ord}), which with d(t)=t^2(κ_un(t))^{-1} specializes at weight k to ω^{2−k}(−2D), i.e. to (ω^{κ_un}⊗_{Λ,d}Λ)(−2D). This is exactly the combination needed for Theorem 7.7 and for the module N defined in the Introduction, but the displayed simplification omits the divisor. As written, the isomorphism contradicts the subsequent specialization and the statement of the theorem; it must be corrected to include (−2D).
  2. [Corollary 5.4(2) and §7.3] The isomorphism ω ≅ ω^D on the ordinary locus is asserted without proof in the proof of Corollary 5.4(2) ('and the isomorphism ω ∼= ωD in Xord') and again in §7.3 before the simplification D(ω^{κ_un}) ≅ ω^{κ_un}⊗_{Λ,d}Λ. This is load-bearing: it is used to identify the Serre-dual family and to justify the target H^1(X,ω^{1−k}⊗ω^D(−2D)). In view of Remark 4.5, which explicitly warns that Drinfeld modules are not canonically self-dual, this is not a standard fact and needs a proof or a precise reference. If the isomorphism fails, the module N and the pairing require a different twist.
  3. [Theorem 7.5] The local finiteness of F (and similarly of U_p) is not actually proved. The text says 'The next point is to check that F is locally finite... The case n=1 follows... For the induction step we can use the exact sequence ... Now, using exactness properties of the notion of locally finite, one can deduce the properties for n+1 from n and H^1_c(...)'. The existence of the projectors e(F) and e(U_p) depends on this local finiteness, so the induction and the quoted 'exactness properties' must be supplied, or a precise reference to [4] must be given with verification that the non-Noetherian adaptation still works.
  4. [Introduction and Theorems 7.5/7.7] The finite-type property of the Λ-modules M and N is part of the announced main theorem, but it is not proved in the body. The sentence 'Further analysis in the arguments also leads to the finite type property' is not a proof, and since Λ is non-Noetherian, finite generation is not automatic. A proof of finite type (or a precise reference) is also needed for the perfection argument of the pairing in Theorem 7.7, where the density reduction to classical weights is not by itself sufficient to conclude that the global Λ-pairing is perfect.
minor comments (5)
  1. [§2.1] There is a typo: 'whcih' should be 'which'.
  2. [§7.3] The notation D(ω^{κ_un}) is used inconsistently: in §4.2, D is the dualizing functor RHom(−,q^!A_p), which is concentrated in degree 1, whereas in §7.3 D(ω^{κ_un}) denotes Ω^1⊗Hom(ω^{κ_un},Λ⊗O) without a shift. Please clarify the convention.
  3. [References] The bibliography entry [dS16] appears out of alphabetical order and does not seem to be cited in the text; either cite it or remove it.
  4. [§6.3] The operator ⟨ϖ⟩ is used before it is defined; please state explicitly its action on the prime-to-p level structure earlier in the paper.
  5. [§3] The notation 'Ec' in 'Ec[p∞]' is not introduced; presumably it means the connected part of E[p∞]. Please define it.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the higher Hida construction is self-contained; flagged items are unproved identifications and a published self-citation, not circular reductions.

full rationale

The derivation chain constructs M and N from the universal family ωκun on the Igusa tower and the projectors e(Up) and e(F). No fitted parameters or ad hoc constants are introduced: the universal character and projectors are canonical, and the control theorems (Prop. 7.4, Thm. 7.5) are proved by descending to the reduction modulo p and comparing with the classical T_p correspondence. The paper's reliance on [15] for the degree-zero part and for the congruence Up ≡ T_p mod ϖ is a legitimate citation of a published, externally reviewed result by a co-author; it does not assume the degree-one conclusion it is used to prove. The main caveats are correctness issues rather than circularity: Cor. 5.4(2) and §7.3 invoke the isomorphism ω ≅ ωD on X^ord without proof, even though Remark 4.5 stresses that Drinfeld modules lack canonical auto-duality; and the displayed identification D(ωκun) ≅ ωκun ⊗_{Λ,d}Λ in §7.3 omits the (−2D) twist that is nonetheless present in the specialization displayed in the proof of Thm. 7.7. These would affect the validity of N and the pairing if wrong, but they are not reductions of the theorem to its own inputs. No circular step is quotable.

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

The central claim rests on a network of established external results, primarily from Hattori and Boxer–Pilloni, plus the authors' own [15] for the degree-zero input. No free parameters are fitted, and no new conjectural entities are introduced; all objects are canonically attached to the Drinfeld modular curve and its Iwasawa algebra. The most fragile inputs are the unproved isomorphism ω ≅ ω^D on the ordinary locus and the deferred local finiteness and finite type arguments.

assumptions (7)
  • domain assumption Existence of the canonical subgroups H_can^n and the Hodge–Tate–Taguchi isomorphism (H_can^n)^D ⊗ O_X^ord_n ≅ ω/p^n extending over X_n.
    Invoked in Section 6.1 to define the Igusa tower and the universal family ω^κ; the global interpolation of the line bundles ω^k rests on this. Cited to Hattori [11, Lemma 4.9 and Propositions 3.8, 4.15].
  • domain assumption Kodaira–Spencer isomorphism ω ⊗ ω^D ≅ Ω^1_{X/A_p}(2D) for Drinfeld modular curves.
    Used in Section 4.2 to formulate the Serre dual of T_p and in Section 7.3 to identify the dualizing complex of ω^{κ_un}. Cited to Gekeler [13] and Taguchi [23].
  • domain assumption The isomorphism ω ≅ ω^D over the ordinary locus X^ord.
    Stated without proof in Corollary 5.4(2) and used again in Section 7.3 to simplify D(ω^{κ_un}). This is load-bearing for the interpolated duality and is not justified by a citation in the paper.
  • standard math Six-functor formalism for solid modules over the ordinary locus, including q_! for the structure map, and its agreement with the classical definition of compactly supported cohomology.
    Used in Sections 5 and 7.2 to define H^1_c(X^ord, ω^{κ_un}) via condensed mathematics. The agreement with the classical definition is cited to Boxer–Pilloni [5, Prop. 2.3.5], resting on Clausen–Scholze [7].
  • domain assumption Serre–Tate deformation theory for Drinfeld modules: deformations of an ordinary Drinfeld module are controlled by its p-divisible group, with a power series deformation ring.
    Underlies Theorem 3.3, proved in the paper, and Proposition 3.1's local description of the Hecke correspondence. The background is attributed to Drinfeld [9] and Böckle–Breuer [2].
  • standard math Kaplansky's density theorem: polynomial functions are dense in the ultrametric continuous function algebra on 1+p.
    Used in the proof of Proposition 7.3 to establish injectivity of Λ0 into C(Z_p, A_p) and the Zariski density of the ideals P_k, which is the mechanism for reducing duality for families to classical weights. Cited to Schikhof [22, Theorem 43.3].
  • domain assumption Properties of duality for Drinfeld modules: (E^D)^D ≅ E and Cartier–Taguchi duality of canonical subgroups.
    Used in Section 7.3 to verify the Atkin–Lehner relations p_1w = p_2, p_2w = ⟨ϖ⟩p_1 and to derive D(F) = ⟨ϖ⟩^{-1}U_p. Cited to Papanikolas–Ramachandran [18] and Hattori [11].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Higher Hida theory for Drinfeld modular curves." pith.science (2026). https://pith.science/paper/N4GACJKL

@misc{pith2026250707423,
  author       = {Pith},
  title        = {Pith review of: Higher Hida theory for Drinfeld modular curves},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/N4GACJKL}},
  note         = {Machine review of arXiv:2507.07423}
}
read the original abstract

Inspired by the construction of Higher Hida theory of Boxer and Pilloni, we develop Higher Hida theory for the cohomology of the line bundles of Drinfeld modular forms on the Drinfeld modular curve. We also interpolate Serre duality.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 23 canonical work pages

  1. [15]

    Marc-Hubert Nicole and Giovanni Rosso,Familles de formes modulaires de Drinfeld pour le groupe général linéaire, Trans. Amer. Math. Soc. 374 , 4227-4266 (2021) 2, 4, 11, 13, 15, 17, 21

    work page 2021

  2. [4]

    George Boxer and Vincent Pilloni,Higher Hida and Coleman theories on the modular curve, Épijournal de Géométrie Algébrique, September 13, Volume 6 (2022) 2, 3, 11, 12, 14, 15, 18, 20, 21, 22

    work page 2022

  3. [1]

    Bourbaki,Algébre : chapitre 8, Springer-Verlag Berlin Heidelberg 2012

    N. Bourbaki,Algébre : chapitre 8, Springer-Verlag Berlin Heidelberg 2012. 18

    work page 2012

  4. [2]

    The generic monodromy of Drinfeld modular varieties in special characteristic

    G. Böckle and F. Breuer,The generic monodromy of Drinfeld modular varieties in special characteristic, arXiv 1912.09820. 7

    work page Pith review arXiv 1912

  5. [3]

    George Boxer and Frank Calegari and Toby Gee and Vincent Pilloni,Modularity theorems for abelian surfaces, arXiv, 2502.20645. 2

    arXiv

  6. [5]

    George Boxer and Vincent Pilloni,Higher Hida theory for Siegel modular forms, available at https://www.imo.universite-paris-saclay.fr/ vincent.pilloni/higherhidaSiegel.pdf (2023) 2, 3, 14

    work page 2023

  7. [6]

    Brasca and G

    R. Brasca and G. Rosso, Hida theory over some unitary Shimura varieties without ordinary locus, Amer. J. Math.143(2021), no. 3, 715–751; MR4270255 15

    work page 2021

  8. [7]

    3, 14, 20

    Dustin Clausen and Peter Scholze, Lectures on condensed mathematics, Course notes. 3, 14, 20

    work page

Show all 24 references
  1. [8]

    K.Conrad,Carlitz Extensions,availableathttps://kconrad.math.uconn.edu/blurbs/gradnumthy/carlitz.pdf. 10

  2. [9]

    V. G. Drinfeld,Elliptic modules, Mat. Sb. (N.S.) 94(136), 594–627, 656 (1974). 7, 9

    1974

  3. [10]

    (2020) 5

    Urs Hartl, Chia-Fu Yu.Arithmetic Satake compactifications and algebraic Drinfeld modular forms, arXiv:2009.13934. (2020) 5

    2020 arXiv

  4. [11]

    Shin Hattori.Duality of Drinfeld modules and℘-adic properties of Drinfeld modular forms. J. London Math. Soc. (2) 00 (2020) 1–36 2, 4, 8, 11, 12, 13, 16

    2020

  5. [12]

    Journal of Number Theory Volume 232, March 2022, Pages 75-100 4, 5, 10, 15

    Shin Hattori.On the compactification of the Drinfeld modular curve. Journal of Number Theory Volume 232, March 2022, Pages 75-100 4, 5, 10, 15

    2022

  6. [13]

    Gekeler,De Rham cohomology and the Gauss-Manin connection for Drinfeld modules, p-adic analysis, Lecture Notes in Mathematics 1454 (Springer, Berlin, 1990) 223–255

    E.-U. Gekeler,De Rham cohomology and the Gauss-Manin connection for Drinfeld modules, p-adic analysis, Lecture Notes in Mathematics 1454 (Springer, Berlin, 1990) 223–255. 10, 11 24 DANIEL BARRERA SALAZAR, HÉCTOR DEL CASTILLO, AND GIOV ANNI ROSSO

    1990

  7. [14]

    Messing,The crystals associated to Barsotti–Tate groups: with applications to abelian schemes, Lecture Notes in Mathematics, Vol

    W. Messing,The crystals associated to Barsotti–Tate groups: with applications to abelian schemes, Lecture Notes in Mathematics, Vol. 264, Springer, Berlin-New York, 1972; MR0347836 8, 9

    1972

  8. [16]

    Joseph Lipman,Foundations of Grothendieck Duality for Diagrams of Schemes, Lecture Notes in Mathematics (LNM, volume 2009). 11

    2009

  9. [17]

    L.Higher Hida theory andp-adicL- functions forGSp 4

    Loeffler, D., Pilloni, V., Skinner, C., and Zerbes, S. L.Higher Hida theory andp-adicL- functions forGSp 4. Duke Mathematical Journal, 170(18), 4033-4121. 2

  10. [18]

    M. A. Papanikolas and N. Ramachandran,A Weil-Barsotti formula for Drinfeld modules, J. Number Theory 98 (2003) 407–431. 23

    2003

  11. [19]

    140 (2013), no

    Richard Pink, Compactification of Drinfeld modular varieties and Drinfeld modular forms of arbitrary rank, Manuscripta Math. 140 (2013), no. 3-4, 333–361. 22

    2013

  12. [20]

    Annales de l’Institut Fourier, Volume 57 (2007) no

    Sreekar Shastry,The Drinfeld Modular JacobianJ 1(n)has connected fibers. Annales de l’Institut Fourier, Volume 57 (2007) no. 4, pp. 1217-1252. 5, 6, 10, 13

    2007

  13. [21]

    The Stacks Project Authors,Stacks Project,https://stacks.math.columbia.edu, 2018. 16

    2018

  14. [22]

    W. H. Schikhof,Ultrametric calculus, reprint of the 1984 original, Cambridge Studies in Advanced Mathematics, 4, Cambridge Univ. Press, Cambridge, 2006; MR2444734 20 [dS16] Ehud de Shalit,Mahler bases and elementaryp-adic analysis, J. Théor. Nombres Bordeaux 28(2016), no. 3, 5...

    2016

  15. [23]

    Taguchi,A duality for finite t-modules, J

    Y. Taguchi,A duality for finite t-modules, J. Math. Sci. Univ. Tokyo 2 (1995) 563–588 2, 7, 10, 11

    1995

  16. [24]

    N.Katz,Serre–Tate local moduli, Surfaces Algébriques, Springer, LNM 868, 1981. 7, 8 Daniel Barrera Departamento de Matemática y Ciencia de la Computación, Universidad de Santiago de Chile, Las Sophoras 173, Estación Central, Santiago Email address:daniel.barrera.s@usach.cl Héc...

    1981

Pith tools

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