Let p be a prime larger than 3 and let G be a finite group. We prove that G is p-solvable of p-length at most 2 if there are at most two distinct character degrees relatively prime to p in the principal p-block of G. This generalizes a theorem of Isaacs-Smith, as well as a recent result of three of the present authors.
Given an odd prime $p$, we investigate the position of simple modules in the stable Auslander-Reiten quiver of the principal block of a finite group with non-cyclic abelian Sylow $p$-subgroups. In particular, we prove a reduction to finite simple groups. In the case that the characteristic is $3$, we prove that simple modules in the principal block all lie at the end of their components
James's Conjecture predicts that the adjustment matrix for blocks of the Iwahori-Hecke algebra of the symmetric group is the identity matrix when the weight of the block is strictly less than the characteristic of the field. In this paper, we consider the case when the characteristic of the field is greater than or equal to 5, and prove that the adjustment matrix for the principal block of $\mathcal{H}_{5e}$ is the identity matrix whenever $e\neq4$. When $e=4$, we are able to calculate all but two entries of the adjustment matrix.
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…
We compute the decomposition numbers of the unipotent characters lying in the principal $\ell$-block of a finite group of Lie type $B_{2n}(q)$ or $C_{2n}(q)$ when $q$ is an odd prime power and $\ell$ is an odd prime number such that the order of $q$ mod $\ell$ is $2n$. Along the way, we extend to these finite groups the results of \cite{DVV19} on the branching graph for Harish-Chandra induction and restriction.
Let $F$ be a field of characteristic $p$ at least 5. We study the Loewy structures of Specht modules in the principal block of $FΣ_{3p}$. We show that a Specht module in the block has Loewy length at most 4 and composition length at most 14. Furthermore, we classify which Specht modules have Loewy length 1, 2, 3, or 4, produce a Specht module having 14 composition factors, describe the second radical layer and the socle of the reducible Specht modules, and prove that if a Specht module corresponds to a partition that is $p$-regular and $p$-restricted then the head of the Specht module does not…
We classify principal blocks of finite groups with semidihedral defect groups up to splendid Morita equivalence. This completes the classification of all principal $2$-blocks of tame representation type up to splendid Morita equivalence and shows that Puig's Finiteness Conjecture holds for such blocks.
In this paper we construct an action of the affine Hecke category (in its "Soergel bimodules" incarnation) on the principal block of representations of a simply-connected semisimple algebraic group over an algebraically closed field of characteristic bigger than the Coxeter number. This confirms a conjecture of G. Williamson and the second author, and provides a new proof of the tilting character formula in terms of antispherical $p$-Kazhdan-Lusztig polynomials.
We propose new conjectures about the relationship between the principal blocks of finite groups for different primes and establish evidence for these conjectures.
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.
If G is a finite group, we have proposed new conjectures on the interaction between different primes and their corresponding Brauer principal blocks. In this paper, we give strong support to the validity of these conjectures.
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.
We show that if the principal p-block of a finite group G contains exactly 5 irreducible ordinary characters, then a Sylow p-subgroup of G has order 5, 7 or is isomorphic to one of the non-abelian 2-groups of order 8.
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.
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.
We classify the Morita equivalence classes of principal blocks with elementary abelian defect groups of order 64 with respect to a complete discrete valuation ring with an algebraically closed residue field of characteristic two.
Let $G$ be an unramified group over a $p$-adic field. This article introduces a base change homomorphism for Bernstein centers of depth-zero principal series blocks for $G$ and proves the corresponding base change fundamental lemma. This result is used in the approach to Shimura varieties with $Γ_1(p)$-level structure initiated by M. Rapoport and the author in [HR2].
We formulate conjectures concerning the dimension of the principal block of a ${\mathbb Z}_\ell$-spets (as defined in our earlier paper), motivated by analogous statements for finite groups. We show that these conjectures hold in certain situations. For this we introduce and study a Yokonuma type algebra for torus normalisers in $\ell$-compact groups which may be of independent interest.
For a prime $p$, we determine a Sylow $p$-subgroup $D$ of a finite group $G$ such that the principal $p$-block $B$ of $G$ has four irreducible ordinary characters. It has been determined already for the cases where the number is up to three by work by R. Brauer, J. Brandt, and V.A. Belonogov thirty years ago. Our proof relies on the classification of finite simple groups.
Given a dihedral $2$-group $P$ of order at least~8, we classify the splendid Morita equivalence classes of principal $2$-blocks with defect groups isomorphic to $P$. To this end we construct explicit stable equivalences of Morita type induced by specific Scott modules using Brauer indecomposability and gluing methods; we then determine when these stable equivalences are actually Morita equivalences, and hence automatically splendid Morita equivalences. Finally, we compute the generalised decomposition numbers in each case.
We characterise finite groups such that for an odd prime $p$ all the irreducible characters in its principal $p$-block have odd degree. We show that this situation does not occur in non-abelian simple groups of order divisible by $p$ unless $p=7$ and the group is $M_{22}$. As a consequence we deduce that if $p\neq 7$ or if $M_{22}$ is not a composition factor of a group $G$, then the condition above is equivalent to $G/O_{p'}(G)$ having odd order.
Let $G$ be a finite group having a normal $p$-subgroup $N$ that contains its centralizer $\text{C}_{G}(N)$, and let $R$ be a $p$-adic ring. It is shown that any finite $p$-group of units of augmentation one in $RG$ which normalizes $N$ is conjugate to a subgroup of $G$ by a unit of $RG$, and if it centralizes $N$ it is even contained in $N$.
Let $\mathcal{G}$ be a split reductive $p$-adic group with connected centre. We show that each Bernstein block in the principal series of $\mathcal{G}$ admits a definite geometric structure, namely that of an extended quotient. For the Iwahori-spherical block, this extended quotient has the form $T//W$ where $T$ is a maximal torus in the Langlands dual group of $\mathcal{G}$ and $W$ is the Weyl group of $\mathcal{G}$.
We determine the cohomology of Deligne-Lusztig varieties associated to some short-length regular elements for split groups of type F4 and En. As a byproduct, we obtain conjectural Brauer trees for the principal Phi_{14}-block of E7 and the principal Phi_{24}-block of E8.
We develop an elementary algebraic method to compute the center of the principal block of a small quantum group associated with a complex semisimple Lie algebra at a root of unity. The exemplary case of $\mathfrak{sl}_3$ is computed explicitly, and further evidence of $\mathfrak{sl}_4$ is sketched. This allows us to formulate the conjecture that, as a bigraded vector space, the center of a regular block of the small quantum $\mathfrak{sl}_m$ at a root of unity is isomorphic to Haiman's diagonal coinvariant algebra for the symmetric group $S_{m}$.
This paper studies intersections of principal blocks of a finite group with respect to different primes. We first define the block graph of a finite group $G$, whose vertices are the prime divisors of $|G|$ and there is an edge between two vertices $p\neq q$ if and only if the principal $p$- and $q$-blocks of $G$ have a nontrivial common complex irreducible character of $G$. Then we determine the block graphs of finite simple groups, which turn out to be complete except those of $J_1$ and $J_4$. Also, we determine exactly when the Steinberg character of a finite simple group of Lie type lies i…
Let B be a p-block of a finite group G with abelian defect group D such that S\unlhd G, S'=S, G/Z(S)\le\Aut(S) and S/Z(S) is a sporadic simple group. We show that B is isotypic to its Brauer correspondent in N_G(D) in the sense of Broué. This has been done by [Rouquier, 1994] for principal blocks and it remains to deal with the non-principal blocks.
We consider $p$-blocks with abelian defect groups and in the first part prove a relationship between its Loewy length and that for blocks of normal subgroups of index $p$. Using this, we show that if $B$ is a $2$-block of a finite group with abelian defect group $D \cong C_{2^{a_1}} \times \cdots \times C_{2^{a_r}} \times (C_2)^s$, where $a_i > 1$ for all $i$ and $r \geq 0$, then $d < LL(B) \leq 2^{a_1}+\cdots+2^{a_r}+2s-r+1$, where $|D|=2^d$. When $s=1$ the upper bound can be improved to $2^{a_1}+\cdots+2^{a_r}+2-r$. Together these give sharp upper bounds for every isomorphism type of $D$. A …
In this paper we prove equivalences of categories relating the derived category of a block of the category of representations of a connected reductive algebraic group over an algebraically closed field of characteristic $p$ bigger than the Coxeter number and a derived category of equivariant coherent sheaves on the Springer resolution (or a parabolic counterpart). In the case of the principal block, combined with previous results, this provides a modular version of celebrated constructions due to Arkhipov-Bezrukavnikov-Ginzburg for Lusztig's quantum groups at a root of unity. As an application…
Let $G=SL(2,5)$ be the special linear group of $2 \times 2$-matrices with coefficients in the field with $5$ elements. We show that the principal block over a splitting field $K$ of characteristic two of the group algebra $KG$ has a $3$-cluster tilting module. This gives the first example of a representation-infinite block of a group algebra having a cluster tilting module and answers a question by Erdmann and Holm.
We study the cohomology of parabolic Deligne-Lusztig varieties associated to unipotent blocks of GLn(q). We show that the geometric version of Broué's conjecture over Q_\ell, together with Craven's formula, holds for any unipotent block whenever it holds for the principal Phi_1-block, that is for the variety X(π).
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.
We calculate examples of Picard groups for 2-blocks with abelian defect groups with respect to a complete discrete valuation ring. These include all blocks with abelian 2-groups of 2-rank at most three with the exception of the principal block of J1. In particular this shows directly that all such Picard groups are finite and Picent, the group of Morita auto-equivalences fixing the centre, is trivial. These are amongst the first calculations of this kind. Further we prove some general results concerning Picard groups of blocks with normal defect groups as well as some other cases.
The Lie module of the group algebra $FS_n$ of the symmetric group is known to be not projective if and only if the characteristic $p$ of $F$ divides $n$. We show that in this case its non-projective summands belong to the principal block of $FS_n$. Let $V$ be a vector space of dimension $m$ over $F$, and let $L^n(V)$ be the $n$-th homogeneous part of the free Lie algebra on $V$; this is a polynomial representation of $GL_m(F)$ of degree $n$, or equivalently, a module of the Schur algebra $S(m,n)$. Our result implies that, when $m \geq n$, every summand of $L^n(V)$ which is not a tilting module…
Let $q$ be a power of a prime, $l$ a prime not dividing $q$, $d$ a positive integer coprime to both $l$ and the multiplicative order of $q\mod l$ and $n$ a positive integer. A. Watanabe proved that there is a perfect isometry between the principal $l-$blocks of $GL_n(q)$ and $GL_n(q^d)$ where the correspondence of characters is give by Shintani descent. In the same paper Watanabe also prove that if $l$ and $q$ are odd and $l$ does not divide $GL_n(q^2)|/|U_n(q)|$ then there is a perfect isometry between the principal $l-$blocks of $U_n(q)$ and $GL_n(q^2)$ with the correspondence of characters …
In this paper we complete the determination of the Brauer trees of unipotent blocks (with cyclic defect groups) of finite groups of Lie type. These trees were conjectured by the first author. As a consequence, the Brauer trees of principal $\ell$-blocks of finite groups are known for $\ell>71$.
We consider real versions of Brauer's k(B) conjecture, Olsson's conjecture and Eaton's conjecture. We prove the real version of Eaton's conjecture for 2-blocks of groups with cyclic defect group and for the principal 2-blocks of groups with trivial real core. We also characterize G-classes, real and rational G-classes of the defect group of a block B.