Related papers: Hopf substitutions in Species

We prove that a Hopf algebra of prime dimension $p$ over an algebraically closed field, whose characteristic is equal to $p$, is either a group algebra or a restricted universal enveloping algebra. Moreover, we show that any Hopf algebra of…

Let $p$ be an odd prime. For field extensions $L/\mathbb{Q}_p$ with Galois group isomorphic to the dihedral group $D_{2p}$ of order $2p$, we consider the problem of computing a basis of the associated order in each Hopf Galois structure and…

The notion of multiplier Hopf monoid in any braided monoidal category is introduced as a multiplier bimonoid whose constituent fusion morphisms are isomorphisms. In the category of vector spaces over the complex numbers, Van Daele's…

We consider a Hopf algebra of simplicial complexes and provide a cancellation-free formula for its antipode. We then obtain a family of combinatorial Hopf algebras by defining a family of characters on this Hopf algebra. The characters of…

The notion of inner linear Hopf algebra is a generalization of the notion of discrete linear group. In this paper, we prove two general results that enable us to enlarge the class of Hopf algebras that are known to be inner linear: the…

We give a general framework of equivariant model category theory. Our groups G, called Hopf groups, are suitably defined group objects in any well-behaved symmetric monoidal category V. For any V, a discrete group G gives a Hopf group,…

This tutorial is intended to give an accessible introduction to Hopf algebras. The mathematical context is that of representation theory, and we also illustrate the structures with examples taken from combinatorics and quantum physics,…

Let H be a coFrobenius Hopf algebra over a field k. Let A be a right H-comodule algebra over k. We recall that the category of right H-comodules admits a certain model structure whose homotopy category is equivalent to the stable category…

Tracelets are the intrinsic carriers of causal information in categorical rewriting systems. In this work, we assemble tracelets into a symmetric monoidal decomposition space, inducing a cocommutative Hopf algebra of tracelets. This Hopf…

Character groups of Hopf algebras appear in a variety of mathematical contexts such as non-commutative geometry, renormalisation of quantum field theory, numerical analysis and the theory of regularity structures for stochastic partial…

We exhibit a monoidal structure on the category of finite sets indexed by P-trees for a finitary polynomial endofunctor P. This structure categorifies the monoid scheme (over Spec N) whose semiring of functions is (a P-version of) the…

The main properties of the crossed product in the category of Hopf algebras are investigated. Let $A$ and $H$ be two Hopf algebras connected by two morphism of coalgebras $\triangleright : H\ot A \to A$, $f:H\ot H\to A$. The crossed product…

We study integrals of Hopf monoids in duoidal endohom categories of naturally Frobenius map monoidales in monoidal bicategories. We prove two Maschke type theorems, relating the separability of the underlying monoid and comonoid,…

We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free commutative monoids. After recalling basic structural properties of the free commutative-monoid construction, we formalise and establish the…

The regular subgroup determining an induced Hopf Galois structure for a Galois extension $L/K$ is obtained as the direct product of the corresponding regular groups of the inducing subextensions. We describe here the associated Hopf algebra…

Brugui\`eres, Lack and Virelizier have recently obtained a vast generalization of Sweedler's Fundamental Theorem of Hopf modules, in which the role of the Hopf algebra is played by a bimonad. We present an extension of this result which…

We give a systematic description of the cyclic cohomology theory of Hopf algebroids in terms of its associated category of modules. Then we introduce a dual cyclic homology theory by applying cyclic duality to the underlying cocyclic…

Let $R$ be a characteristic $p$ discrete valuation ring with field of fractions $K$. Let $H$ be a commutative, cocommutative $K$-Hopf algebra of $p$-power rank which is generated as a $K$-algebra by primitive elements. We construct all of…

Lyubashenko's construction associates representations of mapping class groups Map_{g,n} of Riemann surfaces of any genus g with any number n of holes to a factorizable ribbon category. We consider this construction as applied to the…

We equip the graded polynomial algebra generated by nonplanar rooted binary trees with a Hopf algebra structure by defining a coproduct which disallows cutting both children of any given vertex, refining Connes-Kreimer's notion of…