Related papers: Serre algebra, matrix factorization and categorica…
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…
We study the categorical Torelli theorem for smooth (weighted) hypersurfaces in (weighted) projective spaces via the Hochschild--Serre algebra of its Kuznetsov component. In the first part of the paper, we show that a natural graded…
Let $X$ be a smooth Fano variety and $\mathcal{K}u(X)$ the Kuznetsov component. Torelli theorems for $\mathcal{K}u(X)$ says that it is uniquely determined by a polarized abelian variety attached to it. An infinitesimal Torelli theorem for…
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…
The Jacobian ring J(X) of a smooth hypersurface determines its isomorphism type. This has been used by Donagi and others to prove the generic global Torelli theorem for hypersurfaces in many cases. In Voisin's original proof of the global…
We prove categorical Torelli theorems for four families of Fano double covers with Picard rank greater than 1. Among these is the family of Verra fourfolds. The other three families manifest as double covers of Fano threefolds, branched in…
Let $Y$ admit a rectangular Lefschetz decomposition of its derived category, and consider a cyclic cover $X\to Y$ ramified over a divisor $Z$. In a setting not considered by Kuznetsov and Perry, we define a subcategory $\mathcal{A}_Z$ of…
Using a refinement of the differential method introduced by Oguiso and Yu, we provide effective conditions under which the automorphisms of a smooth degree $d$ hypersurface of $\mathbf{P}^{n+1}$ are given by generalized triangular matrices.…
We survey some recent results concerning the so called Categorical Torelli problem. This is to say how one can reconstruct a smooth projective variety up to isomorphism, by using the homological properties of special admissible…
Let $C$ be a smooth projective curve of genus $g\geq 4$ over the complex numbers and ${\cal SU}^s_C(r,d)$ be the moduli space of stable vector bundles of rank $r$ with a fixed determinant of degree $d$. In the projectivized cotangent space…
We provide descriptions of the derived categories of degree $d$ hypersurface fibrations which generalize a result of Kuznetsov for quadric fibrations and give a relative version of a well-known theorem of Orlov. Using a local generator and…
We introduce a class of combinatorial hypersurfaces in the complex projective space. They are submanifolds of codimension~2 in $\C P^n$ and are topologically "glued" out of algebraic hypersurfaces in $(\C^*)^n$. Our construction can be…
In the toric variety $\mathcal{T}$, with Cox ring graded by $\deg(z_{2i})=(1,-1,0)$, $\deg(z_{2i+1})=(1,0,-1)$ and $\deg(w_\pm)=(0,1,0),(0,0,1)$, we study hypersurfaces $\widetilde{X}^{2n}\subset\mathcal T$ of multidegree $(2d+1,-d,-d)$…
Let $K$ be a local field with algebraically closed residue field and $X_K$ a torsor under an elliptic curve $J_K$ over $K$. Let $X$ be a proper minimal regular model of $X_K$ over the ring of integers of $K$ and $J$ the identity component…
We compute the essential dimension of the functors Forms_{n,d} and Hypersurf_{n, d} of equivalence classes of homogeneous polynomials in n variables and hypersurfaces in P^{n-1}, respectively, over any base field k of characteristic 0. Here…
We study the birational geometry of hypersurfaces in projective varieties of the form $\mathbf{P}^1\times Z$, where $Z$ satisfies mild assumptions. Building on recent results of Herrera--Laface--Ugaglia, we study their Cox rings (when…
In the spirit of a theorem of Wood, we give necessary and sufficient conditions for a family of germs of analytic hypersurfaces in a smooth projective toric variety X to be interpolated by an algebraic hypersurface with a fixed class in the…
We prove a full generalization of the Castelnuovo's free pencil trick. We show its analogies with the Adjoint Theorem; see L. Rizzi, F. Zucconi, Differential forms and quadrics of the canonical image, arXiv:1409.1826 and also Theorem 1.5.1…
We establish an effective Bertini-type theorem for hypersurfaces $X_f \colon f = 0$ defined over a finite field $k$ for which $f$ has no linear factors over the algebraic closure $\overline{k}$. Given a line $L$ defined over $k$ and a…
We generalize the classical approach of describing the infinitesimal Torelli map in terms of multiplication in a Jacobi ring to the case of quasi-smooth complete intersections in weighted projective space. As an application, we prove the…