Polynomial identities and noncommutative versal torsors

To any cleft Hopf Galois object, i.e., any algebra obtained from a Hopf algebra H by twisting its multiplication with a two-cocycle α, we attach two “universal algebras” and . The algebra is obtained by twisting the multiplication of H with the most general two-cocycle σ formally cohomologous to α. The cocycle σ takes values in the field of rational functions on H. By construction, is a cleft H-Galois extension of a “big” commutative algebra . Any “form” of can be obtained from by a specialization of and vice versa. If the algebra is simple, then is an Azumaya algebra with center . The algebra is constructed using a general theory of polynomial identities that we set up for arbitrary comodule algebras; it is the universal comodule algebra in which all comodule algebra identities of are satisfied. We construct an embedding of into ; this embedding maps the center of into when the algebra is simple. In this case, under an additional assumption, , thus turning into a central localization of . We completely work out these constructions in the case of the four-dimensional Sweedler algebra.     

On duality between étale groupoids and Hopf algebroids

For any étale Lie groupoid G over a smooth manifold M, the groupoid convolution algebra of smooth functions with compact support on G has a natural coalgebra structure over the commutative algebra which makes it into a Hopf algebroid. Conversely, for any Hopf algebroid A over we construct the associated spectral étale Lie groupoid over M such that is naturally isomorphic to G. Both these constructions are functorial, and is fully faithful left adjoint to . We give explicit conditions under which a Hopf algebroid is isomorphic to the Hopf algebroid of an étale Lie groupoid G.     

Quantifications des algèbres de Hopf d'arbres plans décorés et lien avec les groupes quantiques

We introduce a functor from the category of braided spaces into the category of braided Hopf algebras which associates to a braided space V a braided Hopf algebra of planar rooted trees . We show that the Nichols algebra of V is a subquotient of . We construct a Hopf pairing between and , generalising one of the results of [Bull. Sci. Math. 126 (2002) 193-239]. When the braiding of c is given by c(v_i⊗v_j)=q_i,jv_j⊗v_i, we obtain a quantification of the Hopf algebras introduced in [Bull. Sci. Math. 126 (2002) 193-239; 126 (2002) 249-288]. When q_i,j=q^a_i,j, with q an indeterminate and (a_i,j)_i,j the Cartan matrix of a semi-simple Lie algebra , then is a subquotient of . In this case, we construct the crossed product of with a torus and then the Drinfel'd quantum double of this Hopf algebra. We show that is a subquotient of .     

Elliptic Lie algebras and tubular algebras

This article is to study relations between tubular algebras of Ringel and elliptic Lie algebras in the sense of Saito-Yoshii. Using the explicit structure of the derived categories of tubular algebras given by Happel-Ringel, we prove that the elliptic Lie algebra of type , , or is isomorphic to the Ringel-Hall Lie algebra of the root category of the tubular algebra with the same type. As a by-product of our proof, we obtain a Chevalley basis of the elliptic Lie algebra following indecomposable objects of the root category of the corresponding tubular algebra. This can be viewed as an analogue of the Frenkel-Malkin-Vybornov theorem in which they described a Chevalley basis for each untwisted affine Kac-Moody Lie algebra by using indecomposable representations of the corresponding affine quiver.     

Functor category dualities for varieties of Heyting algebras

Let be a finitely generated variety of Heyting algebras and let be the class of subdirectly irreducible algebras in . We prove that is dually equivalent to a category of functors from into the category of Boolean spaces. The main tool is the theory of multisorted natural dualities.     

Non-linear numerical radius isometries on atomic nest algebras and diagonal algebras

A nonlinear map φ between operator algebras is said to be a numerical radius isometry if w(φ(T−S))=w(T−S) for all T, S in its domain algebra, where w(T) stands for the numerical radius of T. Let and be two atomic nests on complex Hilbert spaces H and K, respectively. Denote the nest algebra associated with and the diagonal algebra. We give a thorough classification of weakly continuous numerical radius isometries from onto and a thorough classification of numerical radius isometries from onto .     

A new construction of vertex algebras and quasi-modules for vertex algebras

In this paper, a new construction of vertex algebras from more general vertex operators is given and a notion of quasimodule for vertex algebras is introduced and studied. More specifically, a notion of quasilocal subset(space) of for any vector space W is introduced and studied, generalizing the notion of usual locality in the most possible way, and it is proved that on any maximal quasilocal subspace there exists a natural vertex algebra structure and that any quasilocal subset of generates a vertex algebra. Furthermore, it is proved that W is a quasimodule for each of the vertex algebras generated by quasilocal subsets of . A notion of Γ-vertex algebra is also introduced and studied, where Γ is a subgroup of the multiplicative group C^× of nonzero complex numbers. It is proved that any maximal quasilocal subspace of is naturally a Γ-vertex algebra and that any quasilocal subset of generates a Γ-vertex algebra. It is also proved that a Γ-vertex algebra exactly amounts to a vertex algebra equipped with a Γ-module structure which satisfies a certain compatibility condition. Finally, two families of examples are given, involving twisted affine Lie algebras and certain quantum torus Lie algebras.     

Etingof-Kazhdan quantization of Lie superbialgebras

For every semi-simple Lie algebra g one can construct the Drinfeld-Jimbo algebra . This algebra is a deformation Hopf algebra defined by generators and relations. To study the representation theory of , Drinfeld used the KZ-equations to construct a quasi-Hopf algebra Ag. He proved that particular categories of modules over the algebras and Ag are tensor equivalent. Analogous constructions of the algebras and Ag exist in the case when g is a Lie superalgebra of type A-G. However, Drinfeld's proof of the above equivalence of categories does not generalize to Lie superalgebras. In this paper, we will discuss an alternate proof for Lie superalgebras of type A-G. Our proof utilizes the Etingof-Kazhdan quantization of Lie (super)bialgebras. It should be mentioned that the above equivalence is very useful. For example, it has been used in knot theory to relate quantum group invariants and the Kontsevich integral.     

Quadri-algebras

We introduce the notion of quadri-algebras. These are associative algebras for which the multiplication can be decomposed as the sum of four operations in a certain coherent manner. We present several examples of quadri-algebras: the algebra of permutations, the shuffle algebra, tensor products of dendriform algebras. We show that a pair of commuting Baxter operators on an associative algebra gives rise to a canonical quadri-algebra structure on the underlying space of the algebra. The main example is provided by the algebra of linear endomorphisms of an infinitesimal bialgebra A. This algebra carries a canonical pair of commuting Baxter operators: and , where ∗ denotes the convolution of endomorphisms. It follows that is a quadri-algebra, whenever A is an infinitesimal bialgebra. We also discuss commutative quadri-algebras and state some conjectures on the free quadri-algebra.     

A note on maximality of analytic crossed products

Let G be a compact abelian group with the totally ordered dual group which admits the positive semigroup . Let N be a von Neumann algebra and be an automorphism group of on N. We denote to the analytic crossed product determined by N and α. We show that if is a maximal σ-weakly closed subalgebra of , then induces an archimedean order in .