arxiv: v3 [math.ra] 11 Oct 2018

Transcription

1 POSITIVE SELF-DUAL HOPF ALGEBRAS OF GALOIS CHARACTERS FARID ALINIAEIFARD AND SHAWN BURKETT arxiv: v3 [math.ra] 11 Oct 2018 Abstract. By using the action of certain Galois groups on complex irreducible characters and conjugacy classes, we define the Galois characters and Galois classes. We will introduce a set of Galois characters, called Galois irreducible characters, and we show that each Galois character is a non-negative linear combination of the Galois irreducible characters. It is shown that whenever the complex characters of the groups of a tower produce a positive self-dual Hopf algebra PSH), Galois characters of the groups of the tower also produce a PSH. Then we will classify the Galois characters and Galois classes of the general linear groups over finite fields. In the end, we will precisely indicate the isomorphism between the PSH of Galois characters and a certain tensor product of positive self-dual Hopf algebras. Key Words: Graded Hopf algebras; symmetric functions; character theory, supercharacter theory; Galois groups. Mathematics Subject Classification: 05E05, 05E10, 5E18, 20C Introduction Character theory is at the heart of mathematics with many applications in other sciences such as physics and chemistry. Given a finite group G, fix a positive integer d that divides G. Galois characters of the group G are those characters with the image in Q[ζ d ], where ζ d is a dth primitive root of unity. It seems that Galois characters are playing a significant role in the application of character theory. All characters of any group are Galois where d is the exponent of G, the least common multiple of the orders of all elements of G. The character theory of the symmetric groups and symmetric function theory are identical. This connection is beautifully presented in Macdonald s book [11]. Geissinger and Zelevinsky independently accomplished that these two theories have Hopf structures which illuminated the identification [8, 12]. The supercharacters of the supercharacter theory in [6] for unipotent-upper triangular matrices over a finite field F p n are some Galois characters where d = p. In [1, 5] the authors constructed a Hopf algebra of supercharacters and identified the Hopf algebra of supercharacters of unipotent upper-triangular matrices with the Hopf algebra of symmetric functions in noncommutating variables. We will construct some positive self-dual Hopf algebras that are identical to the Hopf algebra of Galois characters of tower of general linear groups over a finite field F q. A character χ is a d-galois character of G if χ is a character of G and χg) Q[ζ d ] for every g G. Note that when expg) d, the set of d-galois characters is the same as the set of all characters, and when d = 1 the set of 1-Galois characters is 1

2 2 FARID ALINIAEIFARD AND SHAWN BURKETT the same as the set of integral characters, the characters with image in Q. Every d-galois character is a non-negative linear combination of a special set of characters called d-galois irreducible characters see Theorem 3.1). If an irreducible character ψ is a constituent of a d-galois irreducible character χ, then there is a constant m d ψ) such that m d ψ)χ is an irreducible character corresponding to an irreducible module over Q[ζ d ]. The constant m d ψ) is called the Schur index of ψ over Q[ζ d ]. For more details see [7, Sections 9 and 10]. Let p be a prime and d be a power of p. When G is a p-group, p > 2, any d-galois character is afforded by a Q[ζ d ]-representation of G See [7, Corollary 10.14)]). We will show that whenever the space n 0 cfg n) of class functions of a tower of groups G 0 G 1 G 2 G 3...) has a PSH structure, then the Galois class functions of the groups of the tower also have a PSH structure. We will study the Galois characters of some families of groups, especially the general linear groups over a finite field F q. After classifying the Galois characters and Galois classes, we will find the cuspidal Galois characters, which precisely give us the isomorphism from the PSH of Galois class functions of the tower of general linear groups to the tensor product of the certain positive self-dual Hopf algebras. In section 2, we give a definition of the supercharacter theory. In section 3, we introduce the Galois character theory. Section 5 will be devoted to the Hopf structures that Galois characters produce, and we will investigate the properties that the Hopf algebra of Galois characters inherited from the Hopf algebra of complex characters. In the last section, we will parametrize the Galois characters and Galois classes of the general linear groups over a finite field F q, and we identify the PSH structure of Galois characters of general linear groups. 2. Supercharacter theory We reproduce the definition of supercharacter theory in [6]. A supercharacter theory of a finite group G is a pair X,K), where K is a partition of G and X is a partition of IrrG) such that: 1) The set {1} is a member of K. 2) X = K. 3) The characters σ X are constant on the parts of K. We refer to the characters σ X as supercharacters and to the members of K as superclasses. Every finite group G has two trivial supercharacter theories: the usual irreducible character theory and the supercharacter theory {{1},IrrG)\{1}},{{1},G\{1}}), where 1 is the trivial character of G. However, classifying the set of all non-trivial supercharacter theories for most groups is still an open problem.

3 POSITIVE SELF-DUAL HOPF ALGEBRAS OF GALOIS CHARACTERS 3 3. Galois Character Theory Let d be a positive integer such that d G and let ζ d be a primitive dth root of unity. As we said a d-galois character χ for a finite group G is a character whose image is in Q[ζ d ] C. Let IrrG) be the set of irreducible characters of G. Irreducible characters are building blocks of complex characters, and each complex character can be uniquely written as a non-negative linear combination of irreducible characters, that is χ = m 1 ψ m k ψ k where each m i is a positive integer, and each ψ i is an irreducible character. In this section, we introduce a set of d-galois characters, called d-galois irreducible characters, that each d-galois character can be uniquely written as a non-negative linear combination of d-galois irreducible characters. Let G be a group of order n and d n, throughout this paper let Galn,d) := Gal Q[ζd ]Q[ζ n ], the Galois group of Q[ζ n ] over Q[ζ d ]. There is an action of Galn,d) on IrrG) defined by σ.χ = σχ) for every σ Galn,d) and χ IrrG). We denote by O d ψ) the orbit of an irreducible character ψ IrrG). Also, there is a compatible action on the conjugacy classes of G, as follows. For every σ Galn,d), there is a unique positive integer r < n coprime to n such that σζ n ) = ζn r, and we let σ.g = gr. Let GIrr d G) be the set of Galn,d)-orbit sums on IrrG), i.e., GIrr d G) = φ : ψ IrrG) φ O d ψ) and let GCl d G) be the set of unions of the Galn,d)-orbits on the conjugacy classes of G. Then by [6], {O d χ) : χ IrrG)},GCl d G)) is a supercharacter theory. We call the elements of GIrr d G) the d-galois irreducible characters and the elements of GCl d the d-galois classes of G. Note that if two irreducible characters χ and ψ are the constituents of the same supercharacter, they have the same degree since χ1) = σψ1)) = ψ1) for every element σ in the Galois group. Remark that when we have a smaller Galois group, we have a finer supercharacter theory, a supercharacter theory with smaller superclasses. Theorem 3.1. Let G be a group of order n and d G. If χ is a d-galois character, then χ is a non-negative linear combination of the characters in GIrr d G), i.e., the supercharacters of the supercharacter theory corresponding to Galn, d), Proof. Let χ be a d-galois character and let χ = m 1 ψ 1 +m 2 ψ m t ψ t, where each m i is a positive integer and each ψ i is an irreducible character. Note that for every σ Galn,d), and so for each i, χ = σχ) = m 1 σψ 1 )+m 2 σψ 2 )+ +m t σψ t ), χ,ψ i = σχ),σψ i ) = χ,σψ i ).

4 4 FARID ALINIAEIFARD AND SHAWN BURKETT Therefore, for every σ and i, σψ i ) is a constituent of χ, and the coefficients of ψ i and σψ i ) are the same positive integers. As the supercharacters of the supercharacter theory corresponding to Galn,d) are of the form φ O d ψ) φ for an irreducible character ψ, we can conclude that χ is a non-negative linear combination of the characters in GIrr d G). In other words, the theorem above shows that for the set of all d-galois characters, d-galois irreducible characters are playing a same role as the role of the irreducible characters in the set of all complex characters. More precisely, the set of d-galois irreducible character is GIrr d G) = φ : ψ IrrG). φ O d ψ) If G d, by convention, we let GIrr d G) be the set of all irreducible characters. Remark 3.2. For any d-galois irreducible character χ = φ O d ψ) φ GIrr dg), there is a constant m d ψ) such that m d ψ)χ is an irreducible character corresponding to an irreducible module over Q[ζ d ]. The constant m d ψ) is called the Schur index of ψ over Q[ζ d ]. For more details on Schur indices see [7, Sections 9 and 10]. A supercharacter theory is called a d-galois supercharacter theory if the images of the supercharacters lie on the field Q[ζ d ]. As a corollary of the last theorem we also have the following. Corollary 3.3. Let G be a group of order n, and let d n. The finest d-galois supercharacter theory is unique and is the one that comes from the action of Galn,d) on the irreducible characters and conjugacy classes, i.e., GIrr d G),GCl d ). We call a function from G to C a d-galois class function if it is constant on the elements of GCl d, and the set of all d-galois class functions is denoted by Gcf d G). Note that Gcf d G) = C-span{χ : χ Glrr d G)}. Remark Galois supercharacter theories have been studied by Keller [9], and he showed that the finest integral supercharacter theory is unique. Corollary 3.3 extends his result. Example ) Let q be a power of the prime number p. The supercharacter theory for unipotent upper-triangular matrices over a finite field F q introduced in [6] is a p-galois supercharacter theory. 2) The nonnesting supercharacter theory introduced in [2] is also a p-galois supercharacter theory. 3) Every normal supercharacter theory for G is a 1-Galois supercharacter theory see [4]).

5 POSITIVE SELF-DUAL HOPF ALGEBRAS OF GALOIS CHARACTERS 5 4. Positive self-dual Hopf algebras A graded connected Hopf algebra H over C with a distinguished C-basis {β λ } consisting of homogeneous elements is a positive self-dual Hopf algebra or PSH) if it satisfies the two other axioms, 1) self-duality) The same structure constants c λ µ,ν appear for the product mβ µ β ν ) = λ c λ µ,νβ λ and the coproduct β λ ) = µ,ν c λ µ,νβ µ β ν. 2) positivity) The structure constants c λ µ,ν are all non-negative real numbers. The basis {β λ } is called the PSH-basis of H. Given a PSH H with PSH-basis Σ = {β λ }, we define a bilinear form.,. : H H C on H that makes this basis orthonormal. Similarly, the elements {β λ β µ } give an orthonormal basis for a form.,. H H on H H. Consider that for counit ǫ of the PSH H = n 0 H n, we have I := kerǫ = n>0 H n is a two sided ideal, and for any x I we have x) = 1 x+x 1+ + x), where + x) I I. Any element of x I with + x) = 0 is called a primitive element. Let p be the C-submodule of primitive elements inside H. Note that the orthogonal complement of mi I) in I is the set of elements x such that for every y I I, 0 = x,my) H = x),y H H = + x),y H H. Since the above expression must be true for each y I I, we must have + x) = 0. Therefore, the complement of mi I) in I is p. Consequently, by basic linear algebra we have I = p mi I). Now by [12, Appendix 1, Theorem AI.I] we have H is isomorphic to the symmetric algebra of the space of its primitive elements Symp). In other words: The Hopf algebra H decomposes into the tensor product H = p AH p where each Hopf algebra H p has only one primitive element. Also, H p is isomorphic to the algebra K[x] of polynomials in one intermediate x, where degx) = p and x is the primitive element. Therefore, H is unique up to isomorphism.

6 6 FARID ALINIAEIFARD AND SHAWN BURKETT Let C = p Σ, the intersection of the C-submodule of primitive elements p and the PSH-basis Σ of the PSH H. Then H = ρ C Hρ), where Hρ) is the C-module spanned by Σρ) := {β Σ : there exists n 0 with β,ρ n 0}. Remark ) In [12], Zelevinsky developed a theory for self-dual Hopf algebra over Z, where the constant coefficients of product and coproduct for a distinguished basis Σ are non-negative integers. We now briefly mention Zelevinsky s theory. Given suchaself-dualhopfalgebrahwiththedistinguishedbasisσ,letc betheintersection of the basis Σ and the Z-submodule of primitive elements. For each ρ C, let Hρ) be the Z-span of Σρ) := {β Σ : there exists n 0 with β,ρ n 0}. Each Hρ) is isomorphic to the Hopf algebra of symmetric functions Sym. The Zelevinsky s theorem [12, Theorem 2.2] shows that H has a canonical tensor product decomposition H = ρ C Hρ). 2) Despite Zelevisnsky s structure theory, in the theory of positive self-dual Hopf algebras over C that we mentioned earlier, Hρ) is not necessarily isomorphic to the ring of symmetric functions Sym. Moreover, Hρ) is not unique up to isomorphism and it depends on the PSH-basis for H. For example if the power sum basis is the PSH-basis for Sym. Then and Σ = {p λ : λ is a partition} C = Σ p = {p n : n 1}, Symp n ) = C-span{p n k ) : k 1}, where n k ) is a partition of kn, with k parts all equal to n. Consider that Symp n ) is not the ring of symmetric functions. However, if we choose the set of Schur functions {S λ : λ is a partition} as the PSH-basis for Sym, then C = {p 1 }, and Symp 1 ) = Sym. 5. Some Hopf algebras from Galois character theory The character algebras of some families of groups are endowed with Hopf structures; general linear groups and unipotent upper-tringular matrices have this property see [3] and [10]). In this section, we study the properties that the Hopf algebra of d-galois class functions inherits from the Hopf algebra of class functions. We will show that if the Hopf algebra of class functions is a PSH, then so is the Hopf algebra of d-galois class functions.

7 Let POSITIVE SELF-DUAL HOPF ALGEBRAS OF GALOIS CHARACTERS 7 Consider a tower of groups where G = G 0 < G 1 < G 2 < G 3 < ). HG ) = n 0 HG n ), HG n ) = C-span{ψ : ψ IrrG n )}. Let H be a subgroup of a given group G, and N a normal subgroup of G. Let χ be a character of G, ψ a character for H, and φ a character of G/N. Consider the following functions, 5.1) Ind G Hψ ) g) = 1 H k G: kgk 1 H ψkgk 1 ) Infl G G/Nφ ) g) = φgn) 5.2) Res G H χ ) h) = χh) Defl G G/Nχ ) g) = 1 N χk) Note that each of the above functions maps a d-galois character to a d-galois character, and moreover, each of the functions yields a functor from the categoty of modules over one group to the category of modules over the other one. Theorem 5.1. Let G be a tower of groups and let d be a positive integer such that for some k, G k d and d G k+1. If HG ) is a graded connected Hopf algebra with a linear extension of compositions of the functions in 5.1 as product and a linear extension of compositions of the functions in 5.2 as coproduct, then 1) where GH d G ) = n 0 GH d G n ), GH d G n ) = C-Span{ψ : ψ GIrr d G n )}, k gn is a Hopf algebra with the same product and coproduct as HG ). 2) If HG ) is a PSH with PSH-basis IrrG), then GH d G ) is a PSH with PSHbasis Σ d = 1/ O d ψ) : ψ φ O d ψ)φ IrrG n ). n 0 Proof. Consider that 1/ O d ψ) : ψ φ O d ψ)φ { IrrG n ) = 1/ χ,χ χ : χ } d G n ). n 0 n 0GIrr

8 8 FARID ALINIAEIFARD AND SHAWN BURKETT Let ψ GIrr d G i ) and ϕ GIrr d G j ). We have m 1/ ) ψ,ψ φ 1/ ) ) ϕ,ϕ ϕ = 1/ ) O d ψ) 1/ ) O d ϕ) mψ ϕ) is a non-negative R-linear combination of d-galois irreducible characters. Similarly, 1/ O d χ) φ φ O d χ) is a non-negative R-linear combination of d-galois irreducible characters. That exhausts the positivity. It remains to show that GH d G ) is self dual, i.e., if for any ψ GIrr d G i ), φ GIrr d G j ), and χ GIrr d G i+j ), and d χ ψ,φ m 1/ ) ψ,ψ ψ 1/ φ,φ ) φ) = c χ ψ,φ 1/ ) χ,χ χ, 1/ ) χ,χ χ) = d χ ψ,φ 1/ ) ψ,ψ ψ 1/ ) φ,φ φ, then c χ ψ,φ = dχ ψ,φ. We have that c χ ψ,φ 1/ ) χ,χ χ, 1/ ) χ,χ χ = m 1/ ) ψ,ψ ψ 1/ ) φ,φ φ), 1/ ) χ,χ χ = 1/ ) ψ,ψ ψ 1/ ) φ,φ φ, 1/ ) χ,χ χ) = 1/ ) ψ,ψ ψ 1/ ) φ,φ φ, 1/ ) ψ,ψ ψ 1/ ) φ,φ φ. Note that 1/ ) χ,χ 1/ ) ψ,ψ ψ 1/ ) φ,φ φ, χ, 1/ ) χ,χ χ = 1/ ) ψ,ψ ψ 1/ φ,φ ) φ = 1. We conclude that c χ ψ,φ = dχ ψ,φ. Therefore, GH dg ) is a PSH with the PSH-basis { 1/ χ,χ χ : χ n 0GIrr } d G n ) = 1/ O d ψ) : ψ φ O d ψ)φ IrrG n ). n 0 Example 5.2. Consider the following towers of groups G = G 0 < G 1 < G 2 < G 3 < ) where either G n = S n [Γ], the wreath product of the symmetric group with some arbitrary finite group Γ,

9 POSITIVE SELF-DUAL HOPF ALGEBRAS OF GALOIS CHARACTERS 9 G n = GL n F q ), the finite general linear group over F q, or G n = UT n F q ) the group of unipotent upper-triangular matrices over F q. The set of class functions of each of these towers carries out a Hopf structure. For the Hopf algebra structures of the first two see [10, 12], and for the Hopf algebra of the last one see [1, 3, 5]. Therefore, the set of d-galois class functions of the groups in towers together also have a Hopf structure. Moreover, the first two yield a PSH, and so do their d-galois class functions. In the next Section, we describe product and coproduct of the Hopf algebra of characters of general linear groups as the focus of this paper is more on the study of the Galois characters of general linear groups. 6. The Hopf structure of Galois class functions of GL n F q ) Fix a prime power q. We frequently use the notation GL n instead of GL n F q ). From now on, fix d in a way that GL k d and d GL k+1 for some non-negative integer k. Let cfgl ) = cfgl n ), n 0 where cfgl n ) = C-span{χ : χ IrrGL n )}. Embed GL i GL j into GL i+j as block diagonal matrices whose two diagonal blocks have size i and j, respectively. For instance, if g i GL i and g j GL j, the we map g i,g j ) to [ gi 0 0 g j ]. Let P i,j denote the prabolic subgroup consisting of the block upper-triangular matrices of the form [ gi l 0 g j ] where g i GL i, g j GL j, and l is an i j matrix with entries in F q. Note that GL i GL j is isomorphic to the quotient P i,j /U i,j where U i,j is the set of matrices of the form [ Ii l 0 I j ]. For χ, ψ, and φ characters of GL l, GL i, GL j, respectively, define mψ φ) = Ind GL i+j P i,j Inf P i,j GL i GL j ψ φ) χ) = Defl P i,j GL i GL j Res GL i,j P i,j χ. i+j=l Extend both of the functions m and C-linearly. It is well-known that cfgl ) is a positive self-dual Hopf algebra with the above product and coproduct see [12]). Let Gcf d GL ) = n 0 Gcf d GL n ),

10 10 FARID ALINIAEIFARD AND SHAWN BURKETT where Gcf d GL n ) = C-span{χ : χ is a d-galois irreducible character of GL n }. Then by Theorem 5.1, and the fact that cfgl ) is a PSH, we have the following corollary. Corollary 6.1. Gcf d GL ) is a PSH. WeconcludethissectionwithfindingallpossiblenumbersdtoconstructGcf d GL ). Let F q = p r. Consider that GL n = q n 1 q n 2...qq n 1)q n 1 1)...q 1). With a simple calculation it can be seen that GL n GL n 1 = prn 1) p rn 1). Note that the nth cyclotomic polynomial is Φ n p) = 1 k n gcdk,n)=1 p e 2iπ k n ). All coefficients of Φ n p) are in Z, and moreover, if Drn) is the set of divisors of rn, then p rn 1 = s DΦ s p). Now, the set of all choices for d to construct Gcf d GL ) is { } p rn 1)+i s AΦ s p) : A D,n N,1 i r. It is worth mentioning that we always can construct Gcf 1 GL ) independent of the field F q. 7. Classification of the Galois classes of GL n F q ) 7.1. Classification of the Galois classes. In this section, we will study and parametrize the Galois classes of the general linear groups. From now on most of our notations are the same as [11, Chapter IV]. Fix an algebraic closure of the field k = F q. Let k be the algebraic closure of k. Let F be the Frobenius automorphism of k over k, F : k k x x q. For each n 1, let k n be the set of fixed points of F n in k, i.e, k n = {x k : F n x) = x} = {x k : x qn = x}, and note that k n is isomorphic to F q n. Let F be the cyclic group of the powers of F. The group F acts on the group k by F n.x = F n x) = x qn. Let Φ = { F -orbits in k }.

11 POSITIVE SELF-DUAL HOPF ALGEBRAS OF GALOIS CHARACTERS 11 Any monic irreducible polynomial f over k can be uniquely written as s 1 f = t x qi ), i=0 where {x,x q,...,x qs 1 } is an element of Φ. So we identify Φ with the set of monic irreducible polynomials over k. Let P be the set of all partitions. Any conjugacy class of GL n is uniquely indexed by a function µ : Φ P with µ = f Φ Let f = t s s 1 i=1 a it i 1 Φ, and let Jf) = µf) degf) = n a 1 a 2 a 3 a s the companion matrix for the polynomial f. For any integer m 1, define Jf) I s Jf) I s 0 J m f) = I s Jf) Let µ = µ 1,µ 2,...,µ lµ) ) be a partition. Define lµ) J µ f) = J µi f). i=1 The Jordan canonical form g µ of a representative of the conjugacy class c µ indexed by µ : Φ P is g µ = f ΦJ µf) f) As the Galois classes are the orbits of the action of Galois groups on conjugacy classes c µ, we now identify these orbits. Before that we need the following lemma. Lemma 7.1. Let J n λ) denote the n n Jordan block matrix with eigenvalue λ. For each positive integer l, J n λ) l is the matrix whose i,j) entry a i,j is given by { λ l j i) ) l if j i j i a i,j = 0 otherwise.

12 12 FARID ALINIAEIFARD AND SHAWN BURKETT Proof. Let E i denote the matrix with ones along the i th superdiagonal and zeros elsewhere. Since E1 k = E k for all k, l l ) l J n λ) l = λi n +E 1 ) l = λ l k E1 k = λ l k E k. k k=0 Thus, for each i,j) with j i = k, the i,j) entry of J n λ) l is the i,j) entry of l k) λ l k E k, which is l k) λ l k. Proposition 7.2. Let λ be in k. The Jordan form of J n λ) l is J n λ l ) if and only if l is prime to p = chark). Proof. Since the only eigenvalue of J n λ) l is λ l, the Jordan form of J n λ) l is J n λ l ) if and only if the minimal polynomial of J n λ) l is x λ l ) n. Now, since J n λ) l = l l ) k=0 k λ l k E k and the minimal polynomial of E 1 is x n, the minimal polynomial of J n λ) l will be x λ l ) n if and only if 0 l 1) = l, which happens if and only if p does not divide l. Let σ Gal GL n,d) and r be the positive integer such that σζ GLn ) = ζ r GL n. Define an action of Gal GL n,d) on k by σ.x = x r, and for any monic irreducible polynomial f = s 1 i=1 t xqi ) define k=0 s 1 s 1 σ.f = t σ.x) qi ) = t x r ) qi ). i=1 For any σ Gal GL n,d) and a partition valued function µ define i=1 σ.µ : Φ P f µσ 1.f). Let O d µ) = {σ.µ : σ Gal GL n,d)}. In the following theorem we determine when two conjugacy classes of GL n are in the same Galois class. Theorem 7.3. Let µ, ν : Φ P with µ = ν = n. Then the classes c µ and c ν lie in the same d-galois class if and only if O d µ) = O d ν). Proof. Two conjugacy classes c µ and c ν are in the same d-galois class if and only if for some σ Gal GL n,d), σ.c µ = c ν. The conjugacy class c µ contains the element g µ. Note that σ.g µ = g r µ = f ΦJ µf) f)) r, where r is the positive integer such that σζ GLn ) = ζ GL r n. We have that r J µf) f)) = Jµf) f) ) ) r. f Φ f Φ

13 POSITIVE SELF-DUAL HOPF ALGEBRAS OF GALOIS CHARACTERS 13 Also, Jµf) f) )r = lµf)) Jµi f)f) )r. Moreover, by Proposition 7.2, Jµi f)f) ) r = i=1 Jf) r I Jf) r I I Jf) r. Let f = s 1 i=1 ), where x t xqi qs = 1. The Jordan form of Jf) r is x r x q ) r x qd 1 ) r Therefore, Jf) r = Jσ.f). We have Note that g σ.µ = f Φ J σ.µf) f) = f Φ σ.g µ = f ΦJ µf) σ.f) J µσ 1.f)f) = Therefore, g σ.µ is in c ν, we have σ.µ = ν, and so O d µ) = O d ν). σ.f ΦJ µf) σ.f) = f Φ J µf) σ.f) = σ.g µ Characteristic map. Letπ µ bethethecharacteristicfunctionoftheconjugacy class c µ, i.e., { 1 g c µ, π µ g) = 0 otherwise. Let X i,f i 1,f Ψ) be independent variables over C. Define e n f) to be the elementary symmetric function on the variables X i,f i 1). Let B = C[e n f) : n 1,f Φ]. Let λ be a partition and t an indeterminate, and let P λ X f ;t) be the Hall-Littlewood polynomial. For each µ : Φ P such that µ < let P µ = f Ψ P µf) f),

14 14 FARID ALINIAEIFARD AND SHAWN BURKETT where P λ f) = q nλ) f P λ X f ;q 1 f ) and nλ) = i 1 i 1)λ i. It is well-known that the characteristic map ch : A B π µ P µ is an isomorphism see [11, 4.1)]). Let P Od µ) = P ν and ν O d µ) B d = C-span{ P Od µ) : µ is a function from Φ to P}. Let π Od µ) be the characteristic function of the d-galois class containing c µ. Theorem 7.4. The map is a Hopf isomorphism. ch d : Gcf d GL ) B d π Od µ) P Od µ) Proof. Consider that ch d is the restriction of ch to Gcf d GL ), and is therefore surjective. Since chπ Od µ)) = ch π ν ) = chπ ν ) = P ν = P Od µ). ν O d µ) It follows that ch d is surjective.. ν O d µ) ν O d µ) 8. Classification of the Galois characters of GL n F q ) 8.1. Classification of the Galois characters. We will classify the Galois characters of GL n. If ms = n, define the following surjective homomorphism, Let N n,m : k n k m x s 1 i=0 xqmi. N n,m : Homk m,c ) Homk n,c ) ξ ξ N n,m. Note that N n,m is an injection. By this identification, we define L := n 1Homk n,c ). Remark 8.1. The groups Homk n,c ) and the homomorphisms N n,m form a direct system, and L is the direct limit of this system. Moreover, L is isomorphic to the group of all roots of unity in C of order prime to p.

15 POSITIVE SELF-DUAL HOPF ALGEBRAS OF GALOIS CHARACTERS 15 Let F be the Frobenius map on L. The group F acts on L as follows, F L L F s,ξ) ξ qs, where ξ qs x) = ξx qs ). Let Θ be the set of all F -orbits in L. Every irreducible character of GL n is uniquely indexed by a function λ : Θ P, with λ = ϕ Θ λϕ) ϕ = n. For every σ Gal GL n,d) and ϕ Θ, define σ.ϕ = {σ.ξ : ξ ϕ}, where σ.ξx) = ξσ.x) = ξx r ) such that σζ GLn ) = ζ r GL n. Let O d ϕ) = {σ.ϕ : σ Gal GL n,d)}. For any function λ : Θ P with λ = n and σ Gal GL n,d), define σ.λ as follows, σ.λ : Θ P ϕ σ.ϕ. Extend the action of Gal GL n,d) on {χ λ : λ = n} linearly to cfgl n ). We now see that the actions of Galois group on the product and coproduct of cfgl ) are compatible. Proposition 8.2. Foranyχ IrrGL k ), ψ IrrGL i ), φ IrrGL j ), σ GalGL i+j,d), and τ Gal GL k,d). We have Proof. Consider that σ.mψ φ) = σ. σ.mχ φ)) = mσ.χ σ.ψ) and τ.χ) = τ. χ). Ind GL i+j P i,j ) Inf P i,j GL i GL j ψ φ) = Ind GL i+j P i,j Inf P i,j GL i GL j σ.ψ φ)) = Also, Ind GL i+j P i,j Inf P i,j GL i GL j σ.ψ σ.φ) = mσ.ψ σ.φ). τ.χ) = i+j=k Defl P i,j GL i GL j Res GL i,j P i,j τ.χ = τ. We have the following lemma. i+j=k Defl P i,j GL i GL j Res GL i,j P i,j χ = τ. χ). Lemma 8.3. For any σ Gal GL n,d) and µ Φ and µ = n, we have σ.π µ = π σ 1.µ.

16 16 FARID ALINIAEIFARD AND SHAWN BURKETT Proof. Let Then σ.π µ g) = λ =n c λ σ.χ λ g) = π µ = λ =n λ =n c λ χ λ. c λ χ λ σ.g) = π µ σ.g) = If σ.g c µ, then g σ 1.c µ = c σ 1.µ. Therefore, { 1 if g c σ π µ σ.g) = 1.µ 0 otherwise, which is the same as π σ 1.µ. We can conclude that Let λ = n. Define σ.π µ = π σ 1.µ. O d λ) = {σ.λ : σ Gal GL n,d)}. { 1 if σ.g c µ 0 otherwise. Wedenotebyp r ϕ)thepower-sumofaset ofvariablesy i,ϕ, andwelet S λ ϕ)bethe Schur function of the set of variables Y i,ϕ. Note that chχ λ ) = S λ = ϕ Θ S λϕ)ϕ). For more details see [11, Chapter 4, Section 4]. Proposition 8.4. Let λ, γ : Θ P with λ = γ = n. Then for every σ Gal GL n,d), σ.χ λ = χ σ.λ. Proof. We have that chχ σ.λ ) = S σ.λ. If we show that chσ.χ λ ) = S σ.λ, we must have σ.χ λ = χ σ.λ. Note that S λϕ) ϕ) = µ λϕ) c µϕ)p µ1 ϕ)...p µlµ) ϕ), for some coefficients c µ ϕ), and so S λ = S λϕ) ϕ) = c µ ϕ)p µ1 ϕ)...p µlµ) ϕ). ϕ Θ ϕ Θ µ λϕ) In order to prove that chσ.χ λ ) = S σ.λ, we only need to show that σ. ch 1 p i ϕ)) ) = ch 1 p i σ.ϕ)) for every positive integer i and every ϕ Θ. Define λ,f) : Φ P such that it maps f to λ and others to empty partition. Consider that ch 1 p i ϕ)) can be written as a linear combination of characteristic function of conjugacy classes, and by [11, Section IV] we have that 1) i ϕ 1 x k i ϕ ξx) λ = i ϕ degfx) i ϕ degfx) j=1 1 q j f x )π λ,fx) = ch 1 p i ϕ)),

17 POSITIVE SELF-DUAL HOPF ALGEBRAS OF GALOIS CHARACTERS 17 where f x is the minimal polynomial of x over the F q and ξ is an element of ϕ. Note that degf x ) = degf σ 1.x) and σ.ϕ = ϕ. Also, Therefore, σ.ch 1 p i ϕ)) = σ. 1) i ϕ 1 1) i ϕ 1 σ.π λ,fx) = π λ,σ 1.f x) = π λ,fσ 1.x ). x k i ϕ 1) i ϕ 1 x k i ϕ 1) i ϕ 1 1) i σ.ϕ 1 y k i σ.ϕ σ.y k i ϕ σ.ξy) ξx) ξx) ξσ.y) x k i ϕ λ = i σ.ϕ degfy) ξx) λ = i ϕ degfx) λ = i ϕ degfx) λ = i ϕ degfy) i σ.ϕ degfy) j=1 λ = i ϕ degfx) i ϕ degfx) j=1 i ϕ degfx) j=1 i ϕ degfy) j=1 i ϕ degfx) j=1 1 q j 1 q j f x )σ.π λ,fx) = 1 q j f x )π λ,fσ 1.x ) = f x )π λ,fx) 1 q j f y )π λ,σ 1.f y) = = 1 q j f y )π λ,σ 1.f y) = ch 1 p i σ.ϕ)). Theorem 8.5. Let λ, γ : Θ P with λ = γ = n. Then the irreducible characters χ λ and χ γ are constituent of the same d-galois irreducible character if and only if O d λ) = O d γ). Proof. Assume that χ λ and χ γ are constituent of the same d-galois irreducible character, then there exists σ Gal GL n,d) such that σ.χ λ = χ γ. By Lemma 8.4, σ.χ λ = χ σ.λ. Consequently, χ γ = χ σ.λ and so σ.λ = γ. Therefore, For the converse, assume that O d λ) = O d γ). O d λ) = O d γ), so that there is some σ Gal GL n,d) such that σ.λ = γ, then S σ.λ = S γ. Then, χ γ = ch 1 S γ ) = ch 1 S σ.λ ) = χ σ.λ. and so χ γ = χ σ.λ. By Proposition 8.4, χ σ.λ = σ.χ λ, and so χ γ = σ.χ λ. We can conclude that χ λ and χ γ are constituent of the same d-galois irreducible character.

18 18 FARID ALINIAEIFARD AND SHAWN BURKETT 8.2. The image of Galois characters by characteristic map. We define S Od λ) = S γ, γ O d λ) and χ Odλ) = χ γ. γ O d λ) Therefore, GIrr d GL n ) = {χ Odλ) : λ = n}. Let C d = C-span{S Od λ) : λ is a function from Θ to P}. Theorem 8.6. The map ch d : Gcf d GL ) C d defined by is a Hopf isomorphism. chχ O dλ) ) = S Od λ) 9. Galois Cuspidal Characters It is known that when we consider cfgl ) as a PSH with PSH-basis Σ = {χ λ : λ is a function from Θ to P} see [10, Chapter 4] and [12, Chapter II]), C = Σ p = {χ,ϕ) : ϕ Θ}, where,ϕ) is a function from Θ to P which maps ϕ to 1) and others to empty partition. Let Σ d be the PSH-basis of Gcf d GL ). Any element of C is called a cuspidal character. We call an element of C d = Σ d p a d-galois cuspidal character. We warn that the elements of C d are not necessarily characters. Corollary 9.1. Let σ Gal GL n,d), then Moreover, σ.χ,ϕ) = χ,σ.ϕ). C d = 1/ ) O d ϕ) ϑ O d ϕ) χ,ϑ) : ϕ Θ. Proof. If ϕ Θ with ϕ = n and σ Gal GL n,d), then by Proposition 8.2, Therefore, σ.χ,ϕ) ) = σ. χ,ϕ) ) = σ.1 χ,ϕ) +χ,ϕ) 1) = 1 σ.χ,ϕ) +σ.χ,ϕ) 1 = 1 χ,σ.ϕ) +χ,σ.ϕ) 1. 1/ ) O d ϕ) ϑ O d ϕ) χ,ϑ) =

19 POSITIVE SELF-DUAL HOPF ALGEBRAS OF GALOIS CHARACTERS 19 1/ ) O d ϕ) ϑ O d ϕ) 1 χ,ϑ) + and so 1/ ) O d ϕ) Now we want to show that if that 1/ ) O d ϕ) for some A Gal GL n,d). ϑ O d ϕ) 1/ ) O d ϕ) χ,ϑ) Σ d p. ϑ O d ϕ) χ,ϑ) 1, 1/ O d ϕ)) φ O d ψ) φ is in C d, then ψ C. Consider φ O d ψ) 1/ ) ) O d ϕ) σ.ψ = σ A = 1 1/ ) O d ϕ) σ.ψ + σ A φ = 1/ ) O d ϕ) σ.ψ 1/ O d ϕ) 1/ O d ϕ) σ A ) σ.ψ) σ A ) σ.ψ 1. Note that for every σ A, σ.χ) is a non-negative linear combination of d-galois irreducible characters. Therefore, it is not possible to have the equation above if we do not have σ.ψ) = σ.ψ 1+1 σ.ψ for every σ A. Therefore, ψ C. Remark 9.2. A result similar to above corollary can be shown for any PSH in Theorem 5.1. The following corollary follows from the discussion above and Section 4. Corollary 9.3. Let C d be as in Corollary 9.1. Then Gcf d GL ) = ρ C d Gcf d GL )ρ). σ A 10. Related problems We conclude this paper with a list of open problems. Let p be a prime and let q be a prime power. 1) The character theory of the family of unipotent upper-triangular matrices over a finite field F q, UT n q) is known to be wild. Is there a tame Galois character theory for the family of the unipotent upper-triangular matrices? 2) The supercharacter theory defined by Diaconis and Isaacs [6] for UT n q) is a p-galois supercharacter theory. Can we precisely express the supercharacters of the supercharacter theory by Diaconis and Isaacs as a linear combination of p-galois irreducible characters? 3) Can we count the number of Galois irreducible characters for the family of unipotent upper-triangular matrices? Is it a polynomial of p and n?

20 20 FARID ALINIAEIFARD AND SHAWN BURKETT 4) Any normal supercharacter theory is integral [4], so any normal subgroup is a union of 1-Galois classes, and any supercharacter of a normal supercharacter theory is a non-negative linear combination of 1-Galois irreducible characters. Can we precisely express a supercharacter of a normal supercharacter theory for UT n q) as a linear combination of 1-Galois irreducible characters? References [1] M. Aguiar, C. André, C. Benedetti, N. Bergeron, Z. Chen, P. Diaconis, A. Hendrickson, S. Hsiao, I. M. Isaacs, A. Jedwab, K. Johnson, G. Karaali, A. Lauve, T. Le, S. Lewis, H. Li, K. Magaard, E. Marberg, J-C. Novelli, A. Pang, F. Saliola, L. Tevlin, J-Y. Thibon, N. Thiem, V. Venkateswaran, C. R. Vinroot, N. Yan and M. Zabrocki, Supercharacters, symmetric functions in noncommuting variables, and related Hopf algebras, Adv. Math ) [2] S. Andrews, The Hopf monoid on nonnesting supercharacters of pattern groups, Journal of Algebraic Combinatorics, ) [3] Marcelo Aguiar, Nantel Bergeron, Nat Thiem, Hopf monoids from class functions on unitriangular matrices, Algebra and Number Theory 2013) [4] Farid Aliniaeifard, Normal supercharacter theories and their supercharacters, Journal of Algebra 2017) 469, [5] N. Bergeron and Nat Thiem, A supercharacter table decomposition via power-sum symmetric functions, Internat. J. Algebra Comput ) [6] P. Diaconis, M. Isaacs, Supercharacters and superclasses for algebra groups, Trans. Amer. Math. Soc ) [7] I. M. Isaacs, Character Theory of Finite Groups, Academic Press, New York, [8] L. Geissinger, Hopf algebras of symmetric functions and class functions, Lecture Notes in Math ) [9] Justin Keller, Generalized Supercharacter Theories and Schur Rings for Hopf Algebras, Ph.D Thesis, University of Colorado Boulder, [10] D. Grinberg, V. Reiner, Hopf algebras in Combinatorics, arxiv preprint arxiv: , [11] I.G. Macdonald, Symmetric functions and Hall polynomials, 2nd ed., Oxford University Press, [12] A.V. Zelevinsky. Representations of finite classical groups: a Hopf algebra approach. Lecture Notes in Mathematics 869. Springer-Verlag, Berlin-New York, Farid Aliniaeifard) Department of Mathematics, University of Colorado Boulder, Boulder, 80309, USA address: farid.aliniaeifard@colorado.edu Shawn Burkett) Department of Mathematics, University of Colorado Boulder, Boulder, 80309, USA address: shawn.burkett@colorado.edu