# Criteria for the existence of cuspidal theta representations

- Solomon Friedberg
^{1}Email authorView ORCID ID profile and - David Ginzburg
^{2}

**Received: **4 April 2016

**Accepted: **21 June 2016

**Published: **8 August 2016

## Abstract

Theta representations appear globally as the residues of Eisenstein series on covers of groups; their unramified local constituents may be characterized as subquotients of certain principal series. A cuspidal theta representation is one which is equal to the local twisted theta representation at almost all places. Cuspidal theta representations are known to exist but only for covers of \(GL_j\), \(j\le 3\). In this paper we establish necessary conditions for the existence of cuspidal theta representations on the *r*-fold metaplectic cover of the general linear group of arbitrary rank.

## Keywords

## Mathematics Subject Classification

## 1 Introduction and main results

Let \(r\ge 2\), let *F* be a number field containing a full set of *r*-th roots of unity \(\mu _r\), and let \(\mathbb {A}\) denote the adeles of *F*. For \(n\ge 2\), let \(GL_n^{(r)}({\mathbb {A}})\) denote an *r*-fold cover of the general linear group, as in Kazhdan-Patterson [12]. This group is a cover of \(GL_n(\mathbb {A})\) with fibers given by \(\mu _r\) and multiplication defined by a certain two-cocycle \(\sigma \). The group \(GL_n^{(r)}(\mathbb {A})\) is obtained by piecing together local metaplectic groups \(GL_n^{(r)}(F_\nu )\) over the places \(\nu \) of *F* [the group \(GL_n^{(r)}(F_\nu )\) is, however, not the \(F_\nu \)-points of an algebraic group]. Following Takeda [17], we shall use the local cocycle given by Banks-Levy-Sepanski [1], which is block-compatible, and adjust it by a coboundary to construct a global cocycle. Kazhdan and Patterson work with a different cocycle than Takeda but the groups are isomorphic. The choice of twisting parameter *c* in the sense of [12] is arbitrary.

Let \(\Theta _n^{(r)}\) denote the theta representation on the group \(GL_n^{(r)}({\mathbb {A}})\). This representation was defined in Kazhdan-Patterson [12] using the residues of Eisenstein series, as follows. Let \(B_n\) be the standard Borel subgroup of \(GL_n\), and \(T_n\subseteq B_n\) denote the maximal torus of \(GL_n\). Let \(\mathbf {s}\) be a multi-complex variable, and define the character \(\mu _{{\mathbf s}}\) of \(T_n(\mathbb {A})\) by \(\mu _{{\mathbf s}}(\text {diag}(a_1,\ldots ,a_n))=\prod _i |a_i|^{s_i}\). If *H* is an algebraic subgroup of \(GL_n\), let \(H^{(r)}(F_\nu )\) (resp. \(H^{(r)}(\mathbb {A})\)) denote the full inverse image of \(H(F_\nu )\) (resp. \(H(\mathbb {A})\)) in \(GL_n^{(r)}(F_\nu )\) (resp. \(GL_n^{(r)}(\mathbb {A})\)). Let \(Z(T_n^{(r)}(\mathbb {A}))\) denote the center of \(T_n^{(r)}(\mathbb {A})\). Let \(\omega _{{\mathbf s}}\) be a genuine character of \(Z(T_n^{(r)}(\mathbb {A}))\) such that \(\omega _{{\mathbf s}}=\mu _{{\mathbf s}}\circ p\) on \(\{(t^r,1)\mid t\in T_n(\mathbb {A})\}\), where *p* is the canonical projection from \(T_n^{(r)}(\mathbb {A})\) to \(T_n(\mathbb {A})\). Choose a maximal abelian subgroup *A* of \(T_n^{(r)}(\mathbb {A})\), extend this character to a character of *A*, and induce it to \(T_n^{(r)}(\mathbb {A}).\) Then extend trivially to \(B_n^{(r)}(\mathbb {A})\) using the canonical projection from \(B_n^{(r)}(\mathbb {A})\) to \(T_n^{(r)}(\mathbb {A})\), and further induce it to the group \(GL_n^{(r)}({\mathbb {A}})\). We abuse the notation slightly and write this induced representation \(\text {Ind}_{B_n^{(r)}(\mathbb {A})}^{GL_n^{(r)}({\mathbb {A}})}\mu _{{\mathbf s}}\). It follows from [12] that this construction is independent of the choice of *A* and of the extension of \(\omega _{{\mathbf s}}\). Forming the Eisenstein series \(E(g,{\mathbf s})\) attached to this induced representation, it follows from [12] that when \(\mu _{{\mathbf s}}=\delta _{B_n}^{\frac{r+1}{2r}}\) (with \(\delta _{B_n}\) the modular function of \(B_n\)), this Eisenstein series has a nonzero residue representation. This is the representation \(\Theta _n^{(r)}\).

*F*such that \(|r|_\nu =1\). Defining similar groups over the local field \(F_\nu \), it follows from [12] that the local induced representation \(\text {Ind}_{B_n^{(r)}(F_\nu )}^{GL_n^{(r)}(F_\nu )}\delta _{B_n}^{\frac{r+1}{2r}}\) has a unique unramified subquotient which we again denote by \(\Theta _n^{(r)}\). This representation is also the unique unramified subrepresentation of \(\text {Ind}_{B_n^{(r)}(F_\nu )}^{GL_n^{(r)}(F_\nu )}\delta _{B_n}^{\frac{r-1}{2r}}\). If \(\chi _\nu \) denotes an unramified character of \(F_\nu ^\times \), then the twisted induced representation \(\text {Ind}_{B_n^{(r)}(F_\nu )}^{GL_n^{(r)}(F_\nu )}\chi _\nu ^{\frac{1}{r}} \delta _{B_n}^{\frac{r-1}{2r}}\) is also reducible, and one can define the local twisted theta representation \(\Theta _{n,\chi _\nu }^{(r)}\) as the unique unramified subrepresentation. Here the twisting means that the induction is from a genuine character of the group \(Z\left( T_n^{(r)}(F_\nu )\right) \) such that

Returning to the global case, we have

### Definition 1

An automorphic representation \(\pi \) of \(GL_n^{(r)}({\mathbb {A}})\) is called a theta representation if for almost all places \(\nu \) there are unramified characters \(\chi _\nu \) such that the unramified constituent of \(\pi \) is equal to \(\Theta _{n,\chi _\nu }^{(r)}\). If \(\pi \) is cuspidal, we say that \(\pi \) is a cuspidal theta representation.

The interesting cases of such theta representations are when the local characters \(\chi _\nu \) are the unramified constituents of a global automorphic character \(\chi \). We shall write \(\Theta _{n,\chi }^{(r)}\) for such a representation.

Examples of such representations may be constructed as follows. Suppose that \(\chi =\chi _1^r\) for some global character \(\chi _1\). Then one can construct theta representations \(\Theta _{n,\chi }^{(r)}\) by means of residues of Eisenstein series, by [12] (the case \(\chi =1\) was described above). However, these representations are never cuspidal.

In Flicker [6], a classification of all theta representations for the covering groups \(GL_2^{(r)}({\mathbb {A}})\), \(r\ge 2\), with \(c=0\) in the sense of [12] was given using the trace formula. The case \(n=r=2\) was also studied by Gelbart and Piatetski-Shapiro [7]. When \(n=r=3\), Patterson and Piatetski-Shapiro [15] constructed a cuspidal theta representation \(\Theta _{n,\chi }^{(r)}\) for any \(\chi \) which is not of the form \(\chi _1^3\), again for the cover with \(c=0\). This construction applied the converse theorem. This approach was used when \(n=r=4\) by Wang [18], and results were obtained subject to certain technical hypotheses. No other examples of such representations are known.

The basic problem is then to understand for what values of *r* and *n*, and for what characters \(\chi \), there exists a cuspidal theta representation \(\Theta _{n,\chi }^{(r)}\). We shall give a necessary condition for the existence of such a representation. However, we do not determine whether or not these conditions are sufficient.

First, if \(r<n\) such cuspidal representations do not exist. This follows trivially since every cuspidal automorphic representation of \(GL_n^{(r)}({\mathbb {A}})\) must be generic, but the local unramified representation \(\Theta _{n,\chi _\nu }^{(r)}\) is not generic if \(r<n\). Hence we may assume that \(r\ge n\). Our main result is

### Theorem 1

Fix a natural number *r*, and an automorphic character \(\chi \) of \(GL_1({\mathbb {A}})\). Then there is at most one natural number *n* such that there is a nonzero cuspidal theta representation \(\Theta _{n,\chi }^{(r)}\). Moreover, if such *n* exists, then *n* divides *r*. If a cuspidal theta representation \(\Theta _{n,\chi }^{(r)}\) exists for some *n* which divides *r*, \(n\ge 3\), then \(\chi \ne \chi _1^r\) for any character \(\chi _1\).

For \(n=2\) and twisting parameter \(c=0\), this result follows from [6]. This includes the last assertion: if a cuspidal theta representation \(\Theta _{2,\chi }^{(r)}\) exists for some even *r*, then \(\chi \ne \chi _1^r\) for any character \(\chi _1\). In [6], a character \(\chi \) such that \(\chi \ne \chi _1^r\) is called an odd character for the number *r*.

To establish the Theorem, we need to prove three things. First that *n* divides *r*. We prove this in Sect. 3. Second, the uniqueness property of the number *n*. We prove this in Sect. 4. Then in Sect. 5 we prove the condition on the character \(\chi \) when \(n\ge 3\). The basic tool in these sections is the study of Eisenstein series obtained by inducing copies of cuspidal theta representations, and their residues. There is a unipotent orbit attached to the automorphic representation generated by these residues, and we determine this. However, if any of the conditions of the Theorem are violated then this leads to a contradiction. For example, if there are two cuspidal theta representations \({\Theta }_{m,\chi }^{(r)}\) and \({\Theta }_{n,\chi }^{(r)}\) attached to the same character \(\chi \) with \(m<n\), a suitable Eisenstein series obtained by mixing them in the inducing data has a residue. The Fourier coefficient of this residue attached to its unipotent orbit can be analyzed in two different ways, with contradictory vanishing properties. The contradictory properties are due to a lack of symmetry for this representation under the outer automorphism of the Dynkin diagram, which takes the relevant parabolic used in making the induction to its associated parabolic, in terms of the constant terms that it supports.

*S*is a set of places, including the archimedean places, such that outside of

*S*all data is unramified. Finally, \(L^S\) is the partial

*L*-function interpreted as in [3], and \(Z_S(\chi ,s)\) is a product of local integrals defined on the places in

*S*.

Now from the definition of the partial *L*-function, it follows that this term contributes a finite product of partial zeta functions to the right-hand-side of (1). Hence for suitable *s* the term \(L^S\left( rs- \frac{r-1}{2},\chi ^{-1}\otimes \Theta _{m,\chi }^{(r)}\right) \) has a simple pole. Since the integrals involved in \(Z_S(\chi ,s)\) are all Whittaker type integrals, it is not hard to prove that given any complex number *s*, there is a choice of data such that \(Z_S(\chi ,s)\) is not zero at *s*. Hence, for suitable *s* and suitable data, the right hand side of (1) has a simple pole. But the left hand side of (1) is holomorphic for all *s* since \({\Theta }_{r,\chi }^{(r)}\) is cuspidal. This is a contradiction, and hence for all \(m<r\) the group \(GL_m^{(r)}({\mathbb {A}})\) has no cuspidal theta representation associated with \(\chi \). Moreover, if \(\chi =\chi _1^r\) for some character \(\chi _1\), then for any \(m<r\), we can consider the theta representation \({\Theta }_{m,\chi }^{(r)}\) as constructed in [12]. Since the left-hand side of (1) still represents a holomorphic function even if \({\Theta }_{m,\chi }^{(r)}\) is not cuspidal while the right-hand side has a pole, we once again derive a contradiction. Hence \(\chi \ne \chi _1^r\).

We thank Erez Lapid for helpful conversations.

## 2 Residues of Eisenstein series

*l*natural numbers \(n_1\ge n_2\ge \cdots \ge n_l>0\), let \({\Theta }_{n_i,\chi }^{(r)}\) denote theta representations attached to a fixed character \(\chi \). Let \(k=n_1+\cdots +n_l\), so \(\lambda :=(n_1,n_2,\ldots ,n_l)\) is a partition of

*k*. Let \(P_{n_1,\ldots ,n_l}\) be the standard parabolic subgroup of \(GL_k\) whose Levi part \(M_{n_1,\ldots ,n_l}\) is \(GL_{n_1}\times \cdots \times GL_{n_l}\) embedded diagonally

*S*that they generate is thus isomorphic to the fibered direct product of the \(GL^{(r)}_{n_j,0}(\mathbb {A})\) over \(\mu _r\). Accordingly, one first restricts each representation \(\Theta _{n_i,\chi }^{(r)}|\text {det}(\cdot )|^{s_i}\) to \(GL_{n_i,0}^{(r)}(\mathbb {A})\), and takes the usual tensor product to obtain a genuine representation of

*S*. One may then proceed to extend this representation to \(M^{(r)}_{n_1,\ldots ,n_l}(\mathbb {A})\), either by extending functions by zero (as in Suzuki [16], Section 8), by inducing to \(M^{(r)}_{n_1,\ldots ,n_l}(\mathbb {A})\) (as in Brubaker and Friedberg [2], though that paper is written in the language of

*S*-integers as a substitute for the adeles), or by first extending to a larger subgroup of \(M^{(r)}_{n_1,\ldots ,n_l}(\mathbb {A})\), under certain hypotheses, and then inducing from that subgroup to \(M^{(r)}_{n_1,\ldots ,n_l}(\mathbb {A})\) (as in Takeda [17]). Our main computations will take place in the subgroup generated by

*S*and by unipotent subgroups, which split via the trivial section \(u\mapsto (u,1)\), hence any of these (slightly different) foundations are sufficient for the arguments given here. We will sometimes abuse the notation (as we already did in the case of induction from the Borel subgroup) and describe \(E_{\lambda ,\chi }^{(r)}(g,{\mathbf s})\) as the Eisenstein series attached to the induced representation

*i*which is described in Sect. 1. Indeed, by Definition 1, the unramified constituent at a place \(\nu \) of the representation \({\Theta }_{n_i,\chi }^{(r)}\) is a quotient of \(\text {Ind}_{B_{n_i}^{(r)}(F_\nu )}^{GL_{n_i}^{(r)}(F_\nu )}\chi _\nu ^{\frac{1}{r}} \delta _{B_{n_i}}^{\frac{r+1}{2r}}\), where \(\chi =\prod _\nu \chi _\nu \). This means that the unramified constituent of the induced representation (2) is an induced representation of the form \(\text {Ind}_{B_k^{(r)}(F_\nu )}^{GL_k^{(r)}(F_\nu )}\chi _\nu ^{\frac{1}{r}} \mu _{{\mathbf s}}\) where \(\mu _{{\mathbf s}}\) is a genuine character of the group \(Z\left( T^{(r)}_k(F_\nu )\right) \) defined as follows. Let \(t=\text {diag}(A_1,\ldots , A_l)\) where each \(A_i\) is a diagonal matrix in \(GL_{n_i}(F_\nu )\) which consists of

*r*-th powers. Let \(\tilde{t}=(t,\zeta )\in Z\left( T^{(r)}_k(F_\nu )\right) \). Then we define

We remark that the existence of this pole does not depend on whether some of the representations \({\Theta }_{n_i,\chi }^{(r)}\) are cuspidal or not. A similar construction with all of the representations being cuspidal was studied by Suzuki [16], Sections 8 and 9. In that reference, the author also assumes that the Shimura lifts of the cuspidal representations in question are also cuspidal. In our case this does not happen, but the argument about the existence of the pole is the same.

Let \({\mathcal L}_{k,\lambda ,\chi }^{(r)}\) denote the residue representation of the above Eisenstein series at the above point. Then the construction of the representation \({\mathcal L}_{k,\lambda ,\chi }^{(r)}\) is inductive in the following sense. For \(1\le j\le l\) let \(\lambda _j\) be a partition of \(n_j\). Form the representations \({\mathcal L}_{n_j,\lambda _j,\chi }^{(r)}\). Then we can form the Eisenstein series attached to the representations \((\eta _{{\mathbf s}}{\mathcal L}_{n_1,\lambda _1,\chi }^{(r)}, \eta _{{\mathbf s}}{\mathcal L}_{n_2,\lambda _2,\chi }^{(r)},\ldots , \eta _{{\mathbf s}}{\mathcal L}_{n_l,\lambda _l,\chi }^{(r)}) \) where \(\eta _{{\mathbf s}}\) is an unramified character of \(P_{n_1,\ldots ,n_l}\). We shall denote this Eisenstein series by \(E_{\lambda _1,\ldots ,\lambda _l,\chi }^{(r)}(g,{\mathbf s})\). As in the above, and also as in Sect. 1, we deduce that this Eisenstein series has a simple pole at \(\eta _{{\mathbf s}}= \delta _{P_{n_1,\ldots ,n_l}}^{\frac{r+1}{2r}}\), and the representation generated by the residues is \({\mathcal L}_{k,\lambda ,\chi }^{(r)}\).

## 3 The divisibility condition

Suppose that \({\Theta }_{n,\chi }^{(r)}\) is a cuspidal theta representation defined on \(GL_n^{(r)}({\mathbb {A}})\) and that *n* does *not* divide *r*. We shall derive a contradiction. First, we construct the residue representation \({\mathcal L}_{nl,\lambda ,\chi }^{(r)}\) on \(GL_{nl}^{(r)}({\mathbb {A}})\) where *l* is a natural number and \(\lambda =(n^l)\). For convenience we sometimes omit \(\lambda \) from the notation, writing \({\mathcal L}_{nl,\chi }^{(r)}\) instead of \({\mathcal L}_{nl,\lambda ,\chi }^{(r)}\). Thus \({\mathcal L}_{n,\chi }^{(r)}={\Theta }_{n,\chi }^{(r)}\).

*U*is any unipotent subgroup of

*H*, we write \(\varphi ^U\) for the constant term of \(\varphi \) along

*U*

We start with the following

### Proposition 1

*m*, \(1\le m<l\), let \(P=P_{(l-m)n, \,mn}\) and \(U=U_{(l-m)n, \,mn}\).

- (i)Let \(\varphi _{nl,\chi }^{(r)}\) be a function in the space of \({\mathcal L}_{nl,\chi }^{(r)}\). Then there are functions \(\varphi _{(l-m)n,\chi }^{(r)}\) in the space of \({\mathcal L}_{(l-m)n,\chi }^{(r)}\) and \(\varphi _{mn,\chi }^{(r)}\) in the space of \({\mathcal L}_{mn,\chi }^{(r)}\) such thatfor all unipotent elements \(v_1\in GL_{(l-m)n}(\mathbb {A})\) and \(v_2\in GL_{mn}(\mathbb {A})\) and all$$\begin{aligned} {(\varphi _{nl,\chi }^{(r)}})^U(t(v_1,v_2))=\delta _{P}^{\frac{r-1}{2r}}(t) \varphi _{(l-m)n,\chi }^{(r)}(v_1)\,\varphi _{mn,\chi }^{(r)}(v_2) \end{aligned}$$(3)
*t*which are*r*-th powers and in the center of the Levi subgroup of*P*. - (ii)Let \(V_1\) (resp. \(V_2)\) be the group of upper triangular unipotent elements in \(GL_{(l-m)n}(\mathbb {A})\) (resp. \(GL_{mn}(\mathbb {A})\)), and for \(i=1,2\), let \(\psi _{V_i}\) be characters of \(V_i(F)\backslash V_i({\mathbb {A}})\). Then the integralis zero for all \(\varphi _{nl,\chi }^{(r)}\) in the space of \({\mathcal L}_{nl,\chi }^{(r)}\) if \((\varphi _{(l-m)n,\chi }^{(r)})^{V_1,\psi _{V_1}}\) or \((\varphi _{mn,\chi }^{(r)})^{V_2,\psi _{V_2}}\) is zero for all functions \(\varphi _{(l-m)n,\chi }^{(r)}\) in the space of \({\mathcal L}_{(l-m)n,\chi }^{(r)}\) or all \(\varphi _{mn,\chi }^{(r)}\) in the space of \({\mathcal L}_{mn,\chi }^{(r)}\).$$\begin{aligned} \int \limits _{V_1(F)\backslash V_1({\mathbb {A}})}\int \limits _{V_2(F)\backslash V_2({\mathbb {A}})}{(\varphi _{nl,\chi }^{(r)}})^U((v_1,v_2))\,\psi _{V_1}(v_1)\,\psi _{V_2}(v_2)\,dv_1\,dv_2 \end{aligned}$$

When \(r=1\) and \({\Theta }_{n,\chi }^{(r)}\) is a cuspidal representation of \(GL_n({\mathbb {A}})\), a similar statement is given in Offen-Sayag [14], Lemma 2.4 and Jiang-Liu [11], Lemma 4.2.

### Proof

*t*follows since \({\mathcal L}_{nl,\chi }^{(r)}\) is a sub-representation of the induced representation

We next give an application of Proposition 1.

### Lemma 1

The representation \({\mathcal L}_{nl,\chi }^{(r)}\) is square integrable.

### Proof

We use Jacquet’s criterion as stated in [13], the Lemma in I.4.11. Note that \({\mathcal L}_{nl,\chi }^{(r)}\) consists of automorphic forms so the Lemma there is applicable. Let *U* denote a unipotent radical of a maximal parabolic subgroup *P* of \(GL_{nl}\). Let \(U_{n,\ldots , n}^-=\widetilde{w}U_{n,\ldots , n}\widetilde{w}^{-1}\). Here \(\widetilde{w}\) is the longest Weyl element in \(GL_{nl}\).

*U*is such that there is no Weyl element

*w*of \(GL_k\) such that \(wUw^{-1}\subset U_{n,\ldots , n}^-\). Then a standard unfolding argument implies that the constant term

On the other hand, if \(U=U_{(l-m)n,mn}\) for some *m*, then it follows from Proposition 1, part (i), that for all *t* in the center of \(P=P_{(l-m)n, \,mn}\) we obtain the exponent \(\delta _P^{\frac{r-1}{2r}}=\delta _P^{\frac{-1}{2r}}\delta _B^{\frac{1}{2}}\). Here *B* is the Borel subgroup of \(GL_{ln}\). Lemma 1 follows. \(\square \)

The above Proposition and Lemma can be extended to the general case. That is, both statements hold for the representation \({\mathcal L}_{k,\lambda ,\chi }^{(r)}\) as well.

Since we are in the case \(r\ge n\), the representation \({\mathcal L}_{n,\chi }^{(r)}={\Theta }_{n,\chi }^{(r)}\) is clearly generic. On the other hand if *l* is chosen so that \(nl>r\), then \({\mathcal L}_{nl,\chi }^{(r)}\) is not generic. Hence, there is a minimal natural number, which we denote by *a*, such that \({\mathcal L}_{an,\chi }^{(r)}\) is generic, but \({\mathcal L}_{(a+1)n,\chi }^{(r)}\) is not. Notice that since *n* does not divide *r* then \(an<r\). Let *b* be the smallest natural number so that \(abn>r\).

For the proof of the next Proposition we need to modify our construction. Let \({\mathcal E}_{an,\chi }^{(r)}\) denote an irreducible generic summand of the representation \({\mathcal L}_{an,\chi }^{(r)}\). The existence of such a summand follows from Lemma 1 and from the assumption that \({\mathcal L}_{an,\chi }^{(r)}\) is generic. Forming the Eisenstein series on \(GL_{nl}^{(r)}({\mathbb {A}})\) attached to \(({\mathcal E}_{an,\chi }^{(r)},{\mathcal E}_{an,\chi }^{(r)},\ldots ,{\mathcal E}_{an,\chi }^{(r)})\eta _{{\mathbf s}}\) then it follows as in the previous section that this series has a simple pole at the point \(\eta _{{\mathbf s}}=\delta _{P_{n,\ldots ,n}}^{\frac{r+1}{2r}}\). Denote the residue representation by \({\mathcal E}_{abn,\chi }^{(r)}\). It is clear from this construction that Proposition 1 holds if we replace the representation \({\mathcal L}_{ln,\chi }^{(r)}\) with the representation \({\mathcal E}_{ln,\chi }^{(r)}\).

Given an automorphic representation \(\pi \) defined on a reductive group \(H({\mathbb {A}})\), let \({\mathcal O}(\pi )\) be its set of unipotent orbits as defined in Ginzburg [9] (For information about unipotent orbits see Collingwood and McGovern [5]). A unipotent orbit \({\mathcal O}\) is in the set \({\mathcal O}(\pi )\) if first, \(\pi \) has no nonzero Fourier coefficients attached to any unipotent orbit which is greater than \({\mathcal O}\) and second, \(\pi \) has a nonzero Fourier coefficient corresponding to the unipotent orbit \({\mathcal O}\). Since unipotent groups split in any covering group, this definition extends without change to representations of metaplectic groups. Moreover, for the general linear group the unipotent orbits are parametrized by partitions, a manifestation of the Jordan decomposition. If \(\mathcal {O}(\pi )\) consists of a single unipotent orbit parametrized by a partition \(\lambda \) we write \(\mathcal {O}(\pi )=\lambda \). In our case, we have:

### Proposition 2

If \(n\not \mid r\), then \({\mathcal O}\left( {\mathcal E}_{abn,\chi }^{(r)}\right) =\left( (an)^b\right) \).

### Proof

This proof is similar to Jiang and Liu [11]; see also the proof of Proposition 5.3 in Ginzburg [9].

We need to prove two things. First, let \({\mathcal O}=(n_1n_2\ldots n_r)\) be a partition of *abn*. Assume that this partition is greater than or is not related to the partition \(\left( (an)^b\right) \). Then we need to prove that any Fourier coefficient of \({\mathcal E}_{abn,\chi }^{(r)}\) associated with this partition is zero. As explained in [9] at the beginning of the proof of Proposition 5.3, it is enough to prove that the functions in \({\mathcal E}_{abn,\chi }^{(r)}\) have no nonzero Fourier coefficients associated with the partitions \((m1^{abn-m})\) for all \(m>an\).

*m*is even. The case that

*m*is odd is similar and will be omitted. If

*m*is even, then the Fourier coefficient associated with the unipotent orbit \((m1^{abn-m})\) is given as follows. Let \(P_m\) denote the parabolic subgroup of \(GL_{abn}\) whose Levi part is \(GL_1^m\times GL_{abn-m}\). We embed the Levi part in \(GL_{abn}\) as all matrices of the form \(\text {diag}(a_1,\ldots ,a_{m/2},h,b_1,\ldots ,b_{m/2})\), with \(a_i, b_i\in GL_1\), \(h\in GL_{abn-m}\). Let \(V_m^0\) denote the unipotent radical of \(P_m\), and \(V_m\) denote the subgroup of \(V_m^0\) which consists of all matrices \(v=(v_{i,j})\) such that \(v_{i,abn-\frac{m}{2}+1}=0\) for all \(\frac{m}{2}+1\le i\le abn-\frac{m}{2}\). Let \(\psi _{V_m}\) denote the character of \(V_m\) defined as follows. For \(v=(v_{i,j})\in V_m\) set

*i*and define

*i*, then the integral (5) is the Whittaker coefficient of \(E_{abn,\chi }^{(r)}\) which is zero. If instead \(\alpha _i=0\) for some

*i*, let \(k\ge m\) be the first integer such that \(\alpha _i=1\) for all \(m\le i\le k\) and \(\alpha _{k+1}=0\). If \(k\ne np\) for some natural number

*p*, then the corresponding integral (5) is zero. Indeed, since \({\Theta }_{n,\chi }^{(r)}\) is a cuspidal representation, the constant term \(E_{abn,\chi }^{(r),U}(g,s)\) is zero if

*U*is not equal to \(U_{(ab-l)n,ln}\) for some

*l*. (Note that it is precisely at this point in the argument that we use the cuspidality hypothesis.) On the other hand, if \(k=np\), then it follows from Proposition 1 that integral (5) is zero if the residue representation \({\mathcal E}_{np,\chi }^{(r)}\) is not generic. But since \(np=k\ge m>an\), it follows from the definition of

*a*that \({\mathcal E}_{np,\chi }^{(r)}\) is indeed not generic. This completes the proof that \({\mathcal E}_{abn,\chi }^{(r)}\) has no nonzero Fourier coefficient corresponding to any unipotent orbit which greater than or not related to \(\left( (an)^b\right) \).

*p*times and each \(X_{i,j}\) a matrix of size

*k*. The group

*V*in the integral (6) is the group \(V_{k,p}\) with \(k=b\) and \(p=an\). Also, define a character \(\psi _{V_{k,p}}\) on \(V_{k,p}\) by \(\psi _{V_{k,p}}(v)=\psi (\text {tr} (X_{1,2}+X_{2,3}+\cdots +X_{p-1,p}))\). Then the character \(\psi _V\) in (6) is \(\psi _{V_{b,an}}\).

*b*times. This group is embedded in \(GL_{anb}\) as \((u_1,\ldots ,u_b)\mapsto \text {diag}(u_1,\ldots ,u_b)\). Let \(\psi _{U'}\) be the character given by

*a*. \(\square \)

We can now prove the first part of Theorem 1.

### Proposition 3

Let \(n\le r\) be a natural number, and suppose there exists a cuspidal theta representation \({\Theta }_{n,\chi }^{(r)}\) on \(GL_n^{(r)}({\mathbb {A}})\). Then *n* divides *r*.

### Proof

Suppose instead that *n* does not divide *r*. Construct the representation \({\mathcal E}_{abn,\chi }^{(r)}\) on the group \(GL_{abn}^{(r)}({\mathbb {A}})\) as above. It follows from Proposition 2 that \({\mathcal O}\left( {\mathcal E}_{abn,\chi }^{(r)}\right) \,=\,\left( (an)^b\right) \). Let \(E_{abn,\chi }^{(r)}\) be a vector in the space of \({\mathcal E}_{abn,\chi }^{(r)}\). Then the Fourier coefficient of \(E_{abn,\chi }^{(r)}\) with respect to the orbit \(\left( (an)^b\right) \) is given by the integral (6) above.

Since \(an<r\) and \(b\ge 2\), the Fourier coefficient (6) defines a genuine automorphic function on some covering group of \(GL_b({\mathbb {A}})\) of degree greater than one. Hence *f*(*h*) cannot be the constant function. Note that at this step we are using the hypothesis that *n* does not divide *r*. Indeed, this assumption implies that \(an\ne r\). By contrast, if \(an=r\), then it might happen that the above embedding of the group \(GL_b\) splits under the *r*-fold cover, and we would not be able to assert that *f*(*h*) is not constant.

*f*(

*h*) as above. Since a non-constant automorphic function cannot equal a constant term along any unipotent subgroup, it follows that the integral

*f*in \(\sigma \) (here and below \(e_{i,j}\) denotes the (

*i*,

*j*)th elementary matrix). Using this nonvanishing, we will show that the representation \({\mathcal E}_{abn,\chi }^{(r)}\) has a nonzero Fourier coefficient corresponding to the unipotent orbit \(((an+1)(an)^{b-2}(an-1))\).

*Z*be the unipotent subgroup of \(GL_{abn}\) generated by all \(Z_i\) with \(0\le i\le an-1\), and let

*Y*be the unipotent subgroup of \(GL_{abn}\) generated by the \(Y_i\), \(0\le i\le an-1\), together with the one dimensional unipotent subgroup

*x*(

*l*) defined in (9).

*Y*and all the one-parameter unipotent subgroups \(\{x_\alpha (t)\}\), \(\alpha \) a positive root, that are in

*V*but not in

*Z*. The character \(\psi _{V_1}\) matches \(\psi _{V}\) on the one-parameter subgroups \(\{x_\alpha (t)\}\) in

*V*that are not in

*Z*and is \(\psi (y_{1,b})\) on \(Y(\mathbb {A})\).

To conclude the proof, we note that the inner integration over \(V_1\) in (10) is a Fourier coefficient corresponding to the unipotent orbit \(((an+1)(an)^{b-2}(an-1))\). Since it is not zero this contradicts Proposition 2. \(\square \)

## 4 The uniqueness property

In this section we prove the uniqueness property given in Theorem 1. To do so, suppose that there are two natural numbers, *n* and *m*, \(m<n\), with cuspidal theta representations \({\Theta }_{n,\chi }^{(r)}\) and \({\Theta }_{m,\chi }^{(r)}\) attached to the same character \(\chi \). We shall derive a contradiction.

*n*divides

*r*, and hence, using [12], we have \(an\le r\). Choose the smallest integer \(b\ge 1\) such that \(abn+m>r\). Construct the residue representation \({\mathcal E}_{abn+m,\chi }^{(r)}\) as in Sect. 2. This representation is the residue of the Eisenstein series on \(GL_{nl+m}^{(r)}({\mathbb {A}})\) attached to the induced representation

The following Lemma is standard.

### Lemma 2

Let *U* denote the unipotent radical of a maximal parabolic subgroup of \(GL_{abn+m}\). If there is no Weyl element *w* in \(GL_{abn+m}\) such that \(wUw^{-1}\) is a subgroup of \(U_{n,\ldots ,n,m}^-\), then the constant term \(E_{abn+m,\chi }^{(r),U}(g)\) is zero for all choices of data.

With this we have the following analogue of Proposition 1.

### Proposition 4

*U*denote the unipotent radical of the maximal parabolic subgroup of \(GL_{abn+m}\) whose Levi part is \(GL_{r_1}\times GL_{r_2}\) with \(r_1=m+kn\) and \(r_2=(ab-k)n\) for some \(k\ge 0\). Suppose that \(wUw^{-1}\) is a subgroup of \(U_{n,\ldots ,n,m}^-\) for some Weyl element

*w*. Let \(E_{abn+m,\chi }^{(r)}\) be a vector in the space of \({\mathcal E}_{abn+m,\chi }^{(r)}\). Then for \(i=1,2\) there exist \(E_{r_i,\chi }^{(r)}\) in the space of \({\mathcal E}_{r_i,\chi }^{(r)}\) such that

With these properties we can prove

### Proposition 5

Under the hypotheses of this section, \({\mathcal O}\left( {\mathcal E}_{abn+m,\chi }^{(r)}\right) =\left( (an)^bm\right) \).

### Proof

There are two things to establish. The first is the vanishing property of the Fourier coefficients with respect to orbits that are greater than or incomparable with \(\left( (an)^bm\right) \). This vanishing is established similarly to the proof of Proposition 2 above. We omit the details.

The second part of the assertion is the nonvanishing of a Fourier coefficient attached to the partition \(\left( (an)^bm\right) \). We now describe such a coefficient. The description depends on the parity relation between *an* and *m*. We shall give the details in the case where both numbers are odd. The other cases are similar.

*V*denote the unipotent subgroup of \(GL_{abn+m}\) consisting of all matrices of the form

*b*times. This group is embedded inside \(GL_{anb+m}\) as \((u_0,u_1,\ldots ,u_b)\mapsto \text {diag}(u_0,u_1,\ldots ,u_b)\). The character \(\psi _{U'}\) is given by

*Y*is the upper triangular unipotent group defined by \(Y=\nu _1V\nu _1^{-1}\cap U_{m,an,\ldots ,an}\). The group

*Z*is the lower triangular unipotent group consisting of all elements \(v\in V\) such that \(\nu _1v\nu _1^{-1}\in U_{m,an,\ldots ,an}^-\) where the group \(U_{m,an,\ldots ,an}^-\) is the transpose of the unipotent group \(U_{m,an,\ldots ,an}\). Another way of characterizing these groups is by means of the torus \(\{h(t)\}\). The group

*Y*is generated by the matrices \(y_{i,j}(k)=I_{abn+m}+ke_{i,j}\in U_{m,an,\ldots ,an}\) such that \(h(t)y_{i,j}(k)h(t)^{-1}=y_{i,j}(t^\ell k)\) for some \(\ell >0\). Similarly, the group

*Z*is generated by all matrices \(z_{i,j}(k)=I_{abn+m}+ke_{i,j}\in U_{m,an,\ldots ,an}^-\) such that \(h(t)z_{i,j}(k)h(t)^{-1}=z_{i,j}(t^\ell k)\) for some \(\ell >0\).

The next step is to perform certain Fourier expansions on the integral (12), using root exchange (as in Ginzburg–Rallis–Soudry [10], Section 7.1) and the vanishing of the Fourier coefficients of the representation \({\mathcal E}_{abn+m,\chi }^{(r)}\) corresponding to unipotent orbits which are greater than or not comparable to \(\left( (an)^bm\right) \). This process is fairly standard—see for example the proof of Ginzburg–Rallis–Soudry [8], Lemma 2.4—and so we only sketch the ideas. View \(U_{m,an,\ldots ,an}\) as the group of matrices generated by \(u_{i,j}(k)=I_{abn+m}+ke_{i,j}\). Similarly for the groups *Y* and *Z*. Consider the subgroup \(u_{an+m-1,abn+m}(k)\). Since \(h(t)u_{an+m-1,abn+m}(k)h(t)^{-1}= u_{an+m-1,abn+m}(k)\), this one dimensional unipotent group is not in *Y*. Similarly, conjugating by *h*(*t*) we deduce that \(u_{i,abn+m}(k)\) is in *Y* for all \(1\le i\le an+m-2\), and that \(z_{abn+m-1,an+m-1}(k)\) is in *Z*. We may continue this process, going from the last to the first column in \(U_{m,an,\ldots ,an}\). When we encounter a unipotent group of the form \(u_{i,j}(k)\) in \(U_{m,an,\ldots ,an}\) which is not in *Y* we look for a suitable unipotent subgroup of *Z*. If such a subgroup exists, we perform a root exchange. If not, we check that the Fourier coefficient obtained corresponds to a unipotent orbit which is greater than or not related to \(\left( (an)^bm\right) \). This implies that all non-trivial characters of the expansion contribute zero, and we are left with only the trivial character.

*a*that the second integral (15) is also nonzero for some choice of data. \(\square \)

With the above we can now prove

### Proposition 6

Fix *r* and \(\chi \). Then there is at most one natural number *n* such that a cuspidal theta representation \({\Theta }_{n,\chi }^{(r)}\) exists.

### Proof

*w*such that \(wU_{abn,m}w^{-1}\) is contained in \(U_{n,\ldots ,n,m}^-\). Hence, by Lemma 2 we obtain that the integral (16) is zero for all choices of data. This is a contradiction. \(\square \)

## 5 The condition on the character \(\chi \)

Let \(n\ge 3\). Suppose that \(\Theta _{n,\chi }^{(r)}\) is a cuspidal theta representation and \(\chi =\chi _1^r\) for some character \(\chi _1\). We shall derive a contradiction. The idea is similar to the one we used in Sect. 4.

Similarly to [12], we may construct the theta representation \(\Theta _{2,\chi }^{(r)}\) by means of a residue of an Eisenstein series. This is possible since \(\chi =\chi _1^r\). This representation has a nonzero constant term and so is not cuspidal. Define *a* and *b* as in Sect. 4 above and let *m* defined in that section equal 2 in the present case. Then construct the residue representation \({\mathcal E}_{abn+m,\chi }^{(r)}={\mathcal E}_{abn+2,\chi }^{(r)}\) as above. Although the representation \(\Theta _{2,\chi }^{(r)}\) is not cuspidal, most of the results stated in Sect. 4 go through with small adaptations. In particular, we have

### Proposition 7

Under the hypotheses of this section, \({\mathcal O}({\mathcal E}_{abn+m,\chi }^{(r)})=\left( (an)^b2\right) \).

*w*in \(GL_{abn+2}\) such that \(wU_{abn,2}w^{-1}\) is contained in \(U^-_{an,\ldots ,an,2}\). The vanishing of this constant term then follows as in Lemma 2. However, this is a contradiction, and the result follows.

## 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.

### Acknowledgements

This work was supported by the US-Israel Binational Science Foundation, Grant Number 2012019, and by the National Security Agency, Grant Number H98230-13-1-0246 and the National Science Foundation, Grant Number 1500977 (Friedberg).

### Competing interests

The authors declare that they have no competing interests.

## Authors’ Affiliations

## References

- Banks, W.D., Levy, J., Sepanski, M.R.: Block-compatible metaplectic cocycles. J. Reine. Angew. Math.
**507**, 131–163 (1999)MathSciNetView ArticleMATHGoogle Scholar - Brubaker, B., Friedberg, S.: Whittaker coefficients of metaplectic Eisenstein series. Geom. Funct. Anal.
**25**(4), 1180–1239 (2015)MathSciNetView ArticleMATHGoogle Scholar - Bump, D., Friedberg, S.: Metaplectic generating functions and Shimura integrals. Automorphic forms, automorphic representations, and arithmetic (Fort Worth 1996), pp. 1–17. In: Proc. Sympos. Pure Math., 66, Part 2. Amer. Math. Soc., Providence (1999)Google Scholar
- Bump, D., Friedberg, S., Ginzburg, D.: A Rankin-Selberg integral using the automorphic minimal representation of \(SO(7)\). J. Ramanujan. Math. Soc.
**15**(2), 81–124 (2000)MathSciNetMATHGoogle Scholar - Collingwood, D.H., McGovern, W.M.: Nilpotent orbits in semisimple Lie algebras. Van Nostrand Reinhold mathematics series. Van Nostrand Reinhold Co., New York (1993)Google Scholar
- Flicker, Y.Z.: Automorphic forms on groups of GL(2). Invent. Math.
**57**(2), 119–182 (1980)MathSciNetView ArticleMATHGoogle Scholar - Gelbart, S., Piatetski-Shapiro, I.I.: Distinguished representations and modular forms of half-integral weight. Invent. Math.
**59**(2), 145–188 (1980)MathSciNetView ArticleMATHGoogle Scholar - Ginzburg, D., Rallis, S., Soudry, D.: On Fourier coefficients of automorphic forms of symplectic groups. Manuscr. Math.
**111**(1), 1–16 (2003)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., Rallis, S., Soudry, D.: The descent map from automorphic representations of \(GL(n)\) to classical groups. World Scientific Publishing Co. Pte. Ltd., Hackensack (2011)View ArticleMATHGoogle Scholar
- Jiang, D., Liu, B.: On Fourier coefficients of automorphic forms of GL(n). Int. Math. Res. Not.
**2013**(17), 4029–4071 (2013)MathSciNetMATHGoogle Scholar - Kazhdan, D.A., Patterson, S.J.: Metaplectic forms. Inst. Hautes. Études. Sci. Publ. Math.
**59**, 35–142 (1984)MathSciNetView ArticleMATHGoogle Scholar - Mœglin, C., Waldspurger, J.-L.: Spectral decomposition and Eisenstein series. Une paraphrase de l’Écriture [A paraphrase of scripture], Cambridge tracts in mathematics. Cambridge University Press, Cambridge (1995)View ArticleGoogle Scholar
- Offen, O., Sayag, E.: Global mixed periods and local Klyachko models for the general linear group. Int. Math. Res. Not.
**2008**(1), rnm 136 (2008)MathSciNetMATHGoogle Scholar - Patterson, S.J., Piatetski-Shapiro, I.I.: A cubic analogue of the cuspidal theta representations. J. Math. Pures Appl.
**63**(3), 333–375 (1984)MathSciNetMATHGoogle Scholar - Suzuki, T.: Distinguished representations of metaplectic groups. Am. J. Math.
**120**(4), 723–755 (1998)MathSciNetView ArticleMATHGoogle Scholar - Takeda, S.: Metaplectic tensor products for automorphic representations of \(\widetilde{GL}(r)\). Can. J. Math.
**68**(1), 179–240 (2016)MathSciNetView ArticleMATHGoogle Scholar - Wang, C.-J.: On the existence of cuspidal distinguished representations of metaplectic groups. Thesis (Ph.D.), The Ohio State University, Columbus. ProQuest LLC, Ann Arbor. (2003). ISBN: 978-0496-71713-2Google Scholar