In this paper, we prove a series of identities of the quasi-map K-theoretical I-functions with level structure between the Grassmannian and its dual Grassmannian. Those identities prove the quantum K-theory version mutation conjecture stated in [13]. Here we find an interval of levels within which two I-functions are the same, and on the boundary of that interval, two I-functions intertwine. We call this phenomenon the level correspondence in Grassmann duality.

We propose two systems of “intrinsic” weights for counting such curves. In both cases the result acquires an exceptionally strong invariance property: it does not depend on the choice of a surface. One of our counts includes all divisor classes of canonical degree 2 and gives in total 30. The other one excludes the class $-2K$, but adds up the results of counting for a pair of real structures that differ by Bertini involution. This count gives 96.

We prove that if X is a complex projective K3 surface and $g>0$, then there exist infinitely many families of curves of geometric genus g on X with maximal, i.e., g-dimensional, variation in moduli. In particular, every K3 surface contains a curve of geometric genus 1 which moves in a nonisotrivial family. This implies a conjecture of Huybrechts on constant cycle curves and gives an algebro-geometric proof of a theorem of Kobayashi that a K3 surface has no global symmetric differential forms.

Given a quiver with potential $(Q,W)$, Kontsevich–Soibelman constructed a cohomological Hall algebra (CoHA) on the critical cohomology of the stack of representations of $(Q,W)$. Special cases of this construction are related to work of Nakajima, Varagnolo, Schiffmann–Vasserot, Maulik–Okounkov, Yang–Zhao, etc. about geometric constructions of Yangians and their representations; indeed, given a quiver Q, there exists an associated pair $(\widetilde{Q}, \widetilde{W})$ whose CoHA is conjecturally the positive half of the Maulik–Okounkov Yangian $Y_{\text {MO}}(\mathfrak {g}_{Q})$.

For a quiver with potential $(Q,W)$, we follow a suggestion of Kontsevich–Soibelman and study a categorification of the above algebra constructed using categories of singularities. Its Grothendieck group is a K-theoretic Hall algebra (KHA) for quivers with potential. We construct representations using framed quivers, and we prove a wall-crossing theorem for KHAs. We expect the KHA for $(\widetilde{Q}, \widetilde{W})$ to recover the positive part of quantum affine algebra $U_{q}(\widehat {\mathfrak {g}_{Q}})$ defined by Okounkov–Smirnov.

We compute, via motivic wall-crossing, the generating function of virtual motives of the Quot scheme of points on ${\mathbb{A}}^3$, generalising to higher rank a result of Behrend–Bryan–Szendrői. We show that this motivic partition function converges to a Gaussian distribution, extending a result of Morrison.

We introduce and study a fermionisation procedure for the cohomological Hall algebra $\mathcal{H}_{\Pi_Q}$ of representations of a preprojective algebra, that selectively switches the cohomological parity of the BPS Lie algebra from even to odd. We do so by determining the cohomological Donaldson–Thomas invariants of central extensions of preprojective algebras studied in the work of Etingof and Rains, via deformed dimensional reduction. Via the same techniques, we determine the Borel–Moore homology of the stack of representations of the $\unicode{x03BC}$-deformed preprojective algebra introduced by Crawley–Boevey and Holland, for all dimension vectors. This provides a common generalisation of the results of Crawley-Boevey and Van den Bergh on the cohomology of smooth moduli schemes of representations of deformed preprojective algebras and my earlier results on the Borel–Moore homology of the stack of representations of the undeformed preprojective algebra.

We use Noether–Lefschetz theory to study the reduced Gromov–Witten invariants of a holomorphic-symplectic variety of $K3^{[n]}$-type. This yields strong evidence for a new conjectural formula that expresses Gromov–Witten invariants of this geometry for arbitrary classes in terms of primitive classes. The formula generalizes an earlier conjecture by Pandharipande and the author for K3 surfaces. Using Gromov–Witten techniques, we also determine the generating series of Noether–Lefschetz numbers of a general pencil of Debarre–Voisin varieties. This reproves and extends a result of Debarre, Han, O’Grady and Voisin on Hassett–Looijenga–Shah (HLS) divisors on the moduli space of Debarre–Voisin fourfolds.

For X a smooth projective variety and $D=D_1+\dotsb +D_n$ a simple normal crossing divisor, we establish a precise cycle-level correspondence between the genus $0$ local Gromov–Witten theory of the bundle $\oplus _{i=1}^n \mathcal {O}_X(-D_i)$ and the maximal contact Gromov–Witten theory of the multiroot stack $X_{D,\vec r}$. The proof is an implementation of the rank-reduction strategy. We use this point of view to clarify the relationship between logarithmic and orbifold invariants.

We propose an intersection-theoretic method to reduce questions in genus 0 logarithmic Gromov–Witten theory to questions in the Gromov–Witten theory of smooth pairs, in the presence of positivity. The method is applied to the enumerative geometry of rational curves with maximal contact orders along a simple normal crossings divisor and to recent questions about its relationship to local curve counting. Three results are established. We produce counterexamples to the local-logarithmic conjectures of van Garrel–Graber–Ruddat and Tseng–You. We prove that a weak form of the conjecture holds for product geometries. Finally, we explicitly determine the difference between local and logarithmic theories, in terms of relative invariants for which efficient algorithms are known. The polyhedral geometry of the tropical moduli of maps plays an essential and intricate role in the analysis.

For oriented $-1$-shifted symplectic derived Artin stacks, Ben-Bassat, Brav, Bussi and Joyce introduced certain perverse sheaves on them which can be regarded as sheaf-theoretic categorifications of the Donaldson–Thomas invariants. In this paper, we prove that the hypercohomology of the above perverse sheaf on the $-1$-shifted cotangent stack over a quasi-smooth derived Artin stack is isomorphic to the Borel–Moore homology of the base stack up to a certain shift of degree. This is a global version of the dimensional reduction theorem due to Davison. We give two applications of our main theorem. Firstly, we apply it to the study of the cohomological Donaldson–Thomas invariants for local surfaces. Secondly, regarding our main theorem as a version of the Thom isomorphism theorem for dual obstruction cones, we propose a sheaf-theoretic construction of the virtual fundamental classes for quasi-smooth derived Artin stacks.

We prove that the maximal number of conics in a smooth sextic $K3$-surface $X\subset \mathbb {P}^4$ is 285, whereas the maximal number of real conics in a real sextic is 261. In both extremal configurations, all conics are irreducible.

Let $\mathsf {C}$ be a symmetrisable generalised Cartan matrix. We introduce four different versions of double Bott–Samelson cells for every pair of positive braids in the generalised braid group associated to $\mathsf {C}$. We prove that the decorated double Bott–Samelson cells are smooth affine varieties, whose coordinate rings are naturally isomorphic to upper cluster algebras.

We explicitly describe the Donaldson–Thomas transformations on double Bott–Samelson cells and prove that they are cluster transformations. As an application, we complete the proof of the Fock–Goncharov duality conjecture in these cases. We discover a periodicity phenomenon of the Donaldson–Thomas transformations on a family of double Bott–Samelson cells. We give a (rather simple) geometric proof of Zamolodchikov’s periodicity conjecture in the cases of $\Delta \square \mathrm {A}_r$.

When $\mathsf {C}$ is of type $\mathrm {A}$, the double Bott–Samelson cells are isomorphic to Shende–Treumann–Zaslow’s moduli spaces of microlocal rank-1 constructible sheaves associated to Legendrian links. By counting their $\mathbb {F}_q$-points we obtain rational functions that are Legendrian link invariants.

In [4], Brown proved that the I-function of a toric fibration lies on the overruled Lagrangian cone of its $g=0$ Gromov–Witten theory, introduced by Coates and Givental [8]. In this paper, we prove the theorem for partial flag-variety fibrations. To do so, we construct new moduli spaces generalising the idea of Ciocan-Fontanine, Kim and Maulik [7].

Let $L$ be a very ample line bundle on a projective scheme $X$ defined over an algebraically closed field $\Bbbk$ with ${\rm char}\,\Bbbk \neq 2$. We say that $(X,L)$ satisfies property $\mathsf {QR}(k)$ if the homogeneous ideal of the linearly normal embedding $X \subset {\mathbb {P}} H^{0} (X,L)$ can be generated by quadrics of rank less than or equal to $k$. Many classical varieties, such as Segre–Veronese embeddings, rational normal scrolls and curves of high degree, satisfy property $\mathsf {QR}(4)$. In this paper, we first prove that if ${\rm char}\,\Bbbk \neq 3$ then $({\mathbb {P}}^{n} , \mathcal {O}_{{\mathbb {P}}^{n}} (d))$ satisfies property $\mathsf {QR}(3)$ for all $n \geqslant 1$ and $d \geqslant 2$. We also investigate the asymptotic behavior of property $\mathsf {QR}(3)$ for any projective scheme. Specifically, we prove that (i) if $X \subset {\mathbb {P}} H^{0} (X,L)$ is $m$-regular then $(X,L^{d} )$ satisfies property $\mathsf {QR}(3)$ for all $d \geqslant m$, and (ii) if $A$ is an ample line bundle on $X$ then $(X,A^{d} )$ satisfies property $\mathsf {QR}(3)$ for all sufficiently large even numbers $d$. These results provide affirmative evidence for the expectation that property $\mathsf {QR}(3)$ holds for all sufficiently ample line bundles on $X$, as in the cases of Green and Lazarsfeld's condition $\mathrm {N}_p$ and the Eisenbud–Koh–Stillman determininantal presentation in Eisenbud et al. [Determinantal equations for curves of high degree, Amer. J. Math. 110 (1988), 513–539]. Finally, when ${\rm char}\,\Bbbk = 3$ we prove that $({\mathbb {P}}^{n} , \mathcal {O}_{{\mathbb {P}}^{n}} (2))$ fails to satisfy property $\mathsf {QR}(3)$ for all $n \geqslant 3$.

We exhibit basic algebro-geometric results on the formal model of semi-infinite flag varieties and its Schubert varieties over an algebraically closed field ${\mathbb K}$ of characteristic $\neq 2$ from scratch. We show that the formal model of a semi-infinite flag variety admits a unique nice (ind-)scheme structure, its projective coordinate ring has a $\mathbb {Z}$-model and it admits a Frobenius splitting compatible with the boundaries and opposite cells in positive characteristic. This establishes the normality of the Schubert varieties of the quasi-map space with a fixed degree (instead of their limits proved in [K, Math. Ann. 371 no.2 (2018)]) when $\mathsf {char}\, {\mathbb K} =0$ or $\gg 0$, and the higher-cohomology vanishing of their nef line bundles in arbitrary characteristic $\neq 2$. Some particular cases of these results play crucial roles in our proof [47] of a conjecture by Lam, Li, Mihalcea and Shimozono [60] that describes an isomorphism between affine and quantum K-groups of a flag manifold.

We prove an explicit inverse Chevalley formula in the equivariant K-theory of semi-infinite flag manifolds of simply laced type. By an ‘inverse Chevalley formula’ we mean a formula for the product of an equivariant scalar with a Schubert class, expressed as a $\mathbb {Z}\left [q^{\pm 1}\right ]$-linear combination of Schubert classes twisted by equivariant line bundles. Our formula applies to arbitrary Schubert classes in semi-infinite flag manifolds of simply laced type and equivariant scalars $e^{\lambda }$, where $\lambda $ is an arbitrary minuscule weight. By a result of Stembridge, our formula completely determines the inverse Chevalley formula for arbitrary weights in simply laced type except for type $E_8$. The combinatorics of our formula is governed by the quantum Bruhat graph, and the proof is based on a limit from the double affine Hecke algebra. Thus our formula also provides an explicit determination of all nonsymmetric q-Toda operators for minuscule weights in ADE type.

In our previous paper we suggested a conjecture relating the structure of the small quantum cohomology ring of a smooth Fano variety of Picard number 1 to the structure of its derived category of coherent sheaves. Here we generalize this conjecture, make it more precise, and support it by the examples of (co)adjoint homogeneous varieties of simple algebraic groups of Dynkin types $\mathrm {A}_n$ and $\mathrm {D}_n$, that is, flag varieties $\operatorname {Fl}(1,n;n+1)$ and isotropic orthogonal Grassmannians $\operatorname {OG}(2,2n)$; in particular, we construct on each of those an exceptional collection invariant with respect to the entire automorphism group. For $\operatorname {OG}(2,2n)$ this is the first exceptional collection proved to be full.

We prove a higher genus version of the genus $0$ local-relative correspondence of van Garrel-Graber-Ruddat: for $(X,D)$ a pair with X a smooth projective variety and D a nef smooth divisor, maximal contact Gromov-Witten theory of $(X,D)$ with $\lambda _g$-insertion is related to Gromov-Witten theory of the total space of ${\mathcal O}_X(-D)$ and local Gromov-Witten theory of D.

Specializing to $(X,D)=(S,E)$ for S a del Pezzo surface or a rational elliptic surface and E a smooth anticanonical divisor, we show that maximal contact Gromov-Witten theory of $(S,E)$ is determined by the Gromov-Witten theory of the Calabi-Yau 3-fold ${\mathcal O}_S(-E)$ and the stationary Gromov-Witten theory of the elliptic curve E.

Specializing further to $S={\mathbb P}^2$, we prove that higher genus generating series of maximal contact Gromov-Witten invariants of $({\mathbb P}^2,E)$ are quasimodular and satisfy a holomorphic anomaly equation. The proof combines the quasimodularity results and the holomorphic anomaly equations previously known for local ${\mathbb P}^2$ and the elliptic curve.

Furthermore, using the connection between maximal contact Gromov-Witten invariants of $({\mathbb P}^2,E)$ and Betti numbers of moduli spaces of semistable one-dimensional sheaves on ${\mathbb P}^2$, we obtain a proof of the quasimodularity and holomorphic anomaly equation predicted in the physics literature for the refined topological string free energy of local ${\mathbb P}^2$ in the Nekrasov-Shatashvili limit.

We prove an equivalence between the Bryan-Steinberg theory of $\pi $-stable pairs on $Y = \mathcal {A}_{m-1} \times \mathbb {C}$ and the theory of quasimaps to $X = \text{Hilb}(\mathcal {A}_{m-1})$, in the form of an equality of K-theoretic equivariant vertices. In particular, the combinatorics of both vertices are described explicitly via box counting. Then we apply the equivalence to study the implications for sheaf-counting theories on Y arising from 3D mirror symmetry for quasimaps to X, including the Donaldson-Thomas crepant resolution conjecture.

We give an arithmetic count of the lines on a smooth cubic surface over an arbitrary field $k$, generalizing the counts that over ${\mathbf {C}}$ there are $27$ lines, and over ${\mathbf {R}}$ the number of hyperbolic lines minus the number of elliptic lines is $3$. In general, the lines are defined over a field extension $L$ and have an associated arithmetic type $\alpha$ in $L^*/(L^*)^2$. There is an equality in the Grothendieck–Witt group $\operatorname {GW}(k)$ of $k$,

\[ \sum_{\text{lines}} \operatorname{Tr}_{L/k} \langle \alpha \rangle = 15 \cdot \langle 1 \rangle + 12 \cdot \langle -1 \rangle, \]

$\operatorname {Tr}_{L/k}$

$\operatorname {GW}(L) \to \operatorname {GW}(k)$

${\mathbf {C}}$

${\mathbf {R}}$

$\mathbf {A}^1$