Sheaves on Triangulated Spaces and Koszul Duality

On the uniqueness of infinity-categorical enhancements of triangulated categories

We study the problem of when triangulated categories admit unique infinity-categorical enhancements. Our results use Lurie's theory of prestable infinity-categories to give conceptual proofs of, and in many cases strengthen, previous work on the subject by Lunts--Orlov and Canonaco--Stellari. We also give a wide range of examples involving quasi-coherent sheaves, categories of almost modules, and local cohomology to illustrate the theory of prestable infinity-categories. Finally, we propose a theory of stable $n$-categories which would interpolate between triangulated categories and stable inf…

滤过对象与层的张量三角几何

Tensor triangular geometry of filtered objects and sheaves

本文利用∞-范畴与无点方法，通过分配格和半格等工具计算了滤过或分次对象所成张量三角范畴中紧对象的 Balmer 谱，并应用于概形滤过导出范畴与滤过谱同伦范畴。

Weight structures and motives; comotives, coniveau and Chow-weight spectral sequences, and mixed complexes of sheaves: a survey

This is a survey of author's results on weight structures and Voevodsky's motives. Weight structures are natural counterparts of t-structures (for triangulated categories) introduced by the author. They allow to construct weight complexes, weight filtrations, and weight spectral sequences for various cohomology theories. Partial cases of the latter are: 'classical' weight spectral sequences (for singular and etale cohomology), coniveau spectral sequences, and Atiyah-Hirzebruch spectral sequences. All of those are mentioned in the current paper. The details, proofs, and several more results cou…

On exact categories and applications to triangulated adjoints and model structures

We show that Quillen's small object argument works for exact categories under very mild conditions. This has immediate applications to cotorsion pairs and their relation to the existence of certain triangulated adjoint functors and model structures. In particular, the interplay of different exact structures on the category of complexes of quasi-coherent sheaves leads to a streamlined and generalized version of recent results obtained by Estrada, Gillespie, Guil Asensio, Hovey, Jørgensen, Neeman, Murfet, Prest, Trlifaj and possibly others.

Thom isomorphisms in triangulated motivic categories

We show that a triangulated motivic category admits categorical Thom isomorphisms for vector bundles with an additional structure if and only if the generalized motivic cohomology theory represented by the tensor unit object admits Thom classes. We also show that the stable $\mathbb{A}^1$-derived category does not admit Thom isomorphisms for oriented vector bundles and, more generally, for symplectic bundles. In order to do so we compute the first homology sheaves of the motivic sphere spectrum and show that the class in the coefficient ring of $\mathbb{A}^1$-homology corresponding to the seco…

Quillen equivalences inducing Grothendieck duality for unbounded chain complexes of sheaves

Let $\mathbb{X}$ be a semiseparated Noetherian scheme with a dualizing complex $D$. We lift some well-known triangulated equivalences associated with Grothendieck duality to Quillen equivalences of model categories. In the process we are able to show that the Gorenstein flat model structure, on the category of quasi-coherent sheaves on $\mathbb{X}$, is Quillen equivalent to the Gorenstein injective model structure. Also noteworthy is that we extend the recollement of Krause to hold without the Noetherian condition. Using a set of flat generators, it holds for any quasi-compact semiseparated sc…

Koszul Duality in Higher Topoi

We show that there is an equivalence in any $n$-topos $\mathcal{X}$ between the pointed and $k$-connective objects of $\mathcal{X}$ and the $\mathbb{E}_k$-group objects of the $(n-k-1)$-truncation of $\mathcal{X}$. This recovers, up to equivalence of $\infty$-categories, some classical results regarding algebraic models for $k$-connective, $(n-1)$-coconnective homotopy types. Further, it extends those results to the case of sheaves of such homotopy types. We also show that for any pointed and $k$-connective object $X$ of $\mathcal{X}$ there is an equivalence between the $\infty$-category of mo…

Witt groups of abelian categories and perverse sheaves

In this paper we study the Witt groups of symmetric and anti-symmetric forms on perverse sheaves on a finite-dimensional topologically stratified space with even dimensional strata. We show that the Witt group has a canonical decomposition as a direct sum of the Witt groups of shifted local systems on strata. We compare this with another `splitting decomposition' for Witt classes of perverse sheaves obtained inductively from our main new tool, a `splitting relation' which is a generalisation of isotropic reduction. The Witt groups we study are identified with the (non-trivial) Balmer-Witt grou…

范畴 Koszul 对偶

Categorical Koszul duality

本文建立 dg 范畴与曲余代数间的 Koszul 对偶，并用标准化链复形函子解释 dg 神经，进而刻画拟范畴表示与分层空间可构造 dg 层范畴。

Witt groups of sheaves on topological spaces

This paper investigates the Witt groups of triangulated categories of sheaves (of modules over a ring R in which 2 is invertible) equipped with Poincare-Verdier duality. We consider two main cases, that of perfect complexes of sheaves on locally compact Hausdorff spaces and that of cohomologically constructible complexes of sheaves on polyhedra. We show that the Witt groups of the latter form a generalised homology theory for polyhedra and continuous maps. Under certain restrictions on the ring R, we identify the constructible Witt groups of a finite simplicial complex with Ranicki's free symm…

Grothendieck 范畴中的 K-平坦性：在拟凝聚层上的应用

K-flatness in Grothendieck categories: Application to quasi-coherent sheaves

本文研究闭对称幺半 Grothendieck 范畴中的 K-平坦复形，建立覆盖、Verdier 商、recollement 与幺半模型结构，并将条件应用于拟紧半分离概形上的拟凝聚层。

Auslander-Reiten sequences, Brown-Comenetz duality, and the $K(n)$-local generating hypothesis

In this paper, we construct a version of Auslander-Reiten sequences for the $K(n)$-local stable homotopy category. In particular, the role of the Auslander-Reiten translation is played by the local Brown-Comenetz duality functor. As an application, we produce counterexamples to the $K(n)$-local generating hypothesis for all heights $n>0$ and all primes. Furthermore, our methods apply to other triangulated categories, as for example the derived category of quasi-coherent sheaves on a smooth projective scheme.