This book is an exposition of recent progress on the Donaldson–Thomas (DT) theory. The DT invariant was introduced by R. Thomas in 1998 as a virtual counting of stable coherent sheaves on Calabi–Yau 3-folds. Later, it turned out that the DT invariants have many interesting properties and appear in several contexts such as the Gromov–Witten/Donaldson–Thomas conjecture on curve-counting theories, wall-crossing in derived categories with respect to Bridgeland stability conditions, BPS state counting in string theory, and others. Recently, a deeper structure of the moduli spaces of coherent sheaves on Calabi–Yau 3-folds was found through derived algebraic geometry. These moduli spaces admit shifted symplectic structures and the associated d-critical structures, which lead to refined versions of DT invariants such as cohomological DT invariants. The idea of cohomological DT invariants led to a mathematical definition of the Gopakumar–Vafa invariant, which was first proposed by Gopakumar–Vafa in 1998, but its precise mathematical definition has not been available until recently. This book surveys the recent progress on DT invariants and related topics, with a focus on applications to curve-counting theories.

This book is an exposition of recent progress on the Donaldson-Thomas (DT) theory. The DT invariant was introduced by R. Thomas in 1998 as a virtual counting of stable coherent sheaves on Calabi-Yau 3-folds. Later, it turned out that the DT invariants have many interesting properties and appear in several contexts such as the Gromov-Witten/Donaldson-Thomas conjecture on curve-counting theories, wall-crossing in derived categories with respect to Bridgeland stability conditions, BPS state counting in string theory, and others. Recently, a deeper structure of the moduli spaces of coherent sheaves on Calabi-Yau 3-folds was found through derived algebraic geometry. These moduli spaces admit shifted symplectic structures and the associated d-critical structures, which lead to refined versions of DT invariants such as cohomological DT invariants. The idea of cohomological DT invariants led to a mathematical definition of the Gopakumar-Vafa invariant, which was first proposed by Gopakumar-Vafa in 1998, but its precise mathematical definition has not been available until recently. This book surveys the recent progress on DT invariants and related topics, with a focus on applications to curve-counting theories.

This book studies generalized Donaldson-Thomas invariants $\bar{DT}{}^\alpha(\tau)$. They are rational numbers which `count' both $\tau$-stable and $\tau$-semistable coherent sheaves with Chern character $\alpha$ on $X$; strictly $\tau$-semistable sheaves must be counted with complicated rational weights. The $\bar{DT}{}^\alpha(\tau)$ are defined for all classes $\alpha$, and are equal to $DT^\alpha(\tau)$ when it is defined. They are unchanged under deformations of $X$, and transform by a wall-crossing formula under change of stability condition $\tau$. To prove all this, the authors study the local structure of the moduli stack $\mathfrak M$ of coherent sheaves on $X$. They show that an atlas for $\mathfrak M$ may be written locally as $\mathrm{Crit}(f)$ for $f:U\to{\mathbb C}$ holomorphic and $U$ smooth, and use this to deduce identities on the Behrend function $\nu_\mathfrak M$. They compute the invariants $\bar{DT}{}^\alpha(\tau)$ in examples, and make a conjecture about their integrality properties. They also extend the theory to abelian categories $\mathrm{mod}$-$\mathbb{C}Q\backslash I$ of representations of a quiver $Q$ with relations $I$ coming from a superpotential $W$ on $Q$.

We generalize the notion of expanded degenerations and pairs for a simple degeneration or smooth pair to the case of smooth Deligne-Mumford stacks. We then define stable quotients on the classifying stacks of expanded degenerations and pairs and prove the properness of their moduli’s. On 3-dimensional smooth projective DM stacks this leads to a definition of relative Donaldson-Thomas invariants and the associated degeneration formula.

This book consists of five chapters presenting problems of current research in mathematics, with its history and development, current state, and possible future direction. Four of the chapters are expository in nature while one is based more directly on research. All deal with important areas of mathematics, however, such as algebraic geometry, topology, partial differential equations, Riemannian geometry, and harmonic analysis. This book is addressed to researchers who are interested in those subject areas. Young-Hoon Kiem discusses classical enumerative geometry before string theory and improvements after string theory as well as some recent advances in quantum singularity theory, Donaldson–Thomas theory for Calabi–Yau 4-folds, and Vafa–Witten invariants. Dongho Chae discusses the finite-time singularity problem for three-dimensional incompressible Euler equations. He presents Kato's classical local well-posedness results, Beale–Kato–Majda's blow-up criterion, and recent studies on the singularity problem for the 2D Boussinesq equations. Simon Brendle discusses recent developments that have led to a complete classification of all the singularity models in a three-dimensional Riemannian manifold. He gives an alternative proof of the classification of noncollapsed steady gradient Ricci solitons in dimension 3. Hyeonbae Kang reviews some of the developments in the Neumann–Poincare operator (NPO). His topics include visibility and invisibility via polarization tensors, the decay rate of eigenvalues and surface localization of plasmon, singular geometry and the essential spectrum, analysis of stress, and the structure of the elastic NPO. Danny Calegari provides an explicit description of the shift locus as a complex of spaces over a contractible building. He describes the pieces in terms of dynamically extended laminations and of certain explicit “discriminant-like” affine algebraic varieties.