Let $\Cc$ and $\Dd$ be two corings over a ring $A$ and $\Cc\stackrelλ{\longrightarrow}\Dd$ be a morphism of corings. We investigate the situation when the associated induced ("corestriction of scalars") functor $\Mm^\Cc\longrightarrow \Mm^\Dd$ is a Frobenius functor, and call these morphisms Frobenius extensions of corings. The characterization theorem generalizes notions such as Frobenius corings and is applied to several situations; in particular, provided some (general enough) flatness conditions hold, the notion proves to be dual to that of Frobenius extensions of rings (algebras). Several finiteness theorems are given for each case we consider; these theorems extend existing results from Frobenius extensions of rings or from Frobenius corings, showing that a certain finiteness property almost always occur for many instances of Frobenius functors.
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…
We study co-Frobenius and more generally Quasi-co-Frobenius corings over arbitrary baserings and over PF baserings in particular. We generalize some results about (Quasi-) co-Frobenius coalgebras to the case of non-commutative base rings and give several new characterisations for co-Frobenius and Quasi-co-Frobenius corings, some of them are new even in the coalgebra situation. We construct Morita contexts to study Frobenius properies of corings and a second kind of Morita contexts to study adjoint pairs. Comparing both Morita contexts, we obtain our main result that characterises (Quasi-) co-F…
The notion of a Frobenius coring is introduced, and it is shown that any such coring produces a tower of Frobenius corings and Frobenius extensions. This establishes a one-to-one correspondence between Frobenius corings and extensions.
Given a ring $A$ and an $A$-coring $\cC$ we study when the forgetful functor from the category of right $\cC$-comodules to the category of right $A$-modules and its right adjoint $-\otimes_A\cC$ are separable. We then proceed to study when the induction functor $-\otimes_A\cC$ is also the left adjoint of the forgetful functor. This question is closely related to the problem when $A\to {}_A{\rm Hom}(\cC,A)$ is a Frobenius extension. We introduce the notion of a Galois coring and analyse when the tensor functor over the subring of $A$ fixed under the coaction of $\cC$ is an equivalence. We also …
Comparing self-dual corings, Frobenius corings and Ringel self-duality
Swansea University（斯旺西大学）；University of Białystok（比亚韦斯托克大学）；University of Bielefeld（比勒费尔德大学）；TRR 358, University of Bielefeld（比勒费尔德大学 TRR 358）；University of Stuttgart（斯图加特大学）；Uppsala University（乌普萨拉大学）
We study the cyclic module ${}_SR$ for a ring extension $A \| B$ with centralizer $R$ and bimodule endomorphism ring $S = End {}_BA_B$. We show that if $A \| B$ is an H-separable Hopf subalgebra, then $B$ is a normal Hopf subalgebra of $A$. We observe from math.RA/0107064 and math.RA/0108067 depth two in the role of noncommutative normality (as in field theory) in a depth two separable Frobenius characterization of irreducible semisimple-Hopf-Galois extensions. We prove that a depth two extension has a Galois $A$-coring structure on $A ø_R T$ where $T$ is the right $R$-bialgebroid dual to $S$.
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.
The Chern-Galois theory is developed for corings or coalgebras over non-commutative rings. As the first step the notion of an entwined extension as an extension of algebras within a bijective entwining structure over a non-commutative ring is introduced. A strong connection for an entwined extension is defined and it is shown to be closely related to the Galois property and to the equivariant projectivity of the extension. A generalisation of the Doi theorem on total integrals in the framework of entwining structures over a non-commutative ring is obtained, and the bearing of strong connection…
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 …
We study Frobenius extensions which are free-filtered by a totally ordered, finitely generated abelian group, and their free-graded counterparts. First we show that the Frobenius property passes up from a free-graded extension to a free-filtered extension, then also from a free-filtered extension to the extension of their Rees algebras. Our main theorem states that, under some natural hypotheses, a free-filtered extension of algebras is Frobenius if and only if the associated graded extension is Frobenius. In the final section we apply this theorem to provide new examples and non-examples of F…
We study a symmetric Markov extension of k-algebras N \into M, a certain kind of Frobenius extension with conditional expectation that is tracial on the centralizer and dual bases with a separability property. We place a depth two condition on this extension, which is essentially the requirement that the Jones tower N \into M \into M_1 \into M_2 can be obtained by taking relative tensor products with centralizers A = C_{M_1}(N) and B = C_{M_2}(M). Under this condition, we prove that N \into M is the invariant subalgebra pair of a weak Hopf algebra action by A, i.e., that N = M^A. The endomorph…
We characterize Frobenius and separable monoidal algebra extensions $i: R\ra S$ in terms given by $R$ and $S$. For instance, under some conditions, we show that the extension is Frobenius, respectively separable, if and only if $S$ is a Frobenius, respectively separable, algebra in the category of bimodules over $R$. In the case when $R$ is separable we show that the extension is separable if and only if $S$ is a separable algebra. Similarly, in the case when $R$ is Frobenius and separable in a sovereign monoidal category we show that the extension is Frobenius if and only if $S$ is a Frobeniu…
We establish relations between Frobenius parts and between flat-dominant dimensions of algebras linked by Frobenius bimodules. This is motivated by the Nakayama conjecture and an approach of Martinez-Villa to the Auslander-Reiten conjecture on stable equivalences. We show that the Frobenius parts of Frobenius extensions are again Frobenius extensions. Further, let $A$ and $B$ be finite-dimensional algebras over a field $k$, and let $\dm(_AX)$ stand for the dominant dimension of an $A$-module $X$. If $_BM_A$ is a Frobenius bimodule, then $\dm(A)\le \dm(_BM)$ and $\dm(B)\le \dm(_A\Hom_B(M, B))$.…
We investigate the transformed Hopf algebras in Hopf Galois extensions. The final goal of this paper is to introduce certain triangular Hopf algebras associated with restricted Frobenius Lie algebras over a field of characteristic $p>0$.
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 algebra extension is Galois precisely if it is balanced, depth 2, and Frobenius. Then we show that Yetter-Drinfeld categories over H are always braided and their braided commutative algebras play the role of noncommutative scalar extensions by the Brzezinski-Militaru Theorem. Contravariant "fiber functors" are used to prove an analogue of Ulbrich's Theorem and t…
We explain how rank two Frobenius extensions of commutative rings lead to link homology theories and discuss relations between these theories, Bar-Natan theories, equivariant cohomology and the Rasmussen invariant.
In this paper we show that for an important class of non-trivial Hopf algebras, the Schur indicator is a computable invariant. The Hopf algebras we consider are all abelian extensions; as a special case, they include the Drinfeld double of a group algebra. In addition to finding a general formula for the indicator, we also study when it is always positive. In particular we prove that the indicator is always positive for the Drinfeld double of the symmetric group, generalizing the classical result for the symmetric group itself.
We introduce a notion of depth three tower of three rings C < B < A with depth two ring extension A | B recovered when B = C. If A = \End B_C and B | C is a Frobenius extension, this captures the notion of depth three for a Frobenius extension in arXiv:math/0107064 and arXiv:math/0108067, such that if B | C is depth three, then A | C is depth two (a phenomenon of finite depth subfactors, see arXiv:math/0006057). We provide a similar definition of finite depth Frobenius extension with embedding theorem utilizing a depth three subtower of the Jones tower. If A, B and C correspond to a tower of s…
Given a hypercube of Frobenius extensions between commutative algebras, we provide a diagrammatic description of some natural transformations between compositions of induction and restriction functors, in terms of colored transversely-intersecting planar 1-manifolds. The relations arise in the first and third authors' work on (singular) Soergel bimodules.
We study Frobenius 1-morphisms $ı$ in an additive bicategory $\c$ satisfying the depth 2 condition. We show that the 2-endomorphism rings $\c^2(ı\x\ib,ı\x\ib)$ and $\c^2(\ib\xı,\ib\xı)$ can be equipped with dual Hopf algebroid structures. We prove also that a Hopf algebroid appears as the solution of the above abstract symmetry problem if and only if it possesses a two sided non-degenerate integral.
We review the depth two and Hopf algebroid-Galois theory in math.RA/0108067 and specialize to induced representations of semisimple algebras and character theory of finite groups. We show that depth two subgroups over the complex numbers are normal subgroups. As a converse we observe that normal Hopf subalgebras over a field are depth two extensions. We introduce a generalized Miyashita-Ulbrich action on the centralizer of a ring extension, and apply it to a study of depth two and separable extensions, providing new characterizations of separable and H-separable extensions. With a view to the …
The first two sections of the paper provide a convenient scheme and additional diagrammatics for working with Frobenius extensions responsible for key flavors of equivariant SL(2) link homology theories. The goal is to clarify some basic structures in the theory and propose a setup to work over sufficiently non-degenerate base rings. The third section works out two related SL(2) evaluations for seamed surfaces.
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…
For a certain kind of tensor functor $F: \mathcal{C} \to \mathcal{D}$, we define the relative modular object $χ_F \in \mathcal{D}$ as the "difference" between a left adjoint and a right adjoint of $F$. Our main result claims that, if $\mathcal{C}$ and $\mathcal{D}$ are finite tensor categories, then $χ_F$ can be written in terms of a categorical analogue of the modular function on a Hopf algebra. Applying this result to the restriction functor associated to an extension $A/B$ of finite-dimensional Hopf algebras, we recover the result of Fischman, Montgomery and Schneider on the Frobenius type …
For a finite group $G$, Turaev introduced the notion of a braided $G$-crossed fusion category. The classification of braided $G$-crossed extensions of braided fusion categories was studied by Etingof, Nikshych and Ostrik in terms of certain group cohomological data. In this paper we will define the notion of a $G$-crossed Frobenius $\star$-algebra and give a classification of (strict) $G$-crossed extensions of a commutative Frobenius $\star$-algebra $R$ equipped with a given action of $G$, in terms of the second group cohomology $H^2(G,R^\times)$. Now suppose that $\mathcal{B}$ is a non-degene…
We give some applications of a Hopf algebra constructed from a group acting on another Hopf algebra A as Hopf automorphisms, namely Molnar's smash coproduct Hopf algebra. We find connections between the exponent and Frobenius-Schur indicators of a smash coproduct and the twisted exponents and twisted Frobenius-Schur indicators of the original Hopf algebra A. We study the category of modules of the smash coproduct.
When $A$ in the Kauffman bracket skein relation is a primitive $2N$th root of unity, where $N\geq 3$ is odd, the Kauffman bracket skein algebra $K_N(F)$ of a finite type surface $F$ is a ring extension of the $SL_2\mathbb{C}$-characters $χ(F)$ of the fundamental group of $F$. We localize by inverting the nonzero characters to get an algebra $S^{-1}K_N(F)$ over the function field of the character variety. We prove that if $F$ is noncompact, the algebra $S^{-1}K_N(F)$ is a symmetric Frobenius algebra. Along the way we prove $K(F)$ is finitely generated, $K_N(F)$ is a finite rank module over $χ(F…
The exact sequence of ``coordinate-ring'' Hopf algebras A(SL(2,C)) -> A(SL_q(2)) -> A(F) determined by the Frobenius map Fr, and the same way obtained exact sequence of (quantum) Borel subgroups, are studied when q is a cubic root of unity. An A(SL(2,C))-linear splitting of A(SL_q(2)) making A(SL(2,C)) a direct summand of A(SL_q(2)) is constructed and used to prove that A(SL_q(2)) is a faithfully flat A(F)-Galois extension of A(SL(2,C)). A cocycle and coaction determining the bicrossed-product structure of the upper-triangular (Borel) quantum subgroup of A(SL_q(2)) are computed explicitly.
