arXiv subjects

Tobias Berger

Publications and source records attributed to Tobias Berger.

At least 19 recordsLinked to original sources

arXiv2025

Klingen Eisenstein series congruences and modularity

We construct a mod $\ell$ congruence between a Klingen Eisenstein series (associated to a classical newform $ϕ$ of weight $k$) and a Siegel cusp form $f$ with irreducible Galois representation. We use this congruence to show non-vanishing of the Bloch-Kato Selmer group $H^1_f(\mathbf{Q}, \textrm{ad}^0ρ_ϕ(2-k)\otimes \mathbf{Q}_{\ell}/\mathbf{Z}_{\ell})$ under certain assumptions and provide an example. We then prove an $R=dvr$ theorem for the Fontaine-Laffaille universal deformation ring of $\overlineρ_f$ under some assumptions, in particular, that the residual Selmer group $H^1_f(\mathbf{Q}, \textrm{ad}^0\overlineρ_ϕ(k-2))$ is cyclic. For this we prove a result about extensions of Fontaine-Laffaille modules. We end by formulating conditions for when $H^1_f(\mathbf{Q}, \textrm{ad}^0\overlineρ_ϕ(k-2))$ is non-cyclic and the Eisenstein ideal is non-principal.

math.NT↗

arXiv2022

$R=T$ theorems for weight one modular forms

We prove modularity of certain residually reducible ordinary 2-dimensional $p$-adic Galois representations with determinant a finite order odd character $χ$. For certain non-quadratic $χ$ we prove an $R=T$ result for $T$ the weight 1 specialisation of the Hida Hecke algebra acting on non-classical weight 1 forms, under the assumption that no two Hida families congruent to an Eisenstein series cross in weight 1. For quadratic $χ$ we prove that the quotient of $R$ corresponding to deformations split at $p$ is isomorphic to the Hecke algebra acting on classical CM weight 1 modular forms.

math.NT↗

arXiv2020

Lafforgue pseudocharacters and parities of limits of Galois representations

Let $F$ be a CM field with totally real subfield $F^+$ and let $π$ be a $C$-algebraic cuspidal automorphic automorphic representation of $\mathrm{U}(a,b)(\mathbf{A}_{F^+})$ whose archimedean components lie in the (non-degenerate limit of) discrete series. We attach to $π$ a Galois representation $R_π:\mathrm{Gal}(\overline F/ F^+)\to{}^C\mathrm{U}(a,b)(\overline{\mathbf Q}_\ell)$ such that, for any complex conjugation element $c$, $R_π(c)$ is as predicted by the Buzzard--Gee conjecture. As a corollary, we deduce that the Galois representations attached to certain irregular, $C$-algebraic (essentially) conjugate self-dual cuspidal automorphic representations of $\mathrm{GL}_n(\mathbf A_F)$ are odd in the sense of Bellaïche--Chenevier.

math.NT↗

arXiv2020

On Siegel eigenvarieties at Saito-Kurokawa points

We study the geometry of the $p$-adic Siegel eigenvariety $\mathcal{E}$ of paramodular tame level at certain Saito-Kurokawa points having a critical slope. For $k \geq 2$ let $f$ be a cuspidal new eigenform of $\mathrm{S}_{2k-2}(Γ_0(N))$ ordinary at a prime $p\nmid N$ with sign $ε_f=-1$ and write $α$ for the $p$-adic unit root of the Hecke polynomial of $f$ at $p$. Let $π_α$ be the semi-ordinary $p$-stabilization of the Saito-Kurokawa lift of the cusp form $f$ to $\mathrm{GSp}(4)$ of weight $(k,k)$ and paramodular tame level. Under the assumption that the dimension of the Selmer group $H^1_{f,\mathrm{unr}}(\mathbb{Q},ρ_f(k-1))$ attached to $f$ is at most one and some mild assumptions on the automorphic representation attached to $f$, we show that $\mathcal{E}$ is smooth at the point corresponding to $π_α$, and that the irreducible component of $\mathcal{E}$ specializing to $π_α$ is not globally endoscopic. Finally we give an application to the Bloch-Kato conjecture, by proving under some mild assumptions that the smoothness failure of $\mathcal{E}$ at $π_α$ yields that $\dim H^1_{f,\mathrm{unr}}(\mathbb{Q},ρ_f(k-1))\geq 2$.

math.NT↗

arXiv2020

Irreducibility of limits of Galois representations of Saito-Kurokawa type

We prove (under certain assumptions) the irreducibility of the limit $σ_2$ of a sequence of irreducible essentially self-dual Galois representations $σ_k: G_{\mathbf{Q}} \to \mathrm{GL}_4(\overline{\mathbf{Q}}_p)$ (as $k$ approaches 2 in a $p$-adic sense) which mod $p$ reduce (after semi-simplifying) to $1 \oplus ρ\oplus χ$ with $ρ$ irreducible, two-dimensional of determinant $χ$, where $χ$ is the mod $p$ cyclotomic character. More precisely, we assume that $σ_k$ are crystalline (with a particular choice of weights) and Siegel-ordinary at $p$. Such representations arise in the study of $p$-adic families of Siegel modular forms and properties of their limits as $k\to 2$ appear to be important in the context of the Paramodular Conjecture. The result is deduced from the finiteness of two Selmer groups whose order is controlled by $p$-adic $L$-values of an elliptic modular form (giving rise to $ρ$) which we assume are non-zero.

math.NT↗

arXiv2019

Deformations of Saito-Kurokawa type and the Paramodular Conjecture (with an appendix by Cris Poor, Jerry Shurman, and David S. Yuen)

We study short crystalline, minimal, essentially self-dual deformations of a mod $p$ non-semisimple Galois representation $\barσ$ with $\barσ^{\rm ss}=χ^{k-2} \oplus ρ\oplus χ^{k-1}$, where $χ$ is the mod $p$ cyclotomic character and $ρ$ is an absolutely irreducible reduction of the Galois representation $ρ_f$ attached to a cusp form $f$ of weight $2k-2$. We show that if the Bloch-Kato Selmer groups $H^1_f(\mathbf{Q}, ρ_f(1-k)\otimes \mathbf{Q}_p/\mathbf{Z}_p)$ and $H^1_f(\mathbf{Q}, ρ(2-k))$ have order $p$, and there exists a characteristic zero absolutely irreducible deformation of $\barσ$ then the universal deformation ring is a dvr. When $k=2$ this allows us to establish the modularity part of the Paramodular Conjecture in cases when one can find a suitable congruence of Siegel modular forms. As an example we prove the modularity of the abelian surface of conductor 731. When $k>2$, we obtain an $R^{\rm red}=T$ theorem showing modularity of all such deformations of $\barσ$.

math.NT↗

arXiv2018

Modularity of residual Galois extensions and the Eisenstein ideal

For a totally real field $F$, a finite extension $\mathbf{F}$ of $\mathbf{F}_p$ and a Galois character $χ: G_F \to \mathbf{F}^{\times}$ unramified away from a finite set of places $Σ\supset \{\mathfrak{p} \mid p\}$ consider the Bloch-Kato Selmer group $H:=H^1_Σ(F, χ^{-1})$. In an earlier paper of the authors it was proved that the number $d$ of isomorphism classes of (non-semisimple, reducible) residual representations $\overlineρ$ giving rise to lines in $H$ which are modular by some $ρ_f$ (also unramified outside $Σ$) satisfies $d \geq n:= \dim_{\mathbf{F}} H$. This was proved under the assumption that the order of a congruence module is greater than or equal to that of a divisible Selmer group. We show here that if in addition the relevant local Eisenstein ideal $J$ is non-principal, then $d >n$. When $F=\mathbf{Q}$ we prove the desired bounds on the congruence module and the Selmer group. We also formulate a congruence condition implying the non-principality of $J$ that can be checked in practice, allowing us to furnish an example where $d>n$.

math.NT↗

arXiv2016

On the Bloch-Kato conjecture for the Asai L-function

Following Ribet's seminal 1976 paper there have been many results employing congruences between stable cuspforms and lifted forms to construct non-split extensions of Galois representations. We show how this strategy can be extended to construct elements in the Bloch-Kato Selmer groups of +/--Asai (or tensor induction) representations associated to Bianchi modular forms. We prove, in particular, how the Galois representation associated to a suitable low weight Siegel modular form produces elements in the Selmer group for exactly the Asai representation (+ or -) that is critical in the sense of Deligne. We further outline a strategy using an orthogonal-symplectic theta correspondence to prove the existence of such a Siegel modular form and explain why we expect this to be governed by the divisibility of the near-central critical value of the Asai L-function, in accordance with the Bloch-Kato conjecture.

math.NT↗

arXiv2016

Oddness of residually reducible Galois representations

We show that suitable congruences between polarized automorphic forms over a CM field always produce elements in the Selmer group for exactly the +/--Asai (aka tensor induction) representation that is critical in the sense of Deligne. For this we relate the oddness of the associated polarized Galois representations (in the sense of the Bellaïche-Chenevier sign being +1) to the parity condition for criticality. Under an assumption similar to Vandiver's conjecture this also provides evidence for the Fontaine-Mazur conjecture for polarized Galois representations of any even dimension.

math.NT↗

arXiv2016

On lifting and modularity of reducible residual Galois representations over imaginary quadratic fields

In this paper we study deformations of mod $p$ Galois representations $τ$ (over an imaginary quadratic field $F$) of dimension $2$ whose semi-simplification is the direct sum of two characters $τ_1$ and $τ_2$. As opposed to our previous work we do not impose any restrictions on the dimension of the crystalline Selmer group $H^1_Σ(F, {\rm Hom}(τ_2, τ_1)) \subset {\rm Ext}^1(τ_2, τ_1)$. We establish that there exists a basis $\mathcal{B}$ of $H^1_Σ(F, {\rm Hom}(τ_2, τ_1))$ arising from automorphic representations over $F$ (Theorem 8.1). Assuming among other things that the elements of $\mathcal{B}$ admit only finitely many crystalline characteristic 0 deformations we prove a modularity lifting theorem asserting that if $τ$ itself is modular then so is its every crystalline characteristic zero deformation (Theorems 8.2 and 8.5).

math.NT↗

arXiv2016

A $p$-adic Hermitian Maass lift

For $K$ an imaginary quadratic field with discriminant $-D_K$ and associated quadratic Galois character $χ_K$, Kojima, Gritsenko and Krieg studied a Hermitian Maass lift of elliptic modular cusp forms of level $D_K$ and nebentypus $χ_K$ via Hermitian Jacobi forms to Hermitian modular forms of level one for the unitary group $U(2,2)$ split over $K$. We generalize this (under certain conditions on $K$ and $p$) to the case of $p$-oldforms of level $pD_K$ and character $χ_K$. To do this, we define an appropriate Hermitian Maass space for general level and prove that it is isomorphic to the space of special Hermitian Jacobi forms. We then show how to adapt this construction to lift a Hida family of modular forms to a $p$-adic analytic family of automorphic forms in the Maass space of level $p$.

math.NT↗

arXiv2014

Theta Lifts of Bianchi Modular Forms and Applications to Paramodularity

We explain how the work of Johnson-Leung and Roberts on lifting Hilbert modular forms for real quadratic fields to Siegel modular forms can be adapted to imaginary quadratic fields. For this we use archimedean results from Harris, Soudry, Taylor and replace the global arguments of Roberts by the non-vanishing result of Takeda. As an application of our lifting result, we exhibit an abelian surface $B$ defined over $\mathbb{Q}$, which is not restriction of scalars of an elliptic curve and satisfies the Brumer-Kramer Paramodularity Conjecture.

math.NT↗

arXiv2013

On higher congruences between automorphic forms

We prove a commutative algebra result which has consequences for congruences between automorphic forms modulo prime powers. If C denotes the congruence module for a fixed automorphic Hecke eigenform π_0 we prove an exact relation between the p-adic valuation of the order of C and the sum of the exponents of p-power congruences between the Hecke eigenvalues of π_0 and other automorphic forms. We apply this result to several situations including the congruences described by Mazur's Eisenstein ideal.

math.NT↗

arXiv2011

On deformation rings of residually reducible Galois representations and R=T theorems

We study the crystalline universal deformation ring R (and its ideal of reducibility I) of a mod p Galois representation rho_0 of dimension n whose semisimplification is the direct sum of two absolutely irreducible mutually non-isomorphic constituents rho_1 and rho_2. Under some assumptions on Selmer groups associated with rho_1 and rho_2 we show that R/I is cyclic and often finite. Using ideas and results of (but somewhat different assumptions from) Bellaiche and Chenevier we prove that I is principal for essentially self-dual representations and deduce statements about the structure of R. Using a new commutative algebra criterion we show that given enough information on the Hecke side one gets an R=T-theorem. We then apply the technique to modularity problems for 2-dimensional representations over an imaginary quadratic field and a 4-dimensional representation over the rationals.

math.NT↗

arXiv2010

A deformation problem for Galois representations over imaginary quadratic fields

We prove the modularity of minimally ramified ordinary residually reducible p-adic Galois representations of an imaginary quadratic field F under certain assumptions. We first exhibit conditions under which the residual representation is unique up to isomorphism. Then we prove the existence of deformations arising from cuspforms on GL_2(A_F) via the Galois representations constructed by Taylor et al. We establish a sufficient condition (in terms of the non-existence of certain field extensions which in many cases can be reduced to a condition on an L-value) for the universal deformation ring to be a discrete valuation ring and in that case we prove an R=T theorem. We also study reducible deformations and show that no minimal characteristic 0 reducible deformation exists.

math.NT↗

arXiv2009

Arithmetic properties of similitude theta lifts from orthogonal to symplectic groups

By adapting the work of Kudla and Millson we obtain a lifting of cuspidal cohomology classes for the symmetric space associated to GO(V) for an indefinite rational quadratic space V of even dimension to holomorphic Siegel modular forms on GSp_n(A). For n=2 we prove Thom's Lemma for hyperbolic 3-space, which together with results of Kudla and Millson imply an interpretation of the Fourier coefficients of the theta lift as period integrals of the cohomology class over certain cycles. This allows us to prove the p-integrality of the lift for a particular choice of Schwartz function for almost all primes p. We further calculate the Hecke eigenvalues (including for some "bad" places) for this choice in the case of V of signature (3,1).

math.NT↗

arXiv2007

l-Adic representations associated to modular forms over imaginary quadratic fields

Let pi be a regular algebraic cuspidal automorphic representation of GL(2) over an imaginary quadratic number field K such that the central character of pi is invariant under the non-trivial automorphism of K. We show that pi is associated with an l-adic Galois representation rho over K such that at each prime of K outside an explicit finite set the Frobenius polynomial of rho agrees with the Hecke polynomial of pi.

math.NT↗

arXiv2007

Denominators of Eisenstein cohomology classes for GL_2 over imaginary quadratic fields

We study the arithmetic of Eisenstein cohomology classes (in the sense of G. Harder) for symmetric spaces associated to GL_2 over imaginary quadratic fields. We prove in many cases a lower bound on their denominator in terms of a special L-value of a Hecke character providing evidence for a conjecture of Harder that the denominator is given by this L-value. We also prove under some additional assumptions that the restriction of the classes to the boundary of the Borel-Serre compactification of the spaces is integral. Such classes are interesting for their use in congruences with cuspidal classes to prove connections between the special L-value and the size of the Selmer group of the Hecke character.

math.NT↗