Frobenius bimodules between noncommutative spaces. (Q1883035)

According to the approach of Rosenberg, Van den Bergh and Smith, a non-commutative space or quasi-scheme is a Grothendieck category \(\text{Mod-}X\), to be viewed as the category of sheaves over some (nonexistent) space \(X\). The original motivation of the author was the fact that there does not exist a suitable notion of locally free sheaf for general non-commutative spaces. Bimodules connecting non-commutative spaces were introduced by Van den Bergh; the author introduces the notion of Frobenius bimodule between non-commutative spaces. If we apply this definition in the situation where the spaces are the categories of modules over two rings \(R\) and \(S\), then we recover the classical notion of \((R,S)\)-bimodule. Frobenius bimodules with certain additional properties are studied, namely dimension preserving Frobenius bimodules (Section 4) and right localizing Frobenius bimodules (Section 5). In Section 6, Frobenius bimodules connecting Noetherian schemes are investigated, and related to sheaf bimodules studied by Nyman and Van den Bergh. Rank functions are studied in Section 7; a glueing theorem is proved in Section 8. In Section 9, Frobenius bimodules connecting a space to itself are studied. In Section 10, it is shown that there is a duality between the categories \(\text{Frob}(X,Y)\) and \(\text{Frob}(Y,X)\), consisting of respectively Frobenius \((X,Y)\)-bimodules and Frobenius \((Y,X)\)-bimodules.