Abstract:Let $(\rho_\lambda\colon G_{\mathbb Q}\to \operatorname{GL}_5(\overline{E}_\lambda))_\lambda$ be a strictly compatible system of Galois representations such that no Hodge--Tate weight has multiplicity $5$. We show that if $\rho_{\lambda_0}$ is irreducible for some $\lambda_0$, then $\rho_\lambda$ is irreducible for all but finitely many $\lambda$. More generally, if $(\rho_\lambda)_\lambda$ is essentially self-dual, we show that either $\rho_\lambda$ is irreducible for all but finitely many $\lambda$, or the compatible system $(\rho_\lambda)_\lambda$ decomposes as a direct sum of lower-dimensional compatible systems. We apply our results to study the Tate conjecture for elliptic surfaces. For example, if $X_0\colon y^2 + (t+3)xy + y= x^3$, we prove the codimension one $\ell$-adic Tate conjecture for all but finitely many $\ell$, for all but finitely many general, degree $3$, genus $2$ branched multiplicative covers of $X_0$. To prove this result, we classify the elliptic surfaces into six families, and prove, using perverse sheaf theory and a result of Cadoret--Tamagawa, that if one surface in a family satisfies the Tate conjecture, then all but finitely many do. We then verify the Tate conjecture for one representative of each family by making our irreducibility result explicit: for the compatible system arising from the transcendental part of $H^2_{\mathrm{et}}(X_{\overline{\mathbb Q}}, \mathbb{Q}_\ell(1))$ for a representative $X$, we formulate an algorithm that takes as input the characteristic polynomials of Frobenius, and terminates if and only if the compatible system is irreducible.

Compatible Relative Lefschetz Fibrations On Admissible Relative Stein Pairs

Compatible Relative Open Books on Relative Contact Pairs via Generalized Square Bridge Diagrams

Spin Lefschetz fibrations are abundant

Five-dimensional compatible systems and the Tate conjecture for elliptic surfaces

Lefschetz fibrations and symplectic homology

On Hyperelliptic C^∞-Lefschetz Fibrations of Four-Manifolds

Geography of symplectic Lefschetz fibrations and rational blowdowns

Paucity of rational points on fibrations with multiple fibres

On existence of bounded relative-global complements for Fano fibrations

Stable equivariant birationalities of cubic and degree 14 Fano threefolds

Symplectic rational homology ball fillings of Seifert fibered spaces

Irreducible symplectic varieties with a large second Betti number

A note on embedding of achiral Lefschetz fibrations

Relative and absolute Lefschetz standard conjectures for some Lagrangian fibrations

Sphere fibrations over highly connected manifolds

Spherical varieties and p-adic families of cohomology classes

Certaines fibrations en surfaces quadriques réelles

On the Holomorphicity of Genus Two Lefschetz Fibrations

Singular Lagrangian torus fibrations on the smoothing of algebraic cones

Faisceaux caractères sur les espaces de lacets d'algèbres de Lie