Related papers: Rank-finiteness for modular categories

The feasibility of a classification-by-rank program for modular categories follows from the Rank-Finiteness Theorem. We develop arithmetic, representation theoretic and algebraic methods for classifying modular categories by rank. As an…

It is a well-known result of Etingof, Nikshych and Ostrik that there are finitely many inequivalent integral modular categories of any fixed rank $n$. This follows from a double-exponential bound on the maximal denominator in an Egyptian…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

We pursue a classification of low-rank super-modular categories parallel to that of modular categories. We classify all super-modular categories up to rank=$6$, and spin modular categories up to rank=$11$. In particular, we show that, up to…

Let R be a commutative noetherian ring. Denote by mod R the category of finitely generated R-modules. In this paper, we investigate the finiteness of the radii of resolving subcategories of mod R with respect to a fixed semidualizing…

For a compact smooth manifold $M$ (with boundary) we prove that the topological rank of the diffeomorphism group Diff$_0^k(M)$ is finite for all $k\geq 1$. This extends a result from [2] where the same claim is proved in the special case of…

We establish rank-finiteness for the class of $G$-crossed braided fusion categories, generalizing the recent result for modular categories and including the important case of braided fusion categories. This necessitates a study of slightly…

We give a definition of a class of Dedekind domains which includes the rings of integers of global fields and give a proof that all rings in this class have finite ideal class group. We also prove that this class coincides with the class of…

We give a necessary and sufficient condition in terms of group cohomology for two indecomposable module categories over a group-theoretical fusion category ${\mathcal C}$ to be equivalent. This concludes the classification of such module…

We start the general structure theory of not necessarily semisimple finite tensor categories, generalizing the results in the semisimple case (i.e. for fusion categories), obtained recently in our joint work with D.Nikshych. In particular,…

Let $\mathcal{C}$ be a small category. We investigate ringed sites $(\mathbf{C},\mathfrak{R})$ on $\mathcal{C}$ and the resulting module categories $\mathfrak{M}{\rm od}\text{-}\mathfrak{R}$. When $\mathcal{C}$ is finite, based on…

We introduce a general categorical framework for finiteness conditions that unifies classical notions such as Noetherianness, Artinianness, and various forms of topological compactness. This is achieved through the concept of…

Over a commutative local Cohen--Macaulay ring, we view and study the category of maximal Cohen--Macaulay modules as a ring with several objects. We compute the global dimension of this category and thereby extend a result of Leuschke to the…

We prove that the category of Dedekind $\sigma$-complete Riesz spaces is an infinitary variety, and we provide an explicit equational axiomatization. In fact, we show that finitely many axioms suffice over the usual equational…

The aim of this paper is to construct singular equivalences between functor categories. As a special case, we show that there exists a singular equivalence arising from a cotilting module $T$, namely, the singularity category of $(^\perp…

For a certain family of complete modular lattices, we prove a Jordan--H\"older--Scheier-like" theorem with no assumptions on cardinality or well-orderedness. This family includes both lattices which are both join- and meet-continuous, as…

A super-modular category is a unitary pre-modular category with M\"uger center equivalent to the symmetric unitary category of super-vector spaces. Super-modular categories are important alternatives to modular categories as any unitary…

For a countable, complete, first-order theory $T$, we study $At$, the class of atomic models of $T$. We develop an analogue of $U$-rank and prove two results. On one hand, if some tp(d/a) is not ranked, then there are $2^{\aleph_1}$…

We show that the category of finite-dimensional modules over the endomorphism algebra of a rigid object in a Hom-finite triangulated category is equivalent to the Gabriel-Zisman localisation of the category with respect to a certain class…

We prove that any odd-dimensional modular category of rank at most 23 is pointed. We also show that an odd-dimensional modular category of rank 25 is either pointed, perfect, or equivalent to $\operatorname{Rep}(D^\omega(\mathbb Z_7\rtimes…