Questions tagged [combinatorial-hopf-algebras]
The combinatorial-hopf-algebras tag has no usage guidance.
9
questions
30
votes
7
answers
5k
views
Shuffle Hopf algebra: how to prove its properties in a slick way?
Let $k$ be a commutative ring with $1$, and let $V$ be a $k$-module. Let $TV$ be the $k$-module $\bigoplus\limits_{n\in\mathbb N}V^{\otimes n}$, where all tensor products are over $k$.
We define a $k$...
16
votes
3
answers
2k
views
Classification of Hopf algebras (state of the art)
I assume that the classification of (certain families of) Hopf algebras is still an open problem, am I right?
My question is the following: What is the current state of the art? What is known about ...
7
votes
1
answer
259
views
Problem with Eisenbud's Lemma "Symmetry of Diagonalization"?
This question was first asked on MathSE but nobody answered.
In his proof of Lemma A2.5 in his book Commutative Algebra with a View towards Algebraic Geometry, Prof. Eisenbud writes something like ...
6
votes
0
answers
209
views
Hopf algebra interpretation of hypergraph duality?
The work of Aguiar and Ardila (https://arxiv.org/abs/1709.07504) on Hopf monoids for generalized permutohedra gives a Hopf monoid structure on the collection of hypergraphs; see sections 19 and 20 of ...
5
votes
1
answer
196
views
Categorical description of umbral calculus?
The theme of my current research project is related to umbral calculus in the context of more general algebraic structures, like Hopf algebras (and, in particular, shuffle algebras), so I am trying to ...
4
votes
6
answers
310
views
Do stunted exponential series give projections of a cocommutative bialgebra on its coradical filtration?
Let $k$ be a field of characteristic $0$.
Let $H$ be a cocommutative connected filtered bialgebra over $k$. ("Connected" means that the counit, restricted to the $0$-th part of the filtration, is an ...
3
votes
1
answer
249
views
Hopf structures on "pictorial" descriptions of permutations
There is a well-known Hopf structure on permutations, due to Malvenuto and Reutenauer. Here, the F basis elements are permutations in one-line notation, the product of two permutations is their ...
3
votes
1
answer
350
views
Is Leray's theorem on commutative Hopf algebras proven in Milnor-Moore?
Question 1. Is a correct proof of Leray's theorem (the one that says that
a connected graded Hopf algebra $H$ over a field of characteristic $0$ is
isomorphic as an algebra to the symmetric ...
2
votes
1
answer
134
views
The shuffle algebra over the rationals is isomorphic to the polynomial algebra in the Lyndon words
On this wikipedia page is stated that over the rational numbers, the shuffle algebra (over a set $X$) is isomorphic to the polynomial algebra in the Lyndon words (on $X$). I was wondering if you can ...