Technical Summary: Log Conifold Transitions

Problem Statement

This paper addresses the deformation theory of singular Fano threefold pairs, specifically generalizing the classical conifold transition mechanism—well-established for Calabi-Yau threefolds—to the logarithmic setting of "half-anticanonical" pairs $(X, Y)$, where $K_X + 2Y \cong \mathcal{O}_X$. The central problem is to determine whether singular spaces obtained by contracting specific rational curves on such pairs can be smoothed globally, and to understand the topological and geometric properties of the resulting smooth fibers.

A key difficulty in classical conifold transitions (e.g., for Calabi-Yau manifolds) is the presence of global topological balancing conditions (homological cycle relations) among the contracted curves, which often obstruct independent smoothing of nodes. The paper investigates whether the specific geometry of Fano threefolds of index two allows for the lifting of local smoothings to global deformations without these obstructions, and whether the resulting smooth manifolds possess novel geometric features, such as the absence of effective surfaces or non-Kähler structures.

Methodology

The authors employ a combination of logarithmic deformation theory, spectral sequence analysis, and the recent resolution of the relative Clemens conjectures.

1. Construction of Singular Pairs:

   • Starting with a smooth prime Fano threefold $X$ of index two and a generic divisor $Y \in |-\frac{1}{2}K_X|$, the authors utilize the solution to the relative Clemens conjectures (by Zahariuc) to identify a finite set of anchored rational curves $C_i$ of degree $e$ intersecting $Y$ transversely at a set of points $\xi$.
   • They perform a blow-up $\sigma: \tilde{X} \to X$ at $\xi$. The strict transforms $\tilde{C}_i$ of these curves acquire a normal bundle $\mathcal{O}(-1) \oplus \mathcal{O}(-1)$.
   • These strict transforms are contracted via a morphism $\pi: \tilde{X} \to X_0$, yielding a singular threefold $X_0$ with ordinary double points (ODPs) and a boundary divisor $Y_0$.

2. Deformation Theory Analysis:

   • The authors analyze the deformation theory of the pair $(X_0, Y_0)$ using the logarithmic tangent sheaf $T_{X_0}(-\log Y_0)$.
   • They utilize the local-to-global spectral sequence and the Leray spectral sequence associated with the resolution $\pi$ to relate local deformations of the nodes to global deformations of the pair.
   • Crucially, they compute the cohomology groups $H^2(\tilde{X}, T_{\tilde{X}}(-\log \tilde{Y}))$ and $T^2_{X_0}(-\log Y_0)$ to determine obstructions.

3. Topological and Hodge Theoretic Analysis:

   • The paper examines the Picard groups and effective cones of the smoothed fibers $X_t$.
   • It applies the limiting mixed Hodge structure (LMHS) theory and recent results by Chen regarding the $\partial\bar{\partial}$-lemma for normal crossing varieties to study the Hodge theory of the smoothings.
   • It compares the intermediate Jacobians of the smoothed fibers with those of potential twistor space constructions to distinguish the resulting manifolds.

Key Contributions and Results

1. Unobstructedness and Independent Smoothing (Theorem A)

The primary technical result is that log conifold transitions for these Fano pairs are unconditionally unobstructed.

• Vanishing of Obstructions: The authors prove that $H^2(\tilde{X}, T_{\tilde{X}}(-\log \tilde{Y})) = 0$ and $T^2_{X_0}(-\log Y_0) = 0$.
• Independence of Nodes: Unlike the Calabi-Yau case, the underlying Fano geometry forces the vanishing of the global target space $H^2(\tilde{X}, T_{\tilde{X}}(-\log \tilde{Y}))$. Consequently, there are no global homological cycle relations connecting the contracted curves.
• Lifting: This vanishing implies that local first-order smoothings of the nodes can be lifted to global first-order deformations independently. Any combination of local smoothings at the nodes extends to an unobstructed global deformation of the pair.

2. Construction of Non-Kähler Threefolds (Theorem B)

By exploiting the ability to smooth subsets of nodes independently, the authors construct new examples of non-Kähler threefolds:

• Partial Smoothing: If a proper, non-empty subset of nodes is smoothed while the rest are resolved via small resolutions, the resulting smooth manifold $X_S$ is non-Kähler. This is because the homology class of the smoothed curves becomes trivial, yet the effective curves corresponding to the unsmoothed nodes persist, leading to a contradiction with the existence of a Kähler form (Stokes' theorem).
• Systematic Smoothing and Effective Cone Collapse: By contracting curves of degrees $e$ and $e-1$ simultaneously, the authors can reduce the Picard rank of the singular space to 1. If the number of blown-up points $e$ exceeds the degree $d$ of the Fano threefold plus one ($e > d+1$), the unique generator of the Picard group becomes obstructed in the smoothing. The resulting smooth fiber $X_t$ possesses no effective surfaces ($H^0(X_t, L) = 0$ for the generator $L$).

3. Persistence of Free Curves

The paper demonstrates that general very free rational curves on the original Fano threefold $X$ avoid the conifold locus. These curves deform unobstructedly to the non-Kähler fiber $X_t$, ensuring that while the effective cone of divisors collapses (no surfaces), the abundance of free rational curves persists.

4. Hodge Theoretic Properties

• The smoothed fibers $X_t$ satisfy the $\partial\bar{\partial}$-lemma and inherit a polarized pure Hodge structure of weight 3.
• Distinction from Twistor Spaces: In the specific case where $X$ is a cubic threefold, the authors prove that the smoothed fiber $X_t$ is not birational to a twistor space. This is established by comparing the intermediate Jacobian of $X_t$ (which relates to the indecomposable intermediate Jacobian of the cubic threefold) with the Jacobian of a curve (which would arise from a twistor space blow-up). The Clemens-Griffiths theorem on the indecomposability of the cubic threefold's intermediate Jacobian provides the contradiction.

Significance

The paper claims significance in several areas:

1. Generalization of Conifold Transitions: It successfully extends the conifold transition mechanism from Calabi-Yau to Fano pairs, leveraging the specific vanishing properties of Fano geometry to bypass the topological balancing conditions that typically obstruct independent smoothing.
2. New Non-Kähler Geometry: It provides a systematic method for constructing non-Kähler threefolds that exhibit a "total collapse" of the effective cone of divisors (no effective surfaces) while maintaining a positive second Betti number ($b_2 \ge 1$) and an abundance of free rational curves. This contrasts with previous constructions (like Clemens-Friedman transitions or Poon's spaces) which typically result in $b_2=0$ or $b_3=0$.
3. Deformation Theory: It establishes that the deformation theory of these singular log pairs is unconditionally unobstructed, a property driven by the geometry of the boundary del Pezzo surface and the Fano index.
4. Hodge Theory: It clarifies the Hodge theoretic nature of these non-Kähler smoothings, showing they possess polarized Hodge structures but are distinct from known twistor space constructions.

The work suggests that the abundance of $(−1, −1)$ curves constructed via these blow-ups opens new avenues for exploring the birational geometry and minimal model program of logarithmic threefolds.