Related papers: Frobenius monoidal functors from (co)Hopf adjuncti…

Coherence in a monoidal category asserts that all morphisms built from structural isomorphisms with a fixed source and target coincide. These structural isomorphisms include, in particular, the associators. Linearly distributive categories…

We give a geometric description of the positivity of the Frobenius-trace kernel on a $\mathbb{Q}$-factorial projective toric variety. To do so, we define its Frobenius support as well as the notions of $F$-effectiveness for divisors and…

For a simply connected semisimple algebraic group over an algebraically closed field of positive characteristic we have already constructed a splitting of the Frobenius endomorphism on its algebra of distributions. We generalize the…

We bring together ideas in analysis of Hopf *-algebra actions on II_1 subfactors of finite Jones index and algebraic characterizations of Frobenius, Galois and cleft Hopf extensions to prove a non-commutative algebraic analogue of the…

The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There…

A classical theorem of I. Schur states that the degree of any irreducible complex representation of a finite group $G$ divides the order of $G/\mathscr{Z} G$, where $\mathscr{Z} G$ is the center $G$. This note discusses similar divisibility…

In this paper we investigate the categories of braided objects, algebras and bialgebras in a given monoidal category, some pairs of adjoint functors between them and their relations. In particular we construct a braided primitive functor…

We show that an orthogonal basis for a finite-dimensional Hilbert space can be equivalently characterised as a commutative dagger-Frobenius monoid in the category FdHilb, which has finite-dimensional Hilbert spaces as objects and continuous…

We define notions of pivotal and ribbon objects in a monoidal category. These constructions give pivotal or ribbon monoidal categories from a monoidal category which is not necessarily with duals. We apply this construction to the braided…

Let $\mathcal{A}$ and $\mathcal{B}$ be monoidal categories and let $R:\mathcal{A} \rightarrow \mathcal{B}$ be a lax monoidal functor. If $R$ has a left adjoint $L$, it is well-known that the two adjoints induce functors $\overline{R}={\sf…

This expository article presents a unified ring theoretic approach, based on the theory of Frobenius algebras, to a variety of results on Hopf algebras. These include a theorem of S. Zhu on the degrees of irreducible representations, the…

We investigate adjoint and Frobenius pairs between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings, which leads…

We prove that a Hopf algebra with a finite coradical filtration is co-Frobenius, i. e. there is a non-zero integral on it. As a consequence, we show that algebras of functions on quantum groups at roots of one are co-Frobenius. We also…

In the context of operator-space modules over C*-algebras, we give a complete characterisation of those C*-correspondences whose associated Haagerup tensor product functors admit left adjoints. The characterisation, which builds on previous…

Let $B$ be a bialgebra, and $A$ a left $B$-comodule algebra in a braided monoidal category $\Cc$, and assume that $A$ is also a coalgebra, with a not-necessarily associative or unital left $B$-action. Then we can define a right $A$-action…

In this paper we introduce a derivability criterion of functors based on the existence of adjunctions rather than on the existence of resolutions. It constitutes a converse of Quillen-Maltsiniotis Derived Adjunction Theorem. We present two…

As shown by S. Eilenberg and J.C. Moore (1965), for a monad $F$ with right adjoint comonad $G$ on any catgeory $\mathbb{A}$, the category of unital $F$-modules $\mathbb{A}_F$ is isomorphic to the category of counital $G$-comodules…

Let $D$ be a reduced divisor in $\mathbb P^n_k$ for an algebraically closed field $k$ of positive characteristic $p > 0$. We prove that if $(\mathbb P^n_k, D)$ is Frobenius liftable modulo $p^2$, then $D$ is a toric divisor. As a corollary,…

Grothendieck-Verdier categories (also known as $\ast$-autonomous categories) generalize rigid monoidal categories, with notable representation-theoretic examples including categories of bimodules, modules over Hopf algebroids, and modules…

We define Hopf monads on an arbitrary monoidal category, extending the definition given previously for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition…