English
Related papers

Related papers: Frobenius structures in star-autonomous categories

200 papers

Let $M$ be a cancellative and commutative monoid (written additively). The monoid $M$ is atomic if every non-invertible element can be written as a sum of irreducible elements (often called atoms in the literature). Weaker versions of…

Rings and Algebras · Mathematics 2023-12-11 Caroline Liu , Pedro Rodriguez , Marcos Tirador

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…

Quantum Algebra · Mathematics 2015-11-13 Siu-Hung Ng , Peter Schauenburg

We consider Frobenius objects in the category Span, where the objects are sets and the morphisms are isomorphism classes of spans of sets. We show that such structures are in correspondence with data that can be characterized in terms of…

Category Theory · Mathematics 2022-12-07 Ivan Contreras , Molly Keller , Rajan Amit Mehta

We introduce continuous Frobenius categories. These are topological categories which are constructed using representations of the circle over a discrete valuation ring. We show that they are Krull-Schmidt with one indecomposable object for…

Representation Theory · Mathematics 2013-01-22 Kiyoshi Igusa , Gordana Todorov

A submonoid A of N^d has a natural order defined by a <= a + b for elements a and b of A. The Frobenius complex is the order complex of an open interval of A with respect to this order. In this paper, the homotopy type of the Frobenius…

Commutative Algebra · Mathematics 2013-08-15 Shouta Tounai

We claim that the cube category whose morphisms are the interval-preserving monotone functions between finite Boolean lattices is a convenient general-purpose site for cubical sets. This category is the largest possible concrete…

Category Theory · Mathematics 2025-03-19 Sanjeevi Krishnan , Emily Rudman

Given an exact functor between triangulated categories which admits both adjoints and whose cotwist is either zero or an autoequivalence, we show how to associate a unique full triangulated subcategory of the codomain on which the functor…

Category Theory · Mathematics 2020-07-08 Andreas Hochenegger , Ciaran Meachan

A Frobenius manifold is a manifold with a flat metric and a Frobenius algebra structure on tangent spaces at points of the manifold such that the structure constants of multiplication are given by third derivatives of a potential function…

Algebraic Geometry · Mathematics 2016-07-05 Alexander Varchenko

This paper provides a comprehensive overview of some of the foundational properties of categories enriched over quantaloids, along with several new results. We demonstrate that the category whose objects are quantaloid-enriched categories…

Category Theory · Mathematics 2025-10-14 Javier Gutiérrez García , Ulrich Höhle

This article generalizes the correspondence between matrix factorizations and maximal Cohen-Macaulay modules over hypersurface rings due to Eisenbud and Yoshino. We consider factorizations with several factors in a purely categorical…

Category Theory · Mathematics 2026-05-12 Jonas Frank , Mathias Schulze

Categories enriched over a commutative unital quantale can be studied as generalized, or many-valued, ordered structures. Because many concepts, such as complete distributivity, in lattice theory can be characterized by existence of certain…

Category Theory · Mathematics 2007-05-23 Hongliang Lai , Dexue Zhang

Interpreting entwining structures as special instances of J. Beck's distributive law, the concept of entwining module can be generalized for the setting of arbitrary monoidal category. In this paper, we use the distributive law formalism to…

Quantum Algebra · Mathematics 2007-05-23 Bachuki Mesablishvili

For a finite dimensional semisimple Lie algebra and a root of unity, Lusztig defined an infinite dimensional quantum group of divided powers. Under certain restrictions on the order of the root of unity, he constructed a Frobenius…

Representation Theory · Mathematics 2019-09-24 Simon D. Lentner

For a Frobenius abelian category $\mathcal{A}$, we show that the category ${\rm Mon}(\mathcal{A})$ of monomorphisms in $\mathcal{A}$ is a Frobenius exact category; the associated stable category $\underline{\rm Mon}(\mathcal{A})$ modulo…

Representation Theory · Mathematics 2011-02-15 Xiao-Wu Chen

We introduce a notion of total acyclicity associated to a subcategory of an abelian category and consider the Gorenstein objects they define. These Gorenstein objects form a Frobenius category, whose induced stable category is equivalent to…

Rings and Algebras · Mathematics 2019-09-13 Lars Winther Christensen , Sergio Estrada , Peder Thompson

We develop filtered-graded techniques for algebras in monoidal categories with the main goal of establishing a categorical version of Bongale's 1967 result: A filtered deformation of a Frobenius algebra over a field is Frobenius as well.…

Quantum Algebra · Mathematics 2022-10-26 Chelsea Walton , Harshit Yadav

We develop a theory of Frobenius functors for symmetric tensor categories (STC) $\mathcal{C}$ over a field $\bf k$ of characteristic $p$, and give its applications to classification of such categories. Namely, we define a twisted-linear…

Representation Theory · Mathematics 2020-07-02 Pavel Etingof , Victor Ostrik

We consider certain categorical structures that are implicit in subfactor theory. Making the connection between subfactor theory (at finite index) and category theory explicit sheds light on both subjects. Furthermore, it allows various…

Category Theory · Mathematics 2007-05-23 Michael Mueger

The notion of a Frobenius submanifold - a submanifold of a Frobenius manifold which is itself a Frobenius manifold with respect to structures induced from the original manifold - is studied. Two dimensional submanifolds are particularly…

Differential Geometry · Mathematics 2015-06-26 I. A. B. Strachan

Maps (left adjoint arrows) between Frobenius objects in a cartesian bicategory B are precisely comonoid homomorphisms and, for A Frobenius and any T in B, map(B)(T,A) is a groupoid.

Category Theory · Mathematics 2007-08-15 R. F. C. Walters , R. J. Wood