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

Matthew Emerton; Toby Gee

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

T0 review · 0 major / 6 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 This paper constructs global moduli stacks of étale (φ,Γ)-modules and proves from their geometry that every mod p representation of a p-adic Galois group lifts to a crystalline representation with regular Hodge–Tate weights.

desk verdict Emerton–Gee really do construct the global moduli of (φ,Γ)-modules and prove crystalline lifts exist for every mod p representation; the one genuinely load-bearing subtlety is the Appendix F 'admits all descents' criterion. read the letter →

arxiv 1908.07185 v4 pith:JLPYBFD3 submitted 2019-08-20 math.NT

Matthew Emerton , Toby Gee This is my paper · ORCID

classification math.NT MSC 11F8014D2311F85

keywords modulistacksétale(φΓ)-modulescrystallineliftsGaloisrepresentationsBreuil–Kisin–FarguesmodulesHerrcomplexSerreweightsdeformationrings

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 constructs global moduli objects—Noetherian formal algebraic stacks $X_d$ over $\mathrm{Spf}\,\mathbb{Z}_p$—whose $A$-valued points are rank $d$ étale $(\phi,\Gamma)$-modules with coefficients in a p-adically complete ring $A$. Because étale $(\phi,\Gamma)$-modules with finite coefficients are equivalent to continuous representations of $G_K$, the formal completion of $X_d$ at a residual representation $\rho$ is exactly its universal deformation ring; the stack is the global object that Mazur's local deformation rings sit inside. The paper then uses the geometry of the reduced special fiber—equidimensional of dimension $[K:\mathbb{Q}_p]d(d-1)/2$ with irreducible components labelled by Serre weights—to prove that every mod $p$ representation $\rho:G_K\to\mathrm{GL}_d(\mathbb{F}_p)$ admits a lift that is crystalline of regular Hodge–Tate weights and potentially diagonalizable. This is the first proof of such a lifting theorem in full generality, because the local $H^2$ obstructions that prevent lifting extension classes are controlled globally by a codimension bound on the stack.

What carries the argument

The central object is the formal algebraic stack $X_d$ of étale $(\phi,\Gamma)$-modules with coefficients. Three mechanisms carry the argument: (1) the Herr complex, made into a perfect complex of $A$-modules computing Galois cohomology in families, which is used to inductively construct the irreducible closed substacks $X^k_{d,\mathrm{red}}$ of dimension $[K:\mathbb{Q}_p]d(d-1)/2$ as families of successive extensions of characters; (2) the crystalline and semistable closed substacks $X^{\mathrm{crys},\lambda}_d$ and $X^{\mathrm{ss},\lambda}_d$, defined by the criterion that a Breuil–Kisin–Fargues module 'admits all descents' (descends to $S_{\pi^\flat,A}$ for every uniformiser $\pi$, with two independence conditions, proved in Appendix F); (3) the effectivity of the versal morphisms $\mathrm{Spf}\,R^{\mathrm{crys},\lambda}_\rho/p\to X_d$, which holds because $X^{\mathrm{crys},\lambda}_d$ is a p-adic formal algebraic stack, so its special fibre is an algebraic stack and versal rings for algebraic stacks are effective. The effectivity converts the $H^2$ codimension bound on $X_{d,\mathrm{red}}$ into Corollary 1.5.2, a bound on the special fibres of crystalline lifting rings, which is exactly what is needed to lift extension classes to characteristic zero.

What would settle it

Take a specific semistable non-crystalline representation of $G_{\mathbb{Q}_p}$, for instance the $p$-adic representation attached to a split multiplicative Tate curve, and compute its Breuil–Kisin–Fargues module: if for every uniformiser $\pi$ the module descends to $S_{\pi^\flat,\mathbb{Z}_p}$ and satisfies both independence conditions of Definition 4.2.4, the criterion of Appendix F is false. Alternatively, test Corollary 1.5.2 in a small example such as $\rho = \chi_1 \oplus \chi_2$ for characters of $G_{\mathbb{Q}_p}$: compute the locus in $\mathrm{Spec}\,R^{\mathrm{crys},\lambda}_\rho/p$ where $\dim H^2 \ge r$; if its codimension is ever less than $r$, the main lifting theorem fails.

Watch

Extended reading notes

Core claim

On the paper's own terms: the category fibred in groupoids of rank $d$ projective étale $(\phi,\Gamma)$-modules over p-adically complete $\mathbb{Z}_p$-algebras is a Noetherian formal algebraic stack $X_d$ over $\mathrm{Spf}\,\mathbb{Z}_p$, and its reduced substack $X_{d,\mathrm{red}}$ is of finite type over $\mathbb{F}_p$, equidimensional of dimension $[K:\mathbb{Q}_p]d(d-1)/2$, with irreducible components naturally labelled by Serre weights. The closed substacks $X^{\mathrm{crys},\lambda}_d$ and $X^{\mathrm{ss},\lambda}_d$ of $(X_d)_O$, defined via a new criterion for crystallinity in terms of Breuil–Kisin–Fargues modules that admit all descents, are p-adic formal algebraic stacks flat over $O$ whose finite-flat $A$-valued points are exactly the representations that become crystalline (resp. semistable) of Hodge type $\lambda$ after extension of scalars. From the codimension bound of Proposition 1.5.1—the locus of points in $X_{d,\mathrm{red}}$ with $\dim H^2 \ge r$ is Zariski closed of codimension $\ge r$—together with the effectivity of crystalline versal rings that follows from the p-adic formal algebraic structure, the paper derives the main application (Theorem 1.2.2): every continuous $\rho:G_K\to\mathrm{GL}_d(\mathbb{F}_p)$ has a lift $\rho^\circ:G_K\to\mathrm{GL}_d(\mathbb{Z}_p)$ whose generic fibre is crystalline of regular Hodge–Tate weights, and $\rho^\circ$ can be chosen potentially diagonalizable.

Load-bearing premise

The load-bearing premise is the new characterization (Definition 4.2.4, proved in Appendix F) that an integral p-adic representation is crystalline precisely when its Breuil–Kisin–Fargues module admits all descents—descends to $S_{\pi^\flat,A}$ for every choice of uniformiser and satisfies two independence conditions; if this criterion failed for some non-crystalline representation, the crystalline substacks would classify the wrong objects and the effectivity step proving the crystalline lift would collapse.

Editorial extensions

If this is right

The universal deformation ring $R^\square_\rho$ of every mod $p$ representation $\rho$ is realized as the completion of $X_d$ at the corresponding point; any question about all deformations of $\rho$ simultaneously is a question about the local geometry of one global stack.
Theorem 1.2.2 supplies the local input for potential automorphy: under $p \nmid 2d$ every mod $p$ local representation can be matched, at some place dividing $p$, by an automorphic Galois representation of an imaginary CM field (Corollary 6.4.7).
The equidimensional special fibre $X_{d,\mathrm{red}}$ with Serre-weight-labelled components gives a geometric reformulation of the weight part of Serre's conjecture: the refinement of the labelling by the cycles $Z_k$ of the geometric Breuil–Mézard conjecture predicts that $\rho$ admits Serre weight $k$ iff the component labelled $k$ contains $\rho$, a statement proved for $\mathrm{GL}_2$ by prio
Proposition 1.5.1 and Corollary 1.5.2 give, for each regular Hodge type $\lambda$, a uniform codimension bound on the locus where $\dim H^2$ is large in the special fibre of the crystalline lifting ring; this is the missing global input that makes the inductive extension-lifting strategy work in arbitrary rank.
The crystalline and semistable stacks $X^{\mathrm{crys},\lambda}_d$ and $X^{\mathrm{ss},\lambda}_d$ are p-adic formal algebraic stacks, so their mod $p$ reductions are algebraic stacks; this ties the mod $p$ geometry of crystalline and semistable lifting rings to the irreducible components of $X_{d,\mathrm{red}}$, providing the geometric Breuil–Mézard theorem (Theorem 8.1.4).

Reading between the lines

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

If the 'admits all descents' criterion is re-cast in the language of prismatic cohomology (the reformulation the paper itself flags in Section 1.6), the crystalline substacks $X^{\mathrm{crys},\lambda}_d$ should admit a more canonical description that may behave better under arbitrary base change and for higher-dimensional families; this is an editorial extrapolation, not a claim of the paper.
Proposition 1.5.1 concerns $H^2$ only; the same stack-geometric method should yield analogous codimension bounds for higher derived invariants or for the derived deformation ring, which would give lifting theorems for further properties (e.g., prescribed inertial type) by the same extension-lifting induction.
Because $X_d$ is not a p-adic formal algebraic stack (Proposition 6.5.2), the rigid-analytic generic fibre of $X_d$ cannot be a usual rigid space; the folklore expectation that the lifting rings are complete intersections of dimension $1 + d^2 + [K:\mathbb{Q}_p]d^2$ suggests a dimension theory for these formal stacks that has not yet been written down.
The compatibility of the Serre-weight labelling of $X_{d,\mathrm{red}}$ with the geometric Breuil–Mézard cycles $Z_k$ implies that multiplicities in the special fibres of crystalline lifting rings are determined by intersections of $X^{\mathrm{crys},\lambda}_d$ with the components of $X_{d,\mathrm{red}}$; computing these intersections for $d=2$ should recover the known Breuil–Mézard multiplicities

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.

Desk Editor's Note

read the letter

Two things to know. First, this is the paper that actually resolves the existence of crystalline lifts for every mod p representation of G_K — Theorem 1.2.2 — and it does so by constructing the global moduli stack X_d that Mazur-style deformation rings can only see infinitesimally. Second, the place to look for trouble is Appendix F.

What's new: X_d is a Noetherian formal algebraic stack over Spf Z_p, its reduced substack is finite type over F_p, equidimensional of dimension [K:Q_p]d(d-1)/2, with irreducible components labelled by Serre weights. The proof of that equidimensionality is intertwined with the lift theorem—the authors disclose the bootstrap in Remark 1.5.4, and it is a genuine bootstrap, not a circle: the weaker Theorem 5.5.11 suffices for Corollary 1.5.2, and the full strength of Proposition 1.5.1 is recovered afterwards. Theorem 1.2.4 constructs closed crystalline and semistable substacks flat over O, and the geometric Breuil–Mézard statement is honestly labelled a conjecture (1.7.2), with a qualitative version proved in Section 8.

The architecture is coherent and the paper is unusually candid about its own dependencies. The main load-bearing seam is Definition 4.2.4, the 'admits all descents' criterion for a Breuil–Kisin–Fargues module to be crystalline, proved in Appendix F. Theorem 1.2.4 defines the crystalline substacks through this criterion, and Theorem 1.2.2 relies on effectivity of Spf R^{crys,λ}/p -> X_d, which in turn relies on those substacks being the right ones. If the criterion misclassified—if it were under- or over-inclusive—Corollary 1.5.2 would not control H^2 on the correct locus. I did not find an internal flaw; Appendix F is dense and I did not verify it line by line. The authors themselves remark in Section 1.6 that the compatibilities would be better expressed prismatically, which is consistent with the criterion being subtle rather than wrong. A rank-one explicit check would be a cheap way to settle the worry.

The paper leans on their earlier [EG19] for Ind-algebraicity of φ-module stacks. That is a legitimate citation, not a flaw, but a referee needs to be comfortable with that dependency.

Who gets value: anyone working on Galois deformation rings, Breuil–Mézard, or Serre weights. It deserves a serious refereeing, and the referees should be pointed to Sections 4, 5, and Appendix F, and to the bootstrap in 1.5.4.

Referee Report

0 major / 6 minor

Summary. The paper constructs, for a finite extension K of Q_p and a non-negative integer d, the stack X_d over Spf Z_p whose A-valued points, for p-adically complete Z_p-algebras A, are rank-d projective étale (phi,Gamma)-modules with A-coefficients. The main structural theorem (Theorem 1.2.1) states that X_d is a Noetherian formal algebraic stack whose reduced special fibre X_{d,red} is of finite type over F_p, equidimensional of dimension [K:Q_p]d(d-1)/2, and whose irreducible components admit a natural labelling by Serre weights. The paper also constructs closed crystalline and semistable substacks X_d^{crys,lambda} and X_d^{ss,lambda} (Theorem 1.2.4), using a new Breuil-Kisin-Fargues 'admits all descents' criterion (Definition 4.2.4, Appendix F). These stacks are used to prove that every continuous representation rho: G_K -> GL_d(F_p) admits a lift rho^circ to GL_d(Z_p) whose associated p-adic representation is crystalline of regular Hodge-Tate weights, and that the lift may be taken potentially diagonalizable (Theorem 1.2.2). Further consequences include a potential-automorphy globalization statement (Theorem 1.2.3), an explicit rank-one description of X_d (Section 7), and a geometric Breuil-Mezard conjecture (Conjecture 1.7.2, Section 8) with supporting results for GL_2.

Significance. If correct, this is a foundational contribution to the arithmetic of local Galois representations. It algebraizes Mazur's formal deformation rings and provides the first proof that arbitrary mod p representations of G_K admit crystalline lifts in all dimensions; as the authors explain in Section 1.5, this statement was not accessible to the standard inductive lifting of extension classes because of nonzero H^2 obstructions. The proof architecture is unusually transparent about dependencies: Remark 1.5.4 explicitly identifies the bootstrap by which Proposition 1.5.1, Corollary 1.5.2, and the effectivity of Spf R^{crys,lambda}/p -> X_d are used, and the apparent circularity is resolved rather than concealed. The geometric Breuil-Mezard statement is honestly labelled as Conjecture 1.7.2 and is not overclaimed. The paper also contains technical results of independent value, notably the faithfully flat descent theorem for projective modules over rings of Witt vectors of perfectoid fields (Theorem 1.6.1, proved as Theorem 2.4.1) and the new characterization of integral lattices in potentially semistable representations in Appendix F.

minor comments (6)

[Title and abstract] The title displays 'ST ACKS' (an apparent spacing artifact) and the abstract contains several garbled accents such as '´ etale'; these should be corrected in the final version.
[§1.2 and §6.4] In Theorem 1.2.2 the same symbol rho is used for the mod p representation and for its characteristic-zero lift before the notation rho^circ is introduced later in the paper; the introduction should use rho^circ consistently from the first statement.
[§2.1.12 and §3.2.3] The term 'basic' is defined in §2.1.12 and subsequently used with two spellings ('K basic' and 'K_basic'); the notation should be unified, for example as K_basic throughout.
[Definition 4.2.4] Since the 'admits all descents' criterion is load-bearing for Theorem 1.2.4 and hence for Theorem 1.2.2, a short remark explaining the intended meaning of the two independence conditions (1) and (2), together with an explicit rank-one verification, would considerably aid the reader; Section 7 is a natural place for such a check.
[Remark 1.5.4] The bootstrap in Remark 1.5.4 is easy to misread as circular; a one-sentence dependency diagram or a numbered sequence indicating which results are used before and after Theorem 1.2.2 would make the logical ordering unambiguous.
[§1.7 and §8] Conjecture 1.7.2 is clearly labelled as a conjecture, but the surrounding discussion in §1.7 could emphasize more strongly that the displayed cycle identity is not a theorem; some results in Section 8 are conditional on this conjecture, and the distinction should be kept explicit.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the crystalline-lift theorem is derived from new stack geometry and an independently proved BKF-descent criterion, not from its own conclusion.

full rationale

The central derivation chain is: construct X_d as a Noetherian formal algebraic stack; use the Breuil-Kisin-Fargues 'admits all descents' criterion (Definition 4.2.4, proved in Appendix F) to cut out crystalline substacks X^{crys,lambda}_d; prove the H^2-codimension bound via the Herr complex and the induced family construction; deduce effectivity of Spf R^{crys,lambda}/p -> X_d from the algebraicity of the special fibre; and then prove Theorem 1.2.2. None of these steps is a restatement of the input. The dependence on [EG19] (Theorem 3.1.4, Corollary 3.1.5) is a citation to a separate, parameter-free algebraic-stack construction whose assumptions do not include the crystalline-lift conclusion; it is independent support, not circularity. Appendix F's characterization of integral crystalline representations is proved in the paper itself and is not used as an unproved premise equivalent to the target theorem. Remark 1.5.4 explicitly explains the bootstrap: Theorem 5.5.11 supplies only the dimension upper bound needed for Corollary 1.5.2, after which Corollary 1.5.2 yields Theorem 1.2.2, which in turn upgrades the upper bound to equidimensionality; this is a legitimate strengthening, not a circular reduction, because the final Proposition 1.5.1 is not required to prove Corollary 1.5.2. The geometric Breuil-Mezard statements are honestly labelled conjectural (Conjecture 1.7.2), and the rank-one and GL_2 checks are explicit, so no fitted parameter is renamed as a prediction. No circular step of any of the enumerated kinds is identifiable in the text.

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

This is a proof-based paper; no quantities are fitted to data, so the free-parameter ledger is empty. The Hodge types lambda and inertial types tau are inputs to the statements, not tuned parameters. The load-bearing inputs are standard background theorems from Fontaine, Kisin, Herr, Dee, and the Stacks Project, plus two results that are the authors' own: the Ind-algebraicity of moduli of etale phi-modules from [EG19] and the new Breuil-Kisin-Fargues descent criterion proven in Appendix F. The two invented entities are mathematical constructions with precise moduli definitions, not postulated forces or particles; each carries an independent checkable handle.

assumptions (7)

standard math Fontaine's equivalence of categories between etale (phi,Gamma)-modules over A_K and continuous representations of G_K on finite Z_p-modules, with base change to finite coefficient algebras.
Used throughout Sections 2.7 and 3.6 to identify the F_p-points of X_d with residual representations; the A-coefficient version for finite A is cited to Fontaine [Fon90] and Dee [Dee01].
domain assumption The moduli stack of etale phi-modules R_d is a limit-preserving Ind-algebraic stack with representable affine diagonal, from the authors' earlier paper.
Invoked as Theorem 3.1.4, citing [EG19, Thm. 5.4.9, 5.4.11, 5.4.20]. This is the algebraic foundation on which X_d is built; it is published separately but is the authors' own prior result.
domain assumption Crystalline integral representations are exactly those whose Breuil-Kisin-Fargues modules admit all descents for every choice of Kummer extension (Definition 4.2.4).
Proven in Appendix F (Theorems F.11 and F.22, joint with Tong Liu). This is new and load-bearing for Theorem 1.2.4 and for the effectiveness step in the proof of Theorem 1.2.2; the paper notes in Section 1.6 that the compatibilities may be better expressed prismatically.
standard math Kisin's dimension formula: crystalline and semistable lifting rings are equidimensional of dimension 1 + d^2 + #{i<j : lambda_{sigma,i} > lambda_{sigma,j}} when nonzero.
Stated in Section 1.12 as the main theorems of [Kis08]; used in Remark 1.5.4 to know Spec R^{crys,lambda}_rho/p is equidimensional, which is needed to pass from the dimension bound of Theorem 5.5.11 to Corollary 1.5.2.
standard math Herr's complex computes Galois cohomology of (phi,Gamma)-modules and base-changes to a perfect complex of A-modules.
Developed in Section 5 following Herr [Her98, Her01] and Pottharst [Pot13]; it is the engine for the inductive construction of the families of extensions X^k_{d,red} and for the codimension bound on the H^2 locus.
standard math Almost Galois descent for projective modules over W(F^flat)_A (Theorem 2.4.1) and Frobenius descent for etale phi-modules (Proposition 2.6.9).
Proven in Sections 2.3 to 2.6; Theorem 2.4.1 converts (phi,Gamma)-modules into (G_K, phi)-modules over W(C^flat)_A and is a key bridge in Sections 3 and 4.
domain assumption Versal rings of algebraic stacks are effective, and the special fibre of a p-adic formal algebraic stack is an algebraic stack.
Established in Appendix A following [Eme]; Section 1.5 uses this to show Spf R^{crys,lambda}_rho/p maps effectively to X_d, so the universal formal (phi,Gamma)-module over the completion descends to a genuine (phi,Gamma)-module.

invented entities (2)

Emerton-Gee stack X_d (moduli of projective etale (phi,Gamma)-modules of rank d over Spf Z_p) independent evidence
purpose: A global moduli object whose F_p-points are the mod p representations of G_K and whose formal completions at closed points recover Mazur's deformation rings; the backbone for the crystalline lift theorem.
Unlike a postulated entity, X_d is defined by a moduli problem on p-adically complete Z_p-algebras. Its F_p-points are provably equivalent to representations G_K to GL_d(F_p) (Section 3.6), so it has a concrete falsifiable handle: the closed points are exactly the residual representations.
Crystalline and semistable substacks X^{crys,lambda}_d and X^{ss,lambda}_d independent evidence
purpose: Closed, O-flat p-adic formal algebraic substacks of (X_d)_O whose finite flat O-algebra points are exactly the crystalline and semistable representations of Hodge type lambda; they make the special fibres of crystalline lifting rings algebraic and provide the effectiveness step.
Their A-valued points are characterized by a representation-theoretic property (becoming crystalline or semistable after scalar extension), which is a precise, checkable handle independent of the construction.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Moduli stacks of \'etale (phi,Gamma)-modules and the existence of crystalline lifts." pith.science (2026). https://pith.science/paper/JLPYBFD3

@misc{pith2026190807185,
  author       = {Pith},
  title        = {Pith review of: Moduli stacks of \'etale (phi,Gamma)-modules and the existence of crystalline lifts},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JLPYBFD3}},
  note         = {Machine review of arXiv:1908.07185}
}

read the original abstract

We construct stacks which algebraize Mazur's formal deformation rings of local Galois representations. More precisely, we construct Noetherian formal algebraic stacks over Spf Zp which parameterize \'etale (phi,Gamma)-modules; the formal completions of these stacks at points in their special fibres recover the universal deformation rings of local Galois representations. We use these stacks to show that all mod p representations of the absolute Galois group of a p-adic local field lift to characteristic zero, and indeed admit crystalline lifts. We also discuss the relationship between the geometry of our stacks and the Breuil-M\'ezard conjecture.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

Moduli stacks of two-dimensional Galois representations
math.NT 2019-08 accept novelty 8.0 of 10

A moduli stack of two-dimensional mod p Galois representations of a p-adic field is constructed, and its irreducible components are shown to correspond exactly to the Serre weights of the representations.
Lifting $G$-irreducible but $\mathrm{GL}_n$-reducible Galois representations
math.NT 2019-08 accept novelty 6.0 of 10

For every even N at least 6, the paper produces infinitely many SO_{N+1}-valued residual Galois representations that are SO_{N+1}-irreducible but GL_{N+1}-reducible, each with a geometric lift of Zariski-dense image.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · cited by 2 Pith papers

[1]

Allen, On automorphic points in polarized deformation rings , American Journal of Mathematics 141 (2019), no

[All19] Patrick B. Allen, On automorphic points in polarized deformation rings , American Journal of Mathematics 141 (2019), no. 1, 119–167. [Ax70] James Ax, Zeros of polynomials over local ﬁelds—The Galois action , J. Algebra 15 (1970), 417–428. [BDJ10] Kevin Buzzard, Fred Diamond, and Frazer Jarvis, On Serre’s conjecture for mod ℓ Galois representations...

work page 2019
[5]

Breuil-Kisin modules and integral $p$-adic Hodge theory

[Fon85] Jean-Marc Fontaine, Il n ’y a pas de vari´ et´ e ab´ elienne surZ, Invent. Math. 81 (1985), no. 3, 515–538. [Fon90] , Repr´ esentationsp-adiques des corps locaux. I , The Grothendieck Festschrift, Vol. II, Progr. Math., vol. 87, Birkh¨ auser Boston, Boston, MA, 1990, pp. 249–309. [Fon94] , Representations p-adiques semi-stables , Ast´ erisque223 (...

work page Pith review arXiv 1985
[32]

[Liu08b] Tong Liu, On lattices in semi-stable representations: a proof of a con jecture of Breuil, Compos. Math. 144 (2008), no. 1, 61–88. [Liu10] , A note on lattices in semi-stable representations , Math. Ann. 346 (2010), no. 1, 117–138. [Liu12] , Lattices in ﬁltered (φ, N)-modules, J. Inst. Math. Jussieu 11 (2012), no. 3, 659–693. [Liu18] , Compatibili...

work page 2008
[49]

Scheme-theoretic images

[Dee01] Jonathan Dee, Φ -Γ modules for families of Galois representations , J. Algebra 235 (2001), no. 2, 636–664. [Dri06] Vladimir Drinfeld, Inﬁnite-dimensional vector bundles in algebraic geometry : an introduction, The unity of mathematics, Progr. Math., vol. 244, Birkh¨ au ser Boston, Boston, MA, 2006, pp. 263–304. [EG14] Matthew Emerton and Toby Gee,...

work page 2001
[52]

Grauert and R

MODULI STACKS OF ´ETALE (ϕ, Γ)-MODULES 213 [GR71] H. Grauert and R. Remmert, Analytische Stellenalgebren , Springer-Verlag, Berlin- New York, 1971, Unter Mitarbeit von O. Riemenschneider, Die Grundlehren der mathematischen Wissenschaften, Band

work page 1971
[71]

[GHLS17] Toby Gee, Florian Herzig, Tong Liu, and David Savit t, Potentially crystalline lifts of certain prescribed types , Doc

[Ger18] David Geraghty, Modularity lifting theorems for ordinary Galois represent ations, Mathematische Annalen (2018). [GHLS17] Toby Gee, Florian Herzig, Tong Liu, and David Savit t, Potentially crystalline lifts of certain prescribed types , Doc. Math. 22 (2017), 397–422. [GHS18] Toby Gee, Florian Herzig, and David Savitt, General Serre weight conjectur...

work page 2018
[1971]

Kedlaya, Jonathan Pottharst, and Liang Xia o, Cohomology of arithmetic families of (ϕ, Γ) -modules, J

[KPX14] Kiran S. Kedlaya, Jonathan Pottharst, and Liang Xia o, Cohomology of arithmetic families of (ϕ, Γ) -modules, J. Amer. Math. Soc. 27 (2014), no. 4, 1043–1115. [Liu08a] Ruochuan Liu, Cohomology and duality for (φ, Γ) -modules over the Robba ring , Int. Math. Res. Not. IMRN (2008), no. 3, Art. ID rnm150,

work page 2014
[1990]

[BM02] Christophe Breuil and Ariane M´ ezard, Multiplicit´ es modulaires et repr´ esentations de GL2(Zp) et de Gal(Qp/Qp) en l = p, Duke Math. J. 115 (2002), no. 2, 205–310, With an appendix by Guy Henniart. [BM14] Christophe Breuil and Ariane M´ ezard, Multiplicit´ es modulaires raﬃn´ ees, Bull. Soc. Math. France 142 (2014), no. 1, 127–175. [BMS19] Bharg...

work page Pith review arXiv 2002

Show all 13 references

[2003]

Gabber and L

[GR04] O. Gabber and L. Ramero, Foundations for almost ring theory – Release 7.5 , ArXiv Mathematics e-prints (2004). [Hel13] Eugen Hellmann, On arithmetic families of ﬁltered φ-modules and crystalline repre- sentations, J. Inst. Math. Jussieu 12 (2013), no. 4, 677–726. [Hel16...

2004 arXiv
[2009]

[Sno18] Andrew Snowden, Singularities of ordinary deformation rings , Math. Z. 288 (2018), no. 3-4, 759–781. [ST03] Peter Schneider and Jeremy Teitelbaum, Algebras of p-adic distributions and admis- sible representations, Invent. Math. 153 (2003), no. 1, 145–196. [Sta] The Sta...

2018 arXiv
[2013]

EMERTON AND T

214 M. EMERTON AND T. GEE [Nek93] Jan Nekov´ aˇ r, On p-adic height pairings , S´ eminaire de Th´ eorie des Nombres, Paris, 1990–91, Progr. Math., vol. 108, Birkh¨ auser Boston, Boston, MA, 1993, pp. 127–202. [Oze18] Yoshiyasu Ozeki, Lattices in crystalline representations and...

2018
[2017]

7, 1571–1612

[Pot13] Jonathan Pottharst, Analytic families of ﬁnite-slope Selmer groups , Algebra Number Theory 7 (2013), no. 7, 1571–1612. [PR09] G. Pappas and M. Rapoport, Φ -modules and coeﬃcient spaces , Mosc. Math. J. 9 (2009), no. 3, 625–663, back matter. [Pyv18] A. Pyvovarov, Generi...

2013
[2018]

Vol. II. Invited lectu res, W orld Sci. Publ., Hackensack, NJ, 2018, pp. 291–319. [FGK11] Kazuhiro Fujiwara, Ofer Gabber, and Fumiharu Kato, On Hausdorﬀ completions of commutative rings in rigid geometry , J. Algebra 332 (2011), 293–321. [FK18] Kazuhiro Fujiwara and Fumiharu K...

2011

Pith tools

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

[1] [1]

Allen, On automorphic points in polarized deformation rings , American Journal of Mathematics 141 (2019), no

[All19] Patrick B. Allen, On automorphic points in polarized deformation rings , American Journal of Mathematics 141 (2019), no. 1, 119–167. [Ax70] James Ax, Zeros of polynomials over local ﬁelds—The Galois action , J. Algebra 15 (1970), 417–428. [BDJ10] Kevin Buzzard, Fred Diamond, and Frazer Jarvis, On Serre’s conjecture for mod ℓ Galois representations...

work page 2019

[2] [5]

Breuil-Kisin modules and integral $p$-adic Hodge theory

[Fon85] Jean-Marc Fontaine, Il n ’y a pas de vari´ et´ e ab´ elienne surZ, Invent. Math. 81 (1985), no. 3, 515–538. [Fon90] , Repr´ esentationsp-adiques des corps locaux. I , The Grothendieck Festschrift, Vol. II, Progr. Math., vol. 87, Birkh¨ auser Boston, Boston, MA, 1990, pp. 249–309. [Fon94] , Representations p-adiques semi-stables , Ast´ erisque223 (...

work page Pith review arXiv 1985

[3] [32]

[Liu08b] Tong Liu, On lattices in semi-stable representations: a proof of a con jecture of Breuil, Compos. Math. 144 (2008), no. 1, 61–88. [Liu10] , A note on lattices in semi-stable representations , Math. Ann. 346 (2010), no. 1, 117–138. [Liu12] , Lattices in ﬁltered (φ, N)-modules, J. Inst. Math. Jussieu 11 (2012), no. 3, 659–693. [Liu18] , Compatibili...

work page 2008

[4] [49]

Scheme-theoretic images

[Dee01] Jonathan Dee, Φ -Γ modules for families of Galois representations , J. Algebra 235 (2001), no. 2, 636–664. [Dri06] Vladimir Drinfeld, Inﬁnite-dimensional vector bundles in algebraic geometry : an introduction, The unity of mathematics, Progr. Math., vol. 244, Birkh¨ au ser Boston, Boston, MA, 2006, pp. 263–304. [EG14] Matthew Emerton and Toby Gee,...

work page 2001

[5] [52]

Grauert and R

MODULI STACKS OF ´ETALE (ϕ, Γ)-MODULES 213 [GR71] H. Grauert and R. Remmert, Analytische Stellenalgebren , Springer-Verlag, Berlin- New York, 1971, Unter Mitarbeit von O. Riemenschneider, Die Grundlehren der mathematischen Wissenschaften, Band

work page 1971

[6] [71]

[GHLS17] Toby Gee, Florian Herzig, Tong Liu, and David Savit t, Potentially crystalline lifts of certain prescribed types , Doc

[Ger18] David Geraghty, Modularity lifting theorems for ordinary Galois represent ations, Mathematische Annalen (2018). [GHLS17] Toby Gee, Florian Herzig, Tong Liu, and David Savit t, Potentially crystalline lifts of certain prescribed types , Doc. Math. 22 (2017), 397–422. [GHS18] Toby Gee, Florian Herzig, and David Savitt, General Serre weight conjectur...

work page 2018

[7] [1971]

Kedlaya, Jonathan Pottharst, and Liang Xia o, Cohomology of arithmetic families of (ϕ, Γ) -modules, J

[KPX14] Kiran S. Kedlaya, Jonathan Pottharst, and Liang Xia o, Cohomology of arithmetic families of (ϕ, Γ) -modules, J. Amer. Math. Soc. 27 (2014), no. 4, 1043–1115. [Liu08a] Ruochuan Liu, Cohomology and duality for (φ, Γ) -modules over the Robba ring , Int. Math. Res. Not. IMRN (2008), no. 3, Art. ID rnm150,

work page 2014

[8] [1990]

[BM02] Christophe Breuil and Ariane M´ ezard, Multiplicit´ es modulaires et repr´ esentations de GL2(Zp) et de Gal(Qp/Qp) en l = p, Duke Math. J. 115 (2002), no. 2, 205–310, With an appendix by Guy Henniart. [BM14] Christophe Breuil and Ariane M´ ezard, Multiplicit´ es modulaires raﬃn´ ees, Bull. Soc. Math. France 142 (2014), no. 1, 127–175. [BMS19] Bharg...

work page Pith review arXiv 2002