Pith. sign in

REVIEW 3 major objections 4 minor 32 references

Level lowering: a Mazur principle in higher dimension

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

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

Pith's one-line read Under generic conditions, mod l monodromy at v already determines the level, so level lowering is impossible.

desk verdict Genuine higher-dimensional level-fixing theorem, but the proof's central torsion-freeness input rests on an unpublished same-author preprint. read the letter →

arxiv 1908.07073 v5 pith:LPYT3T46 submitted 2019-08-19 math.NT

Pascal Boyer This is my paper · ORCID
classification math.NT MSC 11F7011F8011F8511G1820C08
keywords ShimuravarietieslevelloweringGaloisrepresentationsmonodromynearbycyclesIhara'slemmaHeckealgebraKottwitz-Harris-Taylor
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 a higher-dimensional analogue of the classical level-lowering principle for Galois representations supplied by automorphic forms on unitary similitude groups. It shows that, for a maximal ideal of the relevant Hecke algebra whose mod $\ell$ Galois representation is irreducible and whose local constituents at a bad-reduction place $v$ are characters avoiding one short chain, the nilpotency order of the local monodromy operator modulo $\ell$ equals the same order in characteristic zero. Therefore no automorphic lift of the mod $\ell$ representation can have a lower level at $v$: the level is fixed. This matters because level-lowering congruences are the engine of the modular method for Diophantine equations, and here the obstruction is read directly from local monodromy and from the freeness of the relevant cohomology.

What carries the argument

The engine of the proof is the nearby-cycles spectral sequence on the special fiber at $v$ of a Kottwitz-Harris-Taylor Shimura variety. The nearby-cycles perverse sheaf $\Psi_v$ carries a filtration by Newton strata, and the associated spectral sequence computes the localized cohomology; proposition 3.1 asserts that under the theorem's hypotheses all $E_1$ terms are torsion free and vanish outside the middle degree, so the monodromy operator on $H^{d-1}$ is purely local. A tensor-product theorem identifies this localized cohomology, as a module for the Hecke algebra and the Galois group, with $\sigma_{\mathfrak m}\otimes\rho_{\mathfrak m}$, so nilpotency statements about the cohomological monodromy pass to $N_{\mathfrak m,v}$. KHT-freeness of $\mathfrak m$ means the localized cohomology groups are free $\mathbb Z_\ell$-modules; the character-chain hypothesis guarantees the Harris-Taylor local systems involved admit a unique stable lattice, which is what makes the comparisons of nilpotency unambiguously defined.

What would settle it

Compute the spectral sequence of proposition 3.1 for one explicit KHT-free maximal ideal $\mathfrak m$ satisfying the hypotheses and check whether every $E_1^{p,q}$ localized at $\mathfrak m$ is free and zero outside $p+q=d-1$; a single non-zero torsion class outside the middle degree would invalidate proposition 3.1 and with it the equality of maximal nilpotency. More directly, exhibit $\mathfrak m$ with the stated local characters for which two lifts $\widetilde{\mathfrak m}_1,\widetilde{\mathfrak m}_2$ have monodromy partitions at $v$ with different largest parts; theorem 1.2 predicts this cannot happen.

Watch

Extended reading notes

Core claim

The central claim is theorem 1.2. Let $\mathfrak m$ be a KHT-free maximal ideal of the anemic Hecke algebra, let $\rho_{\mathfrak m}$ be the associated mod $\ell$ Galois representation, and assume $\rho_{\mathfrak m}$ is irreducible, that the irreducible subquotients of its restriction to the decomposition group at $v$ are characters, and that the set $S_v(\mathfrak m)$ contains no chain $\chi_v,\chi_v(1),\dots,\chi_v(e_v(\ell)-1)$. Then the partition $d_{\mathfrak m,v}$ associated to the mod $\ell$ unipotent monodromy at $v$ and the partition $d_{\widetilde{\mathfrak m},v}$ associated to any characteristic-zero lift $\widetilde{\mathfrak m}\subset\mathfrak m$ have the same maximal Jordan-block size. The content of this equality is that the nilpotency order of $N_v$ at $v$ is already determined modulo $\ell$; hence the level at $v$ cannot be lowered while keeping the same mod $\ell$ Satake parameters.

Load-bearing premise

The argument stands on the claim that the localized nearby-cycles cohomology groups are torsion free and lie only in the middle degree; this is delegated to a submitted preprint about Lubin-Tate spaces and a lemma whose proof is only a two-line sketch, so if that freeness fails the level-fixing conclusion can fail too.

Editorial extensions

If this is right

  • Under the hypotheses of theorem 1.2, any characteristic-zero lift $\widetilde{\mathfrak m}$ of $\rho_{\mathfrak m}$ has, at $v$, a monodromy operator with the same maximal nilpotency as the mod $\ell$ operator; in particular no lift can have strictly smaller Jordan blocks at $v$, so the level at $v$ is fixed.
  • This gives a higher-dimensional counterpart of the classical principle that level lowering is controlled by the mod $\ell$ Galois representation: the obstruction is read off from local constituents of $\rho_{\mathfrak m}$ and from KHT-freeness.
  • When $q_v\equiv 1\pmod{\ell}$ and $\ell>d$, the level-raising property at $v$ is equivalent to the appropriate Ihara lemma, and Ihara's lemma for compact unitary groups implies it for KHT unitary groups.
  • Corollary 6.3 yields explicit automorphic congruences: from one lift with local component $\mathrm{St}_h(\chi_v)\widehat{\times}\Psi_v$ at $v$, one obtains lifts with $\mathrm{St}_h(\chi'_v)\widehat{\times}\Psi'_v$ for every character $\chi'_v$ congruent to $\chi_v$ modulo $\ell$, at the same level.

Reading between the lines

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

  • The character-chain condition functions as a genericity condition: it is precisely what forces uniqueness of the stable lattice in the Harris-Taylor local system. The paper's own remark indicates that, once the freeness of Lubin-Tate cohomology is available, the same theorem should hold with 'character' replaced by 'supercuspidal representation whose mod $\ell$ reduction remains supercuspidal'; te
  • The equivalence between Ihara's lemma and level raising in the $q_v\equiv 1$ case suggests that a failure of Ihara's lemma should be visible as torsion in the $E_1$ page of the nearby-cycles spectral sequence. Constructing such torsion classes explicitly would give a direct geometric obstruction to level raising.
  • The method is not obviously limited to KHT Shimura varieties: any setting with a Newton stratification, a local monodromy operator, and free localized cohomology should admit a similar level-fixing statement, so the paper's dichotomy (level fixed vs. level raised) could become a general principle for Shimura varieties of Hodge type.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper studies level lowering/fixing for Galois representations attached to cohomological automorphic forms on a similitude group of signature (1,d-1), in the framework of Kottwitz-Harris-Taylor Shimura varieties. The central result, Theorem 1.2, states that under hypotheses on the maximal ideal m (irreducibility of the residual Galois representation, character-type local subquotients with a no-chain condition, and KHT-freeness), the maximal nilpotency of the local monodromy operator at a place v is the same modulo l as in characteristic zero, so that the level at v cannot be lowered. The proof proceeds by analyzing the nearby-cycles spectral sequence and its localized E1 terms, showing they are torsion-free and concentrated in middle degree (Proposition 3.1), then comparing the monodromy filtration with the cohomological monodromy via a Carayol-type tensor product decomposition (Theorem 2.12). The final sections draw consequences for automorphic congruences and for a relation between Ihara's lemma and level raising.

Significance. If the proof is completed, the paper would establish a genuinely higher-dimensional analogue of Mazur's principle for level lowering, a phenomenon that has been well understood for GL2 but largely open in higher dimension. The main theorem gives a clean, falsifiable criterion under which the mod-l monodromy order is forced to match its characteristic-zero counterpart, and the applications to Ihara's lemma and level raising in Sections 6-7 are natural and interesting. The paper also makes its hypotheses explicit and acknowledges the dependence of the proof on external inputs. However, the central derivation currently rests on an unpublished preprint [9] and on a very compressed lemma (Lemma 3.2), and these are load-bearing rather than cosmetic gaps.

major comments (3)
  1. [§3, Proposition 3.1] The proof of Proposition 3.1 depends essentially on unpublished material. The splitting of the nearby-cycles sheaf and the torsion-freeness of the cohomology of the summands are attributed to [9, Proposition 3.1.3], and the proof of Proposition 3.12 delegates the key freeness assertion for the germs of the sheaf cohomology to [9], via the Lubin-Tate and Drinfeld towers. Since [9] is a submitted preprint and no proof of these freeness statements is included here, the derivation of the saturated filtration used in §5 is not self-contained. If the freeness assertions in [9] fail, the E1 terms can carry torsion and the equality of maximal nilpotency between N^coho_{v,m} mod l and N_{v,m} is not forced. The manuscript itself implicitly concedes this issue in the remark after Theorem 1.2.
  2. [§3, Lemma 3.2] Lemma 3.2 is proved in two sentences but is used to identify the p- and p+-intermediate extensions of Harris-Taylor local systems for characters, which is a key step in showing that the graded pieces of the filtration are free and that the resolution (3.4) is strict. The proof states that P is perverse for the two t-structures and that the displayed perverse cohomology vanishings hold, but it does not justify these vanishings on the boundary strata of the Newton stratification. Smoothness of the open Newton strata, as cited from [24], does not by itself establish the required adjunction properties for the intermediate extension, and no computation of the perverse cohomology sheaves on the complement is supplied. A full argument or a precise reference with proof is needed.
  3. [§4, Proposition 4.1] The proof of Proposition 4.1 is too compressed at the point where the strictness of the monodromy map is reduced to the assertion that the reduction modulo l of a certain isomorphism is non-zero and then to an explicit check in Iwahori level using [11, §3.1]. The passage from non-vanishing of the reduction to an isomorphism of the relevant graded pieces is not justified, and the current level hypotheses on m are not visibly compatible with the settings of [11] and [23]. Since Proposition 4.1 is what transfers the local monodromy statement to the cohomological monodromy operator in the proof of Theorem 1.2, this gap is load-bearing.
minor comments (4)
  1. [Abstract and Introduction] There are numerous typographical errors and infelicities, e.g. 'on can also define', 'infer informations', 'o perator', 'strati cat ion', 'galoisian'; the paper would benefit from a careful proofreading pass.
  2. [Definition 1.1] The phrase 'the cohomology groups of the Kottwitz-Harris-Taylor Shimura variety ... localized at m, are free' is ambiguous: it should specify that the groups are free as Z_l-modules and should indicate which cohomological degrees and which level structures are meant.
  3. [§1, after Definition 1.3] In the remark comparing with GL2, the statement 'our second hypothesis is q_v not congruent to -1 mod l' appears without a precise derivation or reference to a specific equation; a short explanation would improve readability.
  4. [§3, proof of Proposition 3.12] The sentence 'We then just need to verify that every map is strict' is not followed by the promised verification; the rest of the proof invokes the comparison theorem and [28] without detailing how the freeness of the Lubin-Tate and Drinfeld tower cohomology implies strictness of the maps in the resolution (3.13).

Circularity Check

1 steps flagged · score 4.0 of 10

Theorem 1.2's engine, Proposition 3.1, imports the key torsion-freeness/splitting of the nearby-cycles sheaf from the author's own submitted preprint [9]; this is load-bearing self-citation, though not a definitional reduction.

  1. self citation load bearing [Section 3, proof of Proposition 3.1; Proposition 3.12 and its remarks; proof of Theorem 1.2 in Section 5]
    "Recall, cf. [9] proposition 3.1.3, that we have the following splitting Ψ_v ≃ ⊕_{g=1}^d ⊕_{̺∈Scusp_Fl(g)} Ψ_̺ ... In particular for every ̺ ∈ Scusp_Fl(g), the cohomology groups of Ψ_̺ are torsion free. ... Over Z_l, it is proved in full generality in [9] for every irreducible supercuspidal representation π_v in place of χ_v."

    Proposition 3.1 is the step that converts the assumed KHT-freeness of the abutment E_8,m into freeness of the E_1 terms of the spectral sequence (2.11), and its proof begins by importing from [9], a same-author submitted preprint, the decomposition of Ψ_v and the crucial assertion that the cohomology of each Ψ_̺ is torsion free. That assertion is not proved in this paper, and [9] is not published, so the key freeness of the E_1 terms—and hence the saturated filtration used in Section 5 and the equality of maximal nilpotency in Theorem 1.2—rests on a self-citation that is itself unverified.

full rationale

No fitting, normalization, or self-definitional circularity is present: Theorem 1.2 is a genuine conditional statement, and its conclusion about maximal nilpotency of monodromy is not identical to any of its hypotheses. The KHT-freeness hypothesis is explicitly assumed, not derived from the conclusion, and the paper's use of [8] and [12] to define and give sufficient conditions for KHT-freeness is part of the input rather than a circular reduction. The central derivation does, however, place substantial evidentiary weight on the author's own submitted preprint [9]: Proposition 3.1, which makes the E_1 terms torsion-free and concentrated in middle degree, cites [9, prop. 3.1.3] for the splitting of the nearby-cycles perverse sheaf and for torsion-freeness of its cohomology, and Proposition 3.12 states that its Z_l resolution is proved in full generality in [9]. Some external support is supplied via [20] and [28], and the rest of the argument proceeds from Proposition 3.1 using independent results such as [29], so the main claim retains independent mathematical content. The score reflects load-bearing same-author citation for a key unverified freeness input, not a constructional circularity.

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

No fitted constants appear. The central claim rests on structural hypotheses plus several external results, mostly from the same author's corpus, including one submitted preprint.

assumptions (5)
  • domain assumption The cohomology of Lubin-Tate and Drinfeld towers is torsion free.
    Quoted from [9] in the proof of proposition 3.1; no proof is reproduced and the preprint is by the same author and submitted.
  • domain assumption Newton strata of KHT Shimura varieties are smooth or affine as used in the main spectral sequence arguments.
    Used in lemma 3.2 and in the proof of proposition 3.1, citing [24] and [8] theorem 1.8; accepted as background.
  • domain assumption KHT-freeness of the maximal ideal m (definition 1.1).
    A hypothesis of theorem 1.2; criteria from [8] and [18] are cited, not proved in this paper.
  • domain assumption Local constituents S_v(m) are characters and contain no chain chi_v(1),...,chi_v(e_v(l)-1).
    Assumption in theorem 1.2 that confines the local situation at v.
  • standard math Local Langlands correspondence and Jacquet-Langlands transfers describe local components of rho_m.
    Background from [22], [25], and [29]; treated as established.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Level lowering: a Mazur principle in higher dimension." pith.science (2026). https://pith.science/paper/LPYT3T46

@misc{pith2026190807073,
  author       = {Pith},
  title        = {Pith review of: Level lowering: a Mazur principle in higher dimension},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LPYT3T46}},
  note         = {Machine review of arXiv:1908.07073}
}
abstract

For a maximal ideal $\mathfrak m$ of some anemic Hecke algebra $\mathbb{T}^S_\xi$ of a similitude group of signature $(1,d-1)$, one can associate a Galois $\overline{\mathbb F}_l$-representation $\overline \rho_{\mathfrak m}$ as well as a Galois $\mathbb{T}_{\xi,\mathfrak m}^S$-representation $\rho_{\mathfrak m}$.For $l\geq d$, on can also define a monodromy operator $\overline N_{\mathfrak m}$ as well as $N_{\widetilde{\mathfrak m}}$ for every prime ideal $\widetilde{\mathfrak m} \subset \mathfrak m$, giving rise to partitions $\underline{\bar d_{\mathfrak m}}$ and $\underline d_{\widetilde{\mathfrak m}}$ of $d$. As with Mazur's principle for $GL_2$, analysing the difference between these partitions, we infer informations about the liftings of $\overline \rho_{\mathfrak m}$ in characteristic zero known as level lowering problem.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [9]

    P. Boyer. La cohomologie des espaces de Lubin-Tate est li bre. soumis, 2018

    work page 2018

  2. [28]

    Schneider and U

    P. Schneider and U. Stuhler. The cohomology of p-adic symmetric spaces. Invent. Math. , 105(1):47–122, 1991

    work page 1991

  3. [24]

    T. Ito. Hasse invariants for somme unitary Shimura vari eties. Math. Forsch. Oberwolfach report 28/2005 , pages 1565–1568, 2005

    work page 2005

  4. [11]

    P. Boyer. Principe de Mazur en dimension sup´ erieure. Journal de l’Ecole Polytechnique, Tome 6:203–230, 2019

    work page 2019

  5. [23]

    L. Illusie. Autour du th´ eor` eme de monodromie locale. In P´ eriodesp- adiques, number 223 in Ast´ erisque, 1994

    work page 1994

  6. [1]

    Anastassiades and J

    C. Anastassiades and J. Thorne. Raising the level of auto morphic repre- sentations of GLp2nq of unitary type. Journal of the Inst. of Math. Jussieu. , 2021

    work page 2021

  7. [2]

    P. Boyer. Mauvaise r´ eduction des vari´ et´ es de Drinfeld et correspondance de Langlands locale. Invent. Math. , 138(3):573–629, 1999

    work page 1999

  8. [3]

    P. Boyer. Monodromie du faisceau pervers des cycles ´ eva nescents de quelques vari´ et´ es de Shimura simples.Invent. Math. , 177(2):239–280, 2009

    work page 2009

Show all 32 references
  1. [4]

    P. Boyer. Cohomologie des syst` emes locaux de Harris-Ta ylor et applica- tions. Compositio, 146(2):367–403, 2010

    2010

  2. [5]

    P. Boyer. R´ eseaux d’induction des repr´ esentations el liptiques de Lubin- Tate. Journal of Algebra , 336, issue 1:28–52, 2011

    2011

  3. [6]

    P. Boyer. Filtrations de stratification de quelques vari ´ et´ es de Shimura sim- ples. Bulletin de la SMF , 142, fascicule 4:777–814, 2014

    2014

  4. [7]

    P. Boyer. Congruences automorphes et torsion dans la coh omologie d’un syst` eme local d’Harris-Taylor. Annales de l’Institut Fourier , 65 no. 4:1669– 1710, 2015

    2015

  5. [8]

    P. Boyer. Sur la torsion dans la cohomologie des vari´ et´ es de Shimura de Kottwitz-Harris-Taylor. Journal of the Institute of Mathematics of Jussieu , pages 1–19, 2017

    2017

  6. [10]

    P. Boyer. Torsion classes in the cohomology of KHT Shimu ra’s varieties. Math. Research Letters, 25(5):1547–1566, 2018

    2018

  7. [12]

    P. Boyer. Ihara’s lemma and level raising in higher dime nsion. Journal of the Institute of Mathematics of Jussieu , pages 1–33, 2020

    2020

  8. [13]

    On the generic part of th e cohomology of compact unitary Shimura varieties

    Ana Caraiani and Peter Scholze. On the generic part of th e cohomology of compact unitary Shimura varieties. Ann. of Math. (2) , 186(3):649–766, 2017

    2017

  9. [14]

    H. Carayol. Sur la mauvaise r´ eduction des courbes de Sh imura. Compo- sition Mathematica, 59:151–236, 1986

    1986

  10. [15]

    H. Carayol. Formes modulaires et repr´ esentations gal oisiennes ` a valeurs dans un anneau local complet. In p-adic monodromy and the Birch and Swinnerton-Dyer conjecture (Boston, MA, 1991) , 165 of Contemp. Math.:213?237, 1994

    1991

  11. [16]

    Au tomorphy for some l-adic lifts of automorphic mod l Galois representations

    Laurent Clozel, Michael Harris, and Richard Taylor. Au tomorphy for some l-adic lifts of automorphic mod l Galois representations. Publ. Math. Inst. Hautes ´Etudes Sci. , (108):1–181, 2008. With Appendix A, summarizing unpublished work of Russ Mann, and Appendix B by Marie-Fra...

    2008

  12. [17]

    J.-F. Dat. Espaces sym´ etriques de Drinfeld et corresp ondance de Lang- lands locale. Ann. Sci. ´Ecole Norm. Sup. (4) , 39(1):1–74, 2006

    2006

  13. [18]

    Emerton and T

    M. Emerton and T. Gee. p-adic Hodge theoretic properties of ´ etale co- homology with mod p coefficients, and the cohomology of Shimura varieties. Algebra and Number Theory , to appear

  14. [19]

    L. Fargues. Filtration de monodromie et cycles ´ evanes cents formels. In- vent. Math. , 177(2), 2009

    2009

  15. [20]

    Fargues, A

    L. Fargues, A. Genestier, and V. Lafforgue. The isomorphism between Lubin-Tate and Drinfeld towers. (L’isomorphisme entre les to urs de Lubin- Tate et de Drinfeld.) . Progress in Mathematics 262. Basel: Birkh¨ auser. xii, 406 p., 2008

    2008

  16. [21]

    Fargues and E

    L. Fargues and E. Mantovan. Vari´ et´ es de Shimura, espaces de Rapoport- Zink et correspondances de Langlands locales . Ast´ erisque 291. Paris: Soci´ et´ e Math´ ematique de France. xii, 331 p., 2004

    2004

  17. [22]

    Harris, R

    M. Harris, R. Taylor. The geometry and cohomology of some simple Shimura varieties , volume 151 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2001

    2001

  18. [25]

    Spectral decomposition and Eisenstein series

    Colette Moeglin and Jean-Loup Waldspurger. Spectral decomposition and Eisenstein series. (D´ ecomposition spectrale et s´ eries d’Eisenstein. Une para- phrase de l’´ ecriture.). Progress in Mathematics (Boston, Mass.). 113. Basel: Birkh¨ auser Verlag. xxix, 341 p., 1994

    1994

  19. [26]

    Rapoport and T

    M. Rapoport and T. Zink. Period spaces for p-divisible groups. Number 141 in Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 1996

    1996

  20. [27]

    Kenneth A. Ribet. Raising the levels of modular represe ntations. S´ eminaire de Th´ eorie des Nombres, Paris, 81:259–271, 1987–88

    1987

  21. [29]

    P. Scholze. On the p-adic cohomology of the Lubin-Tate t ower. Ann. Sci. ´Ec. Norm. Sup´ er., (4) 51:no. 4, 811–863., 2018

    2018

  22. [30]

    Sorensen

    C. Sorensen. A generalization of level-raising congru ences for algebraic modular forms. Ann. Inst. Fourier , 56:1735–1766, 2006

    2006

  23. [31]

    Vign´ eras

    M.-F. Vign´ eras. Repr´ esentationsl-modulaires d’un groupe r´ eductif p- adique avec l ‰ p, volume 137 of Progress in Mathematics. Birkh¨ auser Boston Inc., Boston, MA, 1996. GALOIS Fl-MONODROMY, LEVEL FIXING AND IHARA’S LEMMA 31

    1996

  24. [32]

    A. V. Zelevinsky. Induced representations of reductiv e p-adic groups. II. On irreducible representations of GL pnq. Ann. Sci. ´Ecole Norm. Sup. (4) , 13(2):165–210, 1980. Boyer Pascal ‚ E-mail : boyer@math.univ-paris13.fr, Universit´ e Paris 13, Sorbonne Paris Nord, LAGA, CNR...

    1980

Pith tools

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