The planar algebra of group-type subfactors

If G is a countable, discrete group generated by two finite subgroups H and K and P is a II₁ factor with an outer G-action, one can construct the group-type subfactor PH⊂P?K introduced by Haagerup and the first author to obtain numerous examples of infinite depth subfactors whose standard invariant has exotic growth properties. We compute the planar algebra of this subfactor and prove that any subfactor with an abstract planar algebra of “group type” arises from such a subfactor. The action of Jones' planar operad is determined explicitly.     

Guionnet–Jones–Shlyakhtenko subfactors associated to finite-dimensional Kac algebras

We analyse the Guionnet–Jones–Shlyakhtenko construction for the planar algebra associated to a finite-dimensional Kac algebra and identify the factors that arise as finite interpolated free group factors.     

Classification of minimal actions of a compact Kac algebra with amenable dual on injective factors of type III

We classify a certain class of minimal actions of a compact Kac algebra with amenable dual on injective factors of type III. The structural analysis of type III factors and the canonical extension of endomorphisms introduced by Izumi are our main technical tools.     

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.     

An example of finite dimensional Kac algebras of Kac-Paljutkin type

An example of finite dimensional Kac algebras of Kac-Paljutkin type is given.

     

Extension of a quantized enveloping algebra by a Hopf algebra

Suppose that H is a Hopf algebra,and g is a generalized Kac-Moody algebra with Cartan matrix A =(aij)I×I,where I is an index set and is equal to either {1,2,...,n} or the natural number set N.Let f,g be two mappings from I to G(H),the set of group-like elements of H,such that the multiplication of elements in the set {f(i),g(i)|i ∈I} is commutative.Then we define a Hopf algebra Hgf Uq(g),where Uq(g) is the quantized enveloping algebra of g.     

Biderivations of the planar Galilean conformal algebra and their applications

In this paper, the biderivations without skew-symmetric condition of the planar Galilean conformal algebra are presented. As applications, the characterizations of the forms of linear commuting maps and the commutative post-Lie algebra structures on the planar Galilean conformal algebra are given.     

Poisson Hopf algebra related to a twisted quantum group

A Poisson algebra ?[G] considered as a Poisson version of the twisted quantized coordinate ring ?_q,p[G], constructed by Hodges et al. [11 Hodges, T. J., Levasseur, T., Toro, M. (1997). Algebraic structure of multi-parameter quantum groups. Adv. Math. 126:52–92.[Crossref], [Web of Science ®] , [Google Scholar]], is obtained and its Poisson structure is investigated. This establishes that all Poisson prime and primitive ideals of ?[G] are characterized. Further it is shown that ?[G] satisfies the Poisson Dixmier-Moeglin equivalence and that Zariski topology on the space of Poisson primitive ideals of ?[G] agrees with the quotient topology induced by the natural surjection from the maximal ideal space of ?[G] onto the Poisson primitive ideal space.     

The planar algebra of a semisimple and cosemisimple Hopf algebra

To a semisimple and cosemisimple Hopf algebra over an algebraically closed field, we associate a planar algebra defined by generators and relations and show that it is a connected, irreducible, spherical, non-degenerate planar algebra with non-zero modulus and of depth two. This association is shown to yield a bijection between (the isomorphism classes, on both sides, of) such objects.     

The extension of a quantized Borcherds superalgebra by a Hopf algebra

A two-parameter quantum group is obtained from the usual enveloping algebra by adding two commutative grouplike elements. In this paper, we generalize this procession further by adding commutative grouplike elements b_(ik), c_(ik), g_(ik), h_(ik)(i ∈I, k = 1,..., mi) of a Hopf algebra H to the quantized enveloping algebra U_q(G) of a Borcherds superalgebra G defined by a symmetrizable integral Borcherds–Cartan matrix A =(aij)i,j∈I. Therefore, we define an extended Hopf superalgebra HU_q(G). We also discuss the basis and the grouplike elements of HU_q(G).     

A complete set of numerical invariants for a subfactor

We show that certain numerical invariants associated naturally to a subfactor planar algebra constitute a complete family in the sense of determining the isomorphism class of the subfactor planar algebra.In the course of the proof, we show also that planar algebra isomorphisms of subfactor planar algebras can always be chosen to be ∗-preserving. This latter statement generalises the fact that ‘Hopf algebra isomorphisms of finite-dimensional Kac algebras can be chosen to be ∗-preserving’.     

Transmutation theory of a coquasitriangular weak Hopf algebra

Let H be a coquasitriangular quantum groupoid. In this paper, using a suitable idempotent element e in H, we prove that eH is a braided group (or a braided Hopf algebra in the category of right H-comodules), which generalizes Majid’s transmutation theory from a coquasitriangular Hopf algebra to a coquasitriangular weak Hopf algebra.     

The hit problem for the Dickson algebra

Let the mod 2 Steenrod algebra, , and the general linear group, , act on with in the usual manner. We prove the conjecture of the first-named author in Spherical classes and the algebraic transfer, (Trans. Amer. Math Soc. 349 (1997), 3893-3910) stating that every element of positive degree in the Dickson algebra is -decomposable in for arbitrary 2$">. This conjecture was shown to be equivalent to a weak algebraic version of the classical conjecture on spherical classes, which states that the only spherical classes in are the elements of Hopf invariant one and those of Kervaire invariant one.

     

A semi-finite algebra associated to a subfactor planar algebra

We canonically associate to any planar algebra two type II_∞ factors M_±. The subfactors constructed previously by the authors in Guionnet et al. (2010) [6] are isomorphic to compressions of M_± to finite projections. We show that each M_± is isomorphic to an amalgamated free product of type I von Neumann algebras with amalgamation over a fixed discrete type I von Neumann subalgebra. In the finite-depth case, existing results in the literature imply that M₊≅M₋ is the amplification a free group factor on a finite number of generators. As an application, we show that the factors Mj constructed in Guionnet et al. (in press) [6] are isomorphic to interpolated free group factors L(F(rj)), rj=1+2δ−2j(δ−1)I, where δ² is the index of the planar algebra and I is its global index. Other applications include computations of laws of Jones-Wenzl projections.     

The Hopf algebra of diagonal rectangulations

We define and study a combinatorial Hopf algebra dRec with basis elements indexed by diagonal rectangulations of a square. This Hopf algebra provides an intrinsic combinatorial realization of the Hopf algebra tBax of twisted Baxter permutations, which previously had only been described extrinsically as a Hopf subalgebra of the Malvenuto-Reutenauer Hopf algebra of permutations. We describe the natural lattice structure on diagonal rectangulations, analogous to the Tamari lattice on triangulations, and observe that diagonal rectangulations index the vertices of a polytope analogous to the associahedron. We give an explicit bijection between twisted Baxter permutations and the better-known Baxter permutations, and describe the resulting Hopf algebra structure on Baxter permutations.     

The quantum double of a factorizable weak Hopf algebra

Let (H,R) be a finite dimensional quasitriangular weak Hopf algebra over a field k. We first construct a weak Hopf algebra [Δ(1)(H?H)Δ(1)]^R, which is based on the subalgebra of the tensor product algebra H?H. Next we verify that if H is factorizable, then the Drinfeld’s quantum double of H is isomorphic to [Δ(1)(H?H)Δ(1)]^R.     

A note on the order of the antipode of a pointed Hopf algebra

Let k be a field and let H denote a pointed Hopf k-algebra with antipode S. We are interested in determining the order of S. Building on the work done by Taft and Wilson in [7], we define an invariant for H, denoted m_H, and prove that the value of this invariant is connected to the order of S. In the case where char k?=?0, it is shown that if S has finite order then it is either the identity or has order 2?m_H. If in addition H is assumed to be coradically graded, it is shown that the order of S is finite if and only if m_H is finite. We also consider the case where char k?=?p?>?0, generalizing the results of [7] to the infinite-dimensional setting.     

Representations of group planar algebras

We explicitly find out the irreducible representations of the planar algebra corresponding to the subfactor arising from the action of a finite group. We also answer the question posed by Vaughan Jones on the radius of convergence of the dimension of a representation in the affirmative for the case of group planar algebras.     

Heisenberg-Virasoro代数的q-形变的量子群结构

构造了水平为零的扭的Heisenberg-Virasoro代数的一个q-形变Hvirq,证明它是一个quasi-hom-李代数.给出该代数的一个非平凡的量子群结构,即它是一个非交换且余交换的Hopf代数.