The characteristic polynomial of the Adams operators on graded connected Hopf algebras

Abstract: The Adams operators $\Psi_n$ on a Hopf algebra $H$ are the convolution powers of the identity of $H$. We study the Adams operators when $H$ is graded connected. They are also called Hopf powers or Sweedler powers. The main result is a complete description of the characteristic polynomial (both eigenvalues and their multiplicities) for the action of the operator $\Psi_n$ on each homogeneous component of $H$. The eigenvalues are powers of $n$. The multiplicities are independent of $n$, and in fact only depend on the dimension sequence of $H$. These results apply in particular to the antipode of $H$ (the case $n=-1$). We obtain closed forms for the generating function of the sequence of traces of the Adams operators. In the case of the antipode, the generating function bears a particularly simple relationship to the one for the dimension sequence. In case H is cofree, we give an alternative description for the characteristic polynomial and the trace of the antipode in terms of certain palindromic words. We discuss parallel results that hold for Hopf monoids in species and $q$-Hopf algebras.

\section*{Introduction}\label{s:intro}

Let $H$ be a Hopf algebra with antipode $\mathrm{S}\colon H \to H$. If $H$ is commutative or cocommutative, then it is well-known that $\mathrm{S}$ is an involution ($\mathrm{S}^2=\mathrm{id}$).
In particular, its eigenvalues are $\pm1$. Alternatively, if $H$ is finite-dimensional, then
$\mathrm{S}$ has finite even order (and its eigenvalues can be arbitrary even roots of unity). This paper studies  the behavior of the antipode when $H$ is graded connected.
We prove in Corollary~\ref{c:main} that, in this case, the eigenvalues of $\mathrm{S}$ are always $\pm1$, even though $\mathrm{S}$ may have infinite order on any homogeneous component of $H$.

It is both natural and convenient to consider a more general family of operators on $H$:
the convolution powers of the identity. These are the Adams operators $\Psi_n$,
and the antipode is $\Psi_{-1}$. Our main result, Theorem \ref{t:main}, provides a complete description of the characteristic polynomial for the operator $\Psi_n$ acting on the $m$-th homogeneous component of $H$. For each scalar $n$ and nonnegative integer $m$,
the polynomial is uniquely
determined by the dimension sequence of $H$. The
eigenvalues are powers of $n$.
The multiplicities count samples with replacement by length and weight, with the samples taken from a weighted set that arises, numerically, as the inverse Euler transform of the
dimension sequence of $H$, and algebraically, as a basis of the graded Lie algebra
of primitive elements of a Hopf algebra canonically associated to $H$.

Corollaries~\ref{c:trace-power} and~\ref{c:trace-antipode-gen} provide
information on the trace of the antipode. The former provides a semicombinatorial
description for its values, and the latter the following remarkable expression for
the generating function:
\[
\sum_{m\geq 0} \operatorname{trace}\bigl(\mathrm{S}\big\vert_{H_m}\bigr)\, t^m = \frac{h(t^2)}{h(t)},
\]
where $h(t)$ is the generating function for the dimension sequence of $H$.
In Corollary~\ref{c:asym} we derive information about the asymptotic behavior of the
sequence of traces.

To put these results into perspective, consider the Hopf algebra of symmetric functions. Calculating the trace of the antipode on suitable linear bases
yields a simple proof of the following interesting identity
(see Section~\ref{ss:sym}):
\[
c(m) = e(m) - o(m),
\]
where $c(m)$ denotes the number of self-conjugate partitions of $m$, and $e(m)$ and $o(m)$ denote the number of partitions of $m$ with an even number
of even parts, and with an odd number of even parts, respectively.
The generating function for the trace of the antipode in the preceding paragraph
may be seen as an extension of this result to arbitrary graded connected Hopf algebras.

Consider now the Hopf algebra of quasisymmetric functions.
Another quick calculation reveals that the trace of the antipode on the $m$-th component is a signed count of palindromic compositions of $m$; see Section~\ref{ss:qsym}.
Corollary~\ref{c:pal} provides a similar result that applies to any graded connected
Hopf algebra that, as a graded coalgebra, is cofree.

Some of the main results admit extensions to certain graded connected $q$-Hopf algebras. Among these, we highlight Corollary~\ref{c:pal-q}, which describes the
trace of the antipode as a polynomial in $q$,
and Corollary~\ref{c:genfun-trace-q}, which involves
appropriate $q$-generating functions and replaces
the above relationship between the sequence of antipode traces and the dimension sequence.

The theory of Hopf monoids in species often runs in parallel to the theory of
graded connected Hopf algebras. The main results of the paper admit variants
that apply in this context. The sequence of antipode traces is now determined
from the dimension sequence as follows (Corollary~\ref{c:trace-antipode-gen-sp}):
the exponential generating function of the former
is the reciprocal of that of the latter.

The paper is organized as follows. In Section \ref{s:prelims}, we discuss the
necessary preliminaries from Hopf algebra theory.
The proof of Theorem \ref{t:main} is carried out in Section \ref{s:main}.
Section~\ref{s:trace} focuses on the trace of the Adams operators and the antipode
particularly.
In Section \ref{s:cofree}, we give alternatives to our main results about the antipode that hold in the presence of cofreeness assumptions. Section \ref{s:apps} provides illustrations of the results and some simple calculations. In Appendix~\ref{s:species} we present the results for
 Hopf monoids in species, and in
 Appendix \ref{s:q-Hopf} we treat the case of $q$-Hopf algebras.

The present paper supersedes and considerably expands on the results of
our extended abstract~\cite{AguLau:2013}.

\section{Preliminaries on Hopf algebras}\label{s:prelims}

Throughout, all vector spaces are over a field $\field$ of characteristic zero.

The structure maps of a bialgebra $H$ are denoted by
\begin{gather*}
\mu\colon H\otimes H \to H, \quad  \Delta\colon H \to H\otimes H,\\
\iota\colon \field \to H, \quad \varepsilon\colon H \to \field.
\end{gather*}
The \emph{antipode} of a Hopf algebra $H$ is denoted by
\[
\mathrm{S} \colon H \to H.
\]

\subsection{Convolution}\label{ss:conv}

Let $H$ be a bialgebra and
let $\Conv{H}$ denote the space of linear maps $T:H\to H$.
The \demph{convolution product} of $P,Q\in\Conv{H}$ is
\[
P\ast Q := \mu\circ(P\otimes Q)\circ \Delta.
\]
This turns the space $\Conv{H}$ into an associative algebra. The unit element is
\[
\iota\circ\varepsilon.
\]
The bialgebra $H$ is a \demph{Hopf algebra} if and only if the identity of $H$ is convolution-invertible.
In this case, the antipode $\mathrm{S}$ is the convolution-inverse of the identity map:
\[
\mathrm{S}\ast\mathrm{id} = \mathrm{id}\ast \mathrm{S}= \iota\circ\varepsilon.
\]

Let $H$ be a bialgebra.
Put $\Delta^{(0)} := \mathrm{id}$, $\Delta^{(1)} := \Delta$, and $\Delta^{(n)} := (\Delta\otimes \mathrm{id}^{\otimes (n-1)})\circ\Delta^{(n-1)}$ for all $n\geq 2$. The superscript is one less than the number of tensor factors in the codomain. Similarly, $\mu^{(n)}$ denotes the map that multiplies $n+1$
elements of $H$, with $\mu^{(0)}:=\mathrm{id}$.
The convolution powers of any $T\in\Conv{H}$ can be written as follows:
\[
	T^{\ast0}=\iota\circ\varepsilon \quad\hbox{and}\quad T^{\ast n} = \mu^{(n-1)} \circ T^{\otimes n} \circ \Delta^{(n-1)} \ \
\hbox{(for $n\geq1$)}.
\]

\subsection{Adams operators}\label{ss:Adams}

Let $H$ be a Hopf algebra. The convolution powers $\mathrm{id}^{\ast n}$ of the identity of $H$ are defined for any integer $n$. They are called \demph{Adams operators} and are denoted by
\begin{equation}\label{eq:adams}
\Psi_n := \mathrm{id}^{\ast n}:H\to H.
\end{equation}
For $n\geq 1$, we have
\begin{equation}\label{eq:adams2}
\Psi_n = \mu^{(n-1)}\circ\Delta^{(n-1)}.
\end{equation}
Note that $\Psi_0=\iota\circ\varepsilon$ and $\Psi_{-1}=\mathrm{S}$. Also,
\begin{equation}\label{eq:adams3}
\Psi_{-n} = \mathrm{S}^{\ast n}
\end{equation}
for all $n$.

This terminology is used in~\cite[\S 3.8]{Car:2007} and~\cite[\S 4.5]{Lod:1992}.
Other common terminology for these operators are \emph{Hopf powers}~\cite{NgSch:2008}, \emph{Sweedler powers}~\cite{KMN:2012,KSZ:2006}, and
\emph{characteristic operations}~\cite{GerSch:1991,Pat:1993}. The paper~\cite[\S 13]{AguMah:2013} studies analogous operators in the context of Hopf monoids in species.

The main goal of this paper is to analyze the characteristic polynomial of these operators
when the Hopf algebra $H$ is graded connected.

\subsection{Coradical filtration and primitive elements}\label{ss:corad}

For more details on the notions reviewed in this section, see~\cite[Ch. 5]{Mon:1993} or~\cite[Ch. 4]{Rad:2012}.

Let $H^{(0)}$ denote the \demph{coradical} of a bialgebra $H$, and let
\[
H^{(0)} \subseteq H^{(1)} \subseteq H^{(2)}\subseteq \dotsb \subseteq H
\]
denote its coradical filtration. We have
\[
H= \bigcup_{m\geq 0} H^{(m)}.
\]

We say $H$ is \demph{connected} if $H^{(0)}$ is spanned by the unit element $1\in H$.
In this case, $H$ is a Hopf algebra; see Section~\ref{ss:antipode}.
In addition,
$H^{(1)}=H^{(0)} \oplus \mathcal \calP(H)$, where
\[
\calP(H) := \left\{x\in H \mid \Delta(x) = 1\otimes x + x\otimes 1\right\}
\]
is the space of \demph{primitive elements} of $H$. More generally, setting
$H_+:=\ker(\epsilon)$ and defining $\Delta_+: H_+\to H_+\otimes H_+$ by
 \[
\Delta_+(x) := \Delta(x)-1\otimes x -x\otimes 1,
\]
we have $H^{(m)}=H^{(0)} \oplus \ker(\Delta_+^{(m)})$, where the iterates of $\Delta_+$ are defined as for $\Delta$.

Let $H$ be a bialgebra.
Let $\gr H$ denote the graded vector space associated to the coradical filtration of $H$:
\begin{gather}
	\gr H :=  H^{(0)} \oplus \left( H^{(1)} \big/ H^{(0)} \right)
		\oplus \left( H^{(2)} \big/ H^{(1)} \right) \oplus \left( H^{(3)} \big/ H^{(2)} \right) \oplus \dotsb .
\end{gather}

A filtration-preserving map $f:H\to K$ induces a map
\[
\gr f: \gr H\to \gr K.
\]
The structure maps of $H$ are filtration-preserving (when $H\otimes H$ is endowed with the
tensor product of the coradical filtrations of each factor). The induced maps turn
$\gr H$ into a bialgebra.
If $H$ is a Hopf algebra, so is $\gr H$.
If $H$ is connected, so is $\gr H$. More importantly:

\begin{lemma}\label{l:foissy}
If the bialgebra $H$ is connected, then the bialgebra $\gr H$ is commutative.
\end{lemma}
This is an immediate consequence of~\cite[Thm. 11.2.5.a]{Swe:1969}.
A direct proof is given in~\cite[Prop.~1.6]{AguSot:2005a}.
We are thankful to Akira Masuoka, Susan Montgomery and the referee for pointing out the reference to Sweedler's text.

The passage $H\mapsto \gr H$ is functorial with respect to filtration-preserving maps.
It follows that convolution products are preserved:
if $f$ and $g:H\to H$ are linear maps, then
\begin{equation}\label{eq:gr-conv}
\gr(f\ast g) = (\gr f)\ast(\gr g).
\end{equation}

A morphism of bialgebras $f:H\to K$ preserves the coradical filtrations.
The induced map $\gr f:\gr H\to\gr K$ is a morphism of bialgebras.

\subsection{Antipode and {E}ulerian idempotents}\label{ss:antipode}

Any connected bialgebra is a Hopf algebra with antipode
\begin{equation}\label{eq:s-def}
	\mathrm{S} = \sum_{k\geq0} \bigl(\iota\circ\varepsilon-\mathrm{id}\bigr)^{\ast k}.
\end{equation}
This basic result can be traced back to Sweedler~\cite[Lem. 9.2.3]{Swe:1969}
and Takeuchi~\cite[Lem. 14]{Tak:1971}; see also~\cite[Lem. 5.2.10]{Mon:1993} and~\cite[Lem. 7.6.2]{Rad:2012}. It follows by expanding
\[
x^{-1} = \frac{1}{1-(1-x)} = \sum_{k\geq 0} (1-x)^k
\]
in the convolution algebra, with $x=\mathrm{id}$ and $1=\iota\circ\varepsilon$.
 Connectedness guarantees that the sum in \eqref{eq:s-def} is finite when evaluated on any $h\in H$. More precisely, if $h\in H^{(m)}$, then
 $(\mathrm{id}-\iota\circ\varepsilon)^{\ast k}(h) = 0$ for all $k>m$.

Assume for the remainder of the section that $H$ is a connected Hopf algebra.

The binomial theorem yields the following expression for the $n$-th Adams operator,
for all integers $n$:
\begin{equation}\label{eq:adams-pol}
\Psi_n = \sum_{k\geq 0} \binom{n}{k}(\mathrm{id}-\iota\circ\varepsilon)^{\ast k}.
\end{equation}
Moreover, the right-hand side of~\eqref{eq:adams-pol} is well-defined for all scalar values of $n$. In this manner, the Adams operators $\Psi_n$ are defined for all scalars $n$.

Similarly, the following
series expansion defines an element $\log(\mathrm{id})$ in the convolution algebra:
\begin{align}
\label{eq:log}	\log(\mathrm{id}) & := -\sum_{k\geq 1} \frac1k(\iota\circ\varepsilon-\mathrm{id})^{\ast k}.
\end{align}
Additionally, consider the elements $\Eul k$, for $k\geq0$, given by
\begin{gather}\label{eq:eul def}
	\Eul 0 := \iota\circ\varepsilon, \quad \Eul 1 := \log(\mathrm{id}), \quad \Eul k := \frac1{k!}\bigl(\Eul1\bigr)^{\ast k} \ \ (\hbox{for }k>1).
\end{gather}

In case $H$ is commutative or cocommutative,  the  $\Eul k$ form a {complete orthogonal system} of idempotent operators on $H$.
That is,
\begin{gather}
	\mathrm{id} = \sum_{k\geq0}\Eul k, \quad
	\Eul k\circ \Eul k = \Eul k, \quad\hbox{and}\quad
	\Eul j\circ \Eul k = 0 \hbox{ \ for $j\neq k$.}
\end{gather}
The $\Eul k$ are the \demph{higher Eulerian idempotents}; $\Eul{1}$ is the
 \demph{first} Eulerian idempotent.
It follows from~\eqref{eq:adams},~\eqref{eq:eul def}, and the identity $x^{\ast n} = \exp(n\log(x))$ that
\begin{gather}\label{eq:id=eul}
	\Psi_n = \sum_{k\geq0} n^k \Eul k
\end{gather}
for all scalars $n$. In particular,
\[
\mathrm{S} = \sum_{k\geq0} (-1)^k \Eul k.
\]

If $H$ is cocommutative, $\Eul k$ projects onto the subspace spanned by $k$-fold products of primitive elements of $H$. In particular,
$\Eul1$ projects onto $\calP(H)$.

For proofs of these results, see \cite[Ch. 4]{Lod:1992}, \cite{Pat:1993} or~\cite[\S{9}]{Sch:1994}. Some instances of these operators in the recent literature include \cite{DPR:1}, \cite{NPT:2013}, and \cite{PatSch:2006}.
For references to earlier work on Eulerian idempotents, see \cite[\S 14]{AguMah:2013}.

\subsection{Hopf-Lie theory}\label{ss:hopf-lie}

Let $H$ be a bialgebra. The space $\calP(H)$ is a Lie subalgebra of $H$ under the commutator bracket.
Write $\mathfrak g$ for the Lie algebra $\calP(H)$. If $H$ is connected and cocommutative, the Cartier--Milnor--Moore (CMM) theorem yields a canonical isomorphism of Hopf algebras
\[
H\cong \mathcal{U}(\mathfrak g)
\]
between $H$ and the enveloping algebra of $\mathfrak g$.

Let $\mathcal{S}(V)$ denote the symmetric algebra on a space $V$. It carries a unique Hopf algebra
structure for which the elements of $V$ are primitive.
The Poincar\'e--Birkhoff--Witt (PBW) theorem furnishes canonical isomorphisms
\[
\mathcal{U}(\mathfrak g) \cong \mathcal{S}(\mathfrak g) \quad\hbox{and}\quad \gr \mathcal{U}(\mathfrak g) \cong \mathcal{S}(\mathfrak g),
\]
where $\mathfrak g$ is an arbitrary Lie algebra.
The former is an isomorphism of coalgebras, the latter of Hopf algebras.
Here $\mathcal{S}(\mathfrak g)$ is the symmetric (Hopf) algebra on the vector space underlying $\mathfrak g$.

Proofs of these classical results can be
found in~\cite[\S 3.8]{Car:2007},~\cite[\S~7]{MilMoo:1965} and \cite[App.~B]{Qui:1969}.
For additional references, see~\cite[Thm. V.2.5]{Kas:1995},~\cite[\S 3.3.4 \& App. A]{Lod:1992}, and~\cite[Thm. 5.6.5]{Mon:1993}.

Lemma~\ref{l:foissy} provides a construction of a commutative connected Hopf algebra $\gr H$ from an arbitrary connected Hopf algebra $H$. This will enable us to employ CMM and PBW in a wider setting than that of
(co)commutative Hopf algebras.

\subsection{Graded bialgebras}\label{ss:graded}

The bialgebra $H$ is \demph{graded} if there is given a vector space decomposition
\[
H=\bigoplus_{m\geq0}H_m
\]
such that
\begin{gather*}
\mu(H_p\otimes H_q) \subseteq H_{p+q} \text{ for all $p,q\geq 0$}, \quad \Delta(H_m) \subseteq \bigoplus_{p+q=m} H_p \otimes H_q \text{ for all $m\geq 0$,}\\
\mathrm{Im}(\iota)\subseteq H_{0}, \quad\hbox{and}\quad H_m\subseteq \ker(\varepsilon) \text{ for all $m>0$}.
\end{gather*}
(The condition on the unit map $\iota$ simply states that $1\in H_{0}$.)
If $H$ is Hopf and the antipode satisfies
\[
\mathrm{S}(H_m)\subseteq H_m
\]
for all $m\geq 0$, we say $H$ is a graded Hopf algebra.

If $H$ is an arbitrary bialgebra, then $\gr H$ is a graded bialgebra for which the component of
degree $n$ is $H^{(n)} \big/ H^{(n-1)}$.

Let $H$ be a graded bialgebra. The space $\calP(H)$ is then graded with
$\calP(H)_m=\calP(H)\cap H_m$. Moreover, $\calP(H)$ is then a graded Lie algebra.
Similarly, each subspace $H^{(n)}$ is graded with
$(H^{(n)})_m=H^{(n)}\cap H_m$. Hence,
$\gr H$ inherits a second grading for which
\begin{equation}\label{eq:secgr}
(\gr H)_m := (H^{(0)})_m \oplus\Bigl( (H^{(1)})_m \big/ (H^{(0)})_m \Bigr) \oplus \Bigl((H^{(2)})_m \big/ (H^{(1)})_m\Bigr) \dotsb.
\end{equation}
Moreover,
$H^{(0)}\subseteq H_0$.

We say that $H$ is \demph{graded connected} if $\dim H_0=1$. The preceding implies that
in this case $H_0=H^{(0)}$, and therefore $H$ is indeed connected.

Assume that $H$ is a graded connected bialgebra. One may show by induction that $H_m\subseteq H^{(m)}$ for all $m$. It follows that the sum~\eqref{eq:secgr} stops at $(H^{(m)})_m \big/ (H^{(m-1)})_m$.
It also follows, from~\eqref{eq:s-def}, that $H$ is a graded Hopf algebra and
\begin{equation}\label{eq:s-def-graded}
	\mathrm{S}\big\vert_{H_m} = \sum_{k=0}^m \bigl(\iota\circ\varepsilon-\mathrm{id}\bigr)^{\ast k}\big\vert_{H_m}.
\end{equation}
More generally, it follows from~\eqref{eq:adams-pol} that
\begin{equation}\label{eq:adams-pol-graded}
\Psi_n\big\vert_{H_m} = \sum_{k= 0}^m \binom{n}{k}(\mathrm{id}-\iota\circ\varepsilon)^{\ast k}\big\vert_{H_m}.
\end{equation}

\section{Characteristic polynomials of the Adams operators}\label{s:main}

This section contains the main result (Theorem~\ref{t:main}), which determines
the characteristic polynomials of the Adams operators on a graded connected Hopf algebra
$H$. These only depend on the dimension sequence of $H$. A number of consequences
about the antipode are also presented. Some preliminaries on enumeration of multisets
are reviewed first.

\subsection{Sampling with replacement and the symmetric algebra}\label{ss:sampling}

Given a sequence $\underline{g}=(g_i)_{i\geq 1}$ and a partition $\lambda = 1^{k_1}2^{k_2}\dotsb r^{k_r}$, put
\begin{equation}\label{eq:binom-g}
  \binom{\underline{g}}{\lambda} := \binom{g_1+k_1-1}{k_1} \dotsb \binom{g_r+k_r-1}{k_r} .
\end{equation}
Let $\abs{\lambda}:=k_1+2k_2+\cdots+rk_r$ denote the size of $\lambda$, and
$\length{\lambda}:=k_1+k_2+\cdots+k_r$  denote the number of parts of $\lambda$.
Given nonnegative integers $k$ and $m$, set
\begin{gather}\label{eq:eul}
  \mul(k,m) := \sum_{\substack{\abs{\lambda}=m \\ \length\lambda = k}} \binom{\underline{g}}{\lambda}.
\end{gather}
In particular,
\begin{equation}\label{eq:eul0}
\mul(0,m) = \delta(0,m) \quad\hbox{and}\quad \mul(k,m)=0 \text{ for all $k>m$.}
\end{equation}
The numbers $\mul(k,m)$ depend on the given sequence, although this is not reflected in the notation.

If we sample with replacement from a set with $g_i$ elements of \emph{weight} $i$, then
$\binom{\underline{g}}{\lambda}$ counts the number of samples with weight distribution $\lambda$; in other words, the number of multisets of cardinality
$\length{\lambda}$ and containing exactly $k_i$ elements of weight $i$ for each $i=1,\ldots,r$.
The numbers $\mul(k,m)$ then count the number of multisets of cardinality $k$ and total weight $m$.

Now let $W$ be a positively graded vector space, and let $g_i:=\dim W_i$ for each $i\geq 1$.
Let $W^k$ denote the $k$-th symmetric power of $W$. In other words, $W^k$ is the subspace of the symmetric algebra $\mathcal{S}(W)$ spanned by $k$-fold products of elements of $W$.
It inherits a grading from $W$, where $(W^k)_m$ is spanned by products $w_1\cdots w_k$ with $\deg(w_1)+\cdots+\deg(w_k)=m$.

Fix a homogeneous basis of $W$, and let it be our sample set. The set of monomials of length $k$ (that is, $k$-fold products of basis elements of $W$) is then a basis of $W^k$.
A multiset of cardinality $k$ and total weight $m$ corresponds to a monomial of length $k$
and degree $m$.
Therefore,
\[
 \dim (W^k)_m  = \mul(k,m).
\]
The bivariate generating series for $\mathcal{S}(W)$ by length and degree is then
\begin{equation}\label{eq:sym-gen}
\sum_{k,m\geq 0} \mul(k,m)\, s^k t^m = \prod_{i\geq 1} (1-st^i)^{-g_i}.
\end{equation}
This follows by expanding the right-hand side with the aid of the binomial theorem and employing~\eqref{eq:binom-g} and~\eqref{eq:eul}.

The numbers $\mul(k,m)$ enter in Theorem~\ref{t:main} below.

\subsection{Characteristic polynomial}\label{ss:char}

We state some standard results from linear algebra.

\begin{lemma}\label{l:eigenvalues}
Let $V$ be a finite-dimensional vector space and $T\in\End(V)$ a linear transformation.
\begin{enumerate}
\item[(i)] Let $U$ be a $T$-invariant subspace of $V$.
If $\Map^\uparrow\in\End(V/U)$ denotes the linear transformation induced by $T$ on the quotient, and $\Map_\downarrow\in\End(U)$ denotes the restriction of $T$ to $U$, then the characteristic polynomials of these three maps satisfy
\[
	\chi_T(x) = \chi_{\Map_\downarrow}(x) \, \chi_{\Map^\uparrow}(x).
\]
\item[(ii)] The characteristic polynomials of $T$ and of the dual map $\Map^\ast\in\End(V^*)$ are equal. \qed
\end{enumerate}
\end{lemma}

We are now ready for our main result.
Let $H$ be a graded connected Hopf algebra.
We assume from this point onwards that the homogeneous components $H_m$ of $H$ are finite-dimensional.
We let $\widetilde H}% {H^\dagger$ denote the \demph{graded dual} of $\gr H$ with respect to the grading~\eqref{eq:secgr}. It is a graded bialgebra with homogeneous components
\[
\widetilde H}% {H^\dagger_m := \bigl((\gr H)_m\bigr)^*.
\]
If $H$ is graded connected, $\widetilde H}% {H^\dagger$ is graded connected and cocommutative, by Lemma~\ref{l:foissy}. We let $\mathfrak g:=\calP(\widetilde H}% {H^\dagger)$ denote the graded Lie
algebra of primitive elements of $\widetilde H}% {H^\dagger$.
For each $i\geq 1$, let
\[
g_i := \dim \mathfrak g_i
\]
denote the dimension of the homogeneous component of $\mathfrak g$ of degree $i$.
Consider the corresponding numbers $\mul(k,m)$, as in~\eqref{eq:eul}.

\begin{theorem}\label{t:main}
Let $H$ be as above.
For every scalar $n$ and nonnegative integer $m$, the characteristic polynomial of
the restriction $\Psi_n\big\vert_{H_m}$ of the $n$-th Adams operator is
\begin{equation}\label{eq:char poly}
	\chi\bigl(\Psi_n\big\vert_{H_m}\bigr)(x) = \prod_{k=0}^m(x-n^k)^{\mul(k,m)}.
\end{equation}
\end{theorem}

Before the proof, a few remarks are in order. First, note that the factor indexed by $k=0$ is nontrivial only when $m=0$, according to~\eqref{eq:eul0}. Second, note that the exponents
$\mul(k,m)$ do not depend on $n$.
Additional information on the exponents $\mul(k,m)$ is provided in Proposition~\ref{p:main}.

\begin{proof}
First of all, it suffices to establish~\eqref{eq:char poly} when $n$ is a nonnegative integer.
Indeed, both sides depend polynomially on $n$; the left-hand side in view of~\eqref{eq:adams-pol-graded}.

We argue that we may replace $H$ with $\gr H$. Indeed, since $\Psi_n$ preserves both the grading and the coradical filtration of $H$,
it preserves the filtration
\[
 (H^{(0)})_m\subseteq (H^{(1)})_m \subseteq \cdots\subseteq (H^{(m)})_m = H_m
\]
 for each $m$.
By repeated application of Lemma \ref{l:eigenvalues}(i) we deduce that
  \[
  \chi\bigl(\Psi_n\big\vert_{H_m}\bigr)
  = \chi\bigl(\gr(\Psi_n)\big\vert_{(\gr H)_m}\bigr).
  \]
  In addition, by~\eqref{eq:gr-conv},
  \[
  \gr(\Psi_n) = \gr(\mathrm{id}^{\ast n})=(\gr \mathrm{id})^{\ast n} = \mathrm{id}^{\ast n} = \Psi_n.
  \]
  Therefore,
  \[
   \chi\bigl(\Psi_n\big\vert_{H_m}\bigr)
  = \chi\bigl(\Psi_n\big\vert_{(\gr H)_m}\bigr).
  \]

Next, we may replace $\gr H$ with $\widetilde H}% {H^\dagger$. Indeed, the map $T\mapstoT^*$ is an isomorphism of convolution algebras $\End(H)\cong\End(H^*)$ (where duals and endomorphisms are in the graded sense). Together with Lemma \ref{l:eigenvalues}(ii) this implies that
 \[
 \chi\bigl(\Psi_n\big\vert_{(\gr H)_m}\bigr)
  = \chi\bigl(\Psi_n\big\vert_{\widetilde H}% {H^\dagger_m}\bigr).
\]

Now let $\mathfrak g = \calP(\widetilde H}% {H^\dagger)$. By CMM, $\widetilde H}% {H^\dagger \cong \mathcal{U}(\mathfrak g)$, and by PBW,
$\gr \mathcal{U}(\mathfrak g) \cong \mathcal{S}(\mathfrak g)$ as Hopf algebras.  The same argument as above shows that we may replace $\widetilde H}% {H^\dagger$ with $\mathcal{S}(\mathfrak g)$.

As $\mathcal{S}(\mathfrak g)$ is cocommutative, the Eulerian idempotents are available.
From~\eqref{eq:id=eul} we have that
\[
\chi\bigl(\Psi_n\big\vert_{\mathcal{S}(\mathfrak g)_m}\bigr) = \prod_{k\geq0}  \chi\bigl(n^k\Eul k\big\vert_{\mathcal{S}(\mathfrak g)_m}\bigr).
\]
It thus suffices to calculate the characteristic polynomial of the $\Eul k$ on $\mathcal{S}(\mathfrak g)$.

Finally, the action of $\Eul k$ on $\mathcal{S}(\mathfrak g)$ is simply projection onto $\mathfrak g^k$, the subspace spanned by $k$-fold products of elements of $\mathfrak g$.
It follows that
\[
{\chi\bigl(n^k \Eul k\big\vert_{\mathcal{S}(\mathfrak g)_m}\bigr)}(x) = (x-n^k)^{\mul(k,m)},
\]
where
\[
\mul(k,m) = \dim\, (\mathfrak g^k)_m.
\]
This completes the proof.
\end{proof}

\begin{remark}
One may easily see that the Adams operators act on $\mathcal{S}(W)$ as follows
\[
	\Psi_n(w_1\dotsb w_k) = n^k w_1\dotsb w_k,
\]
where $w_i\in W$, $i=1,\ldots,k$.  The proof of Theorem~\ref{t:main} can then be
completed without explicit mention of the Eulerian idempotents.

On the other hand, assume that $H$ is a graded connected Hopf algebra
that is either commutative or cocommutative.
The expression~\eqref{eq:id=eul} for the Adams operators in terms of the
Eulerian idempotents shows that the former are simultaneously diagonalizable.
The forthcoming thesis of Amy Pang~\cite{Pan:2014} contains a discussion
of a common eigenbasis for the Adams operators on such $H$.
\end{remark}

The exponents $\mul(k,m)$ are determined by the dimension sequence of $\mathfrak g$, through \eqref{eq:binom-g} and~\eqref{eq:eul}. In turn, this sequence is related to the dimension
sequence of $H$ by
\begin{equation}\label{eq:alt eul}
	1+\sum_{m\geq1} h_m t^m = \prod_{i\geq1}\bigl(1-t^i\bigr)^{-g_i},
\end{equation}
where $h_m:=\dim H_m$. Indeed, the right-hand side is the generating series for
$\mathcal{S}(\mathfrak g)$, and we have from the proof of Theorem~\ref{t:main}
that $H_m\cong \widetilde H}% {H^\dagger_m \cong \mathcal{S}(\mathfrak g)_m$ as vector spaces.
It follows that the sequences $(g_i)$ and $(h_m)$ determine each other.
In particular:

\begin{proposition}\label{p:main}
The exponents $\mul(k,m)$
are determined by the dimension sequence of $H$.
\end{proposition}

\begin{remark}
Equation~\eqref{eq:alt eul} says that the sequence $(h_m)_{m\geq 1}$ is the \demph{Euler transform} of $(-g_i)_{i\geq 1}$, in the sense of~\cite[p. 20]{SloPlo:1995}.
The nonnegativity of the sequence $(g_i)$ restricts the class of sequences $(h_m)$ that may be realized as dimension sequences of graded connected Hopf algebras.
\end{remark}

\subsection{Eigenvalues of the antipode}\label{ss:eigen-antipode}

Let $H$ be a graded connected Hopf algebra and $\mathrm{S}$ its antipode.

Applying Theorem~\ref{t:main} in the case $n=-1$ yields information about
the antipode, since $\mathrm{S}=\Psi_{-1}$. We obtain
\begin{equation}\label{eq:char-apode}
	\chi\bigl(\mathrm{S}\big\vert_{H_m}\bigr)(x) = (x-1)^{\emul(m)} (x+1)^{\omul(m)},
\end{equation}
where
\[
\emul(m) := \sum_{\text{$k$ even}} \mul(k,m)
\quad\hbox{and}\quad
\omul(m) := \sum_{\text{$k$ odd}} \mul(k,m).
\]
In particular:

\begin{corollary}\label{c:main}
The eigenvalues of the antipode are $\pm1$.
\end{corollary}

\begin{remark}
Corollary \ref{c:main} fails for general Hopf algebras. Let $\omega$ be a primitive cube root of unity and consider Taft's Hopf algebra $T_3(\omega)$~\cite{Taf:1971}, with generators $\{g, x\}$, and relations $\{g^3=1$, $x^3=0$, $gx=\omega\,xg\}$.
The coproduct and antipode are determined by $\Delta(g)=g\otimes g$, $\mathrm{S}(g)=g^{-1}$,
$\Delta(x)=1\otimes x+x\otimes g$, and $\mathrm{S}(x)=-xg^{-1}$. Here $x^2+\omega\, x^2 g$
is an eigenvector of $\mathrm{S}$ with eigenvalue $\omega$.
\end{remark}

From Corollary~\ref{c:main} we deduce:

\begin{corollary}\label{c:diag}
The antipode is diagonalizable if and only if it is an involution.
\end{corollary}

\begin{remark}
The antipode of a graded connected Hopf algebra need not be an involution
(or equivalently, diagonalizable).
For example, consider the Malvenuto-Reutenauer Hopf algebra of permutations (Example \ref{eg:MR}). Its antipode is of infinite order already on the homogeneous component of degree $3$; see Remark 5.6 in \cite{AguSot:2005}.
\end{remark}

\subsection{Composition powers of the antipode}\label{ss:comp-pow}

Consider $\mathrm{S}^2$, the composition of the antipode $\mathrm{S}$ with itself.
Corollary~\ref{c:main} implies that $1$ is the only eigenvalue of $\mathrm{S}^2$, so $\mathrm{S}^2-\mathrm{id}$ is
nilpotent on each homogeneous component.
We have the following more precise result.
\begin{proposition}\label{p:even}
The map $(\mathrm{S}^2-\mathrm{id})\vert_{H_m}$ is
nilpotent of order at most $m$.
\end{proposition}
\begin{proof}
Since $\gr(H)$ is commutative, $\mathrm{S}^2 =\mathrm{id}$ on $\gr(H)$. Hence
$(\mathrm{S}^2 - \mathrm{id})(H^{(m)}) \subseteq H^{(m-1)}$ for all $m\geq 1$.
On $H^{(1)}=\field\oplus \calP(H)$, we have $\mathrm{S}=\pm \mathrm{id}$, and then $\mathrm{S}^2-\mathrm{id} = 0$.
By induction, $(\mathrm{S}^2 - \mathrm{id})^m (H^{(m)}) = 0$ for all $m\geq 1$.
The statement follows by recalling that $H_m \subseteq H^{(m)}$.
\end{proof}

\begin{remark}
Let $d_m$ be the order of nilpotency of $(\mathrm{S}^2-\mathrm{id})\vert_{H_m}$, so that $1\leq d_m\leq m$
by Proposition~\ref{p:even}.
The lower bound $d_m=1$ is attained by any involutory Hopf algebra, for all $m$.
Computations suggest that the Hopf algebra of \emph{signed permutations}~\cite{BonHoh:2006} attains the upper bound $d_m=m$ for all $m\geq 1$.
\end{remark}

\begin{example}\label{eg:MR}
Consider the Malvenuto--Reutenauer Hopf algebra $H=\frakS\sym$~\cite{MalReu:1995}.
We claim that $d_m\leq m-1$ for $m\geq 2$ (and $d_1=1$).
Let $\mathrm{id}_m=123\ldots m$ be the identity permutation, in one-line notation, and let $\omega_m$ be the longest permutation of $m$ elements, $\omega_m=m\ldots 321$.
Let $\mathcal{F}$ and $\mathcal{M}$ denote the \emph{fundamental} and
\emph{monomial} bases of $H$, in the notation of~\cite{AguSot:2005}. It follows from~\cite[Cor. 6.3]{AguSot:2005} that
\[
H_m = \bigl(H_m\cap H^{(m-1)}\bigr) \oplus K_m,
\]
where $K_m$ is the one-dimensional space spanned by $\mathcal{F}_{\omega_m}=\mathcal{M}_{\omega_m}$.
The proof of Proposition~\ref{p:even} shows that on $H_m\cap H^{(m-1)}$ the order of nilpotency is at most $m-1$. On the other hand, it is easy to see that
\[
\mathrm{S}(\mathcal{F}_{\omega_m}) = (-1)^m \mathcal{F}_{\mathrm{id}_m} \quad\hbox{and}\quad
\mathrm{S}(\mathcal{F}_{\mathrm{id}_m}) = (-1)^m \mathcal{F}_{\omega_m}.
\]
Therefore, $\mathrm{S}^2$ is the identity on $K_m$. The claim follows.
\end{example}

We turn to higher composition powers of the antipode. Since $H^{\mathrm{op}}$ is another graded connected Hopf algebra, it possesses an antipode, and this is the inverse of $\mathrm{S}$ by \cite[Lem. 1.5.11]{Mon:1993} or \cite[Prop. 1.23]{AguMah:2013}.
In particular, $\mathrm{S}$ is invertible, and we may consider powers $\mathrm{S}^n$ for any integer $n$.

\begin{proposition}\label{p:comp-pow}
For any integer $n$,
\begin{equation}\label{eq:comp-pow}
	\chi\bigl(\mathrm{S}^n\big\vert_{H_m}\bigr)(x) =
	\begin{cases}
\chi\bigl(\mathrm{id}\big\vert_{H_m}\bigr)(x) & \text{ if $n$ is even,} \\
\chi\bigl(\mathrm{S}\big\vert_{H_m}\bigr)(x)         & \text{ if $n$ is odd.}
\end{cases}
\end{equation}
\end{proposition}
\begin{proof}
As in the proof of Theorem~\ref{t:main}, we may assume that $H$ is commutative.
In this case, $\mathrm{S}^2=\mathrm{id}$ and hence $\mathrm{S}^n=\mathrm{id}$ for even $n$ and $\mathrm{S}^n=\mathrm{S}$ for odd $n$.
\end{proof}

\section{The trace of the Adams operators}\label{s:trace}

We study the trace of the Adams operators on $H$. The generating functions for their
sequences of traces admit closed expressions in terms of the inverse Euler transform of the dimension sequence of $H$.
The generating function for the trace of the antipode is particularly remarkable.

\subsection{Generating functions for the trace}\label{ss:gen-trace}

We return to the situation of Theorem~\ref{t:main}. Thus, $H$ is a
graded connected Hopf algebra, and the integers $\mul(k,m)$ are
determined by its dimension sequence through \eqref{eq:binom-g}, \eqref{eq:eul},
and \eqref{eq:alt eul}.

As an immediate consequence of this theorem, we have:

\begin{corollary}\label{c:trace-power}
For all scalars $n$ and nonnegative integers $m$,
\begin{equation}\label{eq:trace-power}
	\operatorname{trace}\bigl(\Psi_n\big\vert_{H_m}\bigr) = \sum_{k=0}^m n^k \mul(k,m)
\end{equation}
In particular,
\begin{equation}\label{eq:trace-antipode}
	\operatorname{trace}\bigl(\mathrm{S}\big\vert_{H_m}\bigr) =  \sum_{k=0}^m (-1)^k\mul(k,m)  =  \emul(m) - \omul(m).
\end{equation}
\end{corollary}

We turn to generating functions for the trace. First we consider the
$n$-th Adams operator. Recall that the sequence $(g_i)$ is determined by the
dimension sequence of $H$ through~\eqref{eq:alt eul}.

\begin{corollary}\label{c:trace-power-gen}
For all scalars $n$,
\begin{equation}\label{eq:trace-power-gen}
\sum_{m\geq 0} \operatorname{trace}\bigl(\Psi_n\big\vert_{H_m}\bigr)\, t^m =
\prod_{i\geq 1} (1-nt^i)^{-g_i}.
\end{equation}
\end{corollary}
\begin{proof}
This follows at once from~\eqref{eq:sym-gen} and~\eqref{eq:trace-power}.
\end{proof}

For each scalar $n$, let
\[
h_n(t) := \sum_{m\geq 0} \operatorname{trace}\bigl(\Psi_n\big\vert_{H_m}\bigr)\, t^m
\]
denote the generating function for the sequence of traces of $\Psi_n$.
As a consequence of Corollary~\ref{c:trace-power-gen},
these functions satisfy certain interesting relations. In order to state them, let
\[
\mu_k := \{\omega\in\mathbb{C} \mid \omega^k=1\}
\]
denote the group of complex $k$-th roots of unity.

\begin{proposition}\label{p:trace-power-rel}
For each scalar $n$ and positive integer $k$,
\begin{equation}\label{eq:trace-power-rel}
h_{n^k}(t^k) = \prod_{\omega\in\mu_k} h_{\omega n}(t).
\end{equation}
In particular,
\begin{equation}\label{eq:trace-power-rel2}
h_{n^2}(t^2) = h_n(t)\, h_{-n}(t).
\end{equation}
\end{proposition}
\begin{proof}
We employ the factorization
\[
1-t^k = \prod_{\omega\in\mu_k}(1-\omega t).
\]
Then, from~\eqref{eq:trace-power-gen}, we have
\[
h_{n^k}(t^k) = \prod_{i\geq 1} (1-n^kt^{ki})^{-g_i} =
\prod_{i\geq 1}\prod_{\omega\in\mu_k} (1-\omega n t^i)^{-g_i} =
\prod_{\omega\in\mu_k}
h_{\omega n}(t).\qedhere
\]
\end{proof}

The generating function for the trace of the antipode takes a special form.
Let
\[
h(t) := 1+ \sum_{m\geq 1} h_m\, t^m
\]
denote the generating function for the dimension sequence of $H$.

\begin{corollary}\label{c:trace-antipode-gen}
\begin{equation}\label{eq:trace-antipode-gen}
\sum_{m\geq 0} \operatorname{trace}\bigl(\mathrm{S}\big\vert_{H_m}\bigr)\, t^m = \frac{h(t^2)}{h(t)}.
\end{equation}
\end{corollary}
\begin{proof}
Since $\Psi_1=\mathrm{id}$ and $\Psi_{-1}=\mathrm{S}$, we have
$h(t)=h_1(t)$
and $\sum_{m\geq 0} \operatorname{trace}\bigl(\mathrm{S}\big\vert_{H_m}\bigr)\, t^m = h_{-1}(t)$. Thus,
\eqref{eq:trace-antipode-gen} is the case $n=1$ of~\eqref{eq:trace-power-rel2}.
\end{proof}

\begin{remark}
Corollary~\ref{c:trace-antipode-gen} shows that the sequence of antipode traces is determined by the dimension sequence in a simple manner. The result also shows that, conversely, the
dimension sequence is determined by the sequence of antipode traces,
since the relation~\eqref{eq:trace-antipode-gen} can be solved for $h(t)$.
\end{remark}

\begin{example}\label{eg:geometric}
Suppose the dimension sequence of $H$ is given by $h_m:=r^m$, where $r$ is a fixed nonnegative integer. Then $h(t)=1/(1-rt)$ and
\[
\frac{h(t^2)}{h(t)} = \frac{1-rt}{1-rt^2} = \sum_{n\geq 0} r^n\,t^{2n} - \sum_{n\geq 0} r^{n+1}\,t^{2n+1}.
\]
It follows from~\eqref{eq:trace-antipode-gen} that
\[
\operatorname{trace}\bigl(\mathrm{S}\big\vert_{H_m}\bigr)=
\begin{cases}
r^{m/2} & \text{ if $m$ is even,} \\
-r^{(m+1)/2}         & \text{ if $m$ is odd.}
\end{cases}
\]

We have computed the trace of the antipode without knowing anything other than the dimension sequence of $H$. A Hopf algebra with the given dimension sequence is the free algebra on $r$ primitive generators of degree $1$; a direct computation of the trace
can then be carried out. We do this for the dual Hopf algebra in Example~\ref{eg:geometric2}.
\end{example}

We record the generating function for the trace of the composition powers of the antipode.

\begin{corollary}\label{c:comp-pow}
For any integer $n$,
\begin{equation}\label{eq:comp-pow-gen}
	\sum_{m\geq 0} \operatorname{trace}\bigl(\mathrm{S}^n\big\vert_{H_m}\bigr)\, t^m =
	\begin{cases}
h(t) & \text{ if $n$ is even,} \\
h(t^2)/h(t)      & \text{ if $n$ is odd.}
\end{cases}
\end{equation}
\end{corollary}
\begin{proof}
This follows from Proposition~\ref{p:comp-pow} and Corollary~\ref{c:trace-antipode-gen}.
\end{proof}

\subsection{The trace of the antipode versus the dimension sequence}\label{ss:fun-m}

In this section, we write
\[
a_m := \operatorname{trace}\bigl(\mathrm{S}\big\vert_{H_m}\bigr)
\]
for each nonnegative integer $m$. Let $a(t)$ be its generating function.

We analyze the behavior of the sequence $(a_m)$ in relation
to the dimension sequence $(h_m)$.

\begin{corollary}\label{c:fun-m}
If the sequence $(h_m)$ satisfies a linear recursion with constant coefficients, then so does
$(a_m)$.
\end{corollary}
\begin{proof}
We employ~\cite[Thm. 4.1.1]{Sta:2012}.
In this situation, the series $h(t)$ is rational, and hence so is $a(t)$, by~\eqref{eq:trace-antipode-gen}.
\end{proof}

We turn to asymptotics. We assume there exists a meromorphic function $h(z)$ of a complex variable $z$,
holomorphic on a neighborhood of $0$, and such that its Taylor expansion is the generating function $h(t)$.
It then follows from Pringsheim's Theorem~\cite[Thm. IV.6]{FlaSed:2009} that a dominant singularity occurs at a positive real number $R$. Moreover, $R\leq 1$. Indeed, if $R>1$, the coefficients $h_m$ would approach $0$, by the Exponential Growth Formula~\cite[Thm. IV.7]{FlaSed:2009}, and this would force the integers $h_m$ to be $0$ from a point on.
(As we remark at the end of Section~\ref{ss:schur},
this can only happen if $H$ is the one-dimensional Hopf algebra, a triviality which we exclude from consideration.)

\begin{corollary}\label{c:asym}
Suppose that $R$ is the unique singularity of $h(z)$
in the disk $\abs{z}\leq R^{1/4}$. Let $\gamma$ be the order of this singularity.
Suppose further that $h(z)$ is nonzero in the disk $\abs{z}\leq R^{1/2}$, and
\[
h(-R^{1/2}) \neq \pm h(R^{1/2}).
\]
Then
\begin{equation}\label{eq:asym}
\frac{a_m}{h_m} \sim \frac{R^{m/2}}{2^{\gamma}}\,
\Bigl(\frac{1}{h(R^{1/2})} + (-1)^m\,\frac{1}{h(-R^{1/2})}\Bigr).
\end{equation}
\end{corollary}
\begin{proof}
The hypotheses guarantee that $R$ is the unique dominant singularity for $h(z)$,
and also that $\pm R^{1/2}$ are the unique dominant singularities for $a(z)=h(z^2)/h(z)$.
We then have the standard approximations~\cite[\S B.IV]{FlaSed:2009}, \cite[\S 5.2]{Wil:2006}
\[
h_m \sim \frac{1}{\Gamma(\gamma)}\, m^{\gamma-1} R^{-m} h^*(R)
\]
and
\[
a_m \sim \frac{2^\gamma}{\Gamma(\gamma)}\, m^{\gamma-1} R^{-m/2} h^*(R) \Bigl(\frac{1}{h(R^{1/2})} + (-1)^m\,\frac{1}{h(-R^{1/2})}\Bigr),
\]
where $\Gamma$ is the gamma function and ${\displaystyle h^*(R)= \lim_{z\to R} \Bigl(1-\frac{z}{R}\Bigr)^{\gamma}\, h(z)}$.
The result follows.
\end{proof}

\begin{example}\label{eg:fib}
Suppose the dimension sequence is given by
\[
h_0=h_1=h_2:=1 \quad\hbox{and}\quad h_{m} := h_{m-1}+h_{m-2} \text{ for all $m\geq 3$.}
\]
Thus, for $m\geq 1$, $h_m$ are the Fibonacci numbers.
In this case,
\[
h(z) = \frac{z^2-1}{z^2+z-1} = (z^2-1)(z+\phi)^{-1}(z-1/\phi)^{-1},
\]
where $\phi=(1+\sqrt{5})/2$ is the golden ratio. The hypotheses of Corollary~\ref{c:asym}
are satisfied with $R=1/\phi$ and $\gamma=1$. We obtain from~\eqref{eq:asym}
the approximation
\[
\frac{a_m}{h_m} \sim
\begin{cases}
\phi^{-m/2} & \text{ if $m$ is even,}\\
-\phi^{(-m+3)/2} & \text{ if $m$ is odd.}
 \end{cases}
\]

A Hopf algebra with this dimension sequence is discussed in Section~\ref{ss:peakqsym},
and the sequence $a_m$ is computed explicitly; see~\eqref{eq:apode-peak}. The above may then be seen to
follow from the well-known approximation $h_m\sim \phi^m/\sqrt{5}$
for the Fibonacci numbers.
\end{example}

\subsection{Schur indicators}\label{ss:schur}

A theme occurring in the recent Hopf algebra literature involves a
generalization of the \demph{Frobenius--Schur indicator function} of a finite group.
If $\rho\colon G \to \mathrm{End}(V)$ is a complex representation of $G$, then the (second) indicator is
\[
	\nu_2(G,\rho) := \frac1{|G|}\sum_{g\in G} \operatorname{trace}\rho(g^2).
\]
The only values this invariant can take on irreducible representations are $0,1,-1$, and this occurs precisely when $V$ is a complex, real, or quaternionic representation, respectively~\cite[Prop. 39]{Ser:1977}. In \cite{LinMon:2000}, a reformulation of the definition was given in terms of convolution powers of the \emph{integral}%
\footnote{A construct present for finite-dimensional Hopf algebras that is unavailable for general graded connected Hopf algebras.}
 in $\mathbb{C} G$. This extended the notion of (higher) Schur-indicators to all finite-dimensional Hopf algebras, and has since become a valuable tool for the study of these algebras \cite{KMM:2002, NgSch:2008, SagVeg:2012, Shi:2012}. In case $\rho$ is the regular representation (and $H$ is semisimple), it is shown in \cite{KSZ:2006} that the higher Schur indicators can be reformulated further, removing all mention of the integral: for all nonnegative integers $n$,
\[
	\nu_{n+1}(H) = \operatorname{trace}(\mathrm{S}\circ \Psi_n).
\]
See also \cite{KMN:2012}.
Our results lead to the
following formula for these invariants in case $H$ is graded connected (instead of finite-dimensional).

\begin{corollary}\label{c:schur}
Let $H$ be a graded connected Hopf algebra. Then, for all scalars $n$ and nonnegative integers $m$,
\[
	 \operatorname{trace}(\mathrm{S}\circ \Psi_n) = \sum_{k=0}^m (-n)^k \mul(k,m),
\]
where $\mul(k,m)$ is as in Theorem~\ref{t:main}.
\end{corollary}
\begin{proof}
As in the proof of Theorem \ref{t:main}, we may assume that $H$ is commutative. Then $\mathrm{S}$ is a morphism of algebras, and we have
\[
\mathrm{S}\circ \Psi_n = \mathrm{S}\circ \mu^{(n-1)}\circ\Delta^{(n-1)} = \mu^{(n-1)}\circ \mathrm{S}^{\otimes n} \circ \Delta^{(n-1)} = \mathrm{S}^{\ast n} = \Psi_{-n}.
\]
We used~\eqref{eq:adams2} and~\eqref{eq:adams3}.
The result follows from~\eqref{eq:trace-power}.
\end{proof}

\begin{remark}
We mention in passing that the only Hopf algebra $H$ that is at the same time connected
and finite-dimensional is the (unique) one-dimensional Hopf algebra. Indeed,
combining Lemma~\ref{l:foissy} with CMM and PBW (as in the proof of Theorem~\ref{t:main}) we have that $H\cong\mathcal{S}(V)$ as vector spaces, for some space $V$. But the only space $V$ for which the symmetric algebra is finite-dimensional is $V=0$. Hence $H\cong\field$.
The situation is of course different over fields of positive characteristic or for $(-1)$-Hopf algebras.
\end{remark}

\section{The case of cofree graded connected Hopf algebras}\label{s:cofree}

We study the characteristic polynomial and the trace of the antipode of a
graded connected Hopf algebra that, as a graded coalgebra, is cofree. Since the
former are invariant under duality, the results apply as well to graded connected Hopf algebras that are free as algebras. (We make no further mention of this point as we proceed.)

\subsection{Cofreeness}\label{ss:cofree}

A graded connected Hopf algebra $H$ is \demph{cofree} if,
 as a graded coalgebra, it is isomorphic to a \demph{deconcatenation}
coalgebra $\contra{\calT}(V)$ on a graded vector space $V$.
The underlying space of the latter is
\[
\contra{\calT}(V) := \bigoplus_{k\geq 0} V^{\otimes k}
\]
(the same as that of the tensor algebra $\mathcal T(V)$). The coproduct on a $k$-fold tensor is
\[
\Delta(x_1\cdots x_k) = 1\otimes (x_1\cdots x_k)+\sum_{i=1}^{k-1} (x_1\cdots x_i) \otimes (x_{i+1}\cdots x_k) + (x_1\cdots x_k)\otimes 1.
\]
For more details, see~\cite[\S 2.6]{AguMah:2010} or~\cite[\S 4.5]{Rad:2012}.

In this situation, we have
\[
H^{(m)} \cong \bigoplus_{k=0}^m V^{\otimes k} \quad\hbox{and}\quad \calP(H)\cong V
\]
as graded vector spaces.

The \demph{shuffle product} of two tensors $x_1\ldots x_i$ and $x_{i+1}\ldots x_k$
is the following element of $\contra{\calT}(V)$:
\[
\sum_{\sigma} x_{\sigma^{-1}(1)}\ldots x_{\sigma^{-1}(k)},
\]
where the sum is over all permutations $\sigma\in S_k$ such that
\[
\sigma(1)<\cdots<\sigma(i) \quad\hbox{and}\quad \sigma(i+1)<\cdots<\sigma(k).
\]
The shuffle product turns the deconcatenation coalgebra $\contra{\calT}(V)$
into a commutative graded connected Hopf algebra. The antipode acts on a tensor
by reversing the components:
\begin{equation}\label{eq:ant-shuffle}
\mathrm{S}(x_1x_2\dotsb x_k) = (-1)^k x_k\dotsb x_2x_1.
\end{equation}

Under the assumption of cofreeness, the following stronger version
of Lemma~\ref{l:foissy} is available.

\begin{lemma}\label{l:as05}
Let $H$  be a graded connected Hopf algebra that is cofree as a graded coalgebra.
Then
\[
\gr H \cong \contra{\calT}(V)
\]
as graded Hopf algebras, where $V=\calP(H)$.
\end{lemma}
This result appears in \cite[Prop. 1.5]{AguSot:2005}.

\subsection{Palindromes and Lyndon words}\label{ss:pal-lyn}

A (weighted) \demph{alphabet} is a set that is graded by the positive integers and whose  homogeneous components are finite. The elements of degree $n$
 are called \demph{letters of weight} $n$. A \demph{word} is a sequence of letters in the alphabet and a \demph{palindrome} is a word
that coincides with its reversal.
The \demph{length} of a word is the number of letters, and the \demph{weight} of a word is the sum
of the weights of its letters.

Given an alphabet, let
\[
\pal(m) \quad\hbox{and}\quad \nopal(m)
\]
denote the number of palindromes of weight $m$, and the number of non-palindromic words
of weight $m$, respectively. Also, let
\[
\epal(m) \quad\hbox{and}\quad \opal(m)
\]
denote the number of palindromes of weight $m$ of even and odd length, respectively,
and let
\[
\pal(k,m)
\]
denote the number of palindromes of length $k$ and weight $m$.

\smallskip

Assume now that a cofree graded connected Hopf algebra $H$ is given.
Thus, $H\cong\contra{\calT}(V)$ as graded coalgebras, with $V=\calP(H)$.
Let
\[
v_n := \dim V_n
\]
denote the dimension of the space of homogeneous primitive elements of degree $n$.
Let $h_n$ and $g_n$ be as in Proposition~\ref{p:main}, so $(h_n)$ is the dimension
sequence of $H$ and $(g_n)$ is the dimension sequence of $\calP(\widetilde H}% {H^\dagger)$.
Since $H\cong \contra{\calT}(V)$ as graded vector spaces, we have
\begin{equation}\label{eq:geometric}
1+\sum_{m\geq 1} h_m t^m = \frac{1}{1-\sum_{n\geq 1} v_n t^n}.
\end{equation}
Together with~\eqref{eq:alt eul}, this yields
\begin{equation}\label{eq:Witt}
1- \sum_{n\geq 1} v_n t^n =  \prod_{i\geq1} \bigl(1-t^i\bigr)^{g_i}.
\end{equation}
In particular, the sequences $(h_n)$, $(g_n)$, and $(v_n)$ determine each other.

Fix a homogeneous basis of $V$, and let it be our alphabet. Thus,
there are $v_n$ letters of weight $n$. Equation~\eqref{eq:geometric} then says that
 $h_m$ is the total number of words of weight $m$. In particular,
\[
\nopal(m) = h_m - \epal(m) - \opal(m).
\]
Equation~\eqref{eq:Witt} says that $g_i$ is the number of \emph{Lyndon words} of weight $i$ in the given alphabet.
Then equation~\eqref{eq:eul} says that $\mul(k,m)$ counts the number of multisets of Lyndon words of cardinality $k$ and total weight $m$.
\emph{Witt's formula}~\cite[Thm. 2.2]{KanKim:1996} provides
an explicit formula for $(g_n)$ in terms of $(v_n)$:
\begin{equation}\label{eq:Witt2}
g_n = \sum_{d|n} \frac{ \mu(d)}{d} \sum_{\lambda\,\vdash\, n/d} \frac{\bigl(\ell(\lambda)-1\bigr)!}{\lambda!} v^\lambda,
\end{equation}
where $\mu(d)$ is the classical M\"obius function, the inner sum is over all partitions $\lambda=1^{k_1}2^{k_2}\cdots r^{k_r}$ of $n/d$, $\ell(\lambda)=k_1+k_2+\cdots+k_r$, $\lambda!=k_1! k_2!\cdots k_r!$, and
\[
v^\lambda := v_1^{k_1} v_2^{k_2}\cdots v_r^{k_r}.
\]
(The special case of~\eqref{eq:Witt2} in which all letters are of weight $1$ appears in
 \cite[Cor. 5.3.5]{Lot:1997} and  \cite[Cor. 4.14]{Reu:1993}.)

\subsection{Characteristic polynomial and trace of the antipode in the cofree case}\label{ss:char-cofree}

As an alternative to~\eqref{eq:char poly} and~\eqref{eq:trace-antipode},
we have the following expressions for the characteristic polynomial and trace of the antipode of a cofree graded connected Hopf algebra $H$.

\begin{theorem}\label{t:pal}
For $H$ as above and any nonnegative integer $m$,
\begin{equation}\label{eq:S pal}
  \chi\bigl(\mathrm{S}\big\vert_{H_m}\bigr)(x) = (x+1)^{\opal(m)}(x-1)^{\epal(m)}(x^2-1)^{\nopal(m)/2}.
\end{equation}
\end{theorem}

\begin{proof}
By Lemma~\ref{l:as05}, $\gr H$ is isomorphic to the Hopf algebra $\contra{\calT}(V)$, where
the latter is equipped with the shuffle product and the deconcatenation coproduct.
As in Theorem~\ref{t:main}, it suffices to analyze the antipode $\mathrm{S}$ of this Hopf algebra.

Now, it follows from~\eqref{eq:ant-shuffle} that each palindrome yields an eigenvector of $\mathrm{S}$.
The eigenvalue is $\pm 1$ according to the parity of the length. This explains the first two factors in~\eqref{eq:S pal}. The non-palindromic words pair up with their reversals and organize in $2\times 2$ blocks of the
form
\[
\pm\begin{pmatrix}
 0 &  1\\  1 & 0
\end{pmatrix}
\]
where the sign again depends on the parity of the length. This accounts for the remaining factor.
\end{proof}

As an immediate consequence, we have:

\begin{corollary}\label{c:pal}
For $H$ as above and any nonnegative integer $m$,
\begin{equation}\label{eq:S trace}
  \operatorname{trace}\bigl(\mathrm{S}\big\vert_{H_m}\bigr) = \epal(m) - \opal(m) = \sum_{k=0}^m (-1)^k\pal(k,m).
\end{equation}
\end{corollary}

Since there are no palindromes of even length and odd weight, \eqref{eq:S pal} and \eqref{eq:S trace} imply
\[
 \chi\bigl(\mathrm{S}\big\vert_{H_m}\bigr)(x) = (x+1)^{\pal(m)} (x^2-1)^{\nopal(m)/2}
\]
and
\[
\operatorname{trace}\bigl(\mathrm{S}\big\vert_{H_m}\bigr) =  - \pal(m)
\]
for all odd $m$.

\begin{example}\label{eg:geometric2}
Let $V$ be an $r$-dimensional vector space. We view it as a graded vector space
concentrated in degree $1$ and consider the Hopf algebra $\contra{\calT}(V)$. Our alphabet
consists of $r$ letters of weight $1$, and the palindrome distribution is
\[
\pal(k,m) = \begin{cases}
r^k & \text{ if $m=2k$,} \\
r^{k+1}         & \text{ if $m=2k+1$,}\\
0 & \text{ otherwise.}
\end{cases}
\]
It follows from~\eqref{eq:S trace} that
\[
\operatorname{trace}\bigl(\mathrm{S}\big\vert_{H_m}\bigr)=
\begin{cases}
r^{m/2} & \text{ if $m$ is even,} \\
-r^{(m+1)/2}         & \text{ if $m$ is odd.}
\end{cases}
\]
We arrived at the same conclusion by different means in Example~\ref{eg:geometric}.
\end{example}

We return to the general discussion. {}From~\eqref{eq:trace-antipode} and~\eqref{eq:S trace} we deduce
\begin{equation}\label{eq:pal-eul}
  \epal(m) - \opal(m)  =  \emul(m) - \omul(m),
\end{equation}
or equivalently,
\begin{equation}\label{eq:pal-eul2}
  \sum_{k=0}^m (-1)^k\pal(k,m)  =  \sum_{k=0}^m (-1)^k\mul(k,m).
\end{equation}
In general, the pairs $(\epal,\opal)$ and $(\emul,\omul)$,
as well as the triangular arrays $\pal$ and $\mul$, are different.

\begin{example}\label{eg:MR2}
Consider again the Malvenuto--Reutenauer Hopf algebra $\frakS\sym$.
We compare the integers $\mul(k,m)$ and $\pal(k,m)$ for low values of $k$ and $m$.

$\frakS\sym$ is cofree and the relevant alphabet is the set of permutations with no global descents; see \cite[Cor. 6.3]{AguSot:2005}.
On the component of degree $m=3$, we have the following distribution of palindromes.
\begin{center}
\begin{tabular}{l@{\quad}|@{\quad}c@{\qquad}c@{\qquad}c}
length ($k$) & 1  &  2  &  3  \\
\hline
permutations & $123, 132, 213$  &  $231,312$  &  $321$ \\
words on alphabet  & $123, 132, 213$  &  $12\cmrg1, 1\cmrg12$  &  $1\cmrg1\cmrg1$ \\
\hline
$\pal(k,3)$ & 3 & 0 & 1
\end{tabular}
\end{center}
Beneath each permutation, we recorded its expression as words in the alphabet.
Counting those words that are palindromic we obtained the integers $\pal(k,3)$.

The integer $v_m$ is the number of permutations of $m$ elements with no global descents.
The integers $(g_m)$ are calculated from either \eqref{eq:alt eul}
or~\eqref{eq:Witt}. The first few values are as follows.
\begin{center}
\begin{tabular}{c@{\quad}|@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c}
$m$ & 1  &  2  &  3  & 4 & 5 & 6\\
\hline
$v_m$ & $1$  &  $1$  &  $3$ & $13$ &  $71$ & $461$\\
$g_m$  & $1$  &  $1$  &  $4$  & $17$ & $92$ & $572$ \\
\end{tabular}
\end{center}
The sequences $(v_m)$ and $(g_m)$ are  A003319 and A112354 in \cite{oeis}, respectively.
Finally, the integers $\mul(k,m)$ are computed from \eqref{eq:eul}.
For $m=3$ we find the following.
\begin{center}
\begin{tabular}{c@{\quad}|@{\quad}c@{\quad}c@{\quad}c}
$k$ & 1  &  2  &  3  \\
\hline
$\mul(k,3)$ & $4$  &  $1$  &  $1$
\end{tabular}
\end{center}

Beyond $m=3$, the integers $\mul(k,m)$ and $\pal(k,m)$ differ more drastically; see Figure \ref{f:triangles}. However, the alternating sum of the entries in each column is the same for both arrays,
as predicted by~\eqref{eq:pal-eul2}.
\begin{figure}[htb]
\centering
\subfigure[The array $\mul(k,m)$.]{
\begin{tabular}[c]{@{\,}c|c@{\ \ \ }c@{\ \ \ }c@{\ \ \ }c@{\ \ \ }c@{\ \ \ }c@{\ \ \ }c@{\,}}
	$k$ $\backslash$ $m$ & 1 & 2 & 3 & 4 & 5 & 6 \\
	\hline
	1 & 1 & 1 & 4 & 17 & 92 & 572 \\
	2 & & 1 & 1 & 5 & 21 & 119 \\
	3 &&& 1 & 1 & 5 & 22 \\
	4 &&&& 1 & 1  & 5 \\
	5 &&&&& 1 & 1 \\
	6 &&&&&& 1 \\
	\end{tabular}
}
\quad\quad
\subfigure[The array $\pal(k,m)$.]{
\begin{tabular}[c]{@{\,}c|c@{\ \ \ }c@{\ \ \ }c@{\ \ \ }c@{\ \ \ }c@{\ \ \ }c@{\ \ \ }c@{\,}}
	$k$ $\backslash$ $m$ & 1 & 2 & 3 & 4 & 5 & 6 \\
	\hline
	1 & 1 & 1 & 3 & 13 & 71  & 461 \\
	2 &  & 1 & 0 & 1 & 0 & 3 \\
	3 &  &  & 1 & 1 & 4 & 14  \\
	4 &  &  &  & 1 & 0 & 2   \\
	5 &  &  &  &  & 1 & 1  \\
	6 &  &  &  &  &  & 1 \\
	\end{tabular}
}
\caption{The arrays $\mul(k,m)$ and $\pal(k,m)$ for $\frakS\sym$.}
\label{f:triangles}
\end{figure}
\end{example}

\subsection{Generating functions}\label{ss:genfun}

We continue to employ the notation of Section~\ref{ss:pal-lyn}. Let
\[
v(t) := \sum_{n\geq 1} v_n t^n
\]
be the generating function for the dimension sequence of $V$.

We have the following generating functions for even and odd palindromes.
The functions are bivariate to account for length and weight.

\begin{proposition}\label{p:genfun-pal}
\begin{align}
\label{eq:genfun-epal}
\sum_{k,m\geq 0} \pal(2k,m)\,s^k t^m & = \frac{1}{1-s v(t^2)},\\
\label{eq:genfun-opal}
\sum_{k,m\geq 0} \pal(2k+1,m)\,s^k t^m & = \frac{v(t)}{1-s v(t^2)}.
\end{align}
\end{proposition}
\begin{proof}
Consider a palindrome of even length $2k$. Removing the first and last letters (which are equal), yields a palindrome of length $2k-2$. The weights of the two palindromes differ by twice the weight of this letter. Therefore,
\[
\pal(2k,m) = v_1\pal(2k-2,m-2) + v_2\pal(2k-2,m-4)+\cdots.
\]
This recursion leads at once to~\eqref{eq:genfun-epal}. A similar argument establishes~\eqref{eq:genfun-opal}.
\end{proof}

\begin{corollary}\label{c:genfun-trace}
\begin{equation}\label{eq:genfun-trace}
\sum_{m\geq 0} \operatorname{trace}\bigl(\mathrm{S}\big\vert_{H_m}\bigr)\, t^m = \frac{1-v(t)}{1-v(t^2)}.
\end{equation}
\end{corollary}
\begin{proof}
This follows by subtracting~\eqref{eq:genfun-opal} from~\eqref{eq:genfun-epal}, letting $s=1$,
and employing~\eqref{eq:S trace}.
\end{proof}

\begin{remark}
Corollary~\ref{c:genfun-trace} is a special case of Corollary~\ref{c:trace-antipode-gen},
in view of~\eqref{eq:geometric}. The above may be regarded as a \emph{semicombinatorial} proof of this result, which is possible under the cofreeness assumption.
\end{remark}

\section{Examples}\label{s:apps}

We carry out explicit calculations for the Hopf algebra of symmetric functions and a few related Hopf algebras, focusing on the trace of the antipode. They offer no difficulty,
as explicit formulas for the antipodes of these Hopf algebras are known. Our purpose here is simply to illustrate some of the results from the preceding sections.

The paper \cite{ABS:2006} contains a concise description of each of the Hopf algebras
discussed in this section. Other references are given as we proceed.

\subsection{Symmetric functions}\label{ss:sym}

Consider the Hopf algebra of symmetric functions $H = \textsl{Sym}$. See \cite[Ch.I]{Mac:1995} for the results used below.
On the basis of Schur functions, the antipode acts by
$\mathrm{S}(s_{\lambda}) = (-1)^{\abs{\lambda}}s_{\lambda'}$, where $\lambda'$ is the partition conjugate to $\lambda$.
Therefore,
\begin{equation}\label{eq:apode-sym}
\operatorname{trace}\bigl(\mathrm{S}\big\vert_{H_m}\bigr) = (-1)^m c(m),
\end{equation}
where $c(m)$ is the number of self-conjugate partitions of $m$.

We turn to Corollary~\ref{c:trace-power}.
For this Hopf algebra, $g_i=1$ for all $i\geq1$.
Hence $ \binom{\underline{g}}{\lambda} = 1$ for all $\lambda$, and $\mul(k,m) = p_k(m)$, the number of partitions of $m$ into $k$ parts. {}From~\eqref{eq:trace-antipode} we deduce
\begin{equation}\label{eq:self-conj}
(-1)^m c(m)   = \sum_{k=0}^m (-1)^k p_k(m).
\end{equation}
(Note that $p_0(m)=0$ for $m>0$.)
The number of odd parts in a partition of $m$ has the same parity as $m$. Hence, the previous identity is equivalent to
\begin{equation}\label{eq:self-conj2}
c(m) = e(m) - o(m),
\end{equation}
where $e(m)$ and $o(m)$ denote the number of partitions of $m$ with an even number
of even parts, and with an odd number of even parts, respectively.
This identity appears in~\cite[Ex. 1.60]{Aig:2007} and \cite[Ch. 1, Ex. 22.b]{Sta:2012}.

It is possible to obtain this result more directly as follows.
Consider the power sum basis of $\textsl{Sym}$. Since $\mathrm{S}(p_\lambda) = (-1)^{\ell(\lambda)}p_\lambda$, we have
\begin{equation}\label{eq:apode-sym2}
\operatorname{trace}(\left.\mathrm{S}\right\vert_{H_m}) = p_e(m) - p_o(m),
\end{equation}
where $p_e(m)$ and $p_o(m)$ are the number of partitions of $m$ of even length
and of odd length, respectively.
Equating~\eqref{eq:apode-sym} and~\eqref{eq:apode-sym2} gives~\eqref{eq:self-conj} again.

We further illustrate Corollary~\ref{c:trace-power} by deriving certain
identities involving the Littlewood--Richardson coefficients $c_{\mu,\nu}^{\,\lambda}$.
Recall that the latter are the structure constants for both the product and coproduct
on the Schur basis of $\textsl{Sym}$:
\[
	 s_\mu \cdot s_\nu = \sum_\lambda c_{\mu,\nu}^{\,\lambda} \, s_\lambda
	 \quad\quad\hbox{and}\quad\quad
	 \Delta(s_\lambda)  = \sum_{\mu,\nu} c_{\mu,\nu}^{\,\lambda} \, s_\mu\otimes s_\nu.
\]
Formula~\eqref{eq:trace-power} (with $n=\pm 2$) yields the following identities,
for all $m\geq 1$:
\begin{gather}
\sum_{\lambda,\mu,\nu \vdash m} (c_{\mu,\nu}^{\,\lambda})^2 \ = \
\sum_{k=1}^m \,2^k\, p_k(m)
\end{gather}
and
\begin{gather}
 \sum_{\lambda,\mu,\nu \vdash m} c_{\mu,\nu}^{\,\lambda}c_{\mu',\nu'}^{\,\lambda} \ = \
 \sum_{k=1}^m \,(-1)^{m-k}\, 2^k\, p_k(m).
\end{gather}
 Incidentally, the fact that the antipode preserves (co)products says that $c_{\mu,\nu}^{\,\lambda}=c_{\mu',\nu'}^{\,\lambda'}$.

\subsection{Schur $P$-functions}\label{ss:oddsym}

A partition of an integer is \demph{strict} if its parts are all distinct.
It is \demph{odd} if each of its parts is odd.

Let $\lambda$ be a strict  partition and $P_\lambda\in\textsl{Sym}$
the corresponding \emph{Schur $P$-function}, as in \cite[III.8]{Mac:1995}.
Let $H$ be the subspace of $\textsl{Sym}$ spanned by the $P_\lambda$, as $\lambda$
runs over all strict partitions. Then $H$ is a Hopf subalgebra of $\textsl{Sym}$. We have
\begin{equation}\label{eq:apode-strict}
	\mathrm{S}(P_\lambda) = (-1)^{\abs{\lambda}} P_\lambda.
\end{equation}
Therefore,
\[
	\operatorname{trace}(\left.\mathrm{S}\right\vert_{H_m}) = (-1)^m p_d(m),
\]
where $p_d(m)$ is the number of strict partitions of $m$.

It is known that $H$ is the subalgebra of $\textsl{Sym}$
generated by the odd power sums $p_{2i+1}$, $i\geq 0$. Therefore,
\begin{equation}\label{eq:apode-odd}
\operatorname{trace}(\left.\mathrm{S}\right\vert_{H_m}) = (-1)^m p_o(m),
\end{equation}
where $p_o(m)$ is the number of odd partitions of $m$. Equating~\eqref{eq:apode-strict}
and~\eqref{eq:apode-odd} recovers the classical fact that odd and strict partitions are equinumerous~\cite[Prop. 1.8.5]{Sta:2012}.

Regarding the quantities in Proposition~\ref{p:main}, we have that $g_i=1$ if $i$ is odd
and $0$ otherwise.
It follows that $\binom{\underline{g}}{\lambda} = 1$ when $\lambda$ is
odd and $\binom{\underline{g}}{\lambda} = 0$ otherwise.
Therefore, $\mul(k,m)$ is the number of
odd partitions of $m$ of length $k$. In an odd partition, the parities of $m$ and $k$
are the same. Thus, identity~\eqref{eq:trace-antipode} simply counts
odd partitions according to their length.

\subsection{Quasisymmetric functions}\label{ss:qsym}

Let us turn to the Hopf algebra $H=\textsl{QSym}$ of quasisymmetric functions.
Consider the \emph{fundamental} and \emph{monomial}
quasisymmetric functions, denoted by $F_\alpha$ and
 $M_\alpha$, respectively. As $\alpha$ runs over the compositions of $m$,
 both $\{F_\alpha\}$ and $\{M_\alpha\}$ constitute bases of $H_m$.

 The antipode has the following descriptions:
\[
	\mathrm{S}(F_\alpha) = (-1)^m F_{\rev{\alpha}'}
	\quad\hbox{and}\quad
	\mathrm{S}(M_\alpha) = (-1)^{\length{\alpha}} \sum_{\beta \leq \alpha} M_{\rev{\beta}},
\]
where $\rev \gamma$ is the reversal of $\gamma$, $\gamma'$ is its conjugate
(obtained by reflecting the ribbon diagram of $\gamma$ across the main diagonal), and $\leq$ is the refinement partial order on compositions.
Note that $\alpha = \rev{\alpha}'$ if and only if $\alpha$ is symmetric with respect to reflection across the anti-diagonal. There are precisely $2^{(m-1)/2}$ of these when $m$ is odd, and zero when $m$ is even. Calculating the trace on the fundamental basis
we thus obtain
\begin{gather}\label{eq:qsym}
\operatorname{trace}(\left.\mathrm{S}\right\vert_{H_m}) = \begin{cases}
-2^{(m-1)/2} & \text{ if $m$ is odd,} \\
  0       & \text{ otherwise.}
\end{cases}
\end{gather}
The compositions $\alpha$ that contribute to the trace on the monomial basis
satisfy $\rev{\alpha}\leq\alpha$. Since reversal is an order-preserving involution,
this happens if and only if $\rev{\alpha}=\alpha$, that is,
when $\alpha$ is palindromic. Let $\pal(m)$
 denote the number of palindromic compositions of $m$.
 If $m$ is even, exactly half of the palindromic compositions of $m$ have odd length;
 if $m$ is odd, all of them do. We conclude that
\begin{gather}\label{eq:qsym2}
\operatorname{trace}(\left.\mathrm{S}\right\vert_{H_m}) = \begin{cases}
-\pal(m) & \text{ if $m$ is odd,} \\
  0       & \text{ otherwise.}
\end{cases}
\end{gather}
One may arrive at the same identity from~\eqref{eq:S trace}.

Equating~\eqref{eq:qsym} and~\eqref{eq:qsym2} we deduce that, for all odd $m$,
\[
 \pal(m) = 2^{(m-1)/2}.
\]
It is easy to give a direct proof of this fact (and of $\pal(m) = 2^{\lfloor m/2\rfloor}$ for all $m\geq0$).

$\textsl{QSym}$ is cofree, so Theorem~\ref{t:pal} applies. The space of
primitive elements is spanned by the monomials $M_{(n)}$, for $n\geq 1$.
One finds that
\[
	\pal(k,m) = \begin{cases}
		\displaystyle\binom{\lceil m/2 \rceil-1}{\lceil k/2\rceil-1} &\hbox{if $m$ is even, or if $m$ is odd and $k$ is odd}, \\[1.5ex]
		\hskip2.5em 0 &\hbox{if $m$ is odd and $k$ is even}.
		\end{cases}
\]
Formula~\eqref{eq:S trace} boils down in this case to the basic identities $2^h=\sum_{j=0}^h \binom{h}{j}$ and $0^h = \sum_{j=0}^h (-1)^j\binom{h}{j}$.

Regarding the quantities in Proposition~\ref{p:main}, we have by~\eqref{eq:Witt} that $g_i$ is the
number of Lyndon words of weight $i$ in an alphabet with one letter of weight $n$ for each $n\geq 1$. This number is given by $g_1=1$ and
\[
g_i = \frac{1}{i} \sum_{d|i} \mu(d)\,2^{i/d}
\]
for $i\geq 2$~\cite[Prop. 2.3]{KanKim:1996}.

\subsection{Peak quasisymmetric functions}\label{ss:peakqsym}

Let $H$ be the Hopf algebra of \emph{peak} quasisymmetric functions \cite{Ste:1997}. It is
a Hopf subalgebra of $\textsl{QSym}$, with a basis $\theta_\alpha$ indexed by compositions $\alpha$ into odd parts (\demph{odd compositions}). The number of odd compositions of $m$ is the Fibonacci number $f_m$ (with $f_0=f_{1}=f_2=1$).

A formula for the antipode of $H$ is given in \cite{BHvW:2003}:
\[
	\mathrm{S}(\theta_\alpha) = (-1)^{m}\theta_{\rev \alpha}.
\]
It follows that
\begin{equation}\label{eq:apode-peak}
	\operatorname{trace}(\left.\mathrm{S}\right\vert_{H_m}) = \begin{cases}
		f_{m/2}, & \hbox{if $m$ is even,} \\
		-f_{\lceil m/2 \rceil +1},& \hbox{if $m$ is odd,}
		\end{cases}
\end{equation}
(as palindromic odd compositions of $m$ arise from odd compositions of $m/2$).
One may arrive at the same identity from~\eqref{eq:S trace}.

As for $\textsl{QSym}$, $H$ is cofree. There is one primitive element of degree $n$ for
each odd $n$. One finds that
\[
	\pal(k,m) = \begin{cases}
		\displaystyle \hskip.25em \binom{(m+k)/4-1}{(m-k)/4} & \hbox{if $m$ is even and $4 \mid (m-k)$,} \\[2ex]
		\displaystyle \binom{\lfloor(m+k-1)/4\rfloor}{\lfloor(m-k+1)/4\rfloor} & \hbox{if $m$ and $k$ are odd,} \\[2ex]
		\hskip3.5em 0 & \hbox{otherwise.}
		\end{cases}
\]
Information about these numbers can be found in \cite[A046854 and A168561]{oeis}.

Formula~\eqref{eq:S trace} yields the following basic identities:
\[
f_h = \sum_{j=0}^{\lfloor h/2\rfloor} \binom{h-j-1}{j}  \ \hbox{for $h\geq 0$} \ \ \quad\hbox{and}\quad \ \
f_h = \sum_{j=0}^{h-2} \binom{\lfloor\frac{h+j}{2} \rfloor-1}{\lfloor\frac{h-j}{2}\rfloor-1} \ \hbox{for $h\geq 2$.}
\]

Rings and Algebras (math.RA); Combinatorics (math.CO)