Shintani lifting and real-valued characters

Transcription

1 Shintani lifting and real-valued characters C. Ryan Vinroot Abstract We study Shintani lifting of real-valued irreducible characters of finite reductive groups. In particular, if G is a connected reductive group defined over F q, and ψ is an irreducible character of G(F q m) which is the lift of an irreducible character χ of G(F q ), we prove ψ is real-valued if and only if χ is real-valued. In the case m = 2, we show that if χ is invariant under the twisting operator of G(F q 2), and is a real-valued irreducible character in the image of lifting from G(F q ), then χ must be an orthogonal character. We also study properties of the Frobenius-Schur indicator under Shintani lifting of regular, semisimple, and irreducible Deligne-Lusztig characters of finite reductive groups. 1 Introduction Shintani [23] gave a bijection from the irreducible complex characters of the general linear group GL(n, F q ) over a finite field F q, to the Frobenius-invariant complex irreducible characters of the general linear group GL(n, F q m) over an extension field F q m, through an identity of character values. This correspondence has come to be known as Shintani lifting. The theory has been extended to other algebraic groups over a finite field by Kawanaka [13, 14, 15] and Gyoja [12], as well as understood in a more geometric context as Shintani descent, by Digne and Michel [7] and Shoji [24], among others. Shintani lifting and descent have played a key role in the development of the character theory of finite groups of Lie type, and has also influenced the development of the lifting theory and base change of automorphic forms and representations (see [15, Sec. 1.1]). In this paper, we study Shintani lifting of real-valued irreducible complex characters of finite reductive groups. There are classical results on the complex characters of finite groups for which there are analogous theorems for real-valued characters of finite groups, such as the results on degrees of real-valued characters obtained by Navarro, Sanus, and Tiep [20]. Such results indicate that the theory of real-valued characters of finite groups inherits many of the rich aspects of the classical character theory. Because finite reductive groups are such an important class of finite groups, and Shintani lifting is a fundamental part of their character theory, it is a natural problem to investigate the behavior of real-valued characters under Shintani lifting. Furthermore, we expect that corresponding to our results for Shintani lifting of real-valued characters of finite reductive groups, there should be analogous results for the base change of self-dual representations of p-adic groups. The main results and organization of this paper are as follows. In Section 2, we give results and definitions regarding norm maps and Shintani lifting for finite reductive groups. In Section 3, we obtain our first main result in Theorem 3.2, which states that for G a connected reductive group defined over F q, if an irreducible character χ of G(F q m) is the Shintani lift of the character ψ of G(F q ), then χ is real-valued if and only if ψ is real-valued. We apply Theorem 3.2 to obtain 2000 Mathematics Subject Classification. 20C33 Key words and phrases. Shintani lifting, finite reductive groups, real-valued characters, Frobenius-Schur indicators, Deligne-Lusztig characters 1

2 a set of irreducible characters of the finite symplectic groups which have no even degree Shintani lifts (Corollary 3.1), and to obtain a bijection between irreducible real-valued characters of the finite general linear and unitary groups (Corollary 3.2). In Section 4, we concentrate on quadratic lifting of characters, from G(F q ) to G(F q 2). After giving the necessary results on Frobenius-Schur indicators, we prove Theorem 4.2, which states that if χ is an irreducible character of G(F q 2), which is both invariant under the twisting operator and the lift of a real-valued irreducible character of G(F q ), then χ must be the character of a real representation. Finally, in Sections 5 and 6, we concentrate on real-valued characters which are regular or semisimple, and irreducible Deligne-Lusztig characters. We begin by showing that the central character of an irreducible character behaves well under Shintani lifting (Lemma 5.1), and we use this to describe how the Frobenius-Schur indicator of a real-valued semisimple or regular character is affected by Shintani lifting, in Theorem 5.2. In Section 6, we describe a bijection from the irreducible Deligne-Lusztig characters of G(F q ) to the irreducible Frobenius-invariant Deligne-Lusztig characters of G(F q m) (where G is now assumed to have connected center), which is known in many cases to coincide with Shintani lifting, by results of Gyoja [12] and Digne [6]. We conclude with Theorem 6.1, which states that this map restricts to give a bijection between the subsets of real-valued irreducible Deligne-Lusztig characters of G(F q ) and G(F q m), and this map has the expected effect on the Frobenius-Schur indicator. Acknowledgments. The author thanks Jeff Adler for several helpful discussions, and the referee for carefully reading this paper. This research was supported by NSF grant DMS Norm maps and Shintani lifting Let G be a connected reductive group over F q, defined over F q with some Frobenius map σ. Let m be a positive integer, and define G = G(F q m) = G σm and H = G(F q ) = G σ. In particular, G σ = H. Now, define G σ to be the split extension of G by the cyclic group σ of order m. That is, G σ = G, σ σ m = 1, σ 1 gσ = σ g for all g G. By a slight abuse of notation, we are letting σ denote both an automorphism of G, and an element in the group G σ. Two elements x, y G are said to be σ-conjugate in G if there is an element g G such that σ g 1 xg = y. As can be checked, two elements x, y G are σ-conjugate in G if and only if the elements σx and σy in the coset σg of G σ are conjugate in G σ. That is, the set of σ-conjugacy classes in G are in natural bijective correspondence with the set of G σ conjugacy classes in the coset σg. For any x G, by the Lang-Steinberg Theorem, there exists an α x G such that σ αx 1 α x = x. It follows that x G if and only if the element α x ( σm αx 1 ) is in H = G σ, where ) α x ( σm α 1 x ( m ) = α x ( σm i x) i=1 α 1 x. This allows us to define a map from the σ-conjugacy classes of G (or G σ conjugacy classes in σg) to the set of conjugacy classes in H = G σ. This map is given in the following Proposition, which was proven by Shintani [23] in the case of GL(n, F q ), and proven in the more general case by several authors, including Kawanaka [13], Gyoja [12], and Digne and Michel [7]. We call this map the Shintani norm map from G(F q m) to G(F q ). 2

3 Proposition 2.1 (Shintani norm map). Given a σ-conjugacy class [x] σ of G = G(F q m), and thus a G σ conjugacy class [σx] G σ in σg, let α x G be such that σ αx 1 α x = x. Define the map N Fq m/f q by N Fq m/f q ([x] σ ) = [α x ( σm αx 1 )] H, where the right-hand side is a conjugacy class in H = G(F q ). Then N Fq m/f q is a bijection from the set of σ-conjugacy classes of G to the set of conjugacy classes of H, and is independent of the choice of α x G. We may also consider the Shintani norm map from G(F q ) to G(F q ), where N Fq/Fq permutes the conjugacy classes of G(F q ). In this case, we denote N Fq/Fq by T Fq, or simply by T if the field F q is understood. If η is any complex-valued class function on G(F q ), define the twisting operator on η, denoted by TF q, or simply T, by T (η) = η T. It is a result of Asai [1, 2] and Digne and Michel [7] that if χ is an irreducible character of G(F q ) which is uniform, that is, if χ is in the span of the Deligne-Lusztig virtual characters of G(F q ), then T (χ) = χ. Conversely, Asai proves in [2] that if G is a classical group, and χ is an irreducible character of G(F q ) which is invariant under the twisting operator, then χ must be uniform. This statement is conjectured to hold for any reductive group G [15, Conjecture 1.3.3(ii)]. Now let m > 1, and let χ be a σ-invariant irreducible character of G = G(F q m). Since χ is assumed to be σ-invariant, then χ may be extended to an irreducible character of G σ. Let ψ be an irreducible character of the group H = G(F q ). We say that χ is a Shintani lift of ψ if there exists an irreducible character χ of G σ extending χ such that χ(σ[x] σ ) = ±ψ (N([x] σ )), for all x G, (2.1) where the sign ± is dependent only on χ (and is + if m is even), and N is the Shintani norm map N Fq m/f q. Shintani [23] first defined this lifting map for G = GL(n, F q ), with σ the standard Frobenius map, and proved that lifting gives a bijection from the irreducible characters of GL(n, F q ) to the irreducible Frobenius-invariant characters of GL(n, F q m). Kawanaka [14, 15] has defined a variation of the norm map N Fq m/f q by replacing it with (TF q ) r N Fq m/f q, where r is a positive integer depending on m and properties of G. Kawanaka studied lifting [14] by replacing the Shintani norm by this norm in the definition (2.1). This does not change anything in the case that ψ is invariant under the twisting operator, and so by Asai s result, when ψ is a uniform character. It is conjectured [15, Conjecture 1.3.3(i)] that Shintani lifting gives a bijection from irreducible characters of G(F q ) which are invariant under the twisting operator TF q to σ-invariant irreducible characters of G(F q m) which are invariant under the twisting operator TF q. If we replace the Shintani norm map with Kawanaka s norm m map, then it is conjectured [15, Conjecture 1.3.1] that Shintani lifting is a bijection from all irreducible characters of G(F q ) to all σ-invariant irreducible characters of G(F q m), under the condition that m is an admissible integer for the pair (G, σ) (see [14, 15] for the definition of admissible). Kawanaka has proven this statement for finite classical groups [13, 14] in the case that the characteristic p of F q does not divide m. It will be apparent that all of the results which we obtain in this paper hold whether we use the Shintani norm map, or the norm map of Kawanaka, for the definition of Shintani lifting in (2.1). The only place where this makes a difference is when we apply specific results of Kawanaka for the finite symplectic group, in the last paragraph of Section 5, where we are referring to Kawanaka s definition of lifting. 3

4 3 Lifting real-valued characters Suppose that (π, V ) is an irreducible representation of G = G(F q m) with character χ, which is σ-invariant, and let ψ be an irreducible character of H = G(F q ) such that χ is a Shintani lift of ψ. Then, we have σ π = π, and so there is a linear transformation J : V V such that σ π(g) J = J π(g), (3.1) for every g G, and since we may extend π to an irreducible representation π (with character χ, say) of G σ, we may choose J such that J m = I. By adjusting J by a sign if necessary, the character definition of Shintani lifting in (2.1) translates to the statement that there exists a transformation J : V V satisfying (3.1) such that J m = ±I, where J m = I if m is even, and tr(j π(g)) = ψ(n([g] σ )), (3.2) for every g G. Using the representation version of Shintani lifting in (3.2), and applying Schur orthogonality of matrix coefficients, Bump and Ginzburg [3, Theorem 12] proved the following result. Although they only state the result for G = GL(n, F q ) and σ the standard Frobenius map, the exact same proof works for the more general situation. Theorem 3.1 (Bump and Ginzburg [3]). Let χ be an irreducible character of G = G(F q m), and let ψ be an irreducible character of H = G(F q ). Then 1 { ψ(1)/χ(1) if χ is a Shintani lift of ψ, χ(g)ψ(n([g] σ )) = G 0 otherwise. g G We apply Theorem 3.1 in a crucial way to prove the following, which is the first main result. Theorem 3.2. Let χ be an irreducible character of G = G(F q m) such that χ is a Shintani lift of the irreducible character ψ of H = G(F q ). Then ψ is real-valued if and only if χ is real-valued. Proof. We first show that χ is the lift of at most one irreducible character of H, and the character ψ of H has at most one lift to G. These statements follow from well-known results, but we prove them for the sake of completeness. If χ is a lift of ψ 1 and ψ 2, then there are two extensions, χ and χ of χ to G σ, such that χ(σ[x] σ ) = ±ψ 1 (N([x] σ )) and χ(σ[x] σ ) = ±ψ 2 (N([x] σ )), for every x G. By [23, Lemma 1.3], there must exist an m-th root of unity, say ζ, such that χ(σx) = ζ χ(σx) for every x G. This implies that we must have ψ 1 (h) = ±ζψ 2 (h) for every h H (where the sign ± is independent of h). This is impossible, unless ψ 1 = ψ 2, and thus χ must be a lift of a unique irreducible character of H. Now suppose χ 1 = χ and χ 2 are two Shintani lifts of ψ, with extensions χ 1 and χ 2 to G σ which satisfy (2.1). If we assume that χ 1 = χ 1 G χ 2 G = χ 2, then by [23, Lemma 1.2], we have χ 1 (σg) χ 2 (σg) = 0. (3.3) g G However, from the assumption that χ 1 and χ 2 are both Shintani lifts of ψ, we have χ 1 (σg) = ± χ 2 (σg) for all g G, where the sign ± is independent of g. This would imply χ 1 (σg) χ 2 (σg) = ± χ 1 (σg) 2 0, g G g G 4

5 which contradicts (3.3). Therefore, χ 1 = χ 2, and ψ can have at most one Shintani lift to G. Now assume that χ is real-valued, and is a Shintani lift of ψ. By Theorem 3.1, we have 1 χ(g)ψ(n([g] σ )) = ψ(1) G χ(1). (3.4) g G If we conjugate both sides of (3.4), then since χ is assumed to be real-valued, we obtain 1 G g G χ(g)ψ(n([g] σ )) = ψ(1) χ(1) = ψ(1) χ(1). By Theorem 3.1 again, we must then have that χ is a Shintani lift of the irreducible character ψ. However, as we have shown above, χ is the lift of at most one irreducible character of H, and so we must have ψ = ψ, and so ψ is real-valued. Conversely, if we assume ψ is real-valued, then a similar argument shows that χ and χ are both Shintani lifts of ψ, which implies that χ = χ is real-valued. Gyoja and Lusztig (see [12, Section 9]) both pointed out that the group Sp(4, F q ) has irreducible unipotent characters which do not have Shintani lifts to Sp(4, F q 2). We may apply Theorem 3.2, along with reality results for Sp(2n, F q ), to obtain a general class of characters of the finite symplectic groups which do not have even degree Shintani lifts. Corollary 3.1. Let m be even, q 3(mod 4), and ψ an irreducible character of Sp(2n, F q ) which is not real-valued. Then ψ has no Shintani lift to Sp(2n, F q m). Proof. It follows from [9, Lemma 5.3] that when q 3(mod 4), the group Sp(2n, F q ) has irreducible characters which are not real-valued. If ψ is such a character, then by Theorem 3.2, any lift of ψ to Sp(2n, F q m) must also take non-real values. However, since m is even, q m 1(mod 4), and it follows from results of Wonenburger [27, Theorem 2] that in this case, all irreducible characters of Sp(2n, F q m) must be real-valued, and so ψ cannot have a Shintani lift. Now consider the case G( F q ) = GL(n, F q ), with the standard Frobenius map σ, defined by σ (x ij ) = (x q ij ), and with the standard Frobenius map composed with the inverse-transpose automorphism (or the twisted Frobenius), which we denote by σ, so σ (x ij ) = (x q ji ) 1. Then G( F q ) σ = GL(n, F q ) and G( F ) σ q = U(n, F q ), the finite unitary group, are both contained in G( F q ) σ2 = G( F q ) σ2 = GL(n, F q 2). By the original results of Shintani [23], lifting is a bijection from the irreducible characters of GL(n, F q ) to the σ-invariant irreducible characters of GL(n, F q 2), a map which we will denote by sh. By results of Kawanaka [13], Shintani lifting gives a bijective map (when q is odd) from irreducible characters of U(n, F q ) to the σ-invariant irreducible characters of GL(n, F q 2), which we denote by sh. By Theorem 3.2, both of these maps restrict to bijections of the subsets of real-valued characters. Also, irreducible characters of GL(n, F q 2) which are invariant under σ and σ are invariant under the inverse-transpose map, which are thus real-valued, since every element of GL(n, F q 2) is conjugate to its transpose, and χ(g 1 ) = χ(g). From these observations, we obtain the following. Corollary 3.2. Let q be the power of an odd prime. Then the map sh 1 sh is a bijection from the irreducible real-valued characters of GL(n, F q ) to the irreducible real-valued characters of U(n, F q ). We remark that Gow [10] showed that the number of irreducible real-valued characters of GL(n, F q ) is equal to the number of irreducible real-valued characters of U(n, F q ), by giving a bijection between the real conjugacy classes of these groups. 5

6 4 Quadratic Shintani lifting For a finite group G, with a complex representation (π, V ), we say that π is a real representation of G if there is a basis for V such that for every g G, the matrix for π(g) with respect to this basis is a matrix with all real entries. For any irreducible complex representation π of G with character χ, let ε(χ) (or ε(π)) denote the Frobenius-Schur indicator of χ, which takes the value 1 if (π, V ) is a real representation, 1 if χ is real-valued but (π, V ) is not a real representation, and 0 if χ is not real-valued. If ε(χ) = 1, χ is called orthogonal, and if ε(χ) = 1, χ is called symplectic. It is a classical result of Frobenius and Schur that ε(χ) = (1/ G ) g G χ(g2 ). Now let τ be an automorphism of G such that τ 2 is the identity map. If χ is an irreducible character of G, define the twisted Frobenius-Schur indicator of χ with respect to τ, denoted by ε τ (χ), to be the sum ε τ (χ) = (1/ G ) g G χ(τ gg). When τ is the identity automorphism, we just have ε τ (χ) = ε(χ). It is a result of Kawanaka and Matsuyama [17] that the invariant ε τ (χ) has the following characterization, making it a natural generalization of the original indicator of Frobenius and Schur. If χ is the character of the irreducible complex representation (π, V ) of G, then ε τ (χ) = 1 if there exists a basis for V such that the matrix representation R for π with respect to this basis satisfies R( τ g) = R(g) for every g G, ε τ (χ) = 1 if τ χ = χ but there does not exist such a basis for V, and ε τ (χ) = 0 if τ χ χ. Consider the split extension G τ of G by an order 2 automorphism τ, and an irreducible character χ of G. It follows from Frobenius reciprocity that the induced character χ G τ is reducible if and only if χ is τ-invariant, that is, τ χ = χ. In the case that χ is τ-invariant, we have χ G τ = χ + χ, where χ and χ are both irreducible characters of G τ which extend χ. The following result comes directly from these facts and the formulas for the standard and twisted Frobenius-Schur indicators given in the previous paragraphs. Lemma 4.1. Let χ be an irreducible character of G, and let τ be an order 2 automorphism of G. If τ χ = χ, then for any irreducible extension χ of χ to G τ, we have ε( χ) = 1 2 (ε(χ) + ε τ (χ)). We now consider the situation when G = G(F q 2), and H = G(F q ) = G σ, where G is a connected reductive linear algebraic group defined over F q with Frobenius map σ. Then σ is an order 2 automorphism of G, and we may consider the indicator ε σ (χ) of an irreducible character χ of G. We will need the following result of Kawanaka [16], which relates the indicators ε σ (χ) to the decomposition of the permutation character of G on H. Theorem 4.1 (Kawanaka [16]). Let χ be an irreducible character of G = G(F q 2) which is invariant under the twisting operator T F q 2, and let H = G(F q). Then the multiplicity of χ in the permutation character of G(F q 2) on G(F q ) is equal to ε σ (χ), that is, χ, 1 G H = ε σ(χ). Theorem 4.1 was first proved in the case that G = GL(n, F q 2), and σ is either the standard Frobenius or the twisted Frobenius, by Gow [10]. Lusztig [18] improved on the results of Kawanaka [16] by finding multiplicities of any character in the permutation character, while Prasad [21] proved results similar to Theorem 4.1, under a weaker assumption on the underlying algebraic group. Shoji and Sorlin [25, Section 1] defined an indicator for an automorphism of degree m 2 (similar to those considered by Bump and Ginzburg [3]), and related them to the permutation character of G(F q m) on G(F q ) through Shintani descent. In the quadratic case, because of the close relationship between the twisted and standard Frobenius-Schur indicators, we are able to obtain the following result. 6

7 Theorem 4.2. Let χ be an irreducible character of G(F q 2), invariant under the twisting operator, which is the Shintani lift of an irreducible real-valued character of G(F q ). Then ε(χ) = 1. Proof. Let G = G(F q 2), H = G(F q ), and let ψ be the irreducible real-valued character of H such that χ is the Shintani lift of ψ. By Theorem 3.2, χ must be real-valued as well. Let χ be the extension of χ to G σ such that χ(σg) = ψ(n([g] σ )) for all g G. Since ψ is real-valued, then χ is real-valued on the coset Gσ, and since χ extends χ, which is real-valued as well, then χ is real-valued, and so ε( χ) = ±1. Since χ is the Shintani lift of ψ, then in particular χ is σ-invariant, and since χ is real-valued, then σ χ = χ, and so ε σ (χ) = ±1. By Theorem 4.1, since χ is invariant under the twisting operator, then ε σ (χ) is given by the multiplicity of χ in 1 G H, and thus must be non-negative. We must then have ε σ (χ) = 1. From Lemma 4.1, we have ε( χ) = 1 (ε(χ) + 1). 2 We have shown that ε( χ) = ±1, and since ε(χ) = ±1 as well, the only possibility is ε( χ) = 1 and ε(χ) = 1, as desired. Theorem 4.2 may be paraphrased as saying that real-valued Frobenius-invariant characters of G(F q 2) tend to be orthogonal. We do not know of an example of an irreducible real-valued character of a group G(F q 2) which is in the image of Shintani lifting, not invariant under the twisting operator, and yet is symplectic rather than orthogonal. If there is such an example, then it will most likely be a character of an exceptional group (see Corollary 5.1 and the remarks preceding it). 5 Central elements, regular and semisimple characters For any finite group K, we let Z(K) denote the center of K. If (π, V ) is an irreducible representation of K, then it follows from Schur s Lemma that π(z) acts as a scalar on V for any z Z(K). We let ω π (z) denote this scalar, or ω χ (z) where χ is the character of π, so that ω χ : K C is a multiplicative homomorphism called the central character for π (or χ). We first observe that the central character behaves nicely under Shintani lifting. Lemma 5.1. Let χ be an irreducible character of G(F q m) which is the Shintani lift of the irreducible character ψ of G(F q ), and let z Z(G(F q )). Then ω χ (z) = ω ψ (z) m. Proof. Since χ is a Shintani lift of ψ, then there is an extension χ of χ to G σ such that χ(σx) = ±ψ(n([x] σ )) for every x G. In particular, since N([1] σ ) = [1], then χ(σ) = ±ψ(1). By [4, Proposition 3.6.8], Z(G( F q )) σ = Z(G(F q )), and so z Z(G( F q )). If we choose α z G( F q ) such that σ αz 1 α z = z, then ) α z ( σm α 1 z ( m ) = α z ( σm i z) i=1 α 1 z That is, N([z] σ ) = [z m ], and so χ(σz) = ±ψ(z m ). Now, we have = α z z m α 1 z = z m. ±ψ(z m ) = ±ω ψ (z m )ψ(1) = χ(σz) = ω χ (z) χ(σ), and since χ(σ) = ±ψ(1), we have ω χ (z) = ω ψ (z) m. 7

8 Note that the proof of Lemma 5.1 is the same if we consider lifting defined using Kawanaka s norm, since central elements are invariant under the map T Fq. We now consider the case when G is a connected reductive group with connected center which is defined over F q. An irreducible character χ of G(F q ) is called a regular character if it appears in the decomposition into irreducibles of the Gelfand-Graev character of G(F q ), which is obtained by inducing a non-degenerate linear character from a maximal unipotent subgroup. A semisimple character of G(F q ) is an irreducible character which takes a nonzero average value on regular unipotent elements. Equivalently, a semisimple character is an irreducible which appears in the decomposition of the character obtained by applying the duality functor (or Alvis-Curtis dual) to the Gelfand-Graev character of G(F q ). That is, semisimple characters are those which are obtained, up to a sign, when applying the duality functor to regular characters. When p = char(f q ) is a good prime for G, then the semisimple characters of G(F q ) are exactly the irreducible characters with degree not divisible by p. For a discussion of regular characters, semisimple characters, and the duality functor, see [8, Chapters 8 and 14] or [4, Chapter 8]. If a regular or semisimple character is real-valued, then there is always a central element which controls the Frobenius-Schur indicator of the character. The first version of the following result was obtained by Prasad [21, Theorem 3], and was improved to the following form by the author [26, Theorem 4.2]. Theorem 5.1 (Prasad [21], Vinroot [26]). Let G be a connected reductive group with connected center over F q, defined over F q. Then there exists an element z Z(G(F q )) such that, for any m 1, and any real-valued regular or semisimple character χ of G(F q m), we have ε(χ) = ω χ (z). We now apply the results above, along with a result of Gyoja [12] to see that the Frobenius- Schur indicators of regular and semisimple character behave nicely under Shintani lifting. Theorem 5.2. Let G be a connected reductive group with connected center which is defined over F q. Let χ be an irreducible character of G(F q m) which is a Shintani lift of a regular or semisimple real-valued character ψ of G(F q ). Then { ε(ψ) if m is odd, ε(χ) = 1 if m is even. Proof. Since ψ is a real-valued character, then by Theorem 3.2, χ is also real-valued. Gyoja proved that if ψ is regular, and has a Shintani lift χ, then χ must also be regular, and if ψ is semisimple, then χ must also be semisimple [12, Lemmas 6.3 and 6.4]. By Theorem 5.1, there exists an element z Z(G(F q )) such that ε(χ) = ω χ (z) and ε(ψ) = ω ψ (z). Finally, by Lemma 5.1 we have ε(χ) = ω χ (z) = ω ψ (z) m = ε(ψ) m, which is equal to 1 when m is even, and ε(ψ) when m is odd. We suspect that Theorem 5.2 holds for any real-valued irreducible χ which is a Shintani lift, or at least for those characters which are invariant under the twisting operator on characters of G(F q m). This is the content of Theorem 4.2 in the case m = 2, without the assumption that the center is connected. Suppose that Theorem 5.2 holds for some irreducible character χ, which is the lift of ψ, and let χ denote the irreducible character obtained by applying the duality functor to χ (where the correct sign is chosen to obtain a true character). McGovern [19, Theorem 4.3] has shown that χ is then the Shintani lift of ψ. By a result of the author [26, Theorem 3.2], we also have ε(χ) = ε(χ ) and ε(ψ) = ε(ψ ), which implies Theorem 5.2 would also hold for the character χ. That is, if the conclusion of Theorem 5.2 holds for an irreducible character χ, then it holds also for the character χ. 8

9 There are several groups for which it is known that all real-valued irreducible characters are characters of real representations, such as GL(n, F q ) (by [21, Theorem 4], for example) and SO ± (n, F q ) for q odd (by [11, Theorem 2]). In these cases, there is nothing to check for the conclusion of Theorem 5.2 to hold for all irreducible characters in the image of Shintani lifting. On the other hand, for the finite symplectic group Sp(2n, F q ), when q is the power of an odd prime, Gow [11, Theorem 1] proved that every irreducible real-valued character χ satisfies ε(χ) = ω χ ( I). In this case, we may apply Lemma 5.1 and Theorem 3.2 to obtain the conclusion in Theorem 5.2 for all irreducible characters in the image of Shintani lifting, as in the following. Corollary 5.1. Let q be the power of an odd prime. Let χ be an irreducible character of Sp(2n, F q m) which is the Shintani lift of the real-valued irreducible character ψ of Sp(2n, F q ). Then { ε(ψ) if m is odd, ε(χ) = 1 if m is even. When m is odd and relatively prime to q, Kawanaka [14] proved that lifting gives a bijection from irreducible characters of Sp(2n, F q ) to the Frobenius-invariant irreducible characters of Sp(2n, F q m). It follows from Corollary 5.1 and Theorem 3.2 that in this case, if ψ is any irreducible character of Sp(2n, F q ), and χ is its Shintani lift to Sp(2n, F q m), then ε(χ) = ε(ψ). 6 Deligne-Lusztig characters Let G be a connected reductive group over F q, with connected center, defined over F q with Frobenius map σ. If T is a σ-stable maximal torus of G, and θ a multiplicative character of T(F q ), we let R T,θ denote the Deligne-Lusztig virtual character (see [5]) of G(F q ) corresponding to the pair (T, θ). Recall that ±R T,θ is irreducible if and only if (T, θ) is in general position, that is, there is no non-trivial element of the Weyl group W (T) σ which maps (T, θ) to itself. If (T, θ ) is another pair, and ±R T,θ is irreducible, then R T,θ = R T,θ if and only if there is a unique element w W (T) σ such that w T = T and w θ = θ (see [4, Theorem 7.3.4]). Given a σ-stable maximal torus T of G, we have T is also a σ m -stable maximal torus for any m > 1, and so we may consider both of the finite groups T(F q ) and T(F q m). Define a homomorphism, which we denote by Nm Fq m/f q (or simply Nm), by Nm Fq m/f q : T(F q m) T(F q ), Nm(x) = ( σm i x). Since T is itself a connected reductive group, which happens to be abelian, the only difference between the map Nm and the map N Fq m/f q in Proposition 2.1 is that we have defined Nm element-wise, rather than on σ-conjugacy classes. In particular, by Proposition 2.1, Nm is a surjective homomorphism with fibers being σ-conjugacy classes of T(F q m). If θ is a multiplicative homomorphism of T(F q ), where T is a σ-stable maximal torus of G, then θ Nm is a multiplicative homomorphism of T(F q m). Gyoja studied the map (T, θ) (T, θ Nm), and showed that it induces a map from irreducible Deligne-Lusztig characters ±R T,θ of G(F q ) to σ-invariant irreducible Deligne-Lusztig characters of G(F q m) [12, Lemmas 6.6 and 6.9]. Under certain conditions on p = char(f q ), q, and m, Gyoja [12, Theorems 7.2 and 8.4] proved that this map coincides with Shintani lifting from G(F q ) to G(F q m). Digne [6, Corollaire 3.6] proved a generalization of Gyoja s result for Shintani descent of virtual Deligne-Lusztig characters, under the conditions that p is a good prime for G and (m, p) = 1. Since irreducible Deligne-Lusztig characters are both regular and semisimple (see [4, Section 8.4], for example), 9 m 1 i=0

10 we could apply Theorem 5.2 to make conclusions about real-valued irreducible Deligne-Lusztig characters under these conditions. However, we are able to prove these results independent of the results on Shintani lifting of irreducible Deligne-Lusztig characters, and also under no conditions on p, q, or m. That is, we prove directly that real-valued irreducible Deligne-Lusztig behave nicely under the bijection induced by the map (T, θ) (T, θ Nm). We conclude with the following result, which improves [26, Theorem 5.1]. Theorem 6.1. Let ψ = ±R T,θ be an irreducible Deligne-Lusztig character of G(F q ), and let χ = ±R T,Θ be the irreducible Deligne-Lusztig character of G(F q m), where Θ : T(F q m) C is defined as Θ = θ Nm. Then ψ is real-valued if and only if χ is real-valued. When they are real-valued, we have { ε(ψ) if m is odd, ε(χ) = 1 if m is even. Proof. If ψ is real-valued, then R T,θ = R T,θ = R T,θ by [8, Proposition 11.4], and so there is a unique s W (T) σ such that s θ = θ. This implies s 2 = 1, since s2 θ = θ and ψ is assumed to be irreducible. For any y T(F q m), we have Nm(sys) = snm(y)s, since σ s = s. Now, s Θ(y) = θ(snm(y)s) = s θ(nm(y)) = Θ(y). So, s Θ = Θ, where s W (T) σ W (T) σm. Thus χ = ±R T,Θ is real-valued. If χ is real-valued, then there is a unique w W (T) σm such that w Θ = Θ, and again we have w 2 = 1. We claim that σ w = w, and to show this it is enough to prove that σw Θ = Θ. For any y T(F q m), we have Nm( σ wy σ w) = Nm(w( σm 1 y)w). Now, σw Θ(y) = θ(nm(w( σm 1 y)w)) = w Θ( σm 1 y) = Θ( σm 1 y) = Θ(y), since Θ is σ-invariant. We now have w W (T) σ, as claimed. For any x T(F q ), we may choose a y T(F q m) such that Nm(y) = x, since Nm is surjective, and so w θ(x) = θ(wnm(y)w) = w Θ(y) = Θ(y) = θ(x). Since w θ = θ, we have ψ is real-valued. If χ and ψ are real valued, then by Theorem 5.1, there is an element z Z(G(F q )) such that ε(χ) = ω χ (z) and ε(ψ) = ω ψ (z). It follows from [4, Proposition and Theorem 7.5.1] that ω χ (z) = Θ(z) and ω ψ (z) = θ(z) (see also [26, Lemma 5.1]). Since Nm(z) = z m, we have which is ε(ψ) if m is odd, and 1 if m is even. References ε(χ) = Θ(z) = θ(nm(z)) = θ(z) m = ε(ψ) m, [1] T. Asai, On the zeta functions of the varieties X(w) of the split classical groups and the unitary groups, Osaka J. Math 20 (1983), no. 1, [2] T. Asai, On the twisting operators on the finite classical groups, Algebraic and topological theories (Kinosaki, 1984), , Kinokuniya, Tokyo, [3] D. Bump and D. Ginzburg, Generalized Frobenius-Schur numbers, J. Algebra 278 (2004), no. 1,

11 [4] R. Carter, Finite groups of Lie type. Conjugacy classes and complex characters, Pure and Applied Mathematics (New York), John Wiley & Sons, Inc., New York, [5] P. Deligne and G. Lusztig, Representations of reductive groups over finite fields, Ann. of Math. (2) 103 (1976), no. 1, [6] F. Digne, Descente de Shintani et restriction des scalaires, J. London Math. Soc. (2) 59 (1999), no. 3, [7] F. Digne and J. Michel, Fonctions L des variétés de Deligne-Lusztig et descente de Shintani, Mém. Soc. Math. France (N.S.) No. 20 (1985). [8] F. Digne and J. Michel, Representations of finite groups of Lie type, London Mathematical Society Student Texts, 21, Cambridge University Press, Cambridge, [9] W. Feit and G.J. Zuckerman, Reality properties of conjugacy classes in spin groups and symplectic groups, In Algebraists homage: papers in ring theory and related topics (New Haven, Conn., 1981), in: Contemp. Math., vol. 13, Amer. Math. Soc., Providence, R.I., 1982, pp [10] R. Gow, Two multiplicity-free permutation representations of the general linear group GL(n, q 2 ), Math. Z. 188 (1984), [11] R. Gow, Real representations of the finite orthogonal and symplectic groups of odd characteristic, J. Algebra 96 (1985), no. 1, [12] A. Gyoja, Liftings of irreducible characters of finite reductive groups, Osaka J. Math. 16 (1979), no. 1, [13] N. Kawanaka, On the irreducible characters of the finite unitary groups, J. Math. Soc. Japan 29 (1977), no. 3, [14] N. Kawanaka, Lifting of irreducible characters of finite classical groups. I, J. Fac. Sci. Univ. Tokyo 28 (1982), [15] N. Kawanaka, Shintani lifting and Gelfand-Graev representations, The Arcata Conference on Representations of Finite Groups (Arcata, Calif., 1986), , Proc. Sympos. Pure Math., 47, Part 1, Amer. Math. Soc., Providence, RI, [16] N. Kawanaka, On subfield symmetric spaces over a finite field, Osaka J. Math. 28 (1991), no. 4, [17] N. Kawanaka and H. Matsuyama, A twisted version of the Frobenius-Schur indicator and multiplicity-free representations, Hokkaido Math. J. 19 (1990), no. 3, [18] G. Lusztig, G(F q )-invariants in irreducible G(F q 2)-modules, Represent. Theory 4 (2000), [19] K. McGovern, On the lifting theory of finite groups of Lie type, Pacific J. Math. 113 (1984), no. 2, [20] G. Navarro, L. Sanus, and P.H. Tiep, Real characters and degrees, Israel J. Math. 171 (2009), no. 1,

12 [21] D. Prasad, On the self-dual representations of finite groups of Lie type, J. Algebra 210 (1998), no. 1, [22] D. Prasad, Distinguished representations for quadratic extension, Compositio Math. 119 (1999), no. 3, [23] T. Shintani, Two remarks on irreducible characters of finite general linear groups, J. Math. Soc. Japan 28 (1976), no. 2, [24] T. Shoji, Shintani descent for exceptional groups over a finite field, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 34 (1987), no. 3, [25] T. Shoji and K. Sorline, Subfield symmetric spaces for finite special linear groups, Represent. Theory 8 (2004), [26] C.R. Vinroot, Duality, central characters, and real-valued characters of finite groups of Lie type, to appear in Osaka J. Math. [27] M.J. Wonenburger, Transformations which are products of two involutions, J. Math. Mech. 16 (1966), Department of Mathematics College of William and Mary P. O. Box 8795 Williamsburg, VA vinroot@math.wm.edu 12