Derived Galois deformation rings

We give evidence that these rings R occur in the wild: For suitable Galois representations, the Langlands program predicts that π0R should act on the homology of an arithmetic group. We explain how the Taylor-Wiles method can be used to upgrade such an action to a graded action of π⁎R on the homology.