Related papers: Discrete module categories and operations in K-the…

It is widely understood that the quotient space of a topological group action can have a complicated combinatorial structure, indexed somehow by the sotropy groups of the action, but how best to record this structure seems unclear. This…

We construct a diagrammatic categorification of the spherical module over the Hecke algebra. We establish a basis for the morphism spaces of this category, and prove that it is equivalent to an existing algebraic spherical category.

We construct certain tensor categories that are dominated by finitely many simple objects. Objects in these categories are modules over rings of algebra integers. We show how to obtain TQFTs defined over algebra integers from these…

We study the differential polynomial rings which are defined using the special geometry of the moduli spaces of Calabi-Yau threefolds. The higher genus topological string amplitudes are expressed as polynomials in the generators of these…

This is the first in a series of papers that deals with duality statements such as Mukai-duality (T-duality, from algebraic geometry) and the Baum-Connes conjecture (from operator $K$-theory). These dualities are expressed in terms of…

We generalize the notion of a crossed module of groups to that of a crossed module of racks. We investigate the relation to categorified racks, namely strict 2-racks, and trunk-like objects in the category of racks, generalizing the…

We define topologically semiperfect (complete, separated, right linear) topological rings and characterize them by equivalent conditions. We show that the endomorphism ring of a module, endowed with the finite topology, is topologically…

In this paper we describe a method for producing elements in the mod p cohomology of a discrete group of finite cohomological dimension. This provides a purely algebraic formulation of the theory of special cycles.

Neeman shows that the completion of a triangulated category with respect to a good metric yields a triangulated category. We compute completions of discrete cluster categories with respect to metrics induced by internal t-structures. In…

A topological commutative ring is said to be rigid when for every set $X$, the topological dual of the $X$-fold topological product of the ring is isomorphic to the free module over $X$. Examples are fields with a ring topology, discrete…

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,…

A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the comprehensive factorization system on Cat. Those aspects related to the concepts of…

A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes…

In this paper, first we obtain some new and interesting results on projective modules and on the upper topology of an ordinal number. Then it is shown that the rank map of a locally of finite type projective module is continuous with…

We show that the categories of compact Lie groups and complex reductive groups (not necessarily connected) are homotopy equivalent topological categories. In other words, the corresponding categories enriched in the homotopy category of…

A category of correspondences based on Waldhausen A-theory has interesting analogies, in the context of differential topology, to categories of mixed Tate motives studied in arithmetic geometry. In particular, the Hopf object S \wedge_A S…

We introduce a model category of spaces based on the definable sets of an o-minimal expansion of a real closed field. As a model category, it resembles the category of topological spaces, but its underlying category is a coherent topos. We…

We prove a rank-finiteness conjecture for modular categories: up to equivalence, there are only finitely many modular categories of any fixed rank. Our technical advance is a generalization of the Cauchy theorem in group theory to the…

We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part (arXiv:2501.15657), we discused…

We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…