We give a geometric description of the blocks of the Brauer algebra $B_n(δ)$ in characteristic zero as orbits of the Weyl group of type $D_n$. We show how the corresponding affine Weyl group controls the representation theory of the Brauer algebra in positive characteristic, with orbits corresponding to unions of blocks.
We determine the blocks of the Brauer algebra in characteristic zero. We also give information on the submodule structure of standard modules for this algebra.
One of the main problems in representation theory is to understand the exact relationship between Brauer corresponding blocks of finite groups. The case where the local correspondent has a unique simple module seems key. We characterize this situation for the principal p-blocks where p is odd.
Brauer algebras form a tower of cellular algebras. There is a well-defined notion of limiting blocks for these algebras. In this paper we give a complete description of these limiting blocks over any field of positive characteristic. We also prove the existence of a class of homomorphisms between cell modules.
We determine the blocks of the walled Brauer algebra in characteristic zero. These can be described in terms of orbits of the action of a Weyl group of type $A$ on a certain set of weights. In positive characteristic we give a linkage principle in terms of orbits of the corresponding affine Weyl group. We also classify the semisimple walled Brauer algebras in all characteristics.
Answering a question of Pálfy and Pyber, we first prove the following extension of the k(GV)-Problem: Let G be a finite group and A\le Aut(G) such that (|G|,|A|)=1. Then the number of conjugacy classes of the semidirect product GA is at most |G|. As a consequence we verify Brauer's k(B)-Conjecture for pi-blocks of pi-separable groups which was proposed by Y. Liu. We also discuss equality in Brauer's Conjecture. On the other hand, we construct a counterexample to a version of Olsson's Conjecture for pi-blocks which was also introduced by Liu.
We show (among other things) that Brauer's k(B)-conjecture holds for defect groups with are central extensions of metacyclic 2-groups by cyclic groups. The same holds for defect groups which contain a central cyclic subgroup of index at most 9. In particular the k(B)-conjecture holds for 2-blocks of defect at most 4 and 3-blocks of defect at most 3. As a byproduct we obtain the block invariants of 2-blocks with minimal nonmetacyclic defect groups.
We develop the local-global theory of blocks for profinite groups. Given a field $k$ of characteristic $p$ and a profinite group $G$, one may express the completed group algebra $k[[G]]$ as a product $\prod_{i\in I}B_i$ of closed indecomposable algebras, called the blocks of $G$. To each block $B$ of $G$ we associate a pro-$p$ subgroup of $G$, called the defect group of $B$, unique up to conjugacy in $G$. We give several characterizations of the defect group in analogy with defect groups of blocks of finite groups. Our main theorem is a Brauer correspondence between the blocks of $G$ with defe…
We prove Brauer's k(B)-Conjecture for the 3-blocks with abelian defect groups of rank at most 5 and for all 3-blocks of defect at most 4. For this purpose we develop a computer algorithm to construct isotypies based on a method of Usami and Puig. This leads further to some previously unknown perfect isometries for the 5-blocks of defect 2. We also investigate basic sets which are compatible under the action of the inertial group.
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$.
There are similarities between algebraic Lie theory and a geometric description of the blocks of the Brauer algebra in characteristic zero. Motivated by this, we study the alcove geometry of a certain reflection group action. We provide analogues of translation functors for a tower of recollement, and use these to construct Morita equivalences between blocks containing weights in the same facet. Moreover, we show that the determination of decomposition numbers for the Brauer algebra in characteristic zero can be reduced to a study of the block containing the weight 0. We define parabolic Kazhd…
This article is the final one of a series of articles on certain blocks of modular representations of finite groups of Lie type and the associated geometry. We prove the conjecture of Broué on derived equivalences induced by the complex of cohomology of Deligne-Lusztig varieties in the case of Coxeter elements whenever the defining characteristic is good. We also prove a conjecture of Hiß, Lübeck and Malle on the Brauer trees of the corresponding blocks. As a consequence, we determine the Brauer trees (in particular, the decomposition matrix) of the principal $\ell$-block of $E_7(q)$ when $\el…
In this note we give applications of recent results coming mostly from the third paper of this series. It is shown that the number of irreducible characters in a $p$-block of a finite group with abelian defect group $D$ is bounded by $|D|$ (Brauer's $k(B)$-Conjecture) provided $D$ has no large elementary abelian direct summands. Moreover, we verify Brauer's $k(B)$-Conjecture for all blocks with minimal non-abelian defect groups. This extends previous results by various authors.
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.
In this article we determine the Brauer trees of the unipotent blocks with cyclic defect group in the `groups' $I_2(n,q)$, $H_3(q)$ and $H_4(q)$. The degrees of the unipotent characters of these objects were given by Lusztig, and using the general theory of perverse equivalences we can reconstruct the Brauer trees that would be consistent with Deligne--Lusztig theory and the geometric version of Broué's conjecture. We construct the trees using standard arguments whenever possible, and check that the Brauer trees predicted by Broué's conjecture are consistent with both the mathematics and philo…
For a block $B$ of a finite group we prove that $k(B)\le(\det C-1)/l(B)+l(B)\le\det C$ where $k(B)$ (respectively $l(B)$) is the number of irreducible ordinary (respectively Brauer) characters of $B$, and $C$ is the Cartan matrix of $B$. As an application, we show that Brauer's $k(B)$-Conjecture holds for every block with abelian defect group $D$ and inertial quotient $T$ provided there exists an element $u\in D$ such that $C_T(u)$ acts freely on $D/<u>$. This gives a new proof of Brauer's Conjecture for abelian defect groups of rank at most $2$. We also prove the conjecture in case $l(B)\le 3…
This paper introduces the notion of Brauer-friendly modules, a generalisation of endo-p-permutation modules. A module over a block algebra OGe is said to be Brauer-friendly if it is a direct sum of indecomposable modules with compatible fusion-stable endopermutation sources. We obtain, for these modules, a functorial version of Dade's slash construction, also known as deflation-restriction. We prove that our slash functors, defined over Brauer-friendly categories, share most of the very useful properties that are satisfied by the Brauer functor over the category of p-permutation OGe-modules. I…
We study the representation theory of the cyclotomic Brauer algebra via truncation to idempotent subalgebras which are isomorphic to a product of walled and classical Brauer algebras. In particular, we determine the block structure and decomposition numbers in characteristic zero.
We determine the numerical invariants of blocks with defect group D_{2^n}\times C_{2^m}, where D_{2^n} denotes a dihedral group of order 2^n and C_{2^m} denotes a cyclic group of order 2^m. This generalizes Brauer's results for m=0. As a consequence, we prove Brauer's k(B)-conjecture, Olsson's conjecture (and more generally Eaton's conjecture), Brauer's height zero conjecture, the Alperin-McKay conjecture, Alperin's weight conjecture and Robinson's ordinary weight conjecture for these blocks. Moreover, we show that the gluing problem has a unique solution in this case.
We study Brauer's long-standing $k(B)$-conjecture on the number of characters in $p$-blocks for finite quasi-simple groups and show that their blocks do not occur as a minimal counterexample for $p\ge5$ nor in the case of abelian defect. For $p=3$ we obtain that the principal 3-blocks do not provide minimal counterexamples. We also determine the precise number of irreducible characters in unipotent blocks of classical groups for odd primes.
Recently, a new conjecture on the degrees of the irreducible Brauer characters of a finite group was presented by the second author. In this paper we propose a 'local' version of this conjecture for blocks B of finite groups, giving a lower bound for the maximal degree of an irreducible Brauer character belonging to B in terms of the dimension of B and well-known invariants like the defect and the number of irreducible Brauer characters. We also propose a weaker version of this conjecture for which a slight reformulation leads to interesting open questions about traces of Cartan matrices of bl…
Blocks with a single automorphism orbit of irreducible Brauer characters
School of Mathematics and Statistics, Southwest University(西南大学数学与统计学院);Faculty of Mathematics and Statistics, Hubei University(湖北大学数学与统计学院);School of Mathematics and Statistics, Central China Normal University(华中师范大学数学与统计学院)
We prove that Brauer's Height Zero Conjecture holds for p-blocks of finite groups with metacyclic defect groups. If the defect group is nonabelian and contains a cyclic maximal subgroup, we obtain the distribution into p-conjugate and p-rational irreducible characters. Then the Alperin-McKay Conjecture follows provided p=3. Along the way we verify a few other conjectures. Finally we consider the extraspecial defect group of order p^3 and exponent p^2 for an odd prime more closely. Here for blocks with inertial index 2 we prove the Galois-Alperin-McKay Conjecture by computing k_0(B). Then for p…
We determine the numerical invariants of blocks with defect group D_{2^n} * C_{2^m} = Q_{2^n} * C_{2^m} (central product), where n > 2 and m > 1. As a consequence, we prove Brauer's k(B)-conjecture, Olsson's conjecture (and more generally Eaton's conjecture), Brauer's height zero conjecture, the Alperin-McKay conjecture, Alperin's weight conjecture and Robinson's ordinary weight conjecture for these blocks. Moreover, we show that the gluing problem has a unique solution in this case.
This paper has two main results. Firstly, we complete the parametrisation of all p-blocks of finite quasi-simple groups by finding the so-called quasi-isolated blocks of exceptional groups of Lie type for bad primes. This relies on the explicit decomposition of Lusztig induction from suitable Levi subgroups. Our second major result is the proof of one direction of Brauer's long-standing height zero conjecture on blocks of finite groups, using the reduction by Berger and Knörr to the quasi-simple situation. We also use our result on blocks to verify a conjecture of Malle and Navarro on nilpoten…
Slattery has generalized Brauer's theory of p-blocks of finite groups to pi-blocks of pi-separable groups where pi is a set of primes. In this setting we show that the order of a defect group of a pi-block B is bounded in terms of the number of irreducible characters in B. This is a variant of Brauer's Problem 21 and generalizes Külshammer's corresponding theorem for p-blocks of p-solvable groups. At the same time, our result generalizes Landau's classical theorem on the number of conjugacy classes of an arbitrary finite group. The proof relies on the classification of finite simple groups.
We show that the decomposition matrix of a given group $G$ is unitriangular, whenever $G$ has a normal subgroup $N$ such that the decomposition matrix of $N$ is unitriangular, $G/N$ is abelian and certain characters of $N$ extend to their stabilizer in $G$. Using the recent result by Brunat--Dudas--Taylor establishing that unipotent blocks have a unitriangular decomposition matrix, this allows us to prove that blocks of groups of quasi-simple groups of Lie type have a unitriangular decomposition matrix, whenever they are related via Bonnafé--Dat--Rouquier's equivalence to a unipotent block. Th…
In this paper, we investigate the block that has an abelian defect group of rank $2$ and its Brauer correspondent has only one simple module. We will get an isotypy between the block and its Brauer correspondent. It will generalize the result of Kessar and Linckelmann (\cite{KL}).
If a finite group $A$ acts coprimely as automorphisms on a finite group $G$, then the $A$-invariant Brauer $p$-blocks of $G$ are exactly those that contain $A$-invariant irreducible characters.
We show that Brauer's height zero conjecture holds for blocks of finite quasi-simple groups. This result is used in Navarro-Späth's reduction of this conjecture for general groups to the inductive Alperin-McKay condition for simple groups.
We study the periplectic Brauer algebra introduced by Moon in the study of invariant theory for periplectic Lie superalgebras. We determine when the algebra is quasi-hereditary and, for fields of characteristic zero, describe the block decomposition. To achieve this, we also develop theories of Jucys-Murphy elements, Bratteli diagrams, Murphy bases, determine when there exist quasi-hereditary 1-covers, obtain a BGG reciprocity relation and determine some decomposition multiplicities of cell modules. As an application, we determine the blocks in the category of finite dimensional weight modules…
We give a characterisation of the idempotents of the partition monoid, and use this to enumerate the idempotents in the finite partition, Brauer and partial Brauer monoids, giving several formulae and recursions for the number of idempotents in each monoid as well as various $\mathscr R$-, $\mathscr L$- and $\mathscr D$-classes. We also apply our results to determine the number of idempotent basis elements in the finite dimensional partition, Brauer and partial Brauer algebras.
We study the cohomology with modular coefficients of Deligne-Lusztig varieties associated to Coxeter elements. Under some torsion-free assumption on the cohomology we derive several results on the principal l-block of a finite reductive group G(F_q) when the order of q modulo l is assumed to be the Coxeter number. These results include the determination of the planar embedded Brauer tree of the block (as conjectured by Hiss, Lübeck and Malle) and the derived equivalence predicted by the geometric version of Broué's conjecture.
This paper studies the vertices, in the sense defined by J. A. Green, of Specht modules for symmetric groups. The main theorem gives, for each indecomposable non-projective Specht module, a large subgroup contained in one of its vertices. A corollary of this theorem is a new way to determine the defect groups of symmetric groups. We also use it to find the Green correspondents of a particular family of simple Specht modules; as a corollary, we get a new proof of the Brauer correspondence for blocks of the symmetric group. The proof of the main theorem uses the Brauer homomorphism on modules, a…
In 1941, Brauer-Nesbitt established a characterization of a block with trivial defect group as a block $B$ with $k(B) = 1$ where $k(B)$ is the number of irreducible ordinary characters of $B$. In 1982, Brandt established a characterization of a block with defect group of order two as a block $B$ with $k(B) = 2$. These correspond to the cases when the block is Morita equivalent to the one-dimensional algebra and to the non-semisimple two-dimensional algebra, respectively. In this paper, we redefine $k(A)$ to be the codimension of the commutator subspace $K(A)$ of a finite-dimensional algebra $A…
We show that the algebras describing blocks of the category of cuspidal weight (respectively generalized weight) $\mathfrak{sl}_n$-modules are one-parameter (respectively multi-parameter) deformations of certain Brauer tree algebras. We explicitly determine these deformations both graded and ungraded. The algebras we deform also appear as special centralizer subalgebras of Temperley-Lieb algebras or as generalized Khovanov algebras. They show up in the context of highest weight representations of the Virasoro algebra, in the context of rational representations of the general linear group and S…
We demonstrate that the blocks of a profinite group whose defect groups are cyclic have a Brauer tree algebra structure analogous to the case of finite groups. We show further that the Brauer tree of a block with defect group $\mathbb{Z}_{p}$ is of star type.
The longstanding Alperin weight conjecture and its blockwise version have been reduced to simple groups recently by Navarro, Tiep, Spaeth and Koshitani. Thus, to prove this conjecture, it suffices to verify the corresponding inductive condition for all finite simple groups. The first is to establish an equivariant bijection between irreducible Brauer characters and weights for the universal covering groups of simple groups. Assume q is a power of some odd prime p. We first prove the blockwise Alperin weight conjecture for Sp2n(q) and odd non-defining characteristics. If the decomposition matri…
It is shown that Section 8 of Plesken's 1983 lecture notes describes blocks of cyclic defect group up to Morita equivalence. In particular such a block is determined by its planar embedded Brauer tree. Applying the radical idealizer process, the head order of such blocks is calculated explicitly.
Let k be an algebraically closed field of characteristic p>0, let m,r be integers with m\ge1, r\ge0 and m\ge r and let S_0(2m,r) be the symplectic Schur algebra over k as introduced by the first author. We introduce the symplectic Schur functor, derive some basic properties of it and relate this to work of Hartmann and Paget. We do the same for the orthogonal Schur algebra. We give a modified Jantzen sum formula and a block result for the symplectic Schur algebra under the assumption that r and the residue of 2m mod p are small relative to p. From this we deduce a block result for the orthogon…
This paper will prove that: 1. $G$ has a block only having linear ordinary characters if and only if $G$ is a $p$-nilpotent group with an abelian Sylow $p$-subgroup; 2. $G$ has a block only having linear Brauer characters if and only if $O_{p'}(G)\leq O_{p'p}(G)=HO_{p'}(G)= \textrm{Ker}(B_{0}^{*}) \leq O_{p'pp'}=G$, where $H=G^{'}O^{p'}(G), \textrm{Ker}(B_{0}^{*})=\bigcap_{λ\in \textrm{IBr}(B_{0})} \textrm{Ker}(V_λ), B_{0}$ is the principal block of $G$ and $V_λ$ is the $F[G]$-module affording the Brauer character $λ$; 3. if $G$ satisfies the conditions above, then for any block algebra $B$ of…
We show the existence of a unitriangular basic set for unipotent blocks simple reductive groups of classical type in bad characteristic with some exceptions. Then,we introduce an algorithm to count irreducible unipotent Brauer characters and we verify that this algorithm is effective for exceptional adjoint groups.
Let $G$ be a finite group and $N$ be a normal subgroup of $G$. Let $J=J(F[N])$ denote the Jacboson radical of $F[N]$ and $I={\rm Ann}(J)=\{α\in F[G]|Jα=0\}$. We have another algebra $F[G]/I$. We study the decomposition of Cartan matrix of $F[G]$ according to $F[G/N]$ and $F[G]/I$. This decomposition establishs some connections between Cartan invariants and chief composition factors of $G$. We find that existing zero-defect $p$-block in $N$ depends on the properties of $I$ in $F[G]$ or Cartan invariants. When we consider the Cartan invariants for a block algebra $B$ of $G$, the decomposition is…
Let k(B_0) and l(B_0) respectively denote the number of ordinary and p-Brauer irreducible characters in the principal block B_0 of a finite group G. We prove that, if k(B_0)-l(B_0)=1, then l(B_0)\geq p-1 or else p=11 and l(B_0)=9. This follows from a more general result that for every finite group G in which all non-trivial p-elements are conjugate, l(B_0)\geq p-1 or else p = 11 and G/O_{p'}(G) =11^2:SL(2,5). These results are useful in the study of principal blocks with a few characters. We propose that, in every finite group G of order divisible by p, the number of irreducible Brauer charact…
Let $K$ be a normal subgroup of the finite group $H$. To a block of a $K$-interior $H$-algebra we associate a group extension, and we prove that this extension is isomorphic to an extension associated to a block given by the Brauer homomorphism. This may be regarded as a generalization and an alternative treatment of Dade's results "Block extensions" Section 12.
We study the space of stability conditions attached to the derived category of $A_{n}$-mod for $A_{n}$ the Brauer tree algebra of the line with $n$ edges. These algebras arise in the study of cyclic defect blocks of group algebras, and they are also related to the zig-zag algebras introduced by Huerfano and Khovanov. We show that for the Brauer tree algebra $A_{3}$, the connected component of the natural heart of the space of stability conditions is simply connected. However, unlike certains examples arising in geometry, the Bridgeland homomorphism is not a covering map.
We describe the ordinary characters of trivial source modules lying in blocks with cyclic defect groups relying on their recent classification in terms of paths on the Brauer tree by G.~Hiss and the second author. In particular, we show how to recover the exceptional constituents of such characters using the source algebra of the block.
Let $k$ be an arbitrary field, $Λ$ be a $k$-algebra and $V$ be a $Λ$-module. When it exists, the universal deformation ring $R(Λ,V)$ of $V$ is a $k$-algebra whose local homomorphisms to $R$ parametrize the lifts of $V$ up to $R\otimes_k Λ$, where $R$ is any complete, local commutative Noetherian $k$-algebra with residue field $k$. Symmetric special biserial algebras, which coincide with Brauer graph algebras, can be viewed as generalizing the blocks of finite type $p$-modular group algebras. Bleher and Wackwitz classified the universal deformation rings for all modules for symmetric special bi…
O. Brunat and J. Gramain recently proved that any two blocks of double covers of symmetric groups are Broué perfectly isometric provided they have the same weight and sign. They also proved a corresponding statement for double covers of alternating groups and Broué perfect isometries between double covers of symmetric and alternating groups when the blocks have opposite signs. Using both the results and methods of O. Brunat and J. Gramain in this paper we prove that when the weight of a block of a double cover of a symmetric or alternating group is less than $p$ then the block is Broué perfect…
Brauer Theory for a finite group can be viewed as a method for comparing the representations of the group in characteristic 0 with those in prime characteristic. Here we generalize much of the machinery of Brauer theory to the setting of profinite groups. By regarding Grothendieck groups as functors we describe corresponding Grothendieck groups for profinite groups, and generalize the decomposition map, regarded as a natural transformation. We discuss characters and Brauer characters for profinite groups. We give a functorial description of the block theory of a profinite group. We finish with…
Brauer tree algebras are important and fundamental blocks in the modular representation theory of groups. In this research, we present a combination of two main approaches to the tilting theory of Brauer tree algebras. The first approach is the theory initiated by Rickard, providing a direct link between the ordinary Brauer tree algebra and a particular algebra called the Brauer star algebra. This approach was continued by Schaps-Zakay with their theory of pointing the tree. The second approach is the theory developed by Aihara, relating to the sequence of mutations from the ordinary Brauer tr…
We introduce the periplectic $q$-Brauer category over an integral domain of characteristic not $2$. This is a strict monoidal supercategory and can be considered as a $q$-analogue of the periplectic Brauer category. We prove that the periplectic $q$-Brauer category admits a split triangular decomposition in the sense of Brundan-Stroppel. When the ground ring is an algebraically closed field, the category of locally finite dimensional right modules for the periplectic $q$-Brauer category is an upper finite fully stratified category in the sense of Brundan and Stroppel. We prove that periplectic…