Hopf代数的Kaplansky十大猜想的一些新进展

本文介绍了Hopf代数中众所周知的Kaplansky十大猜想及其进展.     

A quasi-Hopf algebra freeness theorem

We prove the quasi-Hopf algebra version of the Nichols-Zoeller theorem: A finite dimensional quasi-Hopf algebra is free over any quasi-Hopf subalgebra.

     

Some properties of semifinite tracial subalgebras

We obtained some characterizations of Jensen type inequalities in tracial subalgebras and gave some characterizations of subdiagonal algebras of semifinite von Neumann algebras.     

Right coideal subalgebras of the quantum Borel algebra of type

In this paper we describe the right coideal subalgebras containing all group-like elements of the multiparameter quantum group , where is a simple Lie algebra of type G₂, while the main parameter of quantization q is not a root of 1. If the multiplicative order t of q is finite, t>4, t≠6, then the same classification remains valid for homogeneous right coideal subalgebras of the positive part of the multiparameter version of the small Lusztig quantum group.     

A strong constructive version of engel's theorem

We examine two problems in the computational theory of Lie algebras. First, we prove a constructive version of Engel's theorem: if L is a finite-dimensional Lie algebra that is not nilpotent, we show how to construct an element x in L such that the linear transformation ad x is not nilpotent. No special assumptions about the underlying field are needed. Second, as an important application of the first result, we give an algorithm for the construction of a Cartan subalgebra of a finite-dimensional Lie algebra. This solves the problem of finding a totally constructive proof of the existence of a Cartan subalgebra, posed by Beck, Kolman, and Stewart in the paper "Computing the Structure of a Lie Algebra". Our proofs are ordinary mathematical proofs that do not employ the general law of excluded middle. The advantage of this approach to mathematics is that our proofs, which are not burdened or obscured by the details of a particular programming language, can nevertheless be routinely turned into computer programs     

Character tables and normal left coideal subalgebras

We continue studying properties of semisimple Hopf algebras H over algebraically closed fields of characteristic 0 resulting from their generalized character tables. We show that the generalized character table of H reflects normal left coideal subalgebras of H. These are the Hopf analogues of normal subgroups in the sense that they arise from Hopf quotients. We apply these ideas to prove Hopf analogues of known results in group theory. Among the rest we prove that columns of the character table are orthogonal and that all entries are algebraic integers. We analyze ‘semi-kernels’ and their relations to the character table. We prove a full analogue of the Burnside–Brauer theorem for almost cocommutative H. We also prove the Hopf algebras analogue of the following (Burnside) theorem: If G is a non-abelian simple group then {1} is the only conjugacy class of G which has prime power order.     

Conjugation-uniqueness of exact Borel subalgebras

It is proved that the exact Borel subalgebras of a basic quasi-hereditary algebra are conjugate to each other. Moreover, the inner automorphism group of a basic quasi-hereditary algebra acts transitively on the set of its exact Borel subalgebras. Project supported by the National Natural Science Foundation of China (Grant No. 19771070). and partly supported by the NSF of Hainan Province (Grant No. 19702) and by the Natural Science Foundation of Education Department of Hainan province.     

Serial subalgebras of finitary Lie algebras

A Lie subalgebra of is said to be finitary if it consists of elements of finite rank. We show that, if acts irreducibly on , and if is infinite-dimensional, then every non-trivial ascendant Lie subalgebra of acts irreducibly on too. When , it follows that the locally solvable radical of such is trivial. In general, locally solvable finitary Lie algebras over fields of characteristic are hyperabelian.

     

Strong conjugation actions induced by flags of exact Borel subalgebras

Let A be a quasi-hereditary algebra with a strong exact Borel subalgebra. It is proved that for any standard semisimple subalgebra T there exists an exact Borel subalgebra B of A such that T is a maximal semisimple subalgebra of B. It is shown that the maximal length of flags of exact Borel subalgebras of A is the difference of the radium and the rank of Grothendic group of A plus 2. The number of conjugation-classes of exact Borel subalgebras is 1 if and only if A is basic; the number is 2 if and only if A is semisimple. For all other cases, this number is 0 or no less than 3. Furthermore, it is shown that all the exact Borel subalgebras are idempotent-conjugate to each other, that is, for any exact Borel subalgebras B and C of A, there exists an idempotent e of A, and an invertible element u of A, such that eBe = u^-1eCeu.     

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.

     

关于有理模和余理想子代数的性质

In this paper, for some used conceptions and notations, we see ［1］ and ［2］.§1. Rational Module and Its Exact Sequence In ［1］, Cai Chuanreng and Cheng Huixiang have proved that relative Hopf modules and rational modules are one by one corresponding. In ［2］, Zhang Liangyun has given the dual relationship between relative Hopf modules. Naturally, we have a question to ask: is the dual module of a rational module still a rational module? This answer is affirmative. Let H be a Hopf …     

An embedding theorem for Lie algebras

In this paper we give a sufficient condition for a restricted enveloping algebra to be quasi-elementary. We also prove that every finite dimensional -nilpotent Lie algebra can be embedded in a finite dimensional -nilpotent quasi-elementary Lie algebra.

     

Reflection equation algebras, coideal subalgebras, and their centres

Reflection equation algebras and related U_q(\mathfrak g){U{_q}(\mathfrak g)} -comodule algebras appear in various constructions of quantum homogeneous spaces and can be obtained via transmutation or equivalently via twisting by a cocycle. In this paper we investigate algebraic and representation theoretic properties of such so called ‘covariantized’ algebras, in particular concerning their centres, invariants, and characters. The locally finite part F_l(U_q (\mathfrak g)){F_l(U{_q} (\mathfrak g))} of U_q(\mathfrak g){U{_q}(\mathfrak g)} with respect to the left adjoint action is a special example of a covariantized algebra. Generalising Noumi’s construction of quantum symmetric pairs we define a coideal subalgebra B _f of U_q(\mathfrak g){U{_q}(\mathfrak g)} for each character f of a covariantized algebra. We show that for any character f of F_l(U_q(\mathfrak g)){F_l(U{_q}(\mathfrak g))} the centre Z(B _f ) canonically contains the representation ring Rep(\mathfrak g){{\rm Rep}(\mathfrak g)} of the semisimple Lie algebra \mathfrak g{\mathfrak g} . We show moreover that for \mathfrak g = \mathfrak sl_n(\mathbb C){\mathfrak g = {\mathfrak sl}_n(\mathbb C)} such characters can be constructed from any invertible solution of the reflection equation and hence we obtain many new explicit realisations of Rep(\mathfrak sl_n(\mathbb C)){{\rm Rep}({\mathfrak sl}_n(\mathbb C))} inside U_q(\mathfrak sl_n(\mathbb C)){U_q({\mathfrak sl}_n(\mathbb C))} . As an example we discuss the solutions of the reflection equation corresponding to the Grassmannian manifold Gr(m,2m) of m-dimensional subspaces in \mathbb C^2m{{\mathbb C}^{2m}}.     

Faà di Bruno subalgebras of the Hopf algebra of planar trees from combinatorial Dyson-Schwinger equations

We consider the combinatorial Dyson-Schwinger equation X=B⁺(P(X)) in the non-commutative Connes-Kreimer Hopf algebra of planar rooted trees HNCK, where B⁺ is the operator of grafting on a root, and P a formal series. The unique solution X of this equation generates a graded subalgebra AN,P of HNCK. We describe all the formal series P such that AN,P is a Hopf subalgebra. We obtain in this way a 2-parameters family of Hopf subalgebras of HNCK, organized into three isomorphism classes: a first one, restricted to a polynomial ring in one variable; a second one, restricted to the Hopf subalgebra of ladders, isomorphic to the Hopf algebra of quasi-symmetric functions; a last (infinite) one, which gives a non-commutative version of the Faà di Bruno Hopf algebra. By taking the quotient, the last class gives an infinite set of embeddings of the Faà di Bruno algebra into the Connes-Kreimer Hopf algebra of rooted trees. Moreover, we give an embedding of the free Faà di Bruno Hopf algebra on D variables into a Hopf algebra of decorated rooted trees, together with a non-commutative version of this embedding.     

A maschke type theorem for weak Hopf algebras

In this paper, we give a necessary and sufficient condition for a comodule algebra over a weak Hopf algebra to have a total integral, thus extending the classical theory developed by Doi in the Hopf algebra setting. Also, from these results, we deduce a version of Maschke＇s Theorem for （H, B）-Hopf modules associated with a weak Hopf algebra H and a right H-comodule algebra B.