Space Of Primitive Elements Research Articles

Post-Hopf algebras, relative Rota–Baxter operators and solutions to the Yang–Baxter equation

In this paper, first, we introduce the notion of post-Hopf algebra, which gives rise to a post-Lie algebra on the space of primitive elements and the fact that there is naturally a post-Hopf algebra structure on the universal enveloping algebra of a post-Lie algebra. A novel property is that a cocommutative post-Hopf algebra gives rise to a generalized Grossman–Larson product, which leads to a subadjacent Hopf algebra and can be used to construct solutions to the Yang–Baxter equation. Then, we introduce the notion of relative Rota–Baxter operator on Hopf algebras. A cocommutative post-Hopf algebra gives rise to a relative Rota–Baxter operator on its subadjacent Hopf algebra. Conversely, a relative Rota–Baxter operator also induces a post-Hopf algebra. Finally, we show that relative Rota–Baxter operators give rise to matched pairs of Hopf algebras. Consequently, post-Hopf algebras and relative Rota–Baxter operators give solutions to the Yang–Baxter equation in certain cocommutative Hopf algebras.

The dual of infinitesimal unitary Hopf algebras and planar rooted forests

We study the infinitesimal (in the sense of Joni and Rota) bialgebra $H_{RT}$ of planar rooted trees introduced in a previous work of two of the authors, whose coproduct is given by deletion of a vertex. We prove that its dual $H_{RT}^*$ is isomorphic to a free non unitary algebra, and give two free generating sets. Giving $H_{RT}$ a second product, we make it an infinitesimal bialgebra in the sense of Loday and Ronco, which allows to explicitly construct a projector onto its space of primitive elements, which freely generates $H_{RT}$.

Categorical and K-theoretic Donaldson–Thomas theory of (part II)

AbstractQuasi-BPS categories appear as summands in semiorthogonal decompositions of DT categories for Hilbert schemes of points in the three-dimensional affine space and in the categorical Hall algebra of the two-dimensional affine space. In this paper, we prove several properties of quasi-BPS categories analogous to BPS sheaves in cohomological DT theory.We first prove a categorical analogue of Davison’s support lemma, namely that complexes in the quasi-BPS categories for coprime length and weight are supported over the small diagonal in the symmetric product of the three-dimensional affine space. The categorical support lemma is used to determine the torsion-free generator of the torus equivariant K-theory of the quasi-BPS category of coprime length and weight.We next construct a bialgebra structure on the torsion free equivariant K-theory of quasi-BPS categories for a fixed ratio of length and weight. We define the K-theoretic BPS space as the space of primitive elements with respect to the coproduct. We show that all localized equivariant K-theoretic BPS spaces are one-dimensional, which is a K-theoretic analogue of the computation of (numerical) BPS invariants of the three-dimensional affine space.

Values of the $$\mathfrak{sl}_2$$ Weight System on Complete Bipartite Graphs

A weight system is a function on chord diagrams that satisfies the so-called four-term relations. Vassiliev's theory of finite-order knot invariants describes these invariants in terms of weight systems. In particular, there is a weight system corresponding to the colored Jones polynomial. This weight system can be easily defined in terms of the Lie algebra $\mathfrak{sl}_2$, but this definition is too cumbersome from the computational point of view, so that the values of this weight system are known only for some limited classes of chord diagrams. In the present paper we give a formula for the values of the $\mathfrak{sl}_2$ weight system for a class of chord diagrams whose intersection graphs are complete bipartite graphs with no more than three vertices in one of the parts. Our main computational tool is the Chmutov--Varchenko reccurence relation. Furthermore, complete bipartite graphs with no more than three vertices in one of the parts generate Hopf subalgebras of the Hopf algebra of graphs, and we deduce formulas for the projection onto the subspace of primitive elements along the subspace of decomposable elements in these subalgebras. We compute the values of the $\mathfrak{sl}_2$ weight system for the projections of chord diagrams with such intersection graphs. Our results confirm certain conjectures due to S.K.Lando on the values of the weight system $\mathfrak{sl}_2$ at the projections of chord diagrams on the space of primitive elements.

Constants of Partial Derivations and Primitive Operations

We describe algebras of constants of the set of all partial derivations in free algebras of unitarily closed varieties over a field of characteristic 0. These constants are also called proper polynomials. It is proved that a subalgebra of proper polynomials coincides with the subalgebra generated by values of commutators and Umirbaev–Shestakov primitive elements pm,n on a set of generators for a free algebra. The space of primitive elements is a linear algebraic system over a signature Σ = {[x, y], pm,n | m, n ≥ 1}. We point out bases of operations of the set Σ in the classes of all algebras, all commutative algebras, right alternative and Jordan algebras.

Quadratic Lie Algebras

In this article, the notion of universal enveloping algebra introduced in Ardizzoni [4] is specialized to the case of braided vector spaces whose Nichols algebra is quadratic as an algebra. In this setting, a classification of universal enveloping algebras for braided vector spaces of dimension not greater than 2 is handled. As an application, we investigate the structure of primitively generated connected braided bialgebras whose braided vector space of primitive elements forms a Nichols algebra, which is a quadratic algebra.

A Milnor–Moore type theorem for primitively generated braided bialgebras

A braided bialgebra is called primitively generated if it is generated as an algebra by its space of primitive elements. We prove that any primitively generated braided bialgebra is isomorphic to the universal enveloping algebra of its infinitesimal braided Lie algebra, notions hereby introduced. This result can be regarded as a Milnor–Moore type theorem for primitively generated braided bialgebras and leads to the introduction of a concept of braided Lie algebra for an arbitrary braided vector space.

Coassociative magmatic bialgebras and the Fine numbers

We prove a structure theorem for the connected coassociative magmatic bialgebras. The space of primitive elements is an algebra over an operad called the primitive operad. We prove that the primitive operad is magmatic generated by n?2 operations of arity n. The dimension of the space of all the n-ary operations of this primitive operad turns out to be the Fine number F n?1. In short, the triple of operads (As, Mag, MagFine) is good.

Finite dimensional comodules over the Hopf algebra of rooted trees

The aim of this paper is an algebraic study of the Hopf algebra H_R of rooted trees, which was introduced in \cite{Kreimer1,Connes,Broadhurst,Kreimer2}. We first construct comodules over H_R from finite families of primitive elements. Furthermore, we classify these comodules by restricting the possible families of primitive elements, and taking the quotient by the action of certain groups. In the next section, we give a formula about primitive elements of the subalgebra of ladders, and construct a projection operator on the space of primitive elements. It allows us to obtain a basis of the primitive elements by an inductive process, which answers one of the questions of \cite{Kreimer}. In the last sections, we classify the Hopf algebra endomorphisms and the coalgebras endomorphisms, using the graded Hopf algebra gr(H_R) associated to the filtration by deg_p of \cite{Kreimer}. We then prove that H_R is isomorphic to gr(H_R), and deduce a decomposition of the group of the Hopf algebra automorphisms of H_R as a semi-direct product.