Formally smooth bimodules. (Q2475106)

Let \(A\) and \(B\) be rings, and \(M\in{_A\mathcal M_B}\). \(M\) is called separable if \[ \text{ev}_M\colon M\otimes_A{^*M}\to B,\qquad\text{ev}_M(m\otimes_Af)=(m)f \] is a split epimorphism in \(_B\mathcal M_B\). This extends the classical notion of separability in the following sense: if \(A\to B\) is a ring morphism, and \(M=B\) considered as a \((B,A)\)-bimodule, then \(M\) is a separable bimodule if and only if \(B\) is a separable ring extension of \(A\). The authors apply the same procedure to introduce the notion of formally smooth bimodule: a \((B,A)\)-bimodule is called formally smooth if \(\text{Ker}(\text{ev}_M)\) is an \(\mathcal E_{M,B}\)-projective \(B\)-bimodule. This means that \(\text{Ker}(\text{ev}_M)\) is \(f\)-projective for every \(f\) in \[ \mathcal E_{M,B}=\{f\in{_B\mathcal M_B}\mid{_B\Hom(M,f)}\text{ splits~in~}{_A\mathcal M_B}\}. \] \(\text{Ker}(\text{ev}_M)\) is \(f\)-projective means that \(_B\Hom_B(\text{Ker}(\text{ev}_M),f)\) is surjective. The authors then give several properties and characterizations of formally smooth bimodules. For example, a separable bimodule is formally smooth, and \(M\) is formally smooth if \(\text{ev}_M\) is injective. \(M\) is formally smooth if the \(M\)-Hochschild Wisbauer cohomology groups \(H^2_M(B,N)\) vanish for every \((B,B)\)-bimodule \(N\), and then the higher \(M\)-Hochschild cohomology groups also vanish. Another property is the following: if \(M\in{_B\mathcal M}\) generates Wisbauer's \(\sigma[M]\), then \(M\) is formally smooth as a \((B,{_B\text{End}(M)})\)-module.