Related papers: Dual Bialgebroids for Depth Two Ring Extensions

Let $S$ be the left bialgebroid $\End {}_BA_B$ over the centralizer $R$ of a right D2 algebra extension $A \| B$, which is to say that its tensor-square is isomorphic as $A$-$B$-bimodules to a direct summand of a finite direct sum of $A$…

Proposing a certain category of bialgebroid maps we show that the balanced depth 2 extensions appear as they were the finitary Galois extensions in the context of quantum groupoid actions, i.e., actions by finite bialgebroids, weak…

A minimum depth d^I(S --> R) is assigned to a ring homomorphism S --> R and a R-R-bimodule I. The recent notion of depth of a subring d(S,R)in a paper by Boltje-Danz-Kuelshammer is recovered when I = R and S --> R is the inclusion mapping.…

In this paper we explore the concept of depth of a ring extension when the overall algebra factorises as a product of two subalgebras, in particular the case of finite dimensional Hopf algebras. As a result we generalise the results by…

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…

A subalgebra pair of semisimple complex algebras B < A with inclusion matrix M is depth two if MM^t M < nM for some positive integer n and all corresponding entries. If A and B are the group algebras of finite group-subgroup pair H < G, the…

We define left relative H-separable tower of rings and continue a study of these begun by Sugano. It is proven that a progenerator extension has right depth two if and only if the ring extension together with its right endomorphism ring is…

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…

Any finite-dimensional quasitriangular Hopf algebra $H$ can be formally extended to a ribbon Hopf algebra $\tilde H$ of twice the dimension. We investigate this extension and its representations. We show that every indecomposable $H$-module…

In [1] a new notion of Hopf algebroid has been introduced. It was shown to be inequivalent to the structure introduced under the same name in [17]. We review this new notion of Hopf algebroid. We prove that two Hopf algebroids are…

For a fixed finite group $Q$ and semi-simple finite dimensional algebra $S$, we examine an equivalence between strongly $Q$-graded algebras (extensions) with identity component $S$ and $S^1$-gerbes on action groupoids of $Q$ on the set of…

Motivated by the study of depth 2 Frobenius extensions we introduce a new notion of Hopf algebroid. It is a 2-sided bialgebroid with a bijective antipode which connects the two, left and right handed, structures. While all the interesting…

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…

Comodule algebras of a Hopf algebroid H with a bijective antipode, i.e. algebra extensions B\subseteq A by H, are studied. Assuming that a lifted canonical map is a split epimorphism of modules of the non-commutative base algebra of H,…

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…

Let $A$ be an Artin algebra, $M$ be a Gorenstein projective $A$-module and $B =$ End$_A M$, then $M$ is a $A$-$B$-bimodule. We use the restricted flat dimension of $M_B$ to give a characterization of the homological dimensions of $A$ and…

The separability tensor element of a separable extension of noncommutative rings is an idempotent when viewed in the correct endomorphism ring; so one speaks of a separability idempotent, as one usually does for separable algebras. It is…

Let $H$ be a Hopf algebra, $A/B$ be an $H$-Galois extension. Let $D(A)$ and $D(B)$ be the derived categories of right $A$-modules and of right $B$-modules respectively. An object $M^\cdot\in D(A)$ may be regarded as an object in $D(B)$ via…

Study of the quotient module of a finite-dimensional Hopf subalgebra pair in order to compute its depth yields a relative Maschke Theorem, in which semisimple extension is characterized as being separable, and is therefore an ordinary…

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…