`International Journal of Mathematics and Mathematical SciencesVolumeย 2011, Article IDย 842806, 33 pageshttp://dx.doi.org/10.1155/2011/842806`
Research Article

## Shintani Functions on

Graduate School of Mathematical Sciences, The University of Tokyo, Komaba, Meguro, Tokyo 153-8914, Japan

Received 25 May 2011; Revised 26 September 2011; Accepted 26 September 2011

Copyright ยฉ 2011 Keiju Sono. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We investigate the Shintani functions attached to the spherical and nonspherical principal series representations of . We give the explicit formulas of the radial part of Shintani functions and evaluate the dimension of the space of Shintani functions.

#### 1. Introduction

Shintani function is originally introduced by Shintani for -adic linear group , where is a finite extension of the -adic field [1]. He defined some โWhittaker functionโ on and obtained the explicit formulas of them. Moreover, he proved the uniqueness of his function. Later, a more detail study of Shintani functions for was done by Murase and Sugano [2] (see also [3]). They obtained new kinds of integral formulas for the -functions in terms of the global Shintani functions and proved the multiplicity one theorem of the local one at the finite primes.

On the other hand, the multiplicity and explicit formulas of the Archimedean Shintani functions were more recently investigated by some mathematicians. For example, Hirano studied the Shintani functions on [4] and [5], Tsuzuki on [6] and [7], and Moriyama on [8, 9]. They constructed the differential equations satisfied by the radial part of the Shintani functions and obtained the explicit formulas by solving them. Most of them are expressed by some linear combinations of the Gaussian hypergeometric functions. Moreover, the dimensions of the spaces of Shintani functions are obtained, which are sometimes bigger than 1.

In this paper, we investigate the Shintani functions on , attached to the principal series representations of . Now we explain the definition of the Shintani functions on . We take as a subgroup of and take as a maximal compact subgroup of . Let be an arbitrary irreducible unitary representation of and an irreducible unitary representation of , and let be the space of smooth functions satisfying . We consider the intertwining space and its restriction to the minimal -type of , where is the contragredient representation of , and is the space of smooth functions satisfying for . The function which belongs to the image of above map is called the Shintani function. In this paper, we assume that is the irreducible unitary principal series representation of and is the unitary character of . The study of Shintani functions for the general unitary representation of is a further problem.

In Section 4, we investigate the Shintani functions attached to the spherical (or class one) principal series representations. These representations have unique -fixed vector, and hence the minimal -type is one-dimensional. In this case, the explicit formulas of Shintani functions are obtained by solving two Casimir equations which are characterized by the action of the center of universal enveloping algebra. We also obtain the necessary condition of the existence of nonzero Shintani functions and prove that the dimension of the space of Shintani functions is equal to or less than 1 (Theorem 4.8).

On the other hand, in Section 5, we investigate the Shintani functions attached to the nonspherical principal series representations, whose minimal -type is three-dimensional representation of . In this case, we construct two kinds of differential equations. One is the Casimir equation we used in Section 4, and the other is the gradient equation. The key point is as follows. We have three different nonspherical principal series with the same infinitesimal characters . We cannot distinguish them only by the elements of . This is the reason we need the gradient operator which has distinct eigenvalues for different nonspherical principal series. By combining these equations, we obtain the explicit formulas of the Shintani functions, the necessary condition of the existence of nonzero Shintani functions, and prove that the dimension of the space of Shintani functions is equal to or less than 1 (Theorem 5.7).

As an application of the results of this paper, our explicit formulas for Shintani functions will be useful to compute the local zeta integral in the theory of Murase and Sugano ([2, 3]; (see also [10], in the case of ). Furthermore, the author thinks these results are interesting themselves in view of the harmonic analysis on homogeneous spaces.

#### 2. Preliminaries

##### 2.1. Groups and Algebras

Let be the real reductive Lie group and its Lie algebra. The Cartan involution is defined by , and its differential is given by , where means the transposition of matrices. Then the fixed subgroup of in is equal to , which is the maximal compact subgroup of . Next, we define another involutive automorphism of by , where . Its differential is given by . The fixed subgroup of in is isomorphic to , that is, We define +1 and โ1 eigenspaces of , in by Then, are the Lie algebras of , respectively. We have . Let be the matrix whose -component is 1 and the other components are 0 . For , we put . Then, we have Next, we take as a basis of . We have , and we take as a maximal Abelian subspace of . We define a subgroup of by Then, has a decomposition . Throughout this paper, we put .

For a Lie algebra , we denote its complexification by , that is, .

##### 2.2. The Principal Series Representations

As a representation of , we take the principal series representation defined as follows. Let be a minimal parabolic subgroup of given by the upper triangular matrices in and the Langlands decomposition of with To define a principal series representation with respect to the minimal parabolic subgroup of , we firstly fix a character of and a linear form , where is the Lie algebra of . We write for . Then, we can define a representation of and extend this to by the identification , taking the trivial representation as the representation of . Then, the induced representation is called the principal series representation of . Here, is the half sum of positive roots of given by , for .

Concretely, the representation space is given by and the action of is defined by Here, for is the Iwasawa decomposition. Throughout this paper, we assume that the representation is irreducible. Moreover, we assume that are the elements of . Then, this representation becomes unitary.

Next, we define characters of as follows. The group consisting of four elements is a finite Abelian group of -type, and its elements except for the unity are given by The set consists of 4 characters , where is the trivial character of and are defined by Table 1.

Table 1

The following proposition (see [11, Proposition 1.1]) gives the correspondence between the character of and the minimal -type of the principal series representation of .

Proposition 2.1. (1) If is the trivial character of , the representation is spherical or class one. That is, it has a unique -invariant vector in .
(2) If is not trivial, the minimal -type of the restriction to is a 3-dimensional representation of , which is isomorphic to the unique standard one . The multiplicity of this minimal -type is one:

#### 3. The Space of Shintani Functions

##### 3.1. The Definition of Shintani Functions

As a representation of , we take the unitary character defined by Let be the unitary character of defined previously. We consider the induced representation with the representation space โ acts on this space by right translation. Let be the principal series representation of . We consider the intertwining space We denote its image by , that is, We call the element of the Shintani function of type . Let be the -type of the principal series representation , and let be the -embedding of and the pullback via . Then, the map gives the restriction of to , where is the contragredient representation of and the space is defined by We denote the image of in by , and the element of this space is called the Shintani function of type .

Because has the decomposition , the element of is characterized by its restriction to . We denote the centralizer and the normalizer of in by , , respectively. It is easy to verify that , , and are given as follows.

Lemma 3.1. One has Here, is the unit element of .

Let . Then, is the unique nontrivial element of . Let be the unitary character of and the finite-dimensional representation of . We denote by the space of smooth functions satisfying the following conditions: The following lemma is proved by Flensted and Jensen (see [12, Theorem 4.1]).

Lemma 3.2. The restriction to gives the following isomorphism:

Through this isomorphism, we denote the image of in by . This is our target space in this paper. The following two lemmas are obvious.

Lemma 3.3. For , one has

Lemma 3.4. Let . For , , , one has

#### 4. Shintani Functions Attached to the Spherical Principal Series Representations

Throughout this section, as a character of , we take the trivial character . Then, the principal series representation is the spherical or class one principal series representation whose minimal -type is the one-dimensional trivial representation of , which occurs of multiplicity one in (Proposition 2.1).

##### 4.1. The Capelli Elements

Let be the center of the universal enveloping algebra of . has two independent generators, and they are obtained as the Capelli elements because is of type (see [13]). For , we put The following proposition gives the explicit description of the independent generators of (see [11]).

Proposition 4.1. The independent generators of are given as follows:

Since are the elements of , they act on as the scalar operators. And since the space of Shintani functions is the image of the -homomorphism of , they act on the space of Shintani functions as the same scalar operators, respectively.

##### 4.2. Eigenvalues of ,

In order to construct the partial differential equations satisfied by spherical functions attached to the spherical principal series, we have to compute the eigenvalues of the actions of the Capelli elements , . For the spherical principal series representation, is the trivial character of . Let be the generator of the minimal -type in normalized such that . The actions of on are computed in [11], and the result is as follows.

Proposition 4.2. The Capelli elements act on by scalar multiples, and the eigenvalues are given as follows:

##### 4.3. Construction of the Casimir Equations

Next, we compute the actions of , on . Here, is the unitary character of .

Lemma 4.3. For , one has

Proof. By definition, we have Since , we have .
Therefore, we have Next, since โ . Therefore, we have The computations of the actions of are similar. Finally, since , we have

By simple computations of matrices, we have the following expressions of the elements in .

Lemma 4.4. One has

To make use of Lemma 3.4, we have to rewrite , in the form of linear combinations of the elements in . To do this, we use the following formulas which can be obtained by direct computation.

Lemma 4.5. One has Here, is the Lie bracket on .

By using Lemma 4.5, we can rewrite , as we wished. Now, since for all is annihilated by the action of and , and the actions of and on are the same (the multiplication by ), we may regard , as the elements in , where is the subalgebra of defined by

Lemma 4.6. One has the congruences

By combining Proposition 4.2, and Lemmas 4.3 and 4.6, we have the following two differential equations.

Theorem 4.7. The Shintani function satisfies the following equations:
(1) the differential equation obtained from the action of :
(2) the differential equation obtained from the action of : Here, are the eigenvalues of the Capelli elements on principal series representations.
Equations (4.15)โ(4.14) give

Therefore, if is not identically zero, we have By solving this equation, we have Therefore, one of the necessary conditions of the existence of nontrivial Shintani functions is that the parameter is one of the above three values. Now, we assume that satisfies this condition. We put in (4.14). Then, we have Next, we put . Then, satisfies We want to divide the left-hand side of (4.21) by . To do this, we take so that satisfies The value of is as follows. (1)If . So we take . (2)If . So we take . (3)If . So we take .

For this , the left-hand side of (4.21) is divided by , and the equation becomes This is the Gaussian hypergeometric differential equation. Note that the Shintani function on is regular at the origin (). Therefore, is also regular at . Equation (4.23) has just one solution which is regular around (up to constant multiples), and it is given by where is the Gaussian hypergeometric function and are defined by Explicitly, by solving these equations, are given as follows. (1)In case of . (2)In case of . (3)In case of .

Finally, we consider the three conditions in (3.8). Condition (1) is equivalent to . Condition (2) always holds. Condition (3) is equivalent to , which holds if condition (1) is satisfied. Summing up, we have the following theorem.

Theorem 4.8. Let be the unitary character of defined by (3.1). Then, the necessary condition of the existence of the nontrivial elements in is that Suppose that this condition is satisfied and nontrivial Shintani functions exist. If one puts , is given as follows (up to constant multiples). (1)In case of , one has (2)In case of , one has (3)In case of , one has Especially, one has

#### 5. Shintani Functions Attached to the Nonspherical Principal Series Representations

In this section, as a character of , we take a nontrivial character . Then, the minimal -type of is the three-dimensional representation of which is isomorphic to the tautological representation which occurs of multiplicity one in . We take instead of as a minimal -type of . The representation space of is denoted by ), and we take , , as a basis of . Let be the Shintani function. Then, is expressed by โ is characterized by its restriction to . To investigate , we construct two kinds of differential equations. One is the Casimir equation of degree two and the other is the gradient equation (or the Dirac-Schmidt equation).

##### 5.1. The Casimir Equation

Firstly, we construct the Casimir equation of degree two. Since the Capelli element acts on the representation space of the principal series representation as a scalar operator (-multiple) and the space of Shintani functions is the image of -homomorphism of , acts on this space as the same scalar operator. Since for all is annihilated by the action of and the actions of and on are the same (the multiplication by ), we may regard as the element in , where is a subalgebra of defined by By using Lemmas 4.4 and 4.5, we can rewrite in Proposition 4.1 as follows.

Lemma 5.1. One has

By using this lemma, the action of on can be computed easily. We have where Since satisfies , we have the following three differential equations.

Theorem 5.2. For , the functions , , satisfy the following equations:

For the spherical function , we define the right gradient operator as follows.

Definition 5.3. For the orthonormal basis of , the right gradient operator is defined by Here, is the dual basis of with respect to the inner product .
The set becomes the orthonormal basis of , and , is its dual basis. Therefore, the gradient operator is explicitly given by We rewrite this by using the basis of .

Claim 1. We define five elements in by Then, becomes the basis of .

With this basis, the gradient operator is rewritten as The Lie algebra becomes the representation space of the adjoint action of . We denote this representation by . By the Clebsch-Gordan theorem, has the irreducible decomposition Here, each is the -dimensional irreducible representation of . In this decomposition, the projector of -modules is described as in Table 2.

Table 2

is a -valued function. Then, by mapping to , we have a -homomorphism Since the minimal -type occurs of multiplicity one, is a map of constant multiple. To compute the action of the gradient operator on the space of the Shintani functions , we have to decompose along the decomposition .

Lemma 5.4. One has