arXiv Science⌕ Search

arXiv subjects

Shizhuo Zhang

Publications and source records attributed to Shizhuo Zhang.

At least 19 recordsLinked to original sources
arXiv2026

Categorical Torelli and Fourier-Mukai partners of hypersurfaces

Let $X\subset\PP^{M-1}$ be a smooth hypersurface of degree $d<M$, and let $\Ku(X)$ be its Kuznetsov component, the orthogonal complement of the line bundles $\OO_X,\dots,\OO_X(M-d-1)$ in the derived category. We prove that $\Ku(X)$ determines $X$ for every smooth quartic in $\PP^{4k+1}$, $k\geq1$; together with earlier work, this gives categorical Torelli for every smooth hypersurface of degree $d<M$ with $d\nmid M$. The same algebraic reconstruction proves the classical generic Torelli theorem for these quartics, which completes generic Torelli for smooth hypersurfaces whose degree does not divide $M$, cubic surfaces excepted. When $d$ divides $M$, the Kuznetsov component is a Calabi--Yau category, as for cubic fourfolds, where categorical Torelli is known to fail. We show that, apart from cubic fourfolds, such a hypersurface has a number of Fourier--Mukai partners bounded by a constant depending only on $d$ and $M$, and that categorical Torelli holds in sufficiently large degree, in every dimension. The main tool is a deformation theorem: when geometric deformations surject onto the second Hochschild cohomology of the Kuznetsov components, an equivalence deforms together with the hypersurfaces, so statements proved for general hypersurfaces extend to all smooth ones.

math.AG↗
arXiv2026

Infinitesimal Torelli problems for special Gushel-Mukai and related Fano threefolds: Hodge theoretical and categorical perspectives

A hyperelliptic curve is the classical example of a variety for which the global Torelli theorem holds while the differential of the period map has a kernel, forced by the extra involution. We study the analogous phenomenon for Fano threefolds that are double covers of rigid Fano threefolds branched along a K3 surface, mainly special Gushel--Mukai threefolds. We prove that the part of the infinitesimal period map invariant under the covering involution is injective, so that the kernel is exactly the three-dimensional space of anti-invariant deformations, one more than for ordinary Gushel--Mukai threefolds. We give a Hodge-theoretic proof, which reduces to a twisted infinitesimal Torelli theorem for the branch K3 surface, and a categorical proof, based on Kuznetsov's normal Hochschild cohomology, which also applies in genus eight and identifies the kernel with the tangent space to a distinguished point of a Bridgeland moduli space. The two descriptions of the kernel are related directly through the Plücker net and the conic of special lines of the quintic del Pezzo threefold. Finally, ordinary Verra threefolds satisfy the infinitesimal Torelli theorem, while special ones have a one-dimensional kernel; in both cases the kernel agrees with that of the categorical period map of a Clifford component, and it is the tangent space to the deformations of a canonical spinor bundle, which is rigid in the ordinary case and obstructed at second order in the special case.

math.AG↗
arXiv2026

Categorical resolutions and birational geometry of nodal Gushel-Mukai varieties

We study ordinary Gushel--Mukai varieties with one node in dimensions three, four, and five, under some generality hypotheses. The blowup of the node is related by a relative Atiyah flop to a quadric fibration over $\PP^2$. We identify the categorical resolution of the Kuznetsov component with the Clifford component of this fibration. Then, we study hyperbolic equivalence, the relation with Verra varieties, and birational Torelli for general nodal threefolds. For fourfolds, we prove that a countable union of divisorial families is dense in the complex topology, with rational members and untwisted degree-two $K3$ categories. Finally, we construct a spinor modification of the associated conic bundle and compute its trace-free endomorphism bundle, which is not a sum of line bundles.

math.AG↗
arXiv2026

Categorical Torelli theorem for smooth Fano varieties

Let $X$ be a smooth Fano variety and $H$ an ample line bundle with $-K_X=rH$ and $r\le\dim X-2$. We prove that the appropriately defined Kuznetsov component of $X$ with respect to $H$, together with its rotation functor, determines $(X,H)$ when $H$ is very ample, and more generally when $H$ is globally generated and the image of the morphism defined by $|H|$ has a hypersurface as projective dual. As a consequence we prove Perry's conjecture, which predicts that a smooth Fano variety $X$ is determined up to isomorphism by the orthogonal complement $\mathcal{O}_X^{\perp}$ of its structure sheaf in $\mathrm{D}^b(X)$, for all smooth Fano varieties of dimension at least three with very ample anticanonical bundle, and more generally with globally generated anticanonical bundle whose image has a hypersurface as dual. We also prove it when a multiple $-qK_X$ is very ample and the corresponding embedding is cut out by equations of degree at most $(\mathrm{dim} X-1)/q$. The idea is to read off $X$ from its hyperplane sections. We show that the Kuznetsov component with its rotation functor contains the residual categories of all hyperplane sections of $X$, singular ones included. The sections whose categories are not smooth form the projective dual of $X$, and classical projective duality recovers $X$. When $H$ is not very ample, the nodes of a single tangent hyperplane section, defined over a function field and detected by its singularity category, recover $X$ as a finite cover of its image. Applications include Fano hypersurfaces, all prime Fano threefolds of index one and genus at least three, cyclic covers of quadrics, Fano complete intersections and Gushel--Mukai varieties.

math.AG↗
arXiv2026

A refinement of the strange duality conjecture on K3 surfaces

Let $v,w$ be primitive Mukai vectors of positive rank on a polarized K3 surface with $χ(v\otimes w)=0$. Marian and Oprea conjectured that the strange duality map $H^0(M(v),Θ_w)^\vee\to H^0(M(w),Θ_v)$ is either zero or an isomorphism. We give three families of counterexamples to this conjecture. In each of them the map is nonzero but fails to be an isomorphism: in the first (a quartic surface) it is not surjective; in the second (Picard rank one, including very general polarized K3 surfaces) the source has strictly larger dimension than the target; and in the third (an elliptic surface) source and target both have dimension six, yet the map has rank five. The three examples share a common mechanism: one of the moduli spaces carries an effective divisor of square $-2$ on which a theta line bundle has negative degree, so that this theta line bundle is not nef and has nonvanishing higher cohomology, and the theta sections produced by the strange duality map vanish to excess order along this divisor. We therefore propose a refined conjecture, in which both theta line bundles are assumed to be big and nef, for instance ample.

math.AG↗
arXiv2026

Categorical reconstruction of del Pezzo surfaces: Hochschild--Serre algebras and spinor modifications

We prove that, for every smooth complex del Pezzo surface of degree at most four, the enhanced right orthogonal to the structure sheaf determines the surface up to isomorphism. In degrees one, two, and three, we recover the anticanonical equation from intrinsic pieces of the Hochschild-Serre algebra via graded matrix factorizations; in degree four, the relevant Serre diagonal recovers the orbifold canonical ring associated with the pencil of quadrics. We also give an alternative proof in degrees one and two using the Bertini and Geiser involutions, equivariant topological K-theory, and classical Torelli. Then, we study the Clifford component associated with a conic bundle structure over the projective line. In every degree at most four, we construct an abstract spinor bundle whose spinor modification produces another, generally non-isomorphic, del Pezzo surface. We show via Kuznetsov's modification theorem that the relevant base-linear equivalences are precisely those induced by spinor modifications.

math.AG↗
arXiv2026

Categorical Torelli theorem for (weighted) hypersurfaces via singularity category

We prove categorical Torelli theorems for ordinary and weighted hypersurfaces using the singularity category of the completed affine cone. For Fano hypersurfaces we use the Kuznetsov component, whereas for hypersurfaces of general type we use the full category of graded matrix factorizations. When the degree is coprime to the sum of the weights, the internal grading shift can be expressed in terms of the Serre functor and the cohomological shift. Its dg orbit is therefore intrinsic and, after taking the perfect hull, agrees with the dg singularity category of the completed cone. The formal singularity is then recovered by the categorical Mather--Yau theorem. For ordinary homogeneous equations, the resulting formal equivalence induces a projective linear equivalence; in the weighted setting the dual torus action determines the grading of the Tjurina algebra and hence the weighted homogeneous equation. The argument gives a uniform proof for Fano hypersurfaces under the stated numerical assumptions and proves new categorical Torelli theorems for hypersurfaces of general type.

math.AG↗
arXiv2026

A note on the noncommutative Hodge conjecture for graded matrix factorizations

Let $m\geq 2$ and $d\geq 7$. We consider homogeneous polynomials in $2m+2$ variables of the form $f=F_0(u_0,v_0)+\cdots+F_m(u_m,v_m)$, where the $F_i$ are independently very general squarefree binary forms of degree $d$. We prove the rational noncommutative Hodge conjecture for the dg category $\mathrm{MF}^{\mathrm{gr}}(f)$ of graded matrix factorizations. Its Hochschild homology is the direct sum of the scalar-invariant Jacobian sector and $d-1$ one-dimensional point sectors. Boundary--bulk images of explicit rank-one factorizations generate a lattice of rank $(d-1)^{m+1}$ in the identity sector, while grading shifts of the stabilized residue field generate all point sectors. A reduced-Burau calculation shows that the identity-sector lattice exhausts the rational Hodge classes at a very general parameter. Consequently, $\dim_{\mathbb{Q}}\operatorname{Hdg}\bigl(\mathrm{MF}^{\mathrm{gr}}(f),\mathbb{Q}\bigr)=(d-1)^{m+1}+d-1$, and the rational topological $K$-rank is $\bigl((d-1)^{2m+2}+d-1\bigr)/d+d-1$. Finally, applying the additivity of the noncommutative Hodge conjecture for semiorthogonal decompositions together with Orlov's decompositions for Fano, Calabi--Yau, and general-type hypersurfaces proves the rational Hodge conjecture for the associated smooth projective hypersurface.

math.AG↗
arXiv2026

EPW varieties as moduli spaces on ordinary GM surfaces and special GM threefolds

We show that the double dual EPW sextic associated with a strongly smooth Gushel-Mukai surface can be realized as a moduli space of semistable objects on its bounded derived category. Also, we observe that the double dual EPW surface associated with a special Gushel-Mukai threefold can be realized as a moduli space of semistable objects on its Kuznetsov component. Then we discuss extensions of our main results to double EPW sextics and double EPW surfaces and a refinement of a statement of Bayer and Perry about Gushel-Mukai threefolds with equivalent Kuznetsov components, under a mild assumption.

math.AG↗
arXiv2026

Brill-Noether reconstruction of index one prime Fano threefolds

We show by a uniform argument that every index one prime Fano threefold $X$ of genus $g\geq 6$ can be reconstructed as a Brill-Noether locus inside a Bridgeland moduli space of stable objects in the Kuznetsov component $\mathcal{K}u(X)$. As an application, we verify Mukai's conjecture on the existence of dual embeddings of $X$. Moreover, we establish a refined categorical Torelli theorem for $X$ and classify autoequivalences of $\mathcal{K}u(X)$. We also give an alternative disproof of Kuznetsov's Fano threefold conjecture.

math.AG↗
arXiv2025

Lagrangian families of Bridgeland moduli spaces from Gushel-Mukai fourfolds

Let $X$ be a very general Gushel-Mukai (GM) variety of dimension $n\geq 4$, and let $Y$ be a smooth hyperplane section. There are natural pull-back and push-forward functors between the semi-orthogonal components (known as the Kuznetsov components) of the derived categories of $X$ and $Y$. In this paper, we prove that the Bridgeland stability of objects is preserved by both pull-back and push-forward functors. We then explore various applications of this result, such as constructing an $8$-dimensional smooth family of Lagrangian subvarieties for each moduli space of stable objects in the Kuznetsov component of a general GM fourfold and proving the projectivity of the moduli spaces of semistable objects of any class in the Kuznetsov component of a general GM threefold, as conjectured by Perry, Pertusi, and Zhao.

math.AG↗
arXiv2025

Double EPW cubes from twisted cubics on Gushel-Mukai fourfolds

In this paper, we conduct the first systematic investigation of twisted cubics on Gushel-Mukai (GM) fourfolds. We then study the double EPW cube, a 6-dimensional hyperkähler manifold associated with a general GM fourfold $X$, through the Bridgeland moduli space, and show that it is the maximal rationally connected (MRC) quotient of the Hilbert scheme of twisted cubics on $X$. We also prove that a general double EPW cube admits a covering by Lagrangian subvarieties constructed from the Hilbert schemes of twisted cubics on GM threefolds, which provides a new example for a conjecture of O'Grady.

math.AG↗
arXiv2024

Three approaches to a categorical Torelli theorem for cubic threefolds of non-Eckardt type via the equivariant Kuznetsov components

Let $Y$ be a cubic threefold with a non-Eckardt type involution $τ$. Our first main result is that the $τ$-equivariant category of the Kuznetsov component $\mathcal{K}u_{\mathbb{Z}_2}(Y)$ determines the isomorphism class of $Y$ for general $(Y,τ)$. We shall prove this categorical Torelli theorem via three approaches: a noncommutative Hodge theoretical one (using a generalization of the intermediate Jacobian construction due to Alexander Perry), a Bridgeland moduli theoretical one (using equivariant stability conditions), and a Chow theoretical one (using some techniques in [kuznetsovnonclodedfield2021]).The remaining part of the paper is devoted to proving an equivariant infinitesimal categorical Torelli for non-Eckardt cubic threefolds $(Y,τ)$. To accomplish it, we prove a compatibility theorem on the algebra structures of the Hochschild cohomology of the bounded derived category $D^b(X)$ of a smooth projective variety $X$ and on the Hochschild cohomology of a semi-orthogonal component of $D^b(X)$. Another key ingredient is a generalization of a result in [macri2009infinitesima] which shows that the twisted Hochschild-Kostant-Rosenberg isomorphism is compatible with the actions on the Hochschild cohomology and on the singular cohomology induced by an automorphism of $X$. In appendix, we prove an equivariant categorical Torelli theorem for arbitrary cubic threefold with a geometric involution under a natural assumption.

math.AG↗
arXiv2024

Kuznetsov's Fano threefold conjecture via Hochschild-Serre algebra

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 matrix factorization. As an application, we give a new disproof of Kuznetsov's Fano threefold conjecture.

math.AG↗
arXiv2024

IVHS via Kuznetsov components and categorical Torelli theorems for weighted hypersurfaces

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 subalgebra of the Hochschild--Serre algebra of the Kuznetsov component of a degree $d$ weighted hypersurface in $\mathbb{P}(a_0,\ldots,a_n)$ reconstructs the graded subalgebra of the Jacobian ring generated by the degree $t:=\mathrm{gcd}(d,Σ_{i=0}^na_i)$ piece under mild assumptions. Using results of Donagi and Cox--Green, this gives a categorical Torelli theorem for most smooth hypersurfaces $Y$ of degree $d \le n$ in $\mathbb{P}^n$ such that $d$ does not divide $n+1$ (the exception being the cases of the form $(d,n) = (4, 4k + 2)$, for which a result of Voisin lets us deduce a generic categorical Torelli theorem when $k \ge 150$). Next, we show that the Jacobian ring of the Veronese double cone can be reconstructed from its graded subalgebra of even degree, thus proving a categorical Torelli theorem for the Veronese double cone. In the second part, we rebuild the infinitesimal Variation of Hodge structures of a series of (weighted) hypersurfaces from their Kuznetsov components via the Hochschild--Serre algebra. As a result, we prove categorical Torelli theorems for two classes of (weighted) hypersurfaces: $(1):$ Generalized Veronese double cone; $(2):$ Certain $k$-sheeted covering of $\mathbb{P}^n$, when they are generic. Then, we prove a refined categorical Torelli theorem for a Fano variety whose Kuznetsov component is a Calabi--Yau category of dimension $2m+1$. Finally, we prove the actual categorical Torelli theorem for generalized Veronese double cone and $k$-sheeted covering of $\mathbb{P}^n$.

math.AG↗
arXiv2024

Serre algebra, matrix factorization and categorical Torelli theorem for hypersurfaces

Let $X$ be a smooth Fano variety. We attach a bi-graded associative algebra $\mathrm{HS}(\mathcal{K}u(X))=\bigoplus_{i,j\in \mathbb{Z}} \mathrm{Hom}(\mathrm{Id},S_{\mathcal{K}u(X)}^{i}[j])$ to the Kuznetsov component $\mathcal{K}u(X)$ whenever it is defined. Then we construct a natural sub-algebra of $\mathrm{HS}(\mathcal{K}u(X))$ when $X$ is a Fano hypersurface and establish its relation with Jacobian ring $\mathrm{Jac}(X)$. As an application, we prove a categorical Torelli theorem for Fano hypersurface $X\subset\mathbb{P}^n(n\geq 2)$ of degree $d$ if $\mathrm{gcd}(n+1,d)=1.$ In addition, we give a new proof of the $[Pir22, Theorem 1.2]$ using a similar idea.

math.AG↗
arXiv2024

Categorical Torelli theorems for Gushel-Mukai threefolds

We show that a general ordinary Gushel-Mukai(GM) threefold $X$ is reconstructed from the Kuznetsov component $\mathcal{K}u(X)$ together with an extra data coming from tautological sub-bundle of Grassmannian $\mathrm{Gr}(2,5)$. We also prove that $\mathcal{K}u(X)$ determines birational isomorphism class of $X$, while $\mathcal{K}u(X')$ determines the isomorphism class of a general special GM threefold $X'$. As an application, we prove a conjecture of Kuznetsov-Perry in dimension three under a mild assumption. Finally, we use $\mathcal{K}u(X)$ to restate a conjecture of Debarre-Iliev-Manivel regarding fibers of the period map for ordinary GM threefolds.

math.AG↗