-
On the GL(2n) eigenvariety: branching laws, Shalika families and $p$-adic $L$-functions
Authors:
Daniel Barrera Salazar,
Mladen Dimitrov,
Andrew Graham,
Andrei Jorza,
Chris Williams
Abstract:
In this paper, we prove that a $\mathrm{GL}(2n)$-eigenvariety is étale over the (pure) weight space at non-critical Shalika points, and construct multi-variable $p$-adic $L$-functions varying over the resulting Shalika components. Our constructions hold in tame level 1 and Iwahori level at $p$, and give $p$-adic variation of $L$-values (of regular algebraic cuspidal automorphic representations of…
▽ More
In this paper, we prove that a $\mathrm{GL}(2n)$-eigenvariety is étale over the (pure) weight space at non-critical Shalika points, and construct multi-variable $p$-adic $L$-functions varying over the resulting Shalika components. Our constructions hold in tame level 1 and Iwahori level at $p$, and give $p$-adic variation of $L$-values (of regular algebraic cuspidal automorphic representations of $\mathrm{GL}(2n)$ admitting Shalika models) over the whole pure weight space. In the case of $\mathrm{GL}(4)$, these results have been used by Loeffler and Zerbes to prove cases of the Bloch--Kato conjecture for $\mathrm{GSp}(4)$.
Our main innovations are: (a) the introduction and systematic study of `Shalika refinements' of local representations of $\mathrm{GL}(2n)$, and evaluation of their attached local twisted zeta integrals; and (b) the $p$-adic interpolation of representation-theoretic branching laws for $\mathrm{GL}(n) \times \mathrm{GL}(n)$ inside $\mathrm{GL}(2n)$. Using (b), we give a construction of multi-variable $p$-adic functionals on the overconvergent cohomology groups for $\mathrm{GL}(2n)$, interpolating the zeta integrals of (a). We exploit the resulting non-vanishing of these functionals to prove our main arithmetic applications.
△ Less
Submitted 10 March, 2025; v1 submitted 15 November, 2022;
originally announced November 2022.
-
The trace of $T_2$ takes no repeated values
Authors:
Liubomir Chiriac,
Andrei Jorza
Abstract:
We prove that the trace of the Hecke operator $T_2$ acting on the vector space of cusp forms of level one takes no repeated values, except for 0, which only occurs when the space is trivial.
We prove that the trace of the Hecke operator $T_2$ acting on the vector space of cusp forms of level one takes no repeated values, except for 0, which only occurs when the space is trivial.
△ Less
Submitted 3 April, 2022; v1 submitted 7 February, 2022;
originally announced February 2022.
-
Newton Polygons of Hecke Operators
Authors:
Liubomir Chiriac,
Andrei Jorza
Abstract:
In this computational paper we verify a truncated version of the Buzzard-Calegari conjecture on the Newton polygon of the Hecke operator $T_2$ for all large enough weights. We first develop a formula for computing $p$-adic valuations of exponential sums, which we then implement to compute $2$-adic valuations of traces of Hecke operators acting on spaces of cusp forms. Finally, we verify that if Ne…
▽ More
In this computational paper we verify a truncated version of the Buzzard-Calegari conjecture on the Newton polygon of the Hecke operator $T_2$ for all large enough weights. We first develop a formula for computing $p$-adic valuations of exponential sums, which we then implement to compute $2$-adic valuations of traces of Hecke operators acting on spaces of cusp forms. Finally, we verify that if Newton polygon of the Buzzard-Calegari polynomial has a vertex at $n\leq 15$, then it agrees with the Newton polygon of $T_2$ up to $n$.
△ Less
Submitted 8 September, 2020; v1 submitted 5 December, 2019;
originally announced December 2019.
-
Comparing Hecke Coefficients of Automorphic Representations
Authors:
Liubomir Chiriac,
Andrei Jorza
Abstract:
We prove a number of unconditional statistical results of the Hecke coefficients for unitary cuspidal representations of $\operatorname{GL}(2)$ over number fields. Using partial bounds on the size of the Hecke coefficients, instances of Langlands functoriality, and properties of Rankin-Selberg $L$-functions, we obtain bounds on the set of places where linear combinations of Hecke coefficients are…
▽ More
We prove a number of unconditional statistical results of the Hecke coefficients for unitary cuspidal representations of $\operatorname{GL}(2)$ over number fields. Using partial bounds on the size of the Hecke coefficients, instances of Langlands functoriality, and properties of Rankin-Selberg $L$-functions, we obtain bounds on the set of places where linear combinations of Hecke coefficients are negative. Under a mild functoriality assumption we extend these methods to $\operatorname{GL}(n)$. As an application, we obtain a result related to a question of Serre about the occurrence of large Hecke eigenvalues of Maass forms. Furthermore, in the cases where the Ramanujan conjecture is satisfied, we obtain distributional results of the Hecke coefficients at places varying in certain congruence or Galois classes.
△ Less
Submitted 20 May, 2019; v1 submitted 15 February, 2018;
originally announced February 2018.
-
$p$-adic $L$-functions of Hilbert cusp forms and the trivial zero conjecture
Authors:
Daniel Barrera,
Mladen Dimitrov,
Andrei Jorza
Abstract:
We prove a strong form of the trivial zero conjecture at the central point for the $p$-adic $L$-function of a non-critically refined self-dual cohomological cuspidal automorphic representation of $\mathrm{GL}_2$ over a totally real field, which is Iwahori spherical at places above $p$. In the case of a simple zero we adapt the approach of Greenberg and Stevens, based on the functional equation for…
▽ More
We prove a strong form of the trivial zero conjecture at the central point for the $p$-adic $L$-function of a non-critically refined self-dual cohomological cuspidal automorphic representation of $\mathrm{GL}_2$ over a totally real field, which is Iwahori spherical at places above $p$. In the case of a simple zero we adapt the approach of Greenberg and Stevens, based on the functional equation for the $p$-adic $L$-function of a nearly finite slope family and on improved $p$-adic $L$-functions that we construct using automorphic symbols and overconvergent cohomology. For higher order zeros we develop a conceptually new approach studying the variation of the root number in partial families and establishing the vanishing of many Taylor coefficients of the $p$-adic $L$-function of the family.
△ Less
Submitted 19 August, 2020; v1 submitted 23 September, 2017;
originally announced September 2017.
-
On symmetric power L-invariants of Iwahori level Hilbert modular forms
Authors:
Robert Harron,
Andrei Jorza
Abstract:
We compute the arithmetic L-invariants (of Greenberg-Benois) of twists of symmetric powers of p-adic Galois representations attached to Iwahori level Hilbert modular forms (under some technical conditions). Our method uses the automorphy of symmetric powers and the study of analytic Galois representations on p-adic families of automorphic forms over symplectic and unitary groups. Combining these f…
▽ More
We compute the arithmetic L-invariants (of Greenberg-Benois) of twists of symmetric powers of p-adic Galois representations attached to Iwahori level Hilbert modular forms (under some technical conditions). Our method uses the automorphy of symmetric powers and the study of analytic Galois representations on p-adic families of automorphic forms over symplectic and unitary groups. Combining these families with some explicit plethysm in the representation theory of GL(2), we construct global Galois cohomology classes with coefficients in the symmetric powers and provide formulae for the L-invariants in terms of logarithmic derivatives of Hecke eigenvalues.
△ Less
Submitted 23 October, 2013;
originally announced October 2013.
-
Lagrangian 4-planes in holomorphic symplectic varieties of K3^[4] type
Authors:
Benjamin Bakker,
Andrei Jorza
Abstract:
We classify the cohomology classes of Lagrangian 4-planes $¶^4$ in a smooth manifold $X$ deformation equivalent to a Hilbert scheme of 4 points on a $K3$ surface, up to the monodromy action. Classically, the cone of effective curves on a $K3$ surface $S$ is generated by nonegative classes $C$, for which $(C,C)\geq0$, and nodal classes $C$, for which $(C,C)=-2$; Hassett and Tschinkel conjecture tha…
▽ More
We classify the cohomology classes of Lagrangian 4-planes $¶^4$ in a smooth manifold $X$ deformation equivalent to a Hilbert scheme of 4 points on a $K3$ surface, up to the monodromy action. Classically, the cone of effective curves on a $K3$ surface $S$ is generated by nonegative classes $C$, for which $(C,C)\geq0$, and nodal classes $C$, for which $(C,C)=-2$; Hassett and Tschinkel conjecture that the cone of effective curves on a holomorphic symplectic variety $X$ is similarly controlled by "nodal" classes $C$ such that $(C,C)=-γ$, for $(\cdot,\cdot)$ now the Beauville-Bogomolov form, where $γ$ classifies the geometry of the extremal contraction associated to $C$. In particular, they conjecture that for $X$ deformation equivalent to a Hilbert scheme of $n$ points on a $K3$ surface, the class $C=\ell$ of a line in a smooth Lagrangian $n$-plane $¶^n$ must satisfy $(\ell,\ell)=-\frac{n+3}{2}$. We prove the conjecture for $n=4$ by computing the ring of monodromy invariants on $X$, and showing there is a unique monodromy orbit of Lagrangian 4-planes.
△ Less
Submitted 26 August, 2013; v1 submitted 31 October, 2011;
originally announced November 2011.
-
Higher rank stable pairs on K3 surfaces
Authors:
Benjamin Bakker,
Andrei Jorza
Abstract:
We define and compute higher rank analogs of Pandharipande-Thomas stable pair invariants in primitive classes for K3 surfaces. Higher rank stable pair invariants for Calabi-Yau threefolds have been defined by Sheshmani \cite{shesh1,shesh2} using moduli of pairs of the form $Ø^n\into \F$ for $\F$ purely one-dimensional and computed via wall-crossing techniques. These invariants may be thought of as…
▽ More
We define and compute higher rank analogs of Pandharipande-Thomas stable pair invariants in primitive classes for K3 surfaces. Higher rank stable pair invariants for Calabi-Yau threefolds have been defined by Sheshmani \cite{shesh1,shesh2} using moduli of pairs of the form $Ø^n\into \F$ for $\F$ purely one-dimensional and computed via wall-crossing techniques. These invariants may be thought of as virtually counting embedded curves decorated with a $(n-1)$-dimensional linear system. We treat invariants counting pairs $Ø^n\into \E$ on a $\K3$ surface for $\E$ an arbitrary stable sheaf of a fixed numerical type ("coherent systems" in the language of \cite{KY}) whose first Chern class is primitive, and fully compute them geometrically. The ordinary stable pair theory of $\K3$ surfaces is treated by \cite{MPT}; there they prove the KKV conjecture in primitive classes by showing the resulting partition functions are governed by quasimodular forms. We prove a "higher" KKV conjecture by showing that our higher rank partition functions are modular forms.
△ Less
Submitted 16 August, 2013; v1 submitted 18 March, 2011;
originally announced March 2011.
