Adjoint and Frobenius Pairs of Functors, Equivalences, and the Picard Group for Corings

Towers of corings

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.

Galois theory for comatrix corings: descent theory, Morita theory, Frobenius and separability properties

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…

Cofrobenius Corings and adjoint Functors

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…

On comatrix corings and bimodules

To any bimodule which is finitely generated and projective on one side one can associate a coring, known as a comatrix coring. A new description of comatrix corings in terms of data reminiscent of a Morita context is given. It is also studied how properties of bimodules are reflected in the associated comatrix corings. In particular it is shown that separable bimodules give rise to coseparable comatrix corings, while Frobenius bimodules induce Frobenius comatrix corings.

自对偶余环、Frobenius余环与Ringel自对偶性的比较

Comparing self-dual corings, Frobenius corings and Ringel self-duality

本文分类自对偶余环与自对偶代数扩张，将其（自）对偶性与Ringel（自）对偶性比较，揭示差异，给出余环自对偶的等价刻画并解释Ringel自对偶的同调特性。

Quasi-Frobenius functors. Applications

We investigate functors between abelian categories having a left adjoint and a right adjoint that are \emph{similar} (these functors are called \emph{quasi-Frobenius functors}). We introduce the notion of a \emph{quasi-Frobenius bimodule} and give a characterization of these bimodules in terms of quasi-Frobenius functors. Some applications to corings and graded rings are presented. In particular, the concept of quasi-Frobenius homomorphism of corings is introduced. Finally, a version of the endomorphism ring Theorem for quasi-Frobenius extensions in terms of corings is obtained.

The structure of corings: Induction functors, Maschke-type theorem, and Frobenius and Galois-type properties

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 …

The bicategories of corings

To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule such as separability and the Frobenius properties are reflected in the induced base ring extension coring. Any bimodule that is finitely generated and projective on one side, together with a map of corings over the same base ring, lead to the notion of a module-morphism, which extends the notion of a morphism of corings (over different base rings). A module-m…

拟Frobenius代数的Picard群与Frobenius强分次代数的一个问题

Picard groups of quasi-Frobenius algebras and a question on Frobenius strongly graded algebras

针对Frobenius性能否由强分次代数下传至单位次成分，研究拟Frobenius代数的可逆双模与Picard群，计算Nakayama反例的相关群，并构造单位次成分非Frobenius的对称强分次代数。

The relative Picard group of a comodule algebra and Harrison cohomology

Let $A$ be a commutative comodule algebra over a commutative bialgebra $H$. The group of invertible relative Hopf modules maps to the Picard group of $A$, and the kernel is described as a quotient group of the group of invertible grouplike elements of the coring $A\ot H$, or as a Harrison cohomology group. Our methods are based on elementary $K$-theory. The Hilbert 90 Theorem follows as a corollary. The part of the Picard group of the coinvariants that becomes trivial after base extension embeds in the Harrison cohomology group, and the image is contained in a well-defined subgroup $E$. It equ…

A bicategorical version of Masuoka's theorem. Applications to bimodules over functor categories and to firm bimodules

We give a bicategorical version of the main result of A. Masuoka ({Corings and invertible bimodules,} {\em Tsukuba J. Math.} \textbf{13} (1989), 353--362) which proposes a non-commutative version of the fact that for a faithfully flat extension of commutative rings $R \subseteq S$, the relative Picard group $Pic(S/R)$ is isomorphic to the Amitsur 1--cohomology group $H^1(S/R,U)$ with coefficients in the units functor $U$.

Four problems regarding representable functors

Let $R$, $S$ be two rings, $C$ an $R$-coring and ${}_{R}^C{\mathcal M}$ the category of left $C$-comodules. The category ${\bf Rep}\, ( {}_{R}^C{\mathcal M}, {}_{S}{\mathcal M} )$ of all representable functors ${}_{R}^C{\mathcal M} \to {}_{S}{\mathcal M}$ is shown to be equivalent to the opposite of the category ${}_{R}^C{\mathcal M}_S$. For $U$ an $(S,R)$-bimodule we give necessary and sufficient conditions for the induction functor $U\otimes_R - : {}_{R}^C\mathcal{M} \to {}_{S}\mathcal{M}$ to be: a representable functor, an equivalence of categories, a separable or a Frobenius functor. The l…

Frobenius Functors of the second kind

A pair of adjoint functors $(F,G)$ is called a Frobenius pair of the second type if $G$ is a left adjoint of $βFα$ for some category equivalences $α$ and $β$. Frobenius ring extensions of the second kind provide examples of Frobenius pairs of the second kind. We study Frobenius pairs of the second kind between categories of modules, comodules, and comodules over a coring. We also show that a finitely generated projective Hopf algebra over a commutative ring is always a Frobenius extension of the second kind, and prove that the integral spaces of the Hopf algebra and its dual are isomorphic.

Stable equivalence of Morita type and Frobenius extensions

A.S. Dugas and R. Martínez-Villa proved in \cite[Corollary 5.1]{dm} that if there exists a stable equivalence of Morita type between the $k$-algebras $Λ$ and $Γ$, then it is possible to replace $Λ$ by a Morita equivalent $k$-algebra $Δ$ such that $Γ$ is a subring of $Δ$ and the induction and restriction functors induce inverse stable equivalences. In this note we give an affirmative answer to a question of Alex Dugas about the existence of a $Γ$-coring structure on $Δ$. We do this by showing that $Δ$ is a Frobenius extension of $Γ$.

On the Rosenberg-Zelinsky sequence in abelian monoidal categories

We consider Frobenius algebras and their bimodules in certain abelian monoidal categories. In particular we study the Picard group of the category of bimodules over a Frobenius algebra, i.e. the group of isomorphism classes of invertible bimodules. The Rosenberg-Zelinsky sequence describes a homomorphism from the group of algebra automorphisms to the Picard group, which however is typically not surjective. We investigate under which conditions there exists a Morita equivalent Frobenius algebra for which the corresponding homomorphism is surjective. One motivation for our considerations is the …

Depth three towers of rings and groups

Depth three and finite depth are notions known for subfactors via diagrams and Frobenius extensions of rings via centralizers in endomorphism towers. From the point of view of depth two ring extensions, we provide a clear definition of depth three for a tower of three rings C < B < A. If A = B_C and B | C is a Frobenius extension, this captures the notion of depth three for a Frobenius extension. For example we provide an algebraic proof that if B | C is depth three, then A | C is depth two. If A, B and C correspond to a tower of subgroups G > H > K via the group algebra over a fixed base ring…