On absolute valued algebras with involution

Let A be an absolute valued algebra with involution, in the sense of Urbanik [K. Urbanik, Absolute valued algebras with an involution, Fund. Math. 49 (1961) 247-258]. We prove that A is finite-dimensional if and only if the algebra obtained by symmetrizing the product of A is simple, if and only if eA_s = A_s, where e denotes the unique nonzero self-adjoint idempotent of A, and A_s stands for the set of all skew elements of A. We determine the idempotents of A, and show that A is the linear hull of the set of its idempotents if and only if A is equal to either McClay’s algebra [A.A. Albert, A note of correction, Bull. Amer. Math. Soc. 55 (1949) 1191], the para-quaternion algebra, or the para-octonion algebra. We also prove that, if A is infinite-dimensional, then it can be enlarged to an absolute valued algebra with involution having a nonzero idempotent different from the unique nonzero self-adjoint idempotent.     

Characterizations of isomorphisms and derivations of some algebras

Let ? be a zero-product preserving bijective bounded linear map from a unital algebra A onto a unital algebra B such that ?(1)=k. We show that if A is a CSL algebra on a Hilbert space or a J-lattice algebra on a Banach space then there exists an isomorphism ψ from A onto B such that ?=kψ. For a nest algebra A in a factor von Neumann algebra, we characterize the linear maps on A such that δ(x)y+xδ(y)=0 for all x,y∈A with xy=0.     

Generalized Smash Products

In this paper．we study the ring #(D．B)and obtain two very interesting results. First we prove in Theorem 3 that the category of rational left BU-modules is equivalent to both the category of #-rational left modules and the category of all(B．D)-Hopf modules BM^D．Cai and Chen have proved this result in the case B=D=A．Secondly they have proved that if A has a nonzero left integral then A#A^*rat is a dense subring of Endk(A)．We prove that #(A,A) is a dense subring of Endk(Q),where Q is a certain subspace of #(A．A)under the condition that the antipode is bijective(see Theorem18).This condition is weaker than the condition that A has a nonzero integral.It is well known the antipode is bijective in case A has a nonzero integral．Furthermore if A has nonzero left integral,Q can be chosen to be A(see Corollary 19)and #(A,A)is both left and right primitive.Thus A#A^*rat #(A,A)-Endk(A)．Moreover we prove that the left singular ideal of the ring #(A,A)is zero．A corollary of this is a criterion for A with nonzero left integral to be finite-dimensional,namely the ring #(A,A)has a finite uniform dimension．     

Picard Groups of Rings of Coinvariants

Let k be a field, H a Hopf k-algebra with bijective antipode, A a right H-comodule algebra and C a Hopf algebra with bijective antipode which is also a right H-module coalgebra. Under some appropriate assumptions, and assuming that the set of grouplike elements G(A ⊗ C) of the coring A ⊗ C is a group, we show how to calculate, via an exact sequence, the Picard group of the subring of coinvariants in terms of the Picard group of A and various subgroups of G(A ⊗ C). Presented by: Claus Ringel.     

Subcoalgebras and endomorphisms of free Hopf algebras

For a matrix coalgebra C over some field, we determine all small subcoalgebras of the free Hopf algebra on C, the free Hopf algebra with a bijective antipode on C, and the free Hopf algebra with antipode S satisfying on C for some fixed d. We use this information to find the endomorphisms of these free Hopf algebras, and to determine the centers of the categories of Hopf algebras, Hopf algebras with bijective antipode, and Hopf algebras with antipode of order dividing 2d.     

Flatness of Noetherian Hopf algebras over coideal subalgebras

It is proved in the paper that a Noetherian residually finite-dimensional Hopf algebra H is a flat module over any right Noetherian right coideal subalgebra A. In the case when A is a Hopf subalgebra we get faithful flatness. These results are obtained by verifying the existence of classical quotient rings of A and H. It is also proved that the antipode of either right or left Noetherian residually finite-dimensional Hopf algebra is bijective. As a consequence, such a Hopf algebra is right and left Noetherian simultaneously.

     

Cyclic Homology of Hopf Comodule Algebras and Hopf Module Coalgebras

Abstract

In this paper we construct a cylindrical module A ? ? for an ?-comodule algebra A, where the antipode of the Hopf algebra ? is bijective. We show that the cyclic module associated to the diagonal of A ? ? is isomorphic with the cyclic module of the crossed product algebra A ? ?. This enables us to derive a spectral sequence for the cyclic homology of the crossed product algebra. We also construct a cocylindrical module for Hopf module coalgebras and establish a similar spectral sequence to compute the cyclic cohomology of crossed product coalgebras.     

Derivations on ideals in commutative AW*-algebras

LetA be a commutativeAW*-algebra.We denote by S(A) the *-algebra of measurable operators that are affiliated with A. For an ideal I in A, let s(I) denote the support of I. Let Y be a solid linear subspace in S(A). We find necessary and sufficient conditions for existence of nonzero band preserving derivations from I to Y. We prove that no nonzero band preserving derivation from I to Y exists if either Y ? Aor Y is a quasi-normed solid space. We also show that a nonzero band preserving derivation from I to S(A) exists if and only if the boolean algebra of projections in the AW*-algebra s(I)A is not σ-distributive.     

Faithfully Flat Hopf Bi-Galois Extensions

This article is devoted to faithfully flat Hopf bi-Galois extensions defined by Fischman, Montgomery, and Schneider. Let H be a Hopf algebra with bijective antipode. Given a faithfully flat right H-Galois extension A/R and a right H-comodule subalgebra C ? A such that A is faithfully flat over C, we provide necessary and sufficient conditions for the existence of a Hopf algebra W so that A/C is a left W-Galois extension and A a (W, H)-bicomodule algebra. As a consequence, we prove that if R = k, there is a Hopf algebra W such that A/C is a left W-Galois extension and A a (W, H)-bicomodule algebra if and only if C is an H-submodule of A with respect to the Miyashita–Ulbrich action.     

Covering spaces and the Galois theory of commutative Banach algebras

The principal result of this paper is that there is a bijective (functorial) correspondence between the projective separable extensions of a comutative Banach algebra A and the finite covering spaces of its maximal ideal space M(A). As a consequence, a full Galois theory for commutative Banach algebras is developed which is analogous to the (unramified) Galois theory of function fields on compact Riemann surfaces. In case M(A) is a reasonably “nice” space, its profinite fundamental group is identified as the automorphism group of the separable closure of A.     

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.     

On integrals and cointegrals for quasi-Hopf algebras

Using the theory of Frobenius algebras, we study how the antipode of a quasi-Hopf algebra H acts on the space of left and right integrals and cointegrals. We obtain formulas that allow us to find out the explicit form of the integrals and cointegrals for the Drinfeld double $D(H)$, in terms of the integrals and cointegrals of H. This leads to an answer to a conjecture made by Hausser and Nill at the end of the nineties.     

The global dimension of ω-smash coproducts

We mainly study the global dimension of ω-smash coproducts. We show that if H is a Hopf algebra with a bijective antipode S _H , and C _ω ? H denotes the ω-smash coproduct, then gl.dim(C _ω ? H) ≤ gl.dim(C) + gl.dim(H), where gl.dim(H) denotes the global dimension of H as a coalgebra.     

On radicals of module coalgebras

We introduce the notion of an idempotent radical class of module coalgebras over a bialgebra B. We prove that if R is an idempotent radical class of B-module coalgebras, then every B-module coalgebra contains a unique maximal B-submodule coalgebra in R. Moreover, a B-module coalgebra C is a member of R if, and only if, DB is in R for every simple subcoalgebra D of C. The collection of B-cocleft coalgebras and the collection of H-projective module coalgebras over a Hopf algebra H are idempotent radical classes. As applications, we use these idempotent radical classes to give another proofs for a projectivity theorem and a normal basis theorem of Schneider without assuming a bijective antipode.     

Quasi-diagonal C1-algebras

We consider perturbations of C¹-algebras by compact operators. We show that if A is a separable liminal algebra of operators on a separable Hilbert space, then it is a subalgebra of a compact perturbation of a block diagonal algebra.     

On factorial states of operator algebras

Results for the factorial state space of a C¹-algebra A which are analogous to results of 11., 12., 572–612),Tomiyama and Takesaki (Tohôku Math. J. (2) 13 (1961), 498–523) for the pure state space. It is shown that A is prime if and only if the (type I) factorial states are dense in the state space. It follows that every factorial state is a w¹-limit of type I factorial states. The factorial state space of a von Neumann algebra is determined, and it is shown that if A is unital and acts non-degenerately on a Hilbert space then the factorial state space of the generated von Neumann algebra restricts precisely to the factorial state space of A. It is shown that the set of factorial states is w¹-compact if and only if A is unital, liminal and has Hausdorff primitive ideal space.     

Invariant bilinear forms on a vertex algebra

In this paper we construct a linear space that parameterizes all invariant bilinear forms on a given vertex algebra with values in a arbitrary vector space. Also we prove that every invariant bilinear form on a vertex algebra is symmetric. This is a generalization of the result of Li (J. Pure Appl. Algebra 96(3) (1994) 279), who proved this for the case when the vertex algebra is non-negatively graded and has finite dimensional homogeneous components.As an application, we introduce a notion of a radical of a vertex algebra. We prove that a radical-free vertex algebra A is non-negatively graded, and its component A₀ of degree 0 is a commutative associative algebra, so that all structural maps and operations on A are A₀-linear. We also show that in this case A is simple if and only if A₀ is a field.     

Radford's biproduct for quasi-Hopf algebras and bosonization

Let B be a braided Hopf algebra (with bijective antipode) in the category of left Yetter-Drinfeld modules over a quasi-Hopf algebra H. As in the case of Hopf algebras (J. Algebra 92 (1985) 322), the smash product B#H defined in (Comm. Algebra 28(2) (2000) 631) and a kind of smash coproduct afford a quasi-Hopf algebra structure on B⊗H. Using this, we obtain the structure of quasi-Hopf algebras with a projection. Further we will use this biproduct to describe the Majid bosonization (J. Algebra 163 (1994) 165) for quasi-Hopf algebras.     

Lie algebras induced by a nonzero field derivation

Given a finite-dimensional associative commutative algebra A over a field F, we define the structure of a Lie algebra using a nonzero derivation D of A. If A is a field and charF > 3; then the corresponding algebra is simple, presenting a nonisomorphic analog of the Zassenhaus algebra W ₁(m).     

Maps preserving operator pairs whose products are projections

Let B(H) be the algebra of all bounded linear operators on a complex Hilbert space H with dimH?2. It is proved that a surjective map φ on B(H) preserves operator pairs whose products are nonzero projections in both directions if and only if there is a unitary or an anti-unitary operator U on H such that φ(A)=λU^∗AU for all A in B(H) for some constants λ with λ²=1. Related results for surjective maps preserving operator pairs whose triple Jordan products are nonzero projections in both directions are also obtained. These show that the operator pairs whose products or triple Jordan products are nonzero projections are isometric invariants of B(H).