Related papers: The derived $\infty$-category of Cartier Modules

We establish the feasibility of investigating the theory of $R\text{-}\mathrm{Mod}$-enriched categories, for any commutative and unitary ring $R$, through the framework of $\mathbb{A}\mathrm{b}$-enriched category theory. In particular, we…

We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…

We give a general framework of equivariant model category theory. Our groups G, called Hopf groups, are suitably defined group objects in any well-behaved symmetric monoidal category V. For any V, a discrete group G gives a Hopf group,…

Let $\phi$ be a non-isotrivial family of Drinfeld A-modules of rank r in generic characteristic with a suitable level structure over a connected smooth algebraic variety X. Suppose that the endomorphism ring of $\phi$ is equal to A. Then we…

Algebra and representation theory in modular tensor categories can be combined with tools from topological field theory to obtain a deeper understanding of rational conformal field theories in two dimensions: It allows us to establish the…

It is proved that for a commutative noetherian ring with dualizing complex the homotopy category of projective modules is equivalent, as a triangulated category, to the homotopy category of injective modules. Restricted to compact objects,…

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…

This note is an appendix to a preprint by E. Hellmann. We give a complete classification of simple objects of the category of vector spaces D over K = Fpbar((u)) equipped with an endomorphism phi whose image generates D and that are…

For an additive category $\mathbf{P}$ we provide an explict construction of a category $\mathcal{Q}( \mathbf{P} )$ whose objects can be thought of as formally representing $\frac{\mathrm{im}( \gamma )}{\mathrm{im}( \rho ) \cap \mathrm{im}(…

The goal of this article is to prove a comparison theorem between rigid cohomology and cohomology computed using the theory of arithmetic $\mathscr{D}$-modules. To do this, we construct a specialisation functor from Le Stum's category of…

We use the terms $\infty$-categories and $\infty$-functors to mean the objects and morphisms in an $\infty$-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category of fibrant objects.…

In Rev. Math. Phys. 4 (1997) 785 we study Hilbert-C* systems {F,G} where the fixed point algebra A has nontrivial center Z and where A'\cap F=Z is satisfied. The corresponding category of all canonical endomorphisms of A contains…

We introduce the notion of the $\infty$-category of (complete) derived $G$-graded modules over a $G$-graded ring $R$ for a torsion-free abelian group $G$, and we study its foundational properties. Moreover, we prove a categorical…

We establish a correspondence between modules and spans of algebras within a general monoidal 2-category $\mathfrak{C}$. Specifically, for an algebra $A$ in $\mathfrak{C}$, we construct a normalized lax 3-functor from the 2-category of…

We consider a pivotal monoidal functor whose domain is a modular tensor category (MTC). We show that the trace of such a functor naturally extends to a representation of the corresponding tube category. As irreducible representations of the…

In the theory of coalgebras $C$ over a ring $R$, the rational functor relates the category of modules over the algebra $C^*$ (with convolution product) with the category of comodules over $C$. It is based on the pairing of the algebra $C^*$…

In order to define a geometric Fourier transform, one usually works with either $\ell$-adic sheaves in characteristic $p>0$ or with $D$-modules in characteristic 0. If one considers $\ell$-adic sheaves on the stack quotient of a vector…

We present a slick proof of completeness and cocompleteness for categories of $F$-automata, where the span of maps $E\leftarrow E\otimes I \to O$ that usually defines a deterministic automaton of input $I$ and output $O$ in a monoidal…

In this paper we prove an $\infty$-categorical version of the reflection theorem of Ad\'amek-Rosick\'y. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $\kappa$-filtered colimits is a…

For a smooth formal scheme $\mathfrak{X}$ over the Witt vectors $W$ of a perfect field $k$, we construct a functor $\mathbb{D}_\mathrm{crys}$ from the category of prismatic $F$-crystals $(\mathcal{E},\varphi_\mathcal{E})$ (or prismatic…