arXiv subjects

Dmitrii Pirozhkov

Publications and source records attributed to Dmitrii Pirozhkov.

9 recordsLinked to original sources

arXiv2026

Stably semiorthogonally indecomposable varieties

A triangulated category is said to be indecomposable if it admits no nontrivial semiorthogonal decompositions. We introduce a definition of a noncommutatively stably semiorthogonally indecomposable (NSSI) scheme. This property implies, among other things, that each connected closed subscheme whose structure sheaf is a perfect complex has indecomposable derived category of coherent sheaves and that if $Y$ is NSSI, then for any variety $X$ all semiorthogonal decompositions of $X \times Y$ are induced from decompositions of $X$. We prove that any scheme which admits a finite morphism to an abelian variety is NSSI and that the total space of a fibration over a regular NSSI base with NSSI fibers is also NSSI. We apply this indecomposability to deduce that there are no phantom subcategories in some varieties, including surfaces $C \times \mathbb{P}^1$, where $C$ is any smooth proper curve of positive genus.

math.AG↗

arXiv2026

On the support of admissible subcategories

Let $X$ be a smooth proper variety over an algebraically closed field of characteristic zero, and let $\mathcal{A} \subset D^{b}_{\mathrm{coh}}(X)$ be an admissible subcategory. Let $Z \subset X$ be the union of set-theoretical supports of all objects in $\mathcal{A}$ and assume that $Z \neq X$. We show that for any morphism from $Z$ to an abelian variety each fiber has no isolated points; this implies, for example, that $Z$ cannot be isomorphic to an abelian variety. The key input is the fact that while not all line bundles on $Z$ lift to infinitesimal thickenings of $Z$, sufficiently many do: specifically, we show that for any infinitesimal thickening $Z \subset \widetilde{Z}$ the restriction morphism $\mathrm{Pic}^0(\widetilde{Z}) \to \mathrm{Pic}^0(Z)$ on the connected components of Picard schemes induces an isogeny between Albanese group schemes of those connected components.

math.AG↗

arXiv2025

Generators vs. classical generators in derived categories of curves

This is mostly an expository note about an example communicated to the author by Aise Johan de Jong. In a triangulated category $T$ an object $G$ is said to be a classical generator when the smallest triangulated subcategory containing $G$ coincides with the whole $T$, and it is said to be a generator when the orthogonal complement to $G$ in $T$ is zero, i.e., when any non-zero object of $T$ admits a non-zero map from a shift of $G$. Any classical generator is a generator, but not vice versa. We discuss a simple algebro-geometric example of a non-classical generator in the derived category of coherent sheaves on any smooth proper curve of genus $g \geq 2$. We also overview what is known and what is not known, in general, about generators and classical generators on curves.

math.AG↗

arXiv2025

Admissible subcategories supported on curves

Let $X$ be a smooth projective variety. We study admissible subcategories of the bounded derived category of coherent sheaves on $X$ whose support is a proper subvariety $Z \subset X$. We show that any one-dimensional irreducible component of $Z$ is a rational curve. When $\operatorname{dim} Z = 1$, we prove that at least one irreducible component in $Z$ intersects the canonical class $K_X$ negatively. In particular, this implies that a surface with a nef and effective canonical bundle has indecomposable derived category, confirming the conjecture by Okawa. We also prove that a configuration of curves with non-negative self-intersections on a surface cannot support an admissible subcategory.

math.AG↗

arXiv2024

Towards homological projective duality for $\mathrm{Gr}(2, 2n)$

Consider a Grassmannian $\mathrm{Gr}(2, V)$ for an even-dimensional vector space $V$. Its derived category of coherent sheaves has a Lefschetz exceptional collection with respect to the Plücker embedding. We consider a variety $X_1$ of pairs consisting of a degenerate $2$-form on $V$ and a line in its kernel. Note that $X_1$ is generically a $\mathbb{P}^1$-fibration over the Pfaffian variety of degenerate $2$-forms on $V$. We construct an exceptional collection of coherent sheaves on $X_1$ such that the subcategory of $D^b_{\mathrm{coh}}(X_1)$ generated by that collection is conjecturally equivalent to the homologically projectively dual category of the Grassmannian.

math.AG↗

arXiv2022

Categorical Torelli theorem for hypersurfaces

Let $X \subset \mathbb{P}^{n+1}$ be a smooth Fano hypersurface of dimension $n$ and degree $d$. The derived category of coherent sheaves on $X$ contains an interesting subcategory called the Kuznetsov component $\mathcal{A}_X$. We show that this subcategory, together with a certain autoequivalence called the rotation functor, determines $X$ uniquely if $d > 3$ or if $d = 3$ and $n > 3$. This generalizes a result by D. Huybrechts and J. Rennemo, who proved the same statement under the additional assumption that $d$ divides $n+2$.

math.AG↗

arXiv2020

Admissible subcategories of del Pezzo surfaces

We study admissible subcategories of derived categories of coherent sheaves on del Pezzo surfaces and rational elliptic surfaces. Using a relation between admissible subcategories and anticanonical divisors we prove the following results. First, we classify all admissible subcategories of the projective plane by showing that each is generated by a subcollection of a full exceptional collection. Second, we show that the derived categories of del Pezzo surfaces do not contain any phantom subcategories. This provides first examples of varieties of dimension larger than one that have some nontrivial admissible subcategories, but provably do not contain phantoms. We also prove that any admissible subcategory supported set-theoretically on a smooth (-1)-curve in a surface is generated by some twist of the structure sheaf of that curve.

math.AG↗

arXiv2019

Rouquier dimension of some blow-ups

Raphaël Rouquier introduced an invariant of triangulated categories which is known as Rouquier dimension. Orlov conjectured that for any smooth quasi-projective variety $X$ the Rouquier dimension of $D^b_{\mathrm{coh}}(X)$ is equal to $\mathrm{dim}\, X$. In this note we show that some blow-ups of projective spaces satisfy Orlov's conjecture. This includes a blow-up of $\mathbb{P}^2$ in nine arbitrary distinct points, or a blow-up of three distinct points lying on an exceptional divisor of a blow-up of $\mathbb{P}^3$ in a line. In particular, our method gives an alternative proof of Orlov's conjecture for del Pezzo surfaces, first established by Ballard and Favero.

math.AG↗

arXiv2018

Semiorthogonal decompositions on total spaces of tautological bundles

Let U be the tautological subbundle on the Grassmannian $\mathrm{Gr}(k, n)$. There is a natural morphism $\mathrm{Tot}(U) \to \mathbb{A}^n$. Using it, we give a semiorthogonal decomposition for the bounded derived category $D^b_{\mathrm{coh}}(\mathrm{Tot}(U))$ into several exceptional objects and several copies of $D^b_{\mathrm{coh}}(\mathbb{A}^n)$. We also prove a global version of this result: given a vector bundle $E$ with a regular section $s$, consider a subvariety of the relative Grassmannian $\mathrm{Gr}(k, E)$ of those subspaces which contain the value of $s$. The derived category of this subvariety admits a similar decomposition into copies of the base and the zero locus of $s$. This may be viewed as a generalization of the blow-up formula of Orlov, which is the case $k = 1$.

math.AG↗