Galois bimodules and integrality of PI comodule algebras over invariants. (Q2354792): Difference between revisions

Let \(k\) be a field, \(A\) a \(k\)-algebra and \(P\) an \(A\)-bimodule. Then \(P\) is called a weakly Galois \(A\)-bimodule of rank \(d\) for an integer \(d\) if \(P\) is free of rank \(d\) on each side and \(P\otimes_AP\subset P^N\) for some integer \(N\), and a Galois \(A\)-bimodule if moreover \(P\otimes_AP\cong P^d\) as an \(A\)-bimodule. The theory of Galois \(A\)-bimodules is developed and applied to prove a noncommutative analogue (for PI-algebras) of Skryabin's integrality theorem for coactions of a finite dimensional Hopf algebra on a commutative algebra [\textit{S. Skryabin}, Adv. Math. 183, No. 2, 209-239 (2004; Zbl 1052.16025)]. Let \(K\) be a finite dimensional Hopf algebra over an algebraically closed field \(k\), \(A\) a (right) \(K\)-comodule algebra, and \(A^K=\{a\in A\mid\rho(a)=a\otimes 1\}\). Let \(Z\) be a central \(k\)-subalgebra of \(A\) which is an integral domain and \(Q\) the quotient field of \(Z\). Consider the conditions: (1) \(A\) is finitely generated as a \(Z\)-module. (2) \(Q\otimes_ZA\) is a central simple algebra with center \(Q\). (3) \(A\) is a torsion-free \(Z\)-module. (4) \(Z\) is integrally closed in \(Q\). (5) \(A\) is a projective \(Z\)-module. Theorem. (i) Under conditions (1)-(4), \(Z\) and hence \(A\) are integral over \(Z\cap A^K\). (ii) The conclusion of (i) holds if (3) and (4) are replaced with (5). (iii) If in addition, \(Z\) is a finitely generated algebra over \(k\), then in (i) and (ii), \(A\) and \(Z\) are finitely generated modules over \(Z\cap A^K\), and thus \(A\) is a finitely generated module over \(A^k\). (iv) If \(Z\) is a finitely generated algebra over \(k\), then in (i) or (ii), so is \(Z\cap A^K\). -- Moreover, the above theorem is generalized when \(Z\) is not necessarily a domain, but a reduced algebra. The connection of the theory of Galois bimodules for fields with tensor subcategories of the category of bimodules over fields is also discussed.