On perverse equivalences and rationality (Q1620850)

Let \(k\) be an algebraically closed field, and let \(A\) be a finite-dimensional \(k\)-algebra. Moreover, let \(A\)-mod be the category of finitely generated \(A\)-modules, and let \(D^b(A)\) be the bounded derived category of finitely generated \(A\)-modules. For a field automorphism \(\sigma\) of \(k\), let \(A^{\sigma}\) denote the \(k\)-algebra obtained from \(A\) by twisting the scalar multiplication with \(\sigma\). Then \(\sigma\) induces an additive equivalence \(A\text{-mod} \rightarrow A^{\sigma}\text{-mod}\) denoted by \(V\mapsto V^{\sigma}\). The \(k\)-algebras \(A\) and \(A^{\sigma}\) are called \(\sigma\)-Morita equivalent if there is a \(k\)-linear equivalence \(\mathcal{E} : A\text{-mod} \rightarrow A^{\sigma}\text{-mod}\) such that \(\mathcal{E}(V) \cong V^\sigma\) for every simple \(A\)-module \(V\). In this case, the \(k\)-algebras \(A\) and \(A^{\sigma}\) are isomorphic. A finite-dimensional \(k\)-algebra \(B\) is said to be perversely equivalent to \(A\) if there is a \(k\)-linear equivalence \(\mathcal{F}:D^b(A) \to D^b(B)\) satisfying certain additional conditions which we don't list here. If \(A\) and \(B\) are Morita equivalent \(k\)-algebras then they are also perversely equivalent. The authors prove: If \(A\) and \(B\) are perversely equivalent and \(B\) and \(B^\sigma\) are \(\sigma\)-Morita equivalent then \(A\) and \(A^\sigma\) are also \(\sigma\)-Morita equivalent. Now let \(p\) be a prime, let \(k\) be the algebraic closure of \(\mathbb{F}_p\), and let \(\sigma : k\to k, ~ \lambda \mapsto \lambda^p\), be the Frobenius automorphism of \(k\). The Morita-Frobenius number of \(A\) is defined as the smallest positive integer \(m\) such that \(A\) and \(A^{\sigma^m}\) are Morita equivalent \(k\)-algebras. As an application of their method, the authors show: Let \(G\) be a finite group, and let \(A\) be a block of the group algebra \(kG\) with defect group \(P\) and Brauer correspondent \(B\) in \(N_G(P)\). Suppose that there exist finite-dimensional \(k\)-algebras \(A_0 = A, A_1, \ldots, A_n = B\) such that \(A_{i-1}\) is perversely equivalent to \(A_i\) for \(i=1, \ldots, n\). Then the Morita-Frobenius number of \(A\) is at most \((|\text{Out}(P)|_{p'})^2\) where \(|\text{Out}(P)|_{p'}\) denotes the \(p'\)-part of the order of the outer automorphism group \(\text{Out}(P)\) of \(P\). This result is related to Donovan's Conjecture and also to Broué's Abelian Defect Group Conjecture. For the entire collection see [Zbl 1396.00017].