Showing 1–32 of 32 results for author: Magaard, K

Verification of the conjugacy classes and ordinary character table of the Monster

Authors: Thomas Breuer, Kay Magaard, Robert A. Wilson

Abstract: As part of the programme to re-compute the character tables of all the groups in the Atlas we re-compute the character table of $\mathbb M$, the Monster simple group. We operate under the uniqueness hypotheses of $\mathbb M$ and the existence of an ordinary faithful representation of degree $196883 = 47.59.71$ and determine the conjugacy classes and centralizer orders of the elements of… ▽ More As part of the programme to re-compute the character tables of all the groups in the Atlas we re-compute the character table of $\mathbb M$, the Monster simple group. We operate under the uniqueness hypotheses of $\mathbb M$ and the existence of an ordinary faithful representation of degree $196883 = 47.59.71$ and determine the conjugacy classes and centralizer orders of the elements of $\mathbb M$. Along the way we re-compute the character tables of centralizers of $p$-elements for $p < 11$ as well as fusions of conjugacy classes of these centralizers in $\mathbb M$. △ Less

Submitted 13 December, 2024; originally announced December 2024.

Some steps in the verification of the ordinary character table of the Monster group

Authors: Thomas Breuer, Kay Magaard, Robert A. Wilson

Abstract: We show the details of certain computations that are used in the paper "Verification of the conjugacy classes and ordinary character table of the Monster". We show the details of certain computations that are used in the paper "Verification of the conjugacy classes and ordinary character table of the Monster". △ Less

Submitted 12 December, 2024; originally announced December 2024.

MSC Class: 20C34

Finite simple permutation groups acting with fixity 4

Authors: Barbara Baumeister, Paula Hähndel, Kay Magaard, Patrick Salfeld, Rebecca Waldecker

Abstract: Motivated by the theory of Riemann surfaces and specifically the significance of Weierstrass points, we classify all finite simple groups that have a faithful transitive action with fixity 4, along with details about all possible such actions. Motivated by the theory of Riemann surfaces and specifically the significance of Weierstrass points, we classify all finite simple groups that have a faithful transitive action with fixity 4, along with details about all possible such actions. △ Less

Submitted 14 December, 2023; v1 submitted 18 July, 2022; originally announced July 2022.

Comments: Revised version December 2023, as submitted (but without the appendix, this is only here on arxiv)

Low-dimensional representations of finite orthogonal groups

Authors: Kay Magaard, Gunter Malle

Abstract: We determine the smallest irreducible Brauer characters for finite quasi-simple orthogonal type groups in non-defining characteristic. Under some restrictions on the characteristic we also prove a gap result showing that the next larger irreducible Brauer characters have a degree roughly the square of those of the smallest non-trivial characters. We determine the smallest irreducible Brauer characters for finite quasi-simple orthogonal type groups in non-defining characteristic. Under some restrictions on the characteristic we also prove a gap result showing that the next larger irreducible Brauer characters have a degree roughly the square of those of the smallest non-trivial characters. △ Less

Submitted 22 May, 2019; originally announced May 2019.

MSC Class: 20C33; 20D06; 20G40

Journal ref: Math. Proc. Camb. Phil. Soc. 171 (2021) 585-606

On the characters of Sylow $p$-subgroups of finite Chevalley groups $G(p^f)$ for arbitrary primes

Authors: Tung Le, Kay Magaard, Alessandro Paolini

Abstract: We develop in this work a method to parametrize the set $\mathrm{Irr}(U)$ of irreducible characters of a Sylow $p$-subgroup $U$ of a finite Chevalley group $G(p^f)$ which is valid for arbitrary primes $p$, in particular when $p$ is a very bad prime for $G$. As an application, we parametrize $\mathrm{Irr}(U)$ when $G=\mathrm{F}_4(2^f)$. We develop in this work a method to parametrize the set $\mathrm{Irr}(U)$ of irreducible characters of a Sylow $p$-subgroup $U$ of a finite Chevalley group $G(p^f)$ which is valid for arbitrary primes $p$, in particular when $p$ is a very bad prime for $G$. As an application, we parametrize $\mathrm{Irr}(U)$ when $G=\mathrm{F}_4(2^f)$. △ Less

Submitted 1 April, 2019; originally announced April 2019.

Comments: 22 pages

MSC Class: 20C33; 20D06; 20D15

Verification of the ordinary character table of the Baby Monster

Authors: Thomas Breuer, Kay Magaard, Robert Wilson

Abstract: We prove the correctness of the character table of the sporadic simple Baby Monster group that is shown in the Atlas of Finite Groups. We prove the correctness of the character table of the sporadic simple Baby Monster group that is shown in the Atlas of Finite Groups. △ Less

Submitted 20 May, 2019; v1 submitted 20 February, 2019; originally announced February 2019.

Comments: Replaced old Section 3 with a reference to the literature

MSC Class: 20C34

Some steps in the verification of the ordinary character table of the Baby Monster group

Authors: Thomas Breuer, Kay Magaard, Robert A. Wilson

Abstract: We show the details of certain computations that are described in [BMW19]. We show the details of certain computations that are described in [BMW19]. △ Less

Submitted 20 May, 2019; v1 submitted 18 February, 2019; originally announced February 2019.

Comments: 59 pages; w.r.t. the original version, some computations have been added, and the text has been adjusted to the revised version of [BMW19]

The irreducible characters of the Sylow $p$-subgroups of the Chevalley groups $\mathrm{D}_6(p^f)$ and $\mathrm{E}_6(p^f)$

Authors: Tung Le, Kay Magaard, Alessandro Paolini

Abstract: We parametrize the set of irreducible characters of the Sylow $p$-subgroups of the Chevalley groups $\mathrm{D}_6(q)$ and $\mathrm{E}_6(q)$, for an arbitrary power $q$ of any prime $p$. In particular, we establish that the parametrization is uniform for $p \ge 3$ in type $\mathrm{D}_6$ and for $p \ge 5$ in type $\mathrm{E}_6$, while the prime $2$ in type $\mathrm{D}_6$ and the primes $2,$ $3$ in t… ▽ More We parametrize the set of irreducible characters of the Sylow $p$-subgroups of the Chevalley groups $\mathrm{D}_6(q)$ and $\mathrm{E}_6(q)$, for an arbitrary power $q$ of any prime $p$. In particular, we establish that the parametrization is uniform for $p \ge 3$ in type $\mathrm{D}_6$ and for $p \ge 5$ in type $\mathrm{E}_6$, while the prime $2$ in type $\mathrm{D}_6$ and the primes $2,$ $3$ in type $\mathrm{E}_6$ yield character degrees of the form $q^m/p^i$ which force a departure from the generic situations. Also for the first time in our analysis we see a family of irreducible characters of a classical group of degree $q^m/p^i$ where $i > 1$ which occurs in type $\mathrm{D}_6$. △ Less

Submitted 26 December, 2017; originally announced December 2017.

Comments: 32 pages

MSC Class: 20C33; 20C15

On the character degrees of a Sylow $p$-subgroup of a finite Chevalley group $G(p^f)$ over a bad prime

Authors: Tung Le, Kay Magaard, Alessandro Paolini

Abstract: Let $q$ be a power of a prime $p$ and let $U(q)$ be a Sylow $p$-subgroup of a finite Chevalley group $G(q)$ defined over the field with $q$ elements. We first give a parametrization of the set $\text{Irr}(U(q))$ of irreducible characters of $U(q)$ when $G(q)$ is of type $\mathrm{G}_2$. This is uniform for primes $p \ge 5$, while the bad primes $p=2$ and $p=3$ have to be considered separately. We t… ▽ More Let $q$ be a power of a prime $p$ and let $U(q)$ be a Sylow $p$-subgroup of a finite Chevalley group $G(q)$ defined over the field with $q$ elements. We first give a parametrization of the set $\text{Irr}(U(q))$ of irreducible characters of $U(q)$ when $G(q)$ is of type $\mathrm{G}_2$. This is uniform for primes $p \ge 5$, while the bad primes $p=2$ and $p=3$ have to be considered separately. We then use this result and the contribution of several authors to show a general result, namely that if $G(q)$ is any finite Chevalley group with $p$ a bad prime, then there exists a character $χ\in \text{Irr}(U(q))$ such that $χ(1)=q^n/p$ for some $n \in \mathbb{Z}_{\ge_0}$. In particular, for each $G(q)$ and every bad prime $p$, we construct a family of characters of such degree as inflation followed by an induction of linear characters of an abelian subquotient $V(q)$ of $U(q)$. △ Less

Submitted 18 August, 2017; originally announced August 2017.

Comments: 14 pages

MSC Class: 20C33

Imprimitive irreducible modules for finite quasisimple groups, II

Authors: Gerhard Hiss, Kay Magaard

Abstract: This work completes the classification of the imprimitive irreducible modules, over algebraically closed fields of characteristic 0, of the finite quasisimple groups. This work completes the classification of the imprimitive irreducible modules, over algebraically closed fields of characteristic 0, of the finite quasisimple groups. △ Less

Submitted 2 December, 2016; v1 submitted 21 October, 2016; originally announced October 2016.

Comments: A gap in the proof of Theorem 3.10 has been filled. A case overlooked in Theorem 5.10 has been added. Some statements in Theorem 5.10 have been clarified. Two entries in Tables 7, 8 have been corrected

MSC Class: Primary: 20C33; 20C15; Secondary: 20C40; 20E42; 20E45

Constructing characters of Sylow $p$-subgroups of finite Chevalley groups

Authors: Simon M. Goodwin, Tung Le, Kay Magaard, Alessandro Paolini

Abstract: Let $q$ be a power of a prime $p$, let $G$ be a finite Chevalley group over $\mathbb{F}_q$ and let $U$ be a Sylow $p$-subgroup of $G$; we assume that $p$ is not a very bad prime for $G$. We explain a procedure of reduction of irreducible complex characters of $U$, which leads to an algorithm whose goal is to obtain a parametrization of the irreducible characters of $U$ along with a means to constr… ▽ More Let $q$ be a power of a prime $p$, let $G$ be a finite Chevalley group over $\mathbb{F}_q$ and let $U$ be a Sylow $p$-subgroup of $G$; we assume that $p$ is not a very bad prime for $G$. We explain a procedure of reduction of irreducible complex characters of $U$, which leads to an algorithm whose goal is to obtain a parametrization of the irreducible characters of $U$ along with a means to construct these characters as induced characters. A focus in this paper is determining the parametrization when $G$ is of type $\mathrm{F}_4$, where we observe that the parametrization is "uniform" over good primes $p > 3$, but differs for the bad prime $p = 3$. We also explain how it has been applied for all groups of rank $4$ or less. △ Less

Submitted 17 August, 2016; v1 submitted 8 December, 2015; originally announced December 2015.

Comments: 38 pages

The generic character table of a Sylow $p$-subgroup of a finite Chevalley group of type $D_4$

Authors: Simon M. Goodwin, Tung Le, Kay Magaard

Abstract: Let $U$ be a Sylow $p$-subgroup of the finite Chevalley group of type $D_4$ over the field of $q$ elements, where $q$ is a power of a prime $p$. We describe a construction of the generic character table of $U$. Let $U$ be a Sylow $p$-subgroup of the finite Chevalley group of type $D_4$ over the field of $q$ elements, where $q$ is a power of a prime $p$. We describe a construction of the generic character table of $U$. △ Less

Submitted 10 February, 2017; v1 submitted 27 August, 2015; originally announced August 2015.

On the characters of the Sylow p-subgroups of untwisted Chevalley groups Y_n(p^a)

Authors: Frank Himstedt, Tung Le, Kay Magaard

Abstract: Let $UY_n(q)$ be a Sylow p-subgroup of an untwisted Chevalley group $Y_n(q)$ of rank n defined over $\mathbb{F}_q$ where q is a power of a prime p. We partition the set $Irr(UY_n(q))$ of irreducible characters of $UY_n(q)$ into families indexed by antichains of positive roots of the root system of type $Y_n$. We focus our attention on the families of characters of $UY_n(q)$ which are indexed by an… ▽ More Let $UY_n(q)$ be a Sylow p-subgroup of an untwisted Chevalley group $Y_n(q)$ of rank n defined over $\mathbb{F}_q$ where q is a power of a prime p. We partition the set $Irr(UY_n(q))$ of irreducible characters of $UY_n(q)$ into families indexed by antichains of positive roots of the root system of type $Y_n$. We focus our attention on the families of characters of $UY_n(q)$ which are indexed by antichains of length 1. Then for each positive root $α$ we establish a one to one correspondence between the minimal degree members of the family indexed by $α$ and the linear characters of a certain subquotient $\overline{T}_α$ of $UY_n(q)$. For $Y_n = A_n$ our single root character construction recovers amongst other things the elementary supercharacters of these groups. Most importantly though this paper lays the groundwork for our classification of the elements of $Irr(UE_i(q))$, $6 \le i \le 8$ and $Irr(UF_4(q))$. △ Less

Submitted 31 July, 2015; originally announced August 2015.

MSC Class: 20C33 (Primary) 20C15 (Secondary)

Journal ref: LMS J. Comput. Math. 19 (2016) 303-359

Transitive permutation groups with trivial four point stabilizers

Authors: Kay Magaard, Rebecca Waldecker

Abstract: In this paper we analyze the structure of transitive permutation groups that have trivial four point stabilizers, but some nontrivial three point stabilizer. In particular we give a complete, detailed classification when the group is simple or quasisimple. This paper is motivated by questions concerning the relationship between fixed points of automorphisms of Riemann surfaces and Weierstrass poin… ▽ More In this paper we analyze the structure of transitive permutation groups that have trivial four point stabilizers, but some nontrivial three point stabilizer. In particular we give a complete, detailed classification when the group is simple or quasisimple. This paper is motivated by questions concerning the relationship between fixed points of automorphisms of Riemann surfaces and Weierstrass points and is a continuation of the authors' earlier work. △ Less

Submitted 27 November, 2014; originally announced November 2014.

MSC Class: 20B10; 20B25; 20E32

Computing finite Galois groups arising from automorphic forms

Authors: Kay Magaard, Gordan Savin

Abstract: We construct extensions of the field of rational numbers with the Galois group G_2(F_p) by reducing p-adic representations attached to automorphic representations. We construct extensions of the field of rational numbers with the Galois group G_2(F_p) by reducing p-adic representations attached to automorphic representations. △ Less

Submitted 14 June, 2014; originally announced June 2014.

MSC Class: 11F80

Primitive Monodromy Groups of Genus at most Two

Authors: Daniel Frohardt, Robert Guralnick, Kay Magaard

Abstract: We show that if the action of a classical group $G$ on a set $Ω$ of $1$-spaces of its natural module is of genus at most two, then $|Ω| \leq 10,000$. We show that if the action of a classical group $G$ on a set $Ω$ of $1$-spaces of its natural module is of genus at most two, then $|Ω| \leq 10,000$. △ Less

Submitted 7 January, 2014; originally announced January 2014.

Image of the braid groups inside the finite Iwahori-Hecke algebras

Authors: Olivier Brunat, Kay Magaard, Ivan Marin

Abstract: We determine the image of the braid groups inside the Iwahori-Hecke algebras of type A, when defined over a finite field, in the semisimple case, and for suitably large (but controlable) order of the defining (quantum) parameter. We determine the image of the braid groups inside the Iwahori-Hecke algebras of type A, when defined over a finite field, in the semisimple case, and for suitably large (but controlable) order of the defining (quantum) parameter. △ Less

Submitted 5 January, 2014; originally announced January 2014.

Imprimitive irreducible modules for finite quasisimple groups

Authors: Gerhard Hiss, William J. Husen, Kay Magaard

Abstract: Motivated by the maximal subgroup problem of the finite classical groups we begin the classification of imprimitive irreducible modules of finite quasisimple groups. We obtain our strongest results for modules over fields of characteristic 0, although much of our analysis carries over into positive characteristic. If G is a finite quasisimple group of Lie type, and K an algebraically closed fiel… ▽ More Motivated by the maximal subgroup problem of the finite classical groups we begin the classification of imprimitive irreducible modules of finite quasisimple groups. We obtain our strongest results for modules over fields of characteristic 0, although much of our analysis carries over into positive characteristic. If G is a finite quasisimple group of Lie type, and K an algebraically closed field of cross characteristic, we prove that an imprimitive irreducible KG-module is Harish-Chandra induced. We then specialize to the case when K has characteristic 0 and apply Harish-Chandra philosophy to classify irreducible Harish-Chandra induced modules in terms of Harish-Chandra series, as well as in terms of Lusztig series. One of the surprising outcome of our investigations is the fact that, asymptotically, most of the irreducible KG-modules are imprimitive in this situation. For exceptional groups of Lie type of rank at most 2, and for sporadic groups, we list all ordinary irreducible imprimitive characters. △ Less

Submitted 20 December, 2013; v1 submitted 27 November, 2012; originally announced November 2012.

Comments: Typos corrected; deleted incorrect statement from Proposition 9.5

MSC Class: Primary: 20B15; 20C33; 20C34; 20E28; Secondary: 20B25; 20C15; 20C20

Genus 2 curves that admit a degree 5 map to an elliptic curve

Authors: K. Magaard, T. Shaska, H. Voelklein

Abstract: We continue our study of genus 2 curves $C$ that admit a cover $ C \to E$ to a genus 1 curve $E$ of prime degree $n$. These curves $C$ form an irreducible 2-dimensional subvariety $Ł_n$ of the moduli space $\M_2$ of genus 2 curves. Here we study the case $n=5$. This extends earlier work for degree 2 and 3, aimed at illuminating the theory for general $n$. We compute a normal form for the curves… ▽ More We continue our study of genus 2 curves $C$ that admit a cover $ C \to E$ to a genus 1 curve $E$ of prime degree $n$. These curves $C$ form an irreducible 2-dimensional subvariety $Ł_n$ of the moduli space $\M_2$ of genus 2 curves. Here we study the case $n=5$. This extends earlier work for degree 2 and 3, aimed at illuminating the theory for general $n$. We compute a normal form for the curves in the locus $Ł_5$ and its three distinguished subloci. Further, we compute the equation of the elliptic subcover in all cases, give a birational parametrization of the subloci of $Ł_5$ as subvarieties of $\M_2$ and classify all curves in these loci which have extra automorphisms. △ Less

Submitted 3 September, 2012; originally announced September 2012.

Journal ref: Forum Math. 21 (2009), no. 3, 547--566

Algorithmic construction of Chevalley bases

Authors: Kay Magaard, Robert Wilson

Abstract: We present a new algorithm for constructing a Chevalley basis for any Chevalley Lie algebra over a finite field. This is a necessary component for some constructive recognition algorithms of exceptional quasisimple groups of Lie type. When applied to a simple Chevalley Lie algebra in characteristic at least 5, our algorithm has complexity involving the 7th power of the Lie rank, which is likely to… ▽ More We present a new algorithm for constructing a Chevalley basis for any Chevalley Lie algebra over a finite field. This is a necessary component for some constructive recognition algorithms of exceptional quasisimple groups of Lie type. When applied to a simple Chevalley Lie algebra in characteristic at least 5, our algorithm has complexity involving the 7th power of the Lie rank, which is likely to be close to best possible. △ Less

Submitted 23 March, 2012; originally announced March 2012.

MSC Class: 20G40; 17B45

Journal ref: LMS J. Comput. Math. 15 (2012) 436-443

On the irreducibility of symmetrizations of cross-characteristic representations of finite classical groups

Authors: Kay Magaard, Gerhard Roehrle, Donna Testerman

Abstract: Let $W$ be a vector space over an algebraically closed field $k$. Let $H$ be a quasisimple group of Lie type of characteristic $p\ne {\rm char}(k)$ acting irreducibly on $W$. Suppose also that $G$ is a classical group with natural module $W$, chosen minimally with respect to containing the image of $H$ under the associated representation. We consider the question of when $H$ can act irreducibly on… ▽ More Let $W$ be a vector space over an algebraically closed field $k$. Let $H$ be a quasisimple group of Lie type of characteristic $p\ne {\rm char}(k)$ acting irreducibly on $W$. Suppose also that $G$ is a classical group with natural module $W$, chosen minimally with respect to containing the image of $H$ under the associated representation. We consider the question of when $H$ can act irreducibly on a $G$-constituent of $W^{\otimes e}$ and study its relationship to the maximal subgroup problem for finite classical groups. △ Less

Submitted 5 November, 2012; v1 submitted 10 January, 2012; originally announced January 2012.

Comments: To appear in Journal of Pure and Applied Algebra

Black box exceptional groups of Lie type

Authors: W. M. Kantor, K. Magaard

Abstract: If a black box group is known to be isomorphic to an exceptional simple group of Lie type of (twisted) rank $>1$, other than any $^2F_4(q)$, over a field of known size, a Las Vegas algorithm is given to produce a constructive isomorphism. In view of its timing, this algorithm yields an upgrade of all known nearly linear time Monte Carlo permutation group algorithms to Las Vegas algorithms when the… ▽ More If a black box group is known to be isomorphic to an exceptional simple group of Lie type of (twisted) rank $>1$, other than any $^2F_4(q)$, over a field of known size, a Las Vegas algorithm is given to produce a constructive isomorphism. In view of its timing, this algorithm yields an upgrade of all known nearly linear time Monte Carlo permutation group algorithms to Las Vegas algorithms when the input group has no composition factor isomorphic to any group $^2F_4(q)$ or $^2G_2(q)$. △ Less

Submitted 13 December, 2011; originally announced December 2011.

Generating sets of Affine groups of low genus

Authors: Kay Magaard, Sergey Shpectorov, Gehao Wang

Abstract: We describe a new algorithm for computing braid orbits on Nielsen classes. As an application we classify all families of affine genus zero systems; that is all families of coverings of the Riemann sphere by itself such that the monodromy group is a primitive affine permutation group. We describe a new algorithm for computing braid orbits on Nielsen classes. As an application we classify all families of affine genus zero systems; that is all families of coverings of the Riemann sphere by itself such that the monodromy group is a primitive affine permutation group. △ Less

Submitted 24 August, 2011; originally announced August 2011.

MSC Class: 14H10; 14H30; 14H45; 14H35

Journal ref: Computational Algebraic and Analytic Geometry, Contemporary Mathematics, vol. 572, Amer. Math. Soc., Providence, RI, 2012, pp. 173-192

Generation of finite simple groups with an application to groups acting on Beauville surfaces

Authors: Ben Fairbairn, Kay Magaard, Christopher Parker

Abstract: We develop theorems which produce a multitude of hyperbolic triples for the finite classical groups. We apply these theorems to prove that every quasisimple group except Alt(5) and SL_2(5) is a Beauville group. In particular, we settle a conjecture of Bauer, Catanese and Grunewald which asserts that all non-abelian finite simple groups except for the alternating group $\Alt(5)$ are Beauville group… ▽ More We develop theorems which produce a multitude of hyperbolic triples for the finite classical groups. We apply these theorems to prove that every quasisimple group except Alt(5) and SL_2(5) is a Beauville group. In particular, we settle a conjecture of Bauer, Catanese and Grunewald which asserts that all non-abelian finite simple groups except for the alternating group $\Alt(5)$ are Beauville groups. △ Less

Submitted 18 October, 2010; originally announced October 2010.

Supercharacters, symmetric functions in noncommuting variables, and related Hopf algebras

Authors: Marcelo Aguiar, Carlos Andre, Carolina Benedetti, Nantel Bergeron, Zhi Chen, Persi Diaconis, Anders Hendrickson, Samuel Hsiao, I. Martin Isaacs, Andrea Jedwab, Kenneth Johnson, Gizem Karaali, Aaron Lauve, Tung Le, Stephen Lewis, Huilan Li, Kay Magaard, Eric Marberg, Jean-Christophe Novelli, Amy Pang, Franco Saliola, Lenny Tevlin, Jean-Yves Thibon, Nathaniel Thiem, Vidya Venkateswaran , et al. (3 additional authors not shown)

Abstract: We identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in noncommuting variables. Each is a Hopf algebra and the two are isomorphic as such. This allows developments in each to be transferred. The identification suggests a rich… ▽ More We identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in noncommuting variables. Each is a Hopf algebra and the two are isomorphic as such. This allows developments in each to be transferred. The identification suggests a rich class of examples for the emerging field of combinatorial Hopf algebras. △ Less

Submitted 22 December, 2011; v1 submitted 21 September, 2010; originally announced September 2010.

Comments: To Appear in Advances in Mathematics (2012), 23 pages

MSC Class: 05E10

Journal ref: Advances in Mathematics 229 (2012) 2310--2337

On the Character Degrees of Sylow $p$-subgroups of Chevalley Group of Type $E(p^f)$

Authors: Tung Le, Kay Magaard

Abstract: Let $\F_q$ be a field of characteristic $p$ with $q$ elements. It is known that the degrees of the irreducible characters of the Sylow $p$-subgroup of $GL_n(\F_q)$ are powers of $q$ by Issacs. On the other hand Sangroniz showed that this is true for a Sylow $p$-subgroup of a classical group defined over $\F_q$ if and only if $p$ is odd. For the classical groups of Lie type $B$, $C$ and $D$ the onl… ▽ More Let $\F_q$ be a field of characteristic $p$ with $q$ elements. It is known that the degrees of the irreducible characters of the Sylow $p$-subgroup of $GL_n(\F_q)$ are powers of $q$ by Issacs. On the other hand Sangroniz showed that this is true for a Sylow $p$-subgroup of a classical group defined over $\F_q$ if and only if $p$ is odd. For the classical groups of Lie type $B$, $C$ and $D$ the only bad prime is 2. For the exceptional groups there are others. In this paper we construct irreducible characters for the Sylow $p$-subgroups of the Chevalley groups $D_4(q)$ with $q=2^f$ of degree $q^3/2$. Then we use an analogous construction for $E_6(q)$ with $q=3^f$ to obtain characters of degree $q^7/3$, and for $E_8(q)$ with $q=5^f$ to obtain characters of degree $q^{16}/5.$ This helps to explain why the primes 2, 3 and 5 are bad for the Chevalley groups of type $E$ in terms of the representation theory of the Sylow $p$-subgroup. △ Less

Submitted 15 September, 2010; originally announced September 2010.

Comments: 32 pages

Report number: 20C33, 20C15

Character degree sums in finite nonsolvable groups

Authors: Kay Magaard, Hung P. Tong-Viet

Abstract: Let N be a minimal normal nonabelian subgroup of a finite group G. We will show that there exists a nontrivial irreducible character of N of degree at least 5 which is extendible to G. This result will be used to settle two open questions raised by Berkovich and Mann, and Berkovich and Zhmud'. Let N be a minimal normal nonabelian subgroup of a finite group G. We will show that there exists a nontrivial irreducible character of N of degree at least 5 which is extendible to G. This result will be used to settle two open questions raised by Berkovich and Mann, and Berkovich and Zhmud'. △ Less

Submitted 15 April, 2010; v1 submitted 4 December, 2009; originally announced December 2009.

Comments: 5 pages

MSC Class: 20C15; 20D05

Characters of the Sylow p-Subgroups of the Chevalley Groups D_4(p^n)

Authors: Frank Himstedt, Tung Le, Kay Magaard

Abstract: Let $U(q)$ be a Sylow $p$-subgroup of the Chevalley groups $D_4(q)$ where $q$ is a power of a prime $p$. We describe a construction of all complex irreducible characters of $U(q)$ and obtain a classification of these irreducible characters via the root subgroups which are contained in the center of these characters. Furthermore, we show that the multiplicities of the degrees of these irreducible… ▽ More Let $U(q)$ be a Sylow $p$-subgroup of the Chevalley groups $D_4(q)$ where $q$ is a power of a prime $p$. We describe a construction of all complex irreducible characters of $U(q)$ and obtain a classification of these irreducible characters via the root subgroups which are contained in the center of these characters. Furthermore, we show that the multiplicities of the degrees of these irreducible characters are given by polynomials in $q-1$ with nonnegative coefficients. △ Less

Submitted 11 November, 2009; originally announced November 2009.

MSC Class: 20C33; 20C15

A GAP package for braid orbit computation, and applications

Authors: K. Magaard, S. Shpectorov, Helmut Voelklein

Abstract: Let G be a finite group. By Riemann's Existence Theorem, braid orbits of generating systems of G with product 1 correspond to irreducible families of covers of the Riemann sphere with monodromy group G. Thus many problems on algebraic curves require the computation of braid orbits. In this paper we describe an implementation of this computation. We discuss several applications, including the cla… ▽ More Let G be a finite group. By Riemann's Existence Theorem, braid orbits of generating systems of G with product 1 correspond to irreducible families of covers of the Riemann sphere with monodromy group G. Thus many problems on algebraic curves require the computation of braid orbits. In this paper we describe an implementation of this computation. We discuss several applications, including the classification of irreducible families of indecomposable rational functions with exceptional monodromy group. △ Less

Submitted 24 April, 2003; originally announced April 2003.

MSC Class: 20B40; 14H30

The monodromy group of a function on a general curve

Authors: Kay Magaard, Helmut Voelklein

Abstract: Let C_g be a general curve of genus g>3. Guralnick and others proved that the monodromy group of a cover C_g-> P^1 of degree n is either S_n or A_n. We show that A_n occurs for n>2g. The corresponding result for S_n is classical. Let C_g be a general curve of genus g>3. Guralnick and others proved that the monodromy group of a cover C_g-> P^1 of degree n is either S_n or A_n. We show that A_n occurs for n>2g. The corresponding result for S_n is classical. △ Less

Submitted 9 April, 2003; originally announced April 2003.

MSC Class: 14H10; 14H30

The locus of curves with prescribed automorphism group

Authors: K. Magaard, T. Shaska, S. Shpectorov, H. Voelklein

Abstract: Let G be a finite group, and $g \geq 2$. We study the locus of genus g curves that admit a G-action of given type, and inclusions between such loci. We use this to study the locus of genus g curves with prescribed automorphism group G. We completely classify these loci for g=3 (including equations for the corresponding curves), and for $g \leq 10$ we classify those loci corresponding to "large" G. Let G be a finite group, and $g \geq 2$. We study the locus of genus g curves that admit a G-action of given type, and inclusions between such loci. We use this to study the locus of genus g curves with prescribed automorphism group G. We completely classify these loci for g=3 (including equations for the corresponding curves), and for $g \leq 10$ we classify those loci corresponding to "large" G. △ Less

Submitted 12 July, 2024; v1 submitted 29 May, 2002; originally announced May 2002.

Comments: Updated references

MSC Class: 14H37

Journal ref: Surikaisekikenkyusho Kokyuroku, 2002, no. 1267, 112-141

Exceptional Theta-correspondences I

Authors: Kay Magaard, Gordan Savin

Abstract: Let $G$ be a split simply laced group defined over a $p$-adic field $F$. In this paper we study the restriction of the minimal representation of $G$ to various dual pairs in $G$. For example, the restriction of the minimal representation of $E_7$ to the dual pair $G_2 \times{}$Sp(6) gives the non-endoscopic Langlands lift of irreducible representations of $G_2$ to Sp(6). Let $G$ be a split simply laced group defined over a $p$-adic field $F$. In this paper we study the restriction of the minimal representation of $G$ to various dual pairs in $G$. For example, the restriction of the minimal representation of $E_7$ to the dual pair $G_2 \times{}$Sp(6) gives the non-endoscopic Langlands lift of irreducible representations of $G_2$ to Sp(6). △ Less

Submitted 22 May, 1995; originally announced May 1995.

Report number: MSRI 1995-046