Abstract:Let F be a number field with adele ring A_F, and \pi an isobaric, algebraic automorphic representation of GL_4(A_F) of a fixed archimedean weight, which is quasi-regular, meaning that at every archimedean place v of F, the 4-dimensional representation \sigma_v of the Weil group W_{F_v} attached to \pi_v is multiplicity free. Suppose there is an associated 4-dimensional, Hodge-Tate p-adic representation \rho of the absolute Galois group G_F, whose local L-factors agree with those of \pi (up to a shift) at almost all primes P of F. Then our first result is that the semisimplification of \rho does not contain any irreducible 2-dimensional Galois representation which is even. The second result is that if \pi is regular and \rho crystalline, then for sufficiently large p (see the article for a precise statement), the decomposition type of \rho is the same as the isobaric type of \pi. A consequence is that \rho is irreducible when \pi is cuspidal (and regular algebraic), which has also been proved by F. Calegari and T. Gee, in fact with no hypothesis on p. The third and final result, using Taylor's potential modularity theorem, is that given a pair (\sigma, \sigma') of odd, 2-dimensional p-adic representations of the same weight and distinct Hodge-Tate types, such that their direct sum is automorphic, the dimension of the G_F-invariants of the tensor product \eta of the dual of \sigma with \sigma' equals, for large p, the order of pole at s=1 of the L-function of \eta (with the bad factors removed). This is as predicted by the Tate conjecture when \sigma, \sigma' occur in p-adic etale cohmology of smooth projective varieties over F, and it also provides a useful link to a small piece of the work of C. Skinner and E. Urban.

A Hodge--Tate decomposition with rigid analytic coefficients

On the Eisenstein Cohomology of Arithmetic Groups

The relative Hodge-Tate spectral sequence for rigid analytic spaces

Analytic Geometry and Hodge-Frobenius Structure

Critical Lambda-adic modular forms and bi-ordinary complexes

A $p$-adic Simpson correspondence for smooth proper rigid varieties

Rational $p$-adic Hodge theory for rigid-analytic varieties

$p$-adic non-abelian Hodge theory for curves via moduli stacks

Locally analytic vectors and decompletion in mixed characteristic

Decomposition and parity of p-adic representations attached to algebraic automorphic forms on GL(4)

A Multiplicative Tate Spectral Sequence for Compact Lie Group Actions

L-functions associated with families of toric exponential sums

Relative étale slices and cohomology of moduli spaces

On p-torsions of geometric Brauer groups

Duality for Arithmetic $p$-adic Pro-étale Cohomology of Analytic Spaces

Extensions of tautological rings and motivic structures in the cohomology of $\overline{\mathcal{M}}_{g,n}$

The analytic de Rham stack in rigid geometry

Spreading out the Hodge filtration in non-archimedean geometry

Arithmetic duality for $p$-adic pro-étale cohomology of analytic curves

A $p$-Adic 6-Functor Formalism in Rigid-Analytic Geometry