It is well known that the category of comodules over a flat Hopf algebroid is abelian but typically fails to have enough projectives, and more generally, the category of graded comodules over a graded flat Hopf algebroid is abelian but typically fails to have enough projectives. In this short paper, we prove that the category of connective graded comodules over a connective, graded, flat, finite-type Hopf algebroid has enough projectives. Applications to algebraic topology are given: the Hopf algebroids of stable co-operations in complex bordism, Brown–Peterson homology, and classical mod p homology all have the property that their categories of connective graded comodules have enough projectives. We also prove that categories of connective graded comodules over appropriate Hopf algebras fail to be equivalent to categories of graded connective modules over a ring.

We settle several fundamental questions about the theory of universal deformation quantization of Lie bialgebras by giving their complete classification up to homotopy equivalence. Moreover, we settle these questions in a greater generality: we give a complete classification of the associated universal formality maps. An important new technical ingredient introduced in this paper is a polydifferential endofunctor ${\mathcal {D}}$ in the category of augmented props with the property that for any representation of a prop ${\mathcal {P}}$ in a vector space $V$ the associated prop ${\mathcal {D}}{\mathcal {P}}$ admits an induced representation on the graded commutative algebra $\odot ^\bullet V$ given in terms of polydifferential operators. Applying this functor to the minimal resolution $\widehat {\mathcal {L}\textit{ieb}}_\infty$ of the genus completed prop $\widehat {\mathcal {L}\textit{ieb}}$ of Lie bialgebras we show that universal formality maps for quantizations of Lie bialgebras are in one-to-one correspondence with morphisms of dg props

\[F: \mathcal{A}\textit{ssb}_\infty \longrightarrow {\mathcal{D}}\widehat{\mathcal{L}\textit{ieb}}_\infty \]

$\mathcal {A}\textit{ssb}_\infty$

$\mathfrak{A}$

${\mathcal {L}} ie_\infty$

${\mathcal {L}} ie_\infty$

$\mathsf {Def}({\mathcal {A}} ss{\mathcal {B}}_\infty \rightarrow {\mathcal {E}} nd_{\odot ^\bullet V})$

$\mathsf {Def}({\mathcal {L}} ie{\mathcal {B}}\rightarrow {\mathcal {E}} nd_V)$

$\odot V$

$V$

$\mathsf {Def}(\mathcal {A}\textit{ssb}_\infty \stackrel {F}{\rightarrow } {\mathcal {D}}\widehat {\mathcal {L}\textit{ieb}}_\infty )$

$\{F_\mathfrak{A}\}$

$GRT=GRT_1\rtimes {\mathbb {K}}^*$

$\{\mathfrak{A}\}$

We prove that every braiding over a unitary fusion category is unitary and every unitary braided fusion category admits a unique unitary ribbon structure.

Let $p$, $q$ be prime numbers with ${{p}^{2}}\,<\,q,\,n\,\in \,\mathbb{N}$, and $H$ a semisimple Hopf algebra of dimension $p{{q}^{n}}$ over an algebraically closed field of characteristic 0. This paper proves that $H$ must possess one of the following two structures: (1) $H$ is semisolvable; (2) $H$ is a Radford biproduct $R\#kG$, where $kG$ is the group algebra of group $G$ of order $p$ and $R$ is a semisimple Yetter–Drinfeld Hopf algebra in $_{kG}^{kG}y\mathcal{D}$ of dimension ${{q}^{n}}$.

A coassociative Lie algebra is a Lie algebra equipped with a coassociative coalgebra structure satisfying a compatibility condition. The enveloping algebra of a coassociative Lie algebra can be viewed as a coalgebraic deformation of the usual universal enveloping algebra of a Lie algebra. This new enveloping algebra provides interesting examples of non-commutative and non-cocommutative Hopf algebras and leads to the classification of connected Hopf algebras of Gelfand–Kirillov dimension four in Wang et al. (Trans. Amer. Math. Soc., to appear).

Recently, Beattie, Bulacu ,and Torrecillas proved Radford's formula for the fourth power of the antipode for a co-Frobenius Hopf algebra.

In this note, we show that this formula can be proved for any regular multiplier Hopf algebra with integrals (algebraic quantum groups). This, of course, not only includes the case of a finite-dimensional Hopf algebra, but also that of any Hopf algebra with integrals (co-Frobenius Hopf algebras). Moreover, it turns out that the proof in this more general situation, in fact, follows in a few lines from well-known formulas obtained earlier in the theory of regular multiplier Hopf algebras with integrals.

We discuss these formulas and their importance in this theory. We also mention their generalizations, in particular to the (in a certain sense) more general theory of locally compact quantum groups. Doing so, and also because the proof of the main result itself is very short, the present note becomes largely of an expository nature.

We introduce and study a remarkable family of real probability measures ${{\pi }_{st}}$ that we call free Bessel laws. These are related to the free Poisson law $\pi $ via the formulae ${{\text{ }\!\!\pi\!\!\text{ }}_{s1}}={{\text{ }\!\!\pi\!\!\text{ }}^{\boxtimes s}}$ and $\text{ }\pi {{\text{ }}_{1t}}=\text{ }\pi {{\text{ }}^{\boxtimes }}^{t}$. Our study includes definition and basic properties, analytic aspects (supports, atoms, densities), combinatorial aspects (functional transforms, moments, partitions), and a discussion of the relation with random matrices and quantum groups.

We develop a general theory of Hopf image of a Hopf algebra representation, with the associated concept of inner faithful representation, modelled on the notion of faithful representation of a discrete group. We study several examples, including group algebras, enveloping algebras of Lie algebras, pointed Hopf algebras, function algebras, twistings and cotwistings, and we present a Tannaka duality formulation of the notion of Hopf image.

Let G be a connected, simply connected, simple complex algebraic group and let ϵ be a primitive ℓth root of one, ℓ odd and 3∤ℓ if G is of type G2. We determine all Hopf algebra quotients of the quantized coordinate algebra 𝒪ϵ(G).

The consideration of tensor products of 0-Hecke algebramodules leads to natural analogs of the Bessel $J$-functions in the algebra of noncommutative symmetric functions. This provides a simple explanation of various combinatorial properties of Bessel functions.

This paper contributes to the classification problem of pq dimensional Hopf algebras H over an algebraically closed field k of characteristic 0, where p, q are odd primes. It is shown that such Hopf algebras H are semisimple for the pairs of odd primes (p, q)=(3,11),(3,13),(3,19),(5,17),(5,19),(5,23),(5,29),(7,17),(7,19),(7,23),(7,29),(11,29),(13,29).

We introduce a natural Hopf algebra structure on the space of noncommutative symmetric functions. The bases for this algebra are indexed by set partitions. We show that there exists a natural inclusion of the Hopf algebra of noncommutative symmetric functions in this larger space. We also consider this algebra as a subspace of noncommutative polynomials and use it to understand the structure of the spaces of harmonics and coinvariants with respect to this collection of noncommutative polynomials and conclude two analogues of Chevalley’s theorem in the noncommutative setting.

The Poisson and Martin boundaries for invariant random walks on the dual of the orthogonal quantum groups $A_{\mathrm{o}}(F)$ are identified with higher-dimensional Podleś spheres that we describe in terms of generators and relations. This provides the first such identification for random walks on non-amenable discrete quantum groups.

We construct a spectral sequence that computes the generalized homology E*(∏ Xα) of a product of spectra. The E2-term of this spectral sequence consists of the right derived functors of product in the category of E*E-comodules, and the spectral sequence always converges when E is the Johnson-Wilson theory E(n) and the Xα are Ln-local. We are able to prove some results about the E2-term of this spectral sequence; in particular, we show that the E(n)-homology of a product of E(n)-module spectra Xα is just the comodule product of the E(n)*Xα. This spectral sequence is relevant to the chromatic splitting conjecture.

A number of integral Hopf algebras have been studied that have, as their underlying modules, the free ${\bf Z}$-module generated by finite words in a certain alphabet. For example, the tensor algebra, the rings of quasisymmetric functions and of noncommutative symmetric functions, the Solomon descent algebra, the Malvenuto-Reutenauer algebra and the homology and cohomology of $\Omega\Sigma{\bf C} P^{\infty}$ are all of this type. Some of these are known to be isomorphic or dual to each other, some are known only to be rationally isomorphic, some have been stated in the literature to be isomorphic when they are only rationally isomorphic.

This paper is, in part, an attempt to find order in this chaos of word Hopf algebras. We consider three multiplications on such modules, and their dual comultiplications, and clarify which of these operations can be combined to obtain Hopf structures. We discuss when the results are isomorphic, integrally or rationally, and study the resulting structures. We are not attempting a classification of Hopf algebras of words, merely an organization of some of the Hopf algebras of this type that have been studied in the literature.

A combinatorial Hopf algebra is a graded connected Hopf algebra over a field $\Bbbk$ equipped with a character (multiplicative linear functional) $\zeta\colon{\mathcal H}\to \Bbbk$. We show that the terminal object in the category of combinatorial Hopf algebras is the algebra ${\mathcal Q}{\mathit{Sym}}$ of quasi-symmetric functions; this explains the ubiquity of quasi-symmetric functions as generating functions in combinatorics. We illustrate this with several examples. We prove that every character decomposes uniquely as a product of an even character and an odd character. Correspondingly, every combinatorial Hopf algebra $({\mathcal H},\zeta)$ possesses two canonical Hopf subalgebras on which the character $\zeta$ is even (respectively, odd). The odd subalgebra is defined by certain canonical relations which we call the generalized Dehn–Sommerville relations. We show that, for ${\mathcal H}={\mathcal Q}{\mathit{Sym}}$, the generalized Dehn–Sommerville relations are the Bayer–Billera relations and the odd subalgebra is the peak Hopf algebra of Stembridge. We prove that ${\mathcal Q}{\mathit{Sym}}$ is the product (in the categorical sense) of its even and odd Hopf subalgebras. We also calculate the odd subalgebras of various related combinatorial Hopf algebras: the Malvenuto–Reutenauer Hopf algebra of permutations, the Loday–Ronco Hopf algebra of planar binary trees, the Hopf algebras of symmetric functions and of non-commutative symmetric functions.

We prove that if H is a finite-dimensional semisimple Hopf algebra acting on a PI-algebra R of characteristic 0, and R is either affine or algebraic over k, then the Jacobson radical of R is H-stable. Under the same hypotheses, we show that the smash product algebra R#H is semiprimitive provided that R is H-semiprime. More generally we show that the ‘finite’ Jacobson radical is H-stable, and that R#H is semiprimitive provided that R is H-semiprimitive and all irreducible representations of R are finite-dimensional. We also consider R#H when R is an FCR-algebra. Finally, we prove a general relationship between stability of the radical and semiprimeness of R#H; in particular if for a given H, any action of H stabilizes the Jacobson radical, then also any action of H stabilizes the prime radical.

Standard codeterminants for Donkin's symplectic Schur algebra $\bar{S}(n,r)$ are defined. It is shown that they form a basis of $\bar{S}(n,r)$. They are then used to give a purely combinatorial proof that $\bar{S}(n,r)$ is quasi-hereditary.

Given a spectrum $X$, we construct a spectral sequence of $BP_{*}BP$-comodules that converges to $BP_{*}(L_{n}X)$, where $L_{n}X$ is the Bousfield localization of $X$ with respect to the Johnson–Wilson theory $E(n)_{*}$. The $E_{2}$-term of this spectral sequence consists of the derived functors of an algebraic version of $L_{n}$. We show how to calculate these derived functors, which are closely related to local cohomology of $BP_{*}$-modules with respect to the ideal $I_{n + 1}$.

A coplactic class in the symmetric group ${{\mathcal{S}}_{n}}$ consists of all permutations in ${{\mathcal{S}}_{n}}$ with a given Schensted $Q$-symbol, and may be described in terms of local relations introduced by Knuth. Any Lie element in the group algebra of ${{\mathcal{S}}_{n}}$ which is constant on coplactic classes is already constant on descent classes. As a consequence, the intersection of the Lie convolution algebra introduced by Patras and Reutenauer and the coplactic algebra introduced by Poirier and Reutenauer is the direct sum of all Solomon descent algebras.