Un théorème de Cartier-Milnor-Moore-Quillen pour les bigèbres dendriformes et les algèbres braces

The classical theorem of Cartier-Milnor-Moore-Quillen gives an equivalence between the category of connected cocommutative bialgebras and the category of Lie algebras. We establish an analogous equivalence between the category of connected dendriform bialegebras and the category of brace algebras. It is given by the primitive elements functor and the “enveloping dendriform algebra” of a brace algebra.     

Classification of arithmetic root systems

Arithmetic root systems are invariants of Nichols algebras of diagonal type with a certain finiteness property. They can also be considered as generalizations of ordinary root systems with rich structure and many new examples. On the other hand, Nichols algebras are fundamental objects in the construction of quantized enveloping algebras, in the noncommutative differential geometry of quantum groups, and in the classification of pointed Hopf algebras by the lifting method of Andruskiewitsch and Schneider. In the present paper arithmetic root systems are classified in full generality. As a byproduct many new finite dimensional pointed Hopf algebras are obtained.     

On the automorphisms of quantum Weyl algebras

Motivated by Weyl algebra analogues of the Jacobian conjecture and the tame generators problem, we prove quantum versions of these problems for a family of analogues to the Weyl algebras. In particular, our results cover the Weyl–Hayashi algebras and tensor powers of a quantization of the first Weyl algebra which arises as a primitive factor algebra of $U_q^{+}({\mathfrak{so}}_5)$.     

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 .     

Quantizations of Kac–Moody algebras

We analyze the extent to which a quantum universal enveloping algebra of a Kac–Moody algebra g$\mathfrak{g}$ is defined by multidegrees of its defining relations. To this end, we consider a class of character Hopf algebras defined by the same number of defining relations of the same degrees as the Kac–Moody algebra g$\mathfrak{g}$. We demonstrate that if the generalized Cartan matrix A$A$ of g$\mathfrak{g}$ is connected then the algebraic structure, up to a finite number of exceptional cases, is defined by just one “continuous” parameter q$q$ related to a symmetrization of A$A$, and one “discrete” parameter m$\mathfrak{m}$ related to the modular symmetrizations of A$A$. The Hopf algebra structure is defined by n(n−1)/2$n(n-1)/2$ additional “continuous” parameters. We also consider the exceptional cases for Cartan matrices of finite or affine types in more detail, establishing the number of exceptional parameter values in terms of the Fibonacci sequence.     

Quantum homogeneous spaces,duality and quantum 2-spheres

For a quantum groupG the notion of quantum homogeneousG-space is defined. Two methods to construct such spaces are discussed. The first one makes use of quantum subgroups, the second more general one is based upon the notion of infinitesimal invariance with respect to certain two-sided coideals in the Hopf algebra dual to the Hopf algebra ofG. These methods are applied to the quantum group SU(2). As two-sided coideals we take the subspaces spanned by twisted primitive elements in the sl(2) quantized universal enveloping algebra. A one-parameter series of mutually non-isomorphic quantum 2-spheres is obtained, together with the spectral decomposition of the corresponding right regular representation of quantum SU(2). The link with the quantum spheres defined by Podle is established.     

Some properties of sharp Hessenberg pairs

Let F denote a field and let V denote a vector space over F with finite positive dimension. We consider an ordered pair of F-linear transformations A:V→V and A^∗:V→V that satisfy the following conditions: (i) each of A,A^∗ is diagonalizable on V; (ii) there exists an ordering of the eigenspaces of A such that A^∗V_i⊆V₀+V₁+?+V_i+1 for 0?i?d, where V_-1:=0 and V_d+1:=0; (iii) there exists an ordering of the eigenspaces of A^∗ such that for 0?i?δ, where and . We call such a pair a Hessenberg pair on V. It is known that if the Hessenberg pair A,A^∗ on V is irreducible then d=δ and for 0?i?d the dimensions of V_i and coincide. We say a Hessenberg pair A,A^∗ on V is sharp whenever it is irreducible and .In this paper, we give the definitions of a Hessenberg system and a sharp Hessenberg system. We discuss the connection between a Hessenberg pair and a Hessenberg system. We also define a finite sequence of scalars called the parameter array for a sharp Hessenberg system, which consists of the eigenvalue sequence, the dual eigenvalue sequence and the split sequence. We calculate the split sequence of a sharp Hessenberg system. We show that a sharp Hessenberg pair is a tridiagonal pair if and only if there exists a nonzero nondegenerate bilinear form on V that satisfies 〈Au,v〉=〈u,Av〉 and 〈A^∗u,v〉=〈u,A^∗v〉 for all u,v∈V.     

On the defining relations for generalized q-Schur algebras

We show that the defining relations needed to describe a generalized q-Schur algebra as a quotient of a quantized enveloping algebra are determined completely by the defining ideal of a certain finite affine variety, the points of which correspond bijectively to the set of weights. This explains, unifies, and extends previous results.     

Representations of twisted current algebras

We use evaluation representations to give a complete classification of the finite-dimensional simple modules of twisted current algebras. This generalizes and unifies recent work on multiloop algebras, current algebras, equivariant map algebras, and twisted forms.     

Sur la théorie locale des pseudogroupes de transformations continus infinis I

Sans résumé

---

Re?u le 20 octobre 1995 / Version revisée re?ue le 29 mai 1996     

Cohomological properties of the quantum shuffle product and application to the construction of quasi-Hopf algebras

For a commutative algebra the shuffle product is a morphism of complexes. We generalize this result to the quantum shuffle product, associated to a class of non-commutative algebras (for example all the Hopf algebras). As a first application we show that the Hochschild-Serre identity is the dual statement of our result. In particular, we extend this identity to Hopf algebras. Secondly, we clarify the construction of a class of quasi-Hopf algebras.     

Homologie des quotients primitifs de l'algèbre enveloppante de 483-1483-1483-1

Sans résumé

---

     

Dualité dans l’espace des caractères virtuels tempérés d’un groupe réductif <Emphasis Type="Italic">p</Emphasis>-adique

Résumé We define an involution on the set of tempered virtual characters of a connected reductive p-adic group. This involution commutes with character of parabolic induction and with truncation. It also preserves the irreducible characters up to sign and the elliptic inner product.     

Equivalence between the Morita categories of étale Lie groupoids and of locally grouplike Hopf algebroids

Any étale Lie groupoid G is completely determined by its associated convolution algebra C_c^∞(G) equipped with the natural Hopfalgebroid structure. We extend this result to the generalized morphisms between étale Lie groupoids: we show that any principal H-bundle P over G is uniquely determined by the associated C_c^∞(G)-C_c^∞(H)-bimodule C_c^∞(P) equipped with the natural coalgebra structure. Furthermore, we prove that the functor C_c^∞gives an equivalence between the Morita category of étale Lie groupoids and the Morita category of locally grouplike Hopf algebroids.     

Examples of quantum cluster algebras associated to partial flag varieties

We give several explicit examples of quantum cluster algebra structures, as introduced by Berenstein and Zelevinsky, on quantized coordinate rings of partial flag varieties and their associated unipotent radicals. These structures are shown to be quantizations of the cluster algebra structures found on the corresponding classical objects by Geiß, Leclerc and Schröer, whose work generalizes that of several other authors. We also exhibit quantum cluster algebra structures on the quantized enveloping algebras of the Lie algebras of the unipotent radicals.     

Position dependent non-linear Schrödinger hierarchies: Involutivity, commutation relations, renormalisation and classical invariants

We consider a family of explicitly position dependent hierarchies , containing the NLS (non-linear Schrödinger) hierarchy. All are involutive and fulfill DIn=nIn−1, where D=D⁻¹V₀, V₀ being the Hamiltonian vector field afforded by the common ground state I₀=uv. The construction requires renormalisation of certain function parameters.It is shown that the ‘quantum space’ C[I₀,I₁,…] projects down to its classical counterpart C[p], with p=I₁/I₀, the momentum density. The quotient is the kernel of D. It is identified with classical semi-invariants for forms in two variables.     

Applications of stratifying systems to the finitistic dimension

Given an Ext-injective stratifying system of Λ-modules satisfying that the projective dimension of Y is finite, we prove that the finitistic dimension of the algebra Λ is equal to the finitistic dimension of the category . Moreover, using the theory of stratifying systems we obtain bounds for the finitistic dimension of Λ. In particular, we get the optimal bound 2n-2 for the finitistic dimension of a standardly stratified algebra with n simples.     

Hopf algebras constructed by the FRT-construction

Given any bialgebra A and a braiding product 〈|〉 on A, a bialgebra U_〈|〉 was constructed in [R. Larson, J. Towber, Two dual classes of bialgebras related to the concepts of “quantum group” and “quantum Lie algebra”, Comm. Algebra 19 (1991) 3295-3345], contained in the finite dual of A. This construction generalizes a (not very well known) construction of Fadeev, Reshetikhin and Takhtajan [L.D. Faddeev, N.Yu. Reshetikhin, L.A. Takhtajan, Quantum Groups. Braid Group, Knot Theory and Statistical Mechanics, in: Adv. Ser. Math. Phys., vol. 9, World Sci. Publishing, Teaneck, NJ, 1989, pp. 97-110]. In the present paper it is proved that when U_〈|〉 is finite-dimensional (even if A is not), then it is a quasitriangular Hopf algebra.