Introduction
Let F be a p-adic field. We have two parametrizations of the isomorphism classes of the discrete series representations of
$\operatorname { {GL}}_n(F)$
, the local Jacquet-Langlands correspondence and the local Langlands correspondence. If we fix an inner form
$\operatorname { {GL}}_m(D)$
of
$\operatorname { {GL}}_n(F)$
, the former associates each discrete series representation of
$\operatorname { {GL}}_n(F)$
with a discrete series representation of the inner form in such a way that a certain character relation holds (see [Reference Deligne, Kazhdan and Vigneras8, Reference Rogawski21]). The latter is a Galois-theoretic parametrization which associates each discrete series representation of
$\operatorname { {GL}}_n(F)$
with a discrete Langlands parameter, that is, an irreducible n-dimensional representation of the Weil-Deligne group
$W_F \times \operatorname { {SL}}_2(\mathbb {C})$
, where
$W_F$
is the Weil group of F. These two correspondences preserve the notion of contragredient representations and hence preserve the notion of self-duality. An irreducible self-dual representation
$\pi $
is an orthogonal or a symplectic representation, and the parity
$c(\pi )$
is defined to be
$1$
if it is orthogonal and to be
$-1$
otherwise. Hence, there arises a natural question, whether the composite of these correspondences preserves the parity or not.
Prasad and Ramakrishnan [Reference Prasad and Ramakrishnan19] have proved a precise result below by using a globalizing method.
Theorem 0.1 [Reference Prasad and Ramakrishnan19, Theorem A].
Let D be a central division algebra over F of rank d, G be
$\operatorname { {GL}}_m(D)$
, and
$\pi $
be a discrete series representation of G. Let
$\sigma $
denote its Langlands parameter. Then there exists a parity relation
$$ \begin{align*}(-1)^{md} c(\pi)= (-1)^m c(\sigma)^m .\end{align*} $$
In particular, the parity inversion occurs if G is the unit group of a division algebra of even rank.
One can consider its conjugate self-dual analog if one can define a Galois involution on the set of isomorphism classes of irreducible representations of
$\operatorname { {GL}}_m(D)$
. Mieda [Reference Mieda15] has formulated and proved a special case of this variant by constructing the involution explicitly. We state here the unramified quadratic case of his result in detail.
Let
$E/F$
be an unramified quadratic extension and D be a central division algebra over E whose Hasse invariant is
$1/n$
. In this case, we can write D in the form
$E_n[\Pi ]$
, where
$E_n$
is the unramified extension of the p-adic field E of degree n, and
$\Pi $
is a prime element of D, such that
$\Pi ^n$
is equal to a uniformizer of F. We define the automorphism
$\tau $
of D by declaring that it fixes
$\Pi $
and it coincides with the Frobenius map over F on
$E_n = F_{2n}$
, where
$F_{2n}$
is the degree
$2n$
unramified extension of F.
In this situation, we define that a smooth irreducible representation
$(\pi , V)$
of G is said to be conjugate self-dual if we have
$\pi ^{\tau } \cong \pi ^{\vee }$
, where
$\pi ^{\tau }(g) = \pi (\tau (g))$
and
$\pi ^{\vee }$
is the contragredient representation of
$\pi $
. In addition, we have the notion of parity
$c(\pi )$
, defined in a similar way as the self-dual case (for the details, see [Reference Mieda15, Section 2.1]).
Theorem 0.2 [Reference Mieda15, Theorem 1.2].
Let
$\pi $
be a conjugate self-dual representation of
$D^{\times }$
and
$\sigma $
be its Langlands parameter. We also assume that
$\sigma $
is a supercuspidal parameter. Then we have
$$ \begin{align*}c(\pi) = (-1)^{n-1} c(\sigma).\end{align*} $$
His proof is based on p-adic geometry. Furthermore, he conjectured that this result could be extended to all the discrete series representations [Reference Mieda15, Remark 2.13]. We use the global method to generalize his result. One of the keys of the proof of Prasad and Ramakrishnan is the automorphic descent theorem for orthogonal and symplectic groups proved by Jiang and Soudry [Reference Prasad and Ramakrishnan19, Appendix]. Hence, we can consider the conjugate self-dual analog of their method if we establish the notion of self-duality in general and use the automorphic base change theorem for unitary groups by Mok [Reference Mok16]. In this paper, we will show that this idea works indeed.
To state our main theorem, we introduce some notations. Let
$E/F$
be a quadratic extension of p-adic local fields, and let D be a central division algebra of rank d over E. For simplicity, we assume that D is not split. We write the Hasse invariant of D in the form
$s/d$
, where
$0 < s < d $
and
$\gcd (s, d)=1$
. Let
$A=M_m(D)$
be a central simple algebra over E, and let
$n=md$
be its rank over E. Then, if we take the central simple algebra
$A'$
over F of rank
$2n$
whose Hasse invariant is
$s/2d$
, we have an inclusion
$\phi \colon A \to A'$
over F. Furthermore, if we put G =
$A^{\times }$
and
$G'$
=
$\operatorname { {Norm}}_{A^{\prime \times }}(A^{\times })$
, the normalizer of
$A^{\times }$
in
$A^{\prime \times }$
, we have an exact sequence
$$ \begin{align*}1 \to G \xrightarrow{\phi}{G'} \to \mathbb{Z}/2\mathbb{Z} \to 1 .\end{align*} $$
We have the notion of conjugate self-duality and parity
$c(G, G',\pi ) \in \{ \pm 1 \}$
with respect to the inner automorphism
$\operatorname { {Int}}(\tau )$
induced by
$\tau \in G' \setminus G$
. The details are given in Section 1.2. We also have the notion of conjugate self-duality and parity for inclusion of the Weil groups
$ W_E \to W_F $
. The well-definedness and the dependence on
$\tau $
of these notions are proved in Lemma 1.7 (see also Remark 5.3 on the actual dependence of the parity on our choice of
$\tau $
).
We now state our main theorem.
Theorem 0.3 (Main Theorem, see Theorem 5.2 for the complete statement).
Let
$(G, G')$
be the pair associated with A above. Let
$\pi $
be a conjugate self-dual discrete series representation of G =
$A^{\times }$
, and let
$\sigma $
denote its Langlands parameter. Then we have
$$ \begin{align*}c(G, G',\pi) = (-1)^{(n-1)ms} c(W_E, W_F, \sigma)^{ms} .\end{align*} $$
At the moment, there seem few explicit descriptions of the local Jacquet-Langlands correspondence for general noncuspidal discrete series representations, as mentioned in the introduction in [Reference Sécherre and Stevens22]. Our main theorem is valid in the case that we do not have explicit descriptions. Also, the equation depends on the number s which comes from the Hasse invariant of D, and this is a significant difference between our main theorem and the result of Prasad-Ramakrishnan.
The referee kindly informed the author, and the author checked that in the special case that we have
$m=1$
, d is odd and
$\tau ^2=1$
, the result follows from Theorem 0.2 and the proof of Theorem 1 in [Reference Prasad18, p.337, l.6].
Outline of the proof
We will follow the globalizing method used in [Reference Prasad and Ramakrishnan19] to prove their main theorem. Here, we give the method of our proof in a nutshell.
-
1. We first define the notion of conjugate self-duality, which generalizes the notion defined by Mieda [Reference Mieda15, Section 2.10]. In the literature, the only local quadratic cases are treated. To apply the global method, we need to extend the notion to quadratic extensions of both local and global fields. The extension will be done by means of the theory of central division algebras in Sections 1 and 2, especially in Construction 2.10.
This construction comes from Mieda’s construction in the unramified quadratic case. It indicates that the automorphism
$\tau $
in the setting of our main theorem is derived from the inclusion of the division algebras
$E_n[\Pi ] = D \to D'=F_{2n}[\Pi ']$
. Here,
$D'$
is the central division algebra over F of Hasse invariant
$1/2n$
and
$\Pi '$
is a prime element of
$D'$
whose square is
$\Pi $
. Indeed, the automorphism
$\tau $
above is the inner automorphism induced by
$\Pi '$
. -
2. We then introduce some global theorems by Mok and Badulescu-Jacquet-Langlands in Section 3. We use these theorems in a similar way as the globalizing method of Prasad and Ramakrishnan.
-
3. We then prove some local results in Section 4 which will be used to obtain a product formula of the parity, which is an analog of the [Reference Prasad and Ramakrishnan19, Theorem C].
We introduce some notations in order to state our product formula. Let
$L/K$
be a quadratic extension of number fields and G denote
$\mathbf {A}^{\times }(\mathbb {A}_L)$
, where
$\mathbf {A}$
is a central simple algebra over L. Furthermore, let
$\mathbf {B}$
be a central simple algebra over K which satisfies
$ \mathbf {B} \otimes _{K} L \cong M_2(\mathbf {A})$
. In this situation, we have an inclusion of K-algebras
$\mathbf {A} \to \mathbf {B}$
, and if we define
$G'$
to be
$\operatorname { {Norm}}_{\mathbf {B}^{\times }}(\mathbf {A}^{\times })(K)G$
, then we have an exact sequence
$$ \begin{align*}1 \to G \xrightarrow{\phi}{G'} \to \mathbb{Z}/2\mathbb{Z} \to 1 .\end{align*} $$
The proof of these facts will be given in Section 2.1. Hence, we obtain the notion of self-duality again.
Proposition 0.4 (Proposition 5.1).
Let
$\Pi = \bigotimes _{w} ' \Pi _{w}$
be an automorphic conjugate self-dual representation which appears in the discrete spectrum of G with a unitary central character
$\omega $
. Let also S be the set of places of K where
$\mathbf {B}$
does not split and put
$\Pi _{v} = \bigotimes _{w|v} \Pi _w$
for each place v of K. Then we have
$$ \begin{align*}\prod_{v \in S} c(G_v, G^{\prime}_v, \Pi_{v}) = 1 .\end{align*} $$
By using this product formula and by controlling the places at which
$\mathbf {B}$
splits, we can reduce the general case to the case already proved. The method of this reduction is the same as the one used in [Reference Prasad and Ramakrishnan19], and the idea is stated right after the statement of Theorem C
$loc.\ cit$
. -
4. We finally prove the main theorem by combining the globalizing results introduced in Section 3 and the product formula above.
Notations
All the underlying spaces of representations of a group are assumed to be
$\mathbb {C}$
-vector spaces in this paper. We also assume that representations of locally compact totally disconnected groups are smooth (i.e., nondegenerate).
1 A notion of conjugate self-duality
In this section, we recall a notion of conjugate self-dual representations and their parity. The notion presented here is a special case of the definition in [Reference Mieda15, Section 2.1].
1.1 Basic definitions
Definition 1.1. A pair of locally compact groups
$(G, G')$
is said to be a conjugating pair if G is an open subgroup of
$G'$
and the index
$[G:G']$
of this pair is equal to two.
Example 1.1 (Inclusion of the Weil groups associated with quadratic extensions).
We take a quadratic extension of local fields
$E/F$
and let G be the Weil group
$W_E$
of E and
$G'$
be the Weil group
$W_F$
of F. Then
$(W_E, W_F)$
is a conjugating pair (see [Reference Gan, Gross and Prasad10, Section 2]).
Example 1.2 (Component-wise conjugation).
We take a quadratic extension of local fields
$E/F$
, and let
$\operatorname { {conj}}$
be the nontrivial element of the Galois group of
$E/F$
. Furthermore, let G be
$\operatorname { {GL}}_n(E)$
and
$G'$
be the semi-direct product of G and
$\mathbb {Z}/2\mathbb {Z}$
defined by the component-wise conjugating action induced by
$\operatorname { {conj}}$
. Then,
$(G, G')$
is a conjugating pair.
Example 1.3 (Switching components).
Let E be a quadratic split étale algebra
$F \times F$
over a local field F. Then,
$\operatorname { {GL}}_n(E)$
is canonically isomorphic to
$\operatorname { {GL}}_n(F) \times \operatorname { {GL}}_n(F)$
by the product of two projections from E to F. We define an action of
$\mathbb {Z}/2\mathbb {Z}$
on
$\operatorname { {GL}}_n(E)$
by switching those two components. This action defines a conjugating pair, as in Example 1.2.
Example 1.4 (Nontrivial construction over local fields).
See [Reference Mieda15, Definition 2.10] for nontrivial constructions of conjugating pairs from division algebras over non-Archimedean local fields. We have already introduced the case of unramified quadratic extensions in our Introduction. In Construction 2.10, we generalize this construction using the theory of central simple algebras over fields.
We have the notion of conjugate self-dual representations for every conjugating pair of locally profinite groups. Let
$(G, G')$
be a conjugating pair of locally profinite groups. For an element
$\tau $
of
$G'$
, let
$\operatorname { {Int}}(\tau )$
denote the inner automorphism induced by
$\tau $
. If we take a smooth representation
$(\pi , V)$
of G, we write
$(\pi ^{\tau }, V)$
for the representation defined by
$\pi ^{\tau }(g)=\pi (\operatorname { {Int}}({\tau })(g))$
and
$\pi ^{\vee }$
for the contragredient representation of
$\pi $
.
Definition 1.2. A smooth irreducible representation
$(\pi , V)$
of G is said to be conjugate self-dual with respect to
$(G, G')$
if there exists an element
$\tau \in G' \setminus G$
, such that
$\pi ^{\tau } \cong \pi ^{\vee }$
.
Remark 1.5. If
$(\pi , V)$
is conjugate self-dual in the above sense, then
$\pi ^{\tau } \cong \pi ^{\vee }$
for
$all\ \tau \in G'\setminus G$
. In addition, the second dual
$\pi ^{\vee \vee }$
of
$\pi $
is equivalent to
$\pi $
because we have
$\tau ^2 \in G$
. Hence,
$(\pi , V)$
is an admissible representation in this case.
1.2 Parity associated with a conjugating pair
We fix
$\tau \in G'\setminus G$
for a moment, and we recall the definition of parity in [Reference Mieda15, Section 2.1]. Let
$(G, G')$
be a conjugating pair and
$(\pi , V)$
be a conjugate self-dual representation with respect to
$(G, G')$
. Then, there exists a nondegenerate bilinear pairing
$\langle \cdot , \cdot \rangle \colon V \times V \to \mathbb {C}$
satisfying
$\langle \pi (\tau (g))(x), \pi (g)(y) \rangle $
=
$\langle x, y \rangle $
for all
$x,y \in V$
and
$g \in G$
. By Schur’s lemma, such a pairing is unique up to scalar multiplication.
Since our setting is now a special case of [Reference Mieda15, Section 2.1], we can use the results proved there.
Lemma 1.6 [Reference Mieda15, Lemmas 2.1, 2.5].
Let G be a totally disconnected locally compact topological group. We fix a continuous automorphism
$\tau \colon G \to G$
of G and
$t \in G$
, such that
$$ \begin{align*} \tau^2=\operatorname{{Int}}(t), \tau(t)=t. \end{align*} $$
Let
$\pi $
be a smooth irreducible representation of G, such that
$\pi ^{\tau } \cong \pi ^{\vee }$
. We take an invariant bilinear pairing
$\langle \cdot , \cdot \rangle \colon \pi ^{\tau } \times \pi \to \mathbb {C}$
.
-
1. Then, there exists
$C_{\pi }(\tau , t) \in \pm 1$
, such that
$$ \begin{align*} \langle \pi(t)y, x \rangle = C_{\pi}(\tau, t) \langle x, y \rangle. \end{align*} $$
-
2. We take
$h \in G$
, and set
$\tau '=\operatorname { {Int}}(h) \circ \tau $
and
$t'=h\tau (h)t$
. Then, we have
$\pi ^{\tau } \cong \pi ^{\vee }$
if and only if
$\pi ^{\tau '} \cong \pi ^{\vee }$
. If this condition holds, we also have
$C_{\pi }(\tau , t)=C_{\pi }(\tau ', t')$
.
Lemma 1.7. There exists
$C(G,G',\pi ) \in \{\pm 1\}$
, such that
$$ \begin{align*}\langle \pi(\tau^2)y, x \rangle = C(G,G',\pi) \langle x, y \rangle.\end{align*} $$
It does not depend on which
$\tau \in G'\setminus G$
we take.
Proof. If we take
$\tau ^2 \in G$
as the element t, it follows from Lemma 1.6
Definition 1.3. We call the above constant
$C(G,G',\pi )$
the parity of
$\pi $
with respect to
$(G, G')$
. The representation
$\pi $
is said to be conjugate orthogonal (respectively, conjugate symplectic) if the parity is equal to
$1$
(respectively,
$-1$
).
The next lemma follows trivially from the definition of parity.
Lemma 1.8 [Reference Mieda15, Lemma 2.5].
Let
$(G, G')$
and
$(H, H')$
be conjugating pairs, and let
$\pi $
and
$\rho $
be conjugate self-dual representations of G and H, respectively. Then, the exterior tensor product
$\pi \boxtimes \rho $
is a conjugate self-dual representation of
$G \times H$
, and furthermore, the parity of
$\pi \boxtimes \rho $
is the product of the parity of
$\pi $
and
$\rho $
.
Example 1.9. If we take a conjugating pair as in Example 1.1, we obtain the notion of conjugate self-duality and parity defined in [Reference Gan, Gross and Prasad10, Section 2]. Similarly, if we take such a pair as in Example 1.2, we obtain the usual notion of conjugate self-duality and parity.
Remark 1.10. We also treat conjugate self-dual representations of Archimedean groups (strictly speaking,
$(\mathfrak {g},K)$
-modules) in this paper. The definition above is easily extended to the Archimedean case, that is, the case where G and
$G'$
are reductive Lie groups, by applying Dixmier’s lemma instead of Schur’s lemma.
2 Central simple algebra settings
2.1 A construction of conjugating pairs
In this section, we construct conjugating pairs from quadratic extensions of fields and central simple algebras over those fields. As we noted in the Introduction, we need to construct conjugating pairs in both local and global situations to apply the globalizing results. For this reason, we consider general quadratic extensions.
Let
$E/F$
be a field extension of finite degree
$n \in \mathbb {Z}_{>0}$
. We do not assume that E or F be local fields or global fields. In addition, let A be a central simple algebra over E and B be a central simple algebra over F.
The special case
$A=E$
of the following lemma is related to the splitting subfield of a central simple algebra.
Lemma 2.1. Assume that we have an E-algebra isomorphism
$ B \otimes _{F} E \cong M_n(A)$
. Then, we have an F-algebra homomorphism
$A \to B$
.
Proof. We take a basis of E over F to obtain a homomorphism of F-algebras
$E \to M_n(F)$
. By composing this map to the given isomorphism, we obtain an F-algebra homomorphism
$$ \begin{align*}\phi \colon A \otimes_{F} M_n(F) \cong B \otimes_{F} E \to B \otimes_{F} M_n(F) .\end{align*} $$
We use the Skolem-Noether theorem for central simple F-algebras to take
$c \in (B \otimes _{F} M_n(F))^{\times } $
, such that
$$ \begin{align*}(\operatorname{{Int}}(c) \circ \phi)(F \otimes_{F} M_n(F))=F \otimes_{F} M_n(F).\end{align*} $$
By considering the centralizers of
$F \otimes _{F} M_n(F)$
both in
$A \otimes _{F} M_n(F)$
and
$B \otimes _{F} M_n(F)$
, we finally get an F-algebra homomorphism
$$ \begin{align*}\operatorname{{Int}}(c) \circ \phi \colon A \to B.\\[-36pt] \end{align*} $$
Remark 2.2. By the Skolem-Noether theorem for central simple F-algebras, two homomorphisms as in this lemma are conjugate under an inner automorphism of B.
In the following of this section, we take
$E/F$
as a quadratic extension of fields (hence, we take
$n=2$
), and we assume that the pair
$(A, B)$
satisfies the assumption of Lemma 2.1. Under this assumption, we obtain a homomorphism
$\phi \colon A \to B$
over F, and for a moment, we fix that homomorphism.
Let
$\mathbb {G}$
denote the reductive group
$\operatorname { {Res}}_{E/F}(A^{\times })$
over F, and
$\mathbb {H}$
denote the reductive group
$B^{\times }$
over F.
Lemma 2.3. There exists an exact sequence of algebraic F-groups
$$ \begin{align*}1 \to \mathbb{G} \xrightarrow{\phi}{\operatorname{{Norm}}_{\mathbb{H}}{\mathbb{G}}} \to \underline{\mathbb{Z}/2\mathbb{Z}}_{F} \to 1.\end{align*} $$
Here,
$\underline {\mathbb {Z}/2\mathbb {Z}}_{F}$
denotes the constant group scheme associated with
$\mathbb {Z}/2\mathbb {Z}$
.
Proof. Let
$\mathcal {Q}$
denote the quotient of the second map of sequences. Then we obtain the exact sequence
$$ \begin{align*}1 \to \mathbb{G} \xrightarrow{\phi}{\operatorname{{Norm}}_{\mathbb{H}}{\mathbb{G}}} \to \mathcal{Q} \to 1.\end{align*} $$
We consider the base change of this sequence to an algebraic closure
$\overline {F}$
of F. Then this sequence becomes
$$ \begin{align*}1 \to \operatorname{{GL}}_n({\overline{F}})\times\operatorname{{GL}}_n({\overline{F}}) \xrightarrow{\phi_{\overline{F}}}{\operatorname{{Norm}}_{\operatorname{{GL}}_{2n}({\overline{F}})}({\operatorname{{GL}}_n({\overline{F}})\times\operatorname{{GL}}_n({\overline{F}}) })} \to \mathcal{Q}_{\overline{F}} \to 1,\end{align*} $$
where n is the rank of A over E.
We claim that
$\mathcal {Q}_{\overline {F}}$
is isomorphic to
$\underline {\mathbb {Z}/2\mathbb {Z}}_{\overline {F}}.$
By using the Skolem-Noether theorem over
$\overline {F}$
, we may assume that
$\phi _{\overline {F}}$
is the diagonal embedding. Then the image of this embedding in
$\operatorname { {GL}}_{2n}({\overline {F}})$
is a maximal Levi subgroup, the claim then follows easily.
The lemma follows from this claim and the fact that
$\mathcal {Q}$
has the identity element as an F-valued point.
Furthermore, we assume that F is infinite in the following argument. Let G denote
$\mathbb {G}(F)$
and also H denote
$\mathbb {H}(F)$
. Then, by taking the long exact sequence of Galois cohomology of the above and applying Hilbert’s Theorem 90 [Reference Gille and Szamuely11, Lemma 2.7.4], we obtain
$\colon $
Corollary 2.4. Assume that F is infinite. Then there exists an exact sequence
$$ \begin{align*}1 \to G \xrightarrow{\phi}{\operatorname{{Norm}}_{H}{G}} \to {\mathbb{Z}/2\mathbb{Z}} \to 1.\end{align*} $$
Proof. It suffices to check that
$\operatorname { {Norm}}_{H}{G}$
=
$(\operatorname { {Norm}}_{\mathbb {H}}{\mathbb {G}})(F)$
. This equality follows from the density result in [Reference Springer24, Corollary 13.3.9].
Hence, in the above setting, we can obtain the conjugating pair
$(G, \operatorname { {Norm}}_{H}{G})$
.
Definition 2.1. The above conjugating pair is said to be associated with
$(A, B, \phi )$
.
Remark 2.5. By the theorem of Skolem-Noether over F, the notion of parity and conjugate self-duality with respect to
$(G, \operatorname { {Norm}}_{H}{G})$
does not depend on how to take
$\phi $
. So in the following argument, we omit
$\phi $
.
By the Zariski density of G in
$\mathbb {A}$
, that is A viewed as a scheme over F,
$\operatorname { {Norm}}_{H}{G}$
=
$\operatorname { {Norm}}_{H}{\mathbb {A}}$
=
$\operatorname { {Norm}}_{H}{A}$
. Hence, each element of
$\operatorname { {Norm}}_{H}{G}$
induces an automorphism of A and hence of its center
$Z(A)=E$
. So we have a map
$$ \begin{align*}\operatorname{{Norm}}_{H}{G} \to \operatorname{{Gal}}(E/F).\end{align*} $$
Lemma 2.6. The map above is surjective.
Proof. Since E is a simple algebra over F and B is a central simple algebra over F, we have a dimension formula
$[E:F][\operatorname { {Cent}}_{B}(E):F]=[B:F]$
(see [Reference Knapp14, Theorem 2.43]). As
$\operatorname { {Cent}}_{B}(E)$
contains A, the equation above shows that they have the same dimensions over F. It follows that
$\operatorname { {Cent}}_{B}(E)$
= A. Hence, all the elements of
$\operatorname { {Norm}}_{H}{G} \setminus G$
map to the nontrivial element of the Galois group, and the map above is surjective.
By Corollary 2.4 and Lemma 2.6, we have obtained an automorphism of A that induces the nontrivial Galois involution on
$Z(A)=E$
.
Remark 2.7. Note that this automorphism induces a nontrivial Galois action on the set of isomorphism classes of the irreducible discrete series representations of
$\operatorname { {GL}}_n(E)$
through the local Jacquet-Langlands correspondence.
Remark 2.8. The local Langlands correspondence preserves the notions of conjugate self-dual representations.
Remark 2.9. The sequence in Lemma 2.4 does not split in general. Indeed, if the sequence splits, it is necessary that A has an involution that induces the nontrivial Galois involution on
$Z(A)=E$
. Then, by the Galois descent, A has to be a base change of a central simple algebra over F. However, that cannot be true if we take any quaternion algebra over E.
2.2 Notations in local and global settings
In this subsection, we fix notations for pairs of central simple algebras over both local fields and number fields used in our globalizing method.
In the following of this paper, we only treat number fields and p-adic and Archimedean local fields, so all the fields below are assumed to be of characteristic zero unless otherwise stated.
First, we treat the case of extensions of local fields.
Construction 2.10. Let
$E/F$
be a quadratic extension of local fields. In addition, let
$A=M_m(D)$
be a central simple algebra of rank
$n=md$
over E. If the rank d of D is strictly larger than one, we write
$s/d$
for the Hasse invariant of A in the way that s satisfies
$0 < s < d$
and
$\gcd (s, d)=1$
. Let B be the central simple algebra over F of rank
$2n$
whose Hasse invariant is
$s/2d$
. If
$d = 1$
, we take
$s = 0$
and let B be the central simple algebra
$M_{2n}(F)$
over F.
Then, we have
$B \otimes _{F} E \cong M_2(A)$
and obtain the conjugating pair
$(G, G')$
associated with
$(A, B)$
using the results in the previous subsection.
Next, we treat the case of quadratic split étale algebras. Let E be a quadratic split étale algebra
$F \times F$
over F.
Construction 2.11. We associate the conjugating pair of Example 1.3.
Finally, we consider a conjugating pair in a global setting. We only use the following special constructions.
Let
$L/K$
be a quadratic extension of number fields and v be a finite place of K that does not split in this extension. Let
$L_{v}$
denote the completion of L with respect to the place v of L. We assume that we are given a central simple algebra A over
$L_v$
of rank
$n=md$
over
$L_v$
. We write
$s/d$
for the Hasse invariant of A as in Construction 2.10.
We also assume that we are given
$ms$
finite places
$v_1, \ldots v_{ms}$
that also do not split and unramified in L, and central division algebras
$A_i$
over
$L_{v_i}$
whose Hasse invariant is equal to
$-1/n$
.
Construction 2.12. By the theorem of Brauer-Hasse-Noether ([Reference Mumford and Varities17, p.184 Theorem], [27, Chapter XIII Section 6, Theorem 4]), we can globalize
$(A, \{A_i\})$
uniquely to a central division algebra
$\mathbf {D}$
over L by declaring that we take split central simple algebras at other places.
Moreover, by the similar construction taking B of Construction 2.10 at v and taking central division algebras
$B_i$
over
$K_{v_i}$
whose Hasse invariant is equal to
$-1/2n$
for
$i = 1, 2, \ldots ,{ms}$
, we obtain a central division algebra
$\mathbf {E}$
over K.
Then we have
$\mathbf {E} \otimes _{K} L \cong M_2(\mathbf {D})$
, so we associate the conjugating pair
$(G, G')$
, where
$G = \mathbf {D}^{\times }(\mathbb {A}_{L})$
and
$G' = \operatorname { {Norm}}_{\mathbf {E}^{\times }}(\mathbf {D}^{\times })(K) G$
, with
$L/K$
.
Remark 2.13. In general, if we have a quadratic extension of number fields
$L/K$
and central simple algebras
$\mathbf {A}$
over L and
$\mathbf {B}$
over K, which satisfy
$\mathbf {B} \otimes _{K} L \cong M_2(\mathbf {A})$
, we can do the same construction as above.
Unless otherwise stated, we will use these notations of conjugating pairs and only consider the conjugate self-duality with respect to them.
3 Global results that we use
3.1 A globalizing result
We review a globalizing result for conjugate self-dual discrete series representations due to Mok [Reference Mok16].
Lemma 3.1. Let
$E/F$
be a quadratic extension of p-adic fields. There exists a quadratic extension
$L/K$
of number fields, such that K is totally real, L is totally imaginary, and also it has a finite place v of K that does not split in L and the completion of
$L/K$
at v is
$E/F$
.
Proof. This is an easy consequence of Krasner’s lemma.
Following [Reference Mok16, Sections 2.1 and 2.4], we introduce some notations about the base change map for the quasi-split unitary group.
We first define Langlands parameters for reductive groups following [Reference Aubert3] and [Reference Borel6].
Definition 3.1. Let F be a non-Archimedean local field. We define
$L_F$
as the direct product
$W_F \times \operatorname { {SL}}_2(\mathbb {C})$
, where
$W_F$
be a Weil group of F. Let G be a connected reductive group over F. We write
${}^LG$
for the L-group of G. It is defined as follows
$\colon $
Let
$\Phi $
=
$(X, \Delta , X^{\vee }, \Delta ^{\vee })$
be the based root datum of G and
$\Phi ^{\vee }$
=
$(X^{\vee }, \Delta ^{\vee }, X, \Delta )$
be its dual. There exists the reductive group
$G^{\vee }$
over
$\mathbb {C}$
whose root datum is equal to
$\Phi ^{\vee }$
. It is defined up to isomorphism and called the dual group of G. If we fix a splitting of
$G^{\vee }$
, the action of
$W_F$
on
$\Phi $
induces an action of
$W_{F}$
on
$G^{\vee }$
. The semi-direct product defined by this action is the L-group of G.
Definition 3.2. A Langlands parameter for
${}^LG$
is a continuous homomorphism
$$ \begin{align*}\phi \colon L_F \to {}^LG,\end{align*} $$
such that
-
•
$\phi $
commutes with the projections to
$W_F$
. -
•
$\phi (w)$
is semi-simple for all
$w \in W_F$
. -
•
$\phi _{ | \operatorname { {SL}}_2(\mathbb {C})}$
is algebraic.
We define
$\Phi ({}^LG)$
as the set of
$G^{\vee }$
-conjugacy classes of Langlands parameters for
${}^LG$
.
Definition 3.3. A parabolic subgroup
$P^{\vee }$
of
$G^{\vee }$
is F-relevant if the set of simple roots attached to
$P^{\vee }$
corresponds to a parabolic subgroup of G defined over F. A parabolic subgroup
$P^{\vee }$
of
$G^{\vee }$
is said to be
$W_F$
-quasi-stable if
$\operatorname { {Norm}}_{{}^LG}(P^{\vee }) \to W_F$
is surjective.
Let
$\phi $
be a Langlands parameter for
${}^LG$
. Let
$P^{\vee }$
be a
$W_F$
-quasi-stable parabolic subgroup with Levi factor
$L^{\vee }$
, such that Im
$(\phi )$
is contained in
$\operatorname { {Norm}}_{{}^LP}(L^{\vee })$
, where
${}^LP$
=
$W_F \ltimes P^{\vee }$
, and
$P^{\vee }$
is minimal with this property. The parameter
$\phi $
is said to be G-relevant if
$P^{\vee }$
is F-relevant.
Let
$\Phi (G)$
be the subset of G-relevant Langlands parameters for
$\Phi ({}^LG)$
.
Definition 3.4. A Langlands parameter
$\phi $
for
${}^LG$
is said to be discrete if there exists no proper
$W_F$
-stable Levi subgroup
$L^{\vee }$
, such that
${}^LL$
contains
$\phi (L_F)$
. It is said to be bounded if the projection of
$\phi (W_F)$
to
$G^{\vee }$
is bounded.
Remark 3.2. The discreteness of a parameter
$\phi $
is equivalent to finiteness of
$\operatorname { {Cent}}_{G^{\vee }}(\operatorname {Im}{\phi })/Z(G^{\vee })^{W_F}$
, where
$\operatorname { {Cent}}_{G^{\vee }}(\operatorname {Im}{\phi })$
is the centralizer of
$\operatorname {Im}{\phi }$
in
$G^{\vee }$
(see the remark before [Reference Gross and Reeder12, Lemma 3.1] and the proof of [Reference Borel6, Proposition 3.6]).
Let
$E/F$
be a local or global quadratic extension, and
$C_E$
be
$E^{\times }$
in the local case and
$\mathbb {A}^{\times }_E / E^{\times }$
in the global case. Let
$\mathcal {Z}_E$
be the set of unitary characters of
$C_E$
which are conjugate self-dual with respect to the Galois action. We define
$\mathcal {Z}_E^{+1}$
(respectively,
$\mathcal {Z}_E^{-1}$
) as the set of elements of
$\mathcal {Z}_E$
whose restriction to
$C_F$
is trivial (respectively, the quadratic character corresponding to
$E/F$
). It is easily seen that these sets
$\mathcal {Z}_E^{+1}$
and
$\mathcal {Z}_E^{-1}$
are nonempty as follows
$\colon $
Lemma 3.3. Let
$E/F$
be a quadratic extension of number fields. Then, the sets
$\mathcal {Z}_E^{+1}$
and
$\mathcal {Z}_E^{-1}$
are nonempty.
Proof. The statement about
$\mathcal {Z}_E^{+1}$
is trivial because the trivial character belongs to
$\mathcal {Z}_E^{+1}$
. Hence, it suffices to show the claim that we can extend the quadratic character of
$\mathbb {A}^{\times }_F / F^{\times }$
to
$\mathbb {A}^{\times }_E / E^{\times }$
. If we can prove that
$\mathbb {A}^{\times }_E / E^{\times }\operatorname { {Nm}}_{E/F}({\mathbb {A}^{\times }_{E}})$
is locally compact Hausdorff, then the claim follows from [Reference Folland9, Theorem 4.39]. There is a canonical homeomorphism
$$ \begin{align*}\mathbb{A}^{1}_E / E^{\times}\operatorname{{Nm}}_{E/F}({\mathbb{A}^{1}_{E}}) \to \mathbb{A}^{\times}_E / E^{\times}\operatorname{{Nm}}_{E/F}({\mathbb{A}^{\times}_{E}})\end{align*} $$
induced from a canonical inclusion
$$ \begin{align*}\mathbb{A}^{1}_E / E^{\times} \to \mathbb{A}^{\times}_E / E^{\times} .\end{align*} $$
Hence, it suffices to show that
$\mathbb {A}^{1}_E / E^{\times }\operatorname { {Nm}}_{E/F}{\mathbb {A}^{1}_{E}}$
is Hausdorff. However, this follows from the fact that
$\mathbb {A}^{1}_E / E^{\times }$
is Hausdorff and
$\operatorname { {Nm}}_{E/F}({\mathbb {A}^{1}_{E}})E^{\times } / E^{\times } = \operatorname {Im}(\operatorname { {Nm}}_{E/F}\colon \mathbb {A}^{1}_E / E^{\times } \to \mathbb {A}^{1}_E / E^{\times })$
is compact.
Furthermore, let
$\mathrm {U}_{E/F}(n)$
be the quasi-split unitary group of n-variables for a quadratic extension
$E/F$
.
Definition 3.5 [Reference Mok16, Section 2.1].
Let
$\kappa $
belong to
$\{ \pm 1 \}$
and
$E/F$
be a local quadratic extension. Furthermore, let
$\chi _{\kappa }$
belong to
$\mathcal {Z}_E^{\kappa }$
. We define the base change map
$\xi _{\chi _{\kappa }} \colon \Phi (\mathrm {U}_{E/F}(n)(F)) \to \Phi ({GL_n(E)})$
as
$$ \begin{align*}\phi \mapsto ((\operatorname{{pr}}_1 \circ \phi_{|L_E}) \otimes \chi_{\kappa}, \operatorname{{pr}}_2 \circ \phi_{|L_E}),\end{align*} $$
where
$\operatorname { {pr}}_1$
,
$\operatorname { {pr}}_2$
are the projections from
${}^L\mathrm {U}_{E/F}(n)$
to
$\mathrm {U}_{E/F}(n)^{\vee }$
and
$W_F$
, respectively, and we identify an element of
${\mathcal {Z}}_E^{\kappa }$
with a character of the Weil group of E via the local class field theory.
Remark 3.4. The map is induced from an L-embedding
$ {}^L{\mathrm {U}(n)} \to {}^{L}{\operatorname { {Res}}_{E/F}(\operatorname { {GL}}_n)}$
(see [Reference Mok16, (2.1.9)]).
Lemma 3.5.
-
1. The base change map is injective, and its image equals the set of conjugate self-dual parameters with parity
$(-1)^{n-1} \kappa $
. -
2. Let
$\phi $
be an element of
$\Phi (\mathrm {U}_{E/F}(n))$
and
$\phi ' = \xi _{\chi _{\kappa }}(\phi )$
be its base change. If
$\phi '$
is a bounded and discrete parameter, then
$\phi $
is also bounded and discrete.
Proof.
-
1. It is [Reference Mok16, Lemma 2.2.1].
-
2. It easily follows from the criterion of Remark 3.2 and Schur’s lemma.
The local Langlands classification for tempered representations of the quasi-split unitary group is proved by Mok (see [Reference Mok16, Theorem 2.5.1]). Roughly speaking, for each bounded Langlands parameter
$\phi $
, there exists a finite set of tempered irreducible representations
$\Pi _{\phi }$
called an L-packet associated to
$\phi $
. We will use the following consequence of the local classification theorem by Mok.
Theorem 3.6 [Reference Mok16, Section 7.7, (7.7.17)].
Let
$E/F$
be a local quadratic extension. If a Langlands parameter
$\phi $
for
$\mathrm {U}_{E/F}(n)$
is discrete and bounded, the associated L-packet
$\Pi _{\phi }$
consists of square-integrable representations.
Proof. It follows from the construction of L-packets in [Reference Mok16, Section 7.7] and especially remarks after [Reference Mok16, Proposition 7.7.4].
Theorem 3.7. Let
$L/K$
be a quadratic extension of number fields, such that K is totally real and L is totally imaginary. Let also
$v_1, \ldots ,v_m$
be a set of finite places which does not split in
$L/K$
, and we fix a place v of K which splits in
$L/K$
. Furthermore, let
$\pi _1, \ldots , \pi _m$
be discrete series representations of the groups
$\mathrm {U}_{L_{v_i}/K_{v_i}}(n)(K_{v_i})$
. Then there exists a cuspidal automorphic representation
$\Pi $
of
$\mathrm {U}_{L/K}(n)(\mathbb {A}_K)$
, whose local component at each
$v_i$
is isomorphic to
$\pi _i$
and supercuspidal at v.
Proof. It follows directly from [Reference Shin23, Corollary 4.5] by taking S as the set
${v_1, \ldots , v_m}$
and U as the point corresponding to discrete series representations and taking the restriction of a matrix coefficient of a supercuspidal representation to
${}^0G$
(see [Reference Renard20, Chapter V.2.3]) as the test function at v. We can replace it with a modification of the proof of [Reference Clozel7, Theorem 1B].
We also use a corollary of the global classification theorem by Mok [Reference Mok16]. We recall some notations to state it.
Definition 3.6 [Reference Mok16, Section 2.3].
Let
$E/F$
be a quadratic extension of number fields.
-
1. We define a simple global parameter of
$\operatorname { {GL}}_{N}(\mathbb {A}_{E})$
to be a formal tensor product where
$$ \begin{align*}\mu \boxtimes \nu,\end{align*} $$
$\mu $
is a unitary cuspidal automorphic representation of
$\mathrm{GL}_m(\mathbb {A}_E)$
and
$\nu $
is an n-dimensional algebraic representation of
$\operatorname { {SL}}_2(\mathbb {C})$
, such that
$mn=N$
.
-
2. A finite formal direct sum
is called a global parameter of
$$ \begin{align*}l_1(\mu_{1}\boxtimes \nu_{1}) \boxplus \cdots \boxplus l_r(\mu_{r} \boxtimes \nu_{r})\end{align*} $$
$\operatorname { {GL}}_N(\mathbb {A}_E)$
if each
$l_i$
is a positive integer and each formal summand is a simple global parameter of
$\mathrm{GL}_{m_i}(\mathbb {A}_E)$
, such that
$\sum _{i=1}^r l_{i}m_{i}=N$
.
-
3. A global parameter is said to be elliptic if all the numbers
$l_i$
above are equal to 1 and all the simple global parameters
$\mu _i$
are conjugate self-dual.
Remark 3.8 [Reference Mok16, Remarks after (2.3.3)].
There exists a bijection between the set of global parameters of
$\operatorname { {GL}}_N(\mathbb {A}_E)$
and the full automorphic spectrum of
$\operatorname { {GL}}_N(\mathbb {A}_E)$
. A simple parameter corresponds to a discrete automorphic representation.
We now state a corollary of the global classification theorem by Mok [Reference Mok16].
Theorem 3.9 [Reference Mok16, Theorem 2.5.2].
Let
$E/F$
be a quadratic extension of number fields and
$\chi _{\kappa }$
be a character in
$\mathcal {Z}^{\kappa }_E$
. Then, there is a map
$$ \begin{align*}\Pi \mapsto \mathrm{BC}(\Pi)\end{align*} $$
from the set of representations in the discrete automorphic spectrum of
$\mathrm {U}_{E/F}(N)$
to the set of elliptic global parameters of
$\operatorname { {GL}}_N(\mathbb {A}_E)$
. If
$\Pi $
is supercuspidal at one place v of F which splits in
$E/F$
, it induces the local base change map associated to
$\chi _{\kappa }$
at all the places and also
$\mathrm {BC}(\Pi )$
is conjugate self-dual and cuspidal.
Remark 3.10. See [Reference Mok16, Definitions 2.4.5, 2.4.7] for the definition of discrete global parameter for the quasi-split unitary group, and also see [Reference Mok16, Theorem 2.5.2] for a more precise statement.
Proof. The first assertion is in the statement of [Reference Mok16, Theorem 2.5.2]. We prove the second assertion. We use the notation of [Reference Mok16, Chapter 2]. It suffices to show that the global parameter
$\psi $
associated to
$\Pi $
is generic, and hence the localization of global parameter at each place associated with
$\Pi $
is a Langlands parameter (not just an A-parameter). It follows from our hypothesis about supercuspidality at v and the definition of localization of global parameters at a split place in [Reference Mok16, p. 24] that the A-parameter
$\psi _v$
attached to
$\Pi $
at v is generic, because the associated Langlands parameter
$\phi _{\psi _v}$
corresponds to a unitary supercuspidal representation of
$\operatorname { {GL}}_n(E_v)$
. Hence, the global parameter
$\psi $
associated to
$\Pi $
is also generic and
$BC(\Pi )$
is cuspidal.
Theorem 3.11. Let
$L/K$
be a global quadratic extension and
$v_1,\dots ,v_m$
be a finite set of finite places which do not split in this extension. Furthermore, let
$\pi _1, \ldots ,\pi _m$
be discrete conjugate self-dual representations of
$\operatorname { {GL}}_{n}(L_{v_i})$
, such that their Langlands parameters have the same parity.
Then, there exists a conjugate self-dual cuspidal automorphic representation
$\Pi $
of
$\operatorname { {GL}}_n(\mathbb {A}_{L})$
whose local component at each
$v_i$
is isomorphic to
$\pi _i$
.
Proof. First, we fix an element
$\chi $
of
$\mathcal {Z}^{\kappa }_{E}$
, such that
$(-1)^{n-1}\kappa $
is equal to the parity of the Langlands parameter of
$\pi _1$
. We use the local components of this character
$\chi $
to define the local base change map. By using Lemma 3.5 (i), we can attach the given representations
$\pi _i$
to discrete bounded Langlands parameters
$\phi _i$
of the quasi-split unitary group. Here, we use the hypothesis that the parameters have the same parity.
We then choose representations
$\pi _i'$
from the L-packets associated with
$\phi _i$
. By Theorem 3.6, they are discrete series representations. We can now globalize the representations
$\pi _i'$
to cuspidal automorphic representation
$\Pi '$
of
$\mathrm {U}_{L/K}$
by the method of Theorem 3.7.
By applying Theorem 3.9, we obtain the cuspidal conjugate self-dual automorphic representation
$\Pi $
=
$\mathrm {BC}(\Pi ')$
of
$\operatorname { {GL}}_n(\mathbb {A}_L)$
whose each localization at
$v_i$
is isomorphic to
$\pi _i$
. Hence, the theorem.
Remark 3.12. Recently, Wakatsuki and the author gave a different proof of the Theorem 3.11 in the preprint [Reference Takanashi and Wakatsuki25, Theorem 1.6], which does not depend on Arthur’s endoscopic classification for quasi-split unitary groups.
3.2 Special cases of the global Jacquet-Langlands correspondence
We also use the Badulescu-Jacquet-Langlands correspondence [Reference Badulescu4], which also has been used in [Reference Prasad and Ramakrishnan19, Theorem 1.2].
Definition 3.7 [Reference Aubert2, Definition 1.5].
Let G be a connected reductive group over a p-adic field F. The Aubert-Zelevinsky involution of a smooth representation
$\pi $
of G of finite length is defined to be
$$ \begin{align*}D_{G}(\pi) = \sum_{P \subseteq G \colon \mathrm{standard \ parabolic}} (-1)^{\dim(A_P)}i_P^G(r_P^G(\pi)),\end{align*} $$
where
$i_P^G(\pi )$
,
$r_P^G(\pi )$
are the normalized induction and the normalized Jacquet module of
$\pi $
with respect to P, and
$A_P$
is the split component of the center of a Levi component of P. It is an element of the Grothendieck group of smooth representations of G of finite length (for example, see [Reference Renard20, Chapters VI.6.2 and VI.6.4]).
Theorem 3.13 [Reference Aubert2, Corollaire 3.9].
If
$\pi $
is irreducible, then there exists a sign
$\epsilon $
, such that
$\epsilon D_{G}(\pi )$
is an irreducible representation. We denote this representation by
$|D_G(\pi )|$
.
Remark 3.14. The map
$\pi \mapsto |D_G(\pi )|$
is said to be induced from the Aubert-Zelevinsky involution in this paper.
Now, we recall the Badulescu-Jacquet-Langlands correspondence, which is one of the main tools for our proof.
Definition 3.8 [Reference Badulescu4, p.385, l.8].
Let F be a local field. Let D be a central division algebra over F of rank d. Then, the group
$G'=\operatorname { {GL}}_m(D)$
is an inner form of
$G=\operatorname { {GL}}_{md}(F)$
over F. We define the subset
$G_{md, d}$
as the set of
$g \in G$
, such that there exists a regular semi-simple element
$g' \in G'$
whose characteristic polynomial is equal to that of g. Let
$\pi $
be an irreducible representation of G. We say a representation
$\pi\ d$
-compatible if there exists an element
$g \in G_{md, d}$
, such that the character
$\chi _{\pi }$
of
$\pi $
satisfies
$\chi _{\pi }(g) \neq 0$
.
Definition 3.9. Let K be a number field. Let D be a central division algebra over K of rank d, and let V be the set of places of K which D is not split. Let
$G'=\operatorname { {GL}}_m(D)$
be an inner form of
$G=\operatorname { {GL}}_{md}(K)$
. Let
$DS(G)$
(respectively,
$DS(G')$
) be the set of discrete automorphic representations for G (respectively,
$G'$
). For any
$v \in V$
, we have
$G^{\prime }_v=\operatorname { {GL}}_{m_v}(D_v)$
for some
$m_v$
and
$D_v$
of rank
$d_v$
. We say an element
$\Pi \in DS(G)$
is D-compatible if, for all
$v \in V$
,
$\Pi _v$
is
$d_v$
-compatible.
Theorem 3.15. Let K be a number field. Let D be a central division algebra over K of rank d, and let V be the set of places of K which D is not split. We assume that the set V does not contain any infinite places. Let
$G'=\operatorname { {GL}}_m(D)$
be an inner form of
$G=\operatorname { {GL}}_{md}(K)$
. Let
$DS(G)$
(respectively,
$DS(G')$
) be the set of discrete automorphic representations for G (respectively,
$G'$
).
-
1. There exists a unique injective map
$\mathbf {LJ} \colon DS(G') \to DS(G)$
, such that for any
$\Pi ' \in DS(G')$
and for any
$v \notin V$
, we have
$\Pi ^{\prime }_v=\mathbf {LJ}(\Pi ')_v$
. The image of
$\mathbf {LJ}$
consists of the set of D-compatible discrete automorphic representations of G. -
2. Let
$\Pi \in DS(G)$
be a D-compatible discrete automorphic representation, such that the representations
$\Pi _v$
are Speh representations or generalized Steinberg representations for all
$v \in V$
. Then, either the representation
$\mathbf {LJ}(\Pi )_v$
or its Aubert-Zelevinsky involution has the same Langlands parameter with
$\Pi _v$
for any
$v \in V$
. -
3. The multiplicity one and the strong multiplicity one theorem hold for
$DS(G')$
.
Proof.
-
1. This is (a) of [Reference Badulescu4, Theorem 5.1].
-
2. This follows from [Reference Badulescu4, Proposition 3.7].
-
3. This is (b), (c) of [Reference Badulescu4, Theorem 5.1].
4 Local results that we use
In this section, following the globalizing method of [Reference Prasad and Ramakrishnan19], we prove some local results which will be combined with the global results above.
4.1 Triviality of parity at almost all places
First, we prove that the local components of a global conjugate self-dual representation are conjugate orthogonal in almost all places.
Lemma 4.1. Let G be a totally disconnected locally compact Hausdorff topological group and K be an open compact subgroup of G. We also assume that there exists an involution
$\theta $
of G which stabilizes K. Let also
$\pi $
be an irreducible representation that is conjugate self-dual with respect to
$\theta $
and satisfies
$\dim _{\mathbb {C}}\pi ^{K} = 1$
. Then
$\pi $
is conjugate orthogonal with respect to
$\theta $
.
Proof. Let
$G'$
be a semi-direct product of G and
$\mathbb {Z}/2\mathbb {Z}$
defined by
$\theta $
. Then, we have a conjugating pair
$(G, G')$
and use the notation in Section 1.2. Note that in this case, we have
$\tau ^2 = 1$
. Let
$\langle \cdot , \cdot \rangle $
be the invariant form in Section 1.2. Then the restriction of this form to
$\pi ^{K}$
is nondegenerate and symmetric, hence, by the definition of the parity, we have
$C(G, G', \pi )=1$
.
Lemma 4.2. Let
$\mathrm {U}(n)$
be the closed subgroup of
$\operatorname { {GL}}_n(\mathbb {C})$
consisting of unitary matrices. Then all the unitary finite-dimensional representations of
$\mathrm {U}(n)$
are conjugate self-dual representations with respect to component-wise complex conjugation
$\operatorname { {conj}}$
on
$\mathrm {U}(n)$
.
Proof. Let
$\delta $
be a unitary finite-dimensional representation and
$\chi _{\delta }$
be its character. Then we have
$\chi _{\delta }(\operatorname { {conj}}(k)^{-1})$
=
$\chi _{\delta }(^{t}k)$
, and this is equal to
$\chi _{\delta }(k)$
by the conjugation theorem for connected compact Lie groups.
We use the notations of Section 2.2.
Lemma 4.3.
-
1. Let
$E/F$
be a quadratic extension of p-adic fields. We take the conjugating pair
$(G, G')$
associated with
$(M_n(E), M_{2n}(F))$
. Then all the conjugate self-dual representations of G are orthogonal. -
2. Let
$\mathbb {C}/\mathbb {R}$
be the quadratic extension of Archimedean local fields. Let the conjugating pair
$(G, G')$
be associated with
$(M_n(\mathbb {C}), M_{2n}(\mathbb {R}))$
, and also let K =
$\mathrm {U}(n)$
. Then all the conjugate self-dual
$(\mathfrak {g},K)$
-modules of G are orthogonal. -
3. Let E be a quadratic split étale algebra over a local field F. Then all the conjugate self-dual representations of
$G=\operatorname { {GL}}_n(E)$
are orthogonal.
Proof.
-
1. This follows from Lemma 4.1 above and [Reference Atobe, Kondo and Yasuda1, Theorem 1.1] for E.
-
2. We prove this in a similar fashion as Lemma 4.1. Note that K is stable under the complex conjugation. We use the same notation as Lemma 4.1 (see also Remark 1.10).
Let
$(\pi , V)$
be a conjugate self-dual
$(\mathfrak {g}, K)$
-module of G. By [Reference Vogan26, Theorem 4.9], there exists a K-type
$\delta $
that appears in
$\pi $
with multiplicity one. Let
$V({\delta })$
be the
$\delta $
-isotypic component of
$\pi $
.Then, it suffices to show that the restriction of a nondegenerate invariant form in Section 1.2 to
$V({\delta })$
is nondegenerate. This follows from Lemma 4.2. -
3. Let
$\pi $
=
$\pi _1 \otimes \pi _2$
be an irreducible conjugate self-dual representation of G. In this case, we have
$\pi _2 \cong \pi _1^{\vee }$
. We identify these representations.Then we can explicitly give a symmetric invariant form by
$\langle x_1 \otimes x_2, y_1 \otimes y_2 \rangle $
=
$\langle y_2, x_1 \rangle \langle x_2, y_1 \rangle $
, where the pairing of the right-hand side is the canonical pairing between
$\pi _1$
and
$\pi _1^{\vee }$
.
4.2 A special case of the main theorem
In this subsection, we introduce a special case of the main theorem that has already been proven by Mieda and that we will use later.
Theorem 4.4 [Reference Mieda15, Theorem 1.2 and Proposition 4.5].
-
1. The main theorem 0.3 is valid for the case where
$E/F$
is at worst tamely ramified and the Hasse invariant of D is
$1/n$
, and the representation is supercuspidal. -
2. In the situation of (i) and if
$E/F$
is unramified, there exist both conjugate orthogonal and conjugate symplectic simple supercuspidal representations.
For references about simple supercuspidal representations, see the beginning of [Reference Mieda15, Section 4.1]. Mieda computed the parity of those representations using an explicit description of the local Jacquet-Langlands correspondence for simple supercuspidal representations proved in [Reference Imai and Tsushima13].
Remark 4.5. In our conjugate self-dual case, we cannot utilize the supercuspidal representations of depth zero as in [Reference Prasad and Ramakrishnan19], because there is no such representation if
$E/F$
is unramified and the rank of the division algebra is even. We can deduce this claim from the classification of such representations stated in [Reference Prasad and Ramakrishnan19, Section 4] as follows.
We first take an unramified quadratic extension
$E/F$
and a division algebra D over E of rank n. Let
$\pi $
be a depth zero irreducible representation of
$D^{\times }$
with a supercuspidal parameter. This representation is obtained from the following procedure. We take the unramified extension
$E_n$
over E of degree n and a character
$\chi \colon E_n^{\times } \to \mathbb {C}^{\times }$
regular with respect to
$\operatorname { {Gal}}(E_n/E)$
. Note that the field
$E_n$
is equal to the unramified extension
$F_{2n}$
over F of degree
$2n$
. Let
$E_n^{\times }(1)$
be the first congruence subgroup for
$E_n^{\times }$
. We assume that the character
$\chi $
is trivial on
$E_n^{\times }(1)$
. Let
$D_{n}$
be the centralizer of
$E_n$
. Then, we can obtain the character
$\widetilde {\chi } = \chi \circ \mathrm {Nrd}_{D_n/E_n}$
of the group
$D_n^{\times }D^{\times }(1)$
, where
$D^{\times }(1)$
is the first congruence subgroup of
$D^{\times }$
. Then, we have the induced representation
$\pi = \operatorname { {ind}}^{D^{\times }}_{D_n^{\times }D^{\times }(1)}(\widetilde {\chi })$
and all the representations we are considering are obtained in this manner.
If this representation is conjugate self-dual, then we have
$\pi ^{\tau } \cong \pi ^{\vee }$
. By the construction, we may assume the element
$\tau $
stabilizes
$E_n=F_{2n}$
. Hence, by the argument as in [Reference Prasad and Ramakrishnan19, Proof of Proposition 4.1], there exists an integer
$i \in \mathbb {Z}$
, such that we have
$\chi = \chi ^{{\mathrm {Frob}_E}^{2i-1}}$
. However, the Galois group
$\operatorname { {Gal}}(E_{n}/E)$
is an even cyclic group as we assume that n is even, so the element
$\mathrm {Frob}_E^{2i-1}$
is not trivial. This contradicts the fact that
$\chi $
is regular. Hence, the claim follows.
4.3 Parity invariance under the Aubert-Zelevinsky involution
We will use Theorem 3.15, but in this correspondence, a discrete series representation
$\pi $
at a nonsplit place might be switched its place with
$|D_G(\pi )|$
. In this subsection, we prove that the map induced from the Aubert-Zelevinsky involution does not change the parity for conjugate self-dual representations of the group of units of central simple algebras over non-Archimedean local fields, following the method of Prasad-Ramakrishnan [Reference Prasad and Ramakrishnan19].
We use the notation fixed in Construction 2.10 and only consider the cases of nonsplit places. Note, firstly, that in this situation, we may assume (and do assume) that the conjugate action of a conjugating pair preserves all the parabolic and Levi subgroups over F by the Skolem-Noether theorem. We give the details.
Remark 4.6.
-
1. Let
$E/F$
be a quadratic extension of p-adic fields. We take the central simple algebra A over E as in Construction 2.10 and use the notation in the construction. Then, we write A in the form that A =
$M_m(D)$
, where D is a division algebra over E whose Hasse invariant is
$s/d$
. In this case, B can be written in the form that
$M_m(B')$
, where
$B'$
is a central simple algebra over F whose Hasse invariant is
$s/2d$
.We obtain an F-algebra homomorphism
$D \to B'$
by Lemma 2.1, and
$M_m(D)\to M_{m}(B')$
by applying
$M_m( \cdot )$
. We take this homomorphism as
$A \to B$
. So, if we take an element
$h \in B^{\prime \times } \setminus D^{\times }$
which normalizes
$D^{\times }$
, we can take
$ \tau = \operatorname { {diag}}(h, \ldots , h) $
as an element of
$G' \setminus G$
, where
$\operatorname { {diag}}(\ldots )$
denotes an element of the diagonal subgroup
$(B^{\prime \times })^n \leq \operatorname { {GL}}_{m}(B')$
. -
2. It is easily seen that
$\operatorname { {Int}}(\tau )$
above fixes a Haar measure of G, so
$G'$
is unimodular. Also,
$\operatorname { {Int}}(\tau )$
preserves all the parabolic subgroups of G over E and their Haar measures.
Definition 4.1.
-
1. For each parabolic subgroup P of G over F, we define
$P'$
as
$\operatorname { {Norm}}_{G'}(P)$
. It is equal to the semi-direct product defined by the action of
$\tau $
on P. We define
$M'$
as the group generated by
$\tau $
and M for all the Levi subgroups M of G over F. -
2. We define the normalized induction functor
$i_{P'}^{G'}$
and the normalized Jacquet module functor
$r_{P'}^{G'}$
for a parabolic subgroup P of G over F in the similar fashion as the case of G.
Remark 4.7. If
$\rho $
is a representation of Levi subgroup M of a parabolic subgroup P of G over F, we easily obtain a natural isomorphism
$i_{P'}^{G'}(\mathrm {ind}_M^{M'}(\rho )) \cong \mathrm {ind}_{G}^{G'}(i_{P}^{G}(\rho ))$
. We have the similar isomorphism for the Jacquet functors.
Proposition 4.8. In the situation of Construction 2.10, the map induced from the Aubert-Zelevinsky involution does not change the parity of a unitary conjugate self-dual representation
$\pi $
of G, such that
$|D_G(\pi )|$
is also unitary.
We prove this proposition by using some lemmas proved below. The following lemma is essentially the same statement as [Reference Gan, Gross and Prasad10, Lemma 3.5].
Lemma 4.9. For the conjugating pair
$(G, G')$
and a conjugate self-dual representation
$(\pi , V)$
,
$\operatorname { {ind}}^{G'}_{G}(\pi )$
is a multiplicity-free, has length at most 2, and self-dual representation of
$G'$
with the same parity as
$(\pi , V)$
. It is unitary if
$\pi $
is unitary.
Proof. The statement about multiplicity-freeness and the length follows from the Frobenius reciprocity. The second and third assertions are obvious by the definition of conjugate self-duality and parity.
Definition 4.2. A representation of a group G is said to be defined over
$\mathbb {R}$
if it has a real form.
Lemma 4.10. Let
$\pi '$
be an admissible unitary multiplicity-free self-dual representation of
$G'$
with parity
$c \in \{\pm 1\}$
. Then, c =
$1$
if and only if
$\pi '$
is a representation of
$G'$
defined over
$\mathbb {R}$
.
Proof. The proof of [Reference Prasad and Ramakrishnan19, Lemma 2.2] works similarly in this case.
Lemma 4.11. The composite of the normalized Jacquet functor and the normalized induction for a parabolic subgroup P of G over F induces an endomorphism of the Grothendieck group of the category of representations of
$G'$
of finite length and defined over
$\mathbb {R}$
.
Proof. It suffices to show that the normalized Jacquet functor and the normalized induction preserve the finiteness of length. Considering the Clifford theory (for example, see [Reference Bernstein and Zelevinsky5, Lemma 2.9]) and the Frobenius reciprocity, it suffices to show the finiteness for representations of the form
$\mathrm {ind}_G^{G'}(\rho )$
, where
$\rho $
is an irreducible representation of G. In this case, we have
$i_{P'}^{G'}(r_{P'}^{G'}(\mathrm {ind}_G^{G'}(\rho ))) \cong \mathrm {ind}_G^{G'}(i_P^{G}(r_P^{G}(\rho )))$
. Hence, it follows from [Reference Renard20, VI.6.2, VI.6.4] and the Clifford theory above.
Lemma 4.12. Let G be a totally disconnected group. A semi-simple representation
$\pi $
of finite length of G is defined over
$\mathbb {R}$
if its image in the Grothendieck group of representations of G of finite length lies in the subgroup generated by representations of G of finite length and defined over
$\mathbb {R}$
.
Proof. In this situation,
$\pi $
can be written as
$$ \begin{align*}\pi = \sum_{\rho} m_{\rho} \rho\end{align*} $$
in the Grothendieck group, where
$\rho $
runs through a finite set of representations of finite length and defined over
$\mathbb {R}$
and each
$m_{\rho }$
is an integer. We also have
$\rho = \rho _{0} \otimes _{\mathbb {R}} \mathbb {C}$
, where
$\rho _{0}$
is a real form of
$\rho $
. By decomposing
$\rho _{0}$
into irreducible representations of G on
$\mathbb {R}$
-vector spaces, we assume that each
$\rho _{0}$
is irreducible and mutually nonisomorphic. Note that if we take different
$\rho _0$
and
$\rho ^{\prime }_0$
, the sets of irreducible subquotients of
$\rho $
and
$\rho '$
are disjoint, since each subquotient of
$\rho $
(respectively,
$\rho '$
) is
$\rho _0$
-isotypic (respectively,
$\rho ^{\prime }_0$
-isotypic) as a representation of G over an
$\mathbb {R}$
-vector space. So, if we can prove that each
$\rho $
is semi-simple, then our lemma follows. We prove this. We may assume that
$\rho $
is not irreducible. Then, the length of
$\rho $
is equal to 2, and we have
$\rho = \rho _{1} \oplus \rho _{2}$
, where
$\rho _{1}$
,
$\rho _{2}$
are some irreducible representations of G. In this case, we have an isomorphism
$\rho _{0} \cong \rho _{1}$
by considering the composition series of
$\rho $
as a representation over an
$\mathbb {R}$
-vector space. So, we have
$$ \begin{align*}\rho \cong \rho_{1} \otimes_{\mathbb{R}} \mathbb{C} \cong \rho_{1} \otimes_{\mathbb{C}} (\mathbb{C} \otimes_{\mathbb{R}} \mathbb{C}) \cong \rho_{1} \oplus \overline{\rho_{1}}.\end{align*} $$
Hence, the lemma.
Proof of the Proposition 4.8.
The map induced from the Aubert-Zelevinsky involution is an automorphism of order two on the set of the equivalence classes of irreducible representations of G. Hence, it suffices to show that it sends conjugate orthogonal representations to conjugate orthogonal ones.
Let
$\pi $
be a unitary conjugate orthogonal representation of G. Then,
$\pi ' = \operatorname { {ind}}^{G'}_G(\pi )$
is a unitary orthogonal representation of
$G'$
. Hence, by Lemmas 4.9 and 4.10,
$\pi '$
is defined over
$\mathbb {R}$
. Applying Lemmas 4.9 and 4.11 to
$\pi '$
, we conclude that
$\mathrm {ind}_G^{G'}(|D_G(\pi )|)$
is a multiplicity-free unitary representation and belongs to the Grothendieck group of the category of representations of finite length and defined over
$\mathbb {R}$
. Then, Lemmas 4.10 and 4.12 show that
$\mathrm {ind}_G^{G'}(|D_G(\pi )|)$
is defined over
$\mathbb {R}$
and orthogonal. Hence,
$|D_G(\pi )|$
is conjugate orthogonal by Lemma 4.10.
4.4 An auxiliary lemma
When G is a group, let
$G^{\operatorname { {op}}}$
denote its opposite group. We use the following trick.
Lemma 4.13. Let
$\pi $
be a conjugate self-dual representation with respect to
$(G, G')$
. Then
$\pi ^{op}$
defined by
$\pi ^{op}(g) = \pi (g^{-1})$
is conjugate self-dual with respect to
$(G^{\operatorname { {op}}}, G^{\prime \operatorname { {op}}})$
, and has the same parity as
$\pi $
.
Proof. It easily follows from the definition of parity.
5 Proof of the main theorem
In this section, we finally prove the main theorem. We first prove the following product formula for the parity of automorphic conjugate self-dual representations. We use the notation of Remark 2.13 which is a generalization of Construction 2.12.
5.1 A product formula for parity
Proposition 5.1. Let
$L/K$
be a quadratic extension of number fields, and let
$(\mathbf {A}, \mathbf {B})$
be as in Construction 2.13 and take the associated conjugating pair
$(G, G')$
. Let
$\Pi = \bigotimes _{w} ' \Pi _{w}$
be an automorphic conjugate self-dual representation of
$\mathbf {A}^{\times }(\mathbb {A}_L)$
which appears in the discrete spectrum with a unitary central character
$\omega $
. Let also S be the set of places at which
$\mathbf {B}$
does not split, and put
$\Pi _{v} = \bigotimes _{w|v} \Pi _w$
for each place v of K. Then we have
$$ \begin{align*}\prod_{v \in S} c(G_v, G^{\prime}_v, \Pi_{v}) = 1 .\end{align*} $$
Proof. If we can show that
$\Pi $
is conjugate orthogonal for the pair
$(G, G')$
, then this proposition follows from Lemmas 1.8, 4.1, and 4.3. The desired orthogonality results from the same argument as [Reference Prasad and Ramakrishnan19, Section 3] using the multiplicity one theorem (Theorem 3.15). We give the details.
First, we take a K-valued point
$\tau $
in
$G' \setminus G$
. Since
$\Pi $
appears in the discrete spectrum with multiplicity one, we can consider
$\Pi $
as a space of functions on
$\mathbf {A}^{\times }(L)\backslash \mathbf {A}^{\times }(\mathbb {A}_L)$
. This space has an invariant bilinear form, namely,
$$ \begin{align*}\langle f_1, f_2 \rangle = \int_{Z_{\mathbf{A}^{\times}} (\mathbb{A}_L)\mathbf{A}^{\times}(L) \backslash \mathbf{A}^{\times}(\mathbb{A}_L)}f_1(\operatorname{{Int}}(\tau)(g))f_2(g)dg.\end{align*} $$
We claim that it is nondegenerate. Because
$\Pi $
is conjugate self-dual, unitary and also the multiplicity one theorem for
$\Pi $
(Theorem 3.15) holds, we have
$\overline {f}\circ \operatorname { {Int}}(\tau ) \in \Pi $
for every element f in
$\Pi $
. Hence, the claim. Furthermore, it is an invariant form. By the direct computation below, we can prove that this form is also conjugate orthogonal, hence, the theorem
$$ \begin{align*} \langle \Pi(\tau^2)f_2, f_1 \rangle &= \int_{Z_{\mathbf{A}^{\times}} (\mathbb{A}_L)\mathbf{A}^{\times}(L) \backslash \mathbf{A}^{\times}(\mathbb{A}_L)}f_2(\tau g\tau)f_1(g)dg \\ &= \int_{Z_{\mathbf{A}^{\times}} (\mathbb{A}_L)\mathbf{A}^{\times}(L) \backslash \mathbf{A}^{\times}(\mathbb{A}_L)}f_2(\tau^2g)f_1(\operatorname{{Int}}(\tau)g)dg \\ &= \int_{Z_{\mathbf{A}^{\times}} (\mathbb{A}_L)\mathbf{A}^{\times}(L) \backslash \mathbf{A}^{\times}(\mathbb{A}_L)}f_2(g)f_1(\operatorname{{Int}}(\tau)g)dg \\ &= \langle f_1, f_2 \rangle \end{align*} $$
(first, we change the variable, then we use the left invariance of
$f_2$
for rational points secondly).
5.2 The proof of the main theorem
We use the notation of Constructions 2.10, 2.12.
Theorem 5.2. Let
$E/F$
be a p-adic quadratic extension and
$A=M_m(D)$
be a central simple algebra over E of rank
$n $
whose Hasse invariant is
$s/d$
. We take the pair
$(s, d)$
in the way that
$d> 1$
,
$0 < s < d$
, and
$\gcd (d, s)=1$
, or
$d=1$
and
$s=0$
. Let
$(G, G')$
be the conjugating pair associated with it in Construction 2.12. Let
$\pi $
be a conjugate self-dual discrete series representation of G =
$A^{\times }$
, and let
$\sigma $
denote its Langlands parameter. Then we have
$$ \begin{align*}c(G, G',\pi) = (-1)^{(n-1)ms} c(W_E, W_F, \sigma)^{ms} .\end{align*} $$
Proof. We first apply (i) of Lemma 3.1 to globalize
$E/F$
to a quadratic extension of number fields
$L/K$
. Then we take
$ms$
finite places
$v_1, \ldots , v_{ms}$
which are inert in
$L/K$
, and construct
$\mathbf {D}$
and
$\mathbf {E}$
as Construction 2.12.
We then take conjugate self-dual simple supercuspidal representations
$\pi _{i}$
of
$\mathbf {D}_{v_i}^{\times }$
for
$i = 1, \ldots , ms$
, whose Langlands parameters have the same parity as
$\sigma $
(see Theorem 4.4 (ii)). Applying Theorem 3.11 to the images of
$\pi , \pi _{1}, \ldots , \pi _{ms}$
by the local Jacquet-Langlands correspondence, we get a conjugate self-dual cuspidal automorphic representation
$\Pi '$
of
$\operatorname { {GL}}_n(\mathbb {A}_L)$
. Lastly, we use the Badulescu-Jacquet-Langlands correspondence (Theorem 3.15) to obtain the transfer
$\Pi $
of
$\Pi '$
. Note that the strong multiplicity one theorem for
$\mathbf {A}^{\times }(\mathbb {A}_L)$
is valid (Theorem 3.15), and the Badulescu-Jacquet-Langlands correspondence is identity at split places, so
$\Pi $
is conjugate self-dual. By applying the product formula above and Proposition 4.8, we have the equality
$$ \begin{align*}c(G, G',\pi) = \prod_{i=1}^{ms} c(G_{v_i}, G^{\prime}_{v_i},\pi_{i}) .\end{align*} $$
Furthermore, we apply Theorem 4.4, Proposition 4.8, and Lemma 4.13 to obtain
$$ \begin{align*}c(G_{v_i}, G^{\prime}_{v_i},\pi_{i}) = (-1)^{n-1} c(W_E, W_F, \sigma) .\end{align*} $$
Substituting this to the first equality, we have
$$ \begin{align*}c(G, G',\pi) = ((-1)^{n-1} c(W_E, W_F, \sigma))^{ms} .\end{align*} $$
This is the very statement of our main theorem.
Remark 5.3. The same argument works if we replace
$A'$
with the central division algebra
$A"$
with Hasse invariant
$(s+d)/2d$
. We write
$(G, G")$
for the associated pair in this case. Then, we obtain the equality
$$ \begin{align*} c(G, G",\pi) &=(-1)^{(n-1)m(s+d)} c(W_E, W_F, \sigma)^{m(s+d)} \\ &=c(W_E, W_F, \sigma)^n c(G, G',\pi). \end{align*} $$
By the inflation-restriction sequence for
$\mathbb {G}_m$
, there are only these two possibilities for
$A'$
which satisfy the hypothesis of Lemma 2.1. The occurrence of this parity change comes from the central character of a representation (see [Reference Mieda15, Remark 2.2]).
Acknowledgements
This is the master’s thesis of the author, and he is very grateful to his advisor Yoichi Mieda for his constant encouragement and earnest support. Without his help, the author could not write this paper. The author is also very grateful to the anonymous referee who read this paper precisely and gave very useful comments to the author. He also thanks Junnosuke Koizumi for useful discussions.
Competing interest
The authors have no competing interest to declare.
Open access
