Galois bimodules and integrality of PI comodule algebras over invariants. (Q2354792): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Pavel I. Etingof / rank | |||
Property / author | |||
Property / author: Pavel I. Etingof / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1306.3821 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Martindale rings and \(H\)-module algebras with invariant characteristic polynomials. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Descent and Forms of Tensor Categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fusion categories and homotopy theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4660483 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semisimple Hopf actions on commutative domains. / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2962888845 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:44, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Galois bimodules and integrality of PI comodule algebras over invariants. |
scientific article |
Statements
Galois bimodules and integrality of PI comodule algebras over invariants. (English)
0 references
24 July 2015
0 references
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.
0 references
finite dimensional Hopf algebras
0 references
coactions
0 references
comodule algebras
0 references
center
0 references
invariants
0 references
integrality
0 references
Galois bimodules
0 references
PI-algebras
0 references