## On the fine expansion of the unipotent contribution of the Guo-Jacquet trace formula

## Pierre-Henri Chaudouard

## Abstract

For a useful class of functions (containing functions whose one finite component is essentially a matrix coefficient of a supercuspidal representation), we establish three results about the unipotent contribution of the Guo-Jacquet relative trace formula for the pair ( GL n ( D , GL ) n ( E )). First we get a fine expansion in terms of global nilpotent integrals. Second we express these nilpotent integrals in terms of zeta integrals. Finally we prove that they satisfy certain homogeneity properties. The proof is based on a new kind of truncation introduced in a previous article.

## Contents

| 1   | Introduction               | Introduction                                             |   1 |
|-----|----------------------------|----------------------------------------------------------|-----|
|     | 1.1                        | The statement . . . . . . . . . . . . . . . . . . . .    |   1 |
|     | 1.2                        | The methods . . . . . . . . . . . . . . . . . . . . .    |   3 |
|     | 1.3                        | Acknowledgement . . . . . . . . . . . . . . . . . . .    |   4 |
| 2   | Infinitesimal situation    | Infinitesimal situation                                  |   4 |
|     | 2.1                        | Notations . . . . . . . . . . . . . . . . . . . . . . .  |   4 |
|     | 2.2                        | Induction of nilpotent orbits . . . . . . . . . . . . .  |   5 |
|     | 2.3                        | Nilpotent expansion and the homogeneity property         |   7 |
|     | 2.4                        | Refined convergence results . . . . . . . . . . . . .    |   8 |
|     | 2.5                        | A limit formula for nilpotent contributions . . . . .    |  10 |
|     | 2.6                        | Computation of a nilpotent integral . . . . . . . .      |  11 |
|     | 2.7                        | Proof of theorem 2.3.5.1 . . . . . . . . . . . . . . .   |  14 |
| 3   | The unipotent contribution | The unipotent contribution                               |  14 |
|     | 3.1                        | Algebraic situation . . . . . . . . . . . . . . . . . .  |  14 |
|     | 3.2                        | Main results . . . . . . . . . . . . . . . . . . . . . . |  14 |

## 1 Introduction

## 1.1 The statement

1.1.1. Let E/F be a quadratic extension of number fields. Let ε ∈ E × such that trace E/F ( ε ) = 0. Let n /greaterorequalslant 1 be an integer. Let G = GL (2 n, F ) and H = GL n,E ( ) viewed as algebraic group over F . The F -basis (1 , ε ) identifies E n with F 2 n and gives an embedding H ⊂ G . We identify ε with a scalar matrix in GL n,E ( ). Then H is the centralizer of ε in G . Moreover, the quotient G/H is a symmetric space which is easily identified with the subvariety S ⊂ G of g ∈ G such that ε -1 gε = g -1 . The group H acts on S by conjugation.

1.1.2. Let A be the ring of ad`les of e F and | · | be the product of local normalized absolute values. We identify ε with a central element in GL n,E ( ). For any cuspidal automorphic form ϕ

on G ( A ), one can define its H -period as

$$\mathcal { P } _ { H } ( \varphi ) = \int _ { H ( F ) \smallsetminus H ( \Lambda ) ^ { 1 } } \varphi ( h ) \, d h$$

↦

where H ( A ) 1 ⊂ H ( A ) is the kernel of the morphism h →| det( h ) | and dh is an invariant measure. A cuspidal automorphic representation is said to be H -distinguished if P H induces a non-zero linear form on its underlying space. A fundamental question is to understand the interplay between the H -distinction, the Jacquet-Langlands functoriality and distinction by some other related subgroups: a beautiful answer is given by the so-called Guo-Jacquet conjecture (cf. conjecture in [Guo96] extrapolating on results of Waldspurger and Jacquet).

- 1.1.3. A promising tool to sudy this problem is the so-called Guo-Jacquet trace formula (a specific example of a relative trace formula) based on the seminal work of Jacquet (cf. [Jac86]). A simple form of it has already been used successfully (see [FMW18]). It consists in expressing geometrically and spectrally the integral

$$\int _ { H ( F ) \searrow H ( \lambda ) ^ { 1 } } \sum _ { \gamma \in S ( F ) } \Phi ( h ^ { - 1 } \gamma h ) \, d h$$

$$\int _ { H ( F ) \vee H ( \Lambda ) ^ { 1 } } \sum _ { \gamma \in S ( F ) } \Phi ( j$$

where Φ ∈ C ∞ c ( S ( A )). In general, (1.1.3.1) is not convergent. To remedy this problem, the simple trace formula introduces severe restrictions at two places on the function Φ so that on the spectral side only the cuspidal spectrum appears and on the geometric side only regular semisimple γ 's contribute to the rational sum in (1.1.3.1). However, for the purpose of convergence, it suffices to impose a certain local condition at one place on Φ. When it is satisfied, we shall say that Φ is very cuspidal. In the paper, this is the local condition (3.2.2.1) below. Here it suffices to say that the condition is satisfied if the local component of Φ at a finite place v is obtained by integration of a matrix coefficient of a supercuspidal representation of G F ( v ) /Z F ( v ) (see remark (3.2.2.1), Z is the center of G ).

For a very cuspidal Φ, as a part of (1.1.3.1) we have the (convergent) unipotent contribution defined by

(1.1.3.2)

$$\int _ { H ( F ) \mathbb { M } H ( \mathbb { A } ) ^ { 1 } } \sum _ { X \in \mathcal { N } ( F ) } \Phi ( h ^ { - 1 } \exp ( X ) h ) \, d h$$

$$\varsigma ( X ) h ) \, d h$$

where N ( F ) is the cone of nilpotent matrices in the tangent space s of S at identity (given by matrices X of size 2 n such that εX + Xε = 0) and exp is the usual exponential. We emphasize that besides regular semi-simple terms the unipotent contribution is certainly the most important contribution of the geometric side of the Guo-Jacquet trace formula to understand (for general terms there should be some kind of Jordan decomposition).

1.1.4. The goal of the paper is to prove the following properties of the unipotent contribution for a very cuspidal Φ.

Theorem 1.1.4.1 . -(for a more precise statement see theorem 3.2.4.1 below) Let Φ ∈ C ∞ c ( G ( A )) be a very cuspidal function. Let O ∈ N ( F /H F ) ( ) be a nilpotent orbit and let v be a place of F .

- 1. For any t ∈ F × v , the integral

$$J _ { \mathcal { O } } ^ { t } ( \Phi ) = \int _ { [ H ] ^ { 1 } } \sum _ { X \in \mathcal { O } } \Phi ( h ^ { - 1 } \exp ( t ^ { - 1 } X ) h ) \, d h$$

is absolutely convergent. In particular we get J 1 O (Φ) for t = 1 .

## 2. We have

$$\ n a v e \quad \int _ { H ( F ) \vee H ( \Lambda ) ^ { 1 } } \sum _ { X \in \mathcal { N } ( F ) } \Phi ( h ^ { - 1 } \exp ( X ) h ) \, d h = \sum _ { \mathcal { O } \in \mathcal { N } ( F ) / H ( F ) } J _ { \mathcal { O } } ^ { 1 } ( \Phi ).$$

- 3. There exists a bound η &gt; 0 such that for any t in F × v such that | t | v &lt; η , we have

$$J _ { \mathcal { O } } ^ { t } ( \Phi ) = \lim _ { s \to 0 ^ { + } } s \theta _ { \mathcal { O } } ( s ) Z _ { \mathcal { O } } ( \Phi, s )$$

where

- · θ O ( s ) is some holomorphic function which is defined for s ∈ C such that its real part satisfies /Rfractur ( s ) &gt; 0 and which does not depend on Φ
- · the function Z O (Φ , s ) is a zeta function attached to Φ of the variable s ∈ C , holomorphic for /Rfractur ( s ) &gt; 0 .
- 4. Let η be the above bound. For any t 0 , t in F × v such that | t 0 | v &lt; η and | t | v /lessorequalslant 1 we have

$$J _ { \mathcal { O } } ^ { t t _ { 0 } } ( \Phi ) = | t | _ { v } ^ { \dim ( \mathcal { O } ) / 2 } J _ { \mathcal { O } } ^ { t _ { 0 } } ( \Phi ).$$

Remark 1.1.4.2 . -Assertions 1 and 2 provide a 'fine expansion' of the unipotent contribution that is an expansion according conjugacy classes. Assertion 3 gives a way to compute each nilpotent contribution; moreover the zeta function Z O (Φ , s ) admits a Eulerian product so it is possible to give an expression of each nilpotent contribution in terms of local objects.

Remark 1.1.4.3 . - In the paper, the theorem is in fact stated and proved in the broader situation where G = GL n ( D ) where D is a quaternion algebra containing E . It should also hold in the situation where G is the multiplicative group of a F -simple central algebra containing E and H is the centralizer of E in G . The methods of the article should also apply in this context but we have not written the details.

We have the following corollary.

Corollary 1.1.4.4 . -(see corollary 3.2.4.2) Let Φ ∈ C ∞ c ( G ( A )) be a very cuspidal function. Let v be a place of F . When t ∈ F × v goes to 0 , the expression

$$\int _ { [ H ] ^ { 1 } } \sum _ { X \in \mathcal { N } ( F ) } \Phi ( h ^ { - 1 } \exp ( t ^ { - 1 } X ) h ) \, d h$$

is equivalent to

$$\text{vol} ( [ H ] ^ { 1 } ) \Phi ( 1 ).$$

Remark 1.1.4.5 . -One of the motivations for this result is that it plays a role in Xue's approach of local distinction problems. For example, corollary 1.1.4.4 is used to prove the existence of H -distinguished cuspidal automorphic representations of G with local supercuspidal components at some places (see corollary 6.2 of [Xue]). An other potential application of theorem 1.1.4.1 and its corollary is the obtention of some kind of (relative) Weyl's law.

## 1.2 The methods

1.2.1. The Guo-Jacquet trace formula in our context should share many properties with the usual Arthur-Selberg trace formula. Recall that the unipotent contribution of the Arthur-Selberg trace formula has a fine expansion in terms of local unipotent integrals (although some global constants remain unknown; for some progress on these questions see [Cha17] and [Cha18a]). As a consequence it does satisfy general homogeneity properties (see [Art85]). We could have tried to prove analogs of several results of Arthur in our context (mainly the results of [Art78], [Art88] and [Art85]). In this paper we choose to offer a rather simple proof of theorem 1.1.4.1 based on

ideas developped in [Cha18b]. The payoff is that we get a (in principle) computable expression (rather than unknown global coefficients).

- 1.2.2. First one reduces the problem to the case of the infinitesimal situation where H acts on the tangent space s . This reduction is the content of the final section, section 3. We introduce in § 2.3.3 the set of weakly cuspidal functions f ∈ C ∞ c ( s ( A )) that satisfy some vanishing conditions. For such functions, we have

$$\int _ { [ H ] ^ { 1 } } \sum _ { X \in \mathcal { N } ( F ) } f ( \text{Ad} ( h ^ { - 1 } ) X ) \, d h = \sum _ { \mathcal { O } \in \mathcal { N } ( F ) / H ( F ) } \int _ { [ H ] ^ { 1 } } \sum _ { X \in \mathcal { O } } f ( \text{Ad} ( h ^ { - 1 } ) X ) \, d h ;$$

on the right-hand side we sum terms that satisfy the non-trivial convergence result (see theorem 2.3.4.1)

$$\int _ { [ H ] ^ { 1 } } | \sum _ { X \in \mathcal { O } } f ( \text{Ad} ( h ^ { - 1 } ) X ) | \, d h < \infty.$$

However these terms are difficult to compute since one cannot permute the sum over X and the integral. This is where enters the truncation of [Cha18b]. It enables to recover each term as a limit

$$\lim _ { s \to 0 } s J _ { \mathcal { O } } ( s, f )$$

where J O ( s, f ) is a holomorphic function for s ∈ C of real part /Rfractur ( s ) &gt; 0 (see theorem 2.5.2.1). The point is that J O ( s, f ) can be expressed in terms of a zeta integral under a mild assumption on the support of f (see theorem 2.6.4.1). For this zeta integral, the homogeneity property is easy to check (see lemma 2.6.3.1).

## 1.3 Acknowledgement

We thank Hang Xue for raising the problem. We thank also Huajie Li for many useful discussions.

## 2 Infinitesimal situation

## 2.1 Notations

- 2.1.1. Let F be a number field and τ ∈ F such that E = F [ √ τ ] is a quadratic extension. Let σ be the generator of the Galois group Gal( E/F ). For each place v of F , let | · | v be the normalized absolute value.

Let A be the ring of ad`les of e F . Let A × be the multiplicative group of A . For any x = ( x v ) v ∈ A × , we shall denote by | x | the product v | x | v over all places of F .

- 2.1.2. Let V F be of a vector space of dimension n over F . Let V = V F ⊗ F E . By abuse of notation, we denote by σ the F -automorphism of V given by Id V F ⊗ F σ . Let s ⊂ End F ( V ) be the F -subspace of σ -linear endomorphisms of V namely the space of maps X of V into itself such that X ◦ σ is E -linear.

∏ For any algebraic group G over F , We shall write [ G ] for the quotient G F ( ) \ G ( A ).

- 2.1.3. Let H be the algebraic group of automorphisms of the E -vector space V . By restriction of scalars, we will view H as an F -group. The group H is provided with a Galois F -automorphism still denoted by σ . The group H acts by conjugation on End F ( V ) : we denote by Ad the restriction of this action on s . This action is defined over F . By differentiation, we get an action h × s → s denoted by ( X,Y ) → [ X,Y ]. For any X ∈ s , let H X be the centralizer of X in H .

↦

↦

- 2.1.4. By abuse of notation, we will simply denote by det the F -morphism H → G m,F given by Norm E/F ◦ det. Let H ( A ) 1 be the kernel of h →| det( h ) . | We shall denote by [ H ] 1 the quotient H F ( ) \ H ( A ) 1 .

- 2.1.5. Parabolic decomposition. - We fix an ordered F -basis ( e , . . . , e 1 n ) of V F . By a (standard) parabolic subgroup P , we mean a subgroup which stabilizes an incomplete standard flag of E -subspaces

$$V _ { 0 } = ( 0 ) \subsetneq V _ { 1 } \subsetneq V _ { 1 } \oplus V _ { 2 } \subsetneq \dots \subsetneq V _ { 1 } \oplus \dots \oplus V _ { r } \\ \sim \pi \colon \theta \, \theta \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \end{cases}$$

∑ Then we have a standard Levi decomposition P = MN where N is the unipotent radical of P and M is the common stabilizer of the subspaces V i . We define s M , resp. s N , to be the subspace of X ∈ s such that XV i ⊂ V i , resp. X V ( 1 ⊕ · · · ⊕ V i ) ⊂ V 1 ⊕ · · · ⊕ V i -1 for all 1 /lessorequalslant i /lessorequalslant r . Let s P = s M ⊕ s N . The groups P, M and N act respectively on s P , s M and s N .

where for 1 /lessorequalslant i /lessorequalslant r the E -vector space V i is generated by vectors e d i +1 , e d i +2 , . . . , e d i +dim( V i ) where d i = i -1 j =1 dim( V j ).

The stabilizer of the complete standard flag is denoted by B . We have a standard Levi decomposition B = TN B .

- 2.1.6. Maximal compact subgroup. -Thanks to the basis of § 2.1.5, we identify H ( A ) with GL n, ( A E ). Let K ⊂ H ( A ) be the maximal compact subgroup corresponding to the standard maximal compact subgroup of GL n, ( A E ). For parabolic subgroups P = MN , we have the Iwasawa decomposition H ( A ) = M ( A ) N ( A ) K .
- 2.1.7. Haar measures. -We fix a Haar measure on A × E the multiplicative group of the ad`les e of E . For any n /greaterorequalslant 1, we take on ( A × E ) n the product of the Haar measure. On any unipotent group N over F , we take the Haar measure on N ( A ) such that the quotient measure on [ N ] gives the total volume 1. The Haar measure on the standard compact maximal of GL n, ( A E ) is such that the total volume is 1. Finally we require that the Haar measure on GL n, ( A E ) is compatible with the Iwasawa decomposition, which normalizes the measure if we view ( A × E ) n as a minimal Levi subgroup. In this way, we get a normalization of the Haar measure on H ( A ). The Haar measure on H ( A ) 1 is such that the quotient measure on H ( A ) /H ( A ) 1 /similarequal R × + is the usual Haar measure. Then we get quotient measures on [ H ] and [ H ] 1 .
- 2.1.8. Categorical quotient. - Let C : s → c = s //H be the categorical quotient. The quotient c can be identified with the standard n -dimensional affine space over F in such a way that c is the map that associates to any X ∈ s the coefficients of the characteristic polynomial of X 2 ∈ End E ( V ) (the coefficients are in fact defined over F ). For any c ∈ c , let s c be the fiber of C above c . In particular, if c corresponds to the polynomial t n , we denote by N the fiber s c . Then an element X ∈ s belongs to N if and only if the E -endomorphism X 2 of V is nilpotent in the usual sense. By abuse, in the following, N will be called the nilpotent cone and the elements of N will be called the nilpotent elements of s .

## 2.2 Induction of nilpotent orbits

2.2.1. Classification of nilpotent orbits. - It is given by the following lemma.

Lemma 2.2.1.1 . -For any X ∈ N , there exists an E -basis of V such that the matrix of X is in the Jordan normal form.

There are finitely many orbits of H on N and they are classified by their Jordan normal form.

↦

- Proof. - One can find a proof in [Guo97] lemma 2.3. Alternatively, one can observe that V has a E t [ ]-module structure of t 2 n -torsion given by ( P, v ) → P X v ( ) which boils down to the classification of torsion modules over a principal ideal domain. /square
- 2.2.2. Induction ` la Lusztig-Spaltenstein a -Westate and prove in our context some results about induction of nilpotent orbits analogous to those of [LS79].

Let P = MN be a parabolic subgroup of H as above. Let X ∈ s M be a nilpotent element. Let O M X be the M -orbit of X . The variety O M X ⊕ s N is irreductible. Since there are finitely many nilpotent orbits, there is a unique nilpotent H -orbit O such that

$$\mathcal { O } \cap ( \mathcal { O } _ { X } ^ { M } \oplus \mathfrak { s } _ { N } )$$

is a Zariski open dense subset of O M X ⊕ s N . We denote O by I P ( X ) and we shall call it the induced orbit .

Proposition 2.2.2.1 . -The intersection I P ( X ) ∩ O ( M X ⊕ s N ) is a single P -orbit.

It is not difficult to compute the dimensions of B Y and H Y in terms of the Jordan decomposition of Y (one can use the method of [Spa82]). Then one can check the equality

Proof. - Let Z ∈ s N such that the element Y = X + Z belongs to I P ( X ) ∩ O ( M X ⊕ s N ). Let B be the variety of complete flags of E -subspaces of V . As usual, we view B as an F -variety. Let B Y be the subvariety of complete flags V · such that Y V ⊂ V .

$$( 2. 2. 2. 1 ) & & \dim ( H _ { Y } ) = 2 \dim ( \mathcal { B } _ { Y } ) + \dim ( T ).$$

↦

By using the group B as a base point, we get an equivariant map π 1 : H →B . Let π 2 be the map from H to the H -orbit O Y of Y given by h → h -1 Y h . We have π -1 2 ( O Y ∩ s B ) = π -1 1 ( B Y ). The dimension of the fibers of π 1 and π 2 are respectively dim( B ) and dim( H Y ). We deduce that

$$( 2. 2. 2. 2 ) & & \dim ( \mathcal { O } _ { Y } \cap \mathfrak { s } _ { B } ) + \dim ( H _ { Y } ) = \dim ( \mathcal { B } _ { Y } ) + \dim ( B ).$$

Combining (2.2.2.1) and (2.2.2.2), we get

$$( 2. 2. 2. 3 ) & & \dim ( \mathcal { B } _ { Y } ) + \dim ( \mathcal { O } _ { Y } \cap \mathfrak { s } _ { B } ) = \dim ( N _ { B } ).$$

We can also define a variety B M X relative to M and X . We have an identification B M X /similarequal B P Y = B Y ∩ B P where B P is the variety of the complete flags that refine the flag associated to P . In particular, dim( B M X ) /lessorequalslant dim( B Y ). As before, one proves :

$$\dim ( \mathcal { B } _ { X } ^ { M } ) + \dim ( \mathcal { O } _ { X } ^ { M } \cap \mathfrak { s } _ { M \cap N _ { B } } ) = \dim ( N _ { B } \cap M ).$$

Following the proof of theorem 1.3 in [LS79], we have

$$\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdot \\ \dim ( \mathcal { B } _ { Y } ) + \dim ( \mathcal { O } _ { Y } \cap \mathfrak { s } _ { B } ) & \geqslant \dim ( \mathcal { B } _ { X } ^ { M } ) + \dim ( ( \mathcal { O } _ { X } ^ { M } \oplus \mathfrak { s } _ { N } ) \cap \mathfrak { s } _ { B } ) \\ & = \dim ( \mathcal { B } _ { X } ^ { M } ) + \dim ( \mathcal { O } _ { X } ^ { M } \cap \mathfrak { s } _ { M \cap N _ { B } } ) + \dim ( \mathfrak { s } _ { N } ) \\ & = \dim ( N _ { B } \cap M ) + \dim ( \mathfrak { s } _ { N } ) \\ & = \dim ( N _ { B } ).$$

By (2.2.2.3), all the inequalities are in fact equalities. In particular, we deduce dim( B Y ) = dim( B M X ) and thus dim( H Y ) = dim( M X ) where M X is the centralizer of X in M . P

Let O Y be the P -orbit of Y and P Y be its centralizer in P . We have

$$\cdot \cdot \\ \dim ( I _ { P } ( X ) \cap ( \mathcal { O } _ { X } ^ { M } \oplus \mathfrak { s } _ { N } ) ) \geqslant \dim ( \mathcal { O } _ { Y } ^ { P } ) = \dim ( P ) - \dim ( P _ { Y } ) & \geqslant \dim ( P ) - \dim ( H _ { Y } ) \\ & = \dim ( P ) - \dim ( M _ { X } ) \\ & = \dim ( \mathcal { O } _ { X } ^ { M } \oplus \mathfrak { s } _ { N } ) \\ & = \dim ( I _ { P } ( X ) \cap ( \mathcal { O } _ { X } ^ { M } \oplus \mathfrak { s } _ { N } ) ). \\ \text{This we have } \dim ( \mathcal { O } _ { P } ^ { P } \cup \, = \, \dim ( I _ { N } ( X ) \cap ( \mathcal { O } _ { M } ^ { M } \oplus \mathfrak { s } _ { N } ) ) \quad \text{But one sets the same result for any}$$

Thus we have dim( O P Y ) = dim( I P ( X ) ∩ ( O M X ⊕ s N )). But one gets the same result for any Y ′ ∈ I P ( X ) ∩ ( O M X ⊕ s N ). Thus the orbits O P Y and O P Y ′ must intersect by irreducibility of I P ( X ) ∩ O ( M X ⊕ s N ). /square

2.2.3. The following lemma is a variant of lemma 2.9.1 of [Cha18a].

Lemma 2.2.3.1 . -There exists a finite family of polynomial maps (Φ ) i i ∈ I on s M ⊕ s N such that for any nilpotent M -orbit O in s M , there exists I O ⊂ I that satisfies the following two properties:

- 1. For any X ∈ O and Y ∈ s N , one has X + Y ∈ I P ( X ) if and only if there exists i ∈ I O such that P i ( X,Y ) = 0 .

/negationslash

- 2. For any X ∈ O , there exists i ∈ I O such that the restriction of P i ( X, · ) to s N is non-trivial.

Proof. -Let O be an nilpotent M -orbit in s M . Let X ∈ O and Y ∈ s N . Let O ′ be the P -orbit of X . By proposition 2.2.2.1, we have X + Y ∈ I P ( X ) if and only if O ′ is a dense open subset of O⊕ s N . The latter condition holds if and only if we have the following equality between tangent spaces:

$$[ \mathfrak { p }, X + Y ] = [ \mathfrak { m } _ { P }, X ] \oplus \mathfrak { s } _ { N }.$$

↦

One always has the inclusion [ p , X + Y ] ⊂ [ m P , X ] ⊕ s N . The dimension d O = dim([ m P , X ] ⊕ s N ) does depend only on O . Thus the condition (2.2.3.4) holds if and only if the rank of the F -map p → s P given by Z → [ Z, X + Y ] is at least d O . This condition defines a dense Zariski open subset of s P which does intersect non-trivially X + s N since, for any nilpotent X ∈ s M , there exists Y ∈ s N such that X + Y ∈ I P ( X ). The statement is then clear. /square

## 2.3 Nilpotent expansion and the homogeneity property

- 2.3.1. For any F -vector space W , we denote by S ( W ( A )) the space of complex Schwartz-Bruhat functions on W ( A ) and C ∞ c ( W ( A )) ⊂ S ( W ( A )) the subspace of smooth compactly supported functions.

2.3.2. Let f ∈ S ( s ( A )). For any parabolic subgroup P = MN of H (see § 2.1.5) and any x ∈ H ( A ), we define the constant term of f by

$$f _ { P, x } ( X ) = \int _ { \mathfrak { s } _ { N } ( \mathbb { A } ) } f ( \text{Ad} ( x ) ( X + U ) ) \, d U$$

where the Haar measure on s N ( A ) is normalized in such a way that the quotient s N ( A ) / s N ( F ) equipped with the quotient measure by the counting measure is of volume 1. This formula defines a function f P,x in the Schwartz-Bruhat space S ( s M ( A )).

2.3.3. We say that f is weakly cuspidal if f P,x vanishes on the subset N ( A ) ∩ s M ( A ) for any proper parabolic subgroup P /subsetnoteql H and any x ∈ H ( A ).

- 2.3.4. A convergence result. - Let N ( F /H F ) ( ) be the finite set of H F ( )-orbits on N ( F ). Let O ∈ N ( F /H F ) ( ) be a nilpotent orbit. For any f ∈ S ( s ( A )) and h ∈ H ( A ), we define

$$k _ { \mathcal { O } } ( f, h ) = \sum _ { X \in \mathcal { O } } f ( \text{Ad} ( h ^ { - 1 } ) X ).$$

Theorem 2.3.4.1 . -Let f ∈ S ( s ( A )) be a weakly cuspidal function. The integral

$$J _ { \mathcal { O } } ( f ) = \int _ { [ H ] ^ { 1 } } k _ { \mathcal { O } } ( f, h ) \, d h$$

is absolutely convergent.

The proof will be given in § 2.4.4 below. We have the following corollary which is also a simple consequence of a much more general result of Li (see theorem 1.1 of Li's paper [Li]).

Corollary 2.3.4.2 . -Let f ∈ S ( s ( A )) be a weakly cuspidal function. The integral

$$\int _ { [ H ] ^ { 1 } } | \sum _ { X \in \mathcal { N } ( F ) } f ( \text{Ad} ( h ^ { - 1 } ) X ) | \, d h$$

is convergent.

2.3.5. Homogeneity of nilpotent integrals. - Let v be a place of F . For any f ∈ S ( s ( A )) and any t ∈ F × v , let f t be the function in S ( A ) defined by f t ( X ) = f ( t -1 X ).

Theorem 2.3.5.1 . -Let f ∈ C ∞ c ( s ( A )) be a weakly cuspidal compactly supported function. Let v be a place of F . There exists a bound η &gt; 0 such for any t 0 , t in F × v such that | t 0 | v &lt; η and | t | v /lessorequalslant 1 we have

$$J _ { \mathcal { O } } ( f _ { t t _ { 0 } } ) = | t | _ { v } ^ { \dim ( \mathcal { O } ) / 2 } J _ { \mathcal { O } } ( f _ { t _ { 0 } } ).$$

Remark 2.3.5.2 . - The proof is given in section 2.7 but it is built upon several preliminaries results. Indeed to get theorem 2.3.5.1, the convergence of theorem2.3.4.1 is not sufficient. The main difficulty is that we cannot a priori intervert the integral and the sum over O : this would in general make appear an infinite volume related to a centralizer. We shall rather use a roundabout method inspired by [Cha18b]. As a byproduct, we shall obtain an expression of J O ( f t 0 ) in terms of an explicit zeta integral depending on f (see theorem 2.6.4.1). Here we will need a mild assumption on the support of f t 0 hence the bound on t 0 .

For future reference, let's state a simple corollary.

Corollary 2.3.5.3 . -Under the hypothesis of theorem 2.3.5.1, for any t ∈ F × v such that | t | v /lessorequalslant 1

$$\ n a v e \int _ { [ H ] ^ { 1 } } \sum _ { X \in \mathcal { N } ( F ) } f _ { t t _ { 0 } } ( \text{Ad} ( h ^ { - 1 } ) X ) \, d h = \sum _ { \mathcal { O } \in \mathcal { N } ( F ) / H ( F ) } | t | _ { v } ^ { \dim ( \mathcal { O } ) / 2 } J _ { \mathcal { O } } ( f _ { t _ { 0 } } ).$$

we have

In particular, when t → 0 the expression above is equivalent to

$$J _ { ( 0 ) } ( f _ { t _ { 0 } } ) = \text{vol} ( [ H ] ^ { 1 } ) f ( 0 )$$

where (0) is the orbit of 0 .

## 2.4 Refined convergence results

2.4.1. Let O ∈ N ( F /H F ) ( ) be a nilpotent orbit. Let P = MN be standard parabolic subgroup of H (cf. § 2.1.5). We borrow notations from [Cha18b]; to do this, we identify H with GL n,E ( ) and P with a standard parabolic subgroup of GL n,E ( ) by the choice of the basis of § 2.1.5. We follow §§ 1.6 and 2.7 of [Cha18b] (relatively to the base field E ). We have the Harish-Chandra map from H P from H ( A ) to some real vector space a P . Restricted to P ( A ) this is a morphism and we denote by M ( A ) 1 the intersection of M ( A ) with the kernel of H P . Let τ P be the characteristic function of the acute Weyl chamber in a P associated to P . Let Z P be the maximal central F -split torus in M and let A P be the neutral component of the group of R -points of the split component of Res F/ Q ( Z P ). We have M ( A ) = M ( A ) 1 A P . The function F P is the characteristic function of some compact subset of A M F N P ( ) ( A ) \ H ( A ). Note that both F P and H P depend on the choice of the compact subgroup K of § 2.1.6.

Theorem 2.4.1.1 . -Let f ∈ S ( s ( A )) be a weakly cuspidal function. The integral

$$\int _ { P ( F ) \smallsetminus H ( \mathbb { A } ) ^ { 1 } } F ^ { P } ( h ) \tau _ { P } ( H _ { P } ( h ) ) k _ { \mathcal { O } } ( f, h ) \, d h$$

is absolutely convergent.

The proof will be given in § 2.4.2 below.

Remark 2.4.1.2 . - Theorem 2.4.1.1 is a simple analog of proposition 3.5.1 and corollary 3.2.2 of [Cha18a].

↦

2.4.2. Proof of theorem 2.4.1.1. - It follows the lines of the proof of theorem 3.2.1 of [Cha18a]. For the reader's convenience, we will sketch the main steps and the simplications in our case. The case where P = H is obvious since then h → F P ( h τ ) P ( H P ( h )) = F H ( h ) is compactly supported on [ H ] 1 . So we assume P /subsetnoteql G . We denote by ∆ P the set of simple roots of Z P in N and ρ P the half-sum of roots of Z P on N . It is easy to see that theorem 2.4.1.1 is a direct consequence of the following majorization.

Lemma 2.4.2.1 . -Let f ∈ S ( s ( A )) be a weakly cuspidal function. Let Ω be a compact subset of N ( A ) M ( A ) 1 K . There exist ε &gt; 0 and c 0 &gt; 0 such that

$$\exp ( - \langle 2 \rho _ { P }, H _ { P } ( a ) \rangle ) | k _ { \mathcal { O } } ( f, a h ) | \leqslant c _ { 0 } \cdot \prod _ { \alpha \in \Delta _ { P } } \alpha ( a ) ^ { - \varepsilon }$$

for all h ∈ Ω and all a ∈ A P such that τ P ( H P ( a )) = 1 .

Lemma 2.4.2.1 itself is a straightforward consequence of

Lemma 2.4.2.2 . -Let f and Ω be as in lemma 2.4.2.1. Let α ∈ ∆ P . There exists c 0 &gt; 0 such that

$$\exp ( - \langle 2 \rho _ { P }, H _ { P } ( a ) \rangle ) | k _ { \mathcal { O } } ( f, a h ) | \leqslant c _ { 0 } \cdot \alpha ( a ) ^ { - 1 } \\ n \quad - \tilde { \lambda } \quad \tau \quad \tau / \, \vee \quad \tau$$

for all h ∈ Ω and all a ∈ A P such that τ P ( H a ( )) = 1 .

2.4.3. Proof of lemma 2.4.2.2. - The simple root α ∈ ∆ P defines a maximal parabolic subgroup Q that contains P . We denote Q = LR be the standard Levi decomposition of Q where R is the unipotent radical of Q . Let ¯ be the unipotent radical of the opposite parabolic subgroup. R

↦

Let's denote by Y → Y ¯ R the projection of s on s ¯ R acording to the decomposition s = s R ⊕ s L ⊕ s ¯ R . To prove lemma 2.4.2.2, we split the sum ∑ X ∈O f (Ad( ah ) -1 X ) into the following three contributions:

/negationslash

$$\sum _ { X \in \mathcal { O }, X _ { \bar { r } } \neq 0 } f ( \text{Ad} ( a h ) ^ { - 1 } X ) \, ;$$

$$( 2. 4. 3. 2 ) \quad \sum _ { X \in \mathcal { O } \cap \mathfrak { s } _ { Q } ( F ) } f ( \text{Ad} ( a h ) ^ { - 1 } X ) - \sum _ { X \in \mathfrak { s } _ { L } ( F ), I _ { Q } ( X ) = \mathcal { O } \, Y \in \mathfrak { s } _ { R } ( F ) } \sum _ { F ( \text{Ad} ( a h ) ^ { - 1 } ( X + Y ) ) } ;$$

$$\sum _ { X \in \mathfrak { s } _ { L } ( F ), I _ { Q } ( X ) = \mathcal { O } Y \in \mathfrak { s } _ { R } ( F ) } f ( \text{Ad} ( a h ) ^ { - 1 } ( X + Y ) ).$$

For the contribution (2.4.3.1) we have a better majorization (see proof of lemma 3.8.2 in [Cha18a]): for any integer k /greaterorequalslant 1, there exists c 0 &gt; 0 such that

/negationslash

$$\exp ( - \langle 2 \rho _ { P }, H _ { P } ( a ) \rangle ) | \sum _ { X \in \mathcal { O }, X _ { \bar { R } } \neq 0 } f ( \text{Ad} ( a h ) ^ { - 1 } X ) | \leqslant c _ { 0 } \cdot \alpha ( a ) ^ { - k }$$

for all h ∈ Ω and all a ∈ A P such that τ P ( H a ( )) = 1. For the contribution (2.4.3.3), we have the same kind of majorization. But to see it, we need to introduce a non-trivial continuous additive character F \ A → C × and a non-degenerate bilinear form on s given by 〈 X,Y 〉 = trace( XY ) (this is the trace of an F -endomorphism of V E ). Then, using the Poisson summation formula for the sum over s R ( F ) and the fact that f is weakly cuspidal, one gets

$$\sum _ { X \in \mathfrak { s } _ { L } ( F ), I _ { Q } ( X ) = \mathcal { O } Y \in \mathfrak { s } _ { R } ( F ) } f ( \text{Ad} ( a h ) ^ { - 1 } ( X + Y ) )$$

/negationslash

$$= \sum _ { X \in s _ { L } ( F ), I _ { Q } ( X ) = \mathcal { O } Y \in s _ { R } ( F ), Y \neq 0 } \int _ { s _ { R } ( A ) } ^ { m } f ( \text{Ad} ( a h ) ^ { - 1 } ( X + U ) ) \psi ( \langle Y, U \rangle ) \, d U.$$

At this point we can conclude as in the proof of lemma 3.8.3 of [Cha18a]. The most difficult contribution is thus (2.4.3.2) which can be written as

/negationslash

$$& \quad \sum _ { X \in \mathfrak { s } _ { L } ( F ), I _ { Q } ( X ) \neq \mathcal { O } Y \in \mathfrak { s } _ { R } ( F ), X + Y \in \mathcal { O } } \sum _ { F ( \text{Ad} ( a h ) ^ { - 1 } X ) } f ( \text{Ad} ( a h ) ^ { - 1 } X ) \\ & - \sum _ { X \in \mathfrak { s } _ { L } ( F ), I _ { Q } ( X ) = \mathcal { O } Y \in \mathfrak { s } _ { R } ( F ), X + Y \not \in \mathcal { O } } \sum _ { F ( \text{Ad} ( a h ) ^ { - 1 } ( X + Y ) ) }. \\ & \quad \quad \dots \dots \dots \dots \dots \dots$$

But then the argument is that used in § 3.12 of [Cha18a] with lemma 2.2.3.1 above playing the role of lemma 2.9.1 of [Cha18a].

2.4.4. Proof of theorem 2.3.4.1. - Theorem 2.3.4.1 is a straightforward consequence of theorem 2.4.1.1 and the equality for any h ∈ H ( A )

$$\sum _ { P } \sum _ { \delta \in P ( F ) \vee H ( F ) } F ^ { P } ( \delta h ) \tau _ { P } ( H _ { P } ( \delta h ) ) = 1$$

where the sum is over all standard parabolic subgroups P of H (see proposition 2.5.1 of [Cha18b]).

## 2.5 A limit formula for nilpotent contributions

2.5.1. In this section, we will get an expression for J O ( f ) as the residue at s = 0 of a function J O ( s, f ) when f is a weakly cuspidal function . In the next section, under a mild condition on f , the function J O ( s, f ) is expressed in terms of a zeta integral. In our context, this is a simple analog of results in [Cha18b]. The homogeneity of J O ( f ) is then an easy consequence of this result. Once again, we borrow notations from [Cha18b]: we will denote by E H the function E GL E ( n ) defined in [Cha18b] § 3.2 eq. (3.2.1): it is a characteristic function on [ H ].

Theorem 2.5.2.1 . -Assume that f is weakly cuspidal. Then the integral

2.5.2. Let f ∈ S ( s ( A )) and O ∈ N ( F /H F ) ( ) be a nilpotent orbit.

$$J _ { \mathcal { O } } ( s, f ) = \int _ { [ H ] } E ^ { H } ( h ) k _ { \mathcal { O } } ( f, h ) | \det ( h ) | ^ { s } \, d h$$

is absolutely convergent for s ∈ C with /Rfractur ( s ) &gt; 0 . Moreover,

$$\lim _ { s \to 0 ^ { + } } s J _ { \mathcal { O } } ( s, f ) = J _ { \mathcal { O } } ( f )$$

where lim s → 0 + means that the limit is taken over complex numbers s such that /Rfractur ( s ) &gt; 0 .

Proof. - It is a variation on the proof of theorem 4.6.1 of [Cha18b]. In fact, the hypothesis 'weakly cuspidal' makes the situation even simpler.

One shows that for a standard parabolic subgroup P ⊂ H the integral

$$J _ { \mathcal { O } } ^ { P } ( s, f ) = \int _ { P ( F ) \wr H ( \mathbb { A } ) } E ^ { H } ( h ) F ^ { P } ( h ) \tau _ { P } ( H _ { P } ( h ) ) k _ { \mathcal { O } } ( f, h ) | \det ( h ) | ^ { s } \, d h$$

is absolutely convergent for s ∈ C with /Rfractur ( s ) &gt; 0. The convergence is a straightforward consequence of theorem 2.4.1.1 and the fact that the function E H ( h ) has a simple expression when F P ( h τ ) P ( H P ( h )) = 1, see expression (3.2.1) of ibid. . Moreover (as in the proof of proposition 4.5.1 of ibid. ), one has

$$\lim _ { s \to 0 ^ { + } } s J _ { \mathcal { O } } ^ { P } ( s, f ) = \int _ { P ( F ) \langle H ( \mathbb { A } ) ^ { 1 } } F ^ { P } ( h ) \tau _ { P } ( H _ { P } ( h ) ) k _ { \mathcal { O } } ( f, h ) \, d h$$

One gets the theorem by adding the contributions of the various parabolic subgroups P , see (2.4.4.4). /square

## 2.6 Computation of a nilpotent integral

2.6.1. Let X ∈ N ( F ). Using the proof of lemma 2.2.1.1, one can show that there exist

- · a integer r /greaterorequalslant 1
- · a decomposition

d j = dim( V i j ) does not depend on i ;

- · a basis ( e i k,j ) 1 /lessorequalslant k /lessorequalslant d j of V i j ;
- · in the basis ( e i k,j ) 1 /lessorequalslant i /lessorequalslant j /lessorequalslant r, 1 /lessorequalslant k /lessorequalslant d j we have

$$X e _ { k, j } ^ { i } = \begin{cases} \ e _ { k, j } ^ { i - 1 } \, \text{si} \, i > 1 ; \\ 0 \, \text{si} \, i = 1. \end{cases}$$

We may order the basis by e i k,j &lt; e i ′ k ,j ′ ′ if and only if one the following conditions are satisfied.

- · i &lt; i ′ ;
- · i = i ′ et j &gt; j ′ ;
- · i = i ′ , j = j ′ et k &lt; k ′ .

In this basis, the matrix of X is given by

$$\begin{pmatrix} 0 _ { d _ { 1 } + \dots + d _ { r } } & I _ { d _ { 2 } + \dots + d _ { r } } & 0 & 0 & 0 \\ 0 _ { d _ { 2 } + \dots + d _ { r } } & 0 & 0 & 0 \\ & \ddots & I _ { d _ { r - 1 } + d _ { r } } & 0 \\ & & 0 _ { d _ { r - 1 } + d _ { r } } & I _ { d _ { r } } \\ & & & 0 _ { d _ { r } } \end{pmatrix}.$$

In the following we may replace X by a conjugate. So we can and we shall assume that the ordered basis ( e i k,j ) is the basis chosen in § 2.1.5. Thanks to this basis, we shall also identify the group H F ( ) with GL n,E ( ) and the F -space s with the space gl ( n, E ) of n × n matrices with coefficients in E . Note that trough these identifications, the action Ad of the group H F ( ) on s is the σ -conjugation of GL n,E ( ) on gl ( n, E ) (given by ( y, Y ) → yY σ y ( ) -1 ).

↦

2.6.2. Let

$$p = m \oplus n$$

$$V _ { E } = \bigoplus _ { 1 \leqslant i \leqslant j \leqslant r } V _ { j } ^ { i }$$

where

- · m = ⊕ 1 /lessorequalslant i /lessorequalslant j /lessorequalslant r Hom ( E V , V i j i j );
- · n = ⊕ Hom ( E V , V i j i ′ j ′ ) where the sum is over 1 /lessorequalslant i /lessorequalslant j /lessorequalslant r et 1 /lessorequalslant i ′ /lessorequalslant j ′ /lessorequalslant r such that i &gt; i ′ or i = i ′ and j &lt; j ′ .

Let M and N be the F -subgroups of H of Lie algebras m and n . We get a parabolic subgroup P = MN with a Levi decomposition. Recall that H X denotes the centralizer of X in H . Let M X = M ∩ H X and N X = N ∩ H X . One has H X ⊂ P and H X = M N X X is a Levi decomposition. The groups M X and M can be respectively identified to ∏ 1 /lessorequalslant j /lessorequalslant r GL E ( V j j ) and ∏ 1 /lessorequalslant i /lessorequalslant j /lessorequalslant r GL E ( V i j ). The inclusion M X ⊂ M is given by the diagonal embedding of GL E ( V j j ) in ∏ 1 /lessorequalslant i /lessorequalslant j GL E ( V i j ): by

'diagonal', we mean that we identify GL E ( V j j ) to GL E ( V i j ) via the F -isomorphism V j j /similarequal V i j given by X j -i . Let

$$u _ { X } = \mathfrak { s } \cap \left ( \bigoplus \text{Hom} _ { F } ( V ^ { i } _ { j }, V ^ { i ^ { \prime } } _ { j ^ { \prime } } ) \right ) \\. \. \. \. \. \. \. \. \. \. \. \. \.$$

where the sum is over 1 &lt; i /lessorequalslant j /lessorequalslant r and 1 /lessorequalslant i ′ /lessorequalslant j ′ /lessorequalslant r such that i -1 &gt; i ′ or i = i ′ +1 and j &lt; j ′ .

↦

Lemma 2.6.2.1 . -The map n → nXn -1 -X induces an isomorphism from N X \ N onto u X . Proof. - It is similar to the proof of proposition 4.5.1 of [Cha17]. /square

2.6.3. Zeta integral. - Let L = ∏ 1 /lessorequalslant i&lt;j /lessorequalslant r GL E ( V i j ). An element A of L is written ( A i,j ) 1 /lessorequalslant i&lt;j /lessorequalslant r with A i,j ∈ GL E ( V i j ). For any A ∈ L ( A ), let

$$\Delta _ { A } & = \begin{pmatrix} 0 _ { d _ { 1 } + \dots + d _ { r } } & \Delta _ { 1 } ( A ) & 0 & 0 & 0 \\ 0 _ { d _ { 2 } + \dots + d _ { r } } & 0 & 0 & 0 \\ & & \ddots & \Delta _ { r - 2 } ( A ) & 0 \\ & & & 0 _ { d _ { r - 1 } + d _ { r } } & \Delta _ { r - 1 } ( A ) \\ & & & & 0 _ { d _ { r } } \end{pmatrix}$$

where

$$\Delta _ { i } ( A ) = \begin{pmatrix} A _ { i, r } & & \\ & A _ { i, r - 1 } & \\ & & \ddots & \\ & & & A _ { i, i + 1 } \end{pmatrix}$$

for any 1 /lessorequalslant i /lessorequalslant r -1. For any f ∈ S ( s ( A )) let's define

$$f _ { X } ^ { K } ( A ) = \int _ { \mathfrak { u } _ { X } ( \mathbb { A } ) } \int _ { K } f ( k ^ { - 1 } ( U + \Delta _ { A } ) \sigma ( k ) ) \, d U d k$$

and for s ∈ C such that /Rfractur ( s ) &gt; 0 the zeta function

$$Z _ { X } ( f, s ) = \int _ { L ( \text{A} ) } f _ { X } ^ { K } ( A ) \delta ( A, s ) d A$$

with

$$\delta ( A, s ) = \prod _ { 1 \leqslant i < j \leqslant r } | \det ( A _ { i, j } ) | ^ { d _ { i } + \dots + d _ { j } + ( j - i ) s }$$

and dA is a Haar measure on L ( A ) (normalized as in § 2.1.7). Recall that det is a shortcut for N E/F ◦ det (cf. § 2.1.4).

Lemma 2.6.3.1 . -Let O be the H -orbit of X . Let v be a place of F . For any t ∈ F × v , we have

As in [Cha18b] § 8.3, the integral is convergent and defines a holomorphic function on the domain /Rfractur ( s ) &gt; 0.

$$Z _ { X } ( f _ { t }, s ) = | t | _ { v } ^ { \dim ( \mathcal { O } ) / 2 + c s } Z _ { X } ( f, s )$$

where c = ∑ 1 /lessorequalslant j /lessorequalslant r j ( j -1) d j .

Remark 2.6.3.2 . - As usual in this paper, dim( O ) is the dimension of O over F .

Proof. - Clearly we have the homogeneity property with the exponent:

$$2 \sum _ { 1 \leqslant i < j \leqslant r } d _ { j } ( d _ { i } + \dots + d _ { j } + ( j - i ) s ) + \dim ( \mathfrak { u } _ { X } ).$$

We have on one hand

$$2 \sum _ { 1 \leqslant i < j \leqslant r } d _ { j } ( j - i ) s = \sum _ { 1 < j \leqslant r } j ( j - 1 ) d _ { j } s.$$

On the other hand it suffices to show that

$$2 \sum _ { 1 \leqslant i < j \leqslant r } d _ { j } ( d _ { i } + \dots + d _ { j } ) + \dim ( \mathfrak { u } _ { X } ) = \dim ( \mathcal { O } ) / 2.$$

One can compute dim( H X ) as follows

$$\text{One can compute dim} ( H _ { X } ) & \text{ as follows} \\ \dim ( H _ { X } ) / 2 & = \sum _ { 1 \leq i < j \leq r } d _ { j } d _ { j ^ { \prime } } \min ( j, j ^ { \prime } ) \\ & = 2 \sum _ { 1 \leq i < j \leq r } i d _ { i } d _ { j } + \sum _ { 1 \leq j \leq r } j d _ { j } ^ { \prime } \\ & = 2 \sum _ { 1 \leq i < j \leq r } d _ { j } ( d _ { i } + \dots + d _ { j } ) - 2 \sum _ { 1 \leq j \leq r } ( j - 1 ) d _ { j } ^ { 2 } + \sum _ { 1 \leq j \leq r } j d _ { j } ^ { 2 } \\ & = 2 \sum _ { 1 \leq i < j \leq r } d _ { j } ( d _ { i } + \dots + d _ { j } ) - \sum _ { 1 \leq j \leq r } j d _ { j } ^ { 2 } + 2 \sum _ { 1 \leq j \leq r } d _ { j } ^ { 2 } \\ & = 2 \sum _ { 1 \leq i < j \leq r } d _ { j } ( d _ { i } + \dots + d _ { j } ) - \dim ( M ) / 2 + \dim ( M _ { X } ). \\ \text{Using the equality dim} ( u _ { X } ) & = \dim ( N / N _ { X } ) \ ( \text{cf. lemma 2.6.2.1}, \, \text{we get}$$

Using the equality dim( u X ) = dim( N/N X ) (cf. lemma 2.6.2.1), we get

$$2 \sum _ { 1 \leqslant i < j \leqslant r } d _ { j } ( d _ { i } + \dots + d _ { j } ) + \dim ( \mathfrak { u } _ { X } ) = \dim ( H _ { X } ) / 2 + \dim ( M ) / 2 - \dim ( M _ { X } ) + \dim ( N ) - \dim ( N _ { X } )$$

$$& = ( \dim ( M ) + 2 \dim ( N ) ) / 2 - \dim ( H _ { X } ) / 2 \\ & = ( \dim ( H ) - \dim ( H _ { X } ) ) / 2 = \dim ( \mathcal { O } ) / 2. \\ & & & & \square$$

2.6.4. Computation of the nilpotent integral. - We will denote by θ X ( s ) the function defined in [Cha18b] § 7.2 relatively to the field E and the datum ( d , . . . , d 1 r ) (cf. § 2.6.1). The main property of θ X ( s ) we retain is that it is holomorphic for s ∈ C such that /Rfractur ( s ) &gt; 0.

Theorem 2.6.4.1 . -Let f ∈ C ∞ c ( s ( A )) and v a place of F . There exists a bound η &gt; 0 such that for any t in F × v such that | t | v &lt; η we have

$$J _ { \mathcal { O } } ( f _ { t }, s ) = \theta _ { X } ( s ) \cdot Z _ { X } ( f _ { t }, s ).$$

Proof. -It is analogous to the proof of theorem 9.1.1 of [Cha18b]. By the Iwasawa decomposition H ( A ) = P ( A ) K , we can write g = mnk et m = ( m i j ) ∈ M /similarequal ∏ 1 /lessorequalslant i /lessorequalslant j /lessorequalslant r GL E ( V i j ), n ∈ N ( A ) and k ∈ K . Let R = GL E ( d 1 + . . . + d r ) and r g ( ) ∈ R ( A ) be the matrix extracted from the first d 1 + . . . + d r rows and columns of mn . As in [Cha18b] p.115, one shows that E G ( g ) = 1 if and only if E R ( r g ( )) = 1. The main new ingredient in our context is the observation that E G ( g ) = E G ( σ g ( )). Then the same kind of computations as those of [Cha18b] p.116 leads to the statement (see also remark 9.1.2 of ibid. ). /square

## 2.7 Proof of theorem 2.3.5.1

Let f ∈ C ∞ c ( s ( A )) a weakly cuspidal function. Recall that we have defined integrals J O ( f, s ) (see theorem 2.5.2.1). Let η be the bound given by theorem 2.6.4.1. Let t 0 , t in F × v such that | t 0 | v &lt; η and | t | v /lessorequalslant 1. By theorem 2.6.4.1, J O ( f tt 0 , s ) and J O ( f t 0 , s ) . can be expressed in terms of a zeta function for which we have a homogeneity property (see lemma 2.6.3.1). We deduce that we have for the constant c of lemma 2.6.3.1

$$J _ { \mathcal { O } } ( f _ { t t _ { 0 } }, s ) = | t | _ { v } ^ { \dim ( \mathcal { O } ) / 2 + c s } J _ { \mathcal { O } } ( f _ { t _ { 0 } }, s ).$$

Taking the product with s and then the limit on s → 0 + given by theorem 2.5.2.1, we get the result.

## 3 The unipotent contribution

## 3.1 Algebraic situation

3.1.1. We follow notations of section 2.1. Let D be a quaternion algebra over F equipped with a fixed embedding E ↪ → D . Note that D may be split. Then V D = V ⊗ E D is a right D -module. Let G = Aut D ( V D ) viewed as an F -group. Let ε ∈ G given by the left multiplication by √ τ . Let θ the involution of End F ( V D ) given by θ X ( ) = εXε -1 . Let H ′ ⊂ G be the subgroup fixed by θ . Let S ′ ⊂ G be the F -variety of automorphism g ∈ Aut D ( V D ) such that gε = εg -1 . The map

$$\rho \colon g \mapsto g \theta ( g ) ^ { - 1 }$$

↦

induces an isomorphism from G/H ′ onto S ′ (cf. [Guo97]). The action of G by left translations on G/H ′ gives an action of G by θ -conjugation for which ρ is equivariant: we have ρ g g ( 1 2 ) = g ρ g 1 ( 2 ) θ g ( 1 ) -1 . This action induces an action by conjugation of H ′ on S ′ .

- 3.1.2. Let U ⊂ G be the unipotent variety. We define U S ′ = U ∩ S ′ and U G = ρ -1 ( U S ′ ). One knows ([Guo97] lemma 3.2) that U G ( F ) = H F ′ ( ) U S ′ ( F H ) ′ ( F ).
- 3.1.3. The tangent space of S ′ at Id V D is denoted by s ′ : it is the space of X ∈ End D ( V D ) such that Xε + εX = 0. Let N V be the cone of nilpotent elements in End D ( V D ). Let N ′ = N V ∩ s ′ . The usual exponential map denoted by exp induces an isomorphism from N V to U and also from N ′ to U S ′ .

↦

- 3.1.4. The map End E ( V ) → End D ( V D ) given by ϕ → ϕ ⊗ Id D gives an identification of H with H ′ and s with s ′ and N with N ′ . Hence we can freely use all the results of section 2 for the action of H ′ on s ′ .

To simplify the notations, we will suppress the superscript ′ and we will not distinguish between H and H ′ , S and S ′ etc. For v a place of F , the measures used on the groups of F v -points are Haar measures (we do not need any normalization).

## 3.2 Main results

3.2.1. Let v be a place of F . For any Φ ∈ C ∞ c ( G F ( v )), there is a unique function, denoted by Φ S ∈ C ∞ c ( S F ( v )) such that

$$\Phi _ { S } ( \rho ( x ) ) = \int _ { H ( F _ { v } ) } \Phi ( x h ) \, d h.$$

The map Φ → Φ S is a surjection from C ∞ c ( G F ( v )) onto C ∞ c ( S F ( v )).

↦

$$\int _ { N ( F _ { v } ) } \Phi ( x n y ) \, d n = 0$$

3.2.2. Very cuspidal test functions. -We shall say that Φ ∈ C ∞ c ( G F ( v )) is very cuspidal if one has

for any parabolic subgroup P /subsetnoteql G and any x, y ∈ G F ( v ). Here N is the unipotent radical of P .

Remark 3.2.2.1 . - Assume v is finite. Let Φ be a matrix coefficient of a supercuspidal repre-˜ sentation of G F ( v ) /Z F ( v ) where Z is the center of G . Let Φ ∈ C ∞ c ( G F ( v )) such that

$$\int _ { Z ( F _ { v } ) } \Phi ( g z ) \, d z = \tilde { \Phi } ( g )$$

for any g ∈ G F ( v ) /Z F ( v ) . Then Φ is very cuspidal.

Note that any very cuspidal function Φ ∈ C ∞ c ( G F ( v )) is such that

$$\int _ { N ( F _ { v } ) / N _ { H } ( F _ { v } ) } \Phi _ { S } ( \rho ( x n ) ) \, d n = 0$$

where N H = N ∩ H and dn is the quotient of the Haar measures on N F ( v ) and N H ( F v ).

↦

$$\Phi _ { S } ( \rho ( x ) ) = \int _ { H ( \text{A} ) } \Phi ( x h ) \, d h$$

3.2.3. Global setting. - We also have a surjective map Φ → Φ S from C ∞ c ( G ( A )) onto C ∞ c ( S ( A )) given by for any x ∈ G ( A ).

3.2.4. Let's define for Φ ∈ C ∞ c ( G ( A )) and x, y ∈ G ( A )

We shall say that Φ ∈ C ∞ c ( G ( A )) is very cuspidal if there is a place v such that if one writes A = F v × A v , one has Φ = Φ v ⊗ Φ v with Φ v ∈ C ∞ c ( G ( A v )) and Φ v ∈ C ∞ c ( G F ( v )) is very cuspidal.

$$K _ { \mathcal { U } _ { G } } ( \Phi, x, y ) = \sum _ { \gamma \in \mathcal { U } _ { G } ( F ) } \Phi ( x ^ { - 1 } \gamma y )$$

and for h ∈ H ( A )

$$K _ { \mathcal { U } _ { S } } ( \Phi, h ) = \sum _ { \gamma \in \mathcal { U } _ { S } ( F ) } \Phi _ { S } ( h ^ { - 1 } \gamma h ).$$

We have the simple relation for h ∈ H ( A )

$$\int _ { [ H ] } K _ { \mathcal { U } _ { G } } ( \Phi, x, h ) \, d x = K _ { \mathcal { U } _ { S } } ( \Phi, h ).$$

Theorem 3.2.4.1 . -Let Φ ∈ C ∞ c ( G ( A )) be a very cuspidal function. Let O ∈ N ( F /H F ) ( ) and let v be a place of F .

- 1. For any t ∈ F × v , the integral

$$J _ { \mathcal { O } } ^ { t } ( \Phi ) = \int _ { [ H ] ^ { 1 } } \sum _ { X \in \mathcal { O } } \Phi _ { S } ( h ^ { - 1 } \exp ( t ^ { - 1 } X ) h ) \, d h$$

is absolutely convergent. For t = 1 , J 1 O (Φ) is denoted by J O (Φ) .

- 2. (Fine expansion) We have

$$\int _ { [ H ] ^ { 1 } } K _ { \mathcal { U } _ { S } } ( \Phi, h ) \, d h = \sum _ { \mathcal { O } \in \mathcal { N } ( F ) / H ( F ) } J _ { \mathcal { O } } ( \Phi )$$

where the left-hand side is absolutely convergent.

- 3. There exists a bound η &gt; 0 such that for any t in F × v such that | t | v &lt; η , we have

$$J _ { \mathcal { O } } ^ { t } ( \Phi ) = \lim _ { s \to 0 ^ { + } } s \theta _ { X } ( s ) Z _ { X } ( f _ { t }, s )$$

where X ∈ O is the element considered in § 2.6.1, θ X ( s ) (defined in § 2.6.4) is holomorphic for /Rfractur ( s ) &gt; 0 and does not depend on Φ , the zeta function Z X ( f , s t ) is defined in § 2.6.3 relatively to any function f t ∈ C ∞ c ( s ( A )) such that f t ( Y ) = Φ S (exp( t -1 Y )) .

- 4. Let η be the bound of 3. For any t 0 , t in F × v such that | t 0 | v &lt; η and | t | v /lessorequalslant 1 we have

$$J _ { \mathcal { O } } ^ { t t _ { 0 } } ( \Phi ) = | t | _ { v } ^ { \dim ( \mathcal { O } ) / 2 } J _ { \mathcal { O } } ^ { t _ { 0 } } ( \Phi ).$$

Proof. - Theorem 3.2.4.1 is deduced from similar results on s and the (standard) descent procedure to s that is explained in § 3.2.5. More precisely, assertion 1 results from theorem 2.3.4.1. Assertion 2 is a consequence of assertion 1 and the finiteness of nilpotent orbits. Assertion 3 is a combination of theorem 2.5.2.1 and 2.6.4.1. Finally assertion 4 is a consequence of assertion 3 (see section 2.7). /square

Let's state a corollary which is a straightforward consequence of theorem 3.2.4.1.

Corollary 3.2.4.2 . -We use notations of theorem 3.2.4.1. For any t 0 , t in F × v such that | t 0 | v &lt; η and | t | v /lessorequalslant 1 we have

$$\int _ { [ H ] ^ { 1 } } | \sum _ { X \in \mathcal { N } ( F ) } \Phi _ { S } ( h ^ { - 1 } \exp ( ( t t _ { 0 } ) ^ { - 1 } X ) h ) | \, d h < \infty$$

and

$$a n a \\ \int _ { [ H ] ^ { 1 } } \sum _ { X \in \mathcal { N } ( F ) } \Phi _ { S } ( h ^ { - 1 } \exp ( ( t t _ { 0 } ) ^ { - 1 } X ) h ) \, d h = \sum _ { \mathcal { O } \in \mathcal { N } ( F ) / H ( F ) } | t | _ { v } ^ { \dim ( \mathcal { O } ) / 2 } J _ { \mathcal { O } } ^ { t _ { 0 } } ( \Phi ).$$

In particular, when t ∈ F × v goes to 0 , the expression

$$\int _ { [ H ] ^ { 1 } } \sum _ { X \in \mathcal { N } ( F ) } \Phi _ { S } ( h ^ { - 1 } \exp ( t ^ { - 1 } X ) h ) \, d h$$

is equivalent to

$$\text{vol} ( [ H ] ^ { 1 } ) \int _ { H ( \text{A} ) } \Phi ( h ) \, d h.$$

Remark 3.2.4.3 . - For Φ is very cuspidal, we have the equality

$$\int _ { [ H ] ^ { 1 } } \int _ { [ H ] } K _ { \mathcal { U } _ { G } } ( \Phi, x, y ) \, d x d y = \int _ { [ H ] ^ { 1 } } K _ { \mathcal { U } _ { S } } ( \Phi, h ) \, d h.$$

where the left-hand side is at least conditionnally convergent. One can prove in fact that it is absolutely convergent using mixed truncation operators (in the sense of the seminal paper [JLR99]) built upon the combinatorics of [Li].

3.2.5. Descent to the tangent space. - Let V 0 be a finite set of places of F containing the archimedean places and a fixed place denoted by v 0 . Let A ⊂ F the ring of integers outside V 0 . We assume that V 0 is large enough such that all objects G H S , , , U S , N come naturally from A -schemes by base change. We assume also that the exponential (denoted by exp) induces an isomorphism of A -scheme from N to U S . For v / ∈ V 0 , let O ⊂ v F v be the ring of integers.

$$\Phi = \Phi _ { 0 } \otimes \Phi _ { 1 } \otimes \Phi _ { 2 }$$

where Φ 0 ∈ C ∞ c ( G F ( 0 )) (with F 0 = F v 0 ) is a very cuspidal function, Φ 1 is a test function on

$$F _ { 1 } = \prod _ { v \in \mathcal { V } _ { 0 } \langle v _ { 0 } \} } F _ { v }$$

and Φ 2 is the characteristic function of ∏ v/ ∈V 0 G ( O v ). Let c : s → c = s //H be the categorical quotient. For all v ∈ V 0 , we fix an open subset ω /flat v ⊂ c ( F v ) containing c (0) such that the exponential map exp is well-defined and induces an analytic diffeomorphism from ω v = c -1 ( ω /flat v ) onto an open subset Ω v ⊂ S F ( v ). Let ζ v be a smooth function on c ( F v ) with compact support included in ω /flat v and with value 1 in a neighborhood of c (0).

Let's define ζ 0 = ζ v 0 and ω 0 = ω v 0 and also ζ 1 = ∏ v ∈V \{ 0 v 0 } ζ v and ω 1 = ∏ v ∈V \{ 0 v 0 } ω v . We define functions f 0 ∈ C ∞ c ( s ( F 0 )) and f 1 ∈ C ∞ c ( s ( F 1 )) by:

$$f _ { i } ( X ) = \begin{cases} \ \zeta _ { i } ( X ) \Phi _ { i, S } ( \exp ( X ) ) \text{ if } X \in \omega _ { i } ; \\ 0 \text{ otherwise;} \end{cases}$$

for any i ∈ { 0 1 , } and X ∈ s ( F i ). Let f = f 0 ⊗ f 1 ⊗ f 2 ∈ C c ( s ( A )) where f 2 is the characteristic function of s ( v ).

We have for all X ∈ N ( A )

∞ ∏ v/ ∈V 0 O

$$\Phi _ { S } ( h ^ { - 1 } \exp ( X ) h ) = f ( \text{Ad} ( h ^ { - 1 } ) ( X ) ).$$

To complete the proof of theorem 3.2.4.1 it suffices to check the next lemma.

Lemma 3.2.5.1 . -The function f is weakly cuspidal (in the sense of § 2.3.3).

Proof. - Let X ∈ s M ( F 0 ) ∩N ( F 0 ). Clearly, it suffices to prove that

$$\int _ { s _ { N } ( F _ { 0 } ) } f _ { 0 } ( \text{Ad} ( x ) ( X + U ) ) \, d U = 0$$

for any x ∈ H F ( v ). But for any U ∈ s N ( F 0 ) we have

$$f _ { 0 } ( \text{Ad} ( x ) ( X + U ) ) = \Phi _ { 0, S } ( x \exp ( X + U ) x ^ { - 1 } ).$$

Let's write

$$\exp ( X + U ) = \exp ( X / 2 ) ( \exp ( - X / 2 ) \exp ( X + U ) \exp ( - X / 2 ) ) \theta ( \exp ( X / 2 ) ) ^ { - 1 }.$$

↦

We observe that U → exp( -X/ 2) exp( X + U ) exp( -X/ 2) induces an isomorphism from s N onto S ∩ N . But the map ρ of (3.1.1.1) induces an isomorphism from N/N H onto S ∩ N . We get a bijection from N F ( 0 ) /N H ( F 0 ) onto s N ( F 0 ). By a change of variables, we get (up to a constant c = 0)

/negationslash

$$\int _ { \mathfrak { s } _ { N } ( F _ { 0 } ) } f _ { 0 } ( \text{Ad} ( x ) ( X + U ) ) \, d U = c \int _ { N ( F _ { 0 } ) / N _ { H } ( F _ { 0 } ) } \Phi _ { 0, S } ( \rho ( x \exp ( X / 2 ) n ) ) \, d n = 0$$

by the vanishing condition (3.2.2.1).

/square

## References

[Art78] J. Arthur. A trace formula for reductive groups. I. Terms associated to classes in G ( Q ). Duke Math. J. , 45(4):911-952, 1978.

[Art85] J. Arthur. A measure on the unipotent variety. Canad. J. Math. , 37(6):1237-1274, 1985.

| [Art88]   | J. Arthur. The local behaviour of weighted orbital integrals. Duke Math. J. , 56(2):223- 293, 1988.                                                                     |
|-----------|-------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [Cha17]   | P.-H. Chaudouard. Sur la contribution unipotente dans la formule des traces d'Arthur pour les groupes g´n´raux e e lin´aires. e Israel J. Math. , 218(1):175-271, 2017. |
| [Cha18a]  | P.-H. Chaudouard. Sur certaines contributions unipotentes dans la formule des traces d'Arthur. Amer. J. Math. , 140(3):699-752, 2018.                                   |
| [Cha18b]  | P.-H. Chaudouard. Sur une variante des troncatures d'Arthur. In Geometric Aspects of the Trace Formula , Simons Symp., pages 85-120. Springer, 2018.                    |
| [FMW18]   | B. Feigon, K. Martin, and D. Whitehouse. Periods and nonvanishing of central L -values for GL(2 n ). Israel J. Math. , 225(1):223-266, 2018.                            |
| [Guo96]   | J. Guo. On a generalization of a result of Waldspurger. Canad. J. Math. , 48(1):105-142, 1996.                                                                          |
| [Guo97]   | J. Guo. Uniqueness of generalized Waldspurger model for GL(2 n ). Pacific J. Math. , 180(2):273-289, 1997.                                                              |
| [Jac86]   | H. Jacquet. Sur un r´sultat e de Waldspurger. Ann. Sci. ´ Ecole Norm. Sup. (4) , 19(2):185- 229, 1986.                                                                  |
| [JLR99]   | H. Jacquet, E. Lapid, and J. Rogawski. Periods of automorphic forms. J. Amer. Math. Soc. , 12(1):173-240, 1999.                                                         |
| [Li]      | H. Li. An infinitesimal variant of Guo-Jacquet trace formula. II. to appear .                                                                                           |
| [LS79]    | G. Lusztig and N. Spaltenstein. Induced unipotent classes. J. London Math. Soc. , 19:41-52, 1979.                                                                       |
| [Spa82]   | N. Spaltenstein. Classes unipotentes et sous-groupes de Borel , volume 946 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1982.                             |
| [Xue]     | H. Xue. Epsilon dichotomy for linear models. Preprint .                                                                                                                 |

Pierre-Henri Chaudouard

Universit´ Paris Diderot (Paris 7) e

Institut de Math´matiques de Jussieu-Paris Rive Gauche e

UMR 7586

Bˆ atiment Sophie Germain

Case 7012

F-75205 PARIS Cedex 13

France email:

Pierre-Henri.Chaudouard@imj-prg.fr
Pierre-Henri Chaudouard
On the fine expansion of the unipotent contribution of the Guo-Jacquet trace formula
For a useful class of functions (containing functions whose one finite
component is essentially a matrix coefficient of a supercuspidal
representation), we establish three results about the unipotent contribution of
the Guo-Jacquet relative trace formula for the pair $(GL_n(D),GL_n(E))$. First
we get a fine expansion in terms of global nilpotent integrals. Second we
express these nilpotent integrals in terms of zeta integrals. Finally we prove
that they satisfy certain homogeneity properties. The proof is based on a new
kind of truncation introduced in a previous article.