Linear source invertible bimodules and Green correspondence (Q2207270): Difference between revisions

Let \(p\) be a prime and let \(k\) be a perfect field of characteristic \(p\). Let \(\mathcal O\) be either a discrete valuation ring with residue field \(k\) and field of fractions \(K\) of characteristic \(0\), or \(\mathcal O=k\). Suppose that \(k\) and \(K\) are large enough for the groups considered. If \(A\) is an \(\mathcal O\) algebra, an \(A\)-\(A\)-bimodule \(M\) is called invertible if \(M\) is finitely generated projective as a left and right \(A\)-module, and if there exits an \(A\)-\(A\)-bimodule \(N\) which is finitely generated projective as a left and right \(A\)-module such that \(M\otimes_AN\cong A\cong N\otimes_AM\) as \(A\)-\(A\)-bimodules. The set of isomorphism classes of invertible \(A\)-\(A\)-bimodules the Picard group \(\operatorname{Pic}(A)\) of \(A\), where the product is induced by the tensor product over \(A\). Let \(G\) be a finite group and \(B\) a block of \(\mathcal OG\) with defect group \(P\). Let \(C\) be the Brauer correspondent of \(B\) for \(\mathcal ON_G(P)\). The authors consider the subgroups \(\mathcal L(B)\) and \(\mathcal T(B)\) of \(\operatorname{Pic}(B)\), generated by the isomorphism classes of linear source invertible \(B\)-\(B\)-bimodules and the isomorphism classes of trivial source invertible \(B\)-\(B\)-bimodules, respectively, and similarly for \(C\). They prove four theorems. In the first one, they show that the Green correspondence induces an injective group homomorphism \(\mathcal L(B)\to\mathcal L(C)\) which restricts to an injective group homomorphism \(\mathcal T(B)\to\mathcal T(C)\). In their second theorem, they show that the order of the subgroup \(\mathcal E(B)\) of \(\mathcal L(B)\), formed by the isomorphism classes of \(B\)-\(B\)-bimodules with endopermutation source, is bounded in terms of a bound depending on a vertex \(P\) of \(B\) only. In their third theorem, they consider an \(\mathcal O\)-algebra \(A\) which is free of finite rank as an \(\mathcal O\)-module, and such that \(k\otimes_{\mathcal O}A\) is split and has a symmetric positive definite Cartan matrix. They prove that for every invertible \(A\)-\(A\)-bimodule \(M\), the rank of \(M\) is less or equal than the rank of \(A\), as \(\mathcal O\)-modules, with equality if and only if \(M\cong A_\alpha\) for some automorphism \(\alpha\) of \(A\). Their last theorem asserts that if the defect group of \(B\) is normal in \(G\), then \(\mathcal E(B)=\mathcal L(B)\).