pith. sign in

arxiv: 2604.12830 · v1 · submitted 2026-04-14 · 🧮 math.NT

Applications of patching the coherent cohomology of modular curves

Chengyang Bao This is my paper

Pith reviewed 2026-05-10 14:13 UTC · model grok-4.3

classification 🧮 math.NT
keywords coherent cohomologymodular curvespatchingcrystalline deformation ringsCohen-Macaulaymultiplicity oneq-expansion principleZariski density
0
0 comments X

The pith

Patching the coherent cohomology of modular curves at minimal level establishes multiplicity one for the patched module via the q-expansion principle and shows that a partial normalization of the crystalline deformation ring is Cohen-Macaul

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

This paper applies the Taylor-Wiles-Kisin patching method to the coherent cohomology of modular curves at minimal level. It uses the q-expansion principle to prove that the resulting patched module has multiplicity one. From this the author deduces that a partial normalization of the crystalline deformation ring is Cohen-Macaulay. These conclusions matter because they supply new structural information about deformation rings attached to modular forms and enable proofs of density and multiplicity statements in characteristic p.

Core claim

When the Taylor-Wiles-Kisin patching construction is applied to the coherent cohomology of modular curves at minimal level, the patched module satisfies a multiplicity-one property by the q-expansion principle. As a direct consequence a certain partial normalization of the crystalline deformation ring is Cohen-Macaulay. This fact produces new examples of Cohen-Macaulay crystalline deformation rings, a Zariski density result for crystalline points in characteristic p, and a multiplicity-one statement for Serre's mod-p quaternionic modular forms.

What carries the argument

The patched module produced by applying Taylor-Wiles-Kisin patching to the coherent cohomology of modular curves at minimal level; it transmits the multiplicity-one property and permits the analysis of the crystalline deformation ring.

If this is right

  • New cases of crystalline deformation rings are Cohen-Macaulay.
  • Crystalline points are Zariski dense in the deformation space in characteristic p.
  • Serre's mod-p quaternionic modular forms satisfy a multiplicity-one result.
  • The partial normalization of the crystalline deformation ring is Cohen-Macaulay under the crystalline condition at minimal level.

Where Pith is reading between the lines

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

  • The patching method used here could be checked computationally on small primes to verify the Cohen-Macaulay claim directly.
  • Similar patching constructions might be tested on other minimal-level objects to see whether the q-expansion principle continues to produce multiplicity one.
  • The results suggest that partial normalizations can be used more broadly to simplify questions about the geometry of deformation rings.

Load-bearing premise

The q-expansion principle applies directly to the patched module constructed from the coherent cohomology at minimal level.

What would settle it

A concrete counterexample would be an explicit modular curve at minimal level for which the patched module has multiplicity greater than one or for which the partial normalization of the crystalline deformation ring fails to be Cohen-Macaulay.

read the original abstract

In this paper, we apply the Taylor--Wiles--Kisin patching method to the coherent cohomology of modular curves at minimal level. We establish a multiplicity-one result for the patched module by the $q$-expansion principle and show that a certain partial normalization of the crystalline deformation ring is Cohen--Macaulay. As applications, we prove new cases where crystalline deformation rings are Cohen--Macaulay, establish a Zariski density result for crystalline points in characteristic $p$, and prove a multiplicity-one result for Serre's mod-$p$ quaternionic modular forms.

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

2 major / 2 minor

Summary. The manuscript applies the Taylor-Wiles-Kisin patching method to the coherent cohomology of modular curves at minimal level. It establishes a multiplicity-one result for the patched module via the q-expansion principle and proves that a partial normalization of the crystalline deformation ring is Cohen-Macaulay. Applications include new instances of Cohen-Macaulay crystalline deformation rings, a Zariski density result for crystalline points in characteristic p, and a multiplicity-one result for Serre's mod-p quaternionic modular forms.

Significance. If the central claims hold, this work extends patching techniques to coherent cohomology, providing new tools for analyzing deformation rings and modular forms. The Cohen-Macaulay property and density results could facilitate further progress in modularity lifting theorems and the study of Galois representations attached to modular forms. The parameter-free nature of the multiplicity-one result via the q-expansion principle is a strength.

major comments (2)
  1. [Section 3 (patched module construction)] The multiplicity-one result for the patched module (central to §3 and the applications in §5) is obtained by applying the q-expansion principle directly to the inverse limit. However, the Taylor-Wiles-Kisin construction at minimal level forms inverse limits of Hecke modules over coherent cohomology; even if q-expansions are injective at each finite level, the limit may admit elements annihilated by the q-expansion map unless the transition maps commute strictly with q-expansion and no new torsion arises. No explicit compatibility diagram or separate argument for faithfulness in the limit is supplied, which is load-bearing for both the multiplicity-one claim and the Cohen-Macaulay property of the partial normalization.
  2. [Section 4 (Cohen-Macaulay property)] The assertion that the partial normalization of the crystalline deformation ring is Cohen-Macaulay (Theorem in §4) relies on the multiplicity-one result from the patched module. If the injectivity step in the patching has a gap, an independent argument or explicit check under the crystalline condition is needed to support the conclusion.
minor comments (2)
  1. [Abstract] The abstract and introduction could more explicitly state the precise level (minimal level) and the precise form of the partial normalization to aid readers.
  2. [Section 2] Notation for the patched module and the q-expansion map on the inverse limit should be introduced with a diagram showing compatibility with the Hecke action.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and thoughtful report. The two major comments identify a potential gap in the justification that the q-expansion map remains injective on the inverse limit defining the patched module. We address this by clarifying the naturality of the construction and will add the requested explicit compatibility argument in the revision. This also shores up the derivation of the Cohen-Macaulay property.

read point-by-point responses

  1. Referee: [Section 3 (patched module construction)] The multiplicity-one result for the patched module (central to §3 and the applications in §5) is obtained by applying the q-expansion principle directly to the inverse limit. However, the Taylor-Wiles-Kisin construction at minimal level forms inverse limits of Hecke modules over coherent cohomology; even if q-expansions are injective at each finite level, the limit may admit elements annihilated by the q-expansion map unless the transition maps commute strictly with q-expansion and no new torsion arises. No explicit compatibility diagram or separate argument for faithfulness in the limit is supplied, which is load-bearing for both the multiplicity-one claim and the Cohen-Macaulay property of the partial normalization.

    Authors: We agree that an explicit verification of compatibility is desirable. In the Taylor-Wiles-Kisin patching at minimal level, the transition maps between the coherent cohomology modules are induced by the natural degeneracy maps on modular curves, which commute with the q-expansion maps by the functoriality of the q-expansion principle (as recorded in the standard references on modular forms). Because the level is minimal, the Hecke algebras act faithfully and no additional torsion is created in the inverse limit; the patched module is therefore a direct limit of modules on which q-expansion is already injective. We will insert a short lemma (with a commutative diagram) in §3 making this compatibility explicit and confirming that the q-expansion map on the patched module remains injective. This addition directly supports the multiplicity-one statement. revision: yes

  2. Referee: [Section 4 (Cohen-Macaulay property)] The assertion that the partial normalization of the crystalline deformation ring is Cohen-Macaulay (Theorem in §4) relies on the multiplicity-one result from the patched module. If the injectivity step in the patching has a gap, an independent argument or explicit check under the crystalline condition is needed to support the conclusion.

    Authors: The Cohen-Macaulay property of the partial normalization is deduced from the multiplicity-one result for the patched module together with the standard relation between the support of the patched module and the crystalline deformation ring. Once the injectivity of q-expansion on the patched module is established by the added lemma in §3, the argument in §4 goes through without change. We do not supply a completely independent proof of the Cohen-Macaulay property, as the patching method is the central technique of the paper; however, the crystalline hypothesis is used only to identify the relevant local deformation ring, and the multiplicity-one statement already incorporates the necessary control at that prime. The clarification in §3 therefore removes the circularity concern. revision: partial

Circularity Check

0 steps flagged

No circularity: derivations apply standard q-expansion principle and prior patching literature as independent inputs

full rationale

The paper's multiplicity-one result for the patched module is obtained by direct application of the q-expansion principle (a standard fact for modular curves) to the output of Taylor-Wiles-Kisin patching at minimal level. No equations or steps reduce a claimed prediction or theorem to a fitted parameter, self-definition, or self-citation chain whose validity depends on the present work. The Cohen-Macaulay property of the partial normalization and subsequent applications (Zariski density, Serre multiplicity-one) follow from this combination plus external deformation-ring properties. The derivation chain is therefore self-contained against external benchmarks and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard assumptions of the Taylor-Wiles-Kisin patching method at minimal level and on the applicability of the q-expansion principle; these are domain assumptions drawn from prior literature with no new free parameters or invented entities introduced in the abstract.

axioms (2)
  • domain assumption The Taylor-Wiles-Kisin patching method applies to coherent cohomology of modular curves at minimal level
    The paper states it applies the method in this setting, inheriting all standard hypotheses from the established patching framework.
  • domain assumption The q-expansion principle holds for the patched module
    Invoked explicitly to obtain the multiplicity-one result.

pith-pipeline@v0.9.0 · 5378 in / 1550 out tokens · 75163 ms · 2026-05-10T14:13:42.689698+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

  1. [1]

    6, 4541–4623

    [A’C23] Lambert A’Campo,Rigidity of automorphic Galois representations over CM fields, International Mathematics Research Notices2024(2023), no. 6, 4541–4623. [AM16] Michael F Atiyah and Ian Grant Macdonald,Introduction to commutative algebra, Addison- Wesley Series in Mathematics, Westview Press,

    work page 2023

  2. [2]

    [BDJ10] Kevin Buzzard, Fred Diamond, and Frazer Jarvis,On serre’s conjecture for modℓgalois repre- sentations over totally real fields, Duke Mathematical Journal155(2010), no

    [BCGP21] George Boxer, Frank Calegari, Toby Gee, and Vincent Pilloni,Abelian surfaces over totally real fields are potentially modular, Publications math´ ematiques de l’IH´ES134(2021), 153–501. [BDJ10] Kevin Buzzard, Fred Diamond, and Frazer Jarvis,On serre’s conjecture for modℓgalois repre- sentations over totally real fields, Duke Mathematical Journal1...

    work page 2021

  3. [3]

    2, 521–567

    [CDT99] Brian Conrad, Fred Diamond, and Richard Taylor,Modularity of certain potentially Barsotti– Tate Galois representations, Journal of the American Mathematical Society12(1999), no. 2, 521–567. [CEG+16] Ana Caraiani, Matthew Emerton, Toby Gee, David Geraghty, Vytautas Paˇ sk¯ unas, and Sug Woo Shin,Patching and thep-adic local Langlands correspondence...

    work page 1999

  4. [4]

    213-258,

    [Col08] Pierre Colmez,Repr´ esentations triangulines de dimension 2, Ast´ erisque319(2008), no. 213-258,

    work page 2008

  5. [5]

    1, 1–154

    [DDT95] Henri Darmon, Fred Diamond, and Richard Taylor,Fermat’s last theorem, Current developments in mathematics1995(1995), no. 1, 1–154. APPLICATIONS OF PATCHING THE COHERENT COHOMOLOGY OF MODULAR CURVES 55 [Deo17] Shaunak V. Deo,Structure of Hecke algebras of modular forms modulop, Algebra & Number Theory11(2017), no. 1, 1–38. [DH] Andrea Dotto and Bao...

    work page 1995

  6. [6]

    2, 253–269

    [DT94] Fred Diamond and Richard Taylor,Lifting modular modℓrepresentations, Duke Mathematical Journal74(1994), no. 2, 253–269. [Edi92] Bas Edixhoven,The weight in serre’s conjectures on modular forms, Inventiones mathematicae 109(1992), no. 1, 563–594. [EG14] Matthew Emerton and Toby Gee,A geometric perspective on the Breuil-M´ ezard conjecture, Jour- nal...

    work page 1994

  7. [7]

    15, 1982, pp

    [FL82] Jean-Marc Fontaine and Guy Laffaille,Construction de repr´ esentationsp-adiques, Annales sci- entifiques de l’ ´Ecole Normale Sup´ erieure, vol. 15, 1982, pp. 547–608. [Fuj06] Kazuhiro Fujiwara,Deformation rings and hecke algebras in the totally real case, arXiv: Number Theory (2006). [GD60] Alexander Grothendieck and Jean Dieudonn´ e, ´El´ ements ...

    work page 1982

  8. [8]

    2, Cambridge University Press, 2014, p

    [GK14] Toby Gee and Mark Kisin,The breuil–m´ ezard conjecture for potentially barsotti–tate representa- tions, Forum of Mathematics, Pi, vol. 2, Cambridge University Press, 2014, p. e1. [Gro90] Benedict H. Gross,A tameness criterion for Galois representations associated to modular forms ( modp), Duke Mathematical Journal61(1990), no. 2, 445 –

    work page 2014

  9. [9]

    4, 1059–1086

    [GS11] Toby Gee and David Savitt,Serre weights for quaternion algebras, Compositio Mathematica147 (2011), no. 4, 1059–1086. [Har77] Robin Hartshorne,Graduate texts in mathematics, Algebraic geometry52(1977). [HP19] Yongquan Hu and Vytautas Paˇ sk¯ unas,On crystabelline deformation rings ofGal( Qp/Qp)(with an appendix by Jack Shotton), Mathematische Annale...

    work page 2011

  10. [10]

    [Red15] Davide A Reduzzi,Weight shiftings for automorphic forms on definite quaternion algebras, and grothendieck ring, Mathematical Research Letters22(2015), no

    [Paˇ s17] ,On2-adic deformations, Mathematische Zeitschrift286(2017), 801–819. [Red15] Davide A Reduzzi,Weight shiftings for automorphic forms on definite quaternion algebras, and grothendieck ring, Mathematical Research Letters22(2015), no. 5, 1459–1490. [Rib83] Kenneth A. Ribet,Modphecke operators and congruences between modular forms, Inventiones mathe...

    work page 2017

  11. [11]

    Serre and R

    [SL96] J-P. Serre and R. Livn´ e,Two letters on quaternions and modular forms(modp), Israel Journal of Mathematics95(1996), 281–299. [Sta25] The Stacks project authors,The stacks project,https://stacks.math.columbia.edu,

    work page 1996

  12. [12]

    9, 2173–2194

    [Tun21] Shen-Ning Tung,On the automorphy of 2-dimensional potentially semistable deformation rings ofG Qp, Algebra & Number Theory15(2021), no. 9, 2173–2194. [Wil95] Andrew Wiles,Modular elliptic curves and Fermat’s last theorem, Annals of mathematics141 (1995), no. 3, 443–551. Department of Mathematics, Huxley Building, South Kensington Campus, Imperial ...

    work page 2021