nLab Galois deformation ring

Redirected from "Galois deformation rings".
Note: Galois deformation ring and Galois deformation ring both redirect for "Galois deformation rings".
Contents

Contents

Idea

A Galois deformation ring is the ring that represents the deformation functor Def ρ¯\mathrm{Def}_{\overline{\rho}} that assigns to a complete Noetherian local W(𝔽)W(\mathbb{F})-algebra AA the set of deformations (equivalence classes of lifts) of a fixed residual representation ρ¯:Gal(F¯/F)GL n(𝔽)\overline{\rho}:\Gal(\overline{F}/F)\to GL_{n}(\mathbb{F}) to AA.

They were first introduced by Mazur, and find application in modularity, i.e. showing that a Galois representation comes from a modular form. As such they are instrumental in the proof of the Taniyama-Shimura conjecture.

Definitions

Let FF be a number field, let 𝔽\mathbb{F} be a finite field, with ring of Witt vectors W(𝔽)W(\mathbb{F}), and let ρ¯:Gal(F¯/F)GL n(𝔽)\overline{\rho} \colon \Gal(\overline{F}/F)\to GL_{n}(\mathbb{F}) be a linear representation. In reference to 𝔽\mathbb{F} being the residue field of W(𝔽)W(\mathbb{F}) we refer to ρ¯\overline{\rho} as a residual representation.

Definition

Let AA be a complete Noetherian W(𝔽)W(\mathbb{F})-algebra. A lift, or framed deformation, of ρ¯\overline{\rho} is a Galois representation ρ:Gal(F¯/F)GL n(A)\rho \colon \Gal(\overline{F}/F)\to GL_{n}(A) such that reduction of ρ\rho by the unique maximal ideal 𝔪\mathfrak{m} of AA gives back ρ¯\overline{\rho}.

Definition

A deformation is an equivalence class of lifts, where two lifts are considered equivalent if they are conjugate by an element of the kernel of the reduction map.

Definition

The framed deformation functor Def ρ¯ \mathrm{Def}_{\overline{\rho}}^{\Box} is the functor assigns to a complete Noetherian local algebra AA the set of lifts of ρ¯\overline{\rho} to AA.

Theorem

The framed deformation functor Def ρ¯ \mathrm{Def}_{\overline{\rho}}^{\Box} (Def. ) is represented by a lift ρ(R ρ¯ )\rho(R_{\overline{\rho}}^{\Box}). We refer to the ring R ρ¯ R_{\overline{\rho}}^{\Box} as the universal framed deformation ring.

Definition

The deformation functor Def ρ¯ \mathrm{Def}_{\overline{\rho}}^{\Box} is the functor assigns to a complete Noetherian local algebra AA the set of lifts of ρ¯\overline{\rho} to AA

Definition

We say that ρ¯\overline{\rho} is Schur if End 𝔽[Gal(F¯/F)]ρ¯=𝔽\mathrm{End}_{\mathbb{F}[\mathrm{Gal}(\overline{F}/F)]}\overline{\rho}=\mathbb{F}.

Theorem

Let ρ¯\overline{\rho} be Schur. Then the deformation functor Def ρ¯\mathrm{Def}_{\overline{\rho}} is represented by a deformation ρ(R ρ¯ )\rho(R_{\overline{\rho}}^{\Box}). We refer to the ring R ρ¯R_{\overline{\rho}} as the universal deformation ring.

Tangent spaces and Galois cohomology

(…)

Derived version

A version of Galois deformation rings in derived geometry has been developed by Soren Galatius and Akshay Venkatesh.

References

Last revised on July 3, 2022 at 01:44:52. See the history of this page for a list of all contributions to it.