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

TL;DR

This paper constructs and analyzes p-adic L-functions associated with base-change Bianchi modular forms over imaginary quadratic fields, proving their properties and a p-adic Artin formalism, advancing the understanding of p-adic automorphic forms.

Contribution

It introduces new constructions of multi-variable p-adic L-functions for base-change Bianchi forms and proves their factorization properties analogous to classical Artin formalism.

Findings

Construction of a two-variable p-adic L-function for base-change forms.

Development of three-variable p-adic L-functions interpolating classical forms.

Proof that these p-adic L-functions satisfy a p-adic Artin formalism.

Abstract

Let $K$ be an imaginary quadratic field. In this article, we study the eigenvariety for $\mathrm{GL}_2/K$, proving an \'etaleness 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 $f$ be a $p$-stabilised newform of weight $k \geq 2$ without CM by $K$. Suppose $f$ has finite slope at $p$ and its base-change $f_{/K}$ to $K$ is $p$-regular. Then: (1) We construct a two-variable $p$-adic $L$-function attached to $f_{/K}$ under assumptions on $f$ that conjecturally always hold, in particular with no non-critical assumption on $f/K$. (2) We construct three-variable $p$-adic $L$-functions over the eigenvariety interpolating the $p$-adic $L$-functions of classical base-change Bianchi cusp forms. (3) We prove that these base-change $p$-adic $L$-functions satisfy a $p$-adic Artin formalism result, that is, they factorise in the same way as the classical $L$-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.