Let G be a finite group and let p be a prime. A module for G over a field of characteristic p is called algebraic if it satisfies a polynomial, with addition and multiplication given by direct sum and tensor product. In some sense, having this property is equivalent to the tensor structure being 'nice' for that module.
In this paper we prove that if G is a group with abelian Sylow 2-subgroups, and p=2, then all simple modules for G are algebraic. We include the conjecture that this result holds for all abelian 2-blocks.
We restrict irreducible characters of alternating groups of degree divisible by $p$ to their Sylow $p$-subgroups and study the number of linear constituents.
Let $\ell$ be a prime divisor of the order of a finite unitary reflection group. We classify up to conjugacy the parabolic and reflection subgroups that are minimal with respect to inclusion, subject to containing an $\ell$-Sylow subgroup. The classification assists in describing the $\ell$-Sylow subgroups of unitary reflection groups up to group isomorphism. This classification also relates to the modular representation theory of finite groups of Lie type. We observe that unless a parabolic subgroup minimally containing an $\ell$-Sylow subgroup is $G$ itself, the reflection subgroup within th…
We finish off the classification of the endo-trivial modules of finite groups with Sylow $2$-subgroups isomorphic to a semi-dihedral $2$-group started by Carlson, Mazza and Thévenaz in their article "Endotrivial modules over groups with quaternion or semi-dihedral Sylow $2$-subgroup" published in 2013.
For any prime $p$ and $S$ a $p$-group isomorphic to a Sylow $p$-subgroup of a rank $2$ simple group of Lie type in characteristic $p$, we determine all saturated fusion systems supported on $S$ up to isomorphism.
The character table of a finite group G determines whether |P:P'|=p^2 and whether |P:Z(P)|=p^2, where P is a Sylow p-subgroup of G. To prove the latter, we give a detailed classification of those groups in terms of the generalized Fitting subgroup.
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$.
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)$.
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.
In this paper, we study some variations of the well-known Itô-Michler theorem for $p$-Brauer characters using various inequalities involving the $p$-Brauer character degrees of finite groups. Several new criteria for the existence of a normal Sylow $p$-subgroup of finite groups are obtained using the $p$-parts and $p'$-parts of the $p$-Brauer character degrees.
We characterize finite groups having a cyclic Sylow p-subgroup in terms of the action of a specific Galois automorphism on the principal p-block for p=2,3. We show that the analog statement for blocks with arbitrary defect group would follow from the blockwise McKay-Navarro conjecture.
The classical Itô-Michler theorem on character degrees of finite groups asserts that if the degree of every complex irreducible character of a finite group $G$ is coprime to a given prime $p$, then $G$ has a normal Sylow $p$-subgroup. We propose a new direction to generalize this theorem by introducing an invariant concerning character degrees. We show that if the average degree of linear and even-degree irreducible characters of $G$ is less than $4/3$ then $G$ has a normal Sylow $2$-subgroup, as well as corresponding analogues for real-valued characters and strongly real characters. These res…
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^…
G. Navarro has conjectured a necessary and sufficient condition for a finite group $G$ to have a self-normalizing Sylow 2-subgroup, which is given in terms of the ordinary irreducible characters of $G$. In a previous article, the author has reduced the proof of this conjecture to showing that certain related statements hold for simple groups. In this article, we describe the action of Galois automorphisms on the Howlett-Lehrer parametrization of Harish-Chandra induced characters. We use this to complete the proof of the conjecture by showing that the remaining simple groups satisfy the require…
We use binary trees to study the Bratteli diagram of Sylow 2-subgroups of symmetric groups. We show that it is simple, has a recursive structure, and self-similarities at all scales. We contrast its subgraph of one-dimensional representations with the Macdonald tree. We exploit the recursive structure to find the multiplicities of irreducible characters in the restriction to a Sylow 2-subgroup of odd-dimensional representations of the symmetric group $S_{2^k}$.
In earlier work, the first author outlined an algorithm for calculating a parametrization of the conjugacy classes in a Sylow $p$-subgroup $U(q)$ of a finite Chevalley group $G(q)$, valid when $q$ is a power of a good prime for $G(q)$. In this paper we develop this algorithm and discuss an implementation in the computer algebra language {\sf GAP}. Using the resulting computer program we are able to calculate the parametrization of the conjugacy classes in $U(q)$, when $G(q)$ is of rank at most 6. In these cases, we observe that the number of conjugacy classes of $U(q)$ is given by a polynomial…
We determine the character tables of Sylow $p$-subgroups $U$ of the Steinberg triality groups ${^3}D_4(q^3)$, where $q$ is a power of an odd prime $p$.
Linckelmann showed in 2011 that a group algebra is separably equivalent to the group algebra of its Sylow p-subgroups. In this article we use this relationship, together with Mackey decomposition, to demonstrate that a group algebra of a group with an elementary abelian Sylow $p$-subgroup $P$, has representation dimension at most $|P|$.
We define and study supercharacters of the classical finite unipotent groups of symplectic and orthogonal types (over any finite field of odd characteristic). We show how supercharacters for groups of those types can be obtained by restricting the supercharacter theory of the finite unitriangular group, and prove that supercharacters are orthogonal and provide a partition of the set of all irreducible characters. We also describe all irreducible characters of maximum degree in terms of the root system, and show how they can be obtained as constituents of particular supercharacters.
Let $p$ be an odd prime and let $n$ be a natural number. In this article we determine the irreducible constituents of the permutation module induced by the action of the symmetric group $\mathfrak{S}_n$ on the cosets of a Sylow $p$-subgroup $P_n$. As a consequence, we determine the number of irreducible representations of the corresponding Hecke algebra $\mathcal{H}(\mathfrak{S}_n, P_n, 1_{P_n})$.
We determine a supercharacter theory for the matrix Sylow $p$-subgroup ${^3}D_4^{syl}(q^3)$ of the Steinberg triality group ${^3}D_4(q^3)$, and establish the supercharacter table of ${^3}D_4^{syl}(q^3)$.
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 goo…
Let $k$ be an algebraically closed field of characteristic $p>0$ and $G$ a finite group. We provide a description of the torsion subgroup $TT(G)$ of the finitely generated abelian group $T(G)$ of endo-trivial $kG$-modules when $p=2$ and $G$ has a dihedral Sylow $2$-subgroup $P$. We prove that, in the case $|P|\geq 8$, $TT(G)\cong X(G)$ the group of one-dimensional $kG$-modules, except possibly when $G/O_{2'}(G)\cong \mathfrak{A}_6$, the alternating group of degree $6$; in which case $G$ may have $9$-dimensional simple torsion endo-trivial modules. We also prove a similar result in the case $|P…
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 …
Let G be a finite group with cyclic Sylow p-subgroup, and let k be a field of characteristic p. Then H^*(BG;k) and H_*(ΩBG\phat;k) are A_{\infty} algebras whose structure we determine up to quasi-isomorphism.
Applying the embedding of $A_{n-1}$ in $B_n$, $C_n$ and $D_n$ we construct a new supercharacter theory for the Sylow subgroups in orthogonal and symplectic groups over a finite field. The constructed supercharacter appears to be a little bit more precise than the previously known one.
For finite groups $G$ with non-abelian, trivial intersection Sylow $p$-subgroups, the analysis of the Loewy structure of the centre of a block allows us to deduce that a stable equivalence of Morita type does not induce an algebra isomorphism between the centre of the principal block of $G$ and the centre of the Brauer correspondent. This was already known for the Suzuki groups; the result will be generalised to cover more groups with trivial intersection Sylow $p$-subgroups.
Let $p$ be any prime. Let $P_n$ be a Sylow $p$-subgroup of the symmetric group $S_n$. Let $ϕ$ and $ψ$ be linear characters of $P_n$ and let $N$ be the normaliser of $P_n$ in $S_n$. In this article we show that the inductions of $ϕ$ and $ψ$ to $S_n$ are equal if, and only if, $ϕ$ and $ψ$ are $N$--conjugate. This is an analogue for symmetric groups of a result of Navarro for $p$-solvable groups.
We determine a supercharacter theory for Sylow $p$-subgroups ${^2{G}_2^{syl}(3^{2m+1})}$ of the Ree groups $^2{G}_2(3^{2m+1})$, calculate the conjugacy classes of ${^2{G}_2^{syl}(3^{2m+1})}$, and establish the character table of ${^2{G}_2^{syl}(3)}$.
We construct a supercharacter theory, and establish the supercharacter table for Sylow $p$-subgroups $G_2^{syl}(q)$ of the Chevalley groups $G_2(q)$ of Lie type $G_2$ when $p>2$. Then we calculate the conjugacy classes, determine the complex irreducible characters by Clifford theory, and obtain the character tables for $G_2^{syl}(q)$ when $p>3$.
We show that the Sylow $p$-subgroups of a symmetric group, respectively an alternating group, are characterized as the $p$-subgroups containing all elementary abelian $p$-subgroups up to conjugacy of the symmetric group, respectively the alternating group. We apply the characterization result for symmetric groups to compute the vertices of the hook Specht modules associated to the partition $(kp-p,1^p)$ under the assumption that $k \equiv 1$ mod $p$ and $k \not\equiv 1$ mod $p^2$.
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 \tex…
In 1973, I. M. Isaacs described a correspondence between characters of degree not divisible by a fixed prime $p$ of a finite solvable group $G$ and those of the normalizer of Sylow $p$-subgroup of $G$, whenever the index of the normalizer in $G$ is odd. This correspondence is natural in the sense that an algorithm is provided to compute it, and the result of the application of the algorithm does not depend on choices made. Later on, for $p$-solvable groups with self-normalizing Sylow $p$-subgroup, G. Navarro showed that every irreducible character of degree not divisible by $p$ has a unique li…
We determine the non-abelian composition factors of the finite groups with Sylow normalizers of odd order. As a consequence, among others, we prove the McKay conjecture and the Alperin weight conjecture for these groups.
We define the superclasses for a classical finite unipotent group $U$ of type $B_{n}(q)$, $C_{n}(q)$, or $D_{n}(q)$, and show that, together with the supercharacters defined in a previous paper, they form a supercharacter theory. In particular, we prove that the supercharacters take a constant value on each superclass, and evaluate this value. As a consequence, we obtain a factorization of any superclass as a product of elementary superclasses. In addition, we also define the space of superclass functions, and prove that it is spanned by the supercharacters. As as consequence, we (re)obtain th…
We study the restriction to Sylow subgroups of irreducible characters of symmetric groups. In particular, we focus our attention on constituents of degree greater than 1. Our main result is a wide generalization of Theorem 3.1 of Giannelli and Navarro, "Restricting irreducible characters to Sylow p-subgroups".
Navarro has conjectured a necessary and sufficient condition for a finite group $G$ to have a self-normalising Sylow $2$-subgroup, which is given in terms of the ordinary irreducible characters of $G$. The first-named author has reduced the proof of this conjecture to showing that certain related statements hold when $G$ is quasisimple. In this article we show that these conditions are satisfied when $G/Z(G)$ is $\mathrm{PSL}_n(q)$, $\mathrm{PSU}_n(q)$, or a simple group of Lie type defined over a finite field of characteristic $2$.
Let $G$ be a finite group with Sylow $2$-subgroup $P \leqslant G$. Navarro-Tiep-Vallejo have conjectured that the principal $2$-block of $N_G(P)$ contains exactly one irreducible Brauer character if and only if all odd-degree ordinary irreducible characters in the principal $2$-block of $G$ are fixed by a certain Galois automorphism $σ\in \mathrm{Gal}(\mathbb{Q}_{|G|}/\mathbb{Q})$. Recent work of Navarro-Vallejo has reduced this conjecture to a problem about finite simple groups. We show that their conjecture holds for all finite simple groups, thus establishing the conjecture for all finite g…
For the $p$-Sylow subgroups $U$ of the finite classical groups of untwisted Lie type, $p$ an odd prime, we construct a monomial $\mathbb C U$-module $M$ which is isomorphic to the regular representation of $\mathbb C G$ by a modification of Kirillov's orbit method called monomial linearisation. We classify a certain subclass of orbits of the $U$-action on the monomial basis of $M$ consisting of so called staircase orbits and show, that every orbit module in $M$ is isomorphic to a staircase one. Finally we decompose the André-Neto supercharacters of $U$ into a sum of $U$-characters afforded by …
We study the finitely generated abelian group $T(G)$ of endo-trivial $kG$-modules where $kG$ is the group algebra of a finite group $G$ over a field of characteristic $p>0$. When the representation type of the group algebra is not wild, the group structure of $T(G)$ is known for the cases where a Sylow $p$-subgroup $P$ of $G$ is cyclic, semi-dihedral and generalized quaternion. We investigate $T(G)$, and more accurately, its torsion subgroup $TT(G)$ for the case where $P$ is a Klein-four group. More precisely, we give a necessary and sufficient condition in terms of the centralizers of involut…
We construct a differential graded algebra (DGA) modelling certain $A_\infty$ algebras associated with a finite group $G$ with cyclic Sylow subgroups, namely $H^*BG$ and $H_*ΩBG^{^\wedge}_p$. We use our construction to investigate the singularity and cosingularity categories of these algebras. We give a complete classification of the indecomposables in these categories, and describe the Auslander--Reiten quiver. The theory applies to Brauer tree algebras in arbitrary characteristic, and we end with an example in characteristic zero coming from the Hecke algebras of symmetric groups.
Kirillov's orbit theory provides a powerful tool for the investigation of irreducible unitary representations of many classes of Lie groups. In a previous paper we used a modification hereof, called monomial linearisation, to construct a monomial basis of the regular representation of $p$-Sylow subgroups $U$ of the finite classical groups of untwisted type. In this sequel to this article we determine the stabilizers of special orbit generators and show, that for the groups of Lie type ${\mathfrak{B}}_n$ and ${\mathfrak{D}}_n$ a subclass of the orbit modules decompose the $U$-modules affording …
We prove that splendid Morita equivalences between principal blocks of finite groups with dihedral Sylow $2$-subgroups realised by Scott modules can be lifted to splendid Morita equivalences between principal blocks of finite groups with generalised quaternion Sylow $2$-subgroups realised by Scott modules.
We give a description of the irreducible constituents of the restriction to Sylow 2-subgroups of irreducible characters of symmetric groups labelled by hook partitions.
We prove for finite reductive groups $G$ of classical type, that every irreducible character of $L$ extends to its inertia group in $N$, where $L$ is an abelian centraliser of a Sylow $d$-torus $\mathbf S$ of $G$ and $N:=N_G(\mathbf S)$. This gives a precise description of the irreducible characters of $N$. Furthermore it enables us to verify the McKay conjecture in this situation for $G$ and some primes.
Let $p\ge 5$ be a prime and let $n$ be a natural number. In this article we describe the irreducible constituents of the induced characters $ϕ\big\uparrow^{\mathfrak{S}_n}$ for arbitrary linear characters $ϕ$ of a Sylow $p$-subgroup of the symmetric group $\mathfrak{S}_n$, generalising earlier results of the authors. By doing so, we introduce Sylow branching coefficients for symmetric groups.
Let C be the centralizer in a finite Weyl group of an elementary abelian 2-subgroup. We show that every complex representation of C can be realized over the field of rational numbers. The same holds for a Sylow 2-subgroup of C.
Broué, Malle and Michel have shown that the automizer of an abelian Sylow p-subgroup in a finite simple Chevalley group is an irreducible complex reflection group, for p not too small and different from the defining characteristic. The aim is this note is to show that a suitable version of this property holds for general finite groups. As an example, the automizer of an 11-Sylow subgroup in the Monster is the 2-dimensional complex reflection group G_{16}.
We have found a list of finite simple groups with cyclic Sylow $p$-subgroup whose principal $p$-blocks have Brauer trees in the shape of a star, that is a tree of diameter at most $2$. Moreover, for an arbitrary finite group $G$ with cyclic Sylow $p$-subgroup, we have obtained a necessary condition when the Brauer tree of the principal $p$-block of $G$ is a star.
Let $G$ be a finite group with a Sylow $p$-subgroup $P$. We prove that the principal $p$-blocks of $G$ and $N_G(P)$ are perfectly isometric under the assumption $G$ has a cyclic $p$-hyperfocal subgroup.
