arXiv subjects

Qizheng Yin

Publications and source records attributed to Qizheng Yin.

29 records · Page 2Linked to original sources

arXiv2016

Curve counting on abelian surfaces and threefolds

We study the enumerative geometry of algebraic curves on abelian surfaces and threefolds. In the abelian surface case, the theory is parallel to the well-developed study of the reduced Gromov-Witten theory of K3 surfaces. We prove complete results in all genera for primitive classes. The generating series are quasimodular forms of pure weight. Conjectures for imprimitive classes are presented. In genus 2, the counts in all classes are proven. Special counts match the Euler characteristic calculations of the moduli spaces of stable pairs on abelian surfaces by Göttsche-Shende. A formula for hyperelliptic curve counting in terms of Jacobi forms is proven (modulo a transversality statement). For abelian threefolds, complete conjectures in terms of Jacobi forms for the generating series of curve counts in primitive classes are presented. The base cases make connections to classical lattice counts of Debarre, Goettsche, and Lange-Sernesi. Further evidence is provided by Donaldson-Thomas partition function computations for abelian threefolds. A multiple cover structure is presented. The abelian threefold conjectures open a new direction in the subject.

math.AG↗

arXiv2016

Relations in the tautological ring of the moduli space of K3 surfaces

We study the interplay of the moduli of curves and the moduli of K3 surfaces via the virtual class of the moduli spaces of stable maps. Using Getzler's relation in genus 1, we construct a universal decomposition of the diagonal in Chow in the third fiber product of the universal K3 surface. The decomposition has terms supported on Noether-Lefschetz loci which are not visible in the Beauville-Voisin decomposition for a fixed K3 surface. As a result of our universal decomposition, we prove the conjecture of Marian-Oprea-Pandharipande: the full tautological ring of the moduli space of K3 surfaces is generated in Chow by the classes of the Noether-Lefschetz loci. Explicit boundary relations are constructed for all kappa classes. More generally, we propose a connection between relations in the tautological ring of the moduli spaces of curves and relations in the tautological ring of the moduli space of K3 surfaces. The WDVV relation in genus 0 is used in our proof of the MOP conjecture.

math.AG↗

arXiv2016

On O'Grady's generalized Franchetta conjecture

We study relative zero cycles on the universal polarized $K3$ surface $X \to \mathcal{F}_g$ of degree $2g - 2$. It was asked by O'Grady if the restriction of any class in $\mathrm{CH}^2(X)$ to a closed fiber $X_s$ is a multiple of the Beauville-Voisin canonical class $c_{X_s} \in \mathrm{CH}_0(X_s)$. Using Mukai models, we give an affirmative answer to this question for $g \leq 10$ and $g = 12, 13, 16, 18, 20$.

math.AG↗

arXiv2016

On the Chow ring of certain rational cohomology tori

Let $f: X \rightarrow A$ be an abelian cover from a complex algebraic variety with quotient singularities to an abelian variety. We show that $f^*$ induces an isomorphism between the rational cohomology rings $H^\bullet(A, \mathbb{Q})$ and $H^\bullet(X, \mathbb{Q})$ if and only if $f^*$ induces an isomorphism between the Chow rings with rational coefficients $\mathrm{CH}^\bullet(A)_{\mathbb{Q}}$ and $\mathrm{CH}^\bullet(X)_{\mathbb{Q}}$.

math.AG↗

arXiv2015

$\mathbb{A}^1$-equivalence of zero cycles on surfaces II

Using recent developments in the theory of mixed motives, we prove that the log Bloch conjecture holds for an open smooth complex surface if the Bloch conjecture holds for its compactification. This verifies the log Bloch conjecture for all $\mathbb{Q}$-homology planes and for open smooth surfaces which are not of log general type.

math.AG↗

arXiv2014

Finite-dimensionality and cycles on powers of K3 surfaces

For a K3 surface S, consider the subring of CH(S^n) generated by divisor and diagonal classes (with Q-coefficients). Voisin conjectures that the restriction of the cycle class map to this ring is injective. We prove that Voisin's conjecture is equivalent to the finite-dimensionality of S in the sense of Kimura-O'Sullivan. As a consequence, we obtain examples of S whose Hilbert schemes satisfy the Beauville-Voisin conjecture.

math.AG↗

arXiv2014

Cycles on curves and Jacobians: a tale of two tautological rings

We connect two notions of tautological ring: one for the moduli space of curves (after Mumford, Faber, etc.), and the other for the Jacobian of a curve (after Beauville, Polishchuk, etc.). The motivic Lefschetz decomposition on the Jacobian side produces relations between tautological classes, leading to results about Faber's Gorenstein conjecture on the curve side. We also relate certain Gorenstein properties on both sides and verify them for small genera. Further, we raise the question whether all tautological relations are motivic, giving a possible explanation why the Gorenstein properties may not hold.

math.AG↗

arXiv2014

Some remarks on modified diagonals

We prove a number of basic vanishing results for modified diagonal classes. We also obtain some sharp results for modified diagonals of curves and abelian varieties, and we prove a conjecture of O'Grady about modified diagonals on double covers.

math.AG↗

arXiv2013

On a question of O'Grady about modified diagonals

Let X be an abelian variety of dimension g. In a recent preprint O'Grady defines modified diagonal classes Γ^m on X^m and he conjectures that the class of Γ^m in the Chow ring of X^m is torsion for m \geq 2g+1. We prove a generalization of this conjecture.

math.AG↗

arXiv2013

On a result of Green and Griffiths

We present a simple proof of a result of Green and Griffiths, which states that for the generic curve C of genus g >= 4, the 0-cycle K \times K - (2g - 2) K_Δis non-torsion in CH^2(C \times C). The proof is elementary and works in all characteristics.

math.AG↗

arXiv2012

On the tautological rings of M_{g, 1} and its universal Jacobian

We give a new method of producing relations in the tautological ring R(M_{g, 1}), using the sl_2-action on the Chow ring of the universal Jacobian. With these relations, we prove that R(M_{g, 1}) is generated by κ_i for i no greater than g/3, together with ψ. Our computation shows that Faber's conjectures for M_{g, 1} are true for g up to 19. Further, by pushing relations forward to M_g, we obtain a new proof of Faber's conjectures (for M_g) for g up to 23. For g = 24, our method recovers all the Faber-Zagier relations. We also give an algebraic proof of an identity of Morita.

math.AG↗