Related papers: Entwined modules over linear categories and Galois…
Entwined modules over cowreaths in a monoidal category are introduced. They can be identified to coalgebras in an appropriate monoidal category. It is investigated when such coalgebras are Frobenius (resp. separable), and when the forgetful…
For a given entwining structure $(A,C)_\psi$ involving an algebra $A$, a coalgebra $C$, and an entwining map $\psi: C\otimes A\to A\otimes C$, a category $\M_A^C(\psi)$ of right $(A,C)_\psi$-modules is defined and its structure analysed. In…
We study the noncommutative base change of an entwining structure $(A,C,\psi)$ by a Grothendieck category $\mathfrak S$, using two module like categories. These are the categories of entwined comodule objects and entwined contramodule…
We study module like objects over categorical quotients of algebras by the action of coalgebras with several objects. These take the form of ``entwined comodules'' and ``entwined contramodules'' over a triple $(\mathscr C,A,\psi)$, where…
We introduce a theory of modules over a representation of a small category taking values in entwining structures over a semiperfect coalgebra. This takes forward the aim of developing categories of entwined modules to the same extent as…
We study Galois extensions Coinv(M)<M for M an H-comodule algebra and H a Frobenius Hopf algebroid. We obtain generalizations of various theorems in Hopf-Galois theory by Kreimer-Takeuchi, Doi-Takeuchi and Cohen-Fischman-Montgomery. An…
Interpreting entwining structures as special instances of J. Beck's distributive law, the concept of entwining module can be generalized for the setting of arbitrary monoidal category. In this paper, we use the distributive law formalism to…
Let $K/E/\mathbb{Q}_p$ be a tower of finite extensions with $E$ Galois. We relate the category of $G_K$-equivariant vector bundles on the Fargues--Fontaine curve with coefficients in $E$ with $E$-$G_K$-$B$-pairs and describe crystalline and…
We study when induction functors (and their adjoints) between categories of Doi-Hopf modules and, more generally, entwined modules are separable, resp. Frobenius. We present a unified approach, leading to new proofs of old results by the…
We develop a categorical analogue of Clifford theory for strongly graded rings over graded fusion categories. We describe module categories over a fusion category graded by a group $G$ as induced from module categories over fusion…
We define a Galois structure on the category of pairs of equivalence relations in an exact Mal'tsev category, and characterize central and double central extensions in terms of higher commutator conditions. These results generalize both the…
We investigate criteria for algebra extensions that are of Galois type with respect to the coaction of a Hopf algebra or, more generally, a one-sided quotient of a Hopf algebra, or with respect to an entwining. We study the module- and…
Given a braided tensor *-category C with conjugate (dual) objects and irreducible unit together with a full symmetric subcategory S we define a crossed product C\rtimes S. This construction yields a tensor *-category with conjugates and an…
We study extension properties for morphisms of stacks of bundles for group algebraic spaces. Applications are a short proof of the classification of bundles on the projective line for smooth geometrically reductive groups and the existence…
We interpret Galois covers in terms of particular monoidal functors, extending the correspondence between torsors and fiber functors. As applications we characterize tame $G$-covers between normal varieties for finite and \'etale group…
Entwined modules arose from the coalgebra-Galois theory. They are a generalisation of unified Doi-Hopf modules. In this paper, Frobenius properties and Maschke-type theorems, known for Doi-Hopf modules are extended to the case of entwined…
Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…
Let C be a fusion category which is an extension of a fusion category D by a finite group G. We classify module categories over C in terms of module categories over D and the extension data (c,M,a) of C. We also describe functor categories…
Let k be an algebraically closed field, let R be an associative k-algebra, and let F = {M_a: a in I} be a family of orthogonal points in R-Mod such that End_R(M_a) = k for all a in I. Then Mod(F), the minimal full sub-category of R-Mod…
We introduce and study the category of twisted modules over a triangular differential graded bocs. We show that in this category idempotents split, that it admits a natural structure of a Frobenius category, that a twisted module is…