Related papers: Frobenius structures in star-autonomous categories
We show that induction along a Frobenius extension of Hopf algebras is a Frobenius monoidal functor in great generality, in particular, for all finite-dimensional and all pointed Hopf algebras. As an application, we show that induction…
We show that the canonical equivalences of categories between 2-dimensional (unoriented) topological quantum field theories valued in a symmetric monoidal category and (extended) commutative Frobenius algebras in that symmetric monoidal…
Given an additive equational category with a closed symmetric monoidal structure and a potential dualizing object, we find sufficient conditions that the category of topological objects over that category has a good notion of full…
We develop theory and examples of monoidal functors on tensor categories in positive characteristic that generalise the Frobenius functor from \cite{Os, EOf, Tann}. The latter has proved to be a powerful tool in the ongoing classification…
The category of Hilbert modules may be interpreted as a naive quantum field theory over a base space. Open subsets of the base space are recovered as idempotent subunits, which form a meet-semilattice in any firm braided monoidal category.…
A Frobenius algebra is a finite-dimensional algebra $A$ which comes equipped with a coassociative, counital comultiplication map $\Delta$ that is an $A$-bimodule map. Here, we examine comultiplication maps for generalizations of Frobenius…
Suppose that a Lie algebra $L$ admits a finite Frobenius group of automorphisms $FH$ with cyclic kernel $F$ and complement $H$ of order 2, such that the fixed-point subalgebra of $F$ is trivial and the fixed-point subalgebra of $H$ is…
Fracton theories possess exponentially degenerate ground states, excitations with restricted mobility, and nontopological higher-form symmetries. This paper shows that such theories can be defined on arbitrary spatial lattices in three…
This article studies the categorical setting of Abramsky, Haghverdi, and Scott's untyped linear combinatory algebras, and relates this to more recent work of Abramsky and Heunen on Frobenius algebras in the infinitary setting. The key to…
We investigate the stabilization $\mathcal{S}$ of the module category over an artinian ring $\Lambda$ by formally inverting the tensor endofunctor given by the bimodule of relative noncommutative differential $1$-forms. It turns out that…
We associate a diagrammatic monoidal category $\mathcal{H}\textit{eis}_k(A;z,t)$, which we call the quantum Frobenius Heisenberg category, to a symmetric Frobenius superalgebra $A$, a central charge $k \in \mathbb{Z}$, and invertible…
We investigate flat morphisms of schemes of positive characteristic whose relative Frobenius is an isomorphism, which we call pristine. We show that these give rise to a natural Grothendieck topology that is fine tuned for the localization…
The purpose of this note is to relate certain ring-theoretic properties of rings in mixed and positive characteristics that are related to each other by a tilting operation used in perfectoid geometry. To this aim, we exploit the…
We show that a compact rigid balanced braided monoidal category with enough compact projective objects gives rise to a system of mapping class group representations compatible with the gluing along marked intervals. A motivation to consider…
A bounded automorphism of a field or a group with trivial approximate centre is definable. In an expansion of a field by a Pfaffian family F of additive endomorphisms such that algebraic closure in the expansion coincides with relative…
We define Frobenius incidence varieties by means of the incidence relation of Frobenius images of linear subspaces in a fixed vector space over a finite field, and investigate their properties such as supersingularity, Betti numbers and…
We give a general method to build categories of combinatorial manifolds, i.e. categories of combinatorial objects satisfying some local property at every "point", as coreflective subcategories of categories of relational presheaves. To do…
A semidomain is an additive submonoid of an integral domain that is closed under multiplication and contains the identity element. Although atomicity and divisibility in integral domains have been systematically investigated for more than…
We identify morphisms of strong profunctors as a categorification of quantum supermaps. These black-box generalisations of diagrams-with-holes are hence placed within the broader field of profunctor optics, as morphisms in the category of…
We survey some aspects of Frobenius algebras, Frobenius structures and their relation to finite Hopf algebras using graphical calculus. We focus on the `yanking' moves coming from a closed structure in a rigid monoidal category, the…