Abstract
We construct and study the moduli of continuous representations of a profinite group with integral p-adic coefficients. We present this moduli space over the moduli space of continuous pseudorepresentations and show that this morphism is algebraizable. When this profinite group is the absolute Galois group of a p-adic local field, we show that these moduli spaces admit Zariski-closed loci cutting out Galois representations that are potentially semi-stable with bounded Hodge–Tate weights and a given Hodge and Galois type. As a consequence, we show that these loci descend to the universal deformation ring of the corresponding pseudorepresentation.
Highlights
Mazur [35] initiated the systematic study of the moduli of representations of a Galois group G in terms of complete local deformation rings
The main idea pursued is that the adjoint action of GLd on the scheme of framed representations RepR,d, whose associated quotient stack is RepdR, has geometric invariant theoretic (GIT) quotient nearly equal to PsRdR
We establish that the GIT quotient and PsRdR naturally have identical geometric points because each set of geometric points naturally corresponds to isomorphism classes of semi-simple representations
Summary
Mazur [35] initiated the systematic study of the moduli of representations of a Galois group G in terms of complete local deformation rings. For a fixed residual representation ρwith coefficients in the finite residue field F, which admits a universal deformation ring Rρ, the resulting moduli space Spf Rρis “purely formal” in the sense that the underlying algebraic scheme Spec F is 0-dimensional. The fact that ψ is algebraic of finite type and universally closed can be used to produce a potentially semi-stable pseudodeformation ring. We remark that the correct notion of “a global pseudorepresentation that is locally potentially semi-stable” is more restrictive than “a global pseudorepresentation such that its restriction to each decomposition group over p is potentially semi-stable.” This is well-illustrated through the explicit example of a 2-dimensional global ordinary pseudodeformation ring, which we discuss in Sect. We emphasize that Theorem A is based on a study of the moduli of representations of a finitely generated associative algebra over a Noetherian ring in Sect. The conclusions of Theorem A may be viewed as generalizations, allowing for the profinite topology and non-zero characteristic, of parts of the investigations of Le Bruyn [30,31] (building on [39]) in non-commutative algebraic geometry
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have