ScalingStacks

2.4 Relevance to the Tian-Yau problem [0229]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

2.4 Relevance to the Tian-Yau problem

The relevance of the generalized Calabi ansatz to the Tian-Yau problem (cf. Question 2.4) is as follows. Let X¯\bar{X} be a smooth Fano manifold, and D=∑DiD=\sum D_{i} be an anticanonical divisor, which we assume to be simple normal crossing, with only multiplicity one components. Let X=X¯∖DX=\bar{X}\setminus D, then XX has a nowhere vanishing holomorphic volume form Ω\Omega, and one can ask when this admits a complete Calabi-Yau metric.

An important intuition to keep in mind, is that most of the volume growth near the infinity of XX in fact concentrates near the deeper intersection strata DJ=∩i∈JDiD_{J}=\cap_{i\in J}D_{i} of the component divisors DiD_{i}. Let mm denote the maximal |J||J| for which DJD_{J} is non-empty, then from the volume growth perspective, the neighbourhood of the mm-fold intersection loci are the generic regions in the Calabi-Yau XX. For any such subset JJ with |J|=m|J|=m, the neighbourhood of DJD_{J} is essentially the total space of ⊕j∈J𝒪(Dj)|DJ\oplus_{j\in J}\mathcal{O}(D_{j})|_{D_{J}}, which corresponds to ZZ, and an application of the adjunction formula shows DJD_{J} is a compact Calabi-Yau, which corresponds to YY. Up to inessential normalization constants, the holomorphic volume form is (3) up to negligible errors. In many examples all the 𝒪⁡(Di)\mathcal{O}(D_{i}) are ample. The possible relevance of LL comes from the prescribed global Kähler class on XX. The picture we would like to advocate, for which our present paper is a very special case, is that one can find new Tian-Yau type metrics on XX, whose behaviour in the generic region is modelled on the generalized Calabi ansatz. Morever, further details from this paper suggests the whole problem is inductive on mm, in the sense that what happens in non-generic regions is related to the generalized Calabi ansatz with smaller mm.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.