On the pro-modularity in the residually reducible case for some totally real fields

Xinyao Zhang

REVIEW 4 major objections 6 minor 22 references

On the pro-modularity in the residually reducible case for some totally real fields

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

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

Pith's one-line read This paper proves that large irreducible components of the universal pseudo-deformation ring attached to a residually reducible representation over certain totally real fields are pro-modular, yielding a conditional big $R = T$ theorem.

desk verdict Genuinely new pro-modularity results for abelian totally real fields, conditional on an explicit modularity hypothesis for the residual representation. read the letter →

arxiv 2411.18661 v4 pith:GSXLI6UZ submitted 2024-11-27 math.NT

Xinyao Zhang This is my paper · ORCID

classification math.NT MSC 11F8011F85

keywords pseudo-representationmodularitypro-modularitybigR=TtheoremuniversaldeformationringsresiduallyreducibletotallyrealfieldsFontaine-Mazurconjecture

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 pro-modularity theorem in the residually reducible case: for abelian totally real fields $F$ of even degree in which $p$ splits completely, every irreducible component of the universal pseudo-deformation ring $R^{\mathrm{ps}}_{\mathrm{aux}}$ of dimension at least $1+2[F:\mathbb{Q}]$ has its generic point coming from a prime of the localized big Hecke algebra $(T_\xi)_{\mathfrak{m}_\xi}$. This statement covers general totally real fields rather than just $\mathbb{Q}$, and it removes the cyclicity assumption that the earlier $\mathbb{Q}$-level result required. As a consequence, provided the degree of $F$ is large relative to the number of auxiliary primes, every prime of the universal deformation ring $R^{\mathrm{aux}}_x$ of each non-split reducible lift is pro-modular, and $R^{\mathrm{aux}}_x$ is a local complete intersection of Krull dimension $1+2[F:\mathbb{Q}]$. The argument adapts the strategy of [SW99] and [Pan22], and the paper indicates this gives a route to the Fontaine-Mazur conjecture after an abelian base change, including the missing $p=3$ case with $\bar\chi=\omega_3$. The results are conditional on the modularity of the residual representation $1\oplus\bar\chi$, which is assumed as an input.

What carries the argument

The argument is carried by the two-dimensional pseudo-representation formalism of Section 2.1: a pseudo-representation $T$ is encoded in functions $a,d,y$ satisfying identities such as $y(\sigma\tau,\delta)=a(\sigma)y(\tau,\delta)+y(\sigma,\delta)d(\tau)$ and $y(\alpha,\beta)y(\sigma,\tau)=y(\alpha,\tau)y(\sigma,\beta)$. The new combinatorial-geometric tool is Corollary 2.1.7, which, for any finite set $S$ of Galois elements and a pseudo-representation over a complete Noetherian local (CNL) domain $R$ whose reduction is reducible, produces a quotient $R'$ of controlled dimension in which the $y$-functions for elements of $S$ either vanish or coincide up to a fixed $n$-th power with $(n,p)=1$, making integral units available. This is used to manufacture 'nice primes' in every irreducible component of $R^{\mathrm{ps}}_{\mathrm{aux}}$ of dimension at least $1+2[F:\mathbb{Q}]$: primes where the patching theorem (Theorem 4.2.5, $R_q = T_q$, following [Pan22]) applies with nilpotent kernel, so that pro-modularity of the component follows. Ordinary de Rham points, whose density in the ordinary locus is supplied by Lemma 4.3.4, provide the pool of pro-modular primes from which the nice-prime search begins, and dimension bounds for the reducible and dihedral loci (Propositions 3.1.4 and 3.2.2) keep the search within components of the required size.

What would settle it

Exhibit a totally real field $F$ and a character $\bar\chi$ satisfying all five conditions of Theorem 1.0.2(1) for which $R^{\mathrm{ps}}_{\mathrm{aux}}$ has an irreducible component of dimension at least $1+2[F:\mathbb{Q}]$ whose generic point is not the image of any prime of $(T_\xi)_{\mathfrak{m}_\xi}$; the non-generic reducible case treated in Theorem 4.5.2 is the narrowest place to look.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central claim is that the universal pseudo-deformation ring $R^{\mathrm{ps}}_{\mathrm{aux}}$ of the reducible residual representation $1\oplus\bar\chi$ (with fixed determinant $\chi$) is pro-modular in large dimension: under the hypotheses of Theorem 1.0.2, any irreducible component of dimension at least $1+2[F:\mathbb{Q}]$ is actually of dimension $1+2[F:\mathbb{Q}]$ and its generic point is the image of a prime of the localized big Hecke algebra $(T_\xi)_{\mathfrak{m}_\xi}$. The deformation-ring version states that, when $[F:\mathbb{Q}] \ge \max\{1+\tfrac{1}{2}\dim_{\mathbb{F}} H^1(F_\Sigma/F, \mathbb{F}(\bar\chi^{-1})),\, 7|\Sigma\setminus\Sigma_p|+4\}$, every prime of the universal deformation ring $R^{\mathrm{aux}}_x$ attached to any nonzero cocycle $x$ is pro-modular, and $R^{\mathrm{aux}}_x$ is a local complete intersection ring of Krull dimension $1+2[F:\mathbb{Q}]$. This generalizes the previous $\mathbb{Q}$-level theorems to abelian totally real fields and drops the restrictive cyclicity assumption on $H^1$, at the cost of the modularity input.

Load-bearing premise

The argument assumes as an unproved input that the residual representation $1\oplus\bar\chi$ is modular, i.e., that the Hecke operators $T_v$ together with the uniformizer $\pi$ generate the maximal ideal $\mathfrak{m}_\xi$ of the big Hecke algebra $T_\xi$; if that modularity fails, the localization $(T_\xi)_{\mathfrak{m}_\xi}$ cannot be compared with the deformation rings.

Editorial extensions

If this is right

For any nonzero $x \in H^1(F_\Sigma/F, \mathbb{F}(\bar\chi^{-1}))$, the universal deformation ring $R^{\mathrm{aux}}_x$ is a local complete intersection of Krull dimension $1+2[F:\mathbb{Q}]$, and every prime of it is pro-modular.
The pro-modularity of $R^{\mathrm{ps}}_{\mathrm{aux}}$ extends the big $R=T$ story from $\mathbb{Q}$ to abelian totally real fields of large enough degree, without the cyclicity assumption on $H^1$ used in the prior $\mathbb{Q}$-level proof.
After an abelian base change, part (1) of Theorem 1.0.2 together with [Pan22, Corollary 3.5.10] yields the Fontaine-Mazur conjecture in the residually reducible case.
The paper's Remark 1.0.3 states that, together with the companion work [Zha24], the argument concludes the two-dimensional Fontaine-Mazur conjecture in the regular case for all odd primes, including $p=3$ with $\bar\chi=\omega_3$.

Reading between the lines

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

If the modularity input for $1\oplus\bar\chi$ is supplied independently (for example by an automorphy lifting theorem), the conditional big $R=T$ statement becomes unconditional; the paper itself does not prove this input.
The degree threshold $7|\Sigma\setminus\Sigma_p|+4$ comes from the counting in Corollary 2.1.7; a sharper accounting of the vanishing of the $y$-functions could lower the bound, potentially reaching quadratic or cubic totally real fields.
The propagation mechanism in Proposition 4.5.1 -- a pro-modular prime of high enough dimension forces all components through it to be pro-modular -- may be reusable in other patching arguments where nice primes are obstructed by a dihedral condition.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Here's my take. The paper genuinely does something new: it takes Deo's residually reducible result, previously stuck over Q with cyclicity of H^1, and gets pro-modularity for abelian totally real fields of even degree, dropping the cyclicity. The new commutative algebra lemma, Cor 2.1.7, is a real tool, and the way it is used to manufacture nice primes is the heart of the paper. The proof follows Pan's strategy closely but is not a copy; adapting it to the pseudo-deformation ring over a general abelian field takes real work. I think the main theorems are plausible and the architecture is sound.

Soft spots, in order. First, the big one: the whole pro-modularity apparatus is defined relative to (T_xi)_m_xi, and m_xi exists only if the residual representation 1+chi-bar is modular. That is an explicit hypothesis in Section 4.2, so the paper is honest about it, but it means the theorems are conditional in a strong sense. If that maximal ideal does not exist, 'pro-modular' is undefined, not just unproved. Remark 1.0.4 gives a heuristic for finding fields where the hypotheses might hold, but it does not verify the Hecke eigenvalue system. So the conditionality is load-bearing, and the stress-test is right to single it out.

Second, several key inputs are quoted from Pan with sketches: Theorem 4.2.5 (R_q = T_q), Proposition 4.3.3 (ordinary Fontaine-Mazur), and Proposition 3.2.7. The paper sketches the patching argument and refers to Pan for details. That is reasonable for a research paper, but it makes independent verification harder. I also have trouble with two local steps: the assertion that R_aux_x is a local complete intersection in Theorem 4.4.6, and the properness of the dihedral locus in Corollary 3.2.3. The reader flagged both; I agree they are not fully justified in the text. They look fixable, and they do not kill the main pro-modularity claim. Theorem 4.4.2 seems to survive even if those auxiliary claims need patching.

The citation pattern is fine: the self-citation to [Zha24] appears only in remarks about applications, not as a load-bearing input. The paper is clear about what is assumed.

Bottom line: this deserves a serious referee, but the referee should push on the modularity hypothesis and on the two local arguments. If the author supplies the missing details, this is a solid contribution. For my own work, I probably will not cite it in the next year because the conditional standing makes it hard to use directly, but I would bring it to a reading group to see what the real obstructions are.

Referee Report

4 major / 6 minor

Summary. This paper studies the relation between universal (pseudo-)deformation rings and big Hecke algebras in the residually reducible case, over abelian totally real fields F of even degree in which p splits completely. Assuming that the residual representation 1 ⊕ χ̄ determines a maximal ideal m_ξ of the big Hecke algebra T_ξ (i.e., that it is modular), the author proves: (i) every irreducible component of the universal pseudo-deformation ring R^ps_aux of dimension at least 1 + 2[F:Q] is pro-modular (Theorem 4.4.2); (ii) for nonzero x ∈ H^1(F_Σ/F, F(χ̄^{-1})), every prime of R^aux_x is pro-modular and R^aux_x is a local complete intersection of dimension 1 + 2[F:Q] (Theorem 4.4.6); and (iii) a special case where χ̄|_{G_{F_v}} = ω_p (Theorem 4.5.2). The main new ingredient is an application of Corollary 2.1.7, a partition result for pseudo-representations, to produce 'nice primes' in large components, following Pan's patching strategy.

Significance. If the proof is completed, the pro-modularity results would generalize Deo's R = T theorem to totally real fields and complement Pan's proof of the Fontaine-Mazur conjecture in the residually reducible case, with potential applications to the p = 3 case. The construction using Corollary 2.1.7 is a genuine innovation and avoids the cyclicity assumption on H^1 that fails for totally real fields. The paper is explicit about the conditional nature of the R = T theorem, and it carefully cites the main patching input (Theorem 4.2.5) from Pan. However, the residual modularity assumption is a substantial unproved input, and the local complete intersection assertion is not justified; the confidence in the main theorems is therefore moderate.

major comments (4)

[§4.4, proof of Theorem 4.4.6] The final sentence 'Combining Proposition 3.1.2 and Proposition 3.1.3, we obtain that R^aux_x is a local complete intersection ring of Krull dimension 1+2[F:Q]' is not justified. Proposition 3.1.2 gives a presentation of R^aux_x as a quotient of O[[x_1,...,x_g]] by r ≤ dim_F H^2(F_Σ/F, ad^0 ρ_x) equations. Knowing that every minimal prime has dimension at least 1+2[F:Q] and that the total dimension equals 1+2[F:Q] only yields equidimensionality of the right dimension; it does not imply that the r generators form a regular sequence or that the quotient is Cohen-Macaulay. A separate Cohen-Macaulayness argument (or a citation) is needed, or the conclusion should be weakened to the statement about Krull dimension only. This is load-bearing because the local complete intersection property is asserted in the theorem's conclusion.
[§4.2, hypothesis before Theorem 4.2.1] The entire pro-modularity framework is defined relative to the localization (T_ξ)_{m_ξ}, where m_ξ is assumed to be the maximal ideal generated by T_v - (1+χ(Frob_v)) for v ∉ Σ and π. This is an explicit hypothesis, but it is unproved: the paper does not establish that the residual representation 1 ⊕ χ̄ is modular in the sense that such a maximal ideal exists. Theorems 4.4.2, 4.4.6, and 4.5.2 are therefore conditional on this input. Remark 1.0.3's claim that the method 'concludes the two-dimensional Fontaine-Mazur conjecture in the regular case for odd primes' appears to rely on this residual modularity as an assumption, so the claim is overstated unless the author proves that 1 ⊕ χ̄ is modular. The abstract and Remark 1.0.3 should state this condition explicitly.
[§4.5, proof of Theorem 4.5.2, third case] The proof of the non-generic reducible case is only a sketch. It defers two key steps to 'the arguments in [Pan22, Step (1), page 1153]' and 'the same proof in [Pan22, Step (2), page 1154 & 1155]', and then states that the desired conclusion follows. Since this special case is essential for the claimed Fontaine-Mazur application and involves a delicate construction of the elements B_0 and B_1 and the components Z_{B_0}, Z_{B_1}, the delegation to page numbers in a published paper is not adequate for a journal article. The author should either present the full argument or explicitly declare Theorem 4.5.2 as a quotation of Pan's method with only formal changes, rather than as a theorem proved with a sketch.
[§4.4, Lemma 4.4.4 and Step II of Theorem 4.4.2] The verification of condition (4) of Definition 4.2.3 in cases b) and c) of Lemma 4.4.4 is terse. In case b), the assertion that 'u(θ, θ_i)^n = 1' and Hensel's lemma imply that u(θ, θ_i) lies in the residue field F' ⊂ F'[[T]] = A is not demonstrated; it requires checking that u(θ, θ_i) reduces to an element in the residue field and that the quotient R''/r' is a DVR whose completion is F'[[T]]. The same issue arises in case c). Additionally, Step II of the proof of Theorem 4.4.2 applies Corollary 2.1.7 to obtain conditions on y(α, θ) for θ ∈ S and all α, but Corollary 2.1.7 as stated and proved gives conditions on y(θ, α) for θ ∈ S. A symmetric version for the first variable is needed but is not stated or proved.

minor comments (6)

[Abstract and Introduction] In the abstract and introduction, the symbol 'R¯ρx' appears to be a typo for 'R_{ρ_x}' (the representation ρ_x is not residual); the bar notation is confusing and should be corrected.
[Theorem 1.0.2(2)] The inequality '1 +1 2 dim_F(H^1(F_Σ/F, F(χ̄^{-1})))' should read '1 + \frac{1}{2} \dim_F(H^1(F_Σ/F, F(χ̄^{-1})))'.
[§4.2, standing assumption] The standing assumption that ρ̄_0 = 1 ⊕ χ̄ is modular is introduced mid-section; it would be clearer to state it as a numbered hypothesis at the start of Section 4 and to repeat it in the statements of Theorems 4.4.2 and 4.4.6.
[Proposition 3.1.4] The proof is only sketched as 'an analogue to [SW99, Section 2.2]'; since this proposition is used in Theorem 4.4.6, it would be helpful to indicate precisely which changes from [SW99] are needed for the abelian totally real field case.
[Remark 3.2.8] The phrase 'which is against to the fact' is ungrammatical; it should be 'contrary to the fact'.
[Remark 1.0.3 and Remark 2.1.8] The paper refers to [Zha24] (an arXiv preprint) for the claimed applications to the Fontaine-Mazur conjecture and to Lemma 4.2.5/5.1.2 of that preprint. Since [Zha24] is not yet a published reference, the dependence of the main claims on it should be highlighted.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the pro-modularity and R=T results are conditional on an explicitly assumed residual modularity and are proved using independent external results, not by assuming their own conclusions.

full rationale

The central definitions (Definition 4.2.3 and Definition 4.4.1) make pro-modularity relative to the localized big Hecke algebra (T_xi)_{m_xi}, and the existence of m_xi is an explicit hypothesis: 'From now on, we suppose that rho-bar_0 = 1 + chi-bar is modular, i.e. T_v - (1 + chi(Frob_v)), v notin Sigma and pi generate a maximal ideal m_xi of T_xi.' This is the residual modularity input, not the theorem's conclusion: the theorem asserts that every irreducible component of Rps_aux of dimension at least 1 + 2[F:Q] (and, in Theorem 4.4.6, every prime of Raux_x) lies in the image of Spec(T_xi)_{m_xi}. That is a genuinely stronger statement, since a closed subset of Spec Rps_aux containing the closed point need not contain any given component. The proof of Theorem 4.4.2 constructs a nice prime containing the generic point P via Lemma 4.4.4, using Corollary 2.1.7 (proved in Section 2) and Proposition 4.3.3 (the ordinary Fontaine-Mazur result quoted from Pan and Skinner-Wiles), then applies Theorem 4.2.5 (Pan's Rq = Tq). Theorem 4.5.2 likewise follows Pan's strategy and Proposition 4.5.1. None of these steps assumes the pro-modularity of the component being proved. The self-citations [Zha24] occur only in Remarks 1.0.3, 2.1.8 and 4.5.3 as cross-references for applications and further details, and are not used to justify Theorems 4.4.2, 4.4.6 or 4.5.2. Thus no step reduces by construction to its inputs; the main limitation is that the results are conditional on the explicit, unproved residual modularity hypothesis, which is an assumption but not circularity.

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

No free parameters are fitted: the constants in the degree bounds, such as 7|Sigma \ Sigma_p| + 4, are explicit hypotheses rather than numbers chosen post hoc. The proof leans on deep theorems from Pan22, SW99, and Taylor08 as black boxes, and assumes the residual representation is modular. No new entities are introduced; pseudo-representations and deformation rings are standard constructions.

assumptions (5)

domain assumption Pan's Rq equals Tq patching theorem for nice primes (Theorem 4.2.5)
Quoted from [Pan22, Section 4] and used as the engine that turns a nice prime into pro-modularity; the paper only summarizes the patching argument and does not reprove it.
domain assumption Ordinary Fontaine-Mazur theorem for Hilbert modular forms (Proposition 4.3.3)
Used in Lemma 4.4.4 to produce pro-modular primes from regular de Rham points in the ordinary locus; taken from [Pan22, Theorem 5.1.1].
domain assumption Dimension and connectedness bounds for the universal pseudo-deformation ring at irreducible primes (Proposition 3.2.7)
Used to control irreducible components of Rps_aux; cited from [Pan22, Lemma 7.1.2 and 7.4.6].
domain assumption Modularity of the residual representation 1 plus chi-bar (assumption before Theorem 4.2.1)
Assumes the residual representation determines a maximal ideal mxi of the big Hecke algebra Txi, so that Rps_aux surjects onto (Txi)mxi; this is a stated hypothesis, not proved.
standard math Global characteristic formula and Leopoldt's conjecture for abelian fields
Used in Propositions 3.1.3, 3.1.4, and 3.2.2 to compute dimensions; Leopoldt's conjecture is a theorem for abelian extensions of Q.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the pro-modularity in the residually reducible case for some totally real fields." pith.science (2026). https://pith.science/paper/GSXLI6UZ

@misc{pith2026241118661,
  author       = {Pith},
  title        = {Pith review of: On the pro-modularity in the residually reducible case for some totally real fields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GSXLI6UZ}},
  note         = {Machine review of arXiv:2411.18661}
}

abstract

In this article, we study the relation between the universal deformation rings and big Hecke algebras in the residually reducible case. Following the strategy of Skinner-Wiles and Pan's proof of the Fontaine-Mazur conjecture, we prove a pro-modularity result. Based on this result, we also give a conditional big $R=\mathbb{T}$ theorem over some totally real fields, which is a generalization of Deo's result.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 19 canonical work pages

[1]

Patrick B. Allen. On automorphic points in polarized deformation rings. American Journal of Mathematics , 141(1):119--167, 2019

work page 2019
[2]

M. F. Atiyah and I. G. Macdonald. Introduction to commutative algebra . Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1969

1969
[3]

e l Bella \

Jo \"e l Bella \" che and Ga \"e tan Chenevier. Families of Galois representations and Selmer groups. Ast \'e risque , 324:1--314, 2009

work page 2009
[4]

e l Bella \

Jo \"e l Bella \" che. Image of pseudo-representations and coefficients of modular forms modulo p . Advances in Mathematics , 353:647--721, 2019

work page 2019
[5]

On the density of modular points in universal deformation spaces

Gebhard B \"o ckle. On the density of modular points in universal deformation spaces. American Journal of Mathematics , 123(5):985--1007, 2001

work page 2001
[6]

On the infinite fern of G alois representations of unitary type

Ga \"e tan Chenevier. On the infinite fern of G alois representations of unitary type. Annales scientifiques de l' \'E cole Normale Sup \'e rieure , 44(6):963--1019, 2011

work page 2011
[7]

Shaunak V. Deo. Effect of increasing the ramification on pseudo-deformation rings. Journal de Th \'e orie des Nombres de Bordeaux , 34(1):189--236, 2022

work page 2022
[8]

Shaunak V. Deo. On density of modular points in pseudo-deformation rings. International Mathematics Research Notices , page rnad037, 2023

work page 2023

Show all 22 references

[9]

Commutative algebra: with a view toward algebraic geometry , volume 150

David Eisenbud. Commutative algebra: with a view toward algebraic geometry , volume 150. Springer Science & Business Media, 2013

2013
[10]

p -adic families of modular forms [after Hida, Coleman, and Mazur]

Matthew Emerton. p -adic families of modular forms [after Hida, Coleman, and Mazur] . In S\'eminaire Bourbaki, volume 2009/2010, expos\'es 1012-1026 , number 339 in Ast\'erisque, pages 31--61. Soci\'et\'e math\'ematique de France, 2011

2009
[11]

Gouv \^e a and Barry Mazur

Fernando Q. Gouv \^e a and Barry Mazur. On the density of modular representations. In Computational perspectives in number theory (Chicago, 1995) , pages 127--142, 1997

1995
[12]

Gouv \^e a

Fernando Q. Gouv \^e a. Arithmetic of p-adic modular forms , volume 1304. Springer, 2006

2006
[13]

The Fontaine-Mazur conjecture for GL _2

Mark Kisin. The Fontaine-Mazur conjecture for GL _2 . Journal of the American Mathematical Society , 22(3):641--690, 2009

2009
[14]

Algebraic Geometry and Arithmetic Curves , volume 6

Qing Liu and Reinie Erne. Algebraic Geometry and Arithmetic Curves , volume 6. Oxford University Press, 2006

2006
[15]

Deforming G alois representations

Barry Mazur. Deforming G alois representations. In Galois Groups over Q : Proceedings of a Workshop Held March 23--27, 1987 , pages 385--437. Springer, 1989

1987
[16]

Cohomology of number fields , volume 323

J \"u rgen Neukirch, Alexander Schmidt, and Kay Wingberg. Cohomology of number fields , volume 323. Springer Science & Business Media, 2013

2013
[17]

The Fontaine-Mazur conjecture in the residually reducible case

Lue Pan. The Fontaine-Mazur conjecture in the residually reducible case. Journal of the American Mathematical Society , 35(4):1031--1169, 2022

2022
[18]

The image of Colmez's montreal functor

Vytautas Pa s k \=u nas. The image of Colmez's montreal functor. Publications math \'e matiques de l'IH \'E S , 118:1--191, 2013

2013
[19]

The stacks project

The Stacks project authors . The stacks project. https://stacks.math.columbia.edu, 2023

2023
[20]

Skinner and Andrew J

Christopher M. Skinner and Andrew J. Wiles. Residually reducible representations and modular forms. Publications Math \'e matiques de l'IH \'E S , 89:5--126, 1999

1999
[21]

Automorphy for some l -adic lifts of automorphic mod l Galois representations

Richard Taylor. Automorphy for some l -adic lifts of automorphic mod l Galois representations. II . Publications Math\'ematiques de l'IH\'ES , 108:183--239, 2008

2008
[22]

On the F ontaine- M azur conjecture for p=3

Xinyao Zhang. On the F ontaine- M azur conjecture for p=3 . Preprint , 2024

2024

Pith tools

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

[1] [1]

Patrick B. Allen. On automorphic points in polarized deformation rings. American Journal of Mathematics , 141(1):119--167, 2019

work page 2019

[2] [2]

M. F. Atiyah and I. G. Macdonald. Introduction to commutative algebra . Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1969

1969

[3] [3]

e l Bella \

Jo \"e l Bella \" che and Ga \"e tan Chenevier. Families of Galois representations and Selmer groups. Ast \'e risque , 324:1--314, 2009

work page 2009

[4] [4]

e l Bella \

Jo \"e l Bella \" che. Image of pseudo-representations and coefficients of modular forms modulo p . Advances in Mathematics , 353:647--721, 2019

work page 2019

[5] [5]

On the density of modular points in universal deformation spaces

Gebhard B \"o ckle. On the density of modular points in universal deformation spaces. American Journal of Mathematics , 123(5):985--1007, 2001

work page 2001

[6] [6]

On the infinite fern of G alois representations of unitary type

Ga \"e tan Chenevier. On the infinite fern of G alois representations of unitary type. Annales scientifiques de l' \'E cole Normale Sup \'e rieure , 44(6):963--1019, 2011

work page 2011

[7] [7]

Shaunak V. Deo. Effect of increasing the ramification on pseudo-deformation rings. Journal de Th \'e orie des Nombres de Bordeaux , 34(1):189--236, 2022

work page 2022

[8] [8]

Shaunak V. Deo. On density of modular points in pseudo-deformation rings. International Mathematics Research Notices , page rnad037, 2023

work page 2023