Canadian Mathematical Society
Canadian Mathematical Society
  location:  Publicationsjournals
Search results

Search: All articles in the CJM digital archive with keyword Lie

  Expand all        Collapse all Results 1 - 25 of 52

1. CJM Online first

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 Online first

Cordero-Erausquin, Dario
Transport inequalities for log-concave measures, quantitative forms and applications
We review some simple techniques based on monotone mass transport that allow us to obtain transport-type inequalities for any log-concave probability measure, and for more general measures as well. We discuss quantitative forms of these inequalities, with application to the Brascamp-Lieb variance inequality.

Keywords:log-concave measures, transport inequality, Brascamp-Lieb 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 Bochner-Riesz type
Categories:42A85, 42B99, 42B15, 42A61

4. CJM Online first

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 almost-disjoint families, template forcing iterations, isomorphism-of-names
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$ non-trivial, $G$-invariant, orbital measures is absolutely continuous with respect to Lebesgue measure on $\mathfrak{g}$ and the sum of any $d$ non-trivial orbits has non-empty 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 non-empty 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)

Greenberg, Matthew; Seveso, Marco
$p$-adic Families of Cohomological Modular Forms for Indefinite Quaternion Algebras and the Jacquet-Langlands Correspondence
We use the method of Ash and Stevens to prove the existence of small slope $p$-adic families of cohomological modular forms for an indefinite quaternion algebra $B$. We prove that the Jacquet-Langlands correspondence relating modular forms on $\textbf{GL}_2/\mathbb{Q}$ and cohomomological modular forms for $B$ is compatible with the formation of $p$-adic families. This result is an analogue of a theorem of Chenevier concerning definite quaternion algebras.

Keywords:modular forms, p-adic families, Jacquet-Langlands correspondence, Shimura curves, eigencurves
Categories:11F11, 11F67, 11F85

7. CJM 2016 (vol 69 pp. 453)

Marquis, Timothée; Neeb, Karl-Hermann
Isomorphisms of Twisted Hilbert Loop Algebras
The closest infinite dimensional relatives of compact Lie algebras are Hilbert-Lie 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 Hilbert-Lie 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 Hilbert-Lie algebra $\mathfrak{k}$, which we call standard. In this paper, we give for each affinisation $\mathfrak{g}$ of a simple Hilbert-Lie 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, Hilbert-Lie 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 Nevanlinna-Pick Spaces
We continue the investigation of the isomorphism problem for multiplier algebras of reproducing kernel Hilbert spaces with the complete Nevanlinna-Pick 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 Drury-Arveson space. Instead, we work directly with the Hilbert spaces and their reproducing kernels. In particular, we show that two multiplier algebras of Nevanlinna-Pick 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 Nevanlinna-Pick 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:non-selfadjoint operator algebras, reproducing kernel Hilbert spaces, multiplier algebra, Nevanlinna-Pick 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ékopa-Leindler Inequality
If $f,g:\mathbb{R}^n\longrightarrow\mathbb{R}_{\geq0}$ are non-negative measurable functions, then the Prékopa-Leindler 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ékopa-Leindler 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 so-called Borell-Brascamp-Lieb inequality.

Keywords:Prékopa-Leindler inequality, linearity, Asplund sum, projections, Borell-Brascamp-Lieb 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
Non-stable $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 two-dimensional split torus $\mathbf{G}_m^2$. We show that the natural map of non-stable $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 Yoshii-Neher) and the subgroup generated by exponential automorphisms.

Keywords:loop reductive group, non-stable $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 finite-dimensional 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 finite-dimensional representations of $\mathfrak{q}$. In the special case where $X$ is the torus, we obtain a classification of the irreducible finite-dimensional representations of the twisted loop queer superalgebra.

Keywords:Lie superalgebra, queer Lie superalgebra, loop superalgebra, equivariant map superalgebra, finite-dimensional representation, finite-dimensional module
Categories:17B65, 17B10

14. CJM 2015 (vol 67 pp. 827)

Kaniuth, Eberhard
The Bochner-Schoenberg-Eberlein 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 Bochner-Schoenberg-Eberlein property and the algebra of Bochner-Schoenberg-Eberlein 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, BSE-algebra, BSE-function
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 (finite-dimensional) filiform Lie algebras over ${\mathbb C}$, using equations derived by Millionshchikov. In the infinite-dimensional 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 by-product, some fundamental representations of affine Kac-Moody 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 Beurling-Ahlfors 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 PBW-filtration 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 semi-direct 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 Bott-Samelson 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 Borel-Weil theorem and obtain a $q$-character formula for the characters of irreducible $Sp_{2n}$-modules via the Atiyah-Bott-Lefschetz 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 M-Weakly 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 M-weakly amenable if $A_M(G)$ has a bounded approximate identity. We will show that when $G$ is M-weakly 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 sub-Laplacian 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, sub-Laplacian
Categories:43A85, 44A12, 52A38

21. CJM 2012 (vol 65 pp. 82)

Félix, Yves; Halperin, Steve; Thomas, Jean-Claude
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, sigma-compactness, 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 vector-valued 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 ad-hoc methods which apply to weights defined by the product of periodic weights with functions of power type. Our vector-valued approach allow us to extend results to transference of maximal multipliers and provide transference of Littlewood-Paley 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 set-theoretic 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é-Birkhoff-Witt theorem, Hopf kernel, Lie kernel, primitive element, partition, composition, linear order, cyclic order, derangement
Categories:05A15, 05A20, 05E99, 16T05, 16T30, 18D10, 18D35
   1 2 3    

© Canadian Mathematical Society, 2017 :