A Galois deformation ring is the ring that represents the deformation functor that assigns to a complete Noetherian local -algebra the set of deformations (equivalence classes of lifts) of a fixed residual representation to .
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.
Let be a number field, let be a finite field, with ring of Witt vectors , and let be a linear representation. In reference to being the residue field of we refer to as a residual representation.
Let be a complete Noetherian -algebra. A lift, or framed deformation, of is a Galois representation such that reduction of by the unique maximal ideal of gives back .
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.
The framed deformation functor is the functor assigns to a complete Noetherian local algebra the set of lifts of to .
The framed deformation functor (Def. ) is represented by a lift . We refer to the ring as the universal framed deformation ring.
The deformation functor is the functor assigns to a complete Noetherian local algebra the set of lifts of to
We say that is Schur if .
Let be Schur. Then the deformation functor is represented by a deformation . We refer to the ring as the universal deformation ring.
(…)
A version of Galois deformation rings in derived geometry has been developed by Soren Galatius and Akshay Venkatesh.
Toby Gee, Modularity Lifting Theorems: Notes for Arizona Winter School, pdf
Soren Galatius and Akshay Venkatesh, Derived Galois Deformation Rings, arxiv:1608.07236
Last revised on July 3, 2022 at 01:44:52. See the history of this page for a list of all contributions to it.