Related papers: Geometric Phantom Categories
To any open subset of a cotangent bundle, Tamarkin has associated a certain quotient of a category of sheaves. Here we show that the Hochschild cohomology of this category agrees with filtered symplectic cohomology.
Parsummable categories were introduced by Schwede as input for his global algebraic $K$-theory construction. We prove that their whole homotopy theory with respect to the so-called global equivalences can already be modelled by the more…
We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…
For a locally presentable abelian category $\mathsf B$ with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy…
For the base field of complex numbers we discuss the relationship between categories of coherent sheaves on compact Riemann surfaces and categories of coherent sheaves on weighted smooth projective curves. This is done by bringing back to…
In this article, a new construction of derived equivalences is given. It relates different endomorphism rings and more generally cohomological endomorphism rings - including higher extensions - of objects in triangulated categories. These…
We show that conically smooth stratified spaces embed fully faithfully into $\infty$-categories. This articulates a stratified generalization of the homotopy hypothesis proposed by Grothendieck. As such, each $\infty$-category defines a…
Given an action of a finite group on a triangulated category, we investigate under which conditions one can construct a linearised triangulated category using DG-enhancements. In particular, if the group is a finite group of automorphisms…
We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…
In this thesis we study two main topics which culminate in a proof that four distinct definitions of the equivariant derived category of a smooth algebraic group $G$ acting on a variety $X$ are in fact equivalent. In the first part of this…
Consider a Grothendieck category $\mathcal{G}$ along with a choice of generator $G$, or equivalently a generating set $\{G_i\}$. We introduce the derived category $\mathcal{D}(G)$, which kills all $G$-acyclic complexes, by putting a…
A subunit in a monoidal category is a subobject of the monoidal unit for which a canonical morphism is invertible. They correspond to open subsets of a base topological space in categories such as those of sheaves or Hilbert modules. We…
Let X be a quasi-compact scheme, equipped with an open covering by affine schemes. A quasi-coherent sheaf on X gives rise, by taking sections over the covering sets, to a diagram of modules over the various coordinate rings. The resulting…
Tangent category theory is a well-established categorical framework for differential geometry. A long list of fundamental geometric constructions, such as the tangent bundle functor, vector fields, Euclidean spaces, and vector bundles have…
We prove a stronger version of the octahedral axiom in a pre-triangulated category. The proof uses a new lemma about exact sequences in pointed additive categories which is based on a weak converse of the snake lemma.
Let $\text{X}$ denote a projective variety over an algebraically closed field on which a linear algebraic group acts with finitely many orbits. Then, a conjecture of Soergel and Lunts in the setting of Koszul duality and Langlands'…
This paper is an expository account of the theory of stable infinity categories. We prove that the homotopy category of a stable infinity category is triangulated, and that the collection of stable infinity categories is closed under a…
We show that the derived category of any singularity over a field of characteristic 0 can be embedded fully and faithfully into a smooth triangulated category which has a semiorthogonal decomposition with components equivalent to derived…
The geometric models for the module category and derived category of any gentle algebra were introduced to realize the objects in module category and derived category by permissible curves and admissible curves respectively. The present…
We generalize a classical result about the genus of curves in projective space by Gruson and Peskine to principally polarized abelian threefolds of Picard rank one. The proof is based on wall-crossing techniques for ideal sheaves of curves…