Pith. sign in

REVIEW 4 major objections 4 minor 1 cited by

On the modularity of 2-adic potentially semi-stable deformation rings

T0 review · 4 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 The patched module is supported on every component of the 2-adic potentially semi-stable deformation ring, proving Breuil-Mézard for Q2 in the final open case and strengthening Fontaine-Mazur.

desk verdict Serious 2-adic Breuil-Mezard paper with a plausible global argument, but the load-bearing local computation is explicitly left to the reader; it deserves refereeing, not desk rejection. read the letter →

arxiv 1908.06174 v3 pith:3MN7D3MX submitted 2019-08-16 math.NT

Shen-Ning Tung This is my paper · ORCID
classification math.NT MSC 11F8011F3311S37
keywords p-adiclocalLanglandsBreuil-MézardconjecturedeformationringsmodularityliftingTaylor-WilespatchingGL_2(Q_2)ColmezMontrealfunctorpotentiallysemi-stablerepresentations
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

The paper proves a modularity statement for $p=2$: for a totally real field $F$ in which $2$ splits completely, the patched module attached to algebraic quaternionic forms is supported on every irreducible component of the potentially semi-stable deformation ring (Theorem 8.0.1). The route goes through the $p$-adic local Langlands correspondence for $\mathrm{GL}_2(\mathbb{Q}_2)$ and an ordinary $R=\mathbb{T}$ theorem, avoiding any restriction on the residual representation at $2$. If correct, this gives a new proof of the Breuil-Mézard conjecture for two-dimensional Galois representations of $\mathbb{Q}_2$, including the previously open case where the residual representation is a twist of a nontrivial extension of the trivial character by itself. It also removes the local restriction in the earlier proof of the Fontaine-Mazur conjecture, so global potentially semi-stable lifts with distinct Hodge-Tate weights are automorphic under the stated residual assumptions. The reader should care because the $p=2$ case has been the obstacle: the exceptional block $\{1,\mathrm{Sp}\}$ of $\mathrm{GL}_2(\mathbb{Q}_2)$ requires new extension computations that the paper carries out.

What carries the argument

The argument is carried by three pieces. First, the patched module $M_\infty$: a module over a completed local ring $R_\infty$, built from completed cohomology of quaternionic forms by Taylor-Wiles-Kisin patching, carrying a commuting action of $\mathrm{GL}_2(\mathbb{Q}_2)$. Second, Colmez's Montreal functor $\check{V}$, an exact contravariant functor from certain $\mathrm{GL}_2(\mathbb{Q}_2)$-representations to $\mathrm{Gal}(\overline{\mathbb{Q}}_2/\mathbb{Q}_2)$-modules; the key new input is that $\check{V}(\widetilde{M}_\infty)$ is finitely generated over $\widetilde{R}_\infty$ (Proposition 6.3.2), so Nakayama's lemma makes specializations nonzero. Third, the exceptional-block computations for $\{1,\mathrm{Sp}\}$: the author computes extension groups such as $\mathrm{Ext}^1_{\mathcal{D}(k)}(T_1,T_1)\simeq k^3$ and proves the injectivity statement of Lemma 1.2.7, which are exactly what is needed to make the finiteness and equivalence arguments work when $p=2$ and the residual representation has scalar semi-simplification. The ordinary components are then covered by an ordinary $R=\mathbb{T}$ theorem, and the irreducible/non-ordinary components by the $\check{V}$-based argument, so together the support theorem follows.

What would settle it

Check the claimed extension table for the exceptional block $\{1,\mathrm{Sp}\}$: compute $\dim_k \mathrm{Ext}^1_{G/Z}(\mathrm{Sp},1)$, $\dim_k \mathrm{Ext}^1_{G/Z}(1,\mathrm{Sp})$ and $\dim_k\mathrm{Ext}^1_{\mathcal{D}(k)}(T_1,T_1)$ directly from the Iwahori-Hecke algebra presentation $T^2=1$, $(S+1)S=0$, and test whether they are $1$, $3$ and $3$ respectively. A single mismatch would invalidate Proposition 1.3.2 and the finite generation of $\check{V}(\widetilde{M}_\infty)$ in Proposition 6.3.2, breaking Theorem 8.0.1. Alternatively, run the patched-module specialization at a closed point of an irreducible component of $R_\infty(\sigma)[1/p]$: the theorem predicts $M_\infty(\sigma^\circ)\otimes_{R_\infty,y}E_y\neq 0$, so a zero specialization would be a direct counterexample.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 8.0.1: with $p=2$ and $F$ a totally real field in which $p$ splits completely, the support of $M_\infty(\sigma^\circ)\otimes_{\mathbb{Z}_p}\mathbb{Q}_p$ meets every irreducible component of $R_\infty(\sigma)[1/p]$ for every locally algebraic type $\sigma$. Here $R_\infty(\sigma)$ is the patched, fixed-type potentially semi-stable deformation ring and $M_\infty(\sigma^\circ)$ the corresponding patched module of algebraic quaternionic modular forms. The author proves this by combining a finite-generation statement for $\check{V}(\widetilde{M}_\infty)$, the image of the patched module under Colmez's Montreal functor, with an ordinary $R=\mathbb{T}$ theorem for the reducible locus. From the support theorem, Corollary 8.0.2 derives the Breuil-Mézard conjecture, in both multiplicity and cycle form, for all continuous two-dimensional representations of $\mathrm{Gal}(\overline{\mathbb{Q}}_2/\mathbb{Q}_2)$, including the previously open case in which the residual representation is a twist of an extension of the trivial character by itself. Theorem 8.0.3 then removes the local restriction in the earlier proof of the Fontaine-Mazur conjecture: global potentially semi-stable representations with distinct Hodge-Tate weights are modular whenever the residual representation is modular, totally odd and has non-solvable image.

Load-bearing premise

The paper's load-bearing premise is that the new local extension computations in the exceptional block $\{1,\mathrm{Sp}\}$ of $\mathrm{GL}_2(\mathbb{Q}_2)$ are correct—especially Proposition 1.2.2, which is stated as an easy variant of earlier results with the proof left to the reader, and Lemma 1.2.7, which depends on two quoted local facts; if either fails, the finite generation of $\check{V}(\widetilde{M}_\infty)$ and hence the support theorem collapse through Lemma 1.3.1 and Proposition 6.3.2.

Editorial extensions

If this is right

  • The Breuil-Mézard conjecture, in both multiplicity and cycle forms, holds for every continuous two-dimensional representation of $\mathrm{Gal}(\overline{\mathbb{Q}}_2/\mathbb{Q}_2)$; the previously open case of a twist of an extension of $1$ by $1$ is included.
  • A modularity lifting theorem holds for $p=2$ over totally real fields in which $2$ splits completely, for potentially semi-stable lifts with distinct Hodge-Tate weights, assuming only that the residual representation is modular, totally odd, and has non-solvable image.
  • The local restriction in the earlier proof of the Fontaine-Mazur conjecture is removed: the earlier theorem required the residual representation at $2$ not to be a twist of an extension of a character by itself, and this paper drops that condition.
  • Every irreducible component of the potentially semi-stable deformation ring is automorphic, so the patched eigenvariety contains points of every such component, giving geometric control beyond the numerical Breuil-Mézard equality.
  • The author notes the same patching method applies to $p>2$ without change, so the support theorem is not special to $p=2$ except for the block computations carried out here.

Reading between the lines

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

  • The decisive local input is the computation of extensions in the block $\{1,\mathrm{Sp}\}$: the $3$-dimensionality of $\mathrm{Ext}^1_{\mathcal{D}(k)}(T_1,T_1)$ and the injectivity statement for $\check{V}$ are what make finite generation of $\check{V}(\widetilde{M}_\infty)$ possible. Similar block calculations for other groups or for ramified extensions of $\mathbb{Q}_2$ would likely carry the su
  • Because the non-ordinary locus is handled entirely by $\check{V}$ and the ordinary locus by an ordinary $R=\mathbb{T}$ theorem, the paper suggests a template: separate components by whether the associated local Galois representation is reducible, then use local-global compatibility in the irreducible case and Hida-theoretic methods in the reducible case. A testable extension is to verify the same
  • The density statement for $n_y=1$ implies that, away from a thin set, the $p$-adic local Langlands correspondence attaches a single representation to each point; this could be used to compute the cycles in the geometric Breuil-Mézard conjecture directly rather than through multiplicities.
  • The faithfulness result the paper imports is essential for passing from finite generation of $\check{V}(M_\infty)$ to nonzero specializations; a natural stress test is to check whether the support theorem survives for residual representations where that faithfulness may fail.
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

4 major / 4 minor

Summary. This paper proves, for p=2 and a totally real field F in which 2 splits completely, a support theorem for the patched modules M_infinity(sigma^o): the support of M_infinity(sigma^o) tensor_{Z_p} Q_p meets every irreducible component of the potentially semi-stable deformation ring R_infinity(sigma)[1/p] (Theorem 8.0.1). From this support theorem the author derives the Breuil-Mezard conjecture for two-dimensional representations of G_Q2, including the previously open case where the residual representation is a twist of an extension of the trivial character by itself (Corollary 8.0.2), and removes a local restriction in Paskunas' proof of the Fontaine-Mazur conjecture (Theorem 8.0.3). The strategy follows the author's earlier p>2 work: it combines the p-adic local Langlands correspondence via Colmez's Montreal functor with Taylor-Wiles patching, proves finite generation of V(M_infinity) using new representation-theoretic computations in the exceptional block {1,Sp} of GL_2(Q_2), and treats the ordinary locus by an ordinary R=T theorem.

Significance. If the exceptional-block computations are correct, this is a substantial contribution: it completes the Breuil-Mezard conjecture for GL_2(Q_2) in the scalar-reducible case, gives a new modularity lifting theorem for 2-adic potentially semi-stable representations, and improves Paskunas' Fontaine-Mazur result. The support theorem for patched modules is itself a useful structural result. The paper does not rely on circular reasoning: the main theorems are derived from external inputs such as p-adic local Langlands, patching machinery, and ordinary R=T theorems, and there is no data fitting or parameter normalization forcing the conclusion. However, the central argument rests on a chain of assertions that certain p>2 results work 'verbatim' in the p=2 exceptional block, and several load-bearing proofs are either omitted or deferred to preprints. The significance is therefore conditional on the correctness of those local computations, and the current manuscript does not yet provide enough detail for the reader to verify them.

major comments (4)
  1. [Section 1.2.1, Proposition 1.2.2] This proposition is stated with the proof left to the reader and is described as an easy variant of [Pas13, Lemmas 10.26-10.29]. Those results are for settings outside the p=2 scalar-semisimplification block, which is exactly the block that the present paper must treat. Proposition 1.2.2 is used essentially in Lemma 1.2.6, Lemma 1.2.7, Lemma 1.3.1, Proposition 1.3.2, and ultimately in the finite-generation statement Proposition 6.3.2. Since the whole point of Sections 1.2-1.3 is to handle the exceptional block {1,Sp} of GL_2(Q_2), the proof cannot be omitted. I request a complete proof of parts (1)-(3) in the p=2 case, or a precise statement of the modifications needed in the cited arguments.
  2. [Section 1.2.3, Lemma 1.2.7] Lemma 1.2.7 asserts that [Col10, Proposition VII.4.12] holds when p=2 and that the proof of [Pas13, Lemma 10.35] works verbatim after replacing Lemma 10.34 by Lemma 1.2.6. No argument is supplied for the p=2 validity of [Col10, Proposition VII.4.12], and the manuscript does not identify any reason why the assumptions of that proposition remain satisfied. This injectivity statement is the unique input used to prove the Ext^1 assertion in Lemma 1.3.1 and the equivalence in Proposition 1.3.2. The proof should be written out rather than left as a 'works verbatim' assertion, because the exceptional block is precisely the case not covered by the cited results.
  3. [Section 1.3, Propositions 1.3.2 and 1.3.3] Proposition 1.3.2 states that the proof of [Pas13, Proposition 10.36] works verbatim with Lemma 10.35 replaced by Lemma 1.2.7, and Proposition 1.3.3 says that the proof of [Tun18, Proposition 2.8] works with Lemma 2.6 replaced by Lemma 1.3.1. Since [Tun18] is the author's own preprint and Proposition 1.3.3 is what converts the local equivalence into the finite generation of V(M_infinity) in Proposition 6.3.2, the manuscript should reproduce the relevant arguments or at least give precise lemma-by-lemma references with proofs of the modifications. As written, a reader cannot verify that the chain survives the p=2 exceptional case.
  4. [Section 6.3, Proposition 6.3.2 and Theorem 6.3.7] Proposition 6.3.2 says: 'Using Proposition 1.3.3, the proof of [Tun18, Proposition 3.4] works without any change.' This is the exact step where finite generation of V(M_infinity) is established, and it is load-bearing for Corollary 6.3.6 and for the non-ordinary support statement in Theorem 6.3.7. Given the dependence on the preceding unverified local statements, the proof of finite generation should be included in detail. If any part of Proposition 1.2.2 or Lemma 1.2.7 fails, then Proposition 6.3.2 collapses and with it the non-ordinary part of Theorem 8.0.1.
minor comments (4)
  1. [Theorem 8.0.1] The statement of Theorem 8.0.1 does not list the standing hypotheses under which M_infinity and R_infinity are constructed (for example, modularity of the residual representation, non-solvable image, and the conditions on the globalization). As written, the theorem appears to claim an unconditional statement about all such patched modules. Please state the full hypotheses in the theorem.
  2. [Section 1.2.3, Lemma 1.2.3] In the construction of the nontrivial extension of I(Ind_B^G 1) by I(1), it would help to write the module as a quotient of a free module and explicitly verify the Hecke relations T^2=1 and (S+1)S=0. The current display is correct-looking but the verification is left implicit.
  3. [Throughout] There are several typographical errors that should be corrected before publication, for example 'reduecd' (Section 3.2.7), 'sujective' (Proposition 4.6.5), and 'homomoprhism' (Sections 4.6 and 7.2).
  4. [References] Several essential dependencies are arXiv preprints or unpublished notes, including [EP18], [Pyv18], [Tun18], [Pan19], and [Sas17]. The paper would benefit from a note on the publication status or version dates of these works, and from page/lemma-level references where 'works verbatim' is claimed.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular reduction found; the main support theorem is derived from external p-adic Langlands, patching, and ordinary R=T results, with proof-template self-citations to [Tun18] that do not assume the p=2 conclusion.

full rationale

The paper makes no fitted-input claim: no parameter is adjusted to data and later renamed as a prediction. The central support theorem (Theorem 8.0.1) is derived from patched modules whose local-global compatibility comes from Colmez's Montreal functor, the faithfulness result [EP18], external local-global compatibility results ([BH15], [Din16]), and an ordinary R=T theorem (Theorem 7.3.1, a variant of [Tho12, All14b]). The reduction of the non-ordinary locus to finiteness of the Colmez functor applied to the patched module (Proposition 6.3.2, Corollary 6.3.6, Theorem 6.3.7) is an adaptation of the author's earlier [Tun18] proofs for p>2, with the p=2 exceptional block handled by Lemmas 1.2.6 and 1.2.7; this is a proof-template self-citation, not an assumption of the p=2 conclusion, and [Tun18] itself did not prove the target theorem in the exceptional scalar-semisimplification case. Lemma 5.3.2 and Theorem 5.3.3 convert the support statement into the Breuil-Mezard multiplicity/cycle equalities through the known Kisin-EG14 equivalence; this is a standard structural equivalence, not a circular definition. The only flagged weakness is a correctness risk rather than circularity: Proposition 1.2.2 is introduced as 'an easy variant of [Pas13, Lemma 10.26, Lemma 10.27, Lemma 10.28, Lemma 10.29]. We leave the proof to the reader,' and Lemma 1.2.7 asserts that '[Col10, Proposition VII.4.12] holds when p=2' and that the proof of [Pas13, Lemma 10.35] 'works verbatim' after replacing Lemma 10.34 by Lemma 1.2.6. These statements are load-bearing for Proposition 1.3.2, Proposition 6.3.2, and Theorem 6.3.7, and a failure there would invalidate the non-ordinary support argument; however, they are omitted verifications or adaptations of external results, not reductions of the target theorem to its own inputs. Accordingly the circularity score is low.

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

No free parameters or invented entities are introduced. The proof rests on a large body of established external results, most notably the p-adic local Langlands correspondence, the Taylor-Wiles-Kisin patching formalism, and existing ordinary modularity lifting theorems. The paper's contribution is a careful assembly and extension of these tools to the p=2 exceptional case.

assumptions (6)
  • standard math p-adic local Langlands correspondence for GL2(Qp), including Colmez's Montreal functor and its compatibility with reduction mod p
    Used throughout Sections 1 and 6 to relate GL2(Qp) representations to Galois representations; the table of values of V on principal series and supersingular representations is due to Colmez and Breuil.
  • standard math Taylor-Wiles-Kisin patching produces the patched module M_infty with the stated properties
    The construction in Section 4 follows [CEG+16, GN16]; Proposition 4.6.5 asserts finite generation and projectivity of M_infty.
  • standard math Equivalence formalism for Breuil-Mezard via patching due to Kisin, Emerton-Gee, and Paskunas
    Lemma 5.3.2 and Theorem 5.3.3 are quoted from [Pas16, EG14] and are used to convert support statements into the Breuil-Mezard conjecture.
  • standard math Khare-Wintenberger modularity of mod p Galois representations
    Used to know that mod 2 representations with non-solvable image are modular; this is an assumption in the main theorems and is invoked in the proof of Theorem 8.0.3.
  • standard math Ordinary modularity lifting theorems of Geraghty, Allen, Sasaki, and Thorne
    Theorem 7.3.1 is a variant of [Tho12, Theorem 10.2] and relies on these theorems; it is needed for the ordinary locus in the proof of Theorem 8.0.1.
  • domain assumption F is totally real, p=2 splits completely in F, and the residual representation has non-solvable image
    These hypotheses are used for the patching construction, the globalization Lemma 4.3.3, and the ordinary R=T input; they are assumptions of the main theorems.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the modularity of 2-adic potentially semi-stable deformation rings." pith.science (2026). https://pith.science/paper/3MN7D3MX

@misc{pith2026190806174,
  author       = {Pith},
  title        = {Pith review of: On the modularity of 2-adic potentially semi-stable deformation rings},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3MN7D3MX}},
  note         = {Machine review of arXiv:1908.06174}
}
abstract

Using $p$-adic local Langlands correspondence for $\operatorname{GL}_2(\mathbb{Q}_2)$ and an ordinary $R = \mathbb{T}$ theorem, we prove that the support of patched modules for quaternionic forms meet every irreducible component of the potentially semi-stable deformation ring. This gives a new proof of the Breuil-M\'{e}zard conjecture for 2-dimensional representations of the absolute Galois group of $\mathbb{Q}_2$, which is new in the case $\overline{r}$ a twist of an extension of the trivial character by itself. As a consequence, a local restriction in Pa\v{s}k\=unas' proof of Fontaine-Mazur conjecture is removed.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Moduli stacks of \'etale (phi,Gamma)-modules and the existence of crystalline lifts

    math.NT 2019-08 accept novelty 8.0 of 10

    Every mod p representation of the absolute Galois group of a p-adic local field lifts to a crystalline representation of regular Hodge-Tate weights, via the geometry of new moduli stacks of etale (phi,Gamma)-modules.

Reference graph

Works this paper leans on

72 extracted references · 45 canonical work pages · cited by 1 Pith paper

  1. [1]

    Patrick B. Allen. Deformations of H ilbert modular G alois representations and adjoint selmer groups. https://faculty.math.illinois.edu/ pballen/Smooth.pdf, 2014

    work page 2014

  2. [2]

    Patrick B. Allen. Modularity of nearly ordinary 2-adic residually dihedral G alois representations. Compos. Math. , 150(8):1235--1346, 2014

    2014

  3. [3]

    Irreduzible Komponenten von 2-adischen Deformationsr\"aumen

    Maurice Babnik . Irreduzible Komponenten von 2-adischen Deformationsr \"a umen . arXiv e-prints , page arXiv:1512.09277, December 2015

    work page Pith review arXiv 2015

  4. [4]

    Sur quelques repr\'esentations potentiellement cristallines de GL _2( Q_p)

    Laurent Berger and Christophe Breuil. Sur quelques repr\'esentations potentiellement cristallines de GL _2( Q_p) . Ast\'erisque , (330):155--211, 2010

    work page 2010

  5. [5]

    Repr\' e sentations p -adiques ordinaires de GL _2( Q_p) et compatibilit\' e local-global

    Christophe Breuil and Matthew Emerton. Repr\' e sentations p -adiques ordinaires de GL _2( Q_p) et compatibilit\' e local-global. Ast\' e risque , (331):255--315, 2010

    work page 2010

  6. [6]

    Bushnell and Guy Henniart

    Colin J. Bushnell and Guy Henniart. The local L anglands conjecture for GL(2) , volume 335 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 2006

    2006

  7. [7]

    Ordinary representations of G( Q _p) and fundamental algebraic representations

    Christophe Breuil and Florian Herzig. Ordinary representations of G( Q _p) and fundamental algebraic representations. Duke Math. J. , 164(7):1271--1352, 2015

    2015

  8. [8]

    Une interpr\' e tation modulaire de la vari\' e t\' e trianguline

    Christophe Breuil, Eugen Hellmann, and Benjamin Schraen. Une interpr\' e tation modulaire de la vari\' e t\' e trianguline. Math. Ann. , 367(3-4):1587--1645, 2017

    work page 2017

Show all 72 references
  1. [9]

    Irreducibility of versal deformation rings in the (p,p) -case for 2-dimensional representations

    Gebhard B\" o ckle and Ann-Kristin Juschka. Irreducibility of versal deformation rings in the (p,p) -case for 2-dimensional representations. J. Algebra , 444:81--123, 2015

    2015

  2. [10]

    Barthel and R

    L. Barthel and R. Livn\'e. Irreducible modular representations of GL _2 of a local field. Duke Math. J. , 75(2):261--292, 1994

    1994

  3. [11]

    Potential automorphy and change of weight

    Thomas Barnet-Lamb, Toby Gee, David Geraghty, and Richard Taylor. Potential automorphy and change of weight. Ann. of Math. (2) , 179(2):501--609, 2014

    2014

  4. [12]

    A family of C alabi- Y au varieties and potential automorphy II

    Tom Barnet-Lamb, David Geraghty, Michael Harris, and Richard Taylor. A family of C alabi- Y au varieties and potential automorphy II . Publ. Res. Inst. Math. Sci. , 47(1):29--98, 2011

    2011

  5. [13]

    Lenstra, Jr., and Kenneth A

    Nigel Boston, Hendrik W. Lenstra, Jr., and Kenneth A. Ribet. Quotients of group rings arising from two-dimensional representations. C. R. Acad. Sci. Paris S\'er. I Math. , 312(4):323--328, 1991

    1991

  6. [14]

    Multiplicit\'es modulaires et repr\'esentations de GL _2( Z _p) et de Gal ( Q _p/ Q _p) en l=p

    Christophe Breuil and Ariane M\'ezard. Multiplicit\'es modulaires et repr\'esentations de GL _2( Z _p) et de Gal ( Q _p/ Q _p) en l=p . Duke Math. J. , 115(2):205--310, 2002. With an appendix by Guy Henniart

    2002

  7. [15]

    Towards a modulo p L anglands correspondence for GL _2

    Christophe Breuil and Vytautas Pa s k\= u nas. Towards a modulo p L anglands correspondence for GL _2 . Mem. Amer. Math. Soc. , 216(1016):vi+114, 2012

    2012

  8. [16]

    Sur quelques repr\'esentations modulaires et p -adiques de GL _2( Q_p)

    Christophe Breuil. Sur quelques repr\'esentations modulaires et p -adiques de GL _2( Q_p) . I . Compositio Math. , 138(2):165--188, 2003

    2003

  9. [17]

    Even G alois representations and the F ontaine-- M azur conjecture

    Frank Calegari. Even G alois representations and the F ontaine-- M azur conjecture. II . J. Amer. Math. Soc. , 25(2):533--554, 2012

    2012

  10. [18]

    Sur les repr\'esentations l -adiques associ\'ees aux formes modulaires de H ilbert

    Henri Carayol. Sur les repr\'esentations l -adiques associ\'ees aux formes modulaires de H ilbert. Ann. Sci. \'Ecole Norm. Sup. (4) , 19(3):409--468, 1986

    1986

  11. [19]

    Compl\' e t\' e s universels de repr\' e sentations de GL _2( Q _p)

    Pierre Colmez and Gabriel Dospinescu. Compl\' e t\' e s universels de repr\' e sentations de GL _2( Q _p) . Algebra Number Theory , 8(6):1447--1519, 2014

    2014

  12. [20]

    Irreducible components of deformation spaces: wild 2-adic exercises

    Pierre Colmez, Gabriel Dospinescu, and Vytautas Pa s k\= u nas. Irreducible components of deformation spaces: wild 2-adic exercises. Int. Math. Res. Not. IMRN , (14):5333--5356, 2015

    2015

  13. [21]

    Patching and the p -adic local L anglands correspondence

    Ana Caraiani, Matthew Emerton, Toby Gee, David Geraghty, Vytautas Pa s k\=unas, and Sug Woo Shin. Patching and the p -adic local L anglands correspondence. Camb. J. Math. , 4(2):197--287, 2016

    2016

  14. [22]

    Patching and the p -adic L anglands program for GL _2( Q_p)

    Ana Caraiani, Matthew Emerton, Toby Gee, David Geraghty, Vytautas Pa s k\=unas, and Sug Woo Shin. Patching and the p -adic L anglands program for GL _2( Q_p) . Compos. Math. , 154(3):503--548, 2018

    2018

  15. [23]

    Sur la vari\' e t\' e des caract\' e res p-adique du groupe de G alois absolu de Q _p

    Ga\" e tan Chenevier. Sur la vari\' e t\' e des caract\' e res p-adique du groupe de G alois absolu de Q _p . http://gaetan.chenevier.perso.math.cnrs.fr/articles/lieugalois.pdf, 2009

    2009

  16. [24]

    Repr\'esentations de GL _2( Q_p) et ( , ) -modules

    Pierre Colmez. Repr\'esentations de GL _2( Q_p) et ( , ) -modules. Ast\'erisque , (330):281--509, 2010

    2010

  17. [25]

    Fermat's last theorem

    Henri Darmon, Fred Diamond, and Richard Taylor. Fermat's last theorem. In Current developments in mathematics, 1995 ( C ambridge, MA ) , pages 1--154. Int. Press, Cambridge, MA, 1994

    1995

  18. [26]

    L -invariants and local-global compatibility for the group GL _2/F

    Yiwen Ding. L -invariants and local-global compatibility for the group GL _2/F . Forum Math. Sigma , 4:e13, 49, 2016

    2016

  19. [27]

    A geometric perspective on the B reuil- M \'ezard conjecture

    Matthew Emerton and Toby Gee. A geometric perspective on the B reuil- M \'ezard conjecture. J. Inst. Math. Jussieu , 13(1):183--223, 2014

    2014

  20. [28]

    Jacquet modules of locally analytic representations of p -adic reductive groups

    Matthew Emerton. Jacquet modules of locally analytic representations of p -adic reductive groups. I . C onstruction and first properties. Ann. Sci. \' E cole Norm. Sup. (4) , 39(5):775--839, 2006

    2006

  21. [29]

    A local-global compatibility conjecture in the p -adic L anglands programme for GL _ 2/ Q

    Matthew Emerton. A local-global compatibility conjecture in the p -adic L anglands programme for GL _ 2/ Q . Pure Appl. Math. Q. , 2(2, Special Issue: In honor of John H. Coates. Part 2):279--393, 2006

    2006

  22. [30]

    Ordinary parts of admissible representations of p -adic reductive groups I

    Matthew Emerton. Ordinary parts of admissible representations of p -adic reductive groups I . D efinition and first properties. Ast\'erisque , (331):355--402, 2010

    2010

  23. [31]

    Ordinary parts of admissible representations of p -adic reductive groups II

    Matthew Emerton. Ordinary parts of admissible representations of p -adic reductive groups II . D erived functors. Ast\'erisque , (331):403--459, 2010

    2010

  24. [32]

    Local-global compatibility conjecture in the p -adic L anglands programme for GL _ 2/ Q

    Matthew Emerton. Local-global compatibility conjecture in the p -adic L anglands programme for GL _ 2/ Q . http://www.math.uchicago.edu/ emerton/pdffiles/lg.pdf, 2011

    2011

  25. [33]

    On the density of supercuspidal points of fixed regular weight in local deformation rings and global Hecke algebras

    Matthew Emerton and Vytautas Paskunas . On the density of supercuspidal points of fixed regular weight in local deformation rings and global Hecke algebras . arXiv e-prints , page arXiv:1809.06598, September 2018

    2018 arXiv

  26. [34]

    Geometric G alois representations

    Jean-Marc Fontaine and Barry Mazur. Geometric G alois representations. In Elliptic curves, modular forms, & F ermat's last theorem ( H ong K ong, 1993) , Ser. Number Theory, I, pages 41--78. Int. Press, Cambridge, MA, 1995

    1993

  27. [35]

    Repr\' e sentations l -adiques potentiellement semi-stables

    Jean-Marc Fontaine. Repr\' e sentations l -adiques potentiellement semi-stables. Ast\' e risque , (223):321--347, 1994

    1994

  28. [36]

    Modularity lifting theorems for ordinary G alois representations

    David James Geraghty. Modularity lifting theorems for ordinary G alois representations . ProQuest LLC, Ann Arbor, MI, 2010. Thesis (Ph.D.)--Harvard University

    2010

  29. [37]

    The B reuil- M \'ezard conjecture for potentially B arsotti- T ate representations

    Toby Gee and Mark Kisin. The B reuil- M \'ezard conjecture for potentially B arsotti- T ate representations. Forum Math. Pi , 2:e1, 56, 2014

    2014

  30. [38]

    Patching and the completed homology of locally symmetric spaces

    Toby Gee and James Newton . Patching and the completed homology of locally symmetric spaces . arXiv e-prints , page arXiv:1609.06965, September 2016

    2016 arXiv

  31. [39]

    Gouv\^ea

    Fernando Q. Gouv\^ea. Deformations of G alois representations. In Arithmetic algebraic geometry ( P ark C ity, UT , 1999) , volume 9 of IAS/Park City Math. Ser. , pages 233--406. Amer. Math. Soc., Providence, RI, 2001. Appendix 1 by Mark Dickinson, Appendix 2 by Tom Weston and...

    1999

  32. [40]

    Nearly ordinary H ecke algebras and G alois representations of several variables

    Haruzo Hida. Nearly ordinary H ecke algebras and G alois representations of several variables. In Algebraic analysis, geometry, and number theory ( B altimore, MD , 1988) , pages 115--134. Johns Hopkins Univ. Press, Baltimore, MD, 1989

    1988

  33. [41]

    On nearly ordinary H ecke algebras for GL (2) over totally real fields

    Haruzo Hida. On nearly ordinary H ecke algebras for GL (2) over totally real fields. In Algebraic number theory , volume 17 of Adv. Stud. Pure Math. , pages 139--169. Academic Press, Boston, MA, 1989

    1989

  34. [42]

    On crystabelline deformation rings of Gal( Q _p/ Q _p) (with an appendix by Jack Shotton)

    Yongquan Hu and Vytautas Pa s k \=u nas. On crystabelline deformation rings of Gal( Q _p/ Q _p) (with an appendix by Jack Shotton) . Mathematische Annalen , 373(1-2):421--487, 2019

    2019

  35. [43]

    The geometry and cohomology of some simple S himura varieties , volume 151 of Annals of Mathematics Studies

    Michael Harris and Richard Taylor. The geometry and cohomology of some simple S himura varieties , volume 151 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2001. With an appendix by Vladimir G. Berkovich

    2001

  36. [44]

    The B reuil- M \'ezard conjecture for non-scalar split residual representations

    Yongquan Hu and Fucheng Tan. The B reuil- M \'ezard conjecture for non-scalar split residual representations. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , 48(6):1383--1421, 2015

    2015

  37. [45]

    Potentially semi-stable deformation rings

    Mark Kisin. Potentially semi-stable deformation rings. J. Amer. Math. Soc. , 21(2):513--546, 2008

    2008

  38. [46]

    The F ontaine- M azur conjecture for GL _2

    Mark Kisin. The F ontaine- M azur conjecture for GL _2 . J. Amer. Math. Soc. , 22(3):641--690, 2009

    2009

  39. [47]

    Modularity of 2-adic B arsotti- T ate representations

    Mark Kisin. Modularity of 2-adic B arsotti- T ate representations. Invent. Math. , 178(3):587--634, 2009

    2009

  40. [48]

    Moduli of finite flat group schemes, and modularity

    Mark Kisin. Moduli of finite flat group schemes, and modularity. Ann. of Math. (2) , 170(3):1085--1180, 2009

    2009

  41. [49]

    Khare and Jack A

    Chandrashekhar B. Khare and Jack A. Thorne. Potential automorphy and the L eopoldt conjecture. Amer. J. Math. , 139(5):1205--1273, 2017

    2017

  42. [50]

    On S erre's conjecture for 2-dimensional mod p representations of Gal ( Q / Q)

    Chandrashekhar Khare and Jean-Pierre Wintenberger. On S erre's conjecture for 2-dimensional mod p representations of Gal ( Q / Q) . Ann. of Math. (2) , 169(1):229--253, 2009

    2009

  43. [51]

    Serre's modularity conjecture

    Chandrashekhar Khare and Jean-Pierre Wintenberger. Serre's modularity conjecture. II . Invent. Math. , 178(3):505--586, 2009

    2009

  44. [52]

    The Fontaine-Mazur conjecture in the residually reducible case

    Lue Pan . The Fontaine-Mazur conjecture in the residually reducible case . arXiv e-prints , page arXiv:1901.07166, Jan 2019

    1901 arXiv

  45. [53]

    Extensions for supersingular representations of GL _2( Q_p)

    Vytautas Pa s k\=unas. Extensions for supersingular representations of GL _2( Q_p) . Ast\'erisque , (331):317--353, 2010

    2010

  46. [54]

    The image of C olmez's M ontreal functor

    Vytautas Pa s k\=unas. The image of C olmez's M ontreal functor. Publ. Math. Inst. Hautes \'Etudes Sci. , 118:1--191, 2013

    2013

  47. [55]

    Blocks for mod \,p representations of GL _2( Q_p)

    Vytautas Pa s k\=unas. Blocks for mod \,p representations of GL _2( Q_p) . In Automorphic forms and G alois representations. V ol. 2 , volume 415 of London Math. Soc. Lecture Note Ser. , pages 231--247. Cambridge Univ. Press, Cambridge, 2014

    2014

  48. [56]

    On the B reuil- M \'ezard conjecture

    Vytautas Pa s k\=unas. On the B reuil- M \'ezard conjecture. Duke Math. J. , 164(2):297--359, 2015

    2015

  49. [57]

    On 2-dimensional 2-adic G alois representations of local and global fields

    Vytautas Pa s k\=unas. On 2-dimensional 2-adic G alois representations of local and global fields. Algebra Number Theory , 10(6):1301--1358, 2016

    2016

  50. [58]

    On 2-adic deformations

    Vytautas Pa s k\=unas. On 2-adic deformations. Math. Z. , 286(3-4):801--819, 2017

    2017

  51. [59]

    On the Breuil-Schneider conjecture: Generic case

    Alexandre Pyvovarov . On the Breuil-Schneider conjecture: Generic case . arXiv e-prints , page arXiv:1803.01610, Mar 2018

    2018 arXiv

  52. [60]

    Hilbert modular forms and p -adic H odge theory

    Takeshi Saito. Hilbert modular forms and p -adic H odge theory. Compos. Math. , 145(5):1081--1113, 2009

    2009

  53. [61]

    Integral models of H ilbert modular varieties in the ramified case, deformations of modular G alois representations, and weight one forms II

    Shu Sasaki. Integral models of H ilbert modular varieties in the ramified case, deformations of modular G alois representations, and weight one forms II . http://www.cantabgold.net/users/s.sasaki.03/hmv1-5-9.pdf, July 2017

    2017

  54. [62]

    Integral models of H ilbert modular varieties in the ramified case, deformations of modular G alois representations, and weight one forms

    Shu Sasaki. Integral models of H ilbert modular varieties in the ramified case, deformations of modular G alois representations, and weight one forms. Invent. Math. , 215(1):171--264, 2019

    2019

  55. [63]

    Local deformation rings for GL _2 and a B reuil- M \' e zard conjecture when p

    Jack Shotton. Local deformation rings for GL _2 and a B reuil- M \' e zard conjecture when p . Algebra Number Theory , 10(7):1437--1475, 2016

    2016

  56. [64]

    On two dimensional weight two odd representations of totally real fields

    Andrew Snowden . On two dimensional weight two odd representations of totally real fields . arXiv e-prints , page arXiv:0905.4266, May 2009

    2009 arXiv

  57. [65]

    On G alois representations associated to H ilbert modular forms

    Richard Taylor. On G alois representations associated to H ilbert modular forms. Invent. Math. , 98(2):265--280, 1989

    1989

  58. [66]

    On the meromorphic continuation of degree two L -functions

    Richard Taylor. On the meromorphic continuation of degree two L -functions. Doc. Math. , (Extra Vol.):729--779, 2006

    2006

  59. [67]

    Automorphy for some l -adic lifts of automorphic mod l G alois representations

    Richard Taylor. Automorphy for some l -adic lifts of automorphic mod l G alois representations. II . Publ. Math. Inst. Hautes \'Etudes Sci. , (108):183--239, 2008

    2008

  60. [68]

    On the automorphy of l -adic G alois representations with small residual image

    Jack Thorne. On the automorphy of l -adic G alois representations with small residual image. J. Inst. Math. Jussieu , 11(4):855--920, 2012. With an appendix by Robert Guralnick, Florian Herzig, Richard Taylor and Thorne

    2012

  61. [69]

    Jack A. Thorne. Automorphy lifting for residually reducible l -adic G alois representations. J. Amer. Math. Soc. , 28(3):785--870, 2015

    2015

  62. [70]

    On the automorphy of 2-dimensional potentially semi-stable deformation rings of Gal( Q _p/ Q _p)

    Shen-Ning Tung . On the automorphy of 2-dimensional potentially semi-stable deformation rings of Gal( Q _p/ Q _p) . arXiv e-prints , page arXiv:1803.07451, Mar 2018

    2018 arXiv

  63. [71]

    Representations modulo p of the p -adic group GL (2,F)

    Marie-France Vign\' e ras. Representations modulo p of the p -adic group GL (2,F) . Compos. Math. , 140(2):333--358, 2004

    2004

  64. [72]

    A. Wiles. On ordinary -adic representations associated to modular forms. Invent. Math. , 94(3):529--573, 1988

    1988

Pith tools

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