Source author record

Daniel Barrera Salazar

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

9works
1topics
4close collaborators

Published work

9 publications

preprint2026arXiv

On pp-adic LL-functions for GL2nGL_{2n} in finite slope Shalika families

In this paper, we propose and explore a new connection in the study of pp-adic LL-functions and eigenvarieties. We use it to prove results on the geometry of the cuspidal eigenvariety for GL2n\mathrm{GL}_{2n} over a totally real number field FF at classical points admitting Shalika models. We also construct pp-adic LL-functions over the eigenvariety around these points. Our proofs proceed in the opposite direction to established methods: rather than using the geometry of eigenvarieties to deduce results about pp-adic LL-functions, we instead show that non-vanishing of a (standard) pp-adic LL-function implies smoothness of the eigenvariety at such points. Key to our methods are a family of distribution-valued functionals on (parahoric) overconvergent cohomology groups, which we construct via pp-adic interpolation of classical representation-theoretic branching laws for GLn×GLn⊂GL2n\mathrm{GL}_n \times \mathrm{GL}_n \subset \mathrm{GL}_{2n}. More precisely, we use our functionals to attach a pp-adic LL-function to a non-critical refinement π~\tildeπ of a regular algebraic cuspidal automorphic representation ππ of GL2n/F\mathrm{GL}_{2n}/F which is spherical at pp and admits a Shalika model. Our new parahoric distribution coefficients allow us to obtain optimal non-critical slope and growth bounds for this construction. When ππ has regular weight and the corresponding pp-adic Galois representation is irreducible, we exploit non-vanishing of our functionals to show that the parabolic eigenvariety for GL2n/F\mathrm{GL}_{2n}/F is étale at π~\tildeπ over an ([F:Q]+1)([F:\mathbb{Q}]+1)-dimensional weight space and contains a dense set of classical points admitting Shalika models. Under a hypothesis on the local Shalika models at bad places which is empty for ππ of level 1, we construct a pp-adic LL-function for the family.

preprint2025arXiv

On the GL(2n) eigenvariety: branching laws, Shalika families and pp-adic LL-functions

In this paper, we prove that a GL(2n)\mathrm{GL}(2n)-eigenvariety is étale over the (pure) weight space at non-critical Shalika points, and construct multi-variable pp-adic LL-functions varying over the resulting Shalika components. Our constructions hold in tame level 1 and Iwahori level at pp, and give pp-adic variation of LL-values (of regular algebraic cuspidal automorphic representations of GL(2n)\mathrm{GL}(2n) admitting Shalika models) over the whole pure weight space. In the case of GL(4)\mathrm{GL}(4), these results have been used by Loeffler and Zerbes to prove cases of the Bloch--Kato conjecture for GSp(4)\mathrm{GSp}(4). Our main innovations are: (a) the introduction and systematic study of `Shalika refinements' of local representations of GL(2n)\mathrm{GL}(2n), and evaluation of their attached local twisted zeta integrals; and (b) the pp-adic interpolation of representation-theoretic branching laws for GL(n)×GL(n)\mathrm{GL}(n) \times \mathrm{GL}(n) inside GL(2n)\mathrm{GL}(2n). Using (b), we give a construction of multi-variable pp-adic functionals on the overconvergent cohomology groups for GL(2n)\mathrm{GL}(2n), interpolating the zeta integrals of (a). We exploit the resulting non-vanishing of these functionals to prove our main arithmetic applications.

preprint2021arXiv

Families of Bianchi modular symbols: critical base-change p-adic L-functions and p-adic Artin formalism

Let KK be an imaginary quadratic field. In this article, we study the eigenvariety for GL2/K\mathrm{GL}_2/K, proving an étaleness result for the weight map at non-critical classical points and a smoothness result at base-change classical points. We give three main applications of this; let ff be a pp-stabilised newform of weight k≥2k \geq 2 without CM by KK. Suppose ff has finite slope at pp and its base-change f/Kf_{/K} to KK is pp-regular. Then: (1) We construct a two-variable pp-adic LL-function attached to f/Kf_{/K} under assumptions on ff that conjecturally always hold, in particular with no non-critical assumption on f/Kf/K. (2) We construct three-variable pp-adic LL-functions over the eigenvariety interpolating the pp-adic LL-functions of classical base-change Bianchi cusp forms. (3) We prove that these base-change pp-adic LL-functions satisfy a pp-adic Artin formalism result, that is, they factorise in the same way as the classical LL-function under Artin formalism. In an appendix, Carl Wang-Erickson describes a base-change deformation functor and gives a characterisation of its Zariski tangent space.

preprint2021arXiv

Overconvergent cohomology, pp-adic LL-functions and families for GL(2)\mathrm{GL}(2) over CM fields

The use of overconvergent cohomology in constructing pp-adic LL-functions, initiated by Stevens and Pollack--Stevens in the setting of classical modular forms, has now been established in a number of settings. The method is compatible with constructions of eigenvarieties by Ash--Stevens, Urban and Hansen, and is thus well-adapted to non-ordinary situations and variation in pp-adic families. In this note, we give an exposition of the ideas behind the construction of pp-adic LL-functions via overconvergent cohomology. Conditional on the non-abelian Leopoldt conjecture, we illustrate them by constructing pp-adic LL-functions attached to families of base-change automorphic representations for GL(2)\mathrm{GL}(2) over CM fields. As a corollary, we prove a pp-adic Artin formalism result for base-change pp-adic LL-functions.

preprint2021arXiv

Parabolic eigenvarieties via overconvergent cohomology

Let G′G' be a connected reductive group over Q\mathbb{Q} such that G=G′/QpG = G'/\mathbb{Q}_p is quasi-split, and let Q⊂GQ \subset G be a parabolic subgroup. We introduce parahoric overconvergent cohomology groups with respect to QQ, and prove a classicality theorem showing that the small slope parts of these groups coincide with those of classical cohomology. This allows the use of overconvergent cohomology at parahoric, rather than Iwahoric, level, and provides flexible lifting theorems that appear to be particularly well-adapted to arithmetic applications. When QQ is the Borel, we recover the usual theory of overconvergent cohomology, and our classicality theorem gives a stronger slope bound than in the existing literature. We use our theory to construct QQ-parabolic eigenvarieties, which parametrise pp-adic families of systems of Hecke eigenvalues that are finite slope at QQ, but that allow infinite slope away from QQ.

preprint2020arXiv

On 22-Selmer groups and quadratic twists of elliptic curves

Let KK be a number field and E/KE/K be an elliptic curve with no 22-torsion points. In the present article we give lower and upper bounds for the 22-Selmer rank of EE in terms of the 22-torsion of a narrow class group of a certain cubic extension of KK attached to EE. As an application, we prove (under mild hypotheses) that a positive proportion of prime conductor quadratic twists of EE have the same 22-Selmer group.

preprint2017arXiv

L\mathcal{L}-invariants and exceptional zeros of Bianchi modular forms

Let f be a Bianchi modular form, that is, an automorphic form for GL(2) over an imaginary quadratic field F. In this paper, we prove an exceptional zero conjecture in the case where f is new at a prime above p. More precisely, for each prime p\mathfrak{p} of F above p we prove the existence of an L-invariant Lp\mathcal{L}_{\mathfrak{p}}, depending only on p\mathfrak{p} and f, such that when the p-adic L-function of f has an exceptional zero at p\mathfrak{p}, its derivative can be related to the classical L-value multiplied by Lp\mathcal{L}_{\mathfrak{p}}. The proof uses cohomological methods of Darmon and Orton, who proved similar results for GL(2) over the rationals. When p is not split and f is the base-change of a classical modular form F, we relate Lp\mathcal{L}_{\mathfrak{p}} to the L-invariant of F, resolving a conjecture of Trifković in this case.

preprint2017arXiv

P-adic L-functions for GL(2)

Since Rob Pollack and Glenn Stevens used overconvergent modular symbols to construct p-adic L-functions for non-critical slope rational modular forms, the theory has been extended to construct p-adic L-functions for non-critical slope automorphic forms over totally real and imaginary quadratic fields by the first and second authors respectively. In this paper, we give an analogous construction over a general number field. In particular, we start by proving a control theorem stating that the specialisation map from overconvergent to classical modular symbols is an isomorphism on the small slope subspace. We then show that if one takes the modular symbol attached to a small slope cuspidal eigenform, then there is a canonical way of constructing a ray class distribution from the corresponding overconvergent symbol, that moreover interpolates critical values of the L-function of the eigenform. We thus define its p-adic L-function to be this distribution.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.