10
$\begingroup$

Here I consider cuspidal automorphic representations $\pi$ over the similitude group $\mathrm{GSp}(4,\mathbb{A}_\mathbb{Q})$. Let $f$ be a non-zero vector in the representation $\pi$. I want to know if there is any reference/work on relating special values of the complex adjoint $L$-function $L(s,\pi,\mathrm{Ad})$ of $\pi$ to the Petersson norm $\langle f,f\rangle$.

I know there is an article of Atsushi Ichino ('On critical values of adjoint $L$-functions for $\mathrm{GSp}(4)$') on this topic. Yet this article assumes $\pi$ to be unramified over all the finite places and to be of a special type over the archimedean place. So can we remove or weaken these assumptions? Is there any work after this?

Any comment or suggestions would be welcome.

$\endgroup$

1 Answer 1

13
$\begingroup$

For $\mathrm{GL}_2$, the relationship between the Petersson norm of a newform $f$ and its adjoint $L$-function is roughly a statement of the form \[\frac{|a_f(1)|^2}{\langle f, f\rangle} = \frac{c_f}{\Lambda(1, \operatorname{ad} f)},\] where $a_f(n)$ denotes the first Fourier coefficient of $f$, $\Lambda(s,\pi)$ denotes the completed $L$-function (including the archimedean components, which are essentially products of gamma functions), and $c_f$ is an explicit constant that essentially only depends on the behaviour of $f$ at the ramified primes that one can make completely explicit. (However, I don't think this explicit formulation has been written down anywhere in the literature, though it certainly can be done by, say, combining Lemma 4.2 of this paper of mine with the results in Section 1 of this paper of Gelbart and Jacquet.)

For $\mathrm{GSp}_4$, the Fourier expansion is of the form \[f(Z) = \sum_{S} a_f(S) e^{2\pi i \operatorname{Tr}(SZ)},\] where the sum is over matrices $S = \begin{pmatrix} a & b/2 \\ b/2 & c \end{pmatrix}$ such that $a,b,c \in \mathbb{Z}$, $a > 0$, $b^2 - 4ac = D < 0$.

We should expect that $|a_f(1_2)|^2/\langle f, f\rangle$ is related to a special value of $L$-functions in some way. Unlike the $\mathrm{GL}_2$ case, this special value of $L$-functions is (conjectured to be) much more complicated for $\mathrm{GSp}_4$. This is a special case of Böcherer's conjecture, which in this setting states that \[\frac{|a_f(1_2)|^2}{\langle f, f\rangle} = c_f \frac{\Lambda(\frac{1}{2}, f) \Lambda(\frac{1}{2}, f \otimes \chi_{-4})}{\Lambda(1, \operatorname{ad} f)}.\] A particular case of this has recently been proved by Furusawa and Morimoto (Theorem 1).

Note that $a_f(S_1) = a_f(S_2)$ if $S_1 = A^t S_2 A$ for some $A \in \mathrm{SL}_2(\mathbb{Z})$. This means that for any imaginary quadratic field $K = \mathbb{Q}(\sqrt{D})$, noting that that there is a bijection between the class group $\mathrm{Cl}_K$ and equivalence classes of matrices $S$, we may study \[R_f(K) = \sum_{S \in \mathrm{Cl}_K} a_f(S).\] Then Böcherer's conjecture in this setting states that \[\frac{|R_f(K)|^2}{\langle f, f\rangle} = c_{f,D} \frac{\Lambda(\frac{1}{2}, f) \Lambda(\frac{1}{2}, f \otimes \chi_D)}{\Lambda(1, \operatorname{ad} f)}.\] Taking $D = -4$, so that $S \in \mathrm{Cl}_K$ implies that $S \sim I_2$, yields the previous formulation. One can additionally insert a class group character into the definition of $R_f(K)$, which leads to different $L$-functions in the conjecture.

Should one wish to make the constant $c_f$ explicit, one can look at the work of Dickson, Pitale, Saha, and Schmidt, where they have refined this conjecture to explicitly determine the constant $c_f$. They still require several assumptions; see Theorem 1.12 of their paper for the precise statement.

In general, these kinds of conjectures/statements are easy to state at unramified primes, but take a lot of work to understand at ramified primes; this can be seen, for example, in the work of many people (Nelson, Nelson-Pitale-Saha, Hu, Collins, etc.) of determining the explicit expression for the inner product of three $\mathrm{GL}_2$ newforms via the Watson-Ichino formula.

$\endgroup$
4
  • $\begingroup$ I don't think this explicit formulation has been written down anywhere in the literature - I've seen such a formula in several places (Gross, Feigon-Whitehouse, Getz-Goretsky, my papers, ...). $\endgroup$
    – Kimball
    Nov 20, 2017 at 13:36
  • $\begingroup$ @Kimball, by explicit formulation, I mean if you take the Petersson norm of a newform and express it in terms of the adjoint $L$-function, there are correction factors at the ramified primes. For squarefree level or primitive nebentypus, this factors are easily described, but for arbitrary level and nebentypus, I don't (or didn't...) believe this relation has been explicitly written down anywhere. $\endgroup$ Nov 20, 2017 at 13:38
  • $\begingroup$ Hmm... I thought it was done somewhere, but I don't remember if Gross (in the MSRI Heegner points volume) or Getz-Goretsky (Hilbert modular forms) assume something like squarefree level or not. Have you checked Saha's papers? I thought he considered arbitrary level. $\endgroup$
    – Kimball
    Nov 20, 2017 at 13:46
  • $\begingroup$ @Kimball, I've read all of Abhishek's papers and I don't remember him ever explicitly writing it down. (For example, in his "Large Values..." paper, he just needs to show that the bad Euler factors are $q^{o(1)}$, which is easy.) $\endgroup$ Nov 20, 2017 at 13:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.