We classify up to Morita equivalence all blocks whose defect groups are Suzuki $2$-groups. The classification holds for blocks over a suitable discrete valuation ring as well as for those over an algebraically closed field, and in fact holds up to basic Morita equivalence. As a consequence Donovan's conjecture holds for Suzuki $2$-groups. A corollary of the proof is that Suzuki Sylow $2$-subgroups of finite groups with no nontrivial odd order normal subgroup are trivial intersection.
We verify the inductive blockwise Alperin weight (BAW) and the inductive Alperin-McKay (AM) conditions introduced by the second author for blocks of finite quasisimple groups with cyclic defect groups. Furthermore we establish a criterion that describes conditions under which the inductive AM condition for blocks with abelian defect groups implies the inductive BAW condition for those blocks.
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.
We show that the splendid Rickard complexes for blocks with Klein four defect groups constructed by Rickard and Linckelmann descend to non-split fields. As a corollary, Navarro's refinement of the Alperin-McKay conjecture holds for blocks with a Klein four defect group. We also prove that splendid Morita equivalences between blocks and their Brauer correspondents (if exist) descend to non-split situations.
In this paper, we show that the Alperin-McKay conjecture holds for 2-blocks of maximal defect. A major step in the proof is the verification of the inductive Alperin-McKay condition for the principal 2-block of groups of Lie type in odd characteristic.
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.
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 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}).
We show that two blocks of generalized quaternion defect with three simple modules over a sufficiently large $2$-adic ring $\mathcal O$ are Morita-equivalent if and only if the corresponding blocks over the residue field of $\mathcal O$ are Morita-equivalent. As a corollary we show that any two blocks defined over $\mathcal O$ with three simple modules and the same generalized quaternion defect group are derived equivalent.
We study blocks with an abelian defect group and a cyclic inertial quotient acting freely but not transitively. We prove that when p=2, such blocks are inertial, i.e. basic Morita equivalent to their Brauer correspondent. Together with a result of the second author on Singer cycle actions on homocyclic defect groups, this completes the classification of 2-blocks with a cyclic inertial quotient acting freely on an abelian defect group.
Except for blocks with a cyclic or Klein four defect group, it is not known in general whether the Morita equivalence class of a block algebra over a field of prime characteristic determines that of the corresponding block algebra over a p-adic ring. We prove this to be the case when the defect group is quaternion of order 8 and the block algebra over an algebraically closed field k of characteristic 2 is Morita equivalent to $k\tilde A_4$. The main ingredients are Erdmann's classification of tame blocks and work of Cabanes and Picaronny on perfect isometries between tame blocks.
We give a classification, up to Morita equivalence, of 2-blocks of quasi-simple groups with abelian defect groups. As a consequence, we show that Donovan's conjecture holds for elementary abelian 2-groups, and that the entries of the Cartan matrices are bounded in terms of the defect for arbitrary abelian 2-groups. We also show that a block with defect groups of the form $C_{2^m} \times C_{2^m}$ for $m \geq 2$ has one of two Morita equivalence types and hence is Morita equivalent to the Brauer correspondent block of the normaliser of a defect group. This completes the analysis of the Morita eq…
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.
Relying on the classification of the indecomposable liftable modules in arbitrary blocks with non-trivial cyclic defect groups we give a complete classification of the trivial source modules lying in such blocks, describing in particular their associated path on the Brauer tree of the block in the sense of Janusz (1969). The appendix contains a description of the minimal distance from an arbitrary non-projective indecomposable liftable module to the boundary of the stable Auslander-Reiten quiver of the block.
Faculty of Mathematics and Statistics, Hubei University（湖北大学数学与统计学院）；School of Mathematics and Statistics, Central China Normal University（华中师范大学数学与统计学院）
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.
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 calculate the Picard groups for principal blocks $B$ with TI defect groups and cyclic inertial quotient. The methods used generalize results on self stable equivalences and take advantage of the existence of equivalences given by Green correspondence in this setting. In particular, we show that $\text{Pic}(B)=\mathcal{E}(B)$, giving more evidence for a conjecture on basic auto-Morita equivalences.
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.
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.
We give a reduction of Donovan's conjecture for abelian groups to a similar statement for quasisimple groups. Consequently we show that Donovan's conjecture holds for abelian $2$-groups.
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.
We consider $2$-blocks of finite groups with defect group $D=Q \times R$ and inertial quotient $\mathbb{E}$ where $Q \cong (C_{2^m})^n$, $R \cong C_{2^r}$, and $\mathbb{E}$ contains a Singer cycle of $\operatorname{Aut}(Q)$ (an element of order $2^n-1$). We classify such blocks up to Morita equivalence when either $\mathbb{E}$ is cyclic or $r=1$. We achieve a partial classification when $r>1$ and $E$ is non-cyclic.
We compare lower defect groups associated with $p$-regular classes and vertices of simple modules for a block of a finite group algebra. We show that lower defect groups are contained in vertices of simple modules after suitable reordering. Moreover, for a block of principal type, we show that a $p$-regular lower defect group which contains a vertex of simple module is a defect group of the block.
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.
Finiteness properties of profinite blocks and blocks with defect group $\mathbb Z_p^n$
University of Manchester（曼彻斯特大学）；Department of Mathematics, Av. Antônio Carlos, 6627 - Pampulha. Belo Horizonte - MG31270-901, Brazil（巴西贝洛奥里藏特安东尼奥·卡洛斯大道6627号潘普拉哈数学系）
We define a new invariant for a $p$-block, the strong Frobenius number, which we use to address the problem of reducing Donovan's conjecture to normal subgroups of index p. As an application we use the strong Frobenius number to complete the proof of Donovan's conjecture for 2-blocks with abelian defect groups of rank at most 4 and for 2-blocks with abelian defect groups of order at most 64.
Let $p$ be an odd prime and let $B$ be a $p$-block of a finite group which has cyclic defect groups. We show that all exceptional characters in $B$ have the same Frobenius-Schur indicators. Moreover the common indicator can be computed, using the canonical character of $B$. We also investigate the Frobenius-Schur indicators of the non-exceptional characters in $B$. For a finite group which has cyclic Sylow $p$-subgroups, we show that the number of irreducible characters with Frobenius-Schur indicator $-1$ is greater than or equal to the number of conjugacy classes of weakly real $p$-elements i…
Let $k$ be a field of odd prime characteristic $p$. We calculate the Lie algebra structure of the first Hochschild cohomology of a class of quantum complete intersections over $k$. As a consequence, we prove that if $B$ is a defect $2$-block of a finite group algebra $kG$ whose Brauer correspondent $C$ has a unique isomorphism class of simple modules, then a basic algebra of $B$ is a local algebra which can be generated by at most $2\sqrt I$ elements, where $I$ is the inertial index of $B$, and where we assume that $k$ is a splitting field for $B$ and $C$.
In by now classical work, K. Erdmann classified blocks of finite groups with dihedral defect groups (and more generally algebras of dihedral type) up to Morita equivalence. In the explicit description by quivers and relations of such algebras with two simple modules, several subtle problems about scalars occurring in relations remained unresolved. In particular, for the dihedral case it is a longstanding open question whether blocks of finite groups can occur for both possible scalars 0 and 1. In this article, using Kuelshammer ideals (a.k.a. generalized Reynolds ideals), we provide the first …
Let $k$ be an algebraically closed field of characteristic $p$, and let $\mathcal{O}$ be either $k$ or its ring of Witt vectors $W(k)$. Let $G$ a finite group and $B$ a block of $\mathcal{O}G$ with normal abelian defect group and abelian $p'$ inertial quotient. We show that $B$ is isomorphic to its second Frobenius twist. This is motivated by the fact that bounding Frobenius numbers is one of the key steps towards Donovan's conjecture. For $\mathcal{O}=k$, we give an explicit description of the basic algebra of $B$ as a quiver with relations. It is a quantised version of the group algebra of t…
2-blocks with abelian defect groups and inertial quotient of prime order
School of Mathematics and Statistics, Central China Normal University（华中师范大学数学与统计学院）；Faculty of Mathematics and Statistics, Hubei University（湖北大学数学与统计学院）
We classify the Morita equivalence classes of blocks with elementary abelian defect groups of order $16$ with respect to a complete discrete valuation ring with algebraically closed residue field of characteristic two. As a consequence, blocks with this defect group are derived equivalent to their Brauer correspondent in the normalizer of a defect group and so satisfy Broué's Conjecture.
We show that several Morita equivalence classes of tame algebras do not occur as blocks of finite groups. This refines classifications by Erdmann of classes of blocks with dihedral, semidihedral, and generalised quaternion defect groups. In particular we now have a complete classification of the Morita equivalence classes of blocks of finite groups with dihedral defect groups.
We consider a block $B$ of a finite group with defect group $D \cong (C_{2^m})^n$ and inertial quotient $\mathbb{E}$ containing a Singer cycle (an element of order $2^n-1$). This implies $\mathbb{E} = E \rtimes F$, where $E \cong C_{2^n-1}$, $F \leq C_n$, and $E$ acts transitively on the elements in $D$ of order $2$, and freely on $D \backslash \{1\}$. We classify the basic Morita equivalence classes of $B$ over a complete discrete valuation ring $\mathcal{O}$: when $m=1$, $B$ is basic Morita equivalent to the principal block of one of $SL_2(2^n) \rtimes F$, $D \rtimes \mathbb{E}$, or $J_1$ (w…
We prove that if $B$ is a $p$-block with non-trivial defect group $D$ of a finite $p$-solvable group $G$, then $\ell(B) < p^r$, where $r$ is the sectional rank of $D$. We remark that there are infinitely many $p$-blocks $B$ with non-Abelian defect groups and $\ell(B) = p^r - 1$. We conjecture that the inequality $\ell(B) \leq p^r$ holds for an arbitrary $p$-block with defect group of sectional rank $r$. We show this to hold for a large class of $p$-blocks of various families of quasi-simple and nearly simple groups.
We show that the subgroup of the Picard group of a $p$-block of a finite group given by bimodules with endopermutation sources modulo the automorphism group of a source algebra is determined locally in terms of the fusion system on a defect group. We show that the Picard group of a block over the a complete discrete valuation ring ${\mathcal O}$ of characteristic zero with an algebraic closure $k$ of ${\mathbb F}_p$ as residue field is a colimit of finite Picard groups of blocks over $p$-adic subrings of ${\mathcal O}$. We apply the results to blocks with an abelian defect group and Frobenius …
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.
A recent question of Gabriel Navarro asks whether it is true that the derived length of a defect group is less than or equal to the number of degrees of irreducible characters in a block. In this article, we bring new evidence towards the validity of this statement.
In this paper, we prove that a block with defect group $\mathbb Z_{2^n}\times \mathbb Z_{2^n}\times \mathbb Z_{2^m}$, where $n\geq 2$ and $m$ is arbitrary, is Morita equivalent to its Brauer correspondent.
Let $G$ be a finite solvable group, let $p$ be a prime such that $p \geq 5$ and $O_p(G)=1$, and we denote $|G|_p=p^n$, then $G$ contains a block of defect less than or equal to $\lfloor \frac {3n} 5 \rfloor$. Let $G$ be a finite solvable group and let $p^a$ be the largest power of $p$ dividing $χ(1)$ for an irreducible character $χ$ of $G$, we show that $|G:\bF(G)|_p \leq p^{3a}$ for $p \geq 5$.
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（华中师范大学数学与统计学院）
Let $p$ be a prime such that $p \geq 5$. Let $G$ be a finite $p$-solvable group and let $p^a$ be the largest power of $p$ dividing $χ(1)$ for an irreducible character $χ$ of $G$, we show that $|G:F(G)|_p \leq p^{5.5a}$. Let $G$ be a finite $p$-solvable group with trivial maximal normal solvable subgroup and we denote $|G|_p=p^n$, then $G$ contains a block of defect less than or equal to $\lfloor \frac {2n} {3} \rfloor$.
We investigate the source algebra class of a p-block with cyclic defect groups of the group algebra of a finite group. By the work of Linckelmann this class is parametrized by the Brauer tree of the block together with a sign function on its vertices and an endo-permutation module of a defect group. We prove that this endo-permutation module can be read off from the character table of the group. We also prove that this module is trivial for all cyclic p-blocks of quasisimple groups with a simple quotient which is a sporadic group, an alternating group, a group of Lie type in defining character…
If $G$ is a solvable group and $p$ is a prime, then the Fong-Swan theorem shows that given any irreducible Brauer character $ϕ$ of $G$, there exists a character $χ\in \irrg$ such that $χ^o = ϕ$, where $^o$ denotes the restriction of $χ$ to the $p$-regular elements of $G$. We say that $χ$ is a {\it{lift}} of $ϕ$ in this case. It is known that if $ϕ$ is in a block with abelian defect group $D$, then the number of lifts of $ϕ$ is bounded above by $|D|$. In this paper we give a necessary and sufficient condition for this bound to be achieved, in terms of local information in a subgroup $V$ determi…
We show that if the Sylow $p$-subgroup of a finite group $G$ is of order $p$, then the normalized unit group of the integral group ring of $G$ contains a normalized unit of order $pq$ if and only if $G$ contains an element of order $pq$, where $q$ is any prime. We use this result to answer the Prime Graph Question for most sporadic simple groups and some simple groups of Lie type, including a new infinite series of such groups. Our methods are based on the understanding of blocks of cyclic defect and Young tableaux combinatorics.
Building on previous work by Caicedo and the second author, we develop a method that decides the existence of units of finite order in blocks of $\mathbb{Z}_p G$ of defect 1. This allows us to prove that if $p$ is a prime and $G$ is a finite group whose Sylow $p$-subgroup has order $p$, then any unit $u\in \mathbb{Z} G$ of order $p$ is conjugate to an element of $\pm G$. This is a special case of the Zassenhaus conjecture. We also prove some new results on units of finite order in $\mathbb{Z} \mathrm{PSL}(2,q)$ for certain $q$, and construct a unit of order $15$ in $V(\mathbb{Z}_{(3,5)}\mathrm…
Let G be a finite group, and let Omega:={t\in G\mid t^2=1}. Then Omega is a G-set under conjugation. Let k be an algebraically closed field of characteristic 2. It is shown that each projective indecomposable summand of the G-permutation module kOmega is irreducible and self-dual, whence it belongs to a real 2-block of defect zero. This, together with the fact that each irreducible kG-module that belongs to a real 2-block of defect zero occurs with multiplicity 1 as a direct summand of kOmega, establishes a bijection between the projective components of kOmega and the real 2-blocks of G of def…
