Codepth Two and Related Topics

A depth two extension A | B is shown to be weak depth two over its double centralizer V _A (V _A (B)) if this is separable over B. We consider various examples and non-examples of depth one and two properties. Depth two and its relationship to direct and tensor product of algebras as well as cup product of relative Hochschild cochains is examined. Section 6 introduces a notion of codepth two coalgebra homomorphism g : C → D, dual to a depth two algebra homomorphism. It is shown that the endomorphism ring of bicomodule endomorphisms End ^D C ^D forms a right bialgebroid over the centralizer subalgebra g ^* : D ^* → C ^* of the dual algebra C ^*. Dedicated to Daniel Kastler on his eightieth birthday.     

Odd H-depth and H-separable extensions

Let C _n (A,B) be the relative Hochschild bar resolution groups of a subring B ⊆ A. The subring pair has right depth 2n if C _n+1(A,B) is isomorphic to a direct summand of a multiple of C _n (A,B) as A-B-bimodules; depth 2n + 1 if the same condition holds only as B-B-bimodules. It is then natural to ask what is defined if this same condition should hold as A-A-bimodules, the so-called H-depth 2n − 1 condition. In particular, the H-depth 1 condition coincides with A being an H-separable extension of B. In this paper the H-depth of semisimple subalgebra pairs is derived from the transpose inclusion matrix, and for QF extensions it is derived from the odd depth of the endomorphism ring extension. For general extensions characterizations of H-depth are possible using the H-equivalence generalization of Morita theory.     

Finite depth and Jacobson-Bourbaki correspondence

We introduce a notion of depth three tower C⊆B⊆A with depth two ring extension A|B being the case B=C. If and B|C is a Frobenius extension with A|B|C depth three, then A|C is depth two. If A, B and C correspond to a tower G>H>K via group algebras over a base ring F, the depth three condition is the condition that K has normal closure K^G contained in H. For a depth three tower of rings, a pre-Galois theory for the ring and coring (A⊗_BA)^C involving Morita context bimodules and left coideal subrings is applied to specialize a Jacobson-Bourbaki correspondence theorem for augmented rings to depth two extensions with depth three intermediate division rings.     

The Structure of Frobenius Algebras and Separable Algebras

We present a unified approach to the study of separable and Frobenius algebras. The crucial observation is that both types of algebras are related to the nonlinear equation R¹²R²³=R²³R¹³=R¹³R¹², called the FS-equation. Solutions of the FS-equation automatically satisfy the braid equation, an equation that is in a sense equivalent to the quantum Yang–Baxter equation. Given a solution to the FS-equation satisfying a certain normalizing condition, we can construct a Frobenius algebra or a separable algebra A(R) – the normalizing condition is different in both cases. The main result of this paper is the structure of these two fundamental types of algebras: a finite dimensional Frobenius or separable k-algebra A is isomorphic to such an A(R). A(R) can be described using generators and relations. A new characterization of Frobenius extensions is given: B A is Frobenius if and only if A has a B-coring structure (A, , ) such that the comultiplication : A A_B A is an A-bimodule map.     

Are Biseparable Extensions Frobenius?

In Secion 1 we describe what is known of the extent to which a separable extension of unital associative rings is a Frobenius extension. A problem of this kind is suggested by asking if three algebraic axioms for finite Jones index subfactors are dependent. In Section 2 the problem in the title is formulated in terms of separable bimodules. In Section 3 we specialize the problem to ring extensions, noting that a biseparable extension is a two-sided finitely generated projective, split, separable extension. Some reductions of the problem are discussed and solutions in special cases are provided. In Section 4 various examples are provided of projective separable extensions that are neither finitely generated nor Frobenius and which give obstructions to weakening the hypotheses of the question in the title. In Section 5 we show that characterizations of the separable extensions among Frobenius extensions are special cases of a result for adjoint functors. Mathematics Subject Classifications (2000): 16L60, 16H05.     

HIGH ORDER KÄHLER MODULES OF NONCOMMUTATIVE RING EXTENSIONS

We construct the high order Kähler modules of noncommutative ring extensions B/A and show their fundamental properties. Our Kähler modules represent not only high order left derivations for one-sided modules but also high order central derivations for bimodules, which are usual derivations. This new viewpoint enables us to prove new results which were not known even though B is an algebra over a commutative ring A. Our results are the decomposition of Kähler modules by an idempotent element, exact sequences of Kähler modules, the Kähler modules of factor rings, and the relation to separable extensions. In particular, our exact sequences of high order Kähler modules were not known even though B is commutative.     

Bialgebroid actions on depth two extensions and duality

A general notion of depth two for ring homomorphism N→M is introduced. The step two centralizers A=End_NM_N and in the Jones tower above N→M are shown in a natural way via H-equivalence to be dual bimodules for Morita equivalent endomorphism rings, the step one and three centralizers, R=C_M(N) and C=End_N-M(M⊗_NM). We show A and B to possess dual left and right R-bialgebroid structures which generalize Lu's fundamental bialgebroids over an algebra. There are actions of A and B on M and with Galois properties. If M|N is depth two and Frobenius with R a separable algebra, we show that A and B are dual weak Hopf algebras fitting into a duality-for-actions tower extending previous results in this area for subfactors and Frobenius extensions.     

Note on Morita Equivalence in Ring Extensions

It seems that Morita invariance judges of the importance of classes of ring extensions concerned. Miyashita introduced the notion of Morita equivalence in ring extensions, and he showed that the classes of G-Galois extensions and Frobenius extensions are Morita invariant. After that, Ikehata showed that the classes of separable extensions, Hirata separable extensions, symmetric extensions, and QF-extensions are Morita invariant. In this article, we shall prove that the classes of several extensions are Morita invariant. Further, we will give an example of the class of ring extensions which is not Morita invariant.     

Twisted Frobenius Extensions of Graded Superrings

We define twisted Frobenius extensions of graded superrings. We develop equivalent definitions in terms of bimodule isomorphisms, trace maps, bilinear forms, and dual sets of generators. The motivation for our study comes from categorification, where one is often interested in the adjointness properties of induction and restriction functors. We show that A is a twisted Frobenius extension of B if and only if induction of B-modules to A-modules is twisted shifted right adjoint to restriction of A-modules to B-modules. A large (non-exhaustive) class of examples is given by the fact that any time A is a Frobenius graded superalgebra, B is a graded subalgebra that is also a Frobenius graded superalgebra, and A is projective as a left B-module, then A is a twisted Frobenius extension of B.     

The Structure of Corings: Induction Functors, Maschke-Type Theorem, and Frobenius and Galois-Type Properties

Given a ring A and an A-coring C, we study when the forgetful functor from the category of right C-comodules to the category of right A-modules and its right adjoint – _A C are separable. We then proceed to study when the induction functor – _A C is also the left adjoint of the forgetful functor. This question is closely related to the problem when A _A Hom(C,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 C is an equivalence. We also comment on possible dualisation of the notion of a coring.     

Toward an arithmetic of polynomials

Summary ForR a commutative ring, which may have divisors of zero but which has no idempotents other than zero and one, we consider the problem of unique factorization of a polynomial with coefficients inR. We prove that, if the polynomial is separable, then such a unique factorization exists. We also define a Legendre symbol for a separable polynomial and a prime of commutative ring with exactly two idempotents in such a way that the symbols of classical number theory are subsumed. We calculate this symbol forR = Q in two cases where it has classically been of interest, namely quadratic extensions and cyclotomic extensions. We then calculate it in a situation which is new, namely the so called generalized cyclotomic extensions from a paper by S. Beale and D. K. Harrison. We study the Galois theory in the general ring situation and in particular define a category of separable polynomials (this is an extension of a paper by D. K. Harrison and M. Vitulli) and a cohomology theory of separable polynomials.     

Crossed Products by Twisted Partial Actions: Separability,Semisimplicity, and Frobenius Properties

In this article, we are concerned with the crossed product S = R☆_α G by a twisted partial action α of a group G on a ring R. We give necessary and sufficient (resp., sufficient) conditions for S to be a separable (resp., Frobenius, semisimple) extension of R.     

Frobenius subgroups of free products of prosolvable groups

In this paper we establish the existence of profinite Frobenius subgroups in a free prosolvable productA B of two finite groupsA andB. In this way the classification of solvable subgroups of free profinite groups is completed.     

Separability and the Twisted Frobenius Bimodule

This paper begins with an introduction to -Frobenius structure on a finite-dimensional Hopf subalgebra pair. In Section 2 a study is made of a generalization of Frobenius bimodules and -Frobenius extensions. Also a special type of twisted Frobenius bimodule which gives an endomorphism ring theorem and converse is studied. Section 3 brings together material on separable bimodules, the dual definitions of split and separable extension, and a theorem of Sugano on endomorphism rings of separable bimodules. In Section 4, separable twisted Frobenius bimodules are characterized in terms of data that generalizes a Frobenius homomorphism and a dual base. In the style of duality, two corollaries characterizing split -Frobenius and separable -Frobenius extensions are proven. Sugano"s theorem is extended to -Frobenius extensions and their endomorphism rings. In Section 5, the problem of when separable extensions are Frobenius extensions is discussed. A Hopf algebra example and a matrix example are given of finite rank free separable -Frobenius extensions which are not Frobenius in the ordinary sense.     

Anchor Maps and Stable Modules in Depth Two

An algebra extension A ∣ B is right depth two if its tensor-square is in the Dress category . We consider necessary conditions for right, similarly left, D2 extensions in terms of partial A-invariance of two-sided ideals in A contracted to the centralizer. Finite dimensional algebras extending central simple algebras are shown to be depth two. Following P. Xu, left and right bialgebroids over a base algebra R may be defined in terms of anchor maps, or representations on R. The anchor maps for the bialgebroids and over the centralizer R = C _A (B) are the modules _S R and R _T studied in Kadison (J. Alg. & Appl., 2005, preprint), Kadison (Contemp. Math., 391: 149–156, 2005), and Kadison and Külshammer (Commun. Algebra, 34: 3103–3122, 2006), which provide information about the bialgebroids and the extension (Kadison, Bull. Belg. Math. Soc. Simon Stevin, 12: 275–293, 2005). The anchor maps for the Hopf algebroids in Khalkhali and Rangipour (Lett. Math. Phys., 70: 259–272, 2004) and Kadison (2005, preprint) reverse the order of right multiplication and action by a Hopf algebra element, and lift to the isomorphism in Van Oystaeyen and Panaite (Appl. Categ. Struct., 2006, in press). We sketch a theory of stable A-modules and their endomorphism rings and generalize the smash product decomposition in Kadison (Proc. Am. Math. Soc., 131: 2993–3002, 2003 Prop. 1.1) to any A-module. We observe that Schneider’s coGalois theory in Schneider (Isr. J. Math., 72: 167–195, 1990) provides examples of codepth two, such as the quotient epimorphism of a finite dimensional normal Hopf subalgebra. A homomorphism of finite dimensional coalgebras is codepth two if and only if its dual homomorphism of algebras is depth two.      

Frobenius扩张上的$n$-Gorenstein投射模和维数

In this paper, we study n-Gorenstein projective modules over Frobenius extensions and n-Gorenstein projective dimensions over separable Frobenius extensions. Let R ■ A be a Frobenius extension of rings and M any left A-module. It is proved that M is an n-Gorenstein projective left A-module if and only if A ■_RM and Hom_R(A, M) are n-Gorenstein projective left A-modules if and only if M is an n-Gorenstein projective left R-module. Furthermore, when R ■ A is a separable Frobenius extension, n-Gorenstein projective dimensions are considered.     

Galois theory for bialgebroids, depth two and normal Hopf subalgebras

We reduce certain proofs in [16, 11, 12] to depth two quasibases from one side only, a minimalistic approach which leads to a characterization of Galois extensions for finite projective bialgebroids without the Frobenius extension property. We prove that a proper algebra extension is a leftT-Galois extension for some right finite projective left bialgebroid over some algebraR if and only if it is a left depth two and left balanced extension. Exchanging left and right in this statement, we have a characterization of right Galois extensions for left finite projective right bialgebroids. Looking to examples of depth two, we establish that a Hopf subalgebra is normal if and only if it is a Hopf-Galois extension. We characterize finite weak Hopf-Galois extensions using an alternate Galois canonical mapping with several corollaries: that these are depth two and that surjectivity of the Galois mapping implies its bijectivity.

---

Sunto Riduciamo alcune prove di [16,11,12] a quasibasi di profondità due da un lato solo, un approccio minimalistico che conduce ad una caratterizzazione di estensioni di Galois per bialgebroidi proietivi finiti senza la proprietà di estensione di Frobenius. Dimostriamo che un'algebra che sia un'estensione propria è un'estensioneT-Galois sinistra per qualche bialgebroide finito proiettivo a sinistra su qualche algebraR se, e solo se, è un'estensione di profondità due a sinistra e bilanciata a sinistra. Scambiando destra e sinistra nell'enunciato, otteniamo una caratterizzazione di estensioni di Galois destre per bialgebroidi finiti proiettivi a destra. Guardando ad esempi di profondità due, otteniamo che una sottoalgebra di Hopf è normale se, e solo se, è un'estensione Hopf-Galois. Caratterizziamo le estensioni Hopf-Galois deboli finite usando un'applicazione canonica di Galois alternativa ottenendo parecchi corollari: queste sono di profondità due e la suriettività dell'applicazione di Galois implica la sua biiettività.

     

The Ext-group of unitary equivalence classes of unital extensions

Let A be a unital separable nuclear C*-algebra which belongs to the bootstrap category N and B be a separable stable C*-algebra. In this paper, we consider the group Ext _u (A, B) consisting of the unitary equivalence classes of unital extensions τ: A→Q(B). The relation between Ext _u (A, B) and Ext(A, B) is established. Using this relation, we show the half-exactness of Ext _u (·, B) and the (UCT) for Ext _u (A, B). Furthermore, under certain conditions, we obtain the half-exactness and Bott periodicity of Ext _u (A, ·).     

Extending involutions on Frobenius algebras

 Let A be a central simple algebra of degree n over a field of characteristic different from 2 and let B ? A be a maximal commutative subalgebra. We show that if there is an involution on A that preserves B and such that the socle of each local component of B is a homogeneous C ₂ -module for this action, then B is a Frobenius algebra. For a fixed commutative Frobenius algebra B of finite dimension n equipped with an involution σ, we characterize the central simple algebras A of degree n that contain B and carry involutions extending σ. Received: 29 October 2001 / Revised version: 2 February 2002