Source author record

Yalong Cao

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

18works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

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

18 published item(s)

preprint2026arXiv

Quasimaps to quivers with potentials

This paper is concerned with a non-compact GIT quotient of a vector space, in the presence of an abelian group action and an equivariant regular function (potential) on the quotient. We define virtual counts of quasimaps from prestable curves to the critical locus of the potential, and prove a gluing formula in the formalism of cohomological field theories. The main examples studied in this paper is when the above setting arises from quivers with potentials, where the above construction gives quantum correction to the equivariant Chow homology of the critical locus. Following similar ideas as in quasimaps to Nakajima quiver varieties studied by the Okounkov school, we analyse vertex functions in several examples, including Hilbert schemes of points on $\mathbb{C}^3$, moduli spaces of perverse coherent systems on the resolved conifold, and a quiver which defines higher $\mathfrak{sl}_2$-spin chains. Bethe equations are calculated in these cases. The construction in the present paper is based on the theory of gauged linear sigma models as well as shifted symplectic geometry of Pantev, Toën, Vaquie and Vezzosi, and uses the virtual pullback formalism of symmetric obstruction theory of Park, which arises from the recent development of Donaldson-Thomas theory of Calabi-Yau 4-folds.

preprint2026arXiv

Shifted quantum groups via critical stable envelopes

Given a symmetric quiver with potential, we develop a geometric construction of shifted Yangians acting on the critical cohomologies of antidominantly framed quiver varieties with extended potentials, using the $R$-matrices constructed from critical stable envelopes. We relate such Reshetikhin type Yangians to Drinfeld type Yangians arising from critical cohomological Hall algebras. Several detailed examples, including the trivial, Jordan, and tripled Jordan quivers are explicitly computed. For symmetric quiver varieties with potentials, by using the smallness property of their affinization maps, we derive explicit formulas for quantum multiplication by divisors in terms of Casimir elements of the associated Lie (super)algebras, extending results from Nakajima quiver varieties to the critical setting. A similar formula in the antidominantly framed case is also obtained, which includes Hilbert schemes of points on $\mathbb C^3$ as examples.

preprint2026arXiv

Symmetric quiver varieties and critical stable envelopes

Symmetric quiver varieties with potentials are natural generalizations of Nakajima quiver varieties, and their equivariant critical cohomologies provide more flexible settings for geometric representation theory and enumerative geometry. In this paper, we study their geometric properties and show that they behave like universally deformed Nakajima quiver varieties. Based on this, we provide a new proof of the existence of critical stable envelopes on them. Following an idea of Nakajima, we give a sheaf theoretic interpretation of critical stable envelopes by the hyperbolic restriction in the affinization of symmetric quiver varieties. The associativity of hyperbolic restrictions implies the triangle lemma of critical stable envelopes.

preprint2025arXiv

Stable envelopes for critical loci

This is the first in a sequence of papers devoted to stable envelopes in critical cohomology and critical $K$-theory for symmetric GIT quotients with potentials and related geometries, and their applications to geometric representation theory and enumerative geometry. In this paper, we construct critical stable envelopes and establish their general properties, including compatibility with dimensional reductions, specializations, Hall products, and other geometric constructions. In particular, for tripled quivers with canonical cubic potentials, the critical stable envelopes reproduce those on Nakajima quiver varieties. These set up foundations for applications in subsequent papers.

preprint2022arXiv

Curve counting via stable objects in derived categories of Calabi-Yau 4-folds

In our previous paper with Maulik, we proposed a conjectural Gopakumar-Vafa (GV) type formula for the generating series of stable pair invariants on Calabi-Yau (CY) 4-folds. The purpose of this paper is to give an interpretation of the above GV type formula in terms of wall-crossing phenomena in the derived category. We introduce invariants counting LePotier's stable pairs on CY 4-folds, and show that they count certain stable objects in D0-D2-D8 bound states in the derived category. We propose a conjectural wall-crossing formula for the generating series of our invariants, which recovers the conjectural GV type formula. Examples are computed for both compact and toric cases to support our conjecture.

preprint2022arXiv

Stable pairs and Gopakumar-Vafa type invariants on holomorphic symplectic 4-folds

As an analogy to Gopakumar-Vafa conjecture on Calabi-Yau 3-folds, Klemm-Pandharipande defined Gopakumar-Vafa type invariants of a Calabi-Yau 4-fold $X$ using Gromov-Witten theory. When $X$ is holomorphic symplectic, Gromov-Witten invariants vanish and one can consider the corresponding reduced theory. In a companion work, we propose a definition of Gopakumar-Vafa type invariants for such a reduced theory. In this paper, we give them a sheaf theoretic interpretation via moduli spaces of stable pairs.

preprint2021arXiv

Tautological stable pair invariants of Calabi-Yau 4-folds

Let $X$ be a Calabi-Yau 4-fold and $D$ a smooth divisor on it. We consider tautological complex associated with $L=\mathcal{O}_X(D)$ on the moduli space of Le Potier stable pairs and define its counting invariant by integrating the Euler class against the virtual class. We conjecture a formula for their generating series expressed using genus zero Gopakumar-Vafa invariants of $D$ and genus one Gopakumar-Vafa type invariants of $X$, which we verify in several examples. When $X$ is the local resolved conifold, our conjecture reproduces a conjectural formula of Cao-Kool-Monavari in the PT chamber. In the JS chamber, we completely determine the invariants and confirm one of our previous conjectures.

preprint2020arXiv

Curve counting and DT/PT correspondence for Calabi-Yau 4-folds

Recently, Cao-Maulik-Toda defined stable pair invariants of a compact Calabi-Yau 4-fold $X$. Their invariants are conjecturally related to the Gopakumar-Vafa type invariants of $X$ defined using Gromov-Witten theory by Klemm-Pandharipande. In this paper, we consider curve counting invariants of $X$ using Hilbert schemes of curves and conjecture a DT/PT correspondence which relates these to stable pair invariants of $X$. After providing evidence in the compact case, we define analogous invariants for toric Calabi-Yau 4-folds using a localization formula. We formulate a vertex formalism for both theories and conjecture a relation between the (fully equivariant) DT/PT vertex, which we check in several cases. This relation implies a DT/PT correspondence for toric Calabi-Yau 4-folds with primary insertions.

preprint2019arXiv

Genus zero Gopakumar-Vafa type invariants for Calabi-Yau 4-folds II: Fano 3-folds

In analogy with the Gopakumar-Vafa (GV) conjecture on Calabi-Yau (CY) 3-folds, Klemm and Pandharipande defined GV type invariants on Calabi-Yau 4-folds using Gromov-Witten theory and conjectured their integrality. In a joint work with Maulik and Toda, the author conjectured their genus zero invariants are $\mathrm{DT_4}$ invariants of one dimensional stable sheaves. In this paper, we study this conjecture on the total space of canonical bundle of a Fano 3-fold $Y$, which reduces to a relation between twisted GW and $\mathrm{DT_3}$ invariants on $Y$. Examples are computed for both compact and non-compact Fano 3-folds to support our conjecture.

preprint2019arXiv

Remarks on Kawamata's effective non-vanishing conjecture for manifolds with trivial first Chern classes

Kawamata proposed a conjecture predicting that every nef and big line bundle on a smooth projective variety with trivial first Chern class has nontrivial global sections. We verify this conjecture for several cases, including (i) all hyperkähler varieties of dimension $\leq 6$; (ii) all known hyperkähler varieties except for O'Grady's 10-dimensional example; (iii) general complete intersection Calabi-Yau varieties in certain Fano manifolds (e.g. toric ones). Moreover, we investigate the effectivity of Todd classes of hyperkähler varieties and Calabi-Yau varieties. We prove that the fourth Todd classes are "fakely effective" for all hyperkähler varieties and general complete intersection Calabi-Yau varieties in products of projective spaces.

preprint2019arXiv

Stable pairs and Gopakumar-Vafa type invariants for Calabi-Yau 4-folds

As an analogy to Gopakumar-Vafa conjecture on CY 3-folds, Klemm-Pandharipande defined GV type invariants on CY 4-folds using GW theory and conjectured their integrality. In this paper, we define stable pair type invariants on CY 4-folds and use them to interpret these GV type invariants. Examples are computed for both compact and non-compact CY 4-folds to support our conjectures.

preprint2018arXiv

Genus zero Gopakumar-Vafa type invariants for Calabi-Yau 4-folds

In analogy with the Gopakumar-Vafa conjecture on CY 3-folds, Klemm and Pandharipande defined GV type invariants on Calabi-Yau 4-folds using Gromov-Witten theory and conjectured their integrality. In this paper, we propose a sheaf-theoretic interpretation of their genus zero invariants using Donaldson-Thomas theory on CY 4-folds. More specifically, we conjecture genus zero GV type invariants are $\mathrm{DT_{4}}$ invariants for one-dimensional stable sheaves on CY 4-folds. Some examples are computed for both compact and non-compact CY 4-folds to support our conjectures. We also propose an equivariant version of the conjectures for local curves and verify them in certain cases.

preprint2015arXiv

Donaldson-Thomas theory for Calabi-Yau 4-folds

Let $X$ be a compact complex Calabi-Yau 4-fold. Under certain assumptions, we define Donaldson-Thomas type deformation invariants ($DT_{4}$ invariants) by studying moduli spaces of solutions to the Donaldson-Thomas equations on $X$. We also study sheaves counting problems on local Calabi-Yau 4-folds. We relate $DT_{4}$ invariants of $K_{Y}$ to the Donaldson-Thomas invariants of the associated Fano 3-fold $Y$. When the Calabi-Yau 4-fold is toric, we adapt the virtual localization formula to define the corresponding equivariant $DT_{4}$ invariants. We also discuss the non-commutative version of $DT_{4}$ invariants for quivers with relations. Finally, we compute $DT_{4}$ invariants for certain Calabi-Yau 4-folds when moduli spaces are smooth and find a $DT_{4}/GW$ correspondence for $X$. Examples of wall-crossing phenomenon in $DT_{4}$ theory are also given.

preprint2015arXiv

Mukai flops and Plücker type formulas for hyper-Kähler manifolds

We study the intersection theory of complex Lagrangian subvarieties inside holomorphic symplectic manifolds. In particular, we study their behaviour under Mukai flops and give a rigorous proof of the Plücker type formula for Legendre dual subvarieties written down by the second author before. Then we apply the formula to study projective dual varieties in projective spaces.

preprint2013arXiv

Donaldson-Thomas theory for Calabi-Yau four-folds

Let $X$ be a complex four-dimensional compact Calabi-Yau manifold equipped with a Kähler form $ω$ and a holomorphic four-form $Ω$. Under certain assumptions, we define Donaldson-Thomas type deformation invariants by studying the moduli space of the solutions of Donaldson-Thomas equations on the given Calabi-Yau manifold. We also study sheaves counting on local Calabi-Yau four-folds. We relate the sheaves countings over $K_{Y}$ with the Donaldson-Thomas invariants for the associated compact three-fold $Y$. In some very special cases, we prove the DT/GW correspondence for $X$. Finally, we compute the Donaldson-Thomas invariants of certain Calabi-Yau four-folds when the moduli spaces are smooth.