Related papers: Derived category of projectivizations and flops

Suppose that $C\subset\mathbb P^2$ is a general enough nodal plane curve of degree $>2$, $\nu\colon \hat C\to C$ is its normalization, and $\pi\colon \hat C\to\mathbb P^1$ is a finite morphism simply ramified over the same set of points as…

Building on Olander's work on algebraic spaces, we prove Orlov's representability theorem relating fully faithful functors and Fourier--Mukai transforms between the bounded derived category of coherent sheaves to the case of smooth, proper,…

We show how Calabi-Yau hypersurface families arising from Batyrev's construction can be resolved and compactified using a type of fan more general than an MPCP resolution. This can lead to smooth projective compactifications that are not…

We prove that the derived category $D(C)$ of a generic curve of genus greater than one embeds into the derived category $D(M)$ of the moduli space $M$ of rank two stable bundles on $C$ with fixed determinant of odd degree.

In this paper we continue the project of generalizing tilting theory to the category of contravariant functors $Mod(C)$, from a skeletally small preadditive category $C$ to the category of abelian groups. We introduced the notion of a a…

We prove the Derived Mapping Space Lemma, which generalizes the central theorem of Cisinski's work on calculus of fractions for $\infty$-categories, and allows us to provide a unified framework for analyzing mapping spaces in localizations…

Let X and Y be complex smooth projective varieties, and D^b(X) and D^b(Y) the associated bounded derived categories of coherent sheaves. Assume the existence of a triangulated category T which is admissible both in D^b(X) as in D^b(Y).…

We give a simplified proof (in characteristic zero) of the decomposition theorem for complex projective varieties with klt singularities and numerically trivial canonical bundle. The proof rests in an essential way on most of the partial…

To any affine scheme with a $\mathbb{G}_m$-action, we provide a Bousfield colocalization on the equivariant derived category of modules by constructing, via homotopical methods, an idempotent integral kernel. This endows the equivariant…

Directed Algebraic Topology is beginning to emerge from various applications. The basic structure we shall use for such a theory, a 'd-space', is a topological space equipped with a family of 'directed paths', closed under some operations.…

Orbifold and logarithmic structures provide independent routes to the virtual enumeration of curves with tangency orders for a simple normal crossings pair $(X|D)$. The theories do not coincide and their relationship has remained…

In this short note, we observe that Theorem 3.1 in arXiv:1508.00682 for semiorthogonal indecomposability of the derived category of smooth DM stacks based on the canonical bundle can be extended to the case of projective varieties with…

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 show that Bondal-Orlov's reconstruction theorem holds in noncommutative projective geometry. We also prove that fully faithful exact functors between derived categories of noncommutative projective schemes are of Fourier-Mukai type.

We define the notion of generalized logarithmic sheaves on a smooth projective surface, associated to a pair consisting of a reduced curve and some fixed points on it. We then set up the study of the Torelli property in this setting,…

Given a smooth morphism of schemes $X\rightarrow T$, denote by $\mathcal D_{X/T}^{\mathsf{cr}}$ the sheaf of rings of fiberwise crystalline differential operators on $X$ relative to $T$ and by $\Omega^\bullet_{X/T}$ the de Rham sheaf of…

We show that the moduli spaces of Thaddeus pairs on smooth projective curves and those of dual pairs are related by d-critical flips, which are virtual birational transformations introduced by the second author. We then prove the existence…

We obtain a precise relation between the Chern-Schwartz-MacPherson class of a subvariety of projective space and the Euler characteristics of its general linear sections. In the case of a hypersurface, this leads to simple proofs of…

This paper proves a general collapsing result for families of stratified Riemannian metrics $\widehat{g}^\mu$ on a compact orbifold $E$, subject to suitable limiting conditions on the metrics $\widehat{g}^\mu$ as $\mu \to \infty$. The…

We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This…