Related papers: Frobenius monoidal functors from (co)Hopf adjuncti…
In this paper we study singularities defined by the action of Frobenius in characteristic $p > 0$. We prove results analogous to inversion of adjunction along a center of log canonicity. For example, we show that if $X$ is a Gorenstein…
A Hopf algebra is co-Frobenius when it has a nonzero integral. It is proved that the composition length of the indecomposable injective comodules over a co-Frobenius Hopf algebra is bounded. As a consequence, the coradical filtration of a…
Let ${\mathcal E}$ be a Frobenius category, ${\mathcal P}$ its subcategory of projective objects and $F:{\mathcal E} \to {\mathcal E}$ an exact automorphism. We prove that there is a fully faithful functor from the orbit category ${\mathcal…
In this article, we continue our study of 'Frobenius structures' and symplectic spectral invariants in the context of symplectic spinors. By studying the case of $C^1$-small Hamiltonian mappings on symplectic manifolds $M$ admitting a…
We prove that the notion of Drinfeld center defines a functor from the category of indecomposable multi-tensor categories with morphisms given by bimodules to that of braided tensor categories with morphisms given by monoidal bimodules.…
The theory of monads on categories equipped with a dagger (a contravariant identity-on-objects involutive endofunctor) works best when everything respects the dagger: the monad and adjunctions should preserve the dagger, and the monad and…
Let $\mathcal C$ be a category with finite colimits, and let $(\mathcal E,\mathcal M)$ be a factorisation system on $\mathcal C$ with $\mathcal M$ stable under pushouts. Writing $\mathcal C;\mathcal M^{\mathrm{op}}$ for the symmetric…
We construct Frobenius structures on the $\mathbb{C}^{\times}$-bundle of the complement of a toric arrangement associated with a root system, by making use of a one-parameter family of torsion free and flat connections on it. This gives…
\input amssym.def \input amssym.tex Let $G$ be a connected algebraic reductive group over an algebraic closure of a prime field ${\Bbb F}_p$, defined over ${\Bbb F}_q$ thanks to a Frobenius $F$. Let $\ell$ be a prime different from $p$. Let…
We introduce a variant on the graphical calculus of Cockett and Seely for monoidal functors and illustrate it with a discussion of Tannaka reconstruction, some of which is known and some of which is new. The new portion is: given a…
Frobenius' Theorem states that the algebra of quaternions $\mathbb H$ is, besides the fields of real and complex numbers, the only finite-dimensional real division algebra. We first give a short elementary proof of this theorem, then…
Let $k$ be a commutative ring, let $\mathcal{C}$ be a small, $k$-linear, Hom-finite, locally bounded category, and let $\mathcal{B}$ be a $k$-linear abelian category. We construct a Frobenius exact subcategory…
In the present paper by Frobenius algebra Y we mean a finite dimensional algebra possessing an associative and invertible (nondegenerate) form a scalar product, referred to as the Frobenius structure. The nondegenerate form has an inverse.…
We associate a graded monoidal supercategory $\mathcal{H}\mathit{eis}_{F,k}$ to every graded Frobenius superalgebra $F$ and integer $k$. These categories, which categorify a broad range of lattice Heisenberg algebras, recover many…
It is known that the quantale of sup-preserving maps from a complete lattice to itself is a Frobenius quantale if and only if the lattice is completely distributive. Since completely distributive lattices are the nuclear objects in the…
"Co-Frobenius" coalgebras were introduced as dualizations of Frobenius algebras. Recently, it was shown in \cite{I} that they admit left-right symmetric characterizations analogue to those of Frobenius algebras: a coalgebra $C$ is…
The setting is the representation theory of a simply connected, semisimple algebraic group over a field of positive characteristic. There is a natural transformation from the wall-crossing functor to the identity functor. The kernel of this…
Frobenius-Schur indicators (or indicators for short) of objects in pivotal monoidal categories were defined and formulated by Ng and Schauenburg in 2007. In this paper, we introduce and study an analogous formula for indicators in the dual…
The category of strict polynomial functors inherits an internal tensor product from the category of divided powers. To investigate this monoidal structure, we consider the category of representations of the symmetric group which admits a…
We define higher Frobenius-Schur indicators for objects in linear pivotal monoidal categories. We prove that they are category invariants, and take values in the cyclotomic integers. We also define a family of natural endomorphisms of the…