Searcharxiv⌕ Search

arXiv subjects

Kay Magaard

Publications and source records attributed to Kay Magaard.

29 records · Page 2Linked to original sources

Imprimitive irreducible modules for finite quasisimple groups

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.

math.GR↗

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

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.

math.GR↗

Algorithmic construction of Chevalley bases

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.

math.GR↗

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

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.

math.CO↗

Generating sets of Affine groups of low genus

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.

math.GR↗

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

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.

math.GR↗

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

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.

math.RT↗

Character degree sums in finite nonsolvable groups

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'.

math.GR↗

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

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.

math.RT↗

The monodromy group of a function on a general curve

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.

math.AG↗

Exceptional Theta-correspondences I

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).

math.RT↗