Separable Bimodules and Approximation

Using approximations, we give several characterizations of separability of bimodules. We also discuss how separability properties can be used to transfer some representation theoretic properties from one ring to another: contravariant finiteness of the subcategory of (finitely generated) left modules with finite projective dimension, finitistic dimension, finite representation type, Auslander algebra, tame or wild representation type. Presented by A. VerschorenMathematics Subjects Classifications (2000) 16L60, 16H05, 16G10.Research supported by the bilateral project BIL99/43 “New computational, geometric and algebraic methods applied to quantum groups and diffferential operators” of the Flemish and Chinese governments.     

Hopf Bimodules, Coquasibialgebras, and an Exact Sequence of Kac

Based on the ideas of Tannaka-Kre?n reconstruction, we present a categorical construction that assigns to any cleft Hopf algebra inclusion K⊂H a coquasibialgebra having K* as a Hopf subalgebra. As a special case, the construction gives an intrinsic connection between the bismash product K#Q and the double cross- product Q?K* constructed from the same combinatorial data. A cocommutative coquasibialgebra is the same as a cocommutative bialgebra equipped with a Sweedler three-cocycle. Thus our construction assigns to every bicrossproduct (or Hopf algebra extension) of a commutative and a cocommutative factor a corresponding cocommutative double crossproduct equipped with a Sweedler three-cocycle. Based on this observation we use the construction to prove generalizations of Kac's exact sequence for the group of Hopf algebra extensions of a group algebra by a dual group algebra.     

Bimodules associated to vertex operator superalgebras

Let V be a vertex operator superalgebra and m,n ∈ 21Z . We construct an An(V ) -Am(V )-bimodule An,m(V ) which characterizes the action of V from the level m subspace to level n subspace of an admissible V -module. We also construct the Verma type admissible V -module from an Am(V )-module by using bimodules     

Cohomology Theories of Hopf Bimodules and Cup-Product

Given a Hopf algebra A, there exist various cohomology theories for the category of Hopf bimodules over A, introduced by M. Gerstenhaber and S. D. Schack, and by C. Ospel. We prove, when A is finite-dimensional, that they are all equal to the Ext functor on the module category of an associative algebra associated to A, described by C. Cibils and M. Rosso. We also give an expression for a cup-product in the cohomology defined by C. Ospel, and prove that it corresponds to the Yoneda product of extensions.     

Braidings on the Category of Bimodules,Azumaya Algebras and Epimorphisms of Rings

Let A be an algebra over a commutative ring k. We prove that braidings on the category of A-bimodules are in bijective correspondence to canonical R-matrices, these are elements in A???A???A satisfying certain axioms. We show that all braidings are symmetries. If A is commutative, then there exists a braiding on ${}_A\mathcal{M}_A$ if and only if k→A is an epimorphism in the category of rings, and then the corresponding R-matrix is trivial. If the invariants functor $G = (-)^A:\ {}_A\mathcal{M}_A\to \mathcal{M}_k$ is separable, then A admits a canonical R-matrix; in particular, any Azumaya algebra admits a canonical R-matrix. Working over a field, we find a remarkable new characterization of central simple algebras: these are precisely the finite dimensional algebras that admit a canonical R-matrix. Canonical R-matrices give rise to a new class of examples of simultaneous solutions for the quantum Yang–Baxter equation and the braid equation.     

Explicit Equivalence Bimodules for Rotation Algebras

The C*-algebras associated with irrational rotations are Morita equivalent if and only if the rotation parameters belong to the same orbit under the action of GL(2, Z). In this note, we suggest explicit type II representations such that the bimodule is dense in the corresponding Hilbert space. Bibliography: 4 titles. __________ Published in Zapiski Nauchnykh Seminarov POMI, Vol. 307, 2004, pp. 175–188.     

Bimodules associated to vertex operator algebras

Let V be a vertex operator algebra and m, n ≥ 0. We construct an A _n (V)-A _m (V)-bimodule A _n,m (V) which determines the action of V from the level m subspace to level n subspace of an admissible V-module. We show how to use A _n,m (V) to construct naturally admissible V-modules from A _m (V)-modules. We also determine the structure of A _n,m (V) when V is rational. Chongying Dong was supported by NSF grants, China NSF grant 10328102 and a Faculty research grant from the University of California at Santa Cruz. Cuipo Jiang was supported in part by China NSF grant 10571119.     

Twisted Bimodules and Hochschild Cohomology for Self-injective Algebras of Class A n , II

Up to derived equivalence, the representation-finite self-injective algebras of class A _n are divided into the wreath-like algebras (containing all Brauer tree algebras) and the Möbius algebras. In Part I (Forum Math. 11 (1999), 177–201), the ring structure of Hochschild cohomology of wreath-like algebras was determined, the key observation being that kernels in a minimal bimodule resolution of the algebras are twisted bimodules. In this paper we prove that also for Möbius algebras certain kernels in a minimal bimodule resolution carry the structure of a twisted bimodule. As an application we obtain detailed information on subrings of the Hochschild cohomology rings of Möbius algebras.     

Strong-principal Bimodules of Jacobson Radical of CSL Algebras

Ｓｔｒｏｎｇ－ｐｒｉｎｃｉｐａｌＢｉｍｏｄｕｌｅｓｏｆＪａｃｏｂｓｏｎＲａｄｉｃａｌ　ｏｆＣＳＬＡｌｇｅｂｒａｓＺｈｕＪｕｎ（朱军）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＨｕｂｅｉＩｎｓｔｉｔｕｔｅｆｏｒＭａｔｉｏｎａｌｉｔｉｅｓ，Ｅｎｓ...     

Analysis in space-time bundles,II. The spinor and form bundles

The structures of the spin and form bundles over the universal cosmos M?, and their relations with corresponding bundles over the Minkowski space M₀ canonically imbedded in M?, are treated. Wave equations covariant with respect to the causal group G of M? are studied, their solution manifolds and other stable (essentially positive-energy) invariant subspaces of the section spaces of the bundles are determined, and the indecomposability of relevant invariant subspace chains is shown. Explicit parallelizations of the bundles are applied to the Dirac and Maxwell equations on M?. A basis for spinor fields that diagonalizes a complete set of K?-covariant quantum numbers (K? = maximal essentially compact subgroup of G?) is developed. Local multilinear invariants of bundles over M? are treated and specialized to convergent mathematical versions of the Fermi and Yukawa interaction Lagrangians that are G?-invariant for the appropriate conformal weights.     

Non-Abelian Cohomology with Coefficients in Crossed Bimodules

When the coefficients are crossed bimodules, Guin's non-abelian cohomology [2], [3] is extended in dimensions 1 and 2, and a nine-term exact cohomology sequence is obtained.     

Bisets as Categories and Tensor Product of Induced Bimodules

Bisets can be considered as categories. This note uses this point of view to give a simple proof of a Mackey-like formula expressing the tensor product of two induced bimodules.     

Applications of Operator Space Theory to Nest Algebra Bimodules

Recently, Blecher and Kashyap have generalized the notion of W ^*-modules over von Neumann algebras to the setting where the operator algebras are σ closed algebras of operators on a Hilbert space. They call these modules weak* rigged modules. We characterize the weak* rigged modules over nest algebras. We prove that Y is a right weak* rigged module over a nest algebra Alg(M){\rm{Alg}(\mathcal M)} if and only if there exists a completely isometric normal representation F{\Phi } of Y and a nest algebra Alg(N){\rm{Alg}(\mathcal N)} such that Alg(N) F(Y)Alg(M) ì F(Y){\rm{Alg}(\mathcal N) \Phi (Y)\rm{Alg}(\mathcal M)\subset \Phi (Y)} while F(Y){\Phi (Y)} is implemented by a continuous nest homomorphism from M{\mathcal M} onto N{\mathcal N} . We describe some properties which are preserved by continuous CSL homomorphisms.     

Bialgebras Over Noncommutative Rings and a Structure Theorem for Hopf Bimodules

It is a key property of bialgebras that their modules have a natural tensor product. More precisely, a bialgebra over k can be characterized as an algebra H whose category of modules is a monoidal category in such a way that the underlying functor to the category of k-vector spaces is monoidal (i.e. preserves tensor products in a coherent way). In the present paper we study a class of algebras whose module categories are also monoidal categories; however, the underlying functor to the category of k-vector spaces fails to be monoidal. Instead, there is a suitable underlying functor to the category of B-bimodules over a k-algebra B which is monoidal with respect to the tensor product over B. In other words, we study algebras L such that for two L-modules V and W there is a natural tensor product, which is the tensor product V_BW over another k-algebra B, equipped with an L-module structure defined via some kind of comultiplication of L. We show that this property is characteristic for ×_B-bialgebras as studied by Sweedler (for commutative B) and Takeuchi. Our motivating example arises when H is a Hopf algebra and A an H-Galois extension of B. In this situation, one can construct an algebra L:=L(A,H), which was previously shown to be a Hopf algebra if B=k. We show that there is a structure theorem for relative Hopf bimodules in the form of a category equivalence . The category on the left hand side has a natural structure of monoidal category (with the tensor product over A) which induces the structure of a monoidal category on the right hand side. The ×_B-bialgebra structure of L that corresponds to this monoidal structure generalizes the Hopf algebra structure on L(A,H) known for B=k. We prove several other structure theorems involving L=L(A,H) in the form of category equivalences .     

Bimodules in crossed products of von Neumann algebras

In this paper, we study bimodules over a von Neumann algebra M   in the context of an inclusion M⊆M_?αG$M\subseteq M{?}_{\alpha }G$, where G is a discrete group acting on a factor M by outer ?-automorphisms. We characterize the M  -bimodules X⊆M_?αG$X\subseteq M{?}_{\alpha }G$ that are closed in the Bures topology in terms of the subsets of G  . We show that this characterization also holds for w^?$w^{?}$-closed bimodules when G has the approximation property (AP  ), a class of groups that includes all amenable and weakly amenable ones. As an application, we prove a version of Mercer's extension theorem for certain w^?$w^{?}$-continuous surjective isometric maps on X.