Related papers: Categorical Torelli theorem for hypersurfaces
Given any irreducible smooth complex projective curve $X$, of genus at least $2$, consider the moduli stack of vector bundles on $X$ of fixed rank and determinant. It is proved that the isomorphism class of the stack uniquely determines the…
We introduce the notion of categorical absorption of singularities: an operation that removes from the derived category of a singular variety a small admissible subcategory responsible for singularity and leaves a smooth and proper…
We study the moduli spaces of rational curves on cubic hypersurfaces in characteristic $\neq2,3$. As a result, we prove that for every integer $d\geq1$ the Kontsevich moduli space of stable maps on a smooth cubic hypersurface $X$ of degree…
Let $Y$ be a smooth quartic double solid regarded as a degree 4 hypersurface of the weighted projective space $\mathbb{P}(1,1,1,1,2)$. We study the multiplication of Hochschild-Serre algebra of its Kuznetsov component $\mathcal{K}u(Y)$, via…
Let X be a smooth proper variety over the quotient field of a Henselian discrete valuation ring with algebraically closed residue field of characteristic p. We show that for any coherent sheaf E on X, the index of X divides the…
Smooth cubic fourfolds are linked to K3 surfaces via their Hodge structures, due to work of Hassett, and via Kuznetsov's K3 category A. The relation between these two viewpoints has recently been elucidated by Addington and Thomas. In this…
For a line bundle L on a smooth surface S, it is now known that the degree of the Severi variety of cogenus-d curves is given by a universal polynomial in the Chern classes of L and S if L is d-very ample. For S rational, we relax the…
We show that varieties of dimension at least 2 over infinite fields are determined as abstract schemes by their Zariski topological spaces together with the rational equivalence relation on the set of effective divisors. This gives a…
Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…
We classify linearly normal surfaces $S \subset \mathbf{P}^{r+1}$ of degree $d$ such that $4g-4 \leq d \leq 4g+4$, where $g>1$ is the sectional genus (it is a classical result that for larger $d$ there are only cones). We apply this to the…
In [BK], it is shown that the Turaev-Viro invariants defined for a spherical fusion category $\mathcal{A}$ extends to invariants of 3-manifolds with corners. In [Kir], an equivalent formulation for the 2-1 part of the theory (2-manifolds…
We attach two binary codes to a projective nodal surface (the strict code K and, for even degree d, the extended code K' ) to investigate the `Nodal Severi varieties F(d, n) of nodal surfaces in P^3 of degree d and with n nodes, and their…
The existence of a full strong exceptional sequence in the derived category of a smooth quadric hypersurface was proved by Kapranov. In this paper, we present a skew generalization of this result. Namely, we show that if $S$ is a standard…
Let $X$ be a projective complex 3-manifold. An effective curve class $\beta\in H_2(X,\mathbb Z)$ is called positive if $c_1(X)\cdot\beta>0$, and superpositive if all the effective summands of $\beta$ are positive. If $X$ is Fano then all…
We determine the group of all Fourier-Mukai type autoequivalences of Kuznetsov components of smooth complex cubic threefolds, and provide yet another proof for the Fourier-Mukai version of categorical Torelli theorem for smooth complex…
Let $Y_d$ be a del Pezzo threefold of Picard rank one and degree $d\geq 2$. In this paper, we apply two different viewpoints to study $Y_d$ via a particular admissible subcategory of its bounded derived category, called the Kuznetsov…
Let $k$ be an algebraically closed field. Fix integers $n$ and $b$ with $n\geq 3$ and $1\leq b\leq n-1.$ Let $T^d_k$ be the moduli space of hypersurfaces $[F]$ in $\mathbb{P}^n_k$ of degree $l$ whose singular locus contains a subscheme of…
Fix positive integers $n,r,d$. We show that if $n,r,d$ satisfy a suitable inequality, then any smooth hypersurface $X\subset \mathbb{P}^n$ defined over a finite field of characteristic $p$ sufficiently large contains a rational $r$-plane.…
Let $X \hookrightarrow \mathbb{P}^r$ be a smooth projective variety defined by homogeneous polynomials of degree $\leq d$. We give explicit upper bounds on the order of the torsion subgroup $(\mathrm{NS} \, X)_{\mathrm{tor}}$ of the…
Let M be a K3 surface or an even-dimensional compact torus. We show that the category of coherent sheaves on M is independent from the choice of the complex structure, if this complex structure is generic.