Searcharxiv⌕ Search

arXiv subjects

Sebastian Halbig

Publications and source records attributed to Sebastian Halbig.

9 recordsLinked to original sources
arXiv2026

Gabi-Monads

We study gabi-monads on skew-closed categories, extending the gabi-algebras of Berger, the second author, and Vercruysse beyond the linear case. Our main reconstruction theorem identifies gabi-monad structures on a monad with skew-closed structures on its Eilenberg--Moore category for which the canonical forgetful functor is strict closed. We compare this notion with closed monads in the sense of Kock, showing that in representation-theoretic cases these notions are quite different. On closed monoidal categories, every left Hopf monad is a normal gabi-monad, but the converse fails in general. We characterise when a gabi-monad is Hopf by the invertibility of the corresponding parametric mates, which recovers the ring-theoretic result that normal gabi-algebras over a commutative base ring are Hopf algebras. The theory of gabi-monads admits several natural examples, such as torsion-free modules, reflexive digraphs, and simplicial complexes, that we will explore in detail; we also study pointed sets as a quasi-example.

math.CT↗
arXiv2025

A non-semisimple Kitaev lattice model

The construction of the topologically protected code space of Kitaev's model for fault-tolerant quantum computation is extended from complex semisimple to arbitrary finite-dimensional Hopf algebras admitting pairs in involution. One input of the model are ribbon graphs, that is, the combinatorial data of cellular decompositions of oriented closed surfaces. The other input are certain Hopf bimodules that are closely related to the coefficients in Hopf-cyclic homology. As in previous generalisations of the Kitaev model, a Yetter-Drinfeld module is constructed and shown to be a topological invariant of the surface with boundary that is obtained by "thickening" the graph. The generalisation of the protected space is defined using bitensor products of modules-comodules. Provided that the Hopf bimodule coefficients correspond to pairs in involution, this is shown to depend only on the genus of the graph. As examples, group algebras of finite groups and bosonisations of Nichols algebras are considered.

math.QA↗
arXiv2023

Diagrammatics for Comodule Monads

We extend Willerton's graphical calculus for bimonads to comodule monads, a monadic interpretation of module categories over a monoidal category. As an application, we prove a version of Tannaka--Krein duality for these structures.

math.CT↗
arXiv2023

Categorical centers and Yetter--Drinfel`d-modules as 2-categorical (bi)lax structures

The bicategorical point of view provides a natural setting for many concepts in the representation theory of monoidal categories. We show that centers of twisted bimodule categories correspond to categories of 2-dimensional natural transformations and modifications between the deloopings of the twisting functors. We also show that dualities lift to centers of twisted bimodule categories. Inspired by the notion of (pre)bimonoidal functors due to McCurdy and Street and by bilax functors of Aguiar and Mahajan, we study 2-dimensional functors which are simultaneously lax and colax with a compatibility condition. Our approach uses a sort of 2-categorical Yang-Baxter operators, but the idea could equally be carried out using a kind of 2-categorical braidings. We show how this concept, which we call bilax functors, generalize many known notions from the theory of Hopf algebras. We propose a 2-category of bilax functors whose 1-cells generalize the notions of Yetter-Drinfel`d modules in ordinary categories, and a type of bimonads and mixed distributive laws in 2-categories. We show that the 2-category of bilax functors from the trivial 2-category is isomorphic to the 2-category of bimonads, and that there is a faithful 2-functor from the latter to the 2-category of mixed distributive laws of Power and Watanabe.

math.CT↗
arXiv2023

Duality in Monoidal Categories

We compare closed and rigid monoidal categories. Closedness is defined by the tensor product having a right adjoint: the internal hom functor. Rigidity, on the other hand, generalises the duality of finite-dimensional vector spaces. In the latter, the internal hom functor is implemented by tensoring with the respective duals. This raises the question: can one decide whether a closed monoidal category is rigid, simply by verifying that the internal hom is tensor-representable? We provide a counterexample in terms of the category of sl2-crystals. As a byproduct, we obtain characterisations of the Grothendieck-Verdier duality and rigidity of functor categories endowed with Day convolution as their tensor product. This has various applications, three of which we study in detail: generalisations of quasi-Frobenius algebras, called QF-2 algebras; Mackey functors, where we prove that, as expected due to work of Bouc, an object being rigidly dualisable is equivalent to it being finitely-generated projective; and crossed modules of finite groups, where we associate to each of these objects a Grothendieck-Verdier category of group-graded representations.

math.CT↗
arXiv2022

Pivotality, twisted centres and the anti-double of a Hopf monad

Finite-dimensional Hopf algebras admit a correspondence between so-called pairs in involution, one-dimensional anti-Yetter--Drinfeld modules and algebra isomorphisms between the Drinfeld and anti-Drinfeld double. We extend it to general rigid monoidal categories and provide a monadic interpretation under the assumption that certain coends exist. Hereto we construct and study the anti-Drinfeld double of a Hopf monad. As an application the connection with the pivotality of Drinfeld centres and their underlying categories is discussed.

math.QA↗
arXiv2019

Generalised Taft algebras and pairs in involution

A class of finite-dimensional Hopf algebras which generalise the notion of Taft algebras is studied. We give necessary and sufficient conditions for these Hopf algebras to omit a pair in involution, that is, to not have a group-like and a character implementing the square of the antipode. As a consequence we prove the existence of an infinite set of examples of finite-dimensional Hopf algebras without such pairs. This has implications for the theory of anti-Yetter-Drinfeld modules as well as biduality of representations of Hopf algebras. This article has been accepted for publication in Communications in Algebra, published by Taylor & Francis.

math.QA↗