An Application of the Artin-Hasse Exponential to Finite Algebra Groups

Transcription

1 An Application of the Artin-Hasse Exponential to Finite Algebra Groups Darci L. Kracht Kent State University advisor: Stephen M. Gagola, Jr. XXXII OSU-Denison Mathematics Conference The Ohio State University May 11, 2014 D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17

2 Algebra Groups Algebra groups Definition Let F be a field of characteristic p and order q. Let J be a finite-dimensional, nilpotent, associative F -algebra. Define G = 1 + J (formally). Then G is a finite p-group. Groups of this form are called F -algebra groups. We will assume this notation throughout. Example Unipotent upper-triangular matrices over F Theorem (Isaacs 1995) All irreducible characters of algebra groups have q-power degree. D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17

3 Algebra Groups Algebra subgroups and strong subgroups Subgroups: 1 + X where X J is closed under the operation (x, y) x + y + xy X need not be an algebra. If L is a subalgebra of J, then 1 + L is an algebra subgroup of G = 1 + J. If H G such that H K is a q-power for all algebra subgroups K of G, then H is a strong subgroup of G. In particular, H strong = H is a q-power. Algebra subgroups are strong. D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17

4 Algebra Groups Strong subgroups as point stabilizers Theorem (Isaacs 1995) Under certain conditions, character stabilizers are strong. If J p = 0, N G is an ideal subgroup, and θ Irr(N), then the stabilizer in G of θ is strong. If N G is an ideal subgroup, and λ is a linear character of N, then the stabilizer in G of λ is strong. Question Are normalizers of algebra subgroups strong? D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17

5 When J p = 0: The Exponential Map When J p = 0: The Exponential Map If J p = 0, define exp : J 1 + J by the usual power series. For x J, exp(x) = 1 + x + x 2 2! + x 3 3! + Connects multiplication in group to addition and Lie structure in underlying algebra. For x J, exp(fx)= {exp(αx) α F } is called an F -exponent subgroup. F -exponent subgroups are strong. The subgroup H is said to be exponentially closed if exp(fx) H whenever exp(x) H. (Also called partitioned.) Exponentially closed subgroups are strong. D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17

6 When J p = 0: The Exponential Map Lie algebra structure and exp Put a Lie algebra structure on J by defining the Lie bracket [, ]: J J J by [x, y] = xy yx for x, y J. For x J, define ad x : J J by ad x(y) = [x, y] for y J. Identity (anon) If J p = 0, then y (exp x) 1 = exp (ad x) (y) for all x, y J. Let H = exp(l), where L is a subalgebra of J. N G (H) = exp N J (L) where N J (L) = {x : [L, x] L}. exp(x) N G (H) exp(ad x) stabilizes L ad x stabilizes L D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17

7 What if J p 0? What if J p 0? Stick with x J for which x p = 0. Reduction to the universal case (characteristic 0) Halasi (2004) Find another bijection J 1 + J truncated exponential Previtali (1995): x x 2 (for odd p only) Goal To find an analog/generalization of exp that works if x p 0. D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17

8 If J p 0: Artin-Hasse exponential The Artin-Hasse exponential Definition Fix a prime p and a nilpotent algebra X over a field of characteristic 0 or p. The Artin-Hasse exponential series, E p : X 1 + X, is defined by E p (x) = exp ( x + x p p + x p2 p 2 + x p3 p 3 + ) In characteristic 0: ( x p E p (x) = exp (x) exp p ) ( exp ) ( x p2 p 2 exp ) x p3 p 3 D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17

9 If J p 0: Artin-Hasse exponential Example In characteristic 0: E 3 (x) = exp (x + x x x 27 ( ) ( x 3 x 9 = exp (x) exp exp 3 9 ) 27 + ) exp = (1 + X + X 2 ) ( 2! + X = 1 + X + X X X X 5 It looks like we can reduce modulo 3: ( x ) + ) E 3 (X ) = 1 + X + 2X 2 + 2X 3 + 0X 4 + X 5 +. ( ) X ! + D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17

10 If J p 0: Artin-Hasse exponential Another formula for E p Theorem (Artin, Hasse 1928) The coefficients in E p (x) are p-integral. Sketch of combinatorial proof. E p (x) = Syl p (S n ) x n n! Frobenius: The highest power of p that divides n! = S n also divides Syl p (S n ). D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17

11 If J p 0: Artin-Hasse exponential E p lacks some nice properties of exp If XY = YX, then exp(x ) exp(y ) = exp(x + Y ). Above example in characteristic 3: E 3 (X )E 3 (Y ) = ( 1 + X + 2X 2 + 2X 3 + ) (1 + Y + 2Y 2 + 2Y 3 + ) = 1 + (X + Y ) + 2(X + Y ) 2 + 2(X 3 + X 2 Y + XY 2 + Y 3 ) + (2x 3 Y + X 2 Y 2 + 2XY 3 ) + On the other hand, E 3 (X + Y ) = 1 + (X + Y ) + 2 (X + Y ) (X + Y ) (X + Y ) 4 + = 1 + (X + Y ) + 2 (X + Y ) ( X 3 + Y 3) + 0 (X + Y ) 4 + So E 3 (X )E 3 (Y ) E 3 (X + Y ). D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17

12 If J p 0: Artin-Hasse exponential An Artin-Hasse exponential law E p (x)e p (y) = E p (X + Y )E p (Θ 1 ) = E p (X + Y )E p (S 1 )E p (Θ 2 ) where S 1 (X, Y ) = X p + Y p (X + Y ) p p Theorem (Blache 2005) If X and Y are commuting indeterminates, then E p (X )E p (Y ) = E p (S k (X, Y )), k 0 where S k is a homogeneous polynomial of degree p k having integer coefficients. S k (X, Y ) = s k (X, 0,..., 0; Y, 0,..., 0) where s k is the k-th Witt addition polynomial. D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17

13 If J p 0: Artin-Hasse exponential An Artin-Hasse Freshman Dream Proposition ( ) In characteristic p, E p (X ) pa = E p X p a, for all integers a 0. ( In char 0: E p (X ) p = exp X + X p p + X p2 p 2 + X p3 p 3 + = exp ( = exp(px ) exp px + X p + X p2 ( = exp(px )E p (X p ). So in char p: E p (X ) p = E p (X p ) Similarly for p a. p X p + (X p ) p + X p3 p 2 + p ) p ) + (X p ) p2 p 2 + ) D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17

14 Subgroups defined by the Artin-Hasse exponential Subgroups defined by the Artin-Hasse exponential Definitions E p (Fx)= {E p (αx) α F } Usually not closed under multiplication AH-exponent subgroup: E F p (x)= E p (Fx)E p (Fx p )E p (Fx p2 ). A subgroup H is said to be AH-closed if E p (γx) H for all γ F whenever E p (x) H. Facts Ep F (x) =< E p (Fx) > Ep F (x) and AH-closed subgroups are strong. Ep F (x) is not necessarily AH-closed. If J 2p 1 = 0, then Ep F (x) = E p (Fx)E p (Fx p ) is AH-closed. D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17

15 Main Theorem Application: normalizers of algebra subgroups Main Theorem Let J be a finite-dimensional nilpotent associative algebra over a finite field of positive characteristic p and order q. Suppose G J and H is an algebra subgroup of G. If J p+1 = 0, then N G (H) is AH-closed (hence strong). If J p+1 0, then examples exist for which N G (H) = p q a, and so N G (H) need not be strong. D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17

16 Sketch of proof Main Theorem Let H = 1 + L, an algebra subgroup. Recall: for x p = 0, exp(x) N G (H) ad x stabilizes L We want had analogous to ad so that E p (x) N G (H) E p (had x) stabilizes L had x stabilizes L had x = ad x + θ x where θ x is not linear If J 2p 1 = 0, θ x = Lp x Rx p (L x R x ) p, where L x, R x are left and p right multiplication by x, respectively. θ x (y) J p+1 J p+1 = 0 = had x = ad x had x stabilizes L had(αx) stabilizes L for all α F N G (H) is AH-closed (hence strong) D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17

17 Sketch of proof, cont d Main Theorem Suppose J p+1 0. E p (αx) N G (H) had(αx) = α ad x + α p θ x stabilizes L Now had x = ad x + θ x stabilizes L α p had x = α p (ad x + θ x ) = α p ad x + α p θ x stabilizes L for all α. So had(αx) stabilizes L (α p α) ad x stabilizes L Examples exist (for all p) for which this happens α GF (p) and so N G (H) is not AH-closed if F = q > p In fact, in these examples N G (H) = p q a. So if J p+1 0 and F = q > p, examples exist for which normalizers of algebra subgroups are not strong. D.L. Kracht (Kent State University) Artin-Hasse Exp in Algebra Groups OSU-Denison / 17