1. CJM 2017 (vol 69 pp. 721)
 Allison, Bruce; Faulkner, John; Smirnov, Oleg

Weyl Images of Kantor Pairs
Kantor pairs arise naturally in the study of
$5$graded Lie algebras. In this article, we introduce
and study Kantor pairs with short Peirce gradings and relate
them to Lie algebras
graded by the root system of type
$\mathrm{BC}_2$.
This relationship
allows us to define so called Weyl images
of short Peirce graded Kantor pairs. We use Weyl images to construct
new examples of Kantor pairs, including a class of infinite
dimensional
central simple Kantor pairs over a field of characteristic $\ne
2$ or $3$, as well as a family of forms of a split
Kantor pair of type
$\mathrm{E}_6$.
Keywords:Kantor pair, graded Lie algebra, Jordan pair Categories:17B60, 17B70, 17C99, 17B65 

2. CJM 2017 (vol 69 pp. 481)
 CorderoErausquin, Dario

Transport Inequalities for Logconcave Measures, Quantitative Forms and Applications
We review some simple techniques based on monotone mass transport
that allow us to obtain transporttype inequalities for any
logconcave
probability measure, and for more general measures as well. We
discuss quantitative forms of these inequalities, with application
to the BrascampLieb variance inequality.
Keywords:logconcave measures, transport inequality, BrascampLieb inequality, quantitative inequalities Categories:52A40, 60E15, 49Q20 

3. CJM 2016 (vol 69 pp. 284)
 Chen, Xianghong; Seeger, Andreas

Convolution Powers of Salem Measures with Applications
We study the regularity of convolution powers for measures supported
on
Salem sets, and prove related results on Fourier restriction
and Fourier multipliers. In particular we show
that for $\alpha$ of the form
${d}/{n}$, $n=2,3,\dots$ there exist $\alpha$Salem measures
for which the $L^2$ Fourier restriction theorem holds in the
range $p\le \frac{2d}{2d\alpha}$.
The results rely on ideas of KÃ¶rner.
We extend some of his constructions to obtain upper regular $\alpha$Salem
measures, with sharp regularity results for $n$fold convolutions
for all $n\in \mathbb{N}$.
Keywords:convolution powers, Fourier restriction, Salem sets, Salem measures, random sparse sets, Fourier multipliers of BochnerRiesz type Categories:42A85, 42B99, 42B15, 42A61 

4. CJM 2016 (vol 69 pp. 502)
 Fischer, Vera; Mejia, Diego Alejandro

Splitting, Bounding, and Almost Disjointness Can Be Quite Different
We prove the consistency of
$$
\operatorname{add}(\mathcal{N})\lt
\operatorname{cov}(\mathcal{N})
\lt \mathfrak{p}=\mathfrak{s}
=\mathfrak{g}\lt \operatorname{add}(\mathcal{M})
= \operatorname{cof}(\mathcal{M}) \lt \mathfrak{a}
=\mathfrak{r}=\operatorname{non}(\mathcal{N})=\mathfrak{c}
$$
with $\mathrm{ZFC}$, where each of these cardinal
invariants assume arbitrary
uncountable regular values.
Keywords:cardinal characteristics of the continuum, splitting, bounding number, maximal almostdisjoint families, template forcing iterations, isomorphismofnames Categories:03E17, 03E35, 03E40 

5. CJM 2016 (vol 68 pp. 841)
 Gupta, Sanjiv Kumar; Hare, Kathryn

Characterizing the Absolute Continuity of the Convolution of Orbital Measures in a Classical Lie Algebra
Let $\mathfrak{g}$ be a compact, simple Lie algebra of dimension
$d$. It is
a classical result that the convolution of any $d$ nontrivial,
$G$invariant,
orbital measures is absolutely continuous with respect to
Lebesgue measure on $\mathfrak{g}$ and the sum of any $d$ nontrivial
orbits
has nonempty interior. The number $d$ was later reduced to the
rank of the
Lie algebra (or rank $+1$ in the case of type $A_{n}$). More
recently, the
minimal integer $k=k(X)$ such that the $k$fold convolution of
the orbital
measure supported on the orbit generated by $X$ is an absolutely
continuous
measure was calculated for each $X\in \mathfrak{g}$.
In this paper $\mathfrak{g}$ is any of the classical, compact,
simple Lie
algebras. We characterize the tuples $(X_{1},\dots,X_{L})$, with
$X_{i}\in
\mathfrak{g},$ which have the property that the convolution of
the $L$orbital
measures supported on the orbits generated by the $X_{i}$ is
absolutely continuous and, equivalently, the sum of their orbits
has
nonempty interior. The characterization depends on the Lie type
of
$\mathfrak{g}$ and the structure of the annihilating roots of
the $X_{i}$.
Such a characterization was previously known only for type $A_{n}$.
Keywords:compact Lie algebra, orbital measure, absolutely continuous measure Categories:43A80, 17B45, 58C35 

6. CJM 2016 (vol 68 pp. 961)
7. CJM 2016 (vol 69 pp. 453)
 Marquis, Timothée; Neeb, KarlHermann

Isomorphisms of Twisted Hilbert Loop Algebras
The closest infinite dimensional relatives of compact Lie algebras are HilbertLie algebras, i.e. real Hilbert spaces with a Lie
algebra
structure for which the scalar product is invariant.
Locally affine Lie algebras (LALAs)
correspond to double extensions of (twisted) loop algebras
over simple HilbertLie algebras $\mathfrak{k}$, also called
affinisations of $\mathfrak{k}$.
They possess a root space decomposition
whose corresponding root system is a locally affine root system
of one of the $7$ families $A_J^{(1)}$, $B_J^{(1)}$, $C_J^{(1)}$,
$D_J^{(1)}$, $B_J^{(2)}$, $C_J^{(2)}$ and $BC_J^{(2)}$ for some
infinite set $J$. To each of these types corresponds a ``minimal"
affinisation of some simple HilbertLie algebra $\mathfrak{k}$,
which we call standard.
In this paper, we give for each affinisation $\mathfrak{g}$ of
a simple HilbertLie algebra $\mathfrak{k}$ an explicit isomorphism
from $\mathfrak{g}$ to one of the standard affinisations of $\mathfrak{k}$. The existence of such an isomorphism could also be derived from
the classification
of locally affine root systems, but
for representation theoretic purposes it is crucial to obtain
it explicitly
as a deformation between two twists which is compatible
with the root decompositions.
We illustrate this by applying our isomorphism theorem to the
study of positive energy highest weight representations of $\mathfrak{g}$.
In subsequent work, the present paper will be used to obtain
a complete classification
of the positive energy highest weight representations of affinisations
of $\mathfrak{k}$.
Keywords:locally affine Lie algebra, HilbertLie algebra, positive energy representation Categories:17B65, 17B70, 17B22, 17B10 

8. CJM 2016 (vol 69 pp. 54)
 Hartz, Michael

On the Isomorphism Problem for Multiplier Algebras of NevanlinnaPick Spaces
We continue the investigation of the isomorphism problem for
multiplier algebras of reproducing kernel
Hilbert spaces with the complete NevanlinnaPick property.
In contrast to previous work in this area,
we do not study these spaces by identifying them with restrictions
of a universal space, namely the DruryArveson space.
Instead, we work directly with the Hilbert spaces and their
reproducing kernels. In particular,
we show that two multiplier algebras of NevanlinnaPick spaces
on the same set are equal if and only if the Hilbert
spaces are equal. Most of the article is devoted to the study
of a special class of
complete NevanlinnaPick spaces on homogeneous varieties. We
provide a complete
answer to the question of when two multiplier algebras of spaces
of this type
are algebraically or isometrically isomorphic. This generalizes
results of Davidson, Ramsey, Shalit,
and the author.
Keywords:nonselfadjoint operator algebras, reproducing kernel Hilbert spaces, multiplier algebra, NevanlinnaPick kernels, isomorphism problem Categories:47L30, 46E22, 47A13 

9. CJM 2016 (vol 68 pp. 762)
 Colesanti, Andrea; Gómez, Eugenia Saorín; Nicolás, Jesus Yepes

On a Linear Refinement of the PrÃ©kopaLeindler Inequality
If $f,g:\mathbb{R}^n\longrightarrow\mathbb{R}_{\geq0}$ are nonnegative measurable
functions, then the PrÃ©kopaLeindler inequality asserts that
the integral of the Asplund sum (provided that it is measurable)
is greater or equal than the $0$mean of the integrals of $f$
and $g$.
In this paper we prove that under the sole assumption that $f$
and $g$ have
a common projection onto a hyperplane, the PrÃ©kopaLeindler
inequality admits a linear refinement. Moreover, the same inequality
can be obtained when assuming that both projections (not necessarily
equal as functions) have the same integral. An analogous approach
may be also carried out for the socalled BorellBrascampLieb
inequality.
Keywords:PrÃ©kopaLeindler inequality, linearity, Asplund sum, projections, BorellBrascampLieb inequality Categories:52A40, 26D15, 26B25 

10. CJM 2016 (vol 68 pp. 698)
 Skalski, Adam; Sołtan, Piotr

Quantum Families of Invertible Maps and Related Problems
The notion of families of quantum invertible maps (C$^*$algebra
homomorphisms satisfying PodleÅ' condition) is employed to strengthen
and reinterpret several results concerning universal quantum
groups acting on finite quantum spaces. In particular Wang's
quantum automorphism groups are shown to be universal with respect
to quantum families of invertible maps. Further the construction
of the Hopf image of Banica and Bichon is phrased in the purely
analytic language and employed to define the quantum subgroup
generated by a family of quantum subgroups or more generally
a family of quantum invertible maps.
Keywords:quantum families of invertible maps, Hopf image, universal quantum group Categories:46L89, 46L65 

11. CJM 2016 (vol 68 pp. 309)
 Daws, Matthew

Categorical Aspects of Quantum Groups: Multipliers and Intrinsic Groups
We show that the assignment of the (left) completely bounded
multiplier algebra
$M_{cb}^l(L^1(\mathbb G))$ to a locally compact quantum group
$\mathbb G$, and
the assignment of the intrinsic group, form functors between
appropriate
categories. Morphisms of locally compact quantum
groups can be described by Hopf $*$homomorphisms between universal
$C^*$algebras, by bicharacters, or by special sorts of coactions.
We show that the whole
theory of completely bounded multipliers can be lifted to the
universal
$C^*$algebra level, and that then the different pictures of
both multipliers
(reduced, universal, and as centralisers)
and morphisms interact in extremely natural ways. The intrinsic
group of a
quantum group can be realised as a class of multipliers, and
so our techniques
immediately apply. We also show how to think of the intrinsic
group using
the universal $C^*$algebra picture, and then, again, show how
the differing
views on the intrinsic group interact naturally with morphisms.
We show that
the intrinsic group is the ``maximal classical'' quantum subgroup
of a locally
compact quantum group, show that it is even closed in the strong
Vaes sense,
and that the intrinsic group functor is an adjoint to the inclusion
functor
from locally compact groups to quantum groups.
Keywords:locally compact quantum group, morphism, intrinsic group, multiplier, centraliser Categories:20G42, 22D25, 43A22, 43A35, 43A95, 46L52, 46L89, 47L25 

12. CJM 2015 (vol 68 pp. 150)
 Stavrova, Anastasia

Nonstable $K_1$functors of Multiloop Groups
Let $k$ be a field of characteristic 0. Let $G$ be a reductive
group over the ring of Laurent polynomials
$R=k[x_1^{\pm 1},...,x_n^{\pm 1}]$. Assume that $G$ contains
a maximal $R$torus, and
that every semisimple normal subgroup of $G$ contains a twodimensional
split torus $\mathbf{G}_m^2$.
We show that the natural map of nonstable $K_1$functors, also
called Whitehead groups,
$K_1^G(R)\to K_1^G\bigl( k((x_1))...((x_n)) \bigr)$ is injective,
and an isomorphism if $G$ is semisimple.
As an application, we provide a way to compute the difference
between the
full automorphism group of a Lie torus (in the sense of YoshiiNeher)
and the subgroup generated by
exponential automorphisms.
Keywords:loop reductive group, nonstable $K_1$functor, Whitehead group, Laurent polynomials, Lie torus Categories:20G35, 19B99, 17B67 

13. CJM 2015 (vol 68 pp. 258)
 Calixto, Lucas; Moura, Adriano; Savage, Alistair

Equivariant Map Queer Lie Superalgebras
An equivariant map queer Lie superalgebra is the Lie superalgebra
of regular maps from an algebraic variety (or scheme) $X$ to
a queer Lie superalgebra $\mathfrak{q}$ that are equivariant with respect
to the action of a finite group $\Gamma$ acting on $X$ and $\mathfrak{q}$.
In this paper, we classify all irreducible finitedimensional
representations of the equivariant map queer Lie superalgebras
under the assumption that $\Gamma$ is abelian and acts freely
on $X$. We show that such representations are parameterized
by a certain set of $\Gamma$equivariant finitely supported maps
from $X$ to the set of isomorphism classes of irreducible finitedimensional
representations of $\mathfrak{q}$. In the special case where $X$ is the
torus, we obtain a classification of the irreducible finitedimensional
representations of the twisted loop queer superalgebra.
Keywords:Lie superalgebra, queer Lie superalgebra, loop superalgebra, equivariant map superalgebra, finitedimensional representation, finitedimensional module Categories:17B65, 17B10 

14. CJM 2015 (vol 67 pp. 827)
 Kaniuth, Eberhard

The BochnerSchoenbergEberlein Property and Spectral Synthesis for Certain Banach Algebra Products
Associated with two commutative Banach algebras $A$ and $B$ and
a character $\theta$ of $B$ is a certain Banach algebra product
$A\times_\theta B$, which is a splitting extension of $B$ by
$A$. We investigate two topics for the algebra $A\times_\theta
B$ in relation to the corresponding ones of $A$ and $B$. The
first one is the BochnerSchoenbergEberlein property and the
algebra of BochnerSchoenbergEberlein functions on the spectrum,
whereas the second one concerns the wide range of spectral synthesis
problems for $A\times_\theta B$.
Keywords:commutative Banach algebra, splitting extension, Gelfand spectrum, set of synthesis, weak spectral set, multiplier algebra, BSEalgebra, BSEfunction Categories:46J10, 46J25, 43A30, 43A45 

15. CJM 2014 (vol 67 pp. 55)
 Barron, Tatyana; Kerner, Dmitry; Tvalavadze, Marina

On Varieties of Lie Algebras of Maximal Class
We study complex projective varieties that parametrize
(finitedimensional) filiform Lie algebras over ${\mathbb C}$,
using equations derived by Millionshchikov. In the
infinitedimensional case we concentrate our attention on
${\mathbb N}$graded Lie algebras of maximal class. As shown by A.
Fialowski
there are only
three isomorphism types of $\mathbb{N}$graded Lie algebras
$L=\oplus^{\infty}_{i=1} L_i$ of maximal class generated by $L_1$
and $L_2$, $L=\langle L_1, L_2 \rangle$. Vergne described the
structure of these algebras with the property $L=\langle L_1
\rangle$. In this paper we study those generated by the first and
$q$th components where $q\gt 2$, $L=\langle L_1, L_q \rangle$. Under
some technical condition, there can only be one isomorphism type
of such algebras. For $q=3$ we fully classify them. This gives a
partial answer to a question posed by Millionshchikov.
Keywords:filiform Lie algebras, graded Lie algebras, projective varieties, topology, classification Categories:17B70, 14F45 

16. CJM 2014 (vol 67 pp. 573)
 Chen, Fulin; Gao, Yun; Jing, Naihuan; Tan, Shaobin

Twisted Vertex Operators and Unitary Lie Algebras
A representation of the central extension of the
unitary Lie algebra
coordinated with a skew Laurent polynomial ring
is constructed using vertex operators over an integral $\mathbb Z_2$lattice.
The irreducible decomposition of the representation is explicitly computed and described.
As a byproduct, some fundamental representations of affine
KacMoody Lie algebra of type $A_n^{(2)}$ are recovered
by the new method.
Keywords:Lie algebra, vertex operator, representation theory Categories:17B60, 17B69 

17. CJM 2014 (vol 66 pp. 1358)
 Osėkowski, Adam

Sharp Localized Inequalities for Fourier Multipliers
In the paper we study sharp localized $L^q\colon L^p$ estimates for
Fourier multipliers resulting from modulation of the jumps of
LÃ©vy
processes.
The proofs of these estimates rest on probabilistic methods and
exploit related sharp bounds for differentially subordinated
martingales, which are of independent interest. The lower bounds
for
the constants involve the analysis of laminates, a family of
certain
special probability measures on $2\times 2$ matrices. As an
application, we obtain new sharp bounds for the real and imaginary
parts of the BeurlingAhlfors operator .
Keywords:Fourier multiplier, martingale, laminate Categories:42B15, 60G44, 42B20 

18. CJM 2013 (vol 66 pp. 1250)
 Feigin, Evgeny; Finkelberg, Michael; Littelmann, Peter

Symplectic Degenerate Flag Varieties
A simple finite dimensional module $V_\lambda$ of a simple complex
algebraic group $G$ is naturally endowed with a filtration induced by the PBWfiltration
of $U(\mathrm{Lie}\, G)$. The associated graded space $V_\lambda^a$ is a module
for the group $G^a$, which can be roughly described as a semidirect product of a
Borel subgroup of $G$ and a large commutative unipotent group $\mathbb{G}_a^M$. In analogy
to the flag variety $\mathcal{F}_\lambda=G.[v_\lambda]\subset \mathbb{P}(V_\lambda)$,
we call the closure
$\overline{G^a.[v_\lambda]}\subset \mathbb{P}(V_\lambda^a)$
of the $G^a$orbit through the highest weight line the degenerate flag variety $\mathcal{F}^a_\lambda$.
In general this is a
singular variety, but we conjecture that it has many nice properties similar to
that of Schubert varieties. In this paper we consider the case of $G$ being the symplectic group.
The symplectic case is important for the conjecture
because it is the first known case where even for fundamental weights $\omega$ the varieties
$\mathcal{F}^a_\omega$ differ from $\mathcal{F}_\omega$. We give an explicit
construction of the varieties $Sp\mathcal{F}^a_\lambda$ and construct desingularizations,
similar to the BottSamelson resolutions in the classical case. We prove that $Sp\mathcal{F}^a_\lambda$
are normal locally complete intersections with terminal and rational singularities.
We also show that these varieties are Frobenius split. Using the above mentioned results, we
prove an analogue of the BorelWeil theorem and obtain a $q$character formula
for the characters of irreducible $Sp_{2n}$modules via the AtiyahBottLefschetz fixed
points formula.
Keywords:Lie algebras, flag varieties, symplectic groups, representations Categories:14M15, 22E46 

19. CJM 2013 (vol 65 pp. 1005)
 Forrest, Brian; Miao, Tianxuan

Uniformly Continuous Functionals and MWeakly Amenable Groups
Let $G$ be a locally compact group. Let $A_{M}(G)$ ($A_{0}(G)$)denote
the closure of $A(G)$, the Fourier algebra of $G$ in the space of
bounded (completely bounded) multipliers of $A(G)$.
We call a locally compact group Mweakly amenable if
$A_M(G)$
has a
bounded approximate identity. We will show that when $G$ is Mweakly
amenable, the algebras $A_{M}(G)$ and $A_{0}(G)$ have
properties that are characteristic of the Fourier algebra of an
amenable group. Along the way we show that the sets of tolopolically
invariant means associated with these algebras have the same
cardinality as those of the Fourier algebra.
Keywords:Fourier algebra, multipliers, weakly amenable, uniformly continuous functionals Categories:43A07, 43A22, 46J10, 47L25 

20. CJM 2012 (vol 66 pp. 700)
 He, Jianxun; Xiao, Jinsen

Inversion of the Radon Transform on the Free Nilpotent Lie Group of Step Two
Let $F_{2n,2}$ be the free nilpotent Lie group of step two on $2n$
generators, and let $\mathbf P$ denote the affine automorphism group
of $F_{2n,2}$. In this article the theory of continuous wavelet
transform on $F_{2n,2}$ associated with $\mathbf P$ is developed,
and then a type of radial wavelets is constructed. Secondly, the
Radon transform on $F_{2n,2}$ is studied and two equivalent
characterizations of the range for Radon transform are given.
Several kinds of inversion Radon transform formulae
are established. One is obtained from the Euclidean Fourier transform, the others are from group Fourier transform. By using wavelet transform we deduce an inversion formula of the Radon
transform, which
does not require the smoothness of
functions if the wavelet satisfies the differentiability property.
Specially, if $n=1$, $F_{2,2}$ is the $3$dimensional Heisenberg group $H^1$, the
inversion formula of the Radon transform is valid which is
associated with the subLaplacian on $F_{2,2}$. This result cannot
be extended to the case $n\geq 2$.
Keywords:Radon transform, wavelet transform, free nilpotent Lie group, unitary representation, inversion formula, subLaplacian Categories:43A85, 44A12, 52A38 

21. CJM 2012 (vol 65 pp. 82)
 Félix, Yves; Halperin, Steve; Thomas, JeanClaude

The Ranks of the Homotopy Groups of a Finite Dimensional Complex
Let $X$ be an
$n$dimensional, finite, simply connected CW complex and set
$\alpha_X =\limsup_i \frac{\log\mbox{ rank}\, \pi_i(X)}{i}$. When
$0\lt \alpha_X\lt \infty$, we give upper and lower bound for $
\sum_{i=k+2}^{k+n} \textrm{rank}\, \pi_i(X) $ for $k$ sufficiently
large. We show also for any $r$ that $\alpha_X$ can be estimated
from the integers rk$\,\pi_i(X)$, $i\leq nr$ with an error bound
depending explicitly on $r$.
Keywords:homotopy groups, graded Lie algebra, exponential growth, LS category Categories:55P35, 55P62, , , , 17B70 

22. CJM 2012 (vol 66 pp. 102)
 Birth, Lidia; Glöckner, Helge

Continuity of convolution of test functions on Lie groups
For a Lie group $G$, we show that the map
$C^\infty_c(G)\times C^\infty_c(G)\to C^\infty_c(G)$,
$(\gamma,\eta)\mapsto \gamma*\eta$
taking a pair of
test functions to their convolution is continuous if and only if $G$ is $\sigma$compact.
More generally, consider $r,s,t
\in \mathbb{N}_0\cup\{\infty\}$ with $t\leq r+s$, locally convex spaces $E_1$, $E_2$
and a continuous bilinear map $b\colon E_1\times E_2\to F$
to a complete locally convex space $F$.
Let $\beta\colon C^r_c(G,E_1)\times C^s_c(G,E_2)\to C^t_c(G,F)$,
$(\gamma,\eta)\mapsto \gamma *_b\eta$ be the associated convolution map.
The main result is a characterization of those $(G,r,s,t,b)$
for which $\beta$ is continuous.
Convolution
of compactly supported continuous functions on a locally compact group
is also discussed, as well as convolution of compactly supported $L^1$functions
and convolution of compactly supported Radon measures.
Keywords:Lie group, locally compact group, smooth function, compact support, test function, second countability, countable basis, sigmacompactness, convolution, continuity, seminorm, product estimates Categories:22E30, 46F05, 22D15, 42A85, 43A10, 43A15, 46A03, 46A13, 46E25 

23. CJM 2012 (vol 65 pp. 510)
 Blasco de la Cruz, Oscar; Villarroya Alvarez, Paco

Transference of vectorvalued multipliers on weighted $L^p$spaces
We prove
restriction and extension of multipliers between
weighted Lebesgue spaces with
two different weights, which belong to a class more general than periodic weights, and two different exponents of integrability which can be
below one.
We also develop some adhoc methods which apply to weights
defined by the product of periodic weights with functions of power type.
Our vectorvalued approach allow us to extend results
to transference of maximal multipliers and provide transference of LittlewoodPaley inequalities.
Keywords:Fourier multipliers, restriction theorems, weighted spaces Categories:42B15, 42B35 

24. CJM 2012 (vol 65 pp. 299)
 Grafakos, Loukas; Miyachi, Akihiko; Tomita, Naohito

On Multilinear Fourier Multipliers of Limited Smoothness
In this paper,
we prove certain $L^2$estimate
for multilinear Fourier multiplier operators
with multipliers of limited smoothness.
As a result,
we extend the result of CalderÃ³n and Torchinsky
in the linear theory to the multilinear case.
The sharpness of our results and some
related estimates in Hardy spaces
are also discussed.
Keywords:multilinear Fourier multipliers, HÃ¶rmander multiplier theorem, Hardy spaces Categories:42B15, 42B20 

25. CJM 2012 (vol 65 pp. 241)
 Aguiar, Marcelo; Lauve, Aaron

Lagrange's Theorem for Hopf Monoids in Species
Following Radford's proof of Lagrange's theorem for pointed Hopf algebras,
we prove Lagrange's theorem for Hopf monoids in the category of
connected species.
As a corollary, we obtain necessary conditions for a given subspecies
$\mathbf k$ of a Hopf monoid $\mathbf h$ to be a Hopf submonoid: the quotient of
any one of the generating series of $\mathbf h$ by the corresponding
generating series of $\mathbf k$ must have nonnegative coefficients. Other
corollaries include a necessary condition for a sequence of
nonnegative integers to be the
dimension sequence of a Hopf monoid
in the form of certain polynomial inequalities, and of
a settheoretic Hopf monoid in the form of certain linear inequalities.
The latter express that the binomial transform of the sequence must be nonnegative.
Keywords:Hopf monoids, species, graded Hopf algebras, Lagrange's theorem, generating series, PoincarÃ©BirkhoffWitt theorem, Hopf kernel, Lie kernel, primitive element, partition, composition, linear order, cyclic order, derangement Categories:05A15, 05A20, 05E99, 16T05, 16T30, 18D10, 18D35 
