Galois coverings, Morita equivalence and smash extensions of categories over a field. (Q2488590): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Andrea L. Solotar / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Q232526 / rank
Normal rank
 
Property / author
 
Property / author: Andrea L. Solotar / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Blass Torrecillas Jover / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: math/0502308 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 06:58, 19 April 2024

scientific article
Language Label Description Also known as
English
Galois coverings, Morita equivalence and smash extensions of categories over a field.
scientific article

    Statements

    Galois coverings, Morita equivalence and smash extensions of categories over a field. (English)
    0 references
    0 references
    0 references
    11 May 2006
    0 references
    Let \(k\) be a field, let \(\mathcal C\) be a \(k\)-category and let \(H\) be a Hopf algebra. The authors introduce the smash category \({\mathcal C}\#H\) of an \(H\)-module category \(\mathcal C\) and they study the case of groups. If \(\mathcal C\) is a \(G\)-graded category, then it is a \(k^G=(kG)^*\)-module category and we can construct \({\mathcal C}\#k^G\), where \(k^G\) is the function algebra. This category is compared with a preceding construction, \({\mathcal C}\#G\), of \textit{C. Cibils} and \textit{E. N. Marcos} [Proc. Am. Math. Soc. 134, No. 1, 39-50 (2006; Zbl 1098.18002)], both \(k\)-categories have module categories equivalent. For a \(k\)-category \(\mathcal C\) and any partition \(E\) of the set of objects by finite subsets a new category \({\mathcal C}_E\) is obtained, the contraction of \(\mathcal C\) along \(E\). The objects of \({\mathcal C}_E\) are the set of partitions while morphisms are provided by the direct sum of all morphism spaces involved between two sets of the partition. There is a natural inverse operation, the expansion. It is shown that the \(\mathcal C\) and \({\mathcal C}_E\) have module categories Morita equivalent. Moreover, if \(\mathcal C\) and \(\mathcal D\) have equivalent module categories, then \(\mathcal D\) is obtained from \(\mathcal C\) by contractions and expansions. Another construction of categories, the inflated category, is considered. In the appendix, these constructions are related with the idempotent completion (Karoubianisation) and the additive completion. A smash extension of an \(H\)-module category \(\mathcal C\) is the natural functor from \(\mathcal C\) to \({\mathcal C}\#H\). In Section 4, the authors relate \(kG\)-smash extension and Galois covering for a finite group \(G\). Given a Galois covering, a smash extension is constructed and the two associated \(k\)-categories have equivalent module categories. Conversely, a Galois covering is associated to any smash extension of categories with a finite group \(G\). These two theories, smash extensions and Galois covering with respect to a finite group, are Morita equivalent.
    0 references
    Hopf algebras
    0 references
    Galois coverings
    0 references
    \(k\)-categories
    0 references
    Morita theory
    0 references
    smash products
    0 references
    contractions
    0 references
    expansions
    0 references
    completions
    0 references

    Identifiers

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