English

Homological Bondal-Orlov localization conjecture for rational singularities

Algebraic Geometry 2023-07-07 v2

Abstract

Given a resolution of rational singularities π ⁣:X~X\pi\colon \tilde{X} \to X over a field of characteristic zero we use a Hodge-theoretic argument to prove that the image of the functor Rπ ⁣:D(X~)D(X)\mathbf{R}\pi_*\colon \mathbf{D}(\tilde{X}) \to \mathbf{D}(X) between bounded derived categories of coherent sheaves generates D(X)\mathbf{D}(X) as a triangulated category. This gives a weak version of the Bondal-Orlov localization conjecture, answering a question of Pavic and Shinder. The same result is established more generally for proper (non-necessarily birational) morphisms π ⁣:X~X\pi\colon \tilde{X} \to X, with X~\tilde{X} smooth, satisfying Rπ(OX~)=OX\mathbf{R}\pi_*(\mathcal{O}_{\tilde{X}}) = \mathcal{O}_X.

Keywords

Cite

@article{arxiv.2212.06786,
  title  = {Homological Bondal-Orlov localization conjecture for rational singularities},
  author = {Mirko Mauri and Evgeny Shinder},
  journal= {arXiv preprint arXiv:2212.06786},
  year   = {2023}
}

Comments

9 pages. Final version to appear in Forum Math. Sigma

R2 v1 2026-06-28T07:32:52.300Z