In this paper we prove that Broue's abelian defect group conjecture holds for the Tits group $^2F_4(2)'$. Also we prove that under certain conditions we are able to lift derived equivalences and use this to prove Broue's conjecture for the group $^2F_4(2)$.
In representation theory of finite groups, there is a well-known and important conjecture due to M. Broué. He conjectures that, for any prime $p$, if a $p$-block $A$ of a finite group $G$ has an abelian defect group $P$, then $A$ and its Brauer corresponding block $B$ of the normaliser $N_G(P)$ of $P$ in $G$ are derived equivalent (Rickard equivalent). This conjecture is called Broué's abelian defect group conjecture. We prove in this paper that Broué's abelian defect group conjecture is true for a non-principal 3-block $A$ with an elementary abelian defect group $P$ of order 9 of the Harada-N…
In the representation theory of finite groups, there is a well-known and important conjecture due to M. Broué. He conjectures that, for any prime p, if a p-block A of a finite group G has an abelian defect group P, then A and its Brauer corresponding block A_N of the normaliser N_G(P) of P in G are derived equivalent (Rickard equivalent). This conjecture is called Strong Version of Broué's Abelian Defect Group Conjecture. In this paper, we prove that the strong version of Broué's abelian defect group conjecture is true for the non-principal 2-block A with an elementary abelian defect group P o…
In the representation theory of finite groups, there is a well-known and important conjecture, due to Broué saying that for any prime p, if a p-block A of a finite group G has an abelian defect group P, then A and its Brauer corresponding block B of the normaliser N_G(P) of P in G are derived equivalent. We prove in this paper, that Broué's abelian defect group conjecture, and even Rickard's splendid equivalence conjecture are true for the faithful 3-block A with an elementary abelian defect group P of order 9 of the double cover 2.HS of the Higman-Sims sporadic simple group. It then turns out…
We show that the 3-block of the sporadic simple Janko group J_4 with defect group C_3 x C_3, and the principal 3-block of the alternating group A_8 are Puig equivalent, answering a question posed in earlier work of Koshitani-Kunugi-Waki. To accomplish this, we apply computational techniques, in particular an explicit version of the Brauer construction.
Using the classification of finite simple groups we prove Alperin's weight conjecture and the character theoretic version of Broue's abelian defect group conjecture for 2-blocks of finite groups with an elementary abelian defect group of order 8.
In the representation theory of finite groups, Broué's abelian defect group conjecture says that for any prime p if a p-block A of a finite group G has an abelian defect group P, then A and its Brauer corresponding block B of the normaliser N_G(P) of P in G are derived equivalent. We prove that Broué's conjecture, and even Rickard's splendid equivalence conjecture, are true for the unique 3-block A of defect 2 of the sporadic simple Conway group Co_1, implying that both conjectures hold for all 3-blocks of Co_1. To do so, we determine the 3-decomposition numbers of A, and we actually show that…
The first author has recently classified the Morita equivalence classes of 2-blocks B of finite groups with elementary abelian defect group of order 32. In all but three cases he proved that the Morita equivalence class determines the inertial quotient of B. We finish the remaining cases by utilizing the theory of lower defect groups. As a corollary, we verify Broué's Abelian Defect Group Conjecture in this situation.
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.
Following Craven and Rouquier's computational method to tackle Broué's abelian defect group conjecture, we present two algorithms implementing that procedure in the case of principal blocks of defect $D \cong C_{\ell} \times C_{\ell}$ for a prime $\ell$; the first describes a stable equivalence between $B_0(G)$ and $B_0(N_G(D))$, and the second tries to lift a such stable equivalence to a perverse derived equivalence. As an application, we show that Broué's conjecture holds for the principal $5$-block of the simple group $Ω^{+}_8(2)$.
We prove several conjectures about the cohomology of Deligne-Lusztig varieties: invariance under conjugation in the braid group, behaviour with respect to translation by the full twist, parity vanishing of the cohomology for the variety associated with the full twist. In the case of split groups of type $A$, and using previous results of the second author, this implies Broué-Michel's conjecture on the disjointness of the cohomology for the variety associated to any good regular element. That conjecture was inspired by Broué's abelian defect group conjecture and the specific form Broué conjectu…
We study Broué's abelian defect group conjecture for groups of Lie type using the recent theory of perverse equivalences and Deligne--Lusztig varieties. Our approach is to analyze the perverse equivalence induced by certain Deligne--Lusztig varieties (the geometric form of Broué's conjecture) directly; this uses the cohomology of these varieties, together with information from the cyclotomic Hecke algebra. We start with a conjecture on the cohomology of these Deligne--Lusztig varieties, prove various desirable properties about it, and then use this to prove the existence of the perverse equiva…
Broué's Abelian Defect Conjecture predicts interesting derived equivalences between derived categories of modular representations of finite groups. We investigate a generalization of Broué's Conjecture to ring spectrum coefficients and prove this generalization in the cyclic defect case, following an argument of Rouquier.
We give a complete description of the Morita equivalence classes of blocks with elementary abelian defect groups of order 8 and of the derived equivalences between them. A consequence is the verification of Broué's abelian defect group conjecture for these blocks. It also completes the classification of Morita and derived equivalence classes of 2-blocks of defect at most three defined over a suitable field.
We give a construction that in many cases gives a simple way to construct infinite families of algebras that are not Morita equivalent, but are all derived equivalent to the same block algebra of a finite group, and apply it to some small blocks. We make some remarks relating this construction to Donovan's Conjecture and Broue's Abelian Defect Group Conjecture.
Let $G$ be a connected reductive group over a non-archimedean local field $F$ and $I$ be an Iwahori subgroup of $G(F)$. Let $I_n$ is the $n$-th Moy-Prasad filtration subgroup of $I$. The purpose of this paper is two-fold: to give some nice presentations of the Hecke algebra of connected, reductive groups with $I_n$-level structure; and to introduce the Tits group of the Iwahori-Weyl group of groups $G$ that split over an unramified extension of $F$. The first main result of this paper is a presentation of the Hecke algebra $\mathcal H(G(F),I_n)$, generalizing the previous work of Iwahori-Matsu…
We prove Turner's conjecture, which describes the blocks of the Hecke algebras of the symmetric groups up to derived equivalence as certain explicit Turner double algebras. Turner doubles are Schur-algebra-like `local' objects, which replace wreath products of Brauer tree algebras in the context of the Broué abelian defect group conjecture for blocks of symmetric groups with non-abelian defect groups. The main tools used in the proof are generalized Schur algebras corresponding to wreath products of zigzag algebras and imaginary semicuspidal quotients of affine KLR algebras.
In this paper we classify all blocks with defect group $C_{2^n}\times C_2\times C_2$ up to Morita equivalence. Together with a recent paper of Wu, Zhang and Zhou, this completes the classification of Morita equivalence classes of $2$-blocks with abelian defect groups of rank at most $3$. The classification holds for blocks over a suitable discrete valuation ring as well as for those over an algebraically closed field. The case considered in this paper is significant because it involves comparison of Morita equivalence classes between a group and a normal subgroup of index $2$, so requires nove…
Using a stable equivalence due to Rouquier, we prove that Broue's abelian defect group conjecture holds for 3-blocks of defect 2 whose Brauer correspondent has a unique isomorphism class of simple modules. The proof makes use of the fact, also due to Rouquier, that a stable equivalence of Morita type between self-injective algebras induces an isomorphism between the connected components of the outer automorphism groups of the algebras.
H. Miyachi and W. Turner have independently proved that Broue's Abelian Defect Group Conjecture holds for certain unipotent blocks of the finite general linear group, the so-called Rouquier blocks. This together with A. Marcus and J. Chuang and R. Rouquier proves that the conjecture holds for all blocks of such groups. We prove that other finite classical groups also possess unipotent Rouquier blocks at linear primes.
In this article, we study the mod $\ell$ cohomology of some Deligne-Lusztig varieties for $\operatorname{GL}_n(q)$. We prove that the cohomology groups of these varieties are torsion-free under some conditions on the characteristic. Under the torsion-free assumption we can compute the cohomology groups explicitly and we prove that the cohomology complex satisfies partial-tilting condition, which is one of the necessary conditions in the geometric version of Broué's abelian defect group conjecture.
We show that perverse equivalences between module categories of finite-dimensional algebras preserve rationality. As an application, we give a connection between some famous conjectures from the modular representation theory of finite groups, namely Broué's Abelian Defect Group conjecture and Donovan's Finiteness conjectures.
In this paper, we present a conjecture on the degree of unipotent characters in the cohomology of particular Deligne-Lusztig varieties for groups of Lie type, and derive consequences of it. These degrees are a necessary piece of data in the geometric version of Broué's abelian defect group conjecture, and can be used to verify this geometric conjecture in new cases. The geometric version of Broué's conjecture should produce a more combinatorially defined derived equivalence, called a perverse equivalence. We prove that our conjectural degree is an integer (which is not obvious) and has the cor…
Let $p$ be a prime number, $G$ a finite group, $P$ a $p$-subgroup of $G$ and $k$ an algebraically closed field of characteristic $p$. We study the relationship between the category $\Ff_P(G)$ and the behavior of $p$-permutation $kG$-modules with vertex $P$ under the Brauer construction. We give a sufficient condition for $\Ff_P(G)$ to be a saturated fusion system. We prove that for Scott modules with abelian vertex, our condition is also necessary. In order to obtain our results, we prove a criterion for the categories arising from the data of $(b, G)$-Brauer pairs in the sense of Alperin-Brou…
We define and study sl\_2-categorifications on abelian categories. We show in particular that there is a self-derived (even homotopy) equivalence categorifying the adjoint action of the simple reflection. We construct categorifications for blocks of symmetric groups and deduce that two blocks are splendidly Rickard equivalent whenever they have isomorphic defect groups and we show that this implies Broué's abelian defect group conjecture for symmetric groups. We give similar results for general linear groups over finite fields. The constructions extend to cyclotomic Hecke algebras. We also con…
In a paper of 2003, B. Külshammer, J. B. Olsson and G. R. Robinson defined $\ell$-blocks for the symmetric groups, where $\ell >1$ is an arbitrary integer. In this paper, we give a definition for the defect group of the principal $\ell$-block. We then check that, in the Abelian case, we have an analogue of one of M. Broué's conjectures.
Let $G$ be an arbitrary finite group. The McKay conjecture asserts that $G$ and the normaliser $N_G (P)$ of a Sylow $p$-subgroup $P$ in $G$ have the same number of characters of degree not divisible by $p$ (that is, of $p'$-degree). We propose a new refinement of the McKay conjecture, which suggests that one may choose a correspondence between the characters of $p'$-degree of $G$ and $N_G (P)$ to be compatible with induction and restriction in a certain sense. This refinement implies, in particular, a conjecture of Isaacs and Navarro. We also state a corresponding refinement of the Broué abeli…