Let $\mathcal {F}$ be a polystable sheaf on a smooth minimal projective surface of Kodaira dimension 0. Then the differential graded (DG) Lie algebra $R\operatorname {Hom}(\mathcal {F},\mathcal {F})$ of derived endomorphisms of $\mathcal {F}$ is formal. The proof is based on the study of equivariant $L_{\infty }$ minimal models of DG Lie algebras equipped with a cyclic structure of degree 2 which is non-degenerate in cohomology, and does not rely (even for K3 surfaces) on previous results on the same subject.

We conjecture a Verlinde type formula for the moduli space of Higgs sheaves on a surface with a holomorphic 2-form. The conjecture specializes to a Verlinde formula for the moduli space of sheaves. Our formula interpolates between K-theoretic Donaldson invariants studied by Göttsche and Nakajima-Yoshioka and K-theoretic Vafa-Witten invariants introduced by Thomas and also studied by Göttsche and Kool. We verify our conjectures in many examples (for example, on K3 surfaces).

We exhibit a large class of quiver moduli spaces, which are Fano varieties, by studying line bundles on quiver moduli and their global sections in general, and work out several classes of examples, comprising moduli spaces of point configurations, Kronecker moduli, and toric quiver moduli.

We prove that the $\infty $-category of $\mathrm{MGL} $-modules over any scheme is equivalent to the $\infty $-category of motivic spectra with finite syntomic transfers. Using the recognition principle for infinite $\mathbf{P} ^1$-loop spaces, we deduce that very effective $\mathrm{MGL} $-modules over a perfect field are equivalent to grouplike motivic spaces with finite syntomic transfers.

Along the way, we describe any motivic Thom spectrum built from virtual vector bundles of nonnegative rank in terms of the moduli stack of finite quasi-smooth derived schemes with the corresponding tangential structure. In particular, over a regular equicharacteristic base, we show that $\Omega ^\infty _{\mathbf{P} ^1}\mathrm{MGL} $ is the $\mathbf{A} ^1$-homotopy type of the moduli stack of virtual finite flat local complete intersections, and that for $n>0$, $\Omega ^\infty _{\mathbf{P} ^1} \Sigma ^n_{\mathbf{P} ^1} \mathrm{MGL} $ is the $\mathbf{A} ^1$-homotopy type of the moduli stack of finite quasi-smooth derived schemes of virtual dimension $-n$.

Almost perfect obstruction theories were introduced in an earlier paper by the authors as the appropriate notion in order to define virtual structure sheaves and K-theoretic invariants for many moduli stacks of interest, including K-theoretic Donaldson-Thomas invariants of sheaves and complexes on Calabi-Yau threefolds. The construction of virtual structure sheaves is based on the K-theory and Gysin maps of sheaf stacks.

In this paper, we generalize the virtual torus localization and cosection localization formulas and their combination to the setting of almost perfect obstruction theory. To this end, we further investigate the K-theory of sheaf stacks and its functoriality properties. As applications of the localization formulas, we establish a K-theoretic wall-crossing formula for simple $\mathbb{C} ^\ast $ -wall crossings and define K-theoretic invariants refining the Jiang-Thomas virtual signed Euler characteristics.

We introduce the notion of a $Y$-pattern with coefficients and its geometric counterpart: an $\mathcal {X}$-cluster variety with coefficients. We use these constructions to build a flat degeneration of every skew-symmetrizable specially completed $\mathcal {X}$-cluster variety $\widehat {\mathcal {X} }$ to the toric variety associated to its g-fan. Moreover, we show that the fibers of this family are stratified in a natural way, with strata the specially completed $\mathcal {X}$-varieties encoded by $\operatorname {Star}(\tau )$ for each cone $\tau$ of the $\mathbf {g}$-fan. These strata degenerate to the associated toric strata of the central fiber. We further show that the family is cluster dual to $\mathcal {A}_{\mathrm {prin}}$ of Gross, Hacking, Keel and Kontsevich [Canonical bases for cluster algebras, J. Amer. Math. Soc. 31 (2018), 497–608], and the fibers cluster dual to $\mathcal {A} _t$. Finally, we give two applications. First, we use our construction to identify the toric degeneration of Grassmannians from Rietsch and Williams [Newton-Okounkov bodies, cluster duality, and mirror symmetry for Grassmannians, Duke Math. J. 168 (2019), 3437–3527] with the Gross–Hacking–Keel–Kontsevich degeneration in the case of $\operatorname {Gr}_2(\mathbb {C} ^{5})$. Next, we use it to link cluster duality to Batyrev–Borisov duality of Gorenstein toric Fanos in the context of mirror symmetry.

We prove a decomposition formula of logarithmic Gromov–Witten invariants in a degeneration setting. A one-parameter log smooth family $X \longrightarrow B$ with singular fibre over $b_0\in B$ yields a family $\mathscr {M}(X/B,\beta ) \longrightarrow B$ of moduli stacks of stable logarithmic maps. We give a virtual decomposition of the fibre of this family over $b_0$ in terms of rigid tropical maps to the tropicalization of $X/B$. This generalizes one aspect of known results in the case that the fibre $X_{b_0}$ is a normal crossings union of two divisors. We exhibit our formulas in explicit examples.

In this note, we study homology classes in the mirror quintic Calabi–Yau threefold that can be realized by special Lagrangian submanifolds. We have used Picard–Lefschetz theory to establish the monodromy action and to study the orbit of Lagrangian vanishing cycles. For many prime numbers $p,$ we can compute the orbit modulo p. We conjecture that the orbit in homology with coefficients in $\mathbb {Z}$ can be determined by these orbits with coefficients in $\mathbb {Z}_p$ .

We study the moduli space of rank 2 instanton sheaves on ℙ3 in terms of representations of a quiver consisting of three vertices and four arrows between two pairs of vertices. Aiming at an alternative compactification for the moduli space of instanton sheaves, we show that for each rank 2 instanton sheaf, there is a stability parameter θ for which the corresponding quiver representation is θ-stable (in the sense of King), and that the space of stability parameters has a non-trivial wall-and-chamber decomposition. Looking more closely at instantons of low charge, we prove that there are stability parameters with respect to which every representation corresponding to a rank 2 instanton sheaf of charge 2 is stable and provide a complete description of the wall-and-chamber decomposition for representation corresponding to a rank 2 instanton sheaf of charge 1.

We express nested Hilbert schemes of points and curves on a smooth projective surface as ‘virtual resolutions’ of degeneracy loci of maps of vector bundles on smooth ambient spaces. We show how to modify the resulting obstruction theories to produce the virtual cycles of Vafa–Witten theory and other sheaf-counting problems. The result is an effective way of calculating invariants (VW, SW, local PT and local DT) via Thom–Porteous-like Chern class formulae.

We present a systematic study of threefolds fibred by K3 surfaces that are mirror to sextic double planes. There are many parallels between this theory and the theory of elliptic surfaces. We show that the geometry of such threefolds is controlled by a pair of invariants, called the generalized functional and generalized homological invariants, and we derive an explicit birational model for them, which we call the Weierstrass form. We then describe how to resolve the singularities of the Weierstrass form to obtain the “minimal form”, which has mild singularities and is unique up to birational maps in codimension 2. Finally, we describe some of the geometric properties of threefolds in minimal form, including their singular fibres, canonical divisor, and Betti numbers.

We prove some numerical inequality for the Horikawa indices for Eisenbud–Harris special nonhyperelliptic fibrations of genus 4 on algebraic surfaces under the assumption that the multiplication map of the fibration is not surjective. Furthermore, we prove that the inequality is best possible by constructing the examples satisfying the equality.

The sequence of prime numbers p for which a variety over ℚ has no p-adic point plays a fundamental role in arithmetic geometry. This sequence is deterministic, however, we prove that if we choose a typical variety from a family then the sequence has random behaviour. We furthermore prove that this behaviour is modelled by a random walk in Brownian motion. This has several consequences, one of them being the description of the finer properties of the distribution of the primes in this sequence via the Feynman–Kac formula.

We completely classify the possible extensions between semistable vector bundles on the Fargues–Fontaine curve (over an algebraically closed perfectoid field), in terms of a simple condition on Harder–Narasimhan (HN) polygons. Our arguments rely on a careful study of various moduli spaces of bundle maps, which we define and analyze using Scholze’s language of diamonds. This analysis reduces our main results to a somewhat involved combinatorial problem, which we then solve via a reinterpretation in terms of the Euclidean geometry of HN polygons.

We obtain a new theorem for the non-properness set $S_f$ of a non-singular polynomial mapping $f:\mathbb C^n \to \mathbb C^n$. In particular, our result shows that if f is a counterexample to the Jacobian conjecture, then $S_f\cap Z \neq \emptyset $, for every hypersurface Z dominated by $\mathbb C^{n-1}$ on which some non-singular polynomial $h: \mathbb C^{n}\to \mathbb C$ is constant. Also, we present topological approaches to the Jacobian conjecture in $\mathbb C^n$. As applications, we extend bidimensional results of Rabier, Lê and Weber to higher dimensions.

We compute the Hodge ideals of $\mathbb{Q}$-divisors in terms of the $V$-filtration induced by a local defining equation, inspired by a result of Saito in the reduced case. We deduce basic properties of Hodge ideals in this generality, and relate them to Bernstein–Sato polynomials. As a consequence of our study we establish general properties of the minimal exponent, a refined version of the log canonical threshold, and bound it in terms of discrepancies on log resolutions, addressing a question of Lichtin and Kollár.

For complex connected, reductive, affine, algebraic groups G, we give a Lie-theoretic characterization of the semistability of principal G-co-Higgs bundles on the complex projective line ℙ1 in terms of the simple roots of a Borel subgroup of G. We describe a stratification of the moduli space in terms of the Harder–Narasimhan type of the underlying bundle.

We prove a closed formula counting semistable twisted (or meromorphic) Higgs bundles of fixed rank and degree over a smooth projective curve of genus $g$ defined over a finite field, when the twisting line bundle degree is at least $2g-2$ (this includes the case of usual Higgs bundles). This yields a closed expression for the Donaldson–Thomas invariants of the moduli spaces of twisted Higgs bundles. We similarly deal with twisted quiver sheaves of type $A$ (finite or affine), obtaining in particular a Harder–Narasimhan-type formula counting semistable $U(p,q)$-Higgs bundles over a smooth projective curve defined over a finite field.

For $G$ a split semi-simple group scheme and $P$ a principal $G$-bundle on a relative curve $X\rightarrow S$, we study a natural obstruction for the triviality of $P$ on the complement of a relatively ample Cartier divisor $D\subset X$. We show, by constructing explicit examples, that the obstruction is nontrivial if $G$ is not simply connected, but it can be made to vanish by a faithfully flat base change, if $S$ is the spectrum of a dvr (and some other hypotheses). The vanishing of this obstruction is shown to be a sufficient condition for étale local triviality if $S$ is a smooth curve, and the singular locus of $X-D$ is finite over $S$.

We study the variations of mixed Hodge structures (VMHS) associated with a pencil ${\mathcal{X}}$ of equisingular hypersurfaces of degree $d$ in $\mathbb{P}^{4}$ with only ordinary double points as singularities, as well as the variations of Hodge structures (VHS) associated with the desingularization of this family $\widetilde{{\mathcal{X}}}$. The notion of a set of singular points being in homologically good position is introduced, and, by requiring that the subset of nodes in (algebraic) general position is also in homologically good position, we can extend Griffiths’ description of the $F^{2}$-term of the Hodge filtration of the desingularization to this case, where we can also determine the possible limiting mixed Hodge structures (LMHS). The particular pencil ${\mathcal{X}}$ of quintic hypersurfaces with 100 singular double points with 86 of them in (algebraic) general position that served as the starting point for this paper is treated with particular attention.