arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 0707.1204

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

Loïc Foissy
View original source ↗Read source document ↗Export metadata ↓

Abstract

We consider the combinatorial Dyson-Schwinger equation X=B^+(P(X)) in the non-commutative Connes-KreimerHopf algebra of planar rooted trees H, 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 A_P of\H. We describe all the formal series P such that A_P is a Hopf subalgebra. We obtain in this way a 2-parameters family of Hopf subalgebras of H, organized into three isomorphism classes: a first one, restricted to a olynomial 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 classe 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, togetherwith a non commutative version of this embedding.

Explore related subjects

math.RA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Loïc Foissy. 2007-11-28. Faà di Bruno subalgebras of the Hopf algebra of planar trees from combinatorial Dyson-Schwinger equations. https://arxiv.org/abs/0707.1204

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Linear algebra over T-pairs

This is part of an ongoing project to find a general algebraic framework for semiring theory. The structure theory of semirings is quite challenging, largely because of the lack of negation, and such basic properties such as unique factorization of polynomials, multiplicativity of determinants, and the characteristic polynomial of a matrix, all fail. (In fact in the max-plus algebra, the sum of two nonzero elements is never zero!) Consequently 0 is replaced by a distinguished T-submodule $ A_0$ of $ A,$ and $( A, A_0)$ is called a ``pair.'' This paper treats linear algebra over a (not necessarily distributive) semiring pair, with a range of applications to tropical algebra as well as related areas such as hyperrings and fuzzy rings. We turn to matrices and the question of whether the row rank, column rank, and submatrix rank of a matrix are equal. The submatrix rank is less than or equal to the row rank and the column rank in many cases, including ``metatangible pairs'' with unique negation, but there is a counterexample to equality, discovered some time ago by the second author, which we provide in a more general setting (``pairs of the second kind'') that includes the hyperfield of signs. We do find situations when equality holds, encompassing results by Akian, Gaubert, Guterman, Izhakian, Knebusch, and Rowen, including versions of Cramer's rule. We pay special attention to the question of Baker and Zhang whether $n+1$ vectors of length $n$ need be dependent. At the conclusion of the main part, we consider surpassing relations, which permit us to tighten our results. The categorical setting is given in the appendix.

math.RA↗
arXiv2026

A monoid-theoretical approach to infinite direct-sum decompositions of modules

Let $\mathcal C$ be a class of modules over a ring $R$, closed under direct sums over index sets of cardinality $κ$ and isomorphisms, and such that the isomorphism classes form a set. The monoid of modules $V(\mathcal C)$ encodes the behavior of finite direct-sum decompositions of modules in $\mathcal C$. We endow $V(\mathcal C)$ with an additional operation reflecting $κ$-indexed direct sums, and study the resulting $κ$-monoid $V^κ(\mathcal C)$. The braiding-property and an equivalent universal property, allow us to show: if every module in $\mathcal C$ is a direct sum of at most $κ$ many modules generated by strictly fewer than $λ$ many elements, then all relations on $V^κ(\mathcal C)$ are induced by relations between direct sums indexed by sets of cardinality strictly less than $λ$. A theorem of Kaplansky states that every projective module is a direct sum of countably generated modules. We show that also all relations between infinite direct sums of projective modules are induced from those between countable direct sums of countably generated projective modules. If every projective module over a ring $R$ is a direct sum of finitely generated projective modules, then the monoid of finitely generated projective modules $V(R)$ completely determines the $κ$-monoid $V^κ(R)$. Together with the realization result of Bergman and Dicks, this characterizes the $κ$-monoids appearing as $V^κ(R)$ for a hereditary ring. In general, the $\aleph_0$-monoid $V^{\aleph_0}(R)$ fully determines $V^κ(R)$. Herbera and Příhoda's characterization of monoids of countably generated projective modules $V^*(R)$ over semilocal noetherian rings, yields a characterization of $V^κ(R)$ for these rings. We also characterize two-generated $\aleph_0$-monoids that appear as $V^{\aleph_0}(R)$ for hereditary rings $R$.

math.RA↗
arXiv2026

Classical Yang-Baxter equations and Nijenhuis operators for Lie algebras

In this paper the conditions that when a Lie algebra is Nijenhuis are investigated. Furthermore all the Nijenhuis operators on $\mathfrak{sl}_2$ under the standard Cartan-Weyl basis are given. On the other hand, the relations between the classical Yang-Baxter equation and Nijenhuis operators $N$ on a Lie algebra and $P$ on a Lie coalgebra are derived by means of the bialgebraic theory for Nijenhuis Lie algebras.

math.RA↗