Related papers: Perfect complexes on algebraic stacks

The bounded derived category of coherent sheaves on a smooth projective variety is known to be equivalent to the triangulated category of perfect modules over a DG algebra. DG algebras, arising in this way, have to satisfy some compactness…

We use an idea of Rosenberg to prove a reconstruction theorem for abelian categories of alpha-twisted quasi-coherent sheaves on quasi-compact and quasi-separated schemes X when alpha is in the Brauer group of X. By applying the work of…

We construct a full rectangular Lefschetz collection in the derived category of the adjoint Grassmannian in type $\mathrm{F}_4$. This gives the first example of a full exceptional collection on this variety and also completes the proof of a…

We develop a theory of quasicoherent sheaves on dagger analytic varieties based on Ind-Banach spaces. We show that they satisfy descent in the analytic topology. We define compactly supported pushforwards and produce an adjunction $f_!…

We embed triangulated categories defined by quivers with potential arising from ideal triangulations of marked bordered surfaces into Fukaya categories of quasi-projective 3-folds associated to meromorphic quadratic differentials. Together…

We construct the semi-infinite tensor structure on the semiderived category of quasi-coherent torsion sheaves on an ind-scheme endowed with a flat affine morphism into an ind-Noetherian ind-scheme with a dualizing complex. The semitensor…

We construct a semi-orthogonal decomposition on the category of perfect complexes on the blow-up of a derived Artin stack in a quasi-smooth centre. This gives a generalization of Thomason's blow-up formula in algebraic K-theory to derived…

We describe new autoequivalences of derived categories of coherent sheaves arising from what we call $\mathbb P^n$-objects of the category. Standard examples arise from holomorphic symplectic manifolds. Under mirror symmetry these…

This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a "predicative…

By analogy with the classical (Chasles-Schubert-Semple-Tyrell) spaces of complete quadrics and complete collineations, we introduce the variety of complete complexes. Its points can be seen as equivalence classes of spectral sequences of a…

We prove that a compact complex analytic variety is algebraizable if and only if its bounded derived dg-category of coherent sheaves is saturated.

We give an introduction to partially wrapped Fukaya categories of surfaces with orbifold singularities. Dissecting an orbifold surface $\mathbf S$ into polygons, certain dissections give rise to formal generators, inducing a triangulated…

Let G be a complex algebraic semi-simple adjoint group and X a smooth complete symmetric G-variety. Let L_i be the irreducible G-equivariant intersection cohomology complexes on X, and L the direct sum of the L_i. Let E= Ext(L,L) be the…

We consider the derived category of coherent sheaves on a complex vector space equivariant with respect to an action of a finite reflection group G. In some cases, including Weyl groups of type A, B, G_2, F_4, as well as the groups…

In this paper, we study Azumaya algebras and Brauer groups in derived algebraic geometry. We establish various fundamental facts about Brauer groups in this setting, and we provide a computational tool, which we use to compute the Brauer…

We use the theory of approximable triangulated categories to give a condition for a proper DG-category to be reflexive in the sense of Kuznetsov and Shinder. To do this we provide another description of the completion of an approximable…

We develop the geometric and homological framework for non-commutative $n$-ary $\Gamma$-semirings by constructing a sheaf and derived theory over their non-commutative $\Gamma$-spectrum. Starting with a non-commutative $n$-ary…

We study a notion of total acyclicity for complexes of flat sheaves over a scheme. It is Zariski-local - i.e. it can be verified on any open affine covering of the scheme - and it agrees, in their setting, with the notion studied by Murfet…

In this paper we study the derived categories of coherent sheaves on Grassmannians $\operatorname{Gr}(k,n),$ defined over the ring of integers. We prove that the category $D^b(\operatorname{Gr}(k,n))$ has a semi-orthogonal decomposition,…

We investigate the positivity and extension of invertible sheaves on group homogeneous spaces over coherent bases. Bypassing the failure of standard limit arguments and the classical Weil--Cartier correspondence, we develop a valuative…