The Gan-Gross-Prasad period of Klingen Eisenstein families over unitary groups
Abstract.
In this article, we compute the Gan-Gross-Prasad period integral of Klingen Eisenstein series over the unitary group with a cuspidal automorphic form over , and show that it is related to certain special Rankin-Selberg -values. We -adically interpolate these Gan-Gross-Prasad period integrals as the Klingen Eisenstein series and the cuspidal automorphic form vary in Hida families. As a byproduct, we obtain a -adic -function of Rankin-Selberg type over . The ultimate motivation is to show the -primitive property of Klingen Eisenstein series over unitary groups, by computing such Gan-Gross-Prasad period integrals, and this article is a starting point of this project. The -primitivity of Eisenstein series is an essential property in the automorphic method in Iwasawa theory.
1. Introduction
Let be an odd prime. In Iwasawa theory, people study the mysterious relations between special values of -functions and arithmetic objects as they vary in -adic families. Such relations are formulated as Iwasawa main conjectures. Among the successful attempts on Iwasawa main conjectures, one divisibility of them, namely “the lower bound of Selmer groups”, are often proved by the machinery of Eisenstein congruences.
When running Eisenstein congruences, the most challenging part is to verify the “-primitivity” of the Eisenstein series and their -adic families (i.e. Eisenstein families), which can be regarded as certain “modulo nonvanishing” property of Eisenstein families. In 1990s, Wiles [Wil90] proved the Iwasawa main conjecture for over totally real field by running Eisenstein congruences over , where the Eisenstein series have explicit -expansions. Later on, Skinner and Urban [SU14] proved one-side divisibility of Iwasawa main conjecture for modular forms that are ordinary at . They used the Klingen Eisenstein series over the unitary group , and the -primitive property is proved by computing the Fourier coefficients of them. Hsieh [Hsi14] proved the Iwasawa main conjectures for over CM fields using the Klingen Eisenstein series over , using the Fourier-Jacobi coefficient of Klingen Eisenstein family. Wan [Wan20] considered the complement of the case in [SU14], that is, the Rankin-Selberg product of a modular form and an ordinary CM form whose weight is higher than , using Klingen Eisenstein series over another rank four unitary group . The highlight is that Wan’s approach removed the ordinary condition of at , yet still keeps the “ordinary nature” of the problem. The -primitivity of the Klingen Eisenstein series there is also proved by computing their Fourier-Jacobi coefficients. 111The aforementioned results on Iwasawa main conjectures depend on various technical assumptions, which we did not specify.
In this article, we start the project of investigating the -primitivity of Klingen Eisenstein series over unitary groups of general signatures (constructed explicitly in [Wan15]), by computing the Gan-Gross-Prasad period of them with cuspidal automorphic forms over . Now we summarize the main result of this article, starting with introducing necessary notations.
Let be a CM extension, that is, is a totally real number field and is an imaginary quadratic extension of . Let be an odd prime that is unramified in and each prime of above splits in . Throughout, we fix an isomorphism . Let be the composition of all -extensions of , with Galois group . Let be integers, we put as the unitary group of signature , that is, the unitary group associated to the skew-Hermitian matrix
where is a diagonal matrix such that is totally positive definite, and we assume is quasi-split for every finite place of . Throughout, we assume that the multiplicity one theorem holds for automorphic representations over any unitary groups (see Section 2.3).
1.1. Main result: automorphic computations
Let be an irreducible tempered unitary cuspidal representation of and be a Hecke character over . Let be a cuspidal automorphic form in . We can construct a Klingen Eisenstein series by pulling back from a Siegel Eisenstein series on the large unitary group with the cuspidal automorphic form . We denote the Klingen Eisenstein series by
where is the Siegel Eisenstein section defining the Siegel Eisenstein series. The operator is the so-called pullback integral.
Let be an irreducible tempered unitary cuspidal representation of . The main theme of this article is to compute and -adically interpolate the following Gan-Gross-Prasad (GGP) period integral of over with a cuspidal automorphic form in ,
where is a canonical embedding of unitary groups. By the cuspidality of , this converges absolutely for those values of at which the Klingen Eisenstein series is defined.
The first main result of this article is to unfold this period integral into local integrals and show that the local -factors appear at unramified places of . We write as for simplicity, and let
-
•
be the set of finite places of such that and the local extension are all unramified. The complement of in the set of all places of is denoted by , and let
-
•
be the set of finite places of such that and the local extension are all unramified. The complement of in the set of all places of is denoted by .
Then we state our first main theorem.
Theorem A (Theorem 3.7).
We choose Siegel Eisenstein sections at as spherical sections in the construction of the Klingen Eisenstein series. Then
Here the local -factors are
-
•
local Rankin-Selberg -factors
with is the local -factor of the Rankin-Selberg product , where is the base change to an automorphic representation of general linear groups over , and
-
•
local doubling -factors
where the right hand side is the standard local Godement-Jacquet -factor and is the local base change from to .
Here ’s are local Ichino-Ikeda integrals and ’s are local doubling integrals. Other unspecified factors will be defined in the text.
The next task is to compute the local Ichino-Ikeda integrals at bad places explicitly. We require and are regularly ordinary at places of above (see Definition 5.10). We put some further technical assumptions to make the calculation simpler.
-
•
At archimedean places, we require is of constant scalar weight, with the weights of and satisfying the “Gan-Gross-Prasad weight interlacing property”.
-
•
We require is unramified at any finite places of .
-
•
The local representations and are “ramified disjointly” (i.e. they cannot be both ramified at any places), and these places where either or ramifies shall split in .
-
•
For -adic places of , the local representations satisfy the generic assumption in [Wan15, Definition 4.42].
They are recorded as Assumption 3.8, 3.9, 3.10, 3.11, 6.1, 6.2 more explicitly in the text.
Theorem B (Theorem 6.3).
Under aforementioned assumptions, we have
Here is the product of all corresponding local factors except for those in , and the second line arises from the local Ichino-Ikeda integrals. They are defined explicitly in the text which we shall not record here, but instead remark that the unspecified local factors involve only explicit local Gauss sums, local critical adjoint -values, the local inner product of canonically chosen local vectors in local representations.
We present these theorems in Part I of this article.
-
•
In Section 2, we introduce some backgrounds on unitary groups and their embeddings, then on Eisenstein series over unitary groups. We recall the doubling methods, both in the manner of Piatetski-Shapiro and Rallis and that of Garrett. These facts are definitely well-known but we offer proofs for some results due to the lack of references.
- •
- •
1.2. Main result: -adic interpolations
The next step is to -adically interpolate the Gan-Gross-Prasad period integrals defined above, when the Klingen Eisenstein series and the cuspidal automorphic form vary in -adic families.
Let be a sufficiently large finite extension, with being its ring of integers, and let be the weight algebra for Hida families over the unitary group , where is the diagonal torus in the general linear group . Let (resp. ) be a normal domain over (resp. ), which is also a finite algebra over (resp. ). Consider (resp. ), an -adic (resp. -adic) Hida family of tempered cuspidal ordinary eigenforms on (resp. ) of branching character . Let be a finite order Hecke character whose conductors at primes above divides . We collect these inputs as a tuple
called a -adic Gan-Gross-Prasad datum (see Definition 9.1). Given such a datum , we have a corresponding weight space 222Here is an “unramified extension of coefficient rings”, see Definition 8.3 for details.
and we -adically interpolate the Gan-Gross-Prasad period integral on a Zariski dense subset of , consisting of “classical generic admissible points” (see Definition 9.2). Then the next main result of this article is as follows.
Theorem C (Theorem 9.3).
Notations being as above, then there exists an element
such that for any “classical generic admissible points” , we have
with right-hand-side the GGP period integral of Klingen Eisenstein series with a cuspidal automorphic form, normalized by an explicit factor defined in (8.25).
The main technique is to apply appropriate Hecke projectors introduced by Wan in [Wan19] to the family of Klingen Eisenstein series. When , an alternative approach is to use the -adic interpolation of Petersson inner products in Hida families. The method of Hecke projectors may date back to the series of works by Hida [Hid85, Hid88, Hid91], where he constructed -adic -functions for the Rankin-Selberg product of two modular forms and their Hida families.
When Hida families and satisfy the aforementioned ramification conditions at classical points together with certain multiplicity one property (Assumption 9.4), combining with the automorphic computations (Theorem B), we have a more explicit interpolation formula relating to critial -values at points , which is Theorem 9.5 in the text.
In [Wan15], Wan constructed -adic -functions for Hida families over unitary groups. Comparing the interpolation formulas, a byproduct of our construction is an imprimitive -adic -function for the Rankin-Selberg product of Hida families and over .
Theorem D (Theorem 9.7).
Notations being as above with the aforementioned ramification conditions, then there exists an element
such that for any in a certain Zariski dense subset of with valid multiplicity one theorems, we have equals
where and are the set of places of dividing the “tame level” of Hida families and respectively.
We note that there are similar recent works on such -adic -functions in various generalizations, for instance [Liu23, HY23, Dim24].
We present these theorems in Part II of this article.
1.3. Future works
Firstly, some of the assumptions in this article is technical and is expected to be removed or weakened in the future.
- •
- •
Secondly, besides the construction of -adic -functions in Theorem D, recall that our motivation is the -primitive property of Klingen Eisenstein series and their -adic families over unitary groups. This article acts as the first step of this project. From this perspective, we could consider next steps of this project.
-
•
The main result in this article reduce the -primitivity problem of Klingen Eisenstein families over to certain “modulo nonvanishing” property of the special -values of Rankin-Selberg -functions and standard -functions. Nevertheless, this latter problem is not an easy one, and definitely needs new ideas. In future works, we shall first start with some lower rank cases, where more tools might be available.
-
•
Granting the -primitivity of Klingen Eisenstein families, another key input for the machinery of Eisenstein congruences is the noncuspidal Hida theory of unitary group with general signatures. This will provide a “fundamental exact sequence of Eisenstein congruences”, which is essential in the arguments. Though it is expected to hold and shall follows from the same technique with [LR20], as far as we are aware of, it is still missing in the literature. We remark that some special cases are known. In [SU14, Chapter 6], the case is considered and in [Hsi14, Chapter 4], the case is considered, both for all positive integer .
So the project is indeed a challenging one.
1.4. Notations and conventions
In this subsection, we introduce basic notations of this article.
1.4.1. Fields and places
-
•
Let (resp. ) be the field of (resp. -adic) rational numbers and the ring of (resp. -adic) integers respectively.
-
•
Let be a finite extension, we write be its ring of integers, and be the completion of the maximal unramified extension of .
-
•
Let be a number field, that is, a finite extension of . We put be the ring of adèles of , the ring of finite adèles and the ring of finite adèles with -coordinates removed.
-
•
Let be a CM extension, that is, is a totally real number field of degree over , and is an imaginary quadratic extension of . We put (resp. ) the ring of adeles of (resp. ).
-
•
Let be the composition of all -extensions of , with Galois group .
-
•
Let be the unique nontrivial automorphism of , called the complex conjugation.
-
•
We fix an element such that and (where is the norm map from to ), which equivalently, means that .
Let be a number field, we denote or as the set of places of . We denote by
-
•
(resp. ) the set of places of (resp. ) above a finite set of places of (resp. ) 333When is a singleton, we simply write .,
-
•
(resp. ) the set of archimedean (resp. nonarchimedean) places of .
-
•
(resp. ) the subset of of those that are split (resp. nonsplit) in respectively.
-
•
be the set of finite places of such that , and the local extension are unramified, and be the complement of in .
-
•
be the set of finite places of such that either or or both is ramified.
We denote the set of finite places of such that , and , and the local extension are unramified, and the complement of in . By definition, . For any , we set . There is also a third partition of , introduced in Section 6.
Let be a certain -function with Euler product expression . Then for any subset of , we write
1.4.2. Characters and automorphic representations
-
•
By saying a Hecke character of a number field , we mean automatically an algebraic Hecke character .
-
•
is the quadratic character attached to the quadratic extension . It decomposes into local quadratic characters .
-
•
For any Hecke character of , we write for its restriction to . We write to be the conjugation of on the source, defined as . We write as the conjugation of on the target, defined as .
By a unitary automorphic representation of over , we realize it as a -subspace of the space of automorphic forms over , with the inner product given by the inner product. We denote the space of automorphic forms over (resp. cuspidal automorphic forms) by (resp. ).
1.4.3. General linear groups and operation on matrices
Let be positive integers. For any square matrix of size , we put (whenever the operations makes sense)
-
•
as the transpose of , and as the inverse of ,
-
•
as the conjugation of , whenever the conjugation makes sense, and
-
•
and .
-
•
We write be the set of matrices in such that .
We write as the identity square matrix of size . we put to be the set of matrices with rows and columns. We denote by
-
•
the general linear group of matrices of size .
-
•
the diagonal torus of ,
-
•
the upper triangular matrices in , that is, the Borel subgroup of , the lower triangular matrices in ,
-
•
the strictly upper triangular matrices in , that is, upper triangular matrices with ’s on the diagonal. It is the unipotent subgroup of and is the Levi decomposition of . In the same way we have .
-
•
More generally, let be a partition of . We put as the parabolic subgroup of with respect to this partition, that is,
It has a Levi decomposition , where
is its Levi component and
is its unipotent radical.
Given a square matrix of size , we can group its entries into blocks by a partition of . We denote such a partition as .
1.4.4. Measures and pairings
We fix a Haar measure on the adèle group of a reductive group over . We take to be the Tamagawa measure for definiteness. We write , with a Haar measure on , the -points of , under the following hypothesis (following [EHLS20, Hypothesis 1.4.4]):
-
•
At all finite places of at which the group us unramified, is the measure that gives volume to a hyperspecial maximal compact subgroup.
-
•
At all finite places at which is isomorphic to , where is a finite extension of with integer , the measure is the measure that gives volume to the group .
-
•
At all finite places of , the values of on open compact subgroups are rational numbers.
-
•
At archimedean places of , we choose measures such that is Tamagawa measure.
For the reductive group over , we let denote the quotient . Endowing with the Tamagawa measure, is endowed with the quotient measure by the counting measure on . Give two automorphic forms over , we define their Petersson inner product by
Let be an irreducible unitary cuspidal automorphic representation of . We denote be the contragredient representation of . Then the Petersson inner product is a canonically defined pairing . We have factorizations
where is an irreducible representation of . We have non-degenerate canonical -pairings
for all . We renormalize the local pairings such that for and , we have
Acknowledgements
This article will be a crucial part of the the author’s doctoral thesis under the supervision of Professor Xin Wan. The author would like to express the most sincere gratitude to him for suggesting this interesting project and his patient and insightful guidance along the way. He also thanks Yangyu Fan, Zhibin Geng, Ming-Lun Hsieh, Haijun Jia, Shilin Lai, Haidong Li, Wen-Wei Li, Yifeng Liu, Loren Spice, Ye Tian and Luochen Zhao as well as many others for many insightful conversations. The author is partially supported by the grant No. E01O010201 of Professor Xin Wan.
Part I Automorphic Computations
In this part, we shall define and compute the Gan-Gross-Prasad period integral of Klingen Eisenstein series with a cuspidal automorphic form.
2. Backgrounds
In this section, we introduce backgrounds on automorphic computations, including unitary groups and Eisenstein series over them. We also recall backgrounds on doubling methods.
2.1. Unitary groups
Let be a quadratic imaginary extension of a totally real number field . Let be an -dimensional vector space over . Let be a non-degenerate skew-Hermitian form on . Note that we can linearly extend to any -algebra and the -module .
Definition 2.1.
The general unitary group attached to is the algebraic group over , whose -points, for each -algebra , are given by
The unitary group attached to is defined as the algebraic group over , whose -points, for each -algebra , are given by
Let be an ordered -basis of , then can be expressed as a matrix under this basis and the unitary group can be identified with the matrix group
Let be the maximum dimension of totally -isotropic subspaces of and write . By [Shi97, Lemma 1.5, Lemma 1.6], we can find an ordered -basis of , that is,
(2.1) |
called Witt basis, under which has a matrix representation as
Throughout this article, we fix such a basis of (and hence the matrix ) and denote as for simplicity, though it surely depends on , not only on and .
2.1.1. Unitary groups at local places
Let be any place of .
-
•
Let be an archimedean place of , which gives a real embedding . We further require is a diagonal matrix such that
(sgn) This implies that is isomorphic to the real Lie group
for any archimedean place of .
-
•
Let be a finite place of such that splits as in . Then induces an isomorphism . Moreover, if maps to via , then is sent to . Hence
which is isomorphic to by projecting to the first factor. This involves a choice of place of above . We denote the isomorphism by .
-
•
Let be a finite nonsplit place of . Naturally, the -vector space extends to a -vector space over and so does the skew-Hermitian form extended to . Then by [Shi97, page 76], there is a local basis such that
where is an anisotropic square matrix of size , with when is odd and or when is even. The group is quasi-split if and only if . We assume
(QS) so that we will not bother dealing with the places where is not quasi-split.
2.1.2. Hermitian basis
It is sometimes easier to use another basis. One checks immediately that is an Hermitian form on , so there exists an ordered -basis
of such that has a matrix representation as . Then under this basis, our original skew-Hermitian form can be written as . In fact, we can make explicit the transition between the Hermitian basis and Witt basis. Let be such that . Then one checks immediately that
Denote the matrix on the right hand side by , then it gives an isomorphism of unitary groups
When , the matrix disappears and we omit it from the notation.
2.1.3. The -space
Starting from the vector space under the basis , we consider the -vector space
with the ordered -basis listed as above. The space is equipped with a skew-Hermitian form such that . Accordingly, we have the embedding of unitary groups
We go back to the Witt basis by the transition matrix where . The corresponding embedding with respect to the Witt basis is defined such that the diagram
commutes.
2.1.4. The -space
Next we consider adding another line to . Starting from the -ordered basis , we consider the -vector space
with the ordered -basis listed as above. The space is equipped with a skew-Hermitian form such that . Accordingly, we have the embedding of unitary groups
We go back to the Witt basis by the transition matrix . Then corresponding with respect to the Witt basis is defined such that the diagram
commutes.
To conclude, we have successive embeddings of unitary groups
2.1.5. Doubling space
Let be the direct sum with ordered -basis
by directly putting the Hermitian basis of and the Hermitian basis of together (where we add “bars” at the basis element of to distinguish). We equip it with the skew-Hermitian form such that
Accordingly, we have the embedding of unitary groups
Moreover, we have another embedding of unitary groups 444The two embeddings come from two viewpoints on the “direct sum” : The left hand side partition gives the embedding and the right hand side one gives the embedding .
By the definition of above embedding of unitary groups, we see immediately that
(2.2) |
for any and .
We rearrange the order of the basis to make the corresponding metric in the standard Hermitian form, by
Then under this basis,
where
This gives an isomorphism of unitary groups
And we further go back to the Witt basis by . The embeddings and are defined to make the diagrams
and
commute. Then it follows that Equation (2.2) holds for the embeddings under Witt basis. To sum up, we have two embeddings of unitary groups
To ease the notation, we put
and throughout the rest of the article.
2.2. Eisenstein series on unitary groups
In this section, we define Klingen Eisenstein series and Siegel Eisenstein series over unitary groups.
2.2.1. Klingen Eisenstein series
We first define the Klingen parabolic subgroup of as the algebraic group over such that
for any -algebra . Here the block matrix is written with respect to the partition . Then it has a Levi decomposition , where is the Levi subgroup given by
with the obvious isomorphism given by .
To construct an Eisenstein series on with respect to the Klingen parabolic subgroup , we start with the following input data.
-
•
Let be an irreducible tempered unitary cuspidal automorphic representation of over , with its archimedean part being a holomorphic discrete series representation. We identify as a subspace of the space of cuspidal automorphic forms
-
•
Let be a unitary Hecke character. So clearly . We then regard it as an automorphic form over the reductive group .
-
•
Let be any complex number.
Then gives an automorphic representation of under the identification , and we extend it trivially to by the Levi decomposition. Then we consider the induced representation 555Henceforth, by writing , we mean the unnormalized smooth parabolic induction. Yet here we have added to actually turning it into a normalized one.
More precisely, the representation space is the set of smooth functions such that
-
(1)
For any , and ,
-
(2)
is right -finite, with some maximal open compact subgroup of (which may depends on ).
Elements in this representation space are called a Klingen Eisenstein sections with respect to the datum .
We have a natural evaluation map
for any . By our assumption, lies in the space of cuspidal automorphic forms, so for every Klingen section , we attach it with a scalar-valued section . Then we define the Klingen Eisenstein series
It is well-known that it converges absolutely and uniformly for in compact subsets of .
2.2.2. Siegel Eisenstein series
As we shall see shortly, Klingen Eisenstein series are often constructed by pullbacks of certain Siegel Eisenstein series on the larger quasi-split unitary groups . We define the Siegel parabolic subgroup of as the algebraic group over such that
for any -algebra . Here the block matrix is written with respect to the partition . It has a Levi decomposition where
Given any , we can decompose it into
with and .
Then for any character of , we regard it as a character on the Levi subgroup via
and extends trivially on to get a character of .
Let be any place of . For any character and , we define
as the space consisting of smooth functions such that
-
(1)
For any and ,
-
(2)
is right -finite.
Such an element is called a Siegel Eisenstein section at with respect to the datum . In particular, when is a finite place of and is an unramified character, then we define the spherical Siegel Eisenstein section to be the one such that .
Let be a unitary Hecke character with the tensor product decomposition . Consider the restricted tensor product with respect to the spherical Siegel sections at finite places where is unramified. Let , the Siegel Eisenstein series attached to is defined as
It is well-known that it converges absolutely and uniformly for in compact subsets of .
Remark 2.2.
We note that the notion of Siegel Eisenstein sections here slightly differs from [SU14, Wan15]. As explained in [SU14, Remark on page 170], their representation on the Levi subgroup is defined by
So the induced representation in loc.cit is actually in our setup. Their convention is convenience when dealing with the functional equations of Eisenstein series.
2.3. On multiplicity one conditions
Before we start conducting automorphic computations, we record a result on the multiplicity one theorem of automorphic representation of unitary groups. Let be an automorphic representation of a unitary group over , and suppose that
(BC) |
Then appears in the space of cuspidal automorphic forms over of multiplicity one, as a consequence of [Mok15, KMSW14]. As a result, up to a complex scalar, there exists a unique -invariant pairing between and . Throughout this article, we assume (BC) for all automorphic representations appearing in this article.
2.4. Doubling method, à la Piatetski-Shapiro and Rallis
Here we briefly recall the doubling method à la Piatetski-Shapiro and Rallis, first introduced in [GPR87].
Let be an irreducible tempered unitary cuspidal automorphic representation of and be its contragredient representation. We thus identify as a subspace . We define the global doubling integral à la Piatetski-Shapiro and Rallis as
where and . It converges at wherever the Eisenstein series is defined, by the cuspidality of and .
2.4.1. Basic identity of Piatetski-Shapiro and Rallis
We put as the image of via the canonical doubling embedding and as the image of the diagonal embedding composited with .
The following fundamental result is well-known, which appears in the proof of [GPR87, “Basic Identity” on page 3], but the character was absent. For the readers’ convenience, we roughly sketch the proof here, reproduced from the proof of [Eis24, Theorem 4.3.4] in the setup of unitary groups.
Theorem 2.3 (Basic identity of Piatetski-Shapiro and Rallis).
Proof.
The theorem follows from an analysis of the orbits of acting on by multiplication on the right. We write as the stabilizer of a point . Then we can rewrite the Siegel Eisenstein series by grouping the summands by the orbits, as
Here denotes the orbit of under the right action of . Inserting this expression into the doubling integral, we have equals
Temporarily denote the integral in the summand as . Note that for each ,
We first deal with the orbit . In this case, the stabilizer is
and
The remaining orbits (that is, ) are negligible in the sense of [GPR87, PartA, Chapter I], and thereof. This vanishing result essentially follows from the cuspidality of and , and that contains the unipotent radical of a proper parabolic subgroup of as a normal subgroup. Details on these negligible orbits can be found in [GPR87, PartA, Chapter I] or the proof of [Eis24, Theorem 4.3.4]. ∎
2.4.2. Partial doubling integrals
Following [SU14, page 174], we define the partial doubling integrals
and
They converges by the cuspidality of and . Then we see that
(2.3) |
We shall use the following corollary of the basic identity below.
Corollary 2.4.
Notations being as above.
-
(1)
Let , then
-
(2)
Let , then
-
(3)
As a result,
Proof.
We note that there are two ways of identifying and , by sending to either or . Then Theorem 2.3, together with (2.3), gives the first equality of (1) and (2) accordingly, by noting that the Petersson pairing is perfect.
To deduce the second equality of (1), we note that
Putting into the integral on the right hand side of the first equality of (1), we see that
by a change of variable . This shows the second equality in (1).
The second equality of (2) is deduced in the same way. We note that
Putting into the integral on the right hand side of the first equality of (2), we see that
by a change of variable . This shows the second equality in (2). The equalities in (3) follows from the second equalities of (1) and (2) by (2.3). ∎
2.4.3. Local doubling integrals
We also consider the local counterparts of the doubling integrals. Let . In the spirit of Corollary 2.4 (where and are set to ), define
and
Here, the integrals and are understood as vector-valued integrals (see, for example, [Gar18, Chapter 14] for a precise definition).
By the uniqueness of -invariant pairings between and , as provided by (BC), and Item (3) of Corollary 2.4, we obtain the following result.
Corollary 2.5.
Under the assumptions above, We have
with
We remark that and can certainly be , and actually this is the only case we shall use. In other applications, a flexibility to choose may be convenient for computations. By the uniqueness of -invariant pairings between and granted by (BC), we see the local quotients is independent of the choice of local vectors and , but only depend on the local Siegel Eisenstein section and the local representation . We therefore denote
for simplicity.
2.5. Doubling method, à la Garrett
The primary method for explicitly constructing Klingen Eisenstein series is via pullbacks of Siegel Eisenstein series. This approach generalizes the doubling method à la Piatetski-Shapiro and Rallis, initiated by Garrett in [Gar84, Gar89] and later further developed by Shimura [Shi97].
We define the pullback integral formally as the vector-valued integral
(2.4) |
with values in , for any Siegel section and any . Composing this with (the evaluation map at from to ), we formally have
Proposition 2.6.
With the above notations:
-
(1)
The vector is a Klingen Eisenstein section whenever it exists. The integral converges for in compact subsets of . 666There appears to be a typographical error in the convergence range stated in [Wan15, Proposition 3.5 (ii)]. More precisely, should be with the notations in loc.cit..
-
(2)
Moreover,
Proof.
This is [Wan15, Proposition 3.5]. The convergence issue is discussed in the proof there. The fact that is a Klingen Eisenstein section is well-known and can be directly verified. The reader may refer to the proof of [Zha13, Theorem 2.6] for the case when . The computation there can be generalized to the broader case. ∎
3. The Gan-Gross-Prasad period integral
We inherit all notations and conventions from previous sections. Let
-
•
be an irreducible unitary cuspidal automorphic representation of over and identify as a subspace of the , and
-
•
be a Klingen Eisenstein series on , defined in Section 2.2.1.
Let , we define the Gan-Gross-Prasad period integral (GGP period integral) of with the cusp form as the integral
(3.5) |
By the cuspidality of , this converges absolutely for those values of at which is defined. 777We thank Wen-Wei Li for his hint on this issue.
In this section, we consider in particular the Klingen Eisenstein series constructed by pulling back from Siegel Eisenstein series (see Section 2.5). Our plan is as follows.
- (1)
- (2)
-
(3)
We further invoke the unramified computations of such local integrals to see that the Rankin-Selberg local -factors and standard local -factors arise at “good” places (which covers all but finitely many places) of . See Theorem 3.7.
There are finitely many “bad” places remained, which we shall deal with in coming up sections.
3.1. Reduce to the cuspidal GGP period integral
We write
(3.6) |
We write as in this part for simplicity. By Proposition 2.6,
Interchanging the two integrals, we isolate
By the observation (2.2),
The inner integral is nothing but . By Corollary 2.4 (2), putting there, we obtain
Then we interchange the two integrals back, it yields
The inner integral is a cuspidal GGP period integral. In general, for and , we define the cuspidal GGP period integral of with as
which converges by the cuspidality of and . To sum up, we have proved the following result.
Proposition 3.1.
Let be the GGP period integral defined in (3.6), then
3.2. Break into local integrals
Before conducting concrete computations, we make some preparations.
3.2.1. Contragredient, conjugation and MVW involutions
Given an irreducible cuspidal automorphic representation and its complex conjugation , which is isomorphic to the contragredient of 888See, for example, [GH11a, Proposition 8.9.6] for the case of . The proof goes the same for any reductive group., we fix factorizations
with the restricted tensor product is taken with respect to spherical elements and at the places of where is unramified.
Besides the complex conjugation, another model for the contragredient representation is established by Moeglin, Vignéras and Waldspurger in [MVW87]. Consider in general a unitary group . By [MVW87, page 74], there exists a (unique) element such that for any . Conjugation by gives an automorphism of the group :
This is called the MVW involution on .
We fix an MVW involution on that stabilizes . For every , we fix a standard isomorphism
under which the MVW involution coincide with the transpose-inverse. For every element written through , we have the function defined by the formula . Then is again decomposable and belongs to , where each . By a change of variables, we see immediately that
(3.7) |
which turns out to be an advantage for the MVW involution in the computation.
3.2.2. Ichino-Ikeda formula
Recall . Let be the cuspidal representation of .
The product -series associated to and is defined as
where (resp. ) is the functorial lift of (resp. ) to an automorphic representation of (resp. ). The right hand side is the -factor defined by Jacquet, Piateski-Shapiro and Shalika in [JPS83]. Let denote the adjoint -series for .
Assume that both and is tempered, then we put
and
for any .
Let be a cusp form on , we define the integral
where is defined by . If and are factorizable, we define the local Ichino-Ikeda integral
It is convergent if is tempered. Actually .
Recently, there has been great progress on the global Gan-Gross-Prasad conjecture for unitary groups, for example, [II10, Har14, BLZZ21, BCZ22]. We take a version reinterpreted in [HY23, Theorem 4.2] 999Following our convention in Section 1.4.4, the constant in [HY23, Theorem 4.2] is in our article..
Theorem 3.2 (Ichino-Ikeda formula).
Let be an irreducible tempered cuspidal automorphic representation of . If and are factorizable, then
where (resp. ) is the order of the component group associated to the -parameter of (resp. ).
3.2.3. Reduce to local Ichino-Ikeda integrals
We square the GGP period integral, using Proposition 3.1, to get
Here in the second equality, we use (3.7) and the third equality follows from the definition of the MVW involution on .
Remark 3.3 (On complex conjugation).
We also have the naive approach by taking complex conjugation. Then we see
This is acceptable by purely automorphic computation, but seems useless for -adic interpolations and further applications.
In this subsection, our main focus is on the part . Such a product can be handled by Theorem 3.2: putting
we see that
(3.8) |
Here and afterwards, we denote and similarly for .
3.2.4. Reduce to the doubling integrals
To ease the notation in this subsection, we denote the right hand side of (3.10) simply by . We have seen that it is independent of and . So in , we drag it out of the integrals and obtain
The main focus of this subsection is to deal with such integrals. One notes that the integral in the parentheses is just by Corollary 2.4 (3) (putting ). Breaking it into local doubling integrals by Corollary 2.5 (1), we have
Observe that by identifying with , the remaining integral is just by Corollary 2.4 (3) (putting ). Again break it into local doubling integrals by Corollary 2.5 (1), we obtain
To conclude, we have finally obtain the following result.
Theorem 3.4.
Notations being as above, we have
(3.11) |
3.3. Unramified Computations
We have the following standard results relating local integrals to local -factors at unramified places.
Theorem 3.5 ([Har14, Theorem 2.12]).
Let , then .
Theorem 3.6 ([EHLS20, Section 4.2.1]).
Let , then
where
-
•
is the product of loca -factors for Hecke characters over ,
-
•
, where the right hand side is the standard local Godement-Jacquet -factor and is the local base change from to .
Theorem 3.7.
We assume Assumption (BC). We choose Siegel Eisenstein sections at as spherical sections in the construction of the Klingen Eisenstein series. Then
where and is the product of local -factors and for running through or respectively.
3.4. Further assumptions
In what follows, we shall
- (1)
-
(2)
choose Siegel Eisenstein sections carefully at bad places such that the resulting Siegel Eisenstein series has -adic interpolatable -expansions, and therefore Siegel Eisenstein series, together with the Klingen Eisenstein series via pullback, can be interpolated into -adic families (see Section 8).
For the convenience in step (1), we put more assumptions on the cuspidal representations and and their “relative position”.
Assumption 3.8 (Weight interlacing assumption).
We assume that for any , representations and of real Lie groups and are irreducible discrete series representation and satisfy the “Gan-Gross-Prasad weight interlacing property”. We shall recall it in Section 4.
Assumption 3.9 (Unramified assumption).
We assume that is unramified at any finite places of .
Assumption 3.10 (Splitting assumption).
We assume that every splits in .
Assumption 3.11 (Disjointly ramified assumption).
We assume that every , one of and is unramified, i.e. they cannot be both ramified.
Very roughly speaking, Assumption 3.11 is some kind of “Heegner hypothesis”, and it is known that there are infinitely many imaginary quadratic extensions of such that this assumption is satisfied. When understanding and as automorphic representations “generated” by “modular forms” of “tame levels” and , Assumption 3.11 is requiring and be coprime.
Assumption 3.9 may be awkward. This is because the computation of local Ichino-Ikeda integrals at places where is ramified with both and unramified is still out of reach for us, for general signatures. It is proved that
in the case and in [HY23, Appendix B]. It is believed that their method can be generalized to arbitrary signature case, by combinatorial brute force. We shall pursue this in future works. In particular, we note that this assumption exclude the case where is an imaginary quadratic extension of .
For simplicity, for any place of , when it is clear from the context, we shall write
-
•
, and similarly for other groups,
-
•
, and similarly for other local representations, and
-
•
extension of local fields will be written as if this will not cause any confusion. In this case, we write for the ring of integers, the maximal ideal, and a fixed choice of uniformizer of respectively, and let be the cardinality of the residue field of . The absolute value on is normalized via and the corresponding valuation on is denoted by .
4. Local Ichino-Ikeda integrals at archimedean places
In this section, we consider , an archimedean place of .
4.1. Weight interlacing property
As promised, we shall first introduce the weight interlacing assumption (Assumption 3.8). The primary reference is [He17].
Let be a discrete series representation of . It is known that discrete series of are parameterized by Harish-Chandra parameters , where is a sequence of distinct integers or half-integers and is a sequence of and corresponding to each entry in , such that the total number of ’s must be and the total number of ’s must be . We denote such a discrete series as .
Let be a discrete series of and be a discrete series of . Here we represent the in by . We say and satisfies the Gan-Gross-Prasad weight interlacing relation if one can line up and in the descending ordering such that the corresponding sequence of signs from and only has the following eight adjacent pairs
The local Gan-Gross-Prasad conjecture at archimedean places for discrete series, now being a theorem of He [He17, Theorem 1.1], is the following result.
Theorem 4.1.
The discrete series of appears as a subrepresentation of the restriction if and only if and satisfy the Gan-Gross-Prasad weight interlacing property.
4.2. Local Ichino-Ikeda integral
By adjointness of corresponding functors, we have
Note that since is an irreducible admissible representation of , so does its contragredient . By Schur’s lemma, we see that is nonzero if and only if is a subrepresentation of , hence if and only if and satisfy the GGP weight interlacing property by Theorem 4.1.
One further notes that the condition “” says that there are nontrivial -invariant vectors . Therefore, it follows directly from the definition that
for any . Therefore, we have the following proposition.
Proposition 4.2.
Under Assumption 3.8, for any , .
We remark that the weight interlacing assumption (i.e. Assumption 3.8) guarantees that the local Ichino-Ikeda integral is nonzero.
5. Local Ichino-Ikeda integrals at split primes
In this section, we deal with the local Ichino-Ikeda integrals at places , i.e. finite places of that splits in . It includes places of above .
In Section 2.1.1, we have seen that there are isomorphisms
To make it more convenience when dealing with local Ichino-Ikeda integrals, we adjust the isomorphisms and such that the diagram
commutes, with
Under isomorphisms and , we regard and as representations of and respectively.
5.1. Basic representation theory of
In this subsection, we briefly review some basic representation theory of . Solely in this subsection, we let be a general positive integers (that are not related to the unitary groups before).
We fix an additive character which is trivial on and nontrivial on . We write for the space of locally constant compactly supported functions on . The Fourier transform of is defined by
The measure is chosen so that .
Put an arbitrary multiplicative character of , we define denotes the Gauss sum
for . When and is clear from contexts, we shall simply write for short.
5.1.1. Whittaker models
Extend to by the rule
This is a generic character. Note that it is trivial on .
Let be an irreducible admissible representation of . It is called generic if
It is known that tempered representations are always generic. By Frobenius reciprocity, this means that there exists a nonzero linear form such that
It is known that for a generic , is of dimension one. The Whittaker model of with respect to is defined as
Then is independent of the choice of , and for , ,
Then the map gives an isomorphism . One can define an invariant perfect pairing
such that , where the pairing on the left is the canonical pairing between and .
Given , we define by , where is the longest Weyl element.
5.1.2. The JPSS integrals and local JPSS -factors
Now let be an irreducible admissible generic representation of . Let be a positive integer which is equal or less than . Put . Let be an irreducible admissible generic representation of whose central character is . We associate to Whittaker functions and the local zeta integrals 101010There appears to be a typographical error on [HY23, page 37] where it was written that .
which converge absolutely for , where is the Haar measure on giving volume .
We write , and for the , epsilon and gamma factors associated to and . These local factors are studied extensively in [JPS83]. The gamma factor is defined as the proportionality constant of the functional equation
(5.12) |
where
Remark 5.1.
We are only interested in the case (so ). By a change of variables, we see that
(5.13) |
for any . This property is called the invariance of JPSS integrals.
When we view and are representations of unitary groups over the split quadratic algebra ,
(5.14) |
When and is a character of , we have
(5.15a) | |||
(5.15b) | |||
(5.15c) |
where the local -factors are the Godement-Jacquet -factors studied extensively in [GJ72]. Moreover, recall that
(5.16) |
where we regard and as representation of unitary groups on the left hand side and representations of general linear groups on the right hand side. Combining (5.14) and (5.16), we obtain
(5.17) |
5.1.3. The naive local Rankin-Selberg -factor
We keep the notations and conventions of previous section, and consider the special case (so ). By definition, the local Godement-Jacquet -function is of the form , where has degree at most and satisfies , We may then find complex numbers (some of them may be zero) such that
We call the set the Langlands parameter of . Let be the Langlands parameter of . Then we define
to be the naive local Rankin-Selberg -factor. We shall compare it with the local JPSS -factor. Morally speaking, sees the “unramified part” of .
We need Bernstein-Zelevinsky’s classification theorm of irreducible admissible representations of . For our purpose, we restrict us to the classification of tempered ones 111111See, for example, [GH11b, Theorem 14.6.4-14.6.5] for the case . There are two phrases.
-
•
Discrete series. Let be two positive integers such that and let be an irreducible supercuspidal representation of with unitary central character. Then
has a unique irreducible quotient, denoted by . Every discrete series representation of is isomorphic to some .
-
•
Tempered representations. Let be a partition of and be discrete series of for . Then
is irreducible and tempered. Every tempered representation is isomorphic to this form. The operation “” is called the isobaric sum.
Let be a tempered representation of . Let be the tuple of unramified isobaric summands of with increasing ’s. We define the unramified socle of as the isobaric sum as an unramified tempered representation of . Obviously if itself is unramified, then .
Proposition 5.2.
With conventions and notations above, we have:
-
(1)
The local -factors and are bi-additive under the isobaric sum, i.e.
for and all irreducible admissible representations of general linear groups.
-
(2)
If both and are unramified irreducible admissible representations of and respectively, then .
-
(3)
If either or is ramified discrete series representations of and respectively, then .
Therefore, we have .
Proof.
The bi-additive property of follows easily from the definition, and that of is [JPS83, Section 9.5, Theorem]. The result in (2) is stated in [JPS83, Equation (14) on page 371]. For (3), it follows from the definition of that it suffices to show the following claim: let be a ramified discrete series of , then . (Clearly, this is equivalent to that all Langlands parameters of are zero.) To show this claim, by Bernstein-Zelevinsky’s classification, . Then we know
where the -factor on the first line is the local Hecke -factor for Hecke -functions. When , the claim follows from this fact. When , if is ramified, is then ramified and hence as well. So the claim is proved. The final equalities in the proposition follows directly from (1) to (3), and the definition of unramified socles. ∎
5.1.4. Essential Whittaker vectors
Now we review the theory of the essential Whittaker vector associated to an irreducible admissible generic representation of . Given an open compact subgroup of and its character , we put
For any integer , we consider the following two compact open subgroups of :
so that is a normal subgroup of , with quotient .
Let be the exponent of the conductor of , i.e. the epsilon factor of satisfies
This subspace of is called the essential line of , and we define the normalized essential Whittaker vector of with respect to to be satisfying
Remark 5.3.
-
(1)
If is unramified, then and by the uniqueness of the essential vectors, is nothing but the normalized spherical function.
-
(2)
The larger compact group acts on the essential line via the central character of . Precisely, for , define
Then clearly is a character of trivial on and
-
(3)
We recall the definition of conductor of a multiplicative character of , denoted by . If is trivial, then the conductor of is , otherwise , where is the least integer such that is trivial on .
5.1.5. Test vector problem
Let and be irreducible admissible tempered representation of and respectively. Previously we have defined the JPSS integrals for Whittaker functions and . The test vector problem is to find Whittaker functions and such that
In this section we introduce two partial results on this problem, which are sufficient to compute the local Ichino-Ikeda integral under Assumption 3.11.
Theorem 5.4 ([JPS81, Théorème on page 208]).
Suppose is unramified, then
The case when is ramified is more complicated. In this case, Booker, Krishmanrthy and Lee [BKL20] modified through a process of unipotent averaging. This method dates back to [Sch93], etc..
Let , , denote the conductor of , and (the central character of ), respectively. Consider with for . Let denote the matrix
We define for any the unipotent averaging operator
(When , we understand there to be one summand, so that ).
Then we have the following theorem.
Theorem 5.5.
Notations and conventions as above. Under Assumption 3.11, when is ramified, we have
where is an explicit nonzero number
5.2. The splitting lemma
Finally we finshed the preparations on local representation theory of general linear groups. We go back to the computation of local Ichino-Ikeda integrals.
Let be an irreducible admissible tempered representation of and that of . We consider the integral
where
This integral converges.
An essential tool is the splitting lemma of Wei Zhang 121212Note that [Zha14], Zhang used unnormalized local Haar measures while here we are using normalized ones, reformulated as [HY23, Lemma 5.2]. Interested readers can turn to [HY23, Remark 5.3] for some familiar special cases of this lemma, as follows.
Theorem 5.6 (Splitting lemma, [Zha14, Proposition 4.10]).
Notations being as above, we have
Therefore, the computation of local Ichino-Ikeda integrals reduces to that of local JPSS integrals. Indeed, under the identifications of unitary groups and general linear groups via and , and local Whittaker models, we have the following corollary.
Corollary 5.7.
Notations being as above, we have
5.3. Local Ichino-Ikeda integrals at
Taking
and further write 131313We note that this is a little bit different from the definition of and in [HY23, Sect. 4.7].
They can be regarded as certain invariant of the local representations and .
5.3.1. The case when is unramified
We first consider the case when is unramified. We take
in Corollary 5.7 and apply Theorem 5.4, together with (5.17), to obtain the following proposition.
Proposition 5.8.
Notations being as above, let such that is unramified, then
5.3.2. The case when is ramified
We take
in Corollary 5.7 and apply Theorem 5.5, together with (5.17), to obtain the following proposition.
Proposition 5.9.
Notations being as above, let such that is ramified, then under Assumption 3.11, we have
5.4. Further representation theory of : ordinary condition
To handle the local Ichino-Ikeda integrals at places of above , we introduce the background on the ordinary condition on irreducible admissible representations of . Again solely in this subsection, we let be a general positive integers (that are not related to the unitary groups before).
Recall that at the very beginning of this article, we have fixed an identification . Through , we regard characters of as valued in and every irreducible admissible representations of has coefficient .
5.4.1. Ordinary line
Let be a tuple of characters , which naturally gives a character of . We have an induced character of given by
hence a character of by inflation. Then define an algebraically induced principal series representation 141414The representation agrees with the normalized induction of from to .
as an admissible representation of via the right translation.
Definition 5.10.
Let be an irreducible admissible representation of .
-
(1)
We say is ordinary if there exists a (unique) tuple of admissible characters satisfying are -adic units for and every , such that is isomorphic to .
-
(2)
We say is semi-stably ordinary if furthermore are all unramified.
-
(3)
We say is regularly ordinary if is ordinary and the -adic valuations of are all distinct. We say is regularly semi-stably ordinary if it is regularly ordinary and semi-stably ordinary.
Remark 5.11.
Note that if satisfies the properties in Definition above, then so does with respect to the tuple .
Definition 5.12.
Let and put , we define an operator on as
We remark that when taking , the operator is the -operator (see, for example, [Jan24, Section 1.4]).
Then we have the following proposition, proved in [Liu23, Lemma 4.4]151515We remark that in the statement of [Liu23, Lemma 4.4], the eigenvalue is reordering into . The ordinary condition we defined in Definition 5.10 is adjusted accordingly, which is different from loc.cit. Since we have required to be irreducible, the ordering of ’s does not harm. The case where being reducible is more subtle. For example when , that means . Whether the Steinberg representation is a subrepresentation or a quotient representation of does depend on the ordering of and . Note that the definition in [Liu23] insists on requiring to be a subrepresentation of , our adjustment in Definition 5.10 is just replacing “subrepresentation” by “quotient representation”. We thank Yifeng Liu for his guidance on this issue..
Proposition 5.13.
Suppose that is regularly ordinary, then there exists a unique up to scalar nonzero element satisfying that
holds for every . In particular, the -eigenvalue is a -adic unit.
We call the one-dimensional -subspace of generated by the ordinary line of , denoted by and a nonzero element of it an ordinary vector. Let be the Whittaker model of with respect to . For every supported on and , consider for the normalized Haar measure on the integral
By a well-known result of Rodier, this integral converges and extends uniquely to an intertwining operator
See [CS80, Corollary 1.8] for details. By the uniqueness of Whittaker models for , we have that gives the Whittaker model of , i.e.
The image of the ordinary line in is denoted by .
Actually we can explicitly construct a canonical ordinary vector. We define a big-cell section 161616It is called the big cell section since it is supported on the big cell of the Bruhat decomposition, i.e. the cell of longest Weyl element. We use the notation “” to denote such sections. as
Let be the corresponding Whittaker vector of . Here are some basic properties of .
Proposition 5.14.
Notations being as above, we have
-
(1)
is an ordinary vector.
-
(2)
.
Proof.
It is immediate to see . We fix . Let such that . Then by the definition of , there exists such that . We have . One verifies for any ,
(5.18a) | |||
and | |||
(5.18b) |
Then we get . Therefore, it reduces to compute for . Moreover, since is -invariant, we may assume .
By (5.18a), we see that the quotient has a finite set of complete representative elements
(5.19) |
Here we denote for any positive integer ,
So it suffices to compute for and in the right hand side of (5.19). We have
By (5.18b) and the definition of , we see that if and only if . Moreover,
With these observations, we obtain 171717The trick of getting the third equality is to write the factors in the following table, then take products of nonzero entries column by column: with rows indexed by and columns indexed by .
This verifies (1). For (2),
It evaluates at to
because the integrand vanishes for and for . ∎
5.4.2. Iwahori type
For any integer , we define the Iwahori subgroup of level , denoted by , to be the subgroup of matrices in that become upper triangular modulo .
One checks that acts on naturally. Since is one- dimensional, there exists a character such that
It is called the Iwahori type of . Moreover, we have the decomposition
where is the derived subgroup of , consisting of matrices in that becomes strictly upper triangular when reduced modulo . Hence arise from the subtorus of , i.e. there exist characters such that
The following lemma characterizes the Iwahori type of . 181818We appreciate the helpful guidance of Loren Spice on understanding this part.
Proposition 5.15.
Let be a regularly ordinary representation of , then the Iwahori type of is , where for , we denote .
Proof.
Since equals , we have that for all , equals
Here the second equality follows from that normalises . The third equality follows from the calculation
The last equality is Proposition 5.14 (2). Hence acts by multiplication by . ∎
Remark 5.16.
In particular, when is furthermore regularly semi-stably ordinary, that is, all ’s are unramified characters, we see that , hence the Iwahori subgroup acts trivially on the ordinary line by Proposition 5.15. This recovers [Liu23, Lemma 4.8]. Another explanation using -functions can be found in [Jan24, Remark 1.4].
5.4.3. Test vector problem: Januszewski’s generalization of local Birch lemma
The main input is Januszewski’s generalization of local Birch lemma, which we shall first introduce.
Solely in this subsection, let and be regularly ordinary representations of and respectively.
We choose an auxiliary local character of conductor , and require it to satisfy the constant conductor condition: for all and all , the conductors of are all nontrivial, all agree and are generated by . Moreover, we require . Such an character exists since any character of sufficiently large conductor could be made to satisfy this condition.
Then what follows is the local Birch lemma, generalized by F. Januszewski [Jan24, Theorem 2.8]. Here we state a simplified version. Let
for . We write .
Theorem 5.17 (Local Birch lemma).
Notations being as above. Let and be Whittaker vectors of Iwahori type and respectively, then,
where
Proof.
This is a modification of Januszewski’s generalization of local Birch lemma, i.e. [Jan24, Theorem 2.8], which gives
We put for , as an adjusting matrix. It is defined to satisfy that for any and , . Taking the change of variable for , then we see that
The left hand side integral is then nothing but
Here in the first equality, we used the invariance of JPSS integrals (5.13). ∎
5.5. Local Ichino-Ikeda integrals at
We go back to the context of local Ichino-Ikeda integrals. Let and be regularly ordinary representations of and respectively.
We take
in Corollary 5.7. Then by Theorem 5.17, with Remark 5.11 and Proposition 5.15, we obtain the following result.
Proposition 5.18.
Notations and conventions being as above, with a sufficiently ramified character with , then
where
6. A summary of automorphic computations
In this section, we introduce the choice of appropriate local Siegel sections , and sum up the results we have obtained so far.
6.1. The choice of Siegel Eisenstein sections
Though it has been expected by experts that the Klingen Eisenstein series (via pullback from Siegel Eisenstein series) can be defined in full generalities, due to the lack of references, we restrict us to the Klingen Eisenstein series (and their -adic family) constructed in [Wan15], where additional assumptions are needed in the automorphic computations.
Assumption 6.1 (Scalar weight assumption).
We assume that is a holomorphic discrete series representation associated to the scalar weight with zeroes and kappas, for any .
Assumption 6.2 (Sufficiently ramified assumption).
We assume that is “generic” in the sense of [Wan15, Definition 4.42] for any . Basically this puts restrictions on the ramification of the at primes dividing , requiring it to be sufficiently ramified. 191919This is the reason why we are not satisfied with restricting ourselves in the “semi-stably ordinary” case as in [Liu23].
Here we briefly recall the choice of Siegel Eisenstein sections for places of in [Wan15, Chapter 4]. We bring in a new partition of as follows.
-
•
Let be the set of finite places of away from such that , and are all unramified. Note that .
-
•
Let be complement of in , with elements called “bad places” for Siegel Eisenstein sections.
-
•
Let be the subset of removing all places of above and archimedean places.
6.1.1. Archimedean places
Let be an archimedean place of . Following [Wan15, Section 4A2], let
be the distinguished point in the (unbounded realization of the) symmetric domain for . We define the Siegel Eisenstein section as
which depends on .
6.1.2. Unramified places
Let , we choose to be the spherical section .
6.1.3. Ramified places away from places above
At the ramified places , we let be the big-cell section defined as the Siegel section supported on the big-cell and that . We put
where and are fixed constants in which are divisible by some high power of . Then we define the Siegel section to be .
6.1.4. Places above
Let . We remark that in [Wan15, Section 4D], is assumed to be split completely in , while here we only assume that is unramified in and every places of above splits in . The stronger assumption of Wan is just in the purpose of easing the notational issues, and can be generalized to our setup by bookkeeping.
Recall that we have started with a Hecke character of , which decomposes as . For that splits as in , we put
where we identify . Then the two local characters determines a character
Here the matrix is participated as . Here one checks that for each
(6.20) |
we have , where is the projection of under . This process reduces us to the construction of sections in (6.20), over , which could be simpler. Additionally, we have the local representation , with the conductors of being . We write
We define the big-cell section to be the Siegel Eisenstein section such that
-
•
it is supported on the big-cell , with be the subgroup of consisting of matrices which are blockwise upper triangular under the partition modulo , and is such that the conductor of is , and
-
•
for .
We define, following [Wan15, Section 4D4], the Siegel Eisenstein section 202020There are subtle differences between the Siegel Eisenstein series we write here and the one in [Wan15, Section 4D4]. Following [Wan19, Section 4.7], we decide to add the factor here in the Siegel Eisenstein section, instead of in the normalization factor at the beginning of [Wan15, Section 5C1].
where
under the partition with run over the set defined in [Wan15, Lemma 4.29], with being the -th upper-left minor of , being the -th upper-left minor of and is the -th upper-left minor of . The is the element in such that its projection via is the Weyl element . The factor is defined in [Wan15, (13)].
Finally we define our Siegel Eisenstein section as
with the intertwining operator defined as
for .
6.2. Summary of automorphic computations
Put all the calculations in this part together, we have the following main theorem.
Part II -adic Interpolation
In this part, we -adically interpolate the (square of) the Gan-Gross-Prasad period integral of the Klingen Eisenstein series with a cusp form.
7. Modular forms over unitary groups
In this section, we recall the geometric backgrounds of modular forms over unitary groups, their -adic analogues and -adic families. We try to put ourselves in the most general setup. The materials are largely taken from [EHLS20, Hsi14].
7.1. Generalities on PEL datums and unitary Shimura datums
7.1.1. PEL-type Shimura datums
Definition 7.1.
By a PEL-type Shimura datum, we mean a tuple , where
-
•
is a finite semisimple -algebra with a positive involution ,
-
•
is a symplectic -module, that is, a -module with a skew-symmetric nondegenerate -bilinear form such that for any and .
-
•
Let . It carries an adjoint involution defined by, for , the such that
Then is defined to be an -algebra map such that
-
–
, where the on the right-hand-side is the adjoint involution on ,
-
–
is positive-definite and symmetric.
-
–
We say is a simple PEL-type Shimura datum if is a simple -algebra. Given a PEL-type Shimura datum , we associate it with
-
•
the field , defined to be the center of ,
-
•
the field , i.e. the subalgebra of -invariants in , and
-
•
two algebraic groups over , defined as
and
for any -algebra . Clearly, is a subgroup of .
Let be the -conjugacy class of , then is a Shimura datum à la Deligne. For each neat compact open subgroup of , by the result of Deligne, there is an algebraic variety over the reflex field of the PEL Shimura datum such that
Under certain conditions, this model is actually unique. We call it the Shimura variety of the Shimura datum , or the Shimura variety of the PEL Shimura datum .
Let be a prime number. We hope to construct an integral model of the Shimura variety at , that is, a smooth model over the ring . For this purpose, we need some extra data and assumptions.
Definition 7.2.
By an integral PEL-type Shimura datum, we mean a tuple , where
-
•
is a PEL-type Shimura datum,
-
•
is a -order in which is stable under the involution on , and is a maximal order in . We require is unramified at , which means that is isomorphic to a product of matrix algebras over unramified extensions of .
-
•
is a -lattice in such that is stable under and is self-dual with respect to the pairing .
Given an integral PEL-type Shimura datum with the extra unramified condition of at , is unramified. Indeed, let
i.e. the subgroup of that stablizes the lattice , then is the hyperspecial subgroup of the -point of the smooth reductive model of over .
7.1.2. Unitary Shimura datums
Definition 7.3.
We consider a special integral PEL-type Shimura datum , where
-
•
, the product of copies of ,
-
•
is the complex conjugation on each factor of ,
-
•
For , let be a finite dimensional -vector space of dimension , equipped with an Hermitian form relative to . Let be a totally imaginary element that is prime to . We then put . Then is taken to be , and .
-
•
For each , has a -basis with respect to which is given by a matrix of the form . Fixing such a basis, let be . Let and .
-
•
.
-
•
Let be a free -module of rank , such that and is a perfect pairing on .
We say the PEL-type Shimura datum as a unitary Shimura datum. It is called a simple unitary Shimura datum if .
Given such a unitary Shimura datum, the corresponding objects are as follows.
-
•
the field ,
-
•
the field ,
-
•
the group , where for , is the general unitary group over attached to the Hermitian space , defined in Part 1.
-
•
the group is the subgroup of with rational silimitudes.
So in particular when and , then is the general unitary group defined in Definition 2.1.
7.1.3. Hodge structures, lattices and level subgroups at
Now we concentrate on the case of unitary Shimura datum. For each and , determines a pure Hodge structure of weight on . Let be the degree zero piece of the Hodge filtration. This is an -submodule of . For each , let and . We note that for ,
We assume throughout the following fundamental hypothesis, called the ordinary hypothesis
(ord) |
for any with and the corresponding -adic places of them given by the embedding .
Then for each place of above , we can then define for any corresponding to . Let . For each , we fix an -decomposition such that
-
•
is an -module with . So is an -module with and .
-
•
is the annihilator of for the perfect pairing .
For each and , we fix a basis of to regard it as a direct sum of copies of . 212121In [Hsi14, Section 1.8], Hsieh very carefully chose the precise basis of . Here we only roughly speak of such a basis without explicitly specifying it. Taking -duals via yields a decomposition of as a direct sum of copies of . The choices of these decompositions determines isomorphisms
and the embedding
is given by .
To define appropriate level subgroups at , we start with defining
Let be the Borel subgroup corresponds via this isomorphism with the product of the upper-triangular Borel subgroups of general linear groups. Let be its unipotent radical. Let , this is identified by the isomorphism with diagonal matrices. Let be the Borel subgroup that stablizes and such that
(7.21) |
where the map to the first factor is the silimitude character and the second projection is the projection to . Let be its unipotent radical. Under the identification,
(7.22) |
Then we define the following level subgroups at . They are all defined under the chosen basis of above.
-
•
We have the hyperspecial subgroup , where is the similitude factor part.
-
•
We have the congruence level subgroup consists of those such that .
-
•
We define the principal level subgroup as the subgroup of consists of those projecting under the surjection (7.21) to an element in .
Then it follows that .
7.2. Moduli problems
In this subsection, we start with an integral PEL-type Shimura datum , and omit it from the following-up notations.
Let be a finite set of primes, which is usually taken to be the empty set or . Let be a locally noetherian connected -scheme.
Definition 7.4.
We say that a tuple is a -polarized abelian scheme with an action of if
-
•
is an abelian scheme over ,
-
•
is a prime-to- polarization of over .
-
•
which respects involutions on both sides: the involution on the left and the Rosati involution coming from on the right.
Let be a compact open subgroup of , we define a -level structure of to be a -invariant -orbit of the isomorphism of -modules
which identify with a -multiple of the symplectic pairing on the Tate module defined by and the Weil pairing.
Let be a compact open subgroup of .
Definition 7.5.
Let be the following category fibered in groupoids over the category of :
-
•
The objects over a scheme are quadruples , where is a -polarized abelian scheme with an action of , and is a -level structure, such that satisfies the Kotwitz determinant condition defined by 222222The requirements on the dimension of the abelian scheme and the information on the signature of the Hermitian spaces in the case of unitary Shimura datums, are encoded in this Kotwitz determinant condition. So here the definition coincide with our usual definition, for example, in [Hsi14, Section 2.1].
-
•
The morphisms from to are given by a -isogeny that is compatible with the action of and the level structures.
We have the following well-known representability theorems in the case when is the empty set or .
Theorem 7.6 (Degline-Kotwitz).
When is the empty set and is neat, is representable by a scheme . Moreover, in the case when is a unitary Shimura datum, we have
where the set of locally trivial elements of .
More precisely, the elements of classify isomorphism classes of Hermitian tuples that are locally isomorphic to . Then is a disjoint union of copies of . This will not cause too much trouble since for applications to automorphic forms, and we only need one copy of them. See [EHLS20, Section 2.3] for details.
Theorem 7.7.
When , the category is a smooth Deligne-Mumford stack. When is neat, it is representable by a quasi-projective scheme . Moreover, in the case when is a unitary Shimura datum, we have
In the case when is a simple unitary Shimura datum given by an Hermitian -vector space , by abuse of notation, we call (resp. ) the (unitary) Shimura variety attached to . The geometric theory of modular forms and their -adic theory over are build up over and .
In the following-up sections, we concentrate on the case of simple unitary PEL datums.
7.3. Compactifications
The theory of toroidal compactification of unitary Shimura varieties are done in [Lan13]. Fixing certain smooth projective polyhedral cone decomposition (which we do not make precise here), one can attach the toroidal compactification of . We focus on the case . Then we know:
-
•
The toroidal compactification contains as an open dense subscheme. The complement of is a relative Cartier divisor with normal crossings. We denote by the ideal sheaf of the boundary of .
-
•
There is a quadruple over , where is a semi-abelian scheme with an -action by and a homomorphism , such that , the universal quadruple over , and is the level structure in the quadruple .
Let , where is the zero section of the semiabelian scheme over . Then is a locally free coherent -module. The minimal compactification of is defined to be
Let be the natural projection.
7.4. Igusa schemes
In the following, by abuse of notations, we also denote and by their base change to via the map induced by our fixed embedding , and let and be their special fibers correspondingly.
7.4.1. Hasse invariants
Let be the Hasse invariant defined in [Lan18, Section 6.3.1]. In particular, for each geometric point of , the Hasse invariant of the corresponding semiabelian scheme is nonzero if and only if the abelian part of is ordinary. Because is ample, for some , there exists an element in lifting the -th power of the push-forward of . We denote by the pullback under of any such lift, which (because ) defines an element .
7.4.2. Ordinary locus and the Igusa tower
Consider the following moduli problem.
Definition 7.8.
Let be the following category fibered in groupoids over the category of :
-
•
The objects over a scheme are quadruples , where and is a level -structure, defined as a -orbit of monomorphisms as -schemes over :
-
•
The morphisms from to are given by an element
that is compatible with the level- structures of and .
Theorem 7.9.
The moduli problem is relatively representable over , and thus it is represented by a scheme over the scheme . The scheme is called the ordinary locus of level .
We sometimes write simply as or even for short if it does not cause any confusion.
Let be the partial toroidal compactification of the ordinary locus ([Lan18, Theorem 5.2.1.1]). It is obtained by gluing to the toroidal boundary charts parameterizing degenerating families defined in [Lan18, Definition 3.4.2.0].
Let be the base change of to . By [Lan18, Lemma 6.3.2.7], agrees with the ordinary locus in [Lan18, Theorem 5.2.1.1] for the hyperspecial level at , and by [Lan18, Corollary 5.2.2.3], the map
forgetting the level -level structure is finite étale.
We gather the above objects into the following diagram, broadly speaking as the diagram of Igusa towers.
To simplify the notation, when the level group away from is clear or fixed in the context, we simply write for for simplicity.
7.5. Modular forms on unitary groups
7.5.1. -adic modular forms
We define the space of mod automorphic forms on of level by
We let , and similarly define the space of mod cuspidal automorphic forms on of level by
Then we define -adic automorphic forms by passing to the limit.
Definition 7.10.
We define the space of -adic automorphic forms (resp. cuspidal automorphic forms) with torsion coefficient as
We define the space of -adic automorphic forms (resp. cuspidal automorphic forms) with integral coefficient as
For any -adic ring , i.e. satisfies , we have -adic automorphic forms (resp. cuspidal automorphic forms) with coefficient ring defined by base change to , denoted by and respectively.
Recall we defined several algebraic groups , and attached to a unitary Shimura datum previously.
Definition 7.11.
For any sufficiently large finite extension , we define the weight algebra with coefficient field of the unitary Shimura datum as the completed group algebra .
The space of -adic automorphic forms carries many actions.
-
•
Recall naturally identifies . Hence the group actually acts on , , making these spaces into -modules.
-
•
The action of on the Igusa tower gives an action of on the space of -adic automorphic forms. Let be an open compact subgroup of , the submodules fixed by , denoted by and so on. These -adic automorphic forms are said to be of tame level .
Definition 7.12.
We define a -adic weight as a -valued character of . In other words, under the isomorphism , a -adic weight is a collection with each given by
where are continuous characters. We say a -adic weight is arithmetic, if for each , is given by a product of an algebraic character and a finite order character, i.e. for finite order characters and .
Given a -adic weight , we denote the finite field extension of generated by the image of . We put as the subspace of on which acts by inverse of the character . Similarly, we define the spaces , and . These -adic automorphic forms are said to have weight .
7.5.2. Classical automorphic forms
Though we are free to use the space of -adic modular forms, which is larger than the space of classical automorphic forms, automorphic computations are more frequently done in the classical way. In this subsection, we consider the classical automorphic forms over unitary groups.
Let be any -tuple. We define for any algebra , the space
where denotes the polynomial functions on with coefficients in and is regarded as an algebraic character on defined by
Then is a free -module and is the algebraic representation of with minimal weight with respect to . We regard it as
as an algebraic representation of .
Recall with decomposition (resp ) be the subsheaf of on which acts by (resp. ) for all . Because is unramified in , (resp ) is locally free of rank (resp. ) and . Set
and put .
Suppose for each , we are given a -tuple as above and, by abuse of notation, let . Then following the above process, we have well-defined provided is a parallel weight.
Let and be an -tuple of finite order characters and let . Let be a finite extension containing the values of all .
Definition 7.13.
We define the space of classical automorphic forms on of weight , level and nebentypus as elements in the space
Similarly we have the space of classical cuspidal automorphic forms
7.6. Hecke operators on modular forms
One can turn to [Hsi14, Section 3.7] for carefully presented details. Here we only give a rush sketch. Let be open compact subgroups of for , such that are neat.
7.6.1. Hecke operators away from
Let , we define the double coset operator
through the action of on the space of modular forms
Similarly, for neat open compact subgroups , we can define the corresponding double coset operators in the same way and denote them as . When is understood, we write instead of and instead of .
7.6.2. Hida’s operators at
We define some particular elements in as under the isomorphism (7.22), for , as
In [Hida04, Section 8.3.1], Hida has defined has defined an action of the double cosets on the modules of -adic modular forms and cuspforms, via correspondences on the Igusa tower. We put for any ,
Definition 7.14.
We define a projector , called Hida’s ordinary projector. For any -adic ring , we define the submodule of ordinary -adic automorphic forms (resp. ordinary -adic cuspidal automorphic forms) over as
We can further define ordinary -adic automorphic forms of weights for a -adic weight , and adding decorations on the notations, which we shall not bother to list.
7.7. Interlude: Review on -adic measures
Next we shall introduce -adic families of (-adic) automorphic forms. We prefer to use the setup of -adic measures, among various different but essentially equivalent perspectives. Here we briefly review the basis notions of -adic measures.
-
•
Let be a -adic ring. This will act as the base coefficient ring.
-
•
Let be a -adically complete -module.
-
•
Let be a compact abelian group with totally disconnected topology, i.e. is a profinite abelian group.
Then we denote as the -algebra of continuous -valued functions on . It is equipped with the topology of uniform convergence. An -valued -adic measure on is a continuous -linear map
The set of -valued -adic measures on is a -adically complete -module and is denoted as . We often omit the coefficient ring in the notation.
Here are some operations on -adic measures.
-
•
Base change: Let be an -algebra, which is also -adically complete, since , there is a natural map . If the structure map is injective, then we view as a subset of .
-
•
Dirac measures: Given a , we define being a -adic measure in .
-
•
Action of continuous functions: Let . For , we define
-
•
Convolution: If we further assume is equipped with the structure of an abelian group written multiplicatively, then we can define the convolution on as
If is a continuous multiplicative character, then we have
We can define the convolution of measures in in the same way whenever there is an appropriate “product” on .
-
•
Product of the test space: is a product of profinite abelian groups, then there is a natural isomorphism
Moreover, we note that can be identified with the completed group algebra . In practice, we often encounter the case where
-
•
is a product of finite abelian group with finite copies of . For example, could be , for , or the torus for some positive integer .
-
•
is often the the ring of integers for an algebraic extension .
-
•
is often taken to be , or the space of -adic modular forms over certain reductive groups.
7.8. Hida families on unitary groups
Recall is a simple unitary PEL datum given by a Hermitian space . Let be a -adic ring.
Definition 7.15.
We define a -adic family of automorphic forms over of level over to be a -adic measure in
such that
(7.24) |
for any and . A -adic family of cuspidal automorphic forms (resp.Hida family, cuspidal Hida family) over of level over is a -adic family of automorphic forms taking value in
We denote the space of such families as with decorations .
In particular, let be a -adic weight and contains all the values of , then for ,
This is called the specialization of at . We remark that becomes a -algebra by either the action of induced by left multiplication on or its action on . This is well-defined by the requirement (7.24).
Recall we have a decomposition of as ,232323Recall that we have always been assuming . where is the group of roots of unity in , a finite cyclic group of order . Then we have the corresponding decomposition of into
where is the torsion subgroup of and is the identity component of . Regarding the decomposition above, we rewrite . Since is of order prime to , the spaces can be decomposed into a direct sum of isotypical pieces for the -characters of as
Characters are called branching characters. Each is a -module.
Let be a normal domain over (resp. ) which is also a finite algebra over (resp. ). Then we can base change the -module (resp. -module)
to . These elements are called -adic Hida families, forming the spaces and respectively.
We can also define Hecke operators on the space of -adic families of modular forms, induced from those defined in Section 7.6. Let be a finite set of places of such that is maximal outside of . Let be any finite torsion-free -algebra, we define the unramified ordinary cuspidal Hecke algebra be the -subalgebra of generated by Hecke operators away from and -operators at places .
Remark 7.16 (Other -adic families of automorphic forms).
Hida families defined in Definition 7.15 are possibly the easiest classes of -adic families of automorphic forms. There are ways of generalizing it.
-
•
Allowing general parabolics. Here Hida’s ordinary projector is constructed via Borel double cosets. In [Hid98], Hida introduced the notion of -ordinary modular forms on a reductive group with parabolic subgroup of , generalizing the case in this article. A -adic automorphic form can be -ordinary without being -ordinary. There are works on this aspects, for example [EM21]. The deep work [CLW22] built up the “noncuspidal Hida theory for semiordinary modular forms” and proved the Iwasawa main conjecture of such -adic families.
-
•
Allowing general -slopes. Here the ordinary -adic automorphic forms are defined to be of -slope zero. There are generalizations to the -adic family of automorphic forms of finite -slope, as Coleman families.
8. The -adic family of Eisenstein series
Let be an -dimensional vector space over , equipped with a non-degenerate skew-Hermitian form . Then is an Hermitian form on . We regard as an Hermitian space over . In Part I, we considered spaces , and . We let and be the simple unitary Shimura datum attached to these Hermitian spaces, and be the unitary groups attached to them repsectively. We keep the assumptions (sgn) and (QS) in Section 2.1.1. We have algebraic groups and for being these unitary Shimura datums. We denote them as and if the corresponding unitary group has signature , and similarly adopt obvious notations as such.
Remark 8.1 (On unitary groups, [Wan15, Remark 2.1]).
As recalled in Section 7, in order to have Shimura varieties for doing -adic automorphic forms and Galois representations, we need to use the general unitary groups defined over , which is smaller than the general unitary group we defined in Definition 2.1. However, this group is not convenient for local automorphic computations since we cannot treat each primes of independently. So what we do implicitly is that for automorphic computations, we write down the automorphic forms on the larger general unitary groups as in Definition 2.1, and then restrict to the smaller one. For the algebraic construction, we only do the pullbacks for unitary groups instead of general unitary groups.
8.1. Setups for -adic interpolations
Following [Wan15, Definition 3.2], we define Eisenstein datums as follows.
Definition 8.2.
We define an Eisenstein datum as a triple , where
-
•
is an irreducible unitary tempered cuspidal automorphic representation of ,
-
•
is a Hecke character .
-
•
is a finite set of primes of contaning all the infinite places, primes above and places where either or is ramified.
Given an Eisenstein datum, if they satisfy Assumptions 6.1 and 6.2, then we can define local Siegel Eisenstein sections as in Section 6, and hence define the Siegel Eisenstein series with these Siegel Eisenstein sections. Under the pullback formula, we obtain a Klingen Eisenstein series for cuspidal automorphic forms .
Definition 8.3.
A -adic family of Eisenstein datums is a tuple , where
-
•
is a finite extension.
-
•
is a normal domain over , which is also a finite -algebra.
-
•
is a finite order Hecke character whose conductors at primes above divides .
-
•
is a branching character, i.e. a finite order character of , the torsion part of .
-
•
is an -adic Hida family of tempered cuspidal ordinary eigenforms on , of tame level group and branching character . 242424In [Wan15], the tempered condition is included in the assumption (TEMPERED) in [Wan15, Section 5B2]. Here we include this assumption in the definition of -adic family of Eisenstein datums.
Denote be the normalization of an irreducible component of 252525More precisely, there is a bijection Let be a mininal prime ideal of , then the corresponding irreducible component is isomorphic to . The later quotient ring is an integral domain, and we take its integral closure (in its fractional field), this is the in the text. As remarked in [Wan15, page 1957], for each such irreducible component we can make the following-up construction.. Given a -adic family of Eisenstein datum , we define the corresponding Iwasawa algebra as . It is an -algebra. We also define the universal character attached to as the product , where is the tautological character induced from the reciprocity law in class field theory under geometric normalization.
The Iwasawa algebra will be used as the weight space for -adic interpolations. We define
consisting of continuous -valued charcters of .
Definition 8.4.
Let .
-
(1)
We call an arithmetic point, if it satisfies the following conditions.
-
•
Let be the pullback of on along canonical maps , then it is a -adic weight in the sense of Definition 7.12, with
for any , for some integer .
-
•
Let is the composition of with the universal character , i.e.
Then is a Hecke character of infinite type .
-
•
-
(2)
We call a classical arithmetic point, if is an arithmetic point and the specialization is a classical automorphic form under (7.23) such that it generates an irreducible tempered unitary cuspidal automorphic representation of . 262626By the requirement , the archimedean part is indeed a holomorphic discrete series.
-
(3)
We call a generic classical arithmetic point, if is a classical arithmetic point such that satisfies the generic condition [Wan15, Definition 4.42].
We denote the set of such points as and respectively. We know that these are all Zariski dense in 272727This is not quite trivial, which depends on the classicality theorem in Hida theory. See [Wan15, Remark 5.2] for the justifications..
Let (resp.) be the set of finite places of away from such that (resp. is ramified). We put . This is the set of “bad places” of the datum . Given a point , we have the specialization of the -adic family of Eisenstein datum , We write .
8.2. The -adic family of Eisenstein series
In this subsection, we recall the results on the existence of -adic families of Siegel Eisenstein series and Klingen Eisenstein series.
8.2.1. The Siegel Eisenstein family
We recall the -adic family of Siegel Eisenstein series. To do the -adic interpolation, we need a renormalization of Siegel Eisenstein series.
Let and be the specialized Eisenstein datum. We define the normalization factor
(8.25) |
where
with the -adic period and the CM period, and put for the product of elements of and define similarly. 282828We refer to [Hid04] for precise definitions. We define the normalized Siegel Eisenstein series as
and the normalized Klingen Eisenstein series as
Then we have the following result.
Theorem 8.5 ([Wan15, Lemma 5.7]).
Attached to the -adic family of Eisenstein datum , there exists a -adic measure
such that for any generic classical arithmetic point , we have
The construction is by first interpolating the Fourier coefficients of the Siegel Eisenstein series and apply the -expansion principle. The normalization factor is essential, guaranteeing that these Fourier coefficients are integral and -adically interpolatable after normalization.
8.2.2. Hecke projectors
To construct the -adic family of Klingen Eisenstein series, we recall the notion of Hecke projectors, attached to the -adic family of Eisenstein datum , following [Wan15, Section 5B].
Definition 8.6 (Dual Hida family).
We first define an -involution sending any to . We define to be the ring but with the -algebra structure given by composing the involution with the original structure map . We say an -adic cuspidal Hida family is a dual Hida family of , if for all the generic classical arithmetic point , we have .
Definition 8.7 (Hecke projectors).
Let be an -adic Hida family over . We define a Hecke operator in the Hecke algebra as a Hecke projector of , if for any and any -adic family of automorphic forms , the specialization of at is the projection (under the Petersson inner product) of to the one-dimensional line inside spanned by . The scalar is defined to satisfy
In this way, we have a well-defined map
Theorem 8.8 (Wan).
Notations being as above, let be a -adic family of Eisenstein datum, then the dual Hida family and the Hecke projector exist.
This is proved in [Wan19, Chapter 6]. More specifically, the Hecke projector is constructed as [Wan19, Equation (28)] and the dual Hida family is constructed in the proof of [Wan19, Theorem 6.8]. We remark that such existences are well-known in lower rank cases and in the classical theory before Wan’s general construction. One refers to, for example, [Wan15, Remark 5.6] for justifications.
8.2.3. The Klingen Eisenstein family
Following the recipe of the pullback formula (Proposition 2.6) and the -adic interpolation construction in [Wan15, Section 5C], we first restrict the Siegel Eisenstein family on as
We fix any point on the Igusa tower of , we have
We shrink to be contained in if necessary, then . As shrinking, the set may become larger. By abuse of notation, we still denote by the shrinked tame level group and the set associated to .
Then the assignment
(8.26) |
gives a -adic measure
This is the Klingen Eisenstein family associated to the -adic family of Eisenstein datum , satisfying that for any generic classical arithmetic points , we have
In the case when is a definite unitary group, that is, , there is another approach without using Hecke projectors, but instead using the -adic interpolation of the Petersson inner product. This approach takes the advantage that the Shimura variety of is a finite set (see, for example, [Wan15, Definition 5.1 (ii)]). This trick was invented in [Hsi14] in the case of and was generalized to the case in [Wan15, Section 5C3].
Proposition 8.9 ([Wan15, Proposition 5.9]).
Let be a neat tame level group in . Then there exists a -linear pairing
such that for any , we have for any and .
Then in this case, only granting the existence of the dual Hida family , the Klingen Eisenstein family can be defined by replacing (8.26) with the assignment
Here we identified
so as to apply . One note that in this definite case, we get an “-integral Klingen Eisenstein family”, that is,
9. The -adic interpolation of the Gan-Gross-Prasad period integral
9.1. Setups for the -adic interpolation
We define the following datum for the -adic interpolation of the Gan-Gross-Prasad period integral.
Definition 9.1.
A -adic family of Gan-Gross-Prasad datums is a tuple , where
-
•
the tuple is a -adic family of Eisenstein datum, in the sense of Definition 8.3,
-
•
is a normal domain over , which is also a finite -algebra, and
-
•
is an -adic Hida family of tempered cuspidal eigenform on , of tame level group and branching character ,
Let be the set of finite places of away from such that . Given a -adic family of Gan-Gross-Prasad datums is a tuple, we realize that is also a -adic family of Eisenstein datum, over the group . We put , called the “bad places” of the datum .
We define the weight space as
consisting of continuous -valued characters of . We define the weight space of the -adic family of GGP datums as the product space .
Definition 9.2.
Let .
-
(1)
We call an arithmetic point if the pullback on along the structure map is an arithmetic -adic weight in the sense of Definition 7.12 with
(9.27) for any .
-
(2)
We call a classical arithmetic point if is an arithmetic point and the specialization is a classical automorphic form under (7.23) such that it generates an irreducible tempered unitary cuspidal automorphic representation of . 292929By the latter assumption in (9.27), the archimedean part is a holomorphic discrete series.
We denote the set of such points as and respectively. Let .
-
(1)
We call an admissible point if and are classical arithmetic points and and satisfies the weight interlacing assumption (Assumption 3.8).
-
(2)
We call a generic admissible point if it is a classical admissible point and .
We denote the set of such points as and respectively. We know that these are all Zariski dense in and accordingly.
9.2. The -adic interpolation of GGP period integral
We use appropriate Hecke projectors to -adically interpolate the GGP period integral, and get the following theorem.
Theorem 9.3.
Proof.
Recall we have the Klingen Eisenstein family
We restrict it on , obtain
Here similar to the construction of Klingen Eisenstein family, we shrink to be contained in if necessary, then . As shrinking, may become larger. By abuse of notation, we still denote by the shrinked tame level group and the set associated to , and keep assuming that and are disjoint with every element splits in . We then apply the Hecke operator to get
(9.28) |
This element is the desired , satisfying the interpolation property in the statement. When , instead of using the Hecke projector , we apply and obtain
as desired. ∎
To obtain a precise interpolation formula, we put the following “-adically automorphic assumptions”.
Assumption 9.4 (Automorphic assumptions).
We assume that the sets and are disjoint and every place in split in . We assume that there is a Zariski dense subset of , such that for every , the cuspidal automorphic representations and satisfy (BC) respectively, and hence the corresponding multiplicity one theorems.
In Part I, we have related the period integral with certain -values with explicit local factors at bad places. Combining Theorem 9.3 and Theorem 6.3, we have the following theorem.
Theorem 9.5.
Notations being as above. We assume Assumption 9.4. Then for any , we have equals
Here is the tuple appearing in the local representation and similarly for other notations, and are auxiliary characters that are sufficiently ramified for .
Proof.
This is a simple combination of Theorem 9.3 and 6.3, with the definition of the normalization factor in (8.25). Note that the assumptions in the automorphic computations (i.e. Assumption 3.8, 3.10, 3.11, 6.1 and 6.2) are made to be satisfied in the definition of -adic families of Eisenstein datums and GGP datums (i.e. Definition 8.3 and 9.1). ∎
9.3. -adic -function of the Rankin-Selberg product of Hida families
In [Wan15], Wan constructed not only the Klingen Eisenstein families, but also -adic -functions of Hida families over unitary groups. We record his construction in our notations as follows. 303030There are some typographical errors in [Wan15, Theorem 1.1 (1)]. It has been corrected in [Wan19, Theorem 6.8]. We also remark here that recently, David Marcil [Mar24] constructed the -adic -function for -ordinary Hida families over unitary groups, which is more general than Wan’s construction here.
Theorem 9.6 ([Wan15, Theorem 1.1 (1)]).
Let be the Hida family of automorphic forms in the -adic family of GGP datum . Then there exists an element
such that for any , we have
with the product of remaining local factors in [Wan15, Theorem 1.1 (1)] which we shall not recall. When , .
We renormalize as
(9.29) |
Then comparing with the interpolation formula in Theorem 9.5, we have the following result, as another main result of this article.
Theorem 9.7.
Notations being as above. We assume Assumption 9.4, then there exists an element
such that for any , we have equals
Proof.
Recall (9.28) in the construction of , we identify
Then we define
with the same interpolating formula as in the statement. Moreover, we note that the specializations along the -extension line are trivial (that is to say, no appears in the interpolation formula), this is the purpose of renormalization (9.29). It follows that , as desired. ∎
References
- [BCZ22] Raphaël Beuzart-Plessis, Pierre-Henri Chaudouard, and Michał Zydor. The global Gan-Gross-Prasad conjecture for unitary groups: The endoscopic case. Publ. Math. Inst. Hautes Études Sci., 135:183–336, 2022.
- [BKL20] Andrew R. Booker, M. Krishnamurthy, and Min Lee. Test vectors for Rankin-Selberg L-functions. Journal of Number Theory, 209:37–48, 2020.
- [BLZZ21] Raphaël Beuzart-Plessis, Yifeng Liu, Wei Zhang, and Xinwen Zhu. Isolation of cuspidal spectrum, with application to the Gan-Gross-Prasad conjecture. Annals of Mathematics, 194(2):519–584, 2021.
- [CLW22] Francesc Castella, Zheng Liu, and Xin Wan. Iwasawa-Greenberg main conjecture for nonordinary modular forms and Eisenstein congruences on GU(3,1). Forum of Mathematics. Sigma, 10:Paper No. e110, 90, 2022.
- [CS80] W. Casselman and J. Shalika. The unramified principal series of p-adic groups. II. The Whittaker function. Compositio Mathematica, 41(2):207–231, 1980.
- [Dim24] Xenia Dimitrakopoulou. Anticyclotomic p-adic L-functions for coleman families of UnUn, 2024.
- [EHLS20] Ellen Eischen, Michael Harris, Jianshu Li, and Christopher Skinner. p-adic L-functions for unitary groups. Forum of Mathematics. Pi, 8:e9, 160, 2020.
- [Eis24] E. E. Eischen. Automorphic forms on unitary groups. In Automorphic Forms beyond GL2, volume 279 of Math. Surveys Monogr., pages 1–58. Amer. Math. Soc., Providence, RI, [2024] ©2024.
- [EM21] E. Eischen and E. Mantovan. p-adic families of automorphic forms in the -ordinary setting. American Journal of Mathematics, 143(1):1–52, 2021.
- [Gar84] Paul B. Garrett. Pullbacks of Eisenstein series; applications. In Automorphic Forms of Several Variables (Katata, 1983), volume 46 of Progr. Math., pages 114–137. Birkhäuser Boston, Boston, MA, 1984.
- [Gar89] Paul B. Garrett. Integral representations of Eisenstein series and L-functions. In Number Theory, Trace Formulas and Discrete Groups (Oslo, 1987), pages 241–264. Academic Press, Boston, MA, 1989.
- [Gar18] Paul Garrett. Modern Analysis of Automorphic Forms by Example. Vol. 2, volume 174 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2018.
- [GH11a] Dorian Goldfeld and Joseph Hundley. Automorphic Representations and L-functions for the General Linear Group. Volume I, volume 129 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2011.
- [GH11b] Dorian Goldfeld and Joseph Hundley. Automorphic Representations and L-functions for the General Linear Group. Volume II, volume 130 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2011.
- [GJ72] Roger Godement and Hervé Jacquet. Zeta Functions of Simple Algebras, volume Vol. 260 of Lecture Notes in Mathematics. Springer-Verlag, Berlin-New York, 1972.
- [GPR87] Stephen Gelbart, Ilya Piatetski-Shapiro, and Stephen Rallis. Explicit Constructions of Automorphic L-functions, volume 1254 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1987.
- [Har14] R. Neal Harris. The refined Gross-Prasad conjecture for unitary groups. International Mathematics Research Notices. IMRN, (2):303–389, 2014.
- [He17] Hongyu He. On the Gan-Gross-Prasad conjecture for U(p,q). Inventiones Mathematicae, 209(3):837–884, 2017.
- [Hid85] Haruzo Hida. A p-adic measure attached to the zeta functions associated with two elliptic modular forms. I. Inventiones Mathematicae, 79(1):159–195, 1985.
- [Hid88] Haruzo Hida. A p-adic measure attached to the zeta functions associated with two elliptic modular forms. II. Universite de Grenoble. Annales de l’Institut Fourier, 38(3):1–83, 1988.
- [Hid91] Haruzo Hida. On p-adic L-functions of GL(2)×GL(2) over totally real fields. Universite de Grenoble. Annales de l’Institut Fourier, 41(2):311–391, 1991.
- [Hid98] Haruzo Hida. Automorphic induction and Leopoldt type conjectures for GL(n). In Asian Journal of Mathematics, volume 2, pages 667–710. 1998.
- [Hid04] Haruzo Hida. Non-vanishing modulo p of Hecke L-values. In Geometric Aspects of Dwork Theory. Vol. I, II, pages 735–784. Walter de Gruyter, Berlin, 2004.
- [Hsi14] Ming-Lun Hsieh. Eisenstein congruence on unitary groups and Iwasawa main conjectures for CM fields. Journal of the American Mathematical Society, 27(3):753–862, 2014.
- [HY23] Ming-Lun Hsieh and Shunsuke Yamana. Five-variable p-adic L-functions for U(3)×U(2), 2023.
- [II10] Atsushi Ichino and Tamutsu Ikeda. On the periods of automorphic forms on special orthogonal groups and the Gross-Prasad conjecture. Geometric and Functional Analysis, 19(5):1378–1425, 2010.
- [Jac12] Hervé Jacquet. A correction to Conducteur des représentations du groupe linéaire [MR620708]. Pacific Journal of Mathematics, 260(2):515–525, 2012.
- [Jan24] Fabian Januszewski. Non-abelian p-adic Rankin-Selberg L-functions and non-vanishing of central L-values. American Journal of Mathematics, 146(2):495–578, 2024.
- [JPS81] Hervé Jacquet, Ilja Piatetski-Shapiro, and Joseph Shalika. Conducteur des représentations génériques du groupe linéaire. C. R. Acad. Sci. Paris Sér. I Math., 292(13):611–616, 1981.
- [JPS83] H. Jacquet, I. I. Piatetskii-Shapiro, and J. A. Shalika. Rankin-Selberg convolutions. American Journal of Mathematics, 105(2):367–464, 1983.
- [KMSW14] Tasho Kaletha, Alberto Minguez, Sug Woo Shin, and Paul-James White. Endoscopic classification of representations: Inner forms of unitary groups, 2014.
- [Lan13] Kai-Wen Lan. Arithmetic Compactifications of PEL-type Shimura Varieties, volume 36 of London Mathematical Society Monographs Series. Princeton University Press, Princeton, NJ, 2013.
- [Lan18] Kai-Wen Lan. Compactifications of PEL-type Shimura Varieties and Kuga Families with Ordinary Loci. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2018.
- [Liu23] Yifeng Liu. Anticyclotomic p-adic L-functions for rankin–selberg product, 2023.
- [LR20] Zheng Liu and Giovanni Rosso. Non-cuspidal Hida theory for Siegel modular forms and trivial zeros of p-adic L-functions. Mathematische Annalen, 378(1-2):153–231, 2020.
- [Mar24] David Marcil. P-adic L-functions for P-ordinary Hida families on unitary groups, September 2024.
- [Mok15] Chung Pang Mok. Endoscopic classification of representations of quasi-split unitary groups. Memoirs of the American Mathematical Society, 235(1108):vi+248, 2015.
- [MVW87] Colette Mœglin, Marie-France Vignéras, and Jean-Loup Waldspurger. Correspondances de Howe Sur Un Corps p-Adique, volume 1291 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1987.
- [Sch93] Claus-G. Schmidt. Relative modular symbols and p-adic Rankin-Selberg convolutions. Inventiones Mathematicae, 112(1):31–76, 1993.
- [Shi97] Goro Shimura. Euler Products and Eisenstein Series, volume 93 of CBMS Regional Conference Series in Mathematics. Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1997.
- [SU14] Christopher Skinner and Eric Urban. The Iwasawa main conjectures for GL_2. Inventiones Mathematicae, 195(1):1–277, 2014.
- [Wan15] Xin Wan. Families of nearly ordinary Eisenstein series on unitary groups. Algebra & Number Theory, 9(9):1955–2054, 2015.
- [Wan19] Xin Wan. Iwasawa theory for U(r,s), bloch-kato conjecture and functional equation, 2019.
- [Wan20] Xin Wan. Iwasawa main conjecture for Rankin-Selberg p-adic L-functions. Algebra & Number Theory, 14(2):383–483, 2020.
- [Wil90] A. Wiles. The Iwasawa conjecture for totally real fields. Annals of Mathematics, 131(3):493–540, 1990.
- [Zha13] Bei Zhang. Fourier-Jacobi coefficients of Eisenstein series on unitary groups. Algebra & Number Theory, 7(2):283–337, 2013.
- [Zha14] Wei Zhang. Automorphic period and the central value of Rankin-Selberg L-function. Journal of the American Mathematical Society, 27(2):541–612, 2014.