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.
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 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…
Motivated in part by representation theoretic questions, we prove that if G is a finite quasi-simple group, then there exists an elementary abelian subgroup of G that intersects every conjugacy class of involutions of G.
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 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.
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.
We describe a general technique to classify blocks of finite groups, and we apply it to determine Morita equivalence classes of blocks with elementary abelian defect groups of order 32 with respect to a complete discrete valuation ring with an algebraically closed residue field of characteristic two. As a consequence we verify that a conjecture of Harada holds on these blocks.
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…
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)$.
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 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…
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.
In a previous paper we constructed rank and support variety theories for "quantum elementary abelian groups," that is, tensor products of copies of Taft algebras. In this paper we use both variety theories to classify the thick tensor ideals in the stable module category, and to prove a tensor product property for the support varieties.
We initiate the study of representations of elementary abelian $p$-groups via restrictions to truncated polynomial subalgebras of the group algebra generated by $r$ nilpotent elements, $k[t_1,..., t_r]/(t^p_1,..., t_r^p)$. We introduce new geometric invariants based on the behavior of modules upon restrictions to such subalgebras. We also introduce modules of constant radical and socle type generalizing modules of constant Jordan type and provide several general constructions of modules with these properties. We show that modules of constant radical and socle type lead to families of algebraic…
Let $(\mathfrak{g},[p])$ be a restricted Lie algebra over an algebraically closed field $k$ of characteristic $p\!\ge \!3$. Motivated by the behavior of geometric invariants of the so-called $(\mathfrak{g},[p])$-modules of constant $j$-rank ($j \in \{1,\ldots,p\!-\!1\}$), we study the projective variety $\mathbb{E}(2,\mathfrak{g})$ of two-dimensional elementary abelian subalgebras. If $p\!\ge\!5$, then the topological space $\mathbb{E}(2,\mathfrak{g}/C(\mathfrak{g}))$, associated to the factor algebra of $\mathfrak{g}$ by its center $C(\mathfrak{g})$, is shown to be connected. We give applicat…
In this paper, we approach the study of modules of constant Jordan type and equal images modules over elementary abelian p-groups E_r of rank r \geq 2 by exploiting a functor from the module category of a generalized Beilinson algebra B(n,r), n \leq p, to mod E_r. We define analogs of the above mentioned properties in mod B(n,r) and give a homological characterization of the resulting subcategories via a P^{r-1}-family of B(n,r)-modules of projective dimension one. This enables us to apply homological methods from Auslander-Reiten theory and thereby arrive at results that, in particular, contr…
We initiate a study of the rings of invariants of modular representations of elementary abelian p-groups. With a few notable exceptions, the modular representation theory of an elementary abelian p-group is wild. However, for a given dimension, it is possible to parameterise the representations. We describe parameterisations for modular representations of dimension two and of dimension three. We compute the ring of invariants for all two dimensional representations; these rings are generated by two algebraically independent elements. We compute the ring of invariants of the symmetric square of…
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.
Let $E$ be a elementary abelian $p$-group of order $q=p^n$. Let $W$ be a faithful indecomposable representation of $E$ with dimension 2 over a field $k$ of characteristic $p$, and let $V= S^m(W)$ with $m<q$. We prove that the rings of invariants $k[V]^E$ are generated by elements of degree at most $q$ and relative transfers. This extends recent work of Wehlau on modular invariants of cyclic groups of order $p$. If $m<p$ we prove that $k[V]^E$ is generated by invariants of degree at most $2q-3$, extending a result of Fleischmann, Sezer, Shank and Woodcock for cyclic groups of order $p$. Our met…
Motivated by questions in modular representation theory, Carlson, Friedlander, and the first author introduced the varieties E(r, g) of r-dimensional abelian p-nilpotent subalgebras of a p-restricted Lie algebra g. In this paper, we identify the varieties E(r, g) for a reductive restricted Lie algebra g and r the maximal dimension of an abelian p-nilpotent subalgebra of g.
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 define a rank variety for a module of a noncocommutative Hopf algebra $A = Λ\rtimes G$ where $Λ= k[X_1, ..., X_m]/(X_1^{\ell}, ..., X_m^{\ell})$, $G = ({\mathbb Z}/\ell{\mathbb Z})^m$, and $\text{char} k$ does not divide $\ell$, in terms of certain subalgebras of $A$ playing the role of "cyclic shifted subgroups". We show that the rank variety of a finitely generated module $M$ is homeomorphic to the support variety of $M$ defined in terms of the action of the cohomology algebra of $A$. As an application we derive a theory of rank varieties for the algebra $Λ$. When $\ell=2$, rank varieties…
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 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.
