GLOBALLY REALIZABLE COMPONENTS OF LOCAL DEFORMATION RINGS

Let $n$ be either $2$ or an odd integer greater than $1$ , and fix a prime $p>2(n+1)$ . Under standard ‘adequate image’ assumptions, we show that the set of components of $n$ -dimensional $p$ -adic potentially semistable local Galois deformation rings that are seen by potentially automorphic compatible systems of polarizable Galois representations over some CM field is independent of the particular global situation. We also (under the same assumption on $n$ ) improve on the main potential automorphy result of Barnet-Lamb et al. [Potential automorphy and change of weight, Ann. of Math. (2) 179(2) (2014), 501–609], replacing ‘potentially diagonalizable’ by ‘potentially globally realizable’.

Smoothness of definite unitary eigenvarieties at critical points

We compute an upper bound for the dimension of the tangent spaces at classical points of certain eigenvarieties associated with definite unitary groups, especially including the so-called critically refined cases. Our bound is given in terms of “critical types” and when our bound is minimized it matches the dimension of the eigenvariety. In those cases, which we explicitly determine, the eigenvariety is necessarily smooth and our proof also shows that the completed local ring on the eigenvariety is naturally a certain universal Galois deformation ring.

DEFORMATION CONDITIONS FOR PSEUDOREPRESENTATIONS

Given a property of representations satisfying a basic stability condition, Ramakrishna developed a variant of Mazur’s Galois deformation theory for representations with that property. We introduce an axiomatic definition of pseudorepresentations with such a property. Among other things, we show that pseudorepresentations with a property enjoy a good deformation theory, generalizing Ramakrishna’s theory to pseudorepresentations.

On Greenberg’s L-invariant of the symmetric sixth power of an ordinary cusp form

We derive a formula for Greenberg’s L-invariant of Tate twists of the symmetric sixth power of an ordinary non-CM cuspidal newform of weight ≥4, under some technical assumptions. This requires a ‘sufficiently rich’ Galois deformation of the symmetric cube, which we obtain from the symmetric cube lift to GSp(4)/Q of Ramakrishnan–Shahidi and the Hida theory of this group developed by Tilouine–Urban. The L-invariant is expressed in terms of derivatives of Frobenius eigenvalues varying in the Hida family. Our result suggests that one could compute Greenberg’s L-invariant of all symmetric powers by using appropriate functorial transfers and Hida theory on higher rank groups.