- Research
- Open Access

# On the length of global integrals for

- David Ginzburg
^{1}Email author

**Received:**26 September 2016**Accepted:**29 January 2017**Published:**1 June 2017

## Abstract

In this paper we study global integrals defined on the group \(GL_n({\mathbf A})\). We prove a vanishing result for certain integrals which involve Speh representations and certain Eisenstein series, and which satisfies a certain dimension equation. This is part of a general Conjecture which states that a global nonzero integral which satisfies a dimension equation involves at most three nontrivial representations.

## 1 Background

Let *F* denote a global field and let \({\mathbf A}\) denote its adele ring. As is well known, in the Rankin–Selberg method one writes down a global integral which depends on a complex parameter *s*, and the basic problem is to determine when this integral is Eulerian. One of the useful tools to study this problem is the so-called dimension equation. For a genral definition of the dimension equation and related results and conjectures, see [2] Definition 3, [3–5]. Conjecture 1 as stated in [3] is one of the basic conjectures in this topic. We will now state it in the context of this paper.

*l*representations of the group \(GL_n({\mathbf A})\) which are invariant under \(GL_n(F)\), and such that the integral

*s*. Thus, for \(1\le i\le l\), one can take \(\pi _i\) to be cuspidal representations, Eisenstein series and also residues or special values of Eisenstein series. Here,

*Z*is the center of \(GL_n\), and we assume that the product of all central characters of the above representations is one. Also, \(\varphi _i\) is a vector in the space of \(\pi _i\), and

*E*(

*g*,

*s*) is a function in the space of the representation \(\pi _{l+2}\). We assume that none of the representations involved is a one dimensional representation, and we refer to the number \(l+2\) as the length of the integral.

To define the dimension equation attached to the integral (1), we first define the notion of the Gelfand-Kirillov dimension of a representation. As explained in [4], to every irreducible automorphic representation \(\pi \) of \(GL_n({\mathbf A})\) one can attach a set of unipotent orbits which we denote by \({\mathcal O}(\pi )\). This set is defined as follows. To each unipotent orbit \({\mathcal O}\) one can attach a set of Fourier coefficients. The way to do it is explained in [4] Sect. 2. As explained in [1], one can define a partial order on the set of all unipotent orbits. We say that a unipotent orbit \({\mathcal O}\) is in the set \({\mathcal O}(\pi )\) if the representation \(\pi \) has a nontrivial Fourier coefficient attached to the unipotent orbit \({\mathcal O}\), but for all unipotent orbits which are greater than \({\mathcal O}\), the representation \(\pi \) has no nontrivial Fourier coefficient. From this definition it is clear that the set \({\mathcal O}(\pi )\) can contain more than one unipotent orbit. It is an open conjecture that for any irreducible automorphic representation this set contains only one element. In many cases this conjecture is known. For example, it trivially holds for any irreducible cuspidal representation of \(GL_n({\mathbf A})\), since any such representation is generic. It is also known for Speh representations which were defined in [6] as residues of certain Eisenstein series. This is established in [4] Proposition 5.3. Henceforth, we shall assume that it holds for all representations involved. In other words, we will always assume that the set \({\mathcal O}(\pi )\) contains a unique unipotent orbit.

As follows from [1], to each unipotent orbit one can define its dimension. For the group \(GL_n\), one can parameterize unipotent orbits of \(GL_n\) by all partitions of *n*. With this identification the dimension of a unipotent orbit is given by the second equality of equation (7). Thus, since we assume that the set \({\mathcal O}(\pi )\) contains only one element, one can then define the dimension of \(\pi \), denoted by \(\text {dim}\ \pi \), to be half the number \(\text {dim}\ {\mathcal O}(\pi )\). For example, the representation \(\pi _{l+1}\) is a cuspidal representation, and hence it is a generic representation. Hence \({\mathcal O}(\pi _{l+1})=(n)\) and \(\text {dim}\ {\mathcal O}(\pi _{l+1})=\frac{1}{2}n(n-1)\).

*unipotent*integrals which are non-zero and Eulerian, do satisfy the dimension equation (2). In [3] Sect. 2 there is a detailed description of the integrals we refer to. In particular the notion of unipotent global integral is defined in [3] Definition 1. One of the requirements is that the global integral (1) unfolds to an integral which involves unique functionals defined on the various representations in question. This is not always the case with Eulerian global integrals. For example, this does not happen with global integrals which are known in the literature as New Way type integrals. See [8].

The main Conjecture in this topic is

### Conjecture 1

Assume that the integrals (1) satisfies the dimension equation (2). Suppose that \(l>1\). Then these integrals are zero for all choice of data.

Even though the motivation for stating and studying this conjecture is the desire to classify global Rankin–Selberg integral, we emphasize that this conjecture is stated regardless to what type of integral we consider, in other words, regardless as whether we expect this integral to be a global unipotent integral or if we expect this integral to unfold to any other type of integral.

In particular, if true, this Conjecture asserts that if a global unipotent integral satisfies the dimension equation, and is not zero then \(l=1\). It is well known that such integrals exists. For example the Rankin product integral is such an integral. See [5] Theorem 1 for a partial classification of such integrals when \(l=1\).

There are two main difficulties in studying Conjecture 1. The first difficulty is that it is not practical to classify all solutions to Eq. (2). For low values of *n* it is not hard but the number of solutions grows quite fast. The second difficulty is the fact that for \(1\le i\le l\), the representations \(\pi _i\) are arbitrary and hence when unfolding the integral and performing Fourier expansions, there are many cases to consider.

*E*(

*g*,

*s*) denote the Eisenstein series attached to the induced representation \(Ind_{P({\mathbf A})}^{GL_n({\mathbf A})}\delta _P^s\). Here

*P*is the maximal parabolic of \(GL_n\) whose Levi part is \(GL_{n-1}\times GL_1\). A simple unfolding process which we will perform in the next section implies that the integral

### Conjecture 2

Suppose that integral (3) satisfies the dimension Eq. (4). Suppose that \(l>1\). Then the integral (3) is zero for all choice of data.

Notice that in integral (3) the integration domain is a compact group. Hence the integral clearly converges. Conjecture 2 is interesting by itself regardless of its application to Conjecture 1.

When \(l=1\), integral (3) reduces to the Fourier coefficient of the representation \(\pi _1\) which corresponds to the unipotent orbit (*n*). In other words, this is just the Whittaker coefficient of \(\pi _1\). Since there are generic representations defined on the group \(GL_n({\mathbf A})\), clearly there are such nonzero global integrals. An important example of such integrals, with \(l=1\), is the well known Shahidi type integrals. These are the cases when \(\pi _1\) is an Eisenstein series induced from generic automorphic representations [9].

In this paper we study Conjecture 2 for two important types of representations. The first type of representation is what we refer to as representations of Speh type. In our context, a representation \(\pi \) is a representation of Speh type if \({\mathcal O}(\pi )=(q^m)\). Here *m* and *q* are two natural numbers such that \(n=mq\). The motivation is that every Speh representation is such a representation. See [4] Proposition 5.3. Notice that by our definition, every generic representation is a representation of Speh type, and it is not hard to find examples of Eisenstein series which are also such representations.

The second type of representations are Eisenstein series. In detail, for \(1\le i\le r\), let \(\tau _i\) denote an automorphic representation of the group \(GL_{m_i}({\mathbf A})\) where we assume that \(m_i\ge m_{i+1}\). Let *Q* denote a parabolic subgroup of \(GL_n\), whose Levi part is \(M=GL_{m_1}\times \ldots \times GL_{m_r}\). Then \(\tau =\tau _1\times \tau _2\times \ldots \times \tau _r\) is a representation of \(M({\mathbf A})\). Denote by \(E_\tau (g,\widetilde{s})\) the Eisenstein series of \(GL_n({\mathbf A})\) attached to the induced representation \(Ind_{Q({\mathbf A})}^{GL_n({\mathbf A})}\tau \delta _Q^{\widetilde{s}}\). Since *Q* need not be a maximal parabolic subgroup, it is possible that this Eisenstein series depends on several complex variables. To emphasize this we shall use the notation \(\widetilde{s}\). We will assume that the Eisenstein series in question is in general position. By that we mean that we are in the domain where it is given by a convergent series, and hence we can carry out an unfolding process. When we need to consider more than one Eisenstein series we will use the notation \(E_\sigma (g,\widetilde{\nu })\), or if we need to consider a collection of Eisenstein series, we will also use the notation \(E_{\tau ^{(i)}}(g,\widetilde{s_i})\). The definition of these Eisenstein series is similar to the definition of \(E_\tau (g,\widetilde{s})\) given above.

Our first main result concerns the case when \(l=2\). Because of Lemma 2, to prove Conjecture 2 for \(l=2\), for the set of representations we consider, it is enough to prove,

### Theorem 1

The proof of this Theorem is given in Sect. 3. From Theorem 1, using the above and the argument stated in the beginning of Sect. 2, we deduce

### Theorem 2

Let \(\pi _1\) denote either a representation of Speh type, or an Eisenstein series \(E_\tau (g,\widetilde{s})\) as in Theorem 1. Let \(\pi _2\) denote a representation of Speh type, or an Eisenstein series \(E_\sigma (g,\widetilde{\nu })\) as defined above. Let \(\pi _3\) denote an irreducible cuspidal automorphic representation of \(GL_n({\mathbf A})\), and let \(\pi _4=E(g,s)\) denote the Eisenstein series defined right before integral (3). Then Conjecture 1 holds with \(l=2\).

In the last section we consider Conjecture 2 in the case when \(l\ge 3\). We prove the following

### Theorem 3

Assume that \(l\ge 3\), and that for all \(1\le i\le l-1\) we have \(\pi _i=E_{\tau ^{(i)}}(g,\widetilde{s_i})\). Assume that \(\pi _l\) is a representation of Speh type, or that \(\pi _l=E_{\tau ^{(l)}}(g,\widetilde{s_l})\) with the property that for some *j* we have that \(\tau _j^{(l)}\) is a one dimensional representation. Then Conjecture 2 holds.

We are aware that there are other representations which are not of the types mentioned above. For example Eisenstein series at some special values, or residues of Eisenstein series. However, the above two types are the most important. Every representation in the discrete spectrum is included in them. We hope to consider other cases in the future.

## 2 Notations and preliminary results

*E*(

*g*,

*s*) is the Eisenstein series defined right before integral (3). Notice first that since \(\pi _{l+1}\) is a cuspidal representation, the integral (1) converges for almost all

*s*. Furthermore, for \(\text {Re}(s)\) large, the following integrals converge and therefore we can carry out the unfolding process. Assuming \(\text {Re}(s)\) large this integral is equal to

*f*(

*g*,

*s*) is a section in the induced space used to construct the Eisenstein series

*E*(

*g*,

*s*). Since we assume that \(\pi _{l+1}\) is a cuspidal representation, we can use the well known expansion for such representations, see [7],

Suppose that integral (1) satisfies the dimension Eq. (2). Since \(\pi _{l+1}\) is a generic representation, then \(\text {dim}\ \pi _{l+1}=\frac{1}{2}n(n-1)\). The Eisenstein series *E*(*g*, *s*) used in the above integral is attached to the unipotent orbit \((21^{n-2})\) and has dimension \(n-1\). This follows from [4] Proposition 5.2. Plugging these numbers into Eq. (2) we obtain the Eq. (4).

*n*. In other words, we have \(k_i\ge k_{i+1}\) and \(\sum k_i=n\). Then, as follows from [1], see also [5], we have

*p*is called the length of the partition. Also, we denote by \(\lambda ^t\) the transpose of the partition \(\lambda \) [1].

### Lemma 1

*n*, and assume that \(\mu ^t=(m_1m_2\ldots m_r)\). Then, for any partition \(\lambda \) of

*n*, whose length is at most \(n-m_1+1\), we have

### Proof

*I*for these partitions. It is equal to

To conclude the case when \(a\ge 4\), we still have to consider the case when \(p_2=0\). When this happens, then it follows from (10) that \(a(n-m_1+1)=n\). Plugging this into (12) we obtain \(I=\sum m_im_j+(nm_1-n^2)/2\). Since \(n=\sum m_i\), then \(2\sum m_im_j-n^2=-\sum m_i^2\), and it is easy to check that \(I>0\).

We have the following,

### Lemma 2

Suppose that \(l\ge 2\). Assume that at least two of the representations \(\pi _i\) are representations of Speh type. Then the dimension Eq. (4) is not satisfied.

### Proof

Let \(\mu =(2^{\frac{n}{2}})\) if *n* is even, and \(\mu =(2^{\frac{n-1}{2}}1)\) if *n* is odd. Then \(\mu ^t=\left( \left( \frac{n}{2}\right) ^2\right) \) if *n* is even, and \(\mu ^t=\left( \left( \frac{n+1}{2}\right) \left( \frac{n-1}{2}\right) \right) \) if *n* is odd. It follows from Lemma 1, or by direct calculation, that Eq. (8) holds with \(\lambda =\mu \).

*l*representations \(\pi _i\), and assume that \(\pi _1\) and \(\pi _2\) are two representations of Speh type. Then \({\mathcal O}(\pi _i)=(p_i^{q_i})\) for \(i=1,2\). Hence \({\mathcal O}(\pi _i)\ge \mu \) where \(\mu \) was defined above. Thus, recalling that the dimension of a representation is half of the dimension of the corresponding partition, we have

For a root \(\gamma \) for \(GL_n\) we shall denote by \(\{x_\gamma (m)\}\) the one dimensional unipotent subgroup of \(GL_n\). We need the following trivial Lemma, whose proof is obtained by simple Fourier expansion,

### Lemma 3

*f*denote an automorphic function of \(GL_n({\mathbf A})\). Consider the integral

### Proof

*I*. Applying Fourier expansion, we obtain

*f*is invariant on the left by elements in \(GL_n(F)\), we have \(f(x_\beta (\delta )g)=f(g)\) for all \(g\in GL_n({\mathbf A})\) and \(\delta \in F\). Hence, conjugating the element \(x_\beta (\delta )\) to the right, we obtain after a change of variables in \(m_1\),

## 3 The proof of Theorem 1

In this section we prove Theorem 1. As mentioned in the Introduction, in this paper we study Conjecture 2 for Speh type representations, and for Eisenstein series. These representations were defined in the introduction right before Theorem 1. Thus, because of Lemma 2, we may assume that one of the two representations is an Eisenstein series.

It will be convenient to separate the proof into two cases.

### 3.1 Eisenstein series: the trivial case

In this subsection we assume that the representation \(\tau _1\) of the group \(GL_{m_1}({\mathbf A})\) is the trivial representation. We recall that by construction, \(m_1\ge m_i\) for all *i*.

### Proposition 1

Assume that \(\pi \) satisfies Eq. (16). Then the integral (15) is zero for all choice of data.

### Proof

*w*, we denote \(U_n^w=w^{-1}U_nw\cap U_n\). By means of Fourier expansions, we can express integral (18) as a sum of Fourier coefficients corresponding to a set of unipotent orbits \({\mathcal O}_1,\ {\mathcal O}_2,\ldots ,{\mathcal O}_q\). Suppose that we show that for all \(1\le i\le q\) we have

*n*whose (

*i*,

*j*) entry is one, and all other entries are zero. We define \(V_n\) to be the identity group. Let \(1\le i_1<i_2<\ldots <i_k\le n\) denote a set of natural numbers. Denote \(V_{i_1,\ldots ,i_k}=V_{i_1}V_{i_2}\ldots V_{i_k}\). Then we claim that given a Weyl element \(w\in Q\backslash GL_n/U_n\), there is a set \(1\le i_1<i_2<\ldots <i_k\le n\) where \(k\le n-m_1\), such that the integral

*w*can be chosen to be a permutation matrix. Hence, if

*w*has an entry one at the \((a,j_a)\) position, where \(1\le a\le m_1\), then the group \(V_{j_1,\ldots , j_{m_1}}\) is contained in \(U_n^w\). This means that there are at most \(n-m_1\) indices and subgroups \(V_i\) which are not contained inside \(U_n^w\). Hence, we can factor the group \(U_n\) as a disjoint product \(U_n=V_{i_1,\ldots ,i_k}V_{l_1,\ldots ,l_{n-k}}\) such that \(k\le n-m_1\), and such that \(V_{l_1,\ldots ,l_{n-k}}\) is contained in \(U_n^w\). Factoring the integration domain in integral (18), we obtain that the integral

Start with integral \(I(i_1,\ldots ,i_{k-1},i_k)\). By means of Fourier expansions we will prove that this integral is equal to a sum of integrals such that the integrals \(I(i_1,\ldots ,i_{k-1},i_k+a)\) and the integral \(I(i_1,\ldots ,i_{k-1}; \epsilon _{i_k})\) appear as inner integrations to each summand. Here \(1\le a\le n-i_k\). Notice that when \(a=n-i_k\), we have \(I(i_1,\ldots ,i_{k-1},i_k+a)=I(i_1,\ldots ,i_{k-1})\). Repeating this process with each of the integrals \(I(i_1,\ldots ,i_{k-1},i_k+a)\), we deduce that the integral \(I(i_1,\ldots ,i_{k-1},i_k)\) is a sum of integrals such that \(I(i_1,\ldots ,i_{k-1})\) and \(I(i_1,\ldots ,i_{k-1}; \epsilon _{i_k+a})\) appear as inner integration in each summand. Here \(0\le a\le n-i_k-1\). Continuing this process with this set of integrals we finally deduce that \(I(i_1,\ldots ,i_{k-1},i_k)\) is a sum of integrals such that \(I(\epsilon _{j_1},\ldots , \epsilon _{j_p})\) appear as an inner integration for some set of indices \(1\le j_1<j_2<\ldots <j_p\le n-1\) and \(0\le p\le n-m_1\). Notice that the bound on *p* follows from the fact that the number *k* as defined in (20) is bounded by \(n-m_1\). Thus, to complete the proof we will first relate \(I(i_1,\ldots ,i_{k-1},i_k)\) to the integrals \(I(i_1,\ldots ,i_{k-1},i_k+a)\) and \(I(i_1,\ldots ,i_{k-1}; \epsilon _{i_k})\) as mentioned above. Then we prove that the integrals \(I(\epsilon _{j_1},\ldots , \epsilon _{j_p})\) are zero for all choice of data.

*u*is as in integral (22), and \(t(\eta )\) is the torus element \(t(\eta )=\text {diag}(\eta I_{i_k},I_{n-i_k})\). Consider each term of the right most integral in Eq. (23). In the notations of Lemma 3, we denote \(x_{\alpha +\beta }(y_1)=x_1(y_1)\). Also we denote \(x_\alpha (z_1)=I_n+z_1e_{i_k,n-1}\) and \(x_\beta (z_2)=I_n+z_2e_{i_k+1,n}\). Then the conditions of the Lemma hold and we can apply it. We repeat this process with \(x_\alpha (z_1)=I_n+z_1e_{i_k,j}\) and \(x_\beta (z_2)=I_n+z_2e_{i_k+n-j,n}\) in decreasing order in

*j*for all \(i_k+1\le j\le n-2\). Then, after applying Lemma 3 for \(n-i_k-1\) times, we conjugate by the Weyl element

*n*whose length is \(p+1\le n-m_1+1\). From Lemma 1, and from Eq. (19), we deduce that

### 3.2 Eisenstein series: the nontrivial case

We keep the notations of the previous Subsection. The second case to consider is integral (15) where the Eisenstein series is the representation \(E_\tau (g,\widetilde{s})\) as was defined in the Introduction, and such that the representation \(\tau _1\) is a Speh type representation. Then we may assume that the other representation in integral (15), is either a Speh type representation, or it is a similar Eisenstein series denoted by \(E_\sigma (g,\widetilde{\nu })\). By that we mean the following. Let *R* denote a parabolic subgroup of \(GL_n\) whose Levi part is \(L=GL_{n_1}\times GL_{n_2}\times \cdots \times GL_{n_k}\) with \(n_i\ge n_{i+1}\). Let \(\sigma _i\) denote an irreducible automorphic representation of \(GL_{n_i}({\mathbf A})\), and denote \(\sigma = \sigma _1\times \ldots \times \sigma _k\). Form the Eisenstein series \(E_\sigma (g,\widetilde{\nu })\) attached to the induced representation \(Ind_{R({\mathbf A})}^{GL_n({\mathbf A})}\delta _R^{\widetilde{\nu }}\) where \(\widetilde{\nu }\) is a multi complex variable. We also may assume that \(\sigma _1\) is a Speh type representation. For if it is the trivial representation, then we may apply the argument of the Sect. 3.1.

With these notations, to prove Theorem 1 in this case we prove,

### Proposition 2

### Proof

*i*, the length of \({\mathcal O}(\tau _i)\) is at most

*n*/ 2. From this we deduce that the length of \({\mathcal O}(E_\tau (g,\widetilde{s}))\) is at most

*n*/ 2. Similarly, if \(\pi =E_\sigma (g,\widetilde{\nu })\) or if \(\pi \) is a representation of Speh type then its length is at most

*n*/ 2. But every partition of

*n*whose length is at most

*n*/ 2 is greater than or equal to \(\mu =(2^{\frac{n}{2}})\) if

*n*is even, and \(\mu =(2^{\frac{n-1}{2}}1)\) if

*n*is odd. Hence

## 4 The proof of Theorem 3

In this section we consider the case when \(l\ge 3\). Let \(\pi _i\) denote *l* automorphic representations of \(GL_n({\mathbf A})\). Assume that \(\pi _i=E_{\tau ^{(i)}}(g,\widetilde{s}_i)\) for all \(1\le i\le l-1\). Here, the representations \(E_{\tau ^{(i)}}(g,\widetilde{s}_i)\) were defined at the Introduction right before Theorem 1. Assume also that \(\tau _1^{(i)}\) is the trivial representation for all \(1\le i\le l-1\).

Continuing by induction, we eventually get as inner integrations the integral (26) with \(\Phi _1=\varphi _{\pi _l}\) and \(\epsilon '\) is a vector with at least \(m_1^{(1)}+\ldots +m_1^{(l-1)}-(l-2)n-1\) entries which are equal to one. We conclude that if all such integrals are zero for all choice of data, then the integral (24) is zero for all choice of data.

We have

### Corollary 1

*l*Eisenstein series \(E_{\tau ^{(i)}}(g,\widetilde{s}_i)\) as defined in the Introduction. Assume that for all

*i*the representation \(\tau _1^{(i)}\) is the trivial representation. If

### Proof

Applying the above process, the condition (27) implies that we obtain the integral \(\int \psi (r)dr\) as inner integration to each of the integrals of the type of integral (26). Here *r* is integrated over \(F\backslash {\mathbf A}\). From this the Corollary follows. \(\square \)

Notice that in the above Corollary we did not assume that the dimension Eq. (4) holds.

Let \(\pi _i\) denote *l* automorphic representations of \(GL_n({\mathbf A})\). Because of Proposition 2 we may assume that there is at most one representation, denoted by \(\pi _l\), such that \({\mathcal O}(\pi _l)\ge \mu =(2^{\frac{n}{2}})\) if *n* is even, and \({\mathcal O}(\pi _1)\ge \mu =(2^{\frac{n-1}{2}}1)\) if *n* is odd. This means that all other \(l-1\) representations are of the form \(E_{\tau ^{(i)}}(g,\widetilde{s}_i)\), with the conditions that \(\tau _1^{(i)}\) is the trivial representation and that \(m_1^{(i)}> n/2\). Indeed, as argued in Proposition 2 if for some *i* we have \(m_1^{(i)}\le n/2\), then \({\mathcal O}(E_{\tau ^{(i)}}(g,\widetilde{s}_i))\ge \mu \) where \(\mu \) was defined above. We have,

### Proposition 3

*j*such that \(\tau _j^{(l)}\) is the trivial representation. Assume also that the dimension Eq. (4) holds for these

*l*representations. Then

### Proof

*A*is a non-negative integer. With these notations, to prove the Proposition, it is enough to prove that the value at the minimum point of the function \(\sum _{i=1}^{l-1}m_1^{(i)}+m_j^{(l)}\), subject to the condition \(m_j^{(l)}(n-m_j^{(l)})+\sum _{i=1}^{l-1}m_1^{(i)}(n-m_1^{(i)})\le \frac{1}{2}n(n-1)\), is greater or equal to \((l-1)n+2\). Using Lagrange multipliers, it is easy to check that the minimum is obtained when all \(m_1^{(i)}\) and \(m_j^{(l)}\) are equal. Denote this value by

*m*. Notice, that since \(m_1^{(i)}>n/2\), we have \(m>n/2\). Thus we need to prove that \(lm\ge (l-1)n+2\) if \(lm(n-m)\le \frac{1}{2}n(n-1)\) and \(m>n/2\). Solving the quadratic inequality, we obtain using that \(m>n/2\) that

*A*is a non-negative integer. In a similar way as in the previous case, this time we want to minimize \(\sum _{i=1}^{l-1}m_1^{(i)}-(l-2)n-1\) subject to the conditions \(\sum _{i=1}^{l-1}m_1^{(i)}(n-m_1^{(i)})\le \frac{1}{2}n(q-1)\) and \(m_1^{(i)}>n/2\). The first term is the expression which appears in Eq. (27) with \(l-1\) instead of

*l*. The above inequality is derived from the Eq. (28). As in Proposition 3, the minimum of the function \(\sum _{i=1}^{l-1}m_1^{(i)}-(l-2)n-1\) is derived when all \(m_1^{(i)}\) are equal, and so we need to minimize the function \((l-1)m-(l-2)n-1\) with the condition \((l-1)m(n-m)\le \frac{1}{2}n(q-1)\). The solution in

*m*of the quadratic inequality which satisfies \(m>n/2\) is

### Proposition 4

For \(1\le i\le l-1\), let \(\pi _i\) denote the \(l-1\) Eisenstein series defined above. Assume that \(\pi _l\) is a representation of Speh type. Assume also that the dimension Eq. (4) holds for these *l* representations. Then the integral (3) is zero for all choice of data.

### Acknowledgements

The author is partly supported by the Israel Science Foundation Grant Number 259/14.

## Declarations

### Open Access

This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## Authors’ Affiliations

## References

- Collingwood, D. H.: McGovern, William Nilpotent orbits in semisimple Lie algebras. Van Nostrand Reinhold Mathematics Series. pp. xiv+186. Van Nostrand Reinhold Co., New York (1993)Google Scholar
- Ginzburg, D.: Towards a classification of global integral constructions and functorial liftings using the small representations method. Adv. Math
**254**, 157–186 (2014)MathSciNetView ArticleMATHGoogle Scholar - Ginzburg, D.: Classification of some global integrals related to groups of type \(A_n\). J. Number Theory
**165**, 169–202 (2016)MathSciNetView ArticleMATHGoogle Scholar - Ginzburg, D.: Certain conjectures relating unipotent orbits to automorphic representations. Israel J. Math.
**151**, 323–355 (2006)MathSciNetView ArticleMATHGoogle Scholar - Ginzburg, D.: Eulerian integrals for $$GL_n$$ G L n . Multiple Dirichlet series, automorphic forms, and analytic number theory, 203223, Proc. Sympos. Pure Math., 75, Amer. Math. Soc., Providence, RI, 2006Google Scholar
- Jacquet, H.: Lecture Notes in Math., 1041. On the residual spectrum of $$GL(n)$$ G L ( n ) . Lie group representations, II (College Park, Md., 1982/1983), pp. 185–208. Springer, Berlin (1984)Google Scholar
- Piatetski-Shapiro, I.: Euler subgroups. Lie groups and their representations (Proc. Summer School, Bolyai Janos Math. Soc., Budapest, 1971), pp. 597–620. Halsted, New York (1975)Google Scholar
- Piatetski-Shapiro, I., Rallis, S.: A new way to get Euler products. J. Reine Angew. Math.
**392**, 110–124 (1988)MathSciNetMATHGoogle Scholar - Shahidi, F.: Eisenstein series and automorphic L -functions. American Mathematical Society Colloquium Publications, 58. pp. vi+210. American Mathematical Society, Providence (2010)Google Scholar