Abstract
We generalise Pollack’s construction of plus/minus L-functions to certain cuspidal automorphic representations of \(\mathrm {GL_{2n}}\) using the p-adic L-functions constructed in work of Barrera Salazar et al. (On p-adic l-functions for \(\text {GL}_{2n}\) in finite slope shalika families, 2021). We use these to prove that the complex L-functions of such representations vanish at at most finitely many twists by characters of p-power conductor.
Résumé
Nous généralisons la construction des fonctions L plus/moins de Pollack à certaines représentations automorphes cuspidales de \(\mathrm {GL_{2n}}\) en utilisant les fonctions L p-adiques construites dans les travaux de Barrera Salazar et al. [2]. Nous les utilisons pour démontrer que les fonctions L complexes de telles représentations disparaissent pour au plus un nombre fini de torsions par des caractères de conducteur une puissance de p.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(f = \sum _{n = 0}^{\infty }a_{n}q^{n}\) be a normalized cuspidal newform of weight k and level N with character \(\varepsilon \), and let p be a prime such that \(p \not \mid N\). Let \(\alpha \) be a root of the Hecke polynomial \(X^{2} - a_{p}X + p^{k - 1}\varepsilon (p)\) which, after fixing an isomorphism \(\bar{\mathbb {Q}}_{p} \cong \mathbb {C}\), satisfies \(r := v_{p}(a_{p}) < k - 1\), where \(v_{p}\) is the p-adic valuation on \(\mathbb {C}_{p}\) normalized so that \(v_{p}(p) = 1\). From this data we can construct an order r locally analytic distribution \(L_{p}^{(\alpha )}\) on \(\mathbb {Z}_{p}^{\times }\) whose values at special characters interpolate the critical values of the complex L-function of f and its twists. The arithmetic of \(L_{p}^{(\alpha )}\) is well understood in the case that f is ordinary at p i.e. when \(r = 0\), but is more mysterious in the non-ordinary case, since the unbounded growth of \(L_p^{(\alpha )}\) means that it does not lie in the Iwasawa algebra, and hence cannot be the characteristic element of an Iwasawa module.
In [16] Pollack provides a solution to this problem in the case that \(a_{p} = 0\) by constructing bounded distributions \(L^{+}_{p}, L^{-}_{p}\) each of which interpolate half the values of the complex L-function of f and its twists. Kobayashi [11] and Lei [13] have formulated Iwasawa main conjectures using these ‘plus/minus p-adic L-functions’, shown them to be equivalent to Kato’s main conjecture and proved one inclusion in these conjectures using Kato’s Euler system. The converse inclusion has been proved in many cases by Wan [19].
Now let \(\varPi \) be a cuspidal automorphic representation of \(\mathrm {GL}_{2n}(\mathbb {A}_{\mathbb {Q}})\). Suppose that \(\varPi \) is cohomological with respect to some pure dominant integral weight \(\mu \), and that it is the transfer of a globally generic cuspidal automorphic representation of \(\mathrm {GSpin}_{2n + 1}(\mathbb {A}_{\mathbb {Q}})\). Let p be a prime at which \(\varPi \) is unramified, and let \(\alpha _{1}, \ldots , \alpha _{2n}\) be the Satake parameters at p. We call a choice of \(\alpha = \prod _{i = 1}^{n}\alpha _{j_{i}}\) for \(\{j_{1}, \ldots , j_{n}\} \subset \{1, \ldots , 2n\}\) a p-stabilisation of \(\varPi \). When a p-stabilisation \(\alpha \) is non-critical and under some further auxiliary technical assumptions Dimitrov, Januszewski and Raghuram [7] (ordinary case) and Barrera, Dimitrov and Williams [2] construct a locally analytic distribution \(L^{(\alpha )}_{p}\) on \(\mathbb {Z}_{p}^{\times }\) interpolating the L-values of \(\varPi \). If we assume \(\alpha \) satisfies a non-critical slope condition then this p-stabilisation is non-critical, although this is a stronger condition. We show that that there are at most two choices of \(\alpha \) satisfying the non-critical slope condition and thus at most two non-critical slope \(L^{(\alpha )}_{p}\) can be constructed from a given \(\varPi \).
There is an increasing filtration \(\mathscr {D}^{r}(\mathbb {Z}_{p}^{\times }, \mathbb {C}_{p})\) on the space \(\mathscr {D}(\mathbb {Z}_{p}^{\times }, \mathbb {C}_{p})\) of \(\mathbb {C}_{p}\)-valued distributions on \(\mathbb {Z}_{p}^{\times }\) which measures the ‘growth’ of the distribution in a precise way (Definition 4). The 0th part of this filtration is the space of measures on \(\mathbb {Z}_{p}^{\times }\). The construction of [2] shows that
Suppose we have two non-critical slope p-adic L-functions for a given \(\varPi \) and suppose the following condition, which we dub the ‘Pollack condition’, holds:
We prove the following theorem, stated for an odd prime p:
Theorem 1
Let \(\alpha \) be a p-stabilisation satisfying the non-critical slope condition and let \(\mathrm {Crit}(\varPi )\) be the set of critical integers for \(\varPi \) defined in Definition 7. There exist a pair of distributions \(L_{p}^{\pm } \in \mathscr {D}^{v_{p}(\alpha ) - \#\mathrm {Crit}(\varPi )/2}(\mathbb {Z}_{p}^{\times }, \mathbb {C}_{p})\) satisfying
where \(\mathrm {log}^{\pm }_{\varPi } \in \mathscr {D}^{ \#\mathrm {Crit}(\varPi )/2}(\mathbb {Z}_{p}^{\times }, \mathbb {C}_{p})\) are distributions depending only on \(\mathrm {Crit}(\varPi )\) of order \(\#\mathrm {Crit}(\varPi )/2\). If the valuation of \(\prod _{i = 1}^{n - 1}\alpha _{i}\) is minimal (see Proposition 1) the distributions \(L^{\pm }_{p}\) are contained in \(\mathscr {D}^{0}(\mathbb {Z}_{p}^{\times }, \mathbb {C}_{p})\). These distributions satisfy the following interpolation property for \(j \in \mathrm {Crit}(\varPi )\):
for \(\theta \) a Dirichlet character of conductor an even power of p, and
for \(\theta \) a Dirichlet character of conductor an odd power of p, where the \((*)\) are non-zero constants.
When \(p = 2\) the result holds with the signs of the distributions \(\mathrm {log}_{\varPi }^{\pm }\) swapped.
Remark 1
Since we assume that \(\mu \) is pure, the condition that \(\prod _{i = 1}^{n - 1}\alpha _{i}\) be minimal is equivalent to the statement that this p-stabilisation is \(\mathscr {P}\)-ordinary (See [9, Sect. 6.2]) where \(\mathscr {P} \subset \mathrm {GL}_{2n}\) is the parabolic subgroup given by the partition \(2n = (n - 1) + 2 + (n - 1)\).
As an application we prove the following extension of the main result of [7]:
Theorem 2
In the case that \(L_{p}^{\pm }\) are bounded distributions, the purity weight w is even, and \(\mathrm {Crit}(\varPi ) \ne \{w/2\}\), we have
for all but finitely many characters \(\theta \) of p-power conductor.
Remark 2
The assumption on the purity weight is to ensure that the central L-value is critical.
Relation to other work: Since this paper first appeared in preprint form, Lei and Ray [14] have used the results of this paper to formulate an Iwasawa main conjecture for \(\varPi \), relating the signed p-adic L-functions of Theorem 1.0.1 to signed Selmer groups. They have also generalised the construction of the signed p-adic L-functions to allow certain cases with \(\alpha _{n} + \alpha _{n + 1} \ne 0\), using the theory of Wach modules.
2 Preliminaries
2.1 p-adic Fourier theory
We lay out the relevant theory of continuous functions on \(\mathbb {Z}_{p}^{\times }\). The main reference for this section is [5, Sect. I.5].
Let L be a complete extension of \(\mathbb {Q}_{p}\), denote by \(\mathscr {C}(\mathbb {Z}_{p}, L)\) the Banach space of continuous functions on \(\mathbb {Z}_{p}\) taking values in L. Write \(\mathrm {LA}(\mathbb {Z}_{p}, L)\) for the subspace of L-valued locally analytic functions and \(LA_{h}(\mathbb {Z}_{p}, L)\) for the locally h-analytic functions. We give these spaces a valuation \(v_{\mathrm {LA}_{h}}\) in the following way: Let \(u_{h} = (p^{h}(1 - p))^{-1}\) and let \(v_{\bar{\mathbb {B}}(a, u_{h})}\) be the valuation on power series which converge on \(\bar{\mathbb {B}}(a, u_{h}) = \{z \in \mathbb {C}_{p}: v(z - a) \ge u_{h}\}\) given by
An element \(f \in LA_{h}(\mathbb {Z}_{p}, L)\) locally extends to such a power series and we define
This gives \(LA(\mathbb {Z}_{p}, L)\) the structure of a Fréchet space.
Definition 1
Let \(r \in \mathbb {R}_{\ge 0}\). Let \(f: \mathbb {Z}_{p} \rightarrow L \in \mathscr {C}(\mathbb {Z}_{p}, L)\). We say that f is of order r if there are functions \(f^{(i)}: \mathbb {Z}_{p} \rightarrow L\) such that if we define
then
We denote the set of such functions by \( \mathscr {C}^{r}(\mathbb {Z}_{p}, L)\).
The space \( \mathscr {C}^{r}(\mathbb {Z}_{p}, L)\) is a Banach space with valuation given by
Definition 2
-
Define the space of locally analytic distributions on \(\mathbb {Z}_{p}\) to be the continuous dual of \(\mathrm {LA}(\mathbb {Z}_{p}, L)\), denoted \(\mathscr {D}(\mathbb {Z}_{p}, L)\). This space has the structure of a Fréchet space via the family of valuations given by restricting to \(LA_{h}(\mathbb {Z}_{p}, L)\) and taking the dual of \(v_{\mathrm {LA}_{h}}\).
-
For \(r \in \mathbb {R}_{\ge 0}\) define the subspace \(\mathscr {D}^{r}(\mathbb {Z}_{p}, L)\) of \(\mathscr {D}(\mathbb {Z}_{p}, L)\) of order r distributions to be the continuous dual of \(\mathscr {C}^{r}(\mathbb {Z}_{p}, L)\). The space \(\mathscr {D}^{0}(\mathbb {Z}_{p}, L)\) of bounded distributions is often referred to as the space of measures on \(\mathbb {Z}_{p}\). We equip each \(\mathscr {D}^{r}(\mathbb {Z}_{p}, L)\) with the valuation
$$\begin{aligned} v_{\mathscr {D}^{r}}(\mu ) = \mathrm {inf}_{f \in \mathscr {C}^{r}(\mathbb {Z}_{p}, L) \backslash \{0\}}\left( v_{p}(\mu (f)) - v_{\mathscr {C}_{r}}(f) \right) . \end{aligned}$$
For \(\mu \in \mathscr {D}^{r}(\mathbb {Z}_{p}, L), f \in \mathscr {C}^{r}(\mathbb {Z}_{p}, L)\) we write
The space \(\mathscr {D}(\mathbb {Z}_{p}, L)\) is given the structure of an L-algebra via convolution of distributions:
These distribution spaces will be our main object of our study. Though rather inscrutable by themselves, they become more amenable to study by identifying them with spaces of power series.
For \(x \in \mathbb {C}_{p}, a \in \mathbb {R}\), let \(\mathbb {B}(x, a) = \{y \in \mathbb {C}_{p}: v_{p}(y - x) > a\}\). We define
and we give this space the structure of a Fréchet space via the family of valuations \(v_{\bar{\mathbb {B}}(0, u_{h})}\).
Let \(\ell (n) = \mathrm {inf}\{m : n < p^{m}\}\), and for \(r \in \mathbb {R}_{\ge 0}\) define
We can put a valuation on these spaces
where \(\ell (h)\) is the smallest integer satisfying \(p^{\ell (h)} > h\). However, a different valuation will be useful for our purposes.
Lemma 1
A power series \(f \in L[[X]]\) is in \(\mathscr {R}^{+}_{r}\) if and only if \( \mathrm {inf}_{h \in \mathbb {Z}_{\ge 0}}(v_{\bar{\mathbb {B}}(0, u_{h})}(f) + rh) \ne -\infty \). Furthermore, the spaces \(\mathscr {R}^{+}_{r}\) are Banach spaces when equipped with the valuation
Moreover, \(v_{r}(f)\) is equivalent to \(v_{r}'(f)\).
Proof
[5, Lemme II.1.1]. \(\square \)
Lemma 2
If \(f \in \mathscr {R}^{+}_{r}\), \(g \in \mathscr {R}^{+}_{s}\), then \(fg \in \mathscr {R}^{+}_{r + s}\).
Proof
[5, Corollaire II.1.2]. \(\square \)
Theorem 3
Define the Amice transform:
The Amice transform is an isomorphism of L-algebras under which the spaces \(\mathscr {D}^{r}(\mathbb {Z}_{p}, L)\) and \(\mathscr {R}^{+}_{r}\) are identified isometrically with respect to the valuations \(v_{\mathscr {D}^{r}}\) and \(v_{r}'\).
Proof
[5, Théorème II.2.2] and [5, Proposition II.3.1]. \(\square \)
We now consider the multiplicative topological group \(\mathbb {Z}_{p}^{\times }\). Let
We have the well-known isomorphism
the second factor of which is topologically cyclic. Let \(\gamma \) be a topological generator of \(1 + q\mathbb {Z}_{p}\). Such a choice allows us to write any \(x \in 1 + q\mathbb {Z}_{p}\) in the form \(x = \gamma ^{s}\) for a unique \(s \in \mathbb {Z}_{p}\), giving us an isomorphism of topological groups
Thus \(\mathbb {Z}_{p}^{\times }\) is homeomorphic to \(p - 1\) (resp. 2 when \(p = 2\)) copies of \(\mathbb {Z}_{p}\), and we can use the above theory of \(\mathbb {Z}_{p}\) in this context, defining \(\mathrm {LA}(\mathbb {Z}^{\times }_{p}, L)\), \(\mathscr {D}(\mathbb {Z}^{\times }_{p}, L)\) in the obvious way; each space decomposes as a direct sum over their restrictions to each \(\mathbb {Z}_{p}\) component and we take the infimum of the valuations on each summand.
Definition 3
Define \(\textit{weight space}\) to be the rigid analytic space \(\mathcal {W}\) over \(\mathbb {Q}_{p}\) representing
Integrating characters gives a canonical identification
where \(\mathcal {O}_{\mathcal {W}}\) is the structure sheaf of \(\mathcal {W}\). This is isomorphism commutes with base change in the sense that for a finite extension \(L/\mathbb {Q}_{p}\) we have
where \(\mathcal {W}_{L} = \mathcal {W} \times _{\mathbb {Q}_{p}}\mathrm {Sp}(L)\) and \(\mathrm {Sp}(L)\) is the affinoid space associated to L. We identify \(\mathcal {W}(\mathbb {C}_{p})\) with the set \(\sqcup _{\psi } \mathbb {B}_{\psi }\), where \(\mathbb {B}_{\psi }= \mathbb {B}(0,0)\) and the disjoint union runs over characters of \(\mathbb {Z}_{p}^{\times }\) which factor through \((\mathbb {Z}/q\mathbb {Z})^{\times }\), for details see [4, Remark B1.1]. We can thus identify \(\mathscr {D}(\mathbb {Z}_{p}^{\times }, L)\) with functions on \(\sqcup _{\psi } \mathbb {B}_{\psi }\) which are described by elements of \(\mathscr {R}^{+}\) on each \(\mathbb {B}_{\psi }\). Given a distribution \(\mu \in \mathscr {D}(\mathbb {Z}_{p}^{\times }, L)\) we write the corresponding rigid function on \(\mathcal {W}\) as \(\mathscr {M}(\mu )\).
On each \(\mathbb {B}_{\psi }\) the global sections \( \mathcal {O}_{\mathcal {W}}(\mathbb {B}_{\psi })\) are given (after choosing a coordinate X) by precisely \(\mathscr {R}^{+}\). As these are quasi-Stein spaces, the topology on \(\mathcal {O}_{\mathcal {W}}(\mathbb {B}_{\psi })\) is that of a Fréchet space induced by an increasing chain of affinoids
which we can choose to be the closed discs of radius \(u_{h}\), whence the topology as global sections over a rigid space coincides with the topology on \(\mathscr {R}^{+}\) given by the family of valuations \(v_{\bar{\mathbb {B}}(0, u_{h})}\) (see [17, 1C]).
Definition 4
For \(r \in \mathbb {R}_{\ge 0}\) we define a subspace \( \mathscr {D}^{r}(\mathbb {Z}_{p}^{\times }, L) \subset \mathscr {D}(\mathbb {Z}_{p}^{\times }, L)\) by
These spaces decompose as a direct sum
and we equip it with the valuation given by
where \(\mu _{\psi }\) is the projection of \(\mu \) to the \(\psi \) component.
2.2 Automorphic representations
Fix \(n \ge 1\) and set \(G = \mathrm {GL}_{2n}\). Let \(\varPi \) be a cuspidal automorphic representation of \(G(\mathbb {A}_{\mathbb {Q}})\). Let \(T \subset G\) be the maximal diagonal torus and let
be an integral weight. We say \(\mu \) is dominant if \(\mu _{1} \ge \dots \ge \mu _{2n}\), and we say \(\mu \) is pure if there is \(\omega \in \mathbb {Z}\), the purity weight of \(\mu \), such that
for all \(i = 1, \ldots , n\).
Definition 5
We say that \(\varPi \) is cohomological with respect to a dominant integral weight \(\mu \) if the \((\mathfrak {g}_{\infty }, K_{\infty })\)-cohomology
is non-vanishing for some q. Here \(\mathfrak {g}_{\infty }\) is the Lie algebra of \(G(\mathbb {R})\), \(K^{\circ }_{\infty } \subset G(\mathbb {R})\) is the identity component of the maximal open compact subgroup and \(V^{\mu }_{\mathbb {C}}\) is the irreducible \(\mathbb {C}\)-linear G-representation of highest weight \(\mu \).
Purity of \(\mu \) is a necessary condition for \(\varPi \) to be cohomological.
Definition 6
We say that \(\varPi \) is the transfer of a globally generic cuspidal automorphic representation \(\pi \) of \(\mathrm {GSpin}_{2n + 1}(\mathbb {A}_{\mathbb {Q}})\) if
for all primes \(\ell \) at which \(\pi \) is unramified.
Remark 3
-
For a given globally generic automorphic representation \(\pi \) of \(\mathrm {GSpin}_{2n + 1}(\mathbb {A})\) the existence of such a transfer was proved by Asgari-Shahidi [1, Theorem 1.1].
-
A necessary and sufficient condition for \(\varPi \) to be the transfer of a globally generic cuspidal automorphic representation of \(\mathrm {GSpin}_{2n + 1}\) is that it admits a Shalika model which realises \(\varPi \) in a certain space of functions \(W: G(\mathbb {A}_{\mathbb {Q}}) \rightarrow \mathbb {C}\), see [2, Sect. 2.6] for details.
2.3 p-stabilisations
Let \(\varPi \) be a cuspidal automorphic representation of \(G(\mathbb {A}_{\mathbb {Q}})\) which is cohomological with respect to a pure dominant integral weight \(\mu \) and suppose that \(\varPi \) is the transfer of a globally generic cuspidal automorphic representation of \(\mathrm {GSpin}_{2n + 1}(\mathbb {A}_{\mathbb {Q}})\). Let B denote the upper triangular Borel subgroup of G.
Given a prime p at which \(\varPi \) is unramified, define the Hodge-Tate weights of \(\varPi \) at p to be the integers
Remark 4
These weights coincide with the Hodge-Tate weights of the Galois representation associated to \(\varPi \) when the Hodge-Tate weight of the cyclotomic character is taken to be 1.
Definition 7
Define a set
Remark 5
It is shown in [8, Proposition 6.1.1] that the half integers \(j + 1/2\) for \(j \in \mathrm {Crit}(\varPi )\) are precisely the critical points of the L-function \(L(s, \varPi )\) in the sense of Deligne [6, Definition 1.3].
Let p be a prime at which \(\varPi \) is unramified. There is an unramified character
such that \(\varPi _{p}\) is isomorphic to the normalised parabolic induction module \(\mathrm {Ind}_{B(\mathbb {Q}_{p})}^{G(\mathbb {Q}_{p})}(\vert \cdot \vert ^{\frac{2n - 1}{2}}\lambda _{p} ) \). We define the Satake parameters at p to be the values \(\alpha _{i} = \lambda _{p, i}(p)\), where \(\lambda _{p,i}\) denotes the projection to the ith diagonal entry. After choosing an isomorphism \(\bar{\mathbb {Q}}_{p} \cong \mathbb {C}\), we reorder the \(\alpha _{i}\) so that they are ordered with respect to decreasing p-adic valuation and such that \(\alpha _{i}\alpha _{2n + 1 - i} = \lambda \) for a fixed \(\lambda \) with p-adic valuation \(2n - 1 + w\). That we can do this is a result of the transfer from \(\mathrm {GSpin}_{2n + 1}\), see [1, (64)].
We define the Hodge polygon of \(\varPi \) to be the piecewise linear curve joining the following points in \(\mathbb {R}^{n}\):
and define the Newton polygon on \(\varPi \) at p to be the piecewise linear curve joining the points
The following result is due in this form to Hida [9, Theorem 8.1].
Proposition 1
The Newton polygon lies on or above the Hodge polygon and the end points coincide.
Definition 8
Let \(I = (i_{1}, \ldots , i_{n}) \subset \mathbb {Z}^{n}\) satisfy \(1 \le i_{1}< \cdots < i_{n} \le 2n\), and set
We call \(\alpha _{I}\) p-stabilisation data for \(\varPi \).
Let \(Q \subset \mathrm {GL}_{2n}\) be the parabolic subgroup given by the partition \(2n = n + n\). The following conditions are translations of the conditions of the same name given in [2, Sect. 2.7].
Definition 9
Let I be as above.
-
We say that the product \(\alpha _{I}\) is of Shalika type if I contains precisely one element of each pair \(\{i, 2n + 1 - i\}\) for \(i = 1, \ldots , n\), see [7, Definition 3.5(ii)].
-
We say that \(\alpha _{I}\) is Q-regular if it is of Shalika type and if for any other choice of \(J \subset \mathbb {Z}^{n}\) satisfying the above properties \(a_{J} \ne a_{I}\). This amounts to choosing a simple Hecke eigenvalue for the \(U_{p}\)-operator associated to Q acting on the Q-parahoric invariants of \(\varPi _{p}\), see [7, Definition 3.5(i)] and [2, Sect. 2.7].
-
Set \(r_{I} = v_{p}(\alpha _{I}) - \sum _{i = n + 1}^{2n}h_{i}\). We say that \(\alpha _{I}\) is non-critical slope if it satisfies
$$\begin{aligned} r_{I} < \#\mathrm {Crit}(\varPi ). \end{aligned}$$ -
We say that \(\alpha _{I}\) is minimal slope if
$$\begin{aligned} r_{I} = \#\mathrm {Crit}(\varPi )/2. \end{aligned}$$
Remark 6
The conditions in Definition 9 are used to control a certain local twisted integral at p, attached to a choice of parahoric-invariant vector W in the Shalika model. In [7, Proposition 3.4], the authors show that this local zeta integral is an explicit multiple of W(1). In [7, Lem. 3.6], they use the Shalika-type and Q-regular conditions to exhibit an explicit vector W in the Shalika model attached to \(\alpha _I\) with \(W(1) = 1\), and hence deduce non-vanishing of the local zeta integral. We note that \(\varPi _p\) always admits p-stabilisations of Shalika type. The terminology is justified by [2, Remark 2.5], which explains that the refinements of Shalika type are exactly those that arise from refinements of \(\mathrm {GSpin}_{2n+1}\). Finally, if the Satake parameter of \(\varPi _p\) is regular semisimple, then all stabilisations of \(\varPi _p\) are Q-regular.
In [2] the authors constructFootnote 1 a locally analytic distribution \(L^{(\alpha _{I})}_{p} \in \mathscr {D}(\mathbb {Z}_{p}^{\times }, \mathbb {C}_{p}^{\times })\) with respect to a choice of non-critical slope Q-regular p-stabilisation data \(\alpha _{I}\). The distribution \(L_{p}^{(\alpha _{I})}\) is of order \(r_{I}\) and by [18, Lemma 2.10] is uniquely defined by the following interpolation property: Let \(\theta : \mathbb {Z}^{\times }_{p} \rightarrow \bar{\mathbb {Q}}_{p}\) be a finite-order character of conductor \(p^{m}\), then for \(m \ge 1\) we have
where \(c_{x^{j}\theta }\) is a constant depending only on \(x^{j}\theta \) and the infinite factor \(\xi _{\infty , j}\) is the product of a choice of period and a zeta integral at infinity. We call such a \(L_{p}^{(\alpha _{I})}\) a ‘non-critical slope p-adic L-function’.
3 Plus/Minus p-adic L-functions
We construct the titular plus/minus L-functions. We first note that the condition of non-critial slope imposes strong restrictions on the number of p-adic L-functions we can construct.
Theorem 4
There are at most two choices of p-stabilisation \(\alpha _{I}\) for which \(L^{(\alpha _{I})}_{p}\) is non-critical slope.
Proof
Without loss of generality we may assume that \(\mu _{2n} = 0\), forcing \(w = \mu _{1}\). The end points of the Newton and Hodge polygons coinciding implies that
The ‘non-critical slope’ condition for \(I = (i_{1}, \ldots , i_{n})\) is equivalent to
We observe that any I that includes a a 2-tuple of integers the form \((i, 2n + 1 - i)\) is not non-critical slope. Indeed, we can find an explicit I containing some \((i, 2n + 1 - i)\) with minimal valuation, namely \((n, n + 1, n + 3, \ldots , 2n)\), amongst all I containing some \((i, 2n + 1 - i)\). For such an I we have
where the first inequality is a consequence of the Newton polygon lying above the Hodge polygon and (\(\dagger \)), and the strict inequality is due to dominance. Thus any I containing a pair of integers (i, j) with \(i < j\) and \(j \le 2n + 1 - i\) cannot be non-critical slope, since any such I has greater valuation than \((n, n + 1, n + 3, \ldots , 2n)\). This leaves us with two choices of potential non-critical slope n-tuples:
and
\(\square \)
In light of Theorem 4 it is clear that the only two choices of p-stabilisation data which can give a non-critical slope distribution are
Definition 10
We say that \(\varPi \) satisfies the ‘Pollack condition’ if
Corollary 1
For a non-critical slope p-stabilisation \(\alpha _{I}\) we have the following:
-
The p-stabilisation \(\alpha _{I}\) is of Shalika type.
-
If we assume the Pollack condition, then \(\alpha _{I}\) is Q-regular.
Proof
The first part is immediate from Theorem 4.
For the second claim recall that a p-stabilisation \(\alpha _{I}\) is Q-regular if
for all \(I \ne J\). Suppose \(\alpha _{I}\) is a non-critical slope p-stabilisation. Then by Theorem 4
and by the Pollack condition these are clearly not equal since they are non-vanishing by non-critical slope. Finally, for a critical slope p-stabilisation \(\alpha _{J}\) we must have \(v_{p}(\alpha _{J}) > v_{p}(\alpha _{I})\) so \(\alpha _{J} \ne \alpha _{I}\). \(\square \)
3.1 Pollack ±-L-functions
Let \(\varPi \) be as in the previous section.
As in the previous section, set
and let \(r = v_{p}(\alpha ) - \sum _{i = n + 1}^{2n}h_{i} = v_{p}(\beta ) - \sum _{i = n + 1}^{2n}h_{i}\). The Pollack condition forces
since
where the first inequality comes from Newton-above-Hodge, and the lower bound given is tight, with the bound being achieved when the end point of the segment of the Newton polygon corresponding to \(\alpha _{n + 2}\cdots \alpha _{2n}\) touches the Hodge polygon. This justifies the use of the term ‘minimal slope’ in Definition 9.
We assume that
so that we can construct precisely two non-critical slope p-adic L-functions \(L^{(\alpha )}_{p}, L_{p}^{(\beta )} \in \mathscr {D}^{r}(\mathbb {Z}_{p}^{\times }, \mathbb {C}_{p})\).
Remark 7
Unlike in the case of \(\mathrm {GL}_{2}\), for \(n > 1\) the non-critical slope condition for \(\alpha , \beta \) is not necessarily implied by the Pollack condition. Indeed, suppose one has a cuspidal automorphic representation \(\varPi \) of \(\mathrm {GL}_{2n}(\mathbb {A}_{\mathbb {Q}})\) satisfying the Pollack condition at a prime p for which \(v_{p}(\alpha _{i}) = v_{p}(\alpha _{j})\) for \(1 \le i,j \le 2n\). The value r is then the same for any choice of p-stabilisation, so there are either \({2n}\atopwithdelims (){n}\) non-critical slope p-adic L-functions or there are none. But Theorem 4 says there can be at most two choices of non-critical slope p-stabilisation.
Following Pollack, we define
so that
We note that in the case of \(L^{(\beta )}_{p}\), the interpolation formula is given by
from which it follows that
Equivalently (noting that characters of conductor m correspond to \((m - 1)\)th roots of unity), if \(\zeta _{p^{m}}\) is any \(p^{m}\)th root of unity and p is odd,
on each of the connected componentsFootnote 2 of \(\mathcal {W}(\mathbb {C}_{p})\) (which we recall we are identifying with \(p- 1\) copies of \(\mathbb {B}(0,0)\)). When \(p = 2\) the sign flips and the above vanishing is equivalent to.
For any \(j \in \mathbb {Z}\), Pollack defines the following power series
in \(\mathbb {Q}_{p}[[X]]\), where \(\Phi _{m}\) is the \(p^{m}\)th cyclotomic polynomial.
Lemma 3
The power series \(\mathrm {log}^{+}_{p, j}(X)\) (resp. \(\mathrm {log}^{-}_{p, j}( X)\)) is contained in \(\mathscr {R}_{1/2}^{+}\) and vanishes at precisely the points \(\gamma ^{j}\zeta _{p^{m}} - 1\) for every \(p^{m}\)th root of unity \(\zeta _{p^{m}}\) with m even (resp. odd).
Proof
The statements in the lemma are proved in [16, Lemma 4.1] and [16, Lemma 4.5]. We reprove that \(\mathrm {log}^{+}_{p,j}\) is contained in \(\mathscr {R}^{+}_{1/2}\) using the setup of Sect. 2, the result for \(\mathrm {log}^{-}_{p,j}\) being similar.
An analysis of the Newton copolygon of the Eisenstein polynomial \(\Phi _{n}\) gives us that
and thus
whence
so \(\mathrm {log}^{+}_{p,j}(X) \in \mathscr {R}^{+}_{1/2}\) by Lemma 1. \(\square \)
We define
By abuse of notation we will write \(\mathrm {log}^{\pm }_{\varPi }(X)\) for the element of \(\mathcal {O}_{\mathcal {W}}(\mathcal {W})\) given by \(\mathrm {log}^{\pm }_{\varPi }(X)\) on each connected component of \(\mathcal {W}\).
Lemma 4
We have
Proof
It follows from the proof of Lemma 3 and the multiplicativity of \( v_{\bar{\mathbb {B}}(0, u_{h})}\) that
The right side converges as \(h \rightarrow \infty \) so the \(\mathrm {\limsup }\) is finite. A similar argument works for \(\mathrm {log}^{-}_{\varPi }\). \(\square \)
It follows from the above discussion and [12, 4.7] that for odd p the rigid function \(\mathrm {log}^{\pm }_{\varPi }(X)\) divides \(\mathscr {M}(G^{\pm })\) in \(\mathcal {O}_{\mathcal {W}}(\mathcal {W})\), and for \(p = 2\) we have that \(\mathrm {log}^{\mp }_{\varPi }(X)\) divides \(\mathscr {M}(G^{\pm })\) in \(\mathcal {O}_{\mathcal {W}}(\mathcal {W})\). Define plus/minus p-adic L-functions \(L^{\pm }_{p}(X)\) to be the elements of \(\mathcal {O}_{\mathcal {W}}(\mathcal {W})\) satisfying
for p odd, and
for \(p = 2\). We write \(L^{\pm }_{p}\) for the distribution \(\mathscr {M}^{-1}(L_{p}^{\pm }(X))\).
Proposition 2
We have
Proof
We note that
By the additivity of \(v_{\bar{\mathbb {B}}(0, u_{h})}\) ([5, Proposition I.4.2]) we have
and so since \(G^{\pm } \in \mathscr {D}^{r}(\mathbb {Z}_{p}^{\times }, \mathbb {C}_{p})\) (and thus \(\liminf \left( v_{\bar{\mathbb {B}}(0, u_{h})}(G^{\pm }) + rh \right) > -\infty \)) we have
and so by Lemma 1 we are done. \(\square \)
In particular, in the minimal slope case \(r = \frac{\#\mathrm {Crit}(\varPi )}{2}\) we get two bounded distributions.
Remark 8
-
One might ask if there is an analogue of the plus/minus theory for p-adic L-functions for \(\mathrm {GL}_{2n+1}\). Beyond the exact methods used in the present paper, there is an immediate stumbling block: in general, for \(n \ge 3\) odd even the usual theory of p-adic L-functions is very poorly developed. For non-ordinary \(\varPi \) on \(\mathrm {GL}_{2n+1}\), the only constructions of p-adic L-functions are for \(n=1\) and \(\varPi \) a symmetric square lift from \(\mathrm {GL}_2\); in this case, a study of signed Iwasawa theory has been considered in [3].
-
The proofs above show that if we relax the minimal slope hypothesis we still obtain a pair of plus/minus L-functions which are unfortunately not bounded. Since the subsets of weight space on which these functions interpolate L-values are disjoint it seems that there is no hope in attempting a similar construction for these functions.
-
In the case that we have a \(\mathrm {GL}_{2n}(\mathbb {A}_{\mathbb {Q}})\) representation admitting p-stabilisations which are critical but not non-critical slope Theorem 4 no longer holds. As a result, for each such p-stabilisation we can construct a p-adic L-function, giving us at most \({2n}\atopwithdelims (){n}\) p-adic L-functions. It’s possible that one could generalise the methods of this paper and utilise all of these p-adic L-functions to construct bounded functions analogous to \(L_{p}^{\pm }\), but this is not something we have explored.
3.2 An example of a \(\mathrm {GL}_{4}(\mathbb {A}_{\mathbb {Q}})\) representation satisfying the Pollack condition
We give an example of a cuspidal automorphic representation of \(\mathrm {GL}_{4}(\mathbb {A}_{\mathbb {Q}})\) satsifying the Pollack condition and having minimal slope using the theory of twisted Yoshida lifts (see [15, Sect. 6] for an overview).
Let \(F = \mathbb {Q}(\sqrt{5})\) and let \(\sigma _{i}: F \rightarrow \mathbb {R}\), \(i = 1,2\) be the embeddings of F into \(\mathbb {R}\). The prime 41 splits in F and we write M for one of its prime factors. Using Magma we see that there is a weight (4, 2) cuspidal Hilbert newform f over F of level \(N = M^2\) and of trivial character and with complex multiplication by the unique extension E/F such that \(E/\mathbb {Q}\) is not Galois and in which M ramifies. Thus there is a Hecke character \(\psi \) over E with infinity type \(z \mapsto \varepsilon _{1}(z)^{3}\varepsilon _{2}(z)^{2}\bar{\varepsilon }_{2}(z)\), where \(\varepsilon _{i}, \bar{\varepsilon }_{i}: E \rightarrow \mathbb {C}\), \(i = 1,2\), are the pairs of conjugate embeddings of E and such that the Hecke eigenvalue of f at a prime \(\wp \) of F is given by
Let L be the number field generated by the Hecke eigenvalues of f. Since the weight is not parallel we have \(F \subset L\). Fix a rational prime \(p \not \mid N\) and let \(L_{v}\) be the completion of L at a prime v over p. Suppose now that p splits in F and write \(p = \wp _{1} \cdot \wp _{2}\), labelled such that \(\sigma _{i}(\wp _{i})\) is below v.
Let \(\psi _{\mathrm {Gal}, v}: G_{E} \rightarrow L_{v}\) be the v-adic character of \(G_{F} = \mathrm {Gal}(\bar{F}/F)\) associated to \(\psi \) by class field theory, so that \(V_{f, v} := \mathrm {Ind}_{G_{E}}^{G_{F}}\psi _{\mathrm {Gal}, v}\) is the \(G_{F}\)-representation associated to f. This representation is crystalline at primes not dividing N. The Hodge-Tate weights of \(V_{f, v}\) are given by (0, 3) at \(\sigma _{1}\) and (1, 2) at \(\sigma _{2}\).
The restriction of \(V_{f, v}\) to \(G_{E}\) splits as a direct sum of characters:
where \(c \in \mathrm {Gal}(E/F)\) is the non-trivial element. If a prime \(\wp \) of F above p splits in E then a decomposition group \(D_{\wp } \subset G_{F}\) at a prime over \(\wp \) is contained in \(G_{E}\) and we have \(\mathbb {D}_{\mathrm {cris}}(V_{f, v}\vert _{D_{\wp }}) = \mathbb {D}_{\mathrm {cris}}(\psi _{\mathrm {Gal}, v}\vert _{D_{\wp }}) \oplus \mathbb {D}_{\mathrm {cris}}(\psi _{\mathrm {Gal}, v}^{c}\vert _{D_{\wp }})\) whence f is ordinary at \(\wp \) as the image of the functor \(\mathbb {D}_{\mathrm {cris}}\) is weakly admissible. Taking v to be above \(\sigma _{1}(\wp )\) and writing the prime decomposition of \(\wp \) in E as \(\wp = \mathfrak {q}_{1}\mathfrak {q}_{2}\) we have
up to reordering of the \(\mathfrak {q}_{i}\).
Theorem 5
Suppose \(\pi \) is a cuspidal automorphic representation generated by a holomorphic Hilbert modular form of weight \((k_{1}, k_{2})\) over a totally real field F. Suppose that:
-
For \(1 \ne \theta \in \mathrm {Gal}(F/\mathbb {Q})\) we have \(\pi ^{\theta } \not \approx \pi \),
-
There is a Hecke character \(\varepsilon \) over \(\mathbb {Q}\) such that the central character \(\omega _{\pi }\) of \(\pi \) satisfies
$$\begin{aligned} \omega _{\pi } = \varepsilon \circ \mathrm {Norm}_{F/\mathbb {Q}}. \end{aligned}$$
Then there is a unique globally generic cuspidal automorphic representation \(\Theta (\pi , \omega _{\pi })\) of \(\mathrm {GSp}_{4}(\mathbb {A}_{\mathbb {Q}})\) (a twisted Yoshida lift) of weight \((\frac{k_{1} + k_{2}}{2}, \frac{\vert k_{1} - k_{2}\vert }{2} - 2)\) with central character \(\varepsilon \) satisfying
Proof
See [15, Theorem 6.1.1 and Proposition 6.1.4]. \(\square \)
Let \(\pi \) be the cuspidal automorphic representation of \(\mathrm {GL}_{2}(\mathbb {A}_{E})\) generated by f. Since f has non-parallel weight we see that \(\pi \not \approx \pi ^{\theta }\) for non-trivial \(\theta \in \mathrm {Gal}(F/\mathbb {Q})\).
Set \(\varPi = \Theta (\pi , 1)\). Then \(\varPi \) a cuspidal automorphic representation of \(\mathrm {GSp}_{4}(\mathbb {A}_{\mathbb {Q}})\) of weight (3, 3) with trivial central character. This weight lies in the cohomological range and thus \(\varPi \) is cohomological. The Hodge-Tate weights of \(\varPi \) are (0, 1, 2, 3).
Recall that we have a rational prime p such that p splits in F:
We assume further that \(\wp _{2}\) is inert in E and \(\wp _{1}\) splits, and we write the factorisation of \(\wp _{1}\) as
Primes satisfying the above conditions are not uncommon, for example, the primes 11 and 19 admit this splitting phenomena in the tower \(E/F/\mathbb {Q}\). We remark that a necessary condition for such a splitting is that E is non-Galois over \(\mathbb {Q}\). The local L-factor of \(\varPi \) at such a p is given by
Choosing a prime v of L lying above p such that v lies above \(\sigma _{i}(\wp _{i})\), we deduce that \(\varPi \) satisfies the Pollack condition and has two minimal slope p-stabilisations. By Corollary 1 these p-stabilisations are Q-regular and Shalika. There is an exceptional isomorphism \(\mathrm {GSp}_{4} \cong \mathrm {GSpin}_{5}\) and so we are done by applying the functorial lift from \(\mathrm {GSpin}_{5}\) to \(\mathrm {GL}_{4}\).
4 Non-vanishing of twists
We use \(L_{p}^{\pm }\) to show non-vanishing of the complex L-function of \(\varPi \) at the central value, extending work of Dimitrov, Januszewski, Raghuram [7] to a non-ordinary setting.
Proposition 3
In the case that \(\mathrm {Crit}(\varPi ) \ne \{ w/2\},\) we have
Proof
We consider \(L_{p}^{+}\), the case of \(L_{p}^{-}\) being essentially identical and we further assume p is odd for brevity of notation (although the same argument works in this case). Note that a character \(\theta : \mathbb {Z}_{p}^{\times } \rightarrow \mathbb {C}_{p}^{\times }\) of conductor \(p^{m + 1}\) corresponds to a choice of primitive \(p^{m}\)th root of unity \(\zeta _{\theta }\) in a disc \(\mathcal {W}\) determined by the restriction \(\psi _{\theta }\) of \(\theta \) to \((\mathbb {Z}/q\mathbb {Z})^{\times }\), which gives us the identification
where on the left hand side we use the description of \(\mathrm {log}^{+}_{\varPi }\) as a distribution and on the right hand side \(\mathrm {log}^{+}_{\varPi }(\psi _{\theta }, -)\) is the restriction of \(\mathrm {log}^{+}_{\varPi }\) to the disc in \(\mathcal {W}\) corresponding to \(\psi _{\theta }\). We adopt the analogous notation for \(L_{p}\). It follows from Lemma 3 that \(\mathrm {log}^{+}_{\varPi }(\psi _{\theta }, \gamma ^{j}\zeta _{\theta } - 1) \ne 0\) if m is odd (resp. even for \(p = 2\)). Thus for characters \(\theta \) of odd p-power conductor we have the interpolation property
where \(\sim \) is used here to mean ‘up to non-zero constant’. By Jacquet-Shalika [10, 1.3] we have
for finite order characters \(\theta \), and by applying the functional equation we get non-vanishing for \(\mathfrak {Re}(s) \le w/2\). Since \(\mathrm {Crit}(\varPi )\) contains an integer k not equal to w/2, the above discussion gives us
and thus \(L^{+}_{p} \ne 0\). \(\square \)
Remark 9
Proposition 3 actually proves the stronger result that the power series \(\mathscr {M}(L_{p}^{\pm })\vert _{\mathbb {B}_{\psi }}\) is non-zero for each choice of \(\psi \).
We can turn this back on itself and use \(L^{\pm }_{p}\) to say something about nonvanishing of \(L(\varPi \otimes \theta , (\omega + 1)/2)\) in the case when \(L_{p}^{\pm } \in \mathscr {D}^{0}(\mathbb {Z}_{p}^{\times }, \mathbb {C}_{p})\).
Theorem 6
In the case that \(L_{p}^{\pm }\) are bounded distributions, w is even, and \(\mathrm {Crit}(\varPi ) \ne \{w/2\}\), we have
for all but finitely many characters \(\theta \) of p-power conductor.
Proof
Assume p odd for brevity, again noting that the argument works fine in this case. For any character \(\psi \) of \((\mathbb {Z}/p\mathbb {Z})^{\times }\) we can write \(\mathscr {M}(L^{\pm }_{p})\vert _{\mathbb {B}_{\psi }} = L^{\pm }_{p}(\psi , T) \in \mathcal {O}_{L}[[T]] \otimes _{\mathcal {O}_{L}} L\) for some finite extension \(L/\mathbb {Q}_{p}\). We note that \(\mathscr {M}(L^{\pm }_{p}) = \sum _{\psi }1_{\mathbb {B}_{\psi }}L^{\pm }_{p}\) where \(1_{\mathbb {B}_{\psi }}\) denotes the indicator function on \(\mathbb {B}_{\psi }\). This power series is non-zero by Proposition 3 and Remark 9, and so Weierstrass preparation tells us that each \(L_{p}^{\pm }(\psi , T)\), and thus \(L_{p}^{\pm }\), has only finitely many zeroes. Given any character \(\theta \) of p-power conductor, we have
where
Thus, for all but finitely many \(\theta \), we have
\(\square \)
Notes
The authors actually construct p-adic L-functions for the wider class of non-critical p-stabilisations, but we only work with non-critical slope p-stabilisations in this paper.
We are referring to the connected components as a rigid space as opposed to those of the topology on \(\mathbb {C}_{p}\) induced by \(v_{p}\).
References
Asgari, M., Shahidi, F.: Generic transfer for general spin groups. Duke Mathematical Journal 132(1), 137–190 (2006)
Barrera Salazar, D., Dimitrov, M., Williams, C.: On \(p\)-adic \(l\)-functions for \(\text{GL}_{2n}\) in finite slope shalika families. arXiv preprint arXiv:2103.10907 (2021). https://arxiv.org/abs/2103.10907
Büyükboduk, K., Lei, A., Venkat, G.: Iwasawa theory for symmetric square of non-\( p \)-ordinary eigenforms. arXiv preprint arXiv:1807.11517 (2018)
Coleman, R.F.: p-adic banach spaces and families of modular forms. Inventiones mathematicae 127(3), 417–479 (1997)
Colmez, P.: Fonctions d’une variable p-adique. Astérisque 330, 13–59 (2010)
Deligne, P.: Valeurs de fonctions \({L}\) et périodes d’intégrales. In: Proc. Symp. Pure Math, vol. 33, pp. 313–346 (1979). https://doi.org/10.1090/pspum/033.2/546622
Dimitrov, M., Januszewski, F., Raghuram, A.: L-functions of \(\text{ GL}_{2n}\): p-adic properties and non-vanishing of twists. Compositio Mathematica 156(12), 2437–2468 (2020). https://doi.org/10.1112/s0010437x20007551
Grobner, H., Raghuram, A.: On the arithmetic of Shalika models and the critical values of L-functions for \(\text{ GL}_{2n}\). American Journal of Mathematics 136(3), 675–728 (2014). URL https://doi.org/10.1353/ajm.2014.0021
Hida, H.: Automorphic induction and Leopoldt type conjectures for \(\text{ GL } (n)\). Asian Journal of Mathematics 2(4), 667–710 (1998). URL https://doi.org/10.4310/ajm.1998.v2.n4.a5
Jacquet, H., Shalika, J.A.: A non-vanishing theorem for zeta functions of \(\text{ GL}_{n}\). Inventiones mathematicae 38(1), 1–16 (1976)
Kobayashi, S.i.: Iwasawa theory for elliptic curves at supersingular primes. Inventiones mathematicae 152(1), 1–36 (2003). URL https://doi.org/10.1007/s00222-002-0265-4
Lazard, M.: Les zéros d’une fonction analytique d’une variable sur un corps valué complet. Publications Mathématiques de l’IHÉS 14, 47–75 (1962)
Lei, A.: Iwasawa theory for modular forms at supersingular primes. Compositio Mathematica 147(3), 803–838 (2011). URL https://doi.org/10.1112/s0010437x10005130
Lei, A., Ray, J.: Iwasawa theory of automorphic representations of \(\text{ GL}_{2n}\) at non-ordinary primes. arXiv preprint arXiv:2010.00715 (2020)
Loeffler, D., Zerbes, S.L.: Iwasawa theory for quadratic hilbert modular forms. arXiv preprint arXiv:2006.14491 (2020)
Pollack, R.: On the p-adic L-function of a modular form at a supersingular prime. Duke Mathematical Journal 118(3), 523–558 (2003). URL https://doi.org/10.1215/s0012-7094-03-11835-9
Pottharst, J.: Analytic families of finite-slope selmer groups. Algebra & Number Theory 7(7), 1571–1612 (2013)
Visik, M.: Non-archimedean measures connected with Dirichlet series. Sbornik: Mathematics 28, 216–228 (1976). URL https://doi.org/10.1070/sm1976v028n02abeh001648
Wan, X.: Iwasawa main conjecture for non-ordinary modular forms. arXiv preprint arXiv:1607.07729 (2016)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Rockwood, R. Plus/minus p-adic L-functions for \(\mathrm {GL}_{2n}\). Ann. Math. Québec 47, 177–193 (2023). https://doi.org/10.1007/s40316-021-00191-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40316-021-00191-5