Related papers: Geometricity for derived categories of algebraic s…
Let $\mathcal{X}$ be a tame proper Deligne-Mumford stack of the form $[M/G]$ where $M$ is a scheme and $G$ is an algebraic group. We prove that the stack $\mathcal{K}_{g,n}(\mathcal{X},d)$ of twisted stable maps is a quotient stack and can…
In a previous work we constructed the $Q$-shaped derived category of any ring $A$ for any suitably nice category $Q$. The $Q$-shaped derived category of $A$, which is denoted by $\mathcal{D}_{Q}(A)$, is a generalization of the ordinary…
For a $p$-adic field $F$ of residual cardinality $q$, we provide a triangulated equivalence between the bounded derived category $D^b(\mathcal{B}_{1}(G)_{fg})$ of finitely generated unipotent representations of $G=\mathrm{GL}_2(F)$ and…
We examine the extent to which a smooth minimal complex projective surface X is determined by its derived category of coherent sheaves D(X). To do this we find, for each such surface X, the set of surfaces Y for which there exists a…
A complete mathematical framework for coalgebraic formulation of supergeometry and its infinite-dimensional extension is proposed. Within this approach a supermanifold is defined as a graded coalgebra endowed with a smooth structure. The…
Originally a technical tool, the derived category of coherent sheaves over an algebraic variety has become over the last twenty years an important invariant in the birational study of algebraic varieties. Problems of birational invariance…
In this work we consider the question of realizing triangulated dg-categories by derived categories of algebraic varieties. For this, we introduce the notion of "system of points" in saturated dg-categories. We show that given such a system…
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 give an exposition and generalization of Orlov's theorem on graded Gorenstein rings. We show the theorem holds for non-negatively graded rings which are Gorenstein in an appropriate sense and whose degree zero component is an arbitrary…
A conjecture of Orlov predicts that derived equivalent smooth projective varieties over a field have isomorphic Chow motives. The conjecture is known for curves, and was recently observed for surfaces by Huybrechts. In this paper we focus…
The derived category of a general complete intersection of four quadrics in P^{2n-1} has a semi-orthogonal decomposition < O(-2n+9), ..., O(-1), O, D >, where D is the derived category of twisted sheaves on a certain non-algebraic complex…
We use the mirror theorem for toric Deligne-Mumford stacks, proved recently by the authors and by Cheong-Ciocan-Fontanine-Kim, to compute genus-zero Gromov-Witten invariants of a number of toric orbifolds and gerbes. We prove a mirror…
We propose a geometric and categorical approach to the Hodge Conjecture for all smooth projective complex varieties. By embedding any such variety into a flat family with general fibers smooth complete intersections, we prove the conjecture…
This is the first in a series of papers about foliations in derived geometry. After introducing derived foliations on arbitrary derived stacks, we concentrate on quasi-smooth and rigid derived foliations on smooth complex algebraic…
Curved A-infinity algebras appear in nature as deformations of dg algebras. We develop the basic theory of curved A-infinity algebras and, in particular, curved dg algebras. We investigate their link with a suitable class of dg coalgebras…
In this expository article we give a categorical definition of the integral cohomology ring of a stack. We show that for quotient stacks the categorical cohomology may be identified with equivariant cohomology. Via this identification we…
Let $k$ be a field. We characterize the group schemes $G$ over $k$, not necessarily affine, such that $\mathsf{D}_{\mathrm{qc}}(B_kG)$ is compactly generated. We also describe the algebraic stacks that have finite cohomological dimension in…
We give two proofs to the following theorem and its generalization: if a finite dimensional algebra $A$ is derived equivalent to a smooth projective scheme, then any derived equivalence between $A$ and another algebra $B$ is standard, that…
Let $X \to S$ be a miniversal family of smooth and projective varieties and D be a fixed triangulated category. We show that the set of points s in S such that the derived category of the fiber X_s at s is equivalent to D is at most…
For a (semi-)model category M, we define a notion of a ''homotopy'' Grothendieck topology on M, as well as its associated model category of stacks. We use this to define a notion of geometric stack over a symmetric monoidal base model…