Related papers: Towards the Nerves of Steel Conjecture

We introduce a notion of stratification for rigidly-compactly generated tensor-triangulated categories relative to the homological spectrum and develop the fundamental features of this theory. In particular, we demonstrate that it exhibits…

The aim of this paper is to prove that the A$_{\infty}$-nerve of two quasi-equivalent A$_{\infty}$-categories (linear over a commutative ring) are weak-equivalent in the Joyal model structure. As a consequence we prove that the…

We describe several equivalent models for the infinity-category of infinity-local systems of chain complexes over a space using the framework of quasi-categories. We prove that the given models are equivalent as infinity-categories by…

Let $\mathcal{C}$ be an additive category. The nilpotent category $\mathrm{Nil} (\mathcal{C})$ of $\mathcal{C}$, consists of objects pairs $(X, x)$ with $X\in\mathcal{C}, x\in\mathrm{End}_{\mathcal{C}}(X)$ such that $x^n=0$ for some…

We first show that every group-theoretical category is graded by a certain double coset ring. As a consequence, we obtain a necessary and sufficient condition for a group-theoretical category to be nilpotent. We then give an explicit…

Balmer recently showed that there is a general notion of a nilpotence theorem for tensor triangulated categories through the use of homological residue fields and the connection with the homological spectrum. The homological spectrum (like…

We prove a version of the Wilson conjecture for $\omega$-categorical $3$-Engel Lie algebras over a field of characteristic $5$: every $\omega$-categorical Lie algebra over $\mathbb{F}_5$ which satisfies the identity $[x,y^3] = 0$ is…

Let A be a Q-linear pseudo-abelian rigid tensor category. A notion of finiteness due to Kimura and (independently) O'Sullivan guarantees that the ideal of numerically trivial endomorphism of an object is nilpotent. We generalize this result…

In this short note, we prove a general nilpotence theorem for a rational rigid 2-ring all of whose objects satisfy a certain ``moderate growth condition'' inspired from the theory of tensor categories. This applies in particular to the…

An extension $B\subset A$ of finite dimensional algebras is bounded if the $B$-$B$-bimodule $A/B$ is $B$-tensor nilpotent, its projective dimension is finite and $\mathrm{Tor}_i^B(A/B, (A/B)^{\otimes_B j})=0$ for all $i, j\geq 1$. We show…

Given a commutative noetherian ring $R$ and a finite acyclic quiver $Q$, we study the tensor triangulated category $\mathcal{D}(RQ)$ endowed with the vertexwise tensor product. We find a description of the internal hom functor and show that…

Given a rigidly-compactly generated tensor-triangulated category whose Balmer spectrum is finite dimensional and Noetherian, we construct a torsion model for it, which is equivalent to the original tensor-triangulated category. The torsion…

We study singularity categories through Gorenstein objects in triangulated categories and silting theory. Let ${\omega}$ be a semi-selforthogonal (or presilting) subcategory of a triangulated category $\mathcal{T}$. We introduce the notion…

In this note we consider partial model categories, by which we mean relative categories that satisfy a weakened version of the model category axioms involving only the weak equivalences. More precisely, a partial model category will be a…

We develop the basic theory of nilpotent types and their localizations away from sets of numbers in Homotopy Type Theory. For this, general results about the classifying spaces of fibrations with fiber an Eilenberg-Mac Lane space are…

We prove that the Balmer spectrum of a tensor triangulated category is homeomorphic to the Zariski spectrum of its graded central ring, provided the triangulated category is generated by its tensor unit and the graded central ring is…

We construct a left semi-model category of "marked strict $\infty$-categories" for which the fibrant objects are those whose marked arrows satisfy natural closure properties and are weakly invertible. The canonical model structure on strict…

Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we…

In this paper we introduce a functor, called the simplicial nerve of an A-infinity category, defined on the category of (small) A-infinity categories with values in simplicial sets. We prove that the simplicial nerve of any A-infinity…

For any category ${\mathcal E}$ and monad $T$ thereon, we introduce the notion of $T$-simplicial object in ${\mathcal E}$. Any $T$-category in the sense of Burroni induces a $T$-simplicial object as its nerve. This nerve construction…