arxiv: v1 [math.rt] 18 Sep 2007

Transcription

1 Values of characters sums for finite unitary groups Nathaniel Thiem and C. Ryan Vinroot arxiv: v [math.rt] 8 Sep 2007 Abstract A known result for the finite general linear group GL(n,F q ) and for the finite unitary group U(n,F q 2) posits that the sum of the irreducible character degrees is equal to the number of symmetric matrices in the group. Fulman and Guralnick extended this result by considering sums of irreducible characters evaluated at an arbitrary conjugacy class of GL(n,F q ). We develop an explicit formula for the value of the permutation character of U(2n,F q 2) over Sp(2n,F q ) evaluated an an arbitrary conjugacy class and use results concerning Gelfand-Graev characters to obtain an analogous formula for U(n,F q 2) in the case where q is an odd prime. These results are also given as probabilistic statements. Introduction An important topic of interest in probabilistic group theory is the study of the statistical behavior of random conjugacy classes. Fulman and Guralnick study this question for the finite general linear group by evaluating several character sums at arbitrary elements [8]. One of the main tools used there is a model for the group GL(n,F q ), which is a way of writing the sum of all of the irreducible characters of the group as a sum of characters which are induced from linear characters of subgroups. The model for GL(n,F q ) is obtained by a sum of Harish-Chandra induction of Gelfand-Graev characters and permutation characters of the finite symplectic group in various Levi subgroups. Values of the Gelfand-Graev characters of the finite general linear group are known, and the values of the permutation character of the finite symplectic group are obtained using results of GL(2n,F q )-conjugacy in Sp(2n,F q ) due to Wall [22]. The purpose of this paper is to make the parallel computations for the finite unitary group U(n,F q 2), which involve several structural differences from [8]. As in [8], we rely on a model for the finite unitary group, and the values for the permutation character of the finite symplectic group. The model for the finite unitary group involves replacing Harish-Chandra induction by the more general Deligne-Lusztig induction, and can be found in [20]. To compute the permutation character, we use [22] and [7] to translate the conjugacy class information from Sp(2n,F q ) to U(2n,F q 2) (in the case of GL(n,F q ), the corresponding results are explicitly in [22]). The main results obtained are only proven for odd q, because the decomposition of the permutation character of U(2n,F q 2) on Sp(2n,F q ) is not known for the case that q is even. An analogous decomposition for the case q even would immediately imply the results here extend to all q. The organization of the paper is as follows. Section 2 reviews definitions and results on partitions and symmetric functions, with a particular emphasis on the Hall-Littlewood symmetric Stanford University: thiem@math.stanford.edu University of Arizona: vinroot@math.arizona.edu MSC 2000: 20C33 (05E05) Keywords: finite unitary group, character sums, conjugacy, Hall-Littlewood functions

2 functions. Section 3 describes the conjugacy classes of the finite general linear, unitary, and symplectic groups, and gives the sizes of centralizers in terms of the combinatorial information which parameterize these conjugacy classes. The main results are in Section 4. In particular, Theorem 4.3 computes the value of the permutation character Ind U(2n,F q 2 ) Sp(2n,F q) () at an arbitrary class of U(2n,F q 2), and Theorem 4.3 evaluates the sum χ Irr(U(n,F q 2)) evaluated at an arbitrary class of U(n,F q 2). Finally, we translate these main results into probabilistic statements in Section 5. χ 2 Partitions and symmetric functions This section will review some fundamental definitions and results used in this paper, including partitions, Hall polynomials, and symmetric functions. 2. Partitions Let P = n 0P n, where P n = {partitions of n}. For ν = (ν,ν 2,...,ν l ) P n, the length l(ν) of ν is the number of parts l of ν, and the size ν of ν is the sum of the parts n. Let ν denote the conjugate of the partition ν. We also write ν = ( m (ν) 2 m 2(ν) ), where m i (ν) = {j Z ν j = i}. Let o(ν) denote the number of odd parts of ν, and define n(ν) to be n(ν) = j (j )ν i. The following will be used in calculating a sign in one of the main results. Lemma 2.. Let ν P be such that either m i (ν) 2Z 0 whenever i is even, or m i (ν) 2Z 0 whenever i is odd. Then ( ν o(ν))/2 ν /2 +n(ν) (mod 2). Proof. An alternate statement of the Lemma is if ν satisfies one of the conditions above and ν is even, then n(ν) + o(ν)/2 is even, and if ν satisfies the first condition above and ν is odd, then n(ν)+(o(ν) )/2 is even. First suppose that m i (ν) is even whenever i is odd, so that ν and o(ν) are both even. This implies that exactly half of the odd parts of ν are of the form ν 2j. Consequently, n(ν)+o(ν)/2 = j (j )ν j +o(ν)/2 2

3 is even, giving the result. Now suppose that m i (ν) is even whenever i is even, and further suppose that ν is even, so that o(ν) is even as well. Then exactly half of the even parts of ν are of the form ν 2j, which implies that exactly half of the odd parts of ν are of this form as well. Again we have that n(ν)+o(ν)/2 is even. Finally, suppose that m i (ν) is even whenever i is even, but that ν is odd, so that o(ν) is odd. This implies that l = l(ν) is also odd. Now choose an odd number k such that k ν l, and define a new partition ν by ν = (ν,ν 2,...,ν l,k). Now, ν satisfies the condition that m i ( ν) is even whenever i is even, except now we have that ν is even and o( ν) = o(ν)+ is even as well. From the previous case, we have that n( ν)+o( ν)/2 is even. We also have n( ν) n(ν) = lk and o( ν)/2 (o(ν) )/2 = are odd. Therefore n(ν)+(o(ν) )/2 is even. 2.2 Hall polynomials Let R be a discrete valuation ring with maximal ideal, and with finite residue field of size q. Finite R-modules are then parameterized by partitions, where the module M of type λ P is isomorphic to l(λ) R/ λ i. i= Given a finite R-module M of type λ, the number of submodules N of type µ such that M/N is of type ν is a polynomial in q (see [7, Chapter II]), and is the called the Hall polynomial, written gµν λ (q). We may thus consider the Hall polynomial in some indeterminate t, gλ µν (t). Note that we have gµν(t) λ = 0 unless µ + ν = λ and µ,ν λ. In particular, we have where denotes the empty partition. 2.3 The ring of symmetric functions g λ ν (t) = { if ν = λ, 0 otherwise, A symmetric polynomial f Z[x,x 2,...,x n ] is apolynomial which is invariant undertheaction of the symmetric group S n permuting the variables. Let Λ n be the set of symmetric polynomials in Z[x,x 2,...,x n ], so that Λ n = Z[x,x 2,...,x n ] Sn. Following [7, I.2], let Λ k n denote the homogeneous elements in Λ n of degree k, and for m > n, we have the natural projection map which may be used to form the inverse limit p k m,n : Λ k m Λ k n, Λ k = lim Λ k n. 3 (2.)

4 We then define Λ, the ring of symmetric functions over Z in the countably infinite list x = {x,x 2,...} of independent variables, to be Λ k, and for t C, let k Λ[t] = Z[t] Z Λ. 2.4 Hall-Littlewood symmetric functions A symmetric function over Z[t] of central importance here is the Hall-Littlewood symmetric function P λ (x;t), where λ P. A thorough discussion of Hall-Littlewood functions may be found in [7, Chapter III], but we give the definition here for completeness. Let λ P such that l(λ) n, where we let λ i = 0 if i > l(λ). For any σ S n and polynomial f in x,...,x n, let σ(f) denote the action of σ on f by permuting the variables. The Hall-Littlewood symmetric polynomial is defined to be P λ (x,...,x n ;t) = i 0 m i (λ) j= t ( t j σ x λ x i tx ) j xλn n. x σ S n i<j i x j Then the Hall-Littlewood symmetric function P λ (x;t) is obtained by finding the image of the Hall-Littlewood symmetric polynomials through the limiting process described above. The set of functions P λ (x;t), as λ ranges over all partitions, forms a Z[t]-basis of Λ[t] ([7, III.2.7]). Hall polynomials show up as coefficients when products of Hall-Littlewood functions are expressed as a sum of Hall-Littlewood functions, as given in the following result, found in [7, III.3]. Lemma 2.2. t n(µ) P µ (x;t)t n(ν) P ν (x;t) = λ Pg λ µν(/t)t n(λ) P λ (x;t). We will use the following identity, which is obtained in [7, III.3, Example ]. Lemma 2.3. λ P l(λ) t n(λ) j=(+t j y)p λ (x;t) = j +x j y x j. We may also view a partition λ P as a set of ordered pairs (i,j) of positive integers, where j λ i and i λ j. For a parameter t, we define the function c λ(t) as λ c λ (t) = j i+ ). (2.2) ( t (i,j) λ,λ i =j λ j For the pair (i,j) λ, the quantity λ i j is called the arm of (i,j), and λ j i is called the leg of (i,j). Note that we also have c λ (t) = ( t j ). (2.3) i j odd j m i (λ) The following identity involving Hall-Littlewood functions and the function c λ (t) was proven by Kawanaka in [3], and a purely combinatorial proof was later given by Fulman and Guralnick in [8]. 4

5 Theorem 2. (Kawanaka). λ P m k (λ) even for k odd t (o(λ) λ )/2 c λ (t)p λ (x;t) = i j x i x j x i x j /t. The next identity, also involving Hall-Littlewood functions and c λ (t), is due to Fulman and Guralnick [8, Theorem 2.8], and is crucial to obtaining our main result. Theorem 2.2 (Fulman, Guralnick). λ P m k (λ) even for k even c λ (t)p λ (x;t) t (o(λ)+ λ )/2 = +x i /t x i x j +x i i x i j i x j /t. 3 The groups and their conjugacy classes After reviewing the definitions of the finite classical groups and their orders, this section analyzes how their conjugacy classes interact and computes the corresponding centralizer subgroup sizes. 3. The finite classical groups Let Ḡn = GL(n, F q ) be the general linear group with entries in the algebraic closure of the finite field F q with q elements. Let F : Ḡ n Ḡn (a ij ) (a q ij ) be the usual Frobenius homomorphism. Then the finite general linear groups are given by The finite unitary groups are given by Let GL(n,F q k) = Stab Ḡn (F k ). U(n,F q 2) = {(a ij ) Ḡn (a q ji ) = (a ij )}. J = and let w = (w ij ) Ḡn be an element such that (w q ji ) (w ij ) = J, whose existence is guaranteed by the Lang-Steinberg Theorem. Then the finite symplectic groups are given by Sp(2n,F q ) = {(a ij ) GL(2n,F q ) (a ij )J(a ji ) = J} = {(a ij ) U(2n,F q 2) (a ij )w Jw(a ji ) = w Jw,wgw GL(2n,F q )}. Using the second definition above, we see that Sp(2n,F q ) may be viewed as a subgroup of U(2n,F q 2)., 5

6 We will only deal with finite orthogonal groups (see, for example, [9] for a definition) in the case that q is odd. When m is even, O + (m,f q ) and O (m,f q ) are the split and non-split finite orthogonal groups, respectively, and when m is odd, O(m,F q ) is the unique finite orthogonal group. The orders of the groups of interest in this paper are GL(n,F q ) = q n(n )/2 (q n )(q (n ) ) (q ) U(n,F q 2) = q n(n )/2 (q n ( ) n )(q (n ) ( ) (n ) ) (q +)) Sp(2n,F q ) = q n2 (q 2n )(q 2(n ) ) (q 2 ) O ± (2n,F q ) = 2q n2 (±q n )(q 2(n ) )(q 2(n 2) ) (q 2 ) O(2n+,F q ) = 2q n2 (q 2n )(q 2(n ) ) (q 2 ). 3.2 Conjugacy classes This section examines the conjugacy classes of the following groups, and the behavior of conjugacy classes when considering one group as it is contained in another: GL(2n,F q 2) GL(2n,F q ) U(2n,F q 2) Sp(2n,F q ) Define sets, and Φ = Φ where for k Z, Φ k = {F k -orbits in Ḡ}, Φ 2 = { -orbits in Φ 2 }, Φ = { -orbits in Φ}, where where : Φ 2 Φ 2 s = {s,...,s k } s = {s q,...,s q k } : Φ Φ s = {s,...,s k } s = {s,...,s k }. Note that there is an injective map { } Subsets of Ḡ Fq [X] s = {s,s 2,...,s k } f s = (X s )(X s 2 ) (X s k ), that sends Φ k to the F q k-irreducible polynomials in F q k[x]. Thus, we can identify the sets of orbits Φ k, Φ 2 and Φ with sets of polynomials in the variable X. Also, for s = {s,...,s k }, we write s q = {s q,...,sq k }. A Φ-partition λ : Φ P is a function which assigns a partition λ (s) to each orbit s Φ. We may also think of a Φ-partition as a sequence of partitions indexed by Φ. The size of λ is λ = s Φ s λ (s), where s is the size of the orbit s. Let P Φ = n 0P Φ n, where PΦ n = {Φ-partitions of size n}. 6

7 We can define Φ k -partitions, Φ 2 -partitions, and Φ -partitions similarly. By Jordan rational form (see [7, IV.2]), { Conjugacy classes of GL(n,F q k) } P Φ k n such that the conjugacy class corresponding to λ P Φ k has characteristic polynomial f s λ(s). s Φ k Furthermore, Wall [22] and Ennola [5] established { Conjugacy classes of U(n,F q 2) } P Φ 2 n such that the conjugacy class corresponding to λ P Φ 2 has characteristic polynomial f s λ(s). s Φ 2 The following Lemma addresses the relationship between the conjugacy classes of these groups. By a slight abuse of notation, we will write = {} Φ and = { } Φ. So, s = corresponds to the polynomial X, and s = to X +. Lemma 3.. (a) The element g λ GL(n,F q 2), in the conjugacy class given by λ P Φ 2 n, is conjugate to an element of GL(n,F q ) if and only if the Φ-partition µ given by is well-defined. µ (s sq) = λ (s), for (s s q ) Φ, (b) The element g λ GL(n,F q 2), in the conjugacy class given by λ P Φ 2 n, is conjugate to an element in U(n,F q 2) if and only if the Φ-partition µ given by is well-defined. µ (s s) = λ (s), for (s s) Φ 2, (c) Let q be odd. The element g λ GL(2n,F q ), in the conjugacy class given by λ P Φ 2n, is conjugate to an element in Sp(2n,F q ) if and only if the Φ -partition µ given by µ (s s ) = λ (s), for (s s ) Φ, is well-defined and m j (λ () ),m j (λ ( ) ) 2Z 0 for all odd j Z. 7

8 (d) Let q be odd. The element g λ U(2n,F q 2), in the conjugacy class given by λ P Φ 2 2n, is conjugate to an element in Sp(2n,F q ) if and only if the Φ -partition µ given by µ (s s ) = λ (s), for (s s ) Φ, is well-defined and m j (λ () ),m j (λ ( ) ) 2Z 0 for all odd j Z. Proof. Part (a) follows from considering Jordan rational forms, or elementary divisors, as in [7, IV.2], while parts (b) and (c) are due to Wall [22]. (d) Suppose g λ U(2n,F q 2), µ is well-defined, and and m j (λ () ),m j (λ ( ) ) 2Z 0 for all odd j Z. Since g λ GL(2n,F q 2), (b) implies there exists ν P Φ 2 2n such that λ (s) = ν (r), for s = (r r) Φ 2. However, by assumption there is a Φ-partition γ such that γ (r r =r q) = ν (r), for (r r q ) Φ, is well-defined. Thus, g λ is conjugate to an element in GL(2n,F q ) and the result follows from (c). Suppose g λ U(2n,F q 2) is conjugate to an element in Sp(2n,F q ). Since Sp(2n,F q ) GL(2n,F q ), we have that g λ is conjugate to an element of GL(2n,F q ), and the result follows from (c). We note that in each of these groups, the corresponding conjugacy class is unipotent exactly when λ () is the only nonempty partition of the Φ k -partition or Φ 2 -partition. For the rest of this section, we let q be odd. The conjugacy classes of Sp(2n,F q ) are not parameterized by Φ -partitions λ of size 2n such that m j (λ () ),m j (λ ( ) ) 2Z 0 for all odd j Z, as might be suggested by Lemma 3.. Instead, we need to distinguish between some classes in Sp(2n,F q ) that may beconjugate in GL(2n,F q ). The development we give herefollows [7]. A symplectic signed partition is a partition λ with a function such that m j (λ) 2Z 0 for all odd j Z. For example, δ : {2i 2Z m 2i (λ) 0} {±} γ = (5,5,4,4,3,3,3,3,2 +,2 +,2 +,,) = (5 2,4 2,3 4,2 +3, 2 ), is a symplectic signed partition, where the parts of size 4 are assigned the sign and the parts of size 2 the sign +. For even i, the multiplicity of i in γ, m i (γ), will be given the sign that the parts i are assigned. In the example above, we have m 4 (γ) = 2, sgn(m 4 (γ)) =, m 2 (γ) = +2, and sgn(m 2 (γ)) = +. Let P ± denote the set of all symplectic signed partitions. If γ is a symplectic signed partition, we let γ denote the partition obtained by ignoring the signs of the sets of even parts of γ. We define various functions on symplectic signed partitions as its value on γ, for example, we define γ and n(γ) as γ and n(γ ), respectively. Define P ± n as the set of symplectic signed partitions of size n. Let P ±Φ denote the set of functions λ : Φ P P ± such that (a) λ (),λ ( ) P ± are symplectic signed partitions, 8

9 (b) λ (r) P for r Φ, r ±. For λ P ±Φ, define and let P ±Φ 2n λ = r λ (r), r Φ = {λ P ±Φ λ = 2n}. Then from results of Wall [22], { Conjugacy classes of Sp(2n,F q ) } P ±Φ 2n such that the conjugacy class corresponding to λ P ±Φ has characteristic polynomial f r λ(r). r Φ Alternatively, we may consider the set P ±Φ of functions γ : Φ P P ±, such that (a) γ (),γ ( ) P ± are symplectic signed partitions, (b) γ (r) = γ (r ) for all r Φ, (c) γ (r) P for r Φ, r ±. If we define γ and P 2n ±Φ analogously, then the set P±Φ 2n also parameterizes the conjugacy classes of Sp(2n,F q ). In this case, if g is an element of Sp(2n,F q ) in the conjugacy class corresponding to γ P 2n ±Φ, then the conjugacy class of g in GL(2n,F q) is given by λ P2n Φ, where λ(r) = γ (r) for r = ±, and λ (r) = γ (r) otherwise. 3.3 Centralizers For g in a group G, let denote the centralizer of g in G. C G (g) = {h G gh = hg}, Theorem 3. (Ennola, Wall). Let g µ U(n,F q 2) be in the conjugacy class indexed by µ P Φ 2 n. The order of the centralizer of g µ in U(n,F q 2) is a µ = ( ) µ s Φ 2 a µ (s) for µ = ( m 2 m 2 3 m3 ) P. ( ( q) s ), where a µ (x) = x µ +2n(µ) ( (/x) j ), Let q be odd, and let γ P ±Φ. For each r Φ, define A (r,γ (r),i) as follows, where we let m i = m i (γ (r) ). U(mi,F q r ) if r = r, r ±, A (r,γ (r) GL(mi,F,i) = q r ) /2 if r r, r ±, Sp(mi,F q ) (3.) if r = ±, i odd, q m i /2 O sgn(m i ) ( m i,f q ) if r = ±,. 9 i m i j=

10 In the case that r = ± and i and m i are both even, sgn(m i ) says whether to take the split or non-split orthogonal group, and when m i is odd, this will always give the unique orthogonal group regardless of the sign of m i. For each r Φ, we define B (r,γ (r) ) as B (r,γ (r) ) = q r ( γ(r) /2+n(γ (r) ) P i m2 i /2) i A (r,γ (r),i). (3.2) These factors are defined in order to state the following result of Wall [22], which tells us the size of a given conjugacy class of Sp(2n,F q ). Theorem 3.2 (Wall). Let g Sp(2n,F q ) be in the conjugacy class parameterized by γ P ±Φ 2n. Then the order of the centralizer of g in Sp(2n,F q ) is given by C Sp(2n,Fq)(g) = r ΦB (r,γ (r) ). Remark. We have applied the following identity for partitions in order to state the results of Wall in the form given in Theorem 3.2. For any γ P, we have im i (γ)m j (γ)+ (i )m i (γ) 2 = γ /2+n(γ) 2 i<j i i m i (γ) 2 /2. Note that an element s Φ 2 satisfies either s Φ 2, or s = v ṽ where v,ṽ Φ 2 with v ṽ. For ν P Φ 2, and s Φ 2 \{±}, let U(mi,F q 2 s ) /2 if s is odd, A(s,ν (s),i) = GL(m i,f q s ) /2 if s is even, s s, U(mi,F q s ) if s = v ṽ, v = v, GL(m i,f q s /2) if s = v ṽ, v = ṽ, B(s,ν (s) ) = q s ( ν(s) /2+n(ν (s) ) P i m2 i /2) i A(s,ν (s),i), (3.3) where m i = m i (ν (s) ). Theorem 3.3. Let g Sp(2n,F q ) be in the U(2n,F q 2)-conjugacy class parameterized by ν P Φ 2 2n, and in the Sp(2n,F q)-conjugacy class parameterized by γ P 2n ±Φ. Then the order of the centralizer of g in Sp(2n,F q ) is given by C Sp(2n,Fq)(g) = B (,γ () )B (,γ ( ) ) B(s,ν (s) ). Proof. From Theorem 3.2, we just need to prove that B (r,γ (r) ) = r Φ\{±} s Φ 2 \{±} s Φ 2 \{±} B(s,ν (s) ). (3.4) Suppose s Φ 2 \{±} satisfies s Φ 2. Note that since s is odd, the relation s = s would imply the existence of some s i s such that s i = s i. However, ± / s, so such an s i cannot exist. Thus, s s. Let r = s s so that r Φ, r = r and r = 2 s. Then γ (r) = ν (s) = ν (s ) and by definition B (r,γ (r) ) = B(s,ν (s) )B(s,ν (s ) ). 0

11 Suppose that s = v ṽ with v ṽ Φ 2, and that s s. Let r = v ṽ, so that r = v ṽ r. Then we have r Φ, r = s, ν (s) = γ (r), and B (r,γ (r) ) = B(s,ν (s) ) and B (r,γ (r) ) = B(s,ν (s ) ). Finally, suppose that s = v ṽ with v ṽ Φ 2 and s = s. Either v = v or v = ṽ. If v = v, then in fact we have s = s, so that s Φ. Letting r = s, we have γ (r) = ν (s), and B (r,γ (r) ) = B(s,ν (s) ). If v = ṽ, then we have v Φ, and v v. Letting r = v, we have r = s /2, and ν (s) = γ (r) = γ (r ), so that B (r,γ (r) )B (r,γ (r ) ) = B(s,ν (s) ). This exhausts all factors in both sides of (3.4), and the desired result is obtained. 4 Character sums This section contains our main results, including formulas for Ind U(2n,F q 2 ) Sp(2n,F ()(g), for g U(2n,F q) q2), and in Theorem 4.3 and Theorem 4.4, respectively. χ Irr(U(n,F q 2)) 4. Deligne-Lusztig induction and a model for U(n,F q 2) χ(g), for g U(n,F q 2), For any class function χ of U(n,F q 2), and any conjugacy class of U(n,F q 2) corresponding to ν P Φ 2 n, we let χ(ν) denote the value of χ evaluated on any element of the conjugacy class corresponding to ν. Let Γ (n) denote the Gelfand-Graev character of U(n,F q 2), which by [2] takes values given by the character formula Γ (n) (µ) = { ( ) n/2 l(µ) i=( ( q) i ) if µ is unipotent and µ = µ (), 0 otherwise. (4.) Let C = n 0C n, where C n = {class functions of U(n,F q 2)}, be the ring of class functions with multiplication given by Deligne-Lusztig induction χ η = R U m+n U m U n (χ ξ). (4.2) where χ C m and ξ C n. See [2], for example, for a discussion of Deligne-Lusztig induction. This ring structure is studied in [4], and it turns out to be exactly the same structure induced by a product on class functions of U n using Hall polynomials, which was studied by Ennola [6]. In particular, given µ,ν,λ P Φ 2, we define the Hall polynomial gµν(t) λ by gµν(t) λ = (t s ). (4.3) µ (s) ν (s) s Φ 2 g λ(s) The following result is proven in [20], but also seems to be implicit in [4].

12 Theorem 4.. Let χ C m, η C n, and let λ P Φ 2 m+n. Then the value of χ ξ on the conjugacy class λ of U(m+n,F q 2) is given by (χ ξ)(λ) = gµν λ ( q)χ(µ)ξ(ν). µ P Φ 2 m,ν P Φ 2 n Inthecasethatq isodd,henderson[0]hasdecomposedthepermutationcharacterind U 2n () into irreducible constituents, and proved that it is multiplicity free. It is well known that the Gelfand-Graev character is multiplicity free (see [9], for example), and the decomposition into irreducibles for the finite unitary group is given in terms of Deligne-Lusztig characters in [3] and in terms of irreducibles in [8]. Using these results, along with the characteristic map of the finite unitary group, the following result is proven in [20]. Theorem 4.2. Let q be odd, and let U n = U(n,F q 2), Sp 2k = Sp(2k,F q ) and let be the trivial character. The sum of all distinct irreducible complex characters of U n is given by χ = Γ (k) Ind U 2l Sp 2l (). χ Irr(U n) k+2l=n Giving the sum of all distinct irreducible characters of a group as a sum of one-dimensional characters induced from subgroups is called a model for the group. In Theorem 4.2, Deligne- Lusztig induction is used in place of subgroup induction, so this is a slight variant from the classical situation. Note that since Deligne-Lusztig induction does not, in general, produce characters, it is somewhat surprising that all of these products do in fact result in characters. A model for the group GL(n,F q ) was first found by Klyachko [5], and made more explicit by Inglis and Saxl [2], and the result for that case is analogous to Theorem 4.2, except with Deligne-Lusztig induction replaced by parabolic induction. 4.2 Values of the permutation character Let U n = U(n,F q 2) and = Sp(2n,F q ). The goal of this section is to use results from Section 3 to give a closed formula for the value of U 2n = Ind U 2n () evaluated at an arbitrary conjugacy class of U 2n. Throughout this section, we let q be the power of an odd prime. Let g U 2n. From the formula for an induced character, we have U 2n (g) = {u U2n ugu } = C U 2n (g) {h Sp2n h g in U 2n }. (4.4) If g is in the conjugacy class indexed by ν P Φ 2 2n, then the value of C U 2n (g) = a ν, as given by Theorem 3.. So, we need to know the number of elements h in which are conjugate to g in U 2n. Let s {±}, and let ν P Φ 2. Writing m i = m i (ν (s) ), define A(s,ν (s),i) and B(s,ν (s) ) as follows. A(s,ν (s),i) = m i /2 j= ( /q 2j ) = q 2( m i/2 ) 2 m i /2 Sp(2 m i /2,F q ), B(s,ν (s) ) = q ν(s) /2+n(ν (s) )+o(ν (s) )/2 i A(s,ν (s),i). (4.5) 2

13 Theorem 4.3. Let ν P Φ 2 2n, and let q be odd. Then U 2n (ν) = 0 unless (i) For every s Φ 2, ν (s) = ν (s ). (ii) For every odd j, m j (ν () ),m j (ν ( ) ) 2Z 0. If both (i) and (ii) are satisfied, then U 2n (ν) = a ν s Φ 2 B(s,ν (s) ), where a ν is as defined in Theorem 3., and B(s,ν (s) ) is defined as in (3.3) and (4.5). Proof. Lemma 3. (d) and (4.4) imply that U 2n (ν) = 0 if ν does not satisfy (i) and (ii) (else the conjugacy class parameterized by ν is not conjugate to an element in ). Let h, and suppose h is in the U 2n -conjugacy class parameterized by ν P Φ 2n. Thus, by Lemma 3. (d), if h is in the -conjugacy class parameterized by µ P ±Φ 2n, then µ () = ν (), µ ( ) = ν ( ), and µ (s s ) = ν (s), for all s s Φ \{±}. From (4.4) and Theorem 3.3, we have So we want to show U 2n (ν) = a ν = µ,γ P ± µ =ν (),γ =ν ( ) a ν s Φ 2 \{±} B(s,ν(s) ) B(,ν () )B(,ν ( ) ) = B (,µ)b (,γ) s Φ 2 \{±} B(s,ν(s) ) µ,γ P ± µ =ν (),γ =ν ( ) µ,γ P ± µ =ν (),γ =ν ( ) B (,µ)b (,γ). B (,µ)b (,γ). (4.6) Note that we can think of the set of symplectic signed partitions P ± as { P ± δ : {i 2Z ν = {(ν,δ) P S ν }, where S ν = j = i for some j} {±} i δ i }, so that if µ = ν () and γ = ν ( ), then equation (4.6) becomes B(,µ)B(,γ) = δ Sµ τ Sγ B (,(µ,δ))b (,(γ,τ)). From (3.) and (3.2), we have for s {±} and (µ,δ) P ±, B (s,(µ,δ)) = q µ /2+n(µ) P i m2/2 i i = q µ /2+n(µ) P i m2/2 i where m i = m i (µ). For i odd, i odd A (s,(µ,δ),i) Sp(m i,f q ) q m i/2 O δ i (m i,f q ), Sp(mi,F q ) m i /2 m i /2 = q m 2 i /4 (q 2j ) = q m i/2+m 2 i /2 ( /q 2j ). j= 3 j=

14 Note that i odd From (4.6) and (4.5), it suffices to show q P m i(µ) 2 /2 P m i(γ) 2 /2 A(,µ,i)A(,γ,i) = δ Sµ τ Sγ q m i/2 = q o(µ)/2. Let s {±} and (µ,δ) P ±. For, and m i = m i (µ) odd, A (,(µ,δ),i)a (,(γ,τ),i). (4.7) A (s,(µ,δ),i) = q m i/2 O(mi,F q ) m i /2 m i /2 = 2q m 2 i /4+/4 (q 2j ) = 2q m2 i /2 ( /q 2j ). For and m, A (s,(µ,δ),i) = q m i/2 O δ i (m i,f q ) j= m i /2 = 2q (m i) 2 /4 (q mi/2 +δ i ) (q 2j ) j= m i /2 = 2q (m i) 2 /2 (+δ i q mi/2 ) ( /q 2j ). Returning to (4.7), let M = { mi (µ) 0} + { mi (γ) 0}. Then δ Sµ τ Sγ A (,(µ,δ),i)a (,(γ,τ),i) P = q m i(µ) 2 /2 P m i(γ) 2 /2 2 M A(,µ,i)A(,γ,i) δ Sµ τ Sγ m i (µ) even m i (µ) even (+δ i q m i(µ) /2 ) j= ( /q m i(µ) ) m i (µ) even j= m i (µ) even ( /q m i(γ) ) (+τ i q m i(γ) /2 ). (4.8) In the last sum there is a choice of signs for δ i and τ i whenever i is even and the multiplicities are nonzero, and so there are 2 M terms in the sum. Define M e = { m i (µ) 0 and m i (µ) is even} + { m i (γ) 0 and m i (γ) is even} M o = { mi (µ) is odd} + { mi (µ) is odd}, so that M = M e +M o. Since the choices of sign for m i odd do not affect the sum in (4.8), we have (+δ i q mi(µ)/2 ) (+τ i q mi(γ)/2 ) δ Sµ τ Sγ m i (µ) even = δ i,τ j {±} i,m i (µ),j,m j (γ) even m i (γ) even 2 Mo m i (µ) even +δ i /q m i(µ)/2 j even m j (γ) even +τ j /q m j(γ)/2, (4.9) 4

15 where there are exactly 2 Me terms in the second sum. For any set of numbers {α,...,α k }, an induction argument gives us the identity k δ,δ 2,...,δ k {±} j= Applying this identity to (4.9), we obtain δ i,τ j {±} i,m i (µ),j,m j (γ) even 2 Mo m i (µ) even +δ i /q m i(µ)/2 = +δ j α j = j even m j (γ) even 2 k k j= ( α2 j ). +τ j /q m j(γ)/2 2 M i,m i (µ) even ( /q m i(µ) ) i,m i (γ) even ( /q m i(γ) ). (4.0) Substituting (4.0) into (4.8), we obtain the desired result (4.7). Theorem 4.3 has an especially nice form when evaluated at unipotent elements. Corollary 4.. Let u µ U n be a unipotent element of type µ. Unless m i (µ) 2Z 0 whenever i is odd, U 2n (u µ ) = 0, and otherwise we have U 2n (u µ ) = ( ) µ a µ ( q) = q n(µ)+( µ o(µ))/2 c µ ( /q). B(, µ) Corollary 4. immediately follows from Theorem 4.3 and the following result. Lemma 4.. Let λ P. Then a λ ( q) B(,λ) = ( ) λ q n(λ)+( λ o(λ))/2 c λ ( /q). Proof. Recall the definition of c λ (t) as given in (2.2). From the form of this function given in (2.3), we have mi (λ) i j= c λ ( /q) = ( ( /q)j ) mi (λ)/2 i j= ( ( /q) 2j ). The definitions of a λ ( q) in Theorem 3. and of B(,λ) in (4.5) now imply the result. 4.3 Values of the full character sum We now calculate the sum of all characters of U n at an arbitrary element. Theorem 4.4. Let q be odd, and let λ P Φ 2 n. Then χ Irr(U n) χ(λ) = 0 unless (i) For every s Φ 2, λ (s) = λ (s ). (ii) For every odd i, m i (λ ( ) ) 2Z 0. (iii) For every even i, m i (λ () ) 2Z 0. If (i), (ii), and (iii) are satisfied, then χ Irr(U n) χ(λ) = a λ q o(λ() ) s Φ 2 B(s,λ (s) ), where a λ is as defined in Theorem 3., and B(s,λ (s) ) is defined as in (3.3) and (4.5). 5

16 Proof. Let λ P Φ 2 n. From Theorems 4. and 4.2, we have χ(λ) = ( ) Γ (k) Ind U 2l Sp 2l () (λ) χ Irr(U n) k+2l=n = k+2l=n µ P Φ 2 k ν P Φ 2 2l g λ µν ( q)γ (k)(µ) U 2l Sp 2l (ν) From Equation (4.), we have Γ (k) (µ) = 0 unless µ is unipotent, so we may assume µ = µ (), where µ = k, and µ (s) = when s. As in (4.3), we have, g λ µν ( q) = s Φ 2 g λ(s) µ (s) ν (s) (( q) s ). Since µ (s) = when s, then from (2.) we have that if s, { g λ(s) (( q) s if ν (s) = λ (s), ) = µ (s) ν (s) 0 otherwise. From these facts, and from the value of Γ (k) given in(4.), we have χ Irr(U n) χ(λ) = k+2l=nµ P k ν P Φ 2 2l,ν() =ν ν (s) =λ (s),s g λ() µν ( q)( ) k/2 l(µ) Since µ + ν = λ () and ν is even in the above sum, we have l(µ) ( ) λ() /2 = ( ) µ /2 ( ) ν /2 and ( ) λ() = ( ) µ, i= ( ( q) i ) U 2l Sp 2l (ν). and so we multiply the outside of the sum by the expressions on the left sides of the equations above, and the inside of the sum by the expressions on the right sides. We have ν (s) = λ (s) when s, and from Theorem 4.3, U 2l Sp 2l (ν) = 0 unless λ (s) = λ (s ) for s Φ 2, m i (λ ( ) ) is even when i is odd, and m i (ν () ) is even when i is odd, and otherwise we have U 2l Sp 2l (ν) = a ν s Φ 2 B(s,ν (s) ) = s ( ) λ(s) s ( a λ (s) ( q) s ) s B(s,λ(s) ) aν( q) B(,ν), where ν = ν (). So, χ Irr(U n) χ(λ) = 0 unless λ(s) = λ (s ) for s Φ and m i (λ ( ) ) is even when i is odd, and otherwise we have χ Irr(U n)χ(λ) = ( ) λ() /2 + λ() s µ,ν P m k (ν) even for k odd g λ() µν ( q)( ) µ l(µ) i= ( ) λ(s) s ( a λ (s) ( q) s ) ( ( q) i ) ( ) ν /2 a ν ( q) B(,ν) s B(s,λ(s) ). 6

17 From Lemma 2.2, with t = /q, this expression is the coefficient of P λ ()(x; /q) in the expansion of ( q) n(λ()) ( ) λ() /2 + λ () s ( ) λ(s) s ( a λ (s) ( q) s ) µ P P µ (x; /q) ( q) n(µ) ( ) µ l(µ) ( ( q) i ) i= ν P m k (ν) even for k odd P ν (x; /q) ( q) n(ν) ( ) ν /2 a ν ( q) B(,ν) s B(s,λ(s) ). By applying Lemma 2.3, with t = /q and y = q, and replacing each x i with x i, this expression is the coefficient of P λ ()(x; /q) in the expansion of ( q) n(λ()) ( ) λ() /2 + λ () s ( ) λ(s) s ( a λ (s) ( q) s ) ν P m k (ν) even for k odd P ν (x; /q) ( q) n(ν) ( ) ν /2 a ν ( q) B(,ν) s B(s,λ(f) ). Applying Lemmas 4. and 2., this expression simplifies to ( q) n(λ()) ( ) λ() /2 + λ () s ( ) λ(s) s ( a λ (s) ( q) s ) ν P m k (ν) even for k odd P ν (x; /q) ( q)( ν o(ν))/2 c ν ( /q). s B(s,λ(s) ) i i x i q +x i x i q +x i We may now apply Theorem 2., with t = /q, to change the last sum into a product, which simplifies the above expression to ( q) n(λ()) ( ) λ() /2 + λ () s ( ) λ(s) s ( a λ (s) ( q) s ) i x i q +x i i j x i x j +x i x j q f B(s,λ(s) ). Finally, Theorem 2.2 with t = /q implies that the coefficient of P λ ()(x; /q) of the above expression is 0 unless m k (λ () ) is even whenever k is even, in which case it is ( q) n(λ()) ( ) λ() /2 + λ () s ( ) λ(s) s a λ (s) Applying Lemmas 4. and 2. and simplifying gives the desired result. ( ( q) s )c )+ λ () )/2 λ ()( /q)( q)(o(λ(). s B(s,λ(s) ) In the case that we are finding the sum of the characters of U n at a unipotent element, we obtain a result much like Corollary 4.. Corollary 4.2. Let u µ U n be a unipotent element of type µ. Unless m i (µ) 2Z 0 whenever i is even, χ Irr(U n) χ(u µ) = 0, and otherwise we have χ Irr(U n) χ(u µ ) = ( ) µ a µ ( q)q o(µ) B(, µ) = q n(µ)+( µ +o(µ))/2 c µ ( /q). Proof. This follows immediately from Theorem 4.4 and Lemma 4.. 7

18 5 Probabilities and Frobenius-Schur indicators Here we reinterpret the main results in Sections 4.2 and 4.3 as probabilistic statements, as the corresponding results for GL(n,F q ) are given in [8]. For the result in Theorem 4.3, we have the following statement. Corollary 5.. Let q be odd. The probability that a uniformly randomly selected element of Sp(2n,F q ) belongs to the conjugacy class in U(2n,F q 2) corresponding to ν P Φ 2 2n is 0 unless ν (s) = ν (s ) for every s Φ 2, and m j (ν () ) and m j (ν ( ) ) are even for every odd j, in which case it is equal to s Φ 2 B(s,ν (s) ). Proof. From Equation (4.4), we have, for any g U 2n, (g) = C U 2n (g) {h Sp2n h g in U 2n }. U 2n Taking g to be in the conjugacy class corresponding to ν P Φ 2 2n, we have C U 2n (g) = a ν from Theorem 3.. So, the probability we want is exactly U 2n (ν) {h h g in U 2n } =. a ν The result now follows directly from Theorem 4.3. Interpreting the result for the full character sum in Theorem 4.4 as a probabilistic statement is most easily accomplished using the twisted Frobenius-Schur indicator, originally defined in[4] and further studied in []. Let G be a finite group, with automorphism ι, which either has order 2 or is the identity. Let (π,v) be an irreducible complex representation of G, and suppose that ι π = ˆπ, where ˆπ is the contragredient representation of π and ι π is defined by ι π(g) = π( ι g). The equivalence of the representations ι π and ˆπ implies that there exists a nondegenerate bilinear form, : V V C, unique up to scalar by Schur s Lemma, such that π(g)v, ι π(g)w = v,w, for every g G, v,w V. Because the bilinear form is unique up to scalar, we have v,w = ε ι (π) w,v, where ε ι (π) = ± depends only on ι and π. If ι π = ˆπ, we define ει (π) = 0. Then ε ι (π) is the twisted Frobenius-Schur indicator of (π, V) with respect to ι. If χ is the character corresponding to π, we also write ε ι (π) = ε ι (χ). The following results are proven in [4] and [], and show that the twisted Frobenius-Schur indicator indeed generalizes the classical Frobenius-Schur indicator, which is the case that ι is trivial. 8

19 Theorem 5.. Let G be a finite group with automorphism ι such that ι 2 is the identity. Then we have the formulas ε ι (χ) = G χ(g ι g), and g G χ Irr(G) ε ι (χ)χ(g) = {h G h ι h = g}. Now consider the case G = U(n,F q 2) and ι the transpose inverse automorphism. In [20], it is proven that ε ι (π) = for every irreducible complex representation (π,v) of U(n,F q 2). By Theorem 5., this is equivalent to [20, Corollary 5.2] χ() = {g U(n,Fq 2) g symmetric}. (5.) χ Irr(U(n,F q 2)) We conclude with the following probabilistic version of Theorem 4.4. Corollary 5.2. Let q be odd. Let u be a uniformly randomly selected element of U(n,F q 2), and let ι be the transpose inverse automorphism of U(n,F q 2). The probability that u ι u is in the conjugacy class corresponding to ν P Φ 2 n is 0 unless ν (s) = ν (s ) for every s Φ 2, m j (ν () ) is even for every even j, and m j (ν ( ) ) is even for every odd j, in which case it is equal to q o(λ() ) s Φ 2 B(s,λ (s) ). Proof. Let g U 2n be an element from the conjugacy class corresponding to ν. From Theorem 5., and the fact that ε ι (π) = for every irreducible representation π of U n, we have χ(ν) = {u U n u ι u = g}. χ Irr(U n) We need to count each set on the right as g ranges over the conjugacy class corresponding to ν, which has size U 2n /a ν by Theorem 3.. Multiplying by this quantity, and dividing by U 2n to get a probability, we find that the desired probability is {u Un u ι u = g} a ν = The result now follows from Theorem 4.4. References χ Irr(U n) χ(ν) a ν. [] D. Bump and D. Ginzburg, Generalized Frobenius-Schur numbers, J. Algebra 278 (2004), no., [2] R. Carter, Finite groups of Lie type: conjugacy classes and complex characters. John Wiley and Sons, 985. [3] P. Deligne and G. Lusztig, Representations of reductive groups over finite fields, Ann. of Math. (2) 03 (976), no., [4] F. Digne and J. Michel, Foncteurs de Lusztig et caractères des groupes linéaires et unitaires sur un corps fini, J. Algebra 07 (987), no.,

20 [5] V. Ennola, On the conjugacy classes of the finite unitary groups, Ann. Acad. Sci. Fenn. Ser. A I No. 33 (962), 3 pages. [6] V. Ennola, On the characters of the finite unitary groups, Ann. Acad. Sci. Fenn. Ser. A I No. 323 (963), 35 pages. [7] J. Fulman, A probabilistic approach to conjugacy classes in the finite symplectic and orthogonal groups, J. Algebra 234 (2000), [8] J. Fulman and R. Guralnick, Conjugacy class properties of the extension of GL(n, q) generated by the inverse transpose involution, J. Algebra 275 (2004), no., [9] L. C. Grove, Classical Groups and Geometric Algebra, Graduate Studies in Mathematics, Volume 39, American Mathematical Society, [0] A. Henderson, Symmetric subgroup invariants in irreducible representations of G F, when G = GL n, J. Algebra 26 (2003), no., [] R. B. Howlett and C. Zworestine, On Klyachko s model for the representations of finite general linear groups, In Representations and quantizations (Shanghai, 998), pages , China High. Educ. Press, Beijing, [2] N. F. J. Inglis and J. Saxl, An explicit model for the complex representations of the finite general linear groups, Arch. Math. (Basel) 57 (99), no. 5, [3] N. Kawanaka, Symmetric spaces over finite fields, Frobenius-Schur indices, and symmetric function identities, In Physics and Combinatorics 999 (Nagoya), pages 70 84, World Sci. Publ., River Edge, NJ, 200. [4] N. Kawanaka and H. Matsuyama, A twisted version of the Frobenius-Schur indicator and multiplicity-free permutation representations, Hokkaido Math. J. 9 (990), no. 3, [5] A. A. Klyachko, Models for complex representations of the groups GL(n, q), Mat. Sb. (N.S.) 20(62) (983), no. 3, [6] G. Lusztig and B. Srinivasan, The characters of the finite unitary groups, J. Algebra 49 (977), no., [7] I. G. Macdonald, Symmetric functions and Hall polynomials. Second edition. With Contributions by A. Zelevinsky. Oxford Mathematical Monographs. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 995. [8] Z. Ohmori, On a Zelevinsky theorem and the Schur indices of the finite unitary groups, J. Math. Sci. Univ. Tokyo 2 (997), no. 2, [9] R. Steinberg, Lectures on Chevalley groups, mimeographed notes, Yale University, 968. [20] N. Thiem and C. R. Vinroot, On the characteristic map of finite unitary groups, Adv. Math. 20 (2007), no. 2, [2] N. Thiem and C. R. Vinroot, Gelfand-Graev characters of the finite unitary groups, Preprint (2006), submitted for publication. [22] G. E. Wall, On the conjugacy classes in the unitary, orthogonal and symplectic groups, J. Austral. Math. Soc. 3 (962),