We consider the adjoint representation of a Hopf algebra $H$ focusing on the locally finite part, $H_{{\textrm ad\,fin}}$, defined as the sum of all finite-dimensional subrepresentations. For virtually cocommutative $H$ (i.e., $H$ is finitely generated as module over a cocommutative Hopf subalgebra), we show that $H_{{\textrm ad\,fin}}$ is a Hopf subalgebra of $H$. This is a consequence of the fact, proved here, that locally finite parts yield a tensor functor on the module category of any virtually pointed Hopf algebra. For general Hopf algebras, $H_{{\textrm ad\,fin}}$ is shown to be a left coideal subalgebra. We also prove a version of Dietzmann's Lemma from group theory for Hopf algebras.

We construct quantum invariants of balanced sutured 3-manifolds with a ${\text {Spin}^c}$ structure out of an involutive (possibly nonunimodular) Hopf superalgebra H. If H is the Borel subalgebra of ${U_q(\mathfrak {gl}(1|1))}$, we show that our invariant is computed via Fox calculus, and it is a normalization of Reidemeister torsion. The invariant is defined via a modification of a construction of Kuperberg, where we use the ${\text {Spin}^c}$ structure to take care of the nonunimodularity of H or $H^{*}$.

Let $\mathcal{C}$ be a fusion category over an algebraically closed field $\mathbb{k}$ of arbitrary characteristic. Two numerical invariants of $\mathcal{C}$, that is, the Casimir number and the determinant of $\mathcal{C}$ are considered in this paper. These two numbers are both positive integers and admit the property that the Grothendieck algebra $(\mathcal{C})\otimes_{\mathbb{Z}}K$ over any field K is semisimple if and only if any of these numbers is not zero in K. This shows that these two numbers have the same prime factors. If moreover $\mathcal{C}$ is pivotal, it gives a numerical criterion that $\mathcal{C}$ is nondegenerate if and only if any of these numbers is not zero in $\mathbb{k}$. For the case that $\mathcal{C}$ is a spherical fusion category over the field $\mathbb{C}$ of complex numbers, these two numbers and the Frobenius–Schur exponent of $\mathcal{C}$ share the same prime factors. This may be thought of as another version of the Cauchy theorem for spherical fusion categories.

Generalised quantum determinantal rings are the analogue in quantum matrices of Schubert varieties. Maximal orders are the noncommutative version of integrally closed rings. In this paper, we show that generalised quantum determinantal rings are maximal orders. The cornerstone of the proof is a description of generalised quantum determinantal rings, up to a localisation, as skew polynomial extensions.

An unexpected relationship between indecomposable involutive set-theoretic solutions to the Yang–Baxter equation and one-generator braces has recently been discovered by Agata and Alicja Smoktunowicz. We extend these results and answer three open questions which arose in this context.

Incidence coalgebras of categories in the sense of Joni and Rota are studied, specifically cases where a monoidal product on the category turns these into (weak) bialgebras. The overlap with the theory of combinatorial Hopf algebras and that of Hopf quivers is discussed, and examples including trees, skew shapes, Milner’s bigraphs and crossed modules are considered.

We study exact sequences of finite tensor categories of the form Rep G → 𝒞 → 𝒟, where G is a finite group. We show that, under suitable assumptions, there exists a group Γ and mutual actions by permutations ⊳ : Γ × G → G and ⊲ : Γ × G→ Γ that make (G, Γ) into matched pair of groups endowed with a natural crossed action on 𝒟 such that 𝒞 is equivalent to a certain associated crossed extension 𝒟(G,Γ) of 𝒟. Dually, we show that an exact sequence of finite tensor categories VecG → 𝒞 → 𝒟 induces an Aut(G)-grading on 𝒞 whose neutral homogeneous component is a (Z(G), Γ)-crossed extension of a tensor subcategory of 𝒟. As an application we prove that such extensions 𝒞 of 𝒟 are weakly group-theoretical fusion categories if and only if 𝒟 is a weakly group-theoretical fusion category. In particular, we conclude that every semisolvable semisimple Hopf algebra is weakly group-theoretical.

We answer a question of Skalski and Sołan (2016) about inner faithfulness of the Curran’s map of extending a quantum increasing sequence to a quantum permutation. Roughly speaking, we find a inductive setting in which the inner faithfulness of Curran’s map can be boiled down to inner faithfulness of similar map for smaller algebras and then rely on inductive generation result for quantum permutation groups of Brannan, Chirvasitu and Freslon (2018).

In this paper, we define a Cayley–Dickson process for k-coalgebras proving some results that describe the properties of the final coalgebra, knowing the properties of the initial one. Namely, after applying the Cayley–Dickson process for k-coalgebras to a coassociative coalgebra, we obtain a coalternative one. Moreover, the first coalgebra is cocommutative if and only if the final coalgebra is coassociative. Finally we extend these results to a more general approach of D-coalgebras, where D is a k-coalgebra, presenting a class of examples of coalternative (non-coassociative) coalgebras obtained from group D-coalgebras.

Let $H$ be a Hopf algebra. We consider $H$-equivariant modules over a Hopf module category ${\mathcal{C}}$ as modules over the smash extension ${\mathcal{C}}\#H$. We construct Grothendieck spectral sequences for the cohomologies as well as the $H$-locally finite cohomologies of these objects. We also introduce relative $({\mathcal{D}},H)$-Hopf modules over a Hopf comodule category ${\mathcal{D}}$. These generalize relative $(A,H)$-Hopf modules over an $H$-comodule algebra $A$. We construct Grothendieck spectral sequences for their cohomologies by using their rational $\text{Hom}$ objects and higher derived functors of coinvariants.

A skew brace, as introduced by L. Guarnieri and L. Vendramin, is a set with two group structures interacting in a particular way. When one of the group structures is abelian, one gets back the notion of brace as introduced by W. Rump. Skew braces can be used to construct solutions of the quantum Yang–Baxter equation. In this article, we introduce a notion of action of a skew brace, and show how it leads to solutions of the closely associated reflection equation.

We show a precise formula, in the form of a monomial, for certain families of parabolic Kazhdan–Lusztig polynomials of the symmetric group. The proof stems from results of Lapid–Mínguez on irreducibility of products in the Bernstein–Zelevinski ring. By quantizing those results into a statement on quantum groups and their canonical bases, we obtain identities of coefficients of certain transition matrices that relate Kazhdan–Lusztig polynomials to their parabolic analogues. This affirms some basic cases of conjectures raised recently by Lapid.

This paper explores the structure groups G(X,r) of finite non-degenerate set-theoretic solutions (X,r) to the Yang–Baxter equation. Namely, we construct a finite quotient $\overline {G}_{(X,r)}$ of G(X,r), generalizing the Coxeter-like groups introduced by Dehornoy for involutive solutions. This yields a finitary setting for testing injectivity: if X injects into G(X,r), then it also injects into $\overline {G}_{(X,r)}$. We shrink every solution to an injective one with the same structure group, and compute the rank of the abelianization of G(X,r). We show that multipermutation solutions are the only involutive solutions with diffuse structure groups; that only free abelian structure groups are bi-orderable; and that for the structure group of a self-distributive solution, the following conditions are equivalent: bi-orderable, left-orderable, abelian, free abelian and torsion free.

In this paper we show that to a unital associative algebra object (resp. co-unital co-associative co-algebra object) of any abelian monoidal category ($\mathscr{C},\otimes$) endowed with a symmetric 2-trace, i.e., an $F\in \text{Fun}(\mathscr{C},\text{Vec})$ satisfying some natural trace-like conditions, one can attach a cyclic (resp. cocyclic) module, and therefore speak of the (co)cyclic homology of the (co)algebra “with coefficients in $F$”. Furthermore, we observe that if $\mathscr{M}$ is a $\mathscr{C}$-bimodule category and $(F,M)$ is a stable central pair, i.e., $F\in \text{Fun}(\mathscr{M},\text{Vec})$ and $M\in \mathscr{M}$ satisfy certain conditions, then $\mathscr{C}$ acquires a symmetric 2-trace. The dual notions of symmetric 2-contratraces and stable central contrapairs are derived as well. As an application we can recover all Hopf cyclic type (co)homology theories.

For a multiplier Hopf algebra pairing 〈A,B〉, we construct a class of group-cograded multiplier Hopf algebras D(A,B), generalizing the classical construction of finite dimensional Hopf algebras introduced by Panaite and Staic Mihai [Isr. J. Math. 158 (2007), 349–365]. Furthermore, if the multiplier Hopf algebra pairing admits a canonical multiplier in M(B⊗A) we show the existence of quasitriangular structure on D(A,B). As an application, some special cases and examples are provided.

Braces were introduced by Rump in 2007 as a useful tool in the study of the set-theoretic solutions of the Yang–Baxter equation. In fact, several aspects of the theory of finite left braces and their applications in the context of the Yang–Baxter equation have been extensively investigated recently. The main aim of this paper is to introduce and study two finite brace theoretical properties associated with nilpotency, and to analyse their impact on the finite solutions of the Yang–Baxter equation.

A canonical basis in the sense of Lusztig is a basis of a free module over a ring of Laurent polynomials that is invariant under a certain semilinear involution and is obtained from a fixed “standard basis” through a triangular base change matrix with polynomial entries whose constant terms equal the identity matrix. Among the better known examples of canonical bases are the Kazhdan–Lusztig basis of Iwahori–Hecke algebras (see Kazhdan and Lusztig, Representations of Coxeter groups and Hecke algebras, Invent. Math. 53 (1979), 165–184), Lusztig’s canonical basis of quantum groups (see Lusztig, Canonical bases arising from quantized enveloping algebras, J. Amer. Math. Soc. 3(2) (1990), 447–498) and the Howlett–Yin basis of induced $W$-graph modules (see Howlett and Yin, Inducing W-graphs I, Math. Z. 244(2) (2003), 415–431; Inducing W-graphs II, Manuscripta Math. 115(4) (2004), 495–511). This paper has two major theoretical goals: first to show that having bases is superfluous in the sense that canonicalization can be generalized to nonfree modules. This construction is functorial in the appropriate sense. The second goal is to show that Howlett–Yin induction of $W$-graphs is well-behaved a functor between module categories of $W$-graph algebras that satisfies various properties one hopes for when a functor is called “induction,” for example transitivity and a Mackey theorem.

We classify pointed Hopf algebras with finite Gelfand–Kirillov dimension whose infinitesimal braiding has dimension 2 but is not of diagonal type, or equivalently is a block. These Hopf algebras are new and turn out to be liftings of either a Jordan or a super Jordan plane over a nilpotent-by-finite group.

This paper deals with the Green ring $\mathcal{G}(\mathcal{C})$ of a finite tensor category $\mathcal{C}$ with finitely many isomorphism classes of indecomposable objects over an algebraically closed field. The first part of this paper deals with the question of when the Green ring $\mathcal{G}(\mathcal{C})$ , or the Green algebra $\mathcal{G}(\mathcal{C})\otimes_{\mathbb {Z}}$ K over a field K, is Jacobson semisimple (namely, has zero Jacobson radical). It turns out that $\mathcal{G}(\mathcal{C})\otimes_{\mathbb {Z}}$ K is Jacobson semisimple if and only if the Casimir number of $\mathcal{C}$ is not zero in K. For the Green ring $\mathcal{G}(\mathcal{C})$ itself, $\mathcal{G}(\mathcal{C})$ is Jacobson semisimple if and only if the Casimir number of $\mathcal{C}$ is not zero. The second part of this paper focuses on the case where $\mathcal{C}=\text{Rep}(\mathbb {k}G)$ for a cyclic group G of order p over a field $\mathbb {k}$ of characteristic p. In this case, the Casimir number of $\mathcal{C}$ is computable and is shown to be 2p 2. This leads to a complete description of the Jacobson radical of the Green algebra $\mathcal{G}(\mathcal{C})\otimes_{\mathbb {Z}}$ K over any field K.

In this paper, we mainly provide a categorical view on the braided structures appearing in the Hom-quantum groups. Let $\mathcal{C}$ be a monoidal category on which F is a bimonad, G is a bicomonad, and ϕ is a distributive law, we discuss the necessary and sufficient conditions for $\mathcal{C}^G_F(\varphi)$ , the category of mixed bimodules to be monoidal and braided. As applications, we discuss the Hom-type (co)quasitriangular structures, the Hom–Yetter–Drinfeld modules, and the Hom–Long dimodules.