Pre-torsors and equivalences. (Q2466935)

Quantum torsors were defined by \textit{C. Grunspan} [in J. Pure Appl. Algebra 184, No. 2-3, 229-255 (2003; Zbl 1032.16030)]. These were generalized to \(A\)-\(B\) torsors in the work of \textit{P. Schauenburg} [Fields Inst. Commun. 43, 469-515 (2004; Zbl 1091.16023)] and in the PhD thesis of \textit{D. Hobst} [Antipodes in the theory of noncommutative torsors. Univ. München (2004; Zbl 1066.18007)]. In the paper under review the authors introduce the more general concept of a pretorsor. If \(A,B\) and \(T\) are algebras over a commutative ring, \(\alpha\colon A\to T\) and \(\beta\colon B\to T\) are algebra morphisms, then \(T\) is an \(A\)-\(B\) pretorsor if there exists a \(B\)-\(A\) bimodule map \(\tau\colon T\to T\otimes_AT\otimes_BT\) (where \(T\) is viewed as an \(A\)-\(B\) bimodule and as a \(B\)-\(A\) bimodule via \(\alpha\) and \(\beta\)) such that: (a) \((\mu_T\otimes_BT)\circ\tau=\beta\otimes_BT\); (b) \((T\otimes_A\mu_T)\circ\tau=T\otimes_A\alpha\), and (c) \((\tau\otimes_AT\otimes_BT)\circ\tau=(T\otimes_AT\otimes_B\tau)\circ\tau\), where \(\mu_T\) denotes the quotient of the product in \(T\) by appropriate tensor products over \(A\) or \(B\). A pre-torsor \(T\) is called faithfully flat if it is faithfully flat as a right \(A\)-module and as a left \(B\)-module. It is proved that faithfully flat \(A\)-\(B\) pre-torsors are in bijective correspondence with a certain class of coring Galois extensions. An \(A\)-coring \(\mathcal C\) and a \(B\)-coring \(\mathcal D\) arise from a faithfully flat \(A\)-\(B\) pre-torsor, and under certain conditions the categories of comodules over \(\mathcal C\) and \(\mathcal D\) are proved to be equivalent. Using the pre-torsor approach, properties of \(A\)-\(B\) torsors are investigated. In particular, faithfully flat \(A\)-\(B\) torsors are in bijective correspondence with certain Galois extensions over right \(\times_A\)-Hopf algebras (or over left \(\times_B\) Hopf algebras). It is proved that \(A\)-\(B\) torsors correspond to monoidal functors (or equivalences, under some conditions) between categories of comodules of bialgebroids.