BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Qizheng Yin

Qizheng Yin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGmath.DGmath.NTmath.RTmath.SG

Catalog footprint

What is connected

15works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2026arXiv

On generalized Beauville decompositions

Motivated by the Beauville decomposition of an abelian scheme and the "Perverse = Chern" phenomenon for a compactified Jacobian fibration, we study in this paper splittings of the perverse filtration for compactified Jacobian fibrations. On the one hand, we prove for the Beauville-Mukai system associated with an irreducible curve class on a $K3$ surface the existence of a Fourier-stable multiplicative splitting of the perverse filtration, which extends the Beauville decomposition for the nonsingular fibers. Our approach is to construct a Lefschetz decomposition associated with a Fourier-conjugate $\mathfrak{sl}_2$-triple, which relies heavily on recent work concerning the interaction between derived equivalences and LLV algebras for hyper-Kähler varieties. Motivic lifting and connections to the Beauville-Voisin conjectures are also discussed. On the other hand, we construct for any $g\geq 2$ a compactified Jacobian fibration of genus $g$ curves such that each curve is integral with at worst simple nodes and the (multiplicative) perverse filtration does not admit a multiplicative splitting. Our argument relies on the recently established universal double ramification cycle relations. This shows that in general an extension of the Beauville decomposition cannot exist for compactified Jacobian fibrations even when the simplest singular point appears.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

Fourier-Mukai transforms and the decomposition theorem for integrable systems

We study the interplay between the Fourier-Mukai transform and the decomposition theorem for an integrable system $π: M \rightarrow B$. Our main conjecture is that the Fourier-Mukai transform of sheaves of Kähler differentials, after restriction to the formal neighborhood of the zero section, are quantized by the Hodge modules arising in the decomposition theorem for $π$. For an integrable system, our formulation unifies the Fourier-Mukai calculation of the structure sheaf by Arinkin-Fedorov, the theorem of the higher direct images by Matsushita, and the "perverse = Hodge" identity by the second and the third authors. As evidence, we show that these Fourier-Mukai images are Cohen-Macaulay sheaves with middle-dimensional support on the relative Picard space, with support governed by the higher discriminants of the integrable system. We also prove the conjecture for smooth integrable systems and certain 2-dimensional families with nodal singular fibers. Finally, we sketch the proof when cuspidal fibers appear.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Topology of Lagrangian fibrations and Hodge theory of hyper-Kähler manifolds

We establish a compact analog of the P = W conjecture. For a holomorphic symplectic variety with a Lagrangian fibration, we show that the perverse numbers associated with the fibration match perfectly with the Hodge numbers of the total space. This builds a new connection between the topology of Lagrangian fibrations and the Hodge theory of hyper-Kähler manifolds. We present two applications of our result, one on the topology of the base and fibers of a Lagrangian fibration, the other on the refined Gopakumar-Vafa invariants of a K3 surface. Furthermore, we show that the perverse filtration associated with a Lagrangian fibration is multiplicative under cup product.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Rational curves in holomorphic symplectic varieties and Gromov-Witten invariants

We use Gromov-Witten theory to study rational curves in holomorphic symplectic varieties. We present a numerical criterion for the existence of uniruled divisors swept out by rational curves in the primitive curve class of a very general holomorphic symplectic variety of $K3^{[n]}$ type. We also classify all rational curves in the primitive curve class of the Fano variety of lines in a very general cubic $4$-fold, and prove the irreducibility of the corresponding moduli space. Our proofs rely on Gromov-Witten calculations by the first author, and in the Fano case on a geometric construction of Voisin. In the Fano case a second proof via classical geometry is sketched.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Tautological classes with twisted coefficients

Let $M_g$ be the moduli space of smooth genus $g$ curves. We define a notion of Chow groups of $M_g$ with coefficients in a representation of $Sp(2g)$, and we define a subgroup of tautological classes in these Chow groups with twisted coefficients. Studying the tautological groups of $M_g$ with twisted coefficients is equivalent to studying the tautological rings of all fibered powers $C_g^n$ of the universal curve $C_g \to M_g$ simultaneously. By taking the direct sum over all irreducible representations of the symplectic group in fixed genus, one obtains the structure of a twisted commutative algebra on the tautological classes. We obtain some structural results for this twisted commutative algebra, and we are able to calculate it explicitly when $g \leq 4$. Thus we completely determine the tautological rings of all fibered powers of the universal curve over $M_g$ in these genera. We also give some applications to the Faber conjecture.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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}}$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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.

0 citations0 reviewsNo code linkedOpen access