Global logarithmic deformation theory

TL;DR

The work develops a comprehensive, algebraic framework for global logarithmic deformation theory, anchored in log geometry and curved BV/Gerstenhaber calculi. It extends the classical Bogomolov--Tian--Todorov paradigm to log Calabi--Yau and mildly log singular settings, proving abstract unobstructedness theorems (two main results) via the semi-classical and quantum extended Maurer--Cartan formalisms. By passing from local log deformations to global divisorial deformations, the text establishes base-change-favorable freeness results for hypercohomology and shows that deformations of pairs (spaces with line bundles) are unobstructed under log toroidal assumptions, with algebraization to $ ext{Spec}\nobreak ext{ } oldsymbol{k}[[t]]$ in projective cases. The geometry portion integrates these methods with Gross--Siebert toroidal techniques, demonstrating how log toroidal and divisorial deformations yield smoothings and mirror-symmetric structures in a purely algebraic setting. Overall, the book provides a robust, algebraic pathway from degenerate log Calabi--Yau spaces to smooth fibers, with broad implications for degenerations, moduli, and mirror symmetry. Key mathematical features include the total differentials $d=ig( ext{}ullyig)$, the extended Maurer--Cartan equations, the construction of the characteristic curved BV calculus, and the demonstration that log toroidal/calabi--yau data yield unobstructed deformation spaces with quasi-perfect (and thus perfect) cohomology behavior under base change.

Abstract

A classical problem in algebraic geometry is to construct smooth algebraic varieties with prescribed properties. In the approach via smoothings, one first constructs a degenerate scheme with the prescribed properties, and then shows the existence of a smooth variety degenerating to this scheme. Logarithmic geometry has given important new impulses to the second step of this approach, which we explore in this book. Degenerations, in particular in the context of mirror symmetry, often enjoy similar formal properties as smooth morphisms once considered from the logarithmic perspective. Logarithmic deformation theory has therefore become an effective tool for the construction of smoothings and the transfer of properties between smooth nearby fibers and the singular special fiber. The strongest existence result for deformations in classical algebraic geometry is the Bogomolov--Tian--Todorov theorem for Calabi--Yau varieties. A logarithmic variant, once established, constructs log smooth deformations. However, the logarithmic Bogomolov--Tian--Todorov theorem has resisted efforts to its proof for a while. Finally, a method to prove it was discovered in 2019 by Chan, Leung, and Ma. In this book, we explore this new approach to the logarithmic Bogomolov--Tian--Todorov theorem. We prove several variants of the abstract unobstructedness theorem, some of which are new and stronger than previously known results. We investigate its application to the global deformation theory of log smooth and mildly log singular spaces, obtaining unobstructedness results for log Calabi--Yau spaces, some log Fano spaces, and line bundles. Special care is taken to allow sufficiently mild log singularities, including all log singularities that appear in the Gross--Siebert construction of toric log Calabi--Yau mirror pairs.

Figures (16)

• Figure 1: The central fiber $D$ consists of four copies of $\mathbb{P}^2$ intersecting in a union $L$ of six copies of $\mathbb{P}^1$. On each $\mathbb{P}^1$ there are $4$ singularities of $X$.
• Figure 2: Example \ref{['xy-t-example']}
• Figure 3: Example \ref{['xy-tk-example']}
• Figure 4: Example \ref{['xyz-t-example']}
• Figure 5: Example \ref{['xy-wk-zw-t-example']}

Theorems & Definitions (587)

• Example 1.2.1
• Remark 1.2.2
• Example 1.3.1
• Example 1.3.2
• Example 1.3.3
• Example 1.3.4
• Example 1.3.5
• Example 1.3.6
• Example 1.3.7
• Example 1.3.8