We consider categories over a field $k$ in order to prove that smash extensions and Galois coverings with respect to a finite group coincide up to Morita equivalence of $k$-categories. For this purpose we describe processes providing Morita equivalences called contraction and expansion. We prove that composition of these processes provides any Morita equivalence, a result which is related with the karoubianisation (or idempotent completion) and additivisation of a $k$-category.
In this paper we consider categories over a commutative ring provided either with a free action or with a grading of a not necessarily finite group. We define the smash product category and the skew category and we show that these constructions agree with the usual ones for algebras. In case of the smash product for an infinite group our construction specialized for a ring agrees with M. Beattie's construction of a ring with local units in \cite{be}. We recover in a categorical generalized setting the Duality Theorems of M. Cohen and S. Montgomery in \cite{cm}, and we provide a unification wit…
In this work we investigate partial actions of a Hopf algebra H on nonunital algebras and the associated partial smash products. We show that our partial actions correspond to nonunital algebras in the category of partial representations of H. The central problem of existence of a globalization for a partial action is studied in detail, and we provide sufficient conditions for the existence (and uniqueness) of a minimal globalization for associative algebras in general. Extending previous results by Abadie, Dokuchaev, Exel and Simon, we define Morita equivalence for partial Hopf actions, and w…
We introduce the concept of a Galois covering of a pointed coalgebra. The theory developed shows that Galois coverings of pointed coalgebras can be concretely expressed by smash coproducts using the coaction of the automorphism group of the covering. Thus the theory of Galois coverings is seen to be equivalent to group gradings of coalgebras. An advantageous feature of the coalgebra theory is that neither the grading group nor the quiver is assumed finite in order to obtain a smash product coalgebra.
Let $H$ be a Hopf algebra, and $A,B$ be $H$-Galois extensions. We investigate the category ${}_A\mathcal{M}_B^H$ of relative Hopf bimodules, and the Morita equivalences between $A$ and $B$ induced by them.
In this paper we introduce the notion of a partial action of a groupoid on a ring as well as we give a criteria for the existence of a globalization of it. We construct a Morita context associated to a globalizable partial groupoid action and we introduce the notion of a partial Galois extension, which is related to the strictness of this context.
El Kaoutit and Gómez Torrecillas introduced comatrix corings, generalizing Sweedler's canonical coring, and proved a new version of the Faithfully Flat Descent Theorem. They also introduced Galois corings, as corings isomorphic to a comatrix coring. In this paper, we further investigate this theory. We prove a new version of the Joyal-Tierney Descent Theorem, and generalize the Galois Coring Structure Theorem. We associate a Morita context to a coring with a fixed comodule, and relate it to Galois-type properties of the coring. An affineness criterion is proved in the situation where the corin…
In this note we study Morita contexts and Galois extensions for corings. For a coring $\QTR{cal}{C}$ over a (not necessarily commutative) ground ring $A$ we give equivalent conditions for $\QTR{cal}{M}^{\QTR{cal}{C}}$ to satisfy the weak. resp. the strong structure theorem. We also characterize the so called \QTR{em}{cleft}$C$\QTR{em}{-Galois extensions} over commutative rings. Our approach is similar to that of Y. Doi and A. Masuoka in their work on (cleft) $H$-Galois extensions.
In this article, we introduce the concept of partial groupoid actions on R- semicategories as well as we give criteria for existence of a globalization of it. This point of view is a generalization of the notions of partial groupoid actions on rings and partial group action on an R-semicategory. We also define the notions of partial skew groupoid category, smash product and describe functorial relations between them, in particular we show that the smash product is a Galois covering of its associated skew groupoid category.
Partial Galois extensions were recently introduced by Dokuchaev, Ferrero and Paques. We introduce partial Galois extensions for noncommutative rings, using the theory of Galois corings. We associate a Morita context to a partial action on a ring.
Let $H$ be a Hopf algebra, and $A$ an $H$-Galois extension. We investigate $H$-Morita autoequivalences of $A$, introduce the concept of $H$-Picard group, and we establish an exact sequence linking the $H$-Picard group of $A$ and the Picard group of $A^{{\rm co}H}$.
It is shown that, the quasi-Koszulities of algebras and modules are Morita invariance. A finite-dimensional $K$-algebra $A$ with an action of $G$ is quasi-Koszul if and only if so is the skew group algebra $A \ast G$, where $G$ is a finite group satisfying $\char K \nmid |G|$. A finite-dimensional $G$-graded $K$-algebra $A$ is quasi-Koszul if and only if so is the smash product $A # G^*$, where $G$ is a finite group satisfying $\char K \nmid |G|$. These results are applied to prove that, if a finite-dimensional connected quiver algebra is Koszul then so are its Galois covering algebras with fi…
A Morita context is constructed for any comodule of a coring and, more generally, for an $L$-$\cC$ bicomodule $Σ$ for a pure coring extension $(\cD:L)$ of $(\cC:A)$. It is related to a 2-object subcategory of the category of $k$-linear functors $\Mm^\Cc\to\Mm^\Dd$. Strictness of the Morita context is shown to imply the Galois property of $Σ$ as a $\cC$-comodule and a Weak Structure Theorem. Sufficient conditions are found also for a Strong Structure Theorem to hold. Cleft property of an $L$-$\cC$ bicomodule $Σ$ -- implying strictness of the associated Morita context -- is introduced. It is sho…
Given a group $G$, we define suitable 2-categorical structures on the class of all small categories with $G$-actions and on the class of all small $G$-graded categories, and prove that 2-categorical extensions of the orbit category construction and of the smash product construction turn out to be 2-equivalences (2-quasi-inverses to each other), which extends the Cohen-Montgomery duality.
In this article we revisit the theory of homotopic Hopf-Galois extensions introduced in arXiv:0902.3393v2 [math.AT], in light of the homotopical Morita theory of comodules established in arXiv:1411.6517 [math.AT]. We generalize the theory to a relative framework, which we believe is new even in the classical context and which is essential for treating the Hopf-Galois correspondence in forthcoming work of the second author and Karpova. We study in detail homotopic Hopf-Galois extensions of differential graded algebras over a commutative ring, for which we establish a descent-type characterizati…
We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings are defined, and a Structure Theorem for the $G$-comodules over a Galois group coring is given. We study (graded) Morita contexts associated to a group coring. Our theory is applied to group corings associated to a comodule algebra over a Hopf group coalgebra.
Let $G$ be a group acting on a category $\mathcal{C}$. We give a definition for a functor $F\colon \mathcal{C} \to \mathcal{C}'$ to be a $G$-covering and three constructions of the orbit category $\mathcal{C}/G$, which generalizes the notion of a Galois covering of locally finite-dimensional categories with group $G$ whose action on $\mathcal{C}$ is free and locally bonded defined by Gabriel. Here $\mathcal{C}/G$ is defined for any category $\mathcal{C}$ and we do not require that the action of $G$ is free or locally bounded. We show that a $G$-covering is a universal "$G$-invariant" functor a…
To a finite Hopf-Galois extension $A | B$ we associate dual bialgebroids $S := \End_BA_B$ and $T := (A ø_B A)^B$ over the centralizer $R$ using the depth two theory in math.RA/0108067. First we extend results on the equivalence of certain properties of Hopf-Galois extensions with corresponding properties of the coacting Hopf algebra \cite{KT,Doi} to depth two extensions using coring theory math.RA/0002105. Next we show that $T^{\rm op}$ is a Hopf algebroid over the centralizer $R$ via Lu's theorem 5.1 in math.QA/9505024 for smash products with special modules over the Drinfel'd double, the Miy…
Ştefan spectral sequence for faithfully flat Hopf Galois extensions is multiplicative
School of Mathematics, Yangzhou University（扬州大学数学学院）；School of Mathematical Sciences, Laboratory of MEA (Ministry of Education), Shanghai Key Laboratory of PMMP, East China Normal University（华东师范大学数学科学学院教育部MEA实验室上海市PMMP重点实验室）；School of Mathematics, Shanghai University of Finance and Economics（上海财经大学数学学院）
We bring together ideas in analysis of Hopf *-algebra actions on II_1 subfactors of finite Jones index and algebraic characterizations of Frobenius, Galois and cleft Hopf extensions to prove a non-commutative algebraic analogue of the classical theorem: a finite field extension is Galois iff it is separable and normal. Suppose N < M is a separable Frobenius extension of k-algebras split as N-bimodules with a trivial centralizer C_M(N). Let M_1 := End(M)_N and M_2 := End(M_1)_M be the endomorphism algebras in the Jones tower N < M < M_1 < M_2. We show that under depth 2 conditions on the second…
An extension B\subset A of algebras over a commutative ring k is an H-extension for an L-bialgebroid H if A is an H-comodule algebra and B is the subalgebra of its coinvariants. It is H-Galois if the canonical map A\otimes_B A\to A\otimes_L H is an isomorphism or, equivalently, if the canonical coring (A\otimes_L H:A) is a Galois coring. In the case of a Hopf algebroid H=(H_L,H_R,S) any H_R-extension is shown to be also an H_L-extension. If the antipode is bijective then also the notions of H_R-Galois extensions and of H_L-Galois extensions are proven to coincide. Results about bijective entwi…
This paper is a written form of a talk. It gives a review of various notions of Galois (and in particular cleft) extensions. Extensions by coalgebras,bialgebras and Hopf algebras (over a commutative base ring) and by corings,bialgebroids and Hopf algebroids (over a non-commutative base algebra) are systematically recalled and compared. In the first version of this paper, the journal version of [15, Theorem 2.6] was heavily used, in two respects. First, it was applied to establish an isomorphism between the comodule categories of two constituent bialgebroids in a Hopf algebroid. Second, it was …
