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.     

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 .     

Effect Algebras as Presheaves on Finite Boolean Algebras

For an effect algebra A, we examine the category of all morphisms from finite Boolean algebras into A. This category can be described as a category of elements of a presheaf R(A) on the category of finite Boolean algebras. We prove that some properties (being an orthoalgebra, the Riesz decomposition property, being a Boolean algebra) of an effect algebra A can be characterized in terms of some properties of the category of elements of the presheaf R(A). We prove that the tensor product of effect algebras arises as a left Kan extension of the free product of finite Boolean algebras along the inclusion functor. The tensor product of effect algebras can be expressed by means of the Day convolution of presheaves on finite Boolean algebras.     

Minimally generated Boolean algebras

We introduce the class of minimally generated Boolean algebras, i.e. those algebras representable as the union of a continuous well-ordered chain of subalgebras A ₁ where A _i+1 is a minimal extension of A _i. Minimally generated algebras are closely related to interval algebras and superatomic algebras.     

An Equivalence of Two Categories of sl(n,C)-Modules

We prove that the following two categories of sl(n,C)-modules are equivalent: (1) the category of modules with integral support filtered by submodules of Verma modules and complete with respect to Enright's completion functor; (2) the category of all subquotients of modules FM, where F is a finite-dimensional module and M is a fixed simple generic Gelfand–Zetlin module with integral central character. Our proof is based on an explicit construction of an equivalence which, additionally, commutes with translation functors. Finally, we describe some applications of this both to certain generalizations of the category O and to Gelfand–Zetlin modules.     

Embeddings of Banach Spaces Into Banach Lattices and the Gordon–Lewis Property

In this paper we first show that if X is a Banach space and is a left invariant crossnorm on lX, then there is a Banach lattice L and an isometric embedding J of X into L, so that I J becomes an isometry of lX onto l_m J(X). Here I denotes the identity operator on l and l_m J(X) the canonical lattice tensor product. This result is originally due to G. Pisier (unpublished), but our proof is different. We then use this to prove the main results which characterize the Gordon–Lewis property GL and related structures in terms of embeddings into Banach lattices.     

Free Boolean algebras over unions of two well orderings

Given a partially ordered set P there exists the most general Boolean algebra which contains P as a generating set, called the free Boolean algebra over P. We study free Boolean algebras over posets of the form P=P₀∪P₁, where P₀, P₁ are well orderings. We call them nearly ordinal algebras.Answering a question of Maurice Pouzet, we show that for every uncountable cardinal κ there are κ² pairwise non-isomorphic nearly ordinal algebras of cardinality κ.Topologically, free Boolean algebras over posets correspond to compact 0-dimensional distributive lattices. In this context, we classify all closed sublattices of the product (ω₁+1)×(ω₁+1), showing that there are only ℵ₁ many types. In contrast with the last result, we show that there are ℵ₁² topological types of closed subsets of the Tikhonov plank (ω₁+1)×(ω+1).     

On the normal completion of a Boolean algebra

A familiar construction for a Boolean algebra A is its normal completion, given by its normal ideals or, equivalently, the intersections of its principal ideals, together with the embedding taking each element of A to its principal ideal. In the classical setting of Zermelo-Fraenkel set theory with Choice, is characterized in various ways; thus, it is the unique complete extension of A in which the image of A is join-dense, the unique essential completion of A, and the injective hull of A.Here, we are interested in characterizing the normal completion in the constructive context of an arbitrary topos. We show among other things that it is, even at this level, the unique join-dense, or alternatively, essential completion. En route, we investigate the functorial properties of and establish that it is the reflection of A, in the category of Boolean homomorphisms which preserve all existing joins, to the complete Boolean algebras. In this context, we make crucial use of the notion of a skeletal frame homomorphism.     

Differential geometry of tensor product immersions II

In the first part of this series, we prove that the tensor product immersionf ₁ f _2k of2k isometric spherical immersions of a Riemannian manifoldM in Euclidean space is of-type with k and classify tensor product immersionsf ₁ f _2k which are ofk-type. In this article we investigate the tensor product immersionsf ₁ f _2k which are of (k+1)-type. Several classification theorems are obtained.     

On tensor products of Banach lattices

Using techniques from harmonic analysis (more specifically Varopoulos' theory of tensor algebras) we study some tensor products of Banach lattices. Our main result is that if the Banach latticeB satisfies a certain additional property, the Gillespie factorization property, then a natural quotient of the spaceB^B is anL ^l-space, and we identify the kernel of this quotient map.     

Localizations of Transfors

Let be n-dimensional teisi, i.e., higher-dimensional Gray-categorical structures. The following questions can be asked. Does a left q-transfor , i.e., a functor 2 _q , induce a right q-transfor , i.e., a functor More generally, does a functor induce a functor For k-arrows c and whose (k – 1)-sources and targets agree, does a q-transfor induce a q-transfor , for appropriate k-arrows For k-arrows c and whose (k – 1)-sources and targets agree, does a q-transfor induce a (q + k + 1)-transfor , for appropriate k-arrows I give answers to these questions in the cases where n-dimensional teisi and their tensor product have been defined, i.e., for n 3, and for n up to 5 in some cases that do not need all data and axioms of n-dimensional teisi.I apply the above to compositions in teisi, in particular to braidings and syllepses. One of the results is that a braiding on a monoidal 2-category induces a pseudo-natural transformation , where is the reverse of ? –, which is almost, but not quite, equal to – ?. However, in higher dimensions need not be reversible, so a braiding on a higher-dimensional tas can not be seen as a transfor A B B A.     

The algebraic theory of torsion. II: Products

The algebraic K-theory product K ₀(A) K ₁ B K ₁(A B) for rings A, B is given a chain complex interpretation, using the absolute torsion invariant introduced in Part I. Given a finitely dominated A-module chain complex C and a round finite B-module chain complex D, it is shown that the A B-module chain complex C D has a round finite chain homotopy structure. Thus, if X is a finitely dominated CW complex and Y is a round finite CW complex, the product X × Y is a CW complex with a round finite homotopy structure.     

The semilattice tensor product of projective distributive lattices

Grant A. Fraser defined the semilattice tensor productA ⊗B of distributive latticesA, B and showed that it is a distributive lattice. He proved that ifA ⊗B is projective then so areA andB, that ifA andB are finite and projective thenA ⊗B is projective, and he gave two infinite projective distributive lattices whose semilattice tensor product is not projective. We extend these results by proving that ifA andB are distributive lattices with more than one element thenA ⊗B is projective if and only if bothA andB are projective and both have a greatest element. Presented by W. Taylor.     

Normality preserving multiplication operators

We show that a multiplication operator (T)=ATB is normality preserving if and only if it is hyponormality preserving, if and only if it is either of the formA=fg,B=h f, orA=D,B=D* for someC andD* D=I. Also we show that is (semi-) Fredholmness prserving if and only ifA andB are (semi-) Fredholm operators.Supported by the Science Foundation of Zhejiang Province and NSF.     

A classifying space forK 1 (X, R) and extensions to Hilbert modules

In this paper we show that the self-adjoint Fredholm operators in a type II factor form a classifying space forK ¹ (X) R for X a compact Hausdorff space. We also extend this result to the standard Hilbert module over a simple, purely infinite C^*-algebra which is either unital or has a countable approximate identity consisting of projections.     

Skew Boolean algebras derived from generalized Boolean algebras

Every skew Boolean algebra S has a maximal generalized Boolean algebra image given by S/ where is the Green’s relation defined initially on semigroups. In this paper we study skew Boolean algebras constructed from generalized Boolean algebras B by a twisted product construction for which . In particular we study the congruence lattice of with an eye to viewing as a minimal skew Boolean cover of B. This construction is the object part of a functor from the category GB of generalized Boolean algebras to the category LSB of left-handed skew Boolean algebras. Thus we also look at its left adjoint functor . This paper was written while the second author was a Visiting Professor in the Department of Education at the University of Cagliari. The facilities and assistance provided by the University and by the Department are gratefully acknowledged.     

Greene-Kleitman's theorem for infinite posets

It is proved that if (P) is a poset with no infinite chain and k is a positive integer, then there exist a partition of P into disjoint chains C _i and disjoint antichains A ₁, A ₂, ..., A _k, such that each chain C _i meets min (k, |C _i|) antichains A _j. We make a dual conjecture, for which the case k=1 is: if (P) is a poset with no infinite antichain, then there exist a partition of P into antichains A _i and a chain C meeting all A _i. This conjecture is proved when the maximal size of an antichain in P is 2.     

The space of minimal prime ideals in a 0-distributive semilattice

LetS be a 0-distributive semilattice and be its minimal spectrum. It is shown that is Hausdorff. The compactness of has been characterized in several ways. A representation theorem (like Stone's theorem for Boolean algebras) for disjunctive, 0-distributive semilattices is obtained.