arXiv subjects

Shizhuo Zhang

Publications and source records attributed to Shizhuo Zhang.

31 records · Page 2Linked to original sources

arXiv2023

New perspectives on categorical Torelli theorems for del Pezzo threefolds

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 component: (i) Brill-Noether reconstruction. We show that $Y_d$ can be uniquely recovered as a Brill-Noether locus of Bridgeland stable objects in its Kuznetsov component. (ii) Exact equivalences. We prove that, up to composing with an explicit auto-equivalence, any Fourier-Mukai type equivalence of Kuznetsov components of two del Pezzo threefolds of degree $2\leq d\leq 4$ can be lifted to an equivalence of their bounded derived categories. As a result, we obtain a complete description of the group of Fourier-Mukai type auto-equivalences of the Kuznetsov component of $Y_d$. We also describe the group of Fourier-Mukai type auto-equivalences of Kuznetsov components of index one prime Fano threefolds $X_{2g-2}$ of genus $g=6$ and $8$. As an application, first we identify the group of automorphisms of $X_{14}$ and its associated $Y_3$. Then we give a new disproof of Kuznetsov's Fano threefold conjecture by assuming Gushel-Mukai threefolds are general. In an appendix, we classify instanton sheaves on quartic double solids, generalizing a result of Druel.

math.AG↗

arXiv2023

Making Large Language Models Better Reasoners with Step-Aware Verifier

Few-shot learning is a challenging task that requires language models to generalize from limited examples. Large language models like GPT-3 and PaLM have made impressive progress in this area, but they still face difficulties in reasoning tasks such as GSM8K, a benchmark for arithmetic problems. To improve their reasoning skills, previous work has proposed to guide the language model with prompts that elicit a series of reasoning steps before giving the final answer, achieving a significant improvement on GSM8K from 17.9% to 58.1% in problem-solving rate. In this paper, we present DIVERSE (Diverse Verifier on Reasoning Step), a novel approach that further enhances the reasoning capability of language models. DIVERSE has three main components: first, it generates diverse prompts to explore different reasoning paths for the same question; second, it uses a verifier to filter out incorrect answers based on a weighted voting scheme; and third, it verifies each reasoning step individually instead of the whole chain. We evaluate DIVERSE on the latest language model code-davinci-002 and show that it achieves new state-of-the-art results on six of eight reasoning benchmarks (e.g., GSM8K 74.4% to 83.2%).

cs.CL↗

arXiv2023

Conics on Gushel-Mukai fourfolds, EPW sextics and Bridgeland moduli spaces

We identify the double dual EPW sextic $\widetilde{Y}_{A^{\perp}}$ and the double EPW sextic $\widetilde{Y}_A$, associated with a very general Gushel-Mukai fourfold $X$, with the Bridgeland moduli spaces of stable objects of character $Λ_1$ and $Λ_2$ in the Kuznetsov component $\mathcal{K}u(X)$. This provides an affirmative answer to a question of Perry-Pertusi-Zhao. As an application, we prove a conjecture of Kuznetsov-Perry for very general Gushel-Mukai fourfolds.

math.AG↗

arXiv2023

Infinitesimal categorical Torelli theorems for Fano threefolds

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 $X$ says that the differential of the period map is injective. A categorical variant of infinitesimal Torelli theorem for $X$ says that the morphism $H^1(X,T_X)\xrightarrowη HH^2(\mathcal{K}u(X))$ is injective. In the present article, we use the machinery of Hochschild (co)homology to relate the three Torelli-type theorems for smooth Fano varieties via a commutative diagram. As an application, we first prove infinitesimal categorical Torelli theorem for a class of prime Fano threefolds. Then we prove a restatement of the Debarre-Iliev-Manivel conjecture infinitesimally.

math.AG↗

arXiv2022

Brill-Noether and existence of semistable sheaves on del Pezzo surfaces

Let $X$ be a del Pezzo surface. When the degree of $X$ is at least 4, we compute the cohomology of a general sheaf in the moduli space of Gieseker semistable sheaves. We also classify the Chern characters for which the general sheaf in the moduli space is non-special, i.e. has at most one nonzero cohomology group. Our results hold for arbitrary polarizations, slope semistability, and semi-exceptional moduli spaces. When the degree of $X$ is at least 3, we further show our construction of certain vector bundles implies the existence of stable and semistable sheaves with respect to the anti-canonical polarization.

math.AG↗

arXiv2022

A moduli theoretic approach to Lagrangian subvarieties of hyperkähler varieties: Examples

We propose two conjectures on a moduli theoretic approach to constructing Lagrangian subvarieties of hyperkähler varieties arising from the Kuznetsov components of cubic fourfolds or Gushel--Mukai fourfolds. Then we verify the conjectures in several cases, recovering classical examples. As a corollary, we confirm a conjecture of O'Grady in several instances on the existence of Lagrangian covering families for hyperkähler varieties.

math.AG↗

arXiv2021

Pre-training Co-evolutionary Protein Representation via A Pairwise Masked Language Model

Understanding protein sequences is vital and urgent for biology, healthcare, and medicine. Labeling approaches are expensive yet time-consuming, while the amount of unlabeled data is increasing quite faster than that of the labeled data due to low-cost, high-throughput sequencing methods. In order to extract knowledge from these unlabeled data, representation learning is of significant value for protein-related tasks and has great potential for helping us learn more about protein functions and structures. The key problem in the protein sequence representation learning is to capture the co-evolutionary information reflected by the inter-residue co-variation in the sequences. Instead of leveraging multiple sequence alignment as is usually done, we propose a novel method to capture this information directly by pre-training via a dedicated language model, i.e., Pairwise Masked Language Model (PMLM). In a conventional masked language model, the masked tokens are modeled by conditioning on the unmasked tokens only, but processed independently to each other. However, our proposed PMLM takes the dependency among masked tokens into consideration, i.e., the probability of a token pair is not equal to the product of the probability of the two tokens. By applying this model, the pre-trained encoder is able to generate a better representation for protein sequences. Our result shows that the proposed method can effectively capture the inter-residue correlations and improves the performance of contact prediction by up to 9% compared to the MLM baseline under the same setting. The proposed model also significantly outperforms the MSA baseline by more than 7% on the TAPE contact prediction benchmark when pre-trained on a subset of the sequence database which the MSA is generated from, revealing the potential of the sequence pre-training method to surpass MSA based methods in general.

cs.CL↗

arXiv2021

Bridgeland Moduli spaces for Gushel-Mukai threefolds and Kuznetsov's Fano threefold conjecture

We study the Hilbert scheme $\mathcal{H}$ of twisted cubics on a special smooth Gushel-Mukai threefolds $X_{10}$. We show that it is a smooth irreducible projective threefold if $X_{10}$ is general among special Gushel-Mukai threefolds, while it is singular if $X_{10}$ is not general. We construct an irreducible component of a moduli space of Bridgeland stable objects in the Kuznetsov component of $X_{10}$ as a divisorial contraction of $\mathcal{H}$. We also identify the minimal model of Fano surface $\mathcal{C}(X_{10}')$ of conics on a smooth ordinary Gushel-Mukai threefold with moduli space of Bridgeland stable objects in the Kuznetsov component of $X_{10}'$. As a result, we show that the Kuznetsov's Fano threefold conjecture is not true

math.AG↗

arXiv2021

A note on Bridgeland moduli spaces and moduli spaces of sheaves on $X_{14}$ and $Y_3$

We study Bridgeland moduli spaces of semistable objects of $(-1)$-classes and $(-4)$-classes in the Kuznetsov components on index one prime Fano threefold $X_{4d+2}$ of degree $4d+2$ and index two prime Fano threefold $Y_d$ of degree $d$ for $d=3,4,5$. For every Serre-invariant stability condition on the Kuznetsov components, we show that the moduli spaces of stable objects of $(-1)$-classes on $X_{4d+2}$ and $Y_d$ are isomorphic. We show that moduli spaces of stable objects of $(-1)$-classes on $X_{14}$ are realized by Fano surface $\mathcal{C}(X)$ of conics, moduli spaces of semistable sheaves $M_X(2,1,6)$ and $M_X(2,-1,6)$ and the correspondent moduli spaces on cubic threefold $Y_3$ are realized by moduli spaces of stable vector bundles $M^b_Y(2,1,2)$ and $M^b_Y(2,-1,2)$. We show that moduli spaces of semistable objects of $(-4)$-classes on $Y_{d}$ are isomorphic to the moduli spaces of instanton sheaves $M^{inst}_Y$ when $d\neq 1,2$, and show that there're open immersions of $M^{inst}_Y$ into moduli spaces of semistable objects of $(-4)$-classes when $d=1,2$. Finally, when $d=3,4,5$ we show that these moduli spaces are all isomorphic to $M^{ss}_X(2,0,4)$.

math.AG↗

arXiv2020

On cyclic strong exceptional collections of line bundles on surfaces

We study exceptional collections of line bundles on surfaces. We prove that any full cyclic strong exceptional collection of line bundles on a rational surface is an augmentation in the sense of L.Hille and M.Perling. We find simple geometric criteria of exceptionality (strong exceptionality, cyclic strong exceptionality) for collections of line bundles on weak del Pezzo surfaces. As a result, we classify smooth projective surfaces admitting a full cyclic strong exceptional collection of line bundles. Also, we provide an example of a weak del Pezzo surface of degree 2 and a full strong exceptional collection of line bundles on it which does not come from augmentations, thus answering a question by Hille and Perling.

math.AG↗

arXiv2019

Moduli of quiver representations for exceptional collections on surfaces

Suppose $S$ is a smooth projective surface over an algebraically closed field $k$, $\mathcal{L}=\{L_1,\ldots,L_n\}$ is a full strong exceptional collection of line bundles on $S$. Let $Q$ be the quiver associated to this collection. One might hope that $S$ is the moduli space of representations of $Q$ with dimension vector $(1,\ldots,1)$ for a suitably chosen stability condition $θ$: $S\cong M_θ$. In this paper, we show that this is the case for del Pezzo surfaces. Furthermore, we show the blow-up at a point can be recovered from an augmentation of exceptional collections (in the sense of L. Hille and M.Perling) via morphism between moduli of quiver representations.

math.AG↗

arXiv2017

Note on Applications of Toric Systems on Surfaces

In this note we apply the techniques of the toric systems introduced by Hille-Perling to several problems on smooth projective surfaces: We showed that the existence of full exceptional collection of line bundles implies the rationality for small Picard rank surfaces; we proved equivalences of several notions of cyclic strong exceptional collection of line bundles; we also proposed a partial solution to a conjecture on exceptional sheaves on weak del Pezzo surfaces.

math.AG↗

arXiv2017

On exceptional collections of line bundles on weak del Pezzo surfaces

We study full exceptional collections of line bundles on surfaces. We prove that any full strong exceptional collection of line bundles on a weak del Pezzo surface of degree $\ge 3$ is an augmentation in the sense of L.Hille and M.Perling, while for some weak del Pezzo surfaces of degree $2$ the above is not true. We classify smooth projective surfaces possessing a cyclic strong exceptional collection of line bundles of maximal length: we prove that they are weak del Pezzo surfaces and find all types of weak del Pezzo surfaces admitting such a collection. We find simple criteria of exceptionality/strong exceptionality for collections of line bundles on weak del Pezzo surfaces.

math.AG↗