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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Set OpenAlex properties.
 
(6 intermediate revisions by 5 users not shown)
Property / author
 
Property / author: Pavel I. Etingof / rank
Normal 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 / namelinks / 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
    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
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references