Conjectures of Donovan and Puig for Principal 3-Blocks with Abelian Defect Groups (Q4807579)

Let \(p>0\) be a prime and let \(D\) be a fixed finite \(p\)-group. Let \(({\mathcal O},K,k)\) be a \(p\)-modular system: \(\mathcal O\) is a complete discrete valuation ring, the quotient field \(K\) of \(\mathcal O\) is a field of characteristic zero and the residue field \(k\) of \(\mathcal O\) is an algebraically closed field of characteristic \(p\). This paper contributes to two important conjectures: Donovan's Conjecture 0.1. There are up-to-Morita-equivalence only finitely many block algebras of finite groups over \(k\) with defect group isomorphic to \(D\). Two block algebras \(A\) and \(B\) over \(\mathcal O\) with defect groups isomorphic to \(D\) of finite groups \(G\) and \(H\) are Puig equivalent if their source algebras are \(\mathcal O\)-isomorphic as interior \(D\)-algebras. Puig's Conjecture 0.3. There are up-to-Puig-equivalence only finitely many block algebras over \(\mathcal O\) with defect group isomorphic to \(D\). The main results of this paper, using the classification of finite simple groups, are: Theorem 0.2. Suppose that \(p=3\) and \(D\) is an elementary Abelian 3-group. There are only finitely non-Morita equivalent principal block algebras of finite group algebras \(kG\) of finite groups \(G\) with Sylow 3-subgroup isomorphic to \(D\). Theorem 0.4. Assume that \(p=3\) and \(D\) is an elementary Abelian group of order 9. Let \(A\) be the principal block algebra over \(\mathcal O\) of a finite group \(G\) with Sylow 3-subgroup isomorphic to \(D\). Then \(A\) is Puig equivalent to exactly one of the 22 principal block algebras over \(\mathcal O\) of the finite groups with Sylow 3-subgroups isomorphic listed in Table 4.