ScalingStacks

1. Introduction [03EK]

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

1. Introduction

In this paper we endow the topological model Σ\Sigma constructed in [HZ02] with the structure of a metric space which is a Kähler affine manifold away from the (codimension 2) discriminant locus and relate it to the geometry of the Calabi-Yau family of toric hypersurfaces ZsZ_{s} near large complex structure limit point.

The main result is the following. Given an integral Kähler affine structure on Σ\D{\Sigma\backslash D} which is in the right class and satisfies certain (bi-polyhedral) compatibility conditions, we construct a family of Kähler metrics on ZsZ_{s} such that as s→∞s\to\infty (the large complex structure limit):

  • •

    The embedding ψ:Zssm↪Ws\psi:Z_{s}^{\mathrm{sm}}\hookrightarrow W_{s} of “smooth” portions of the hypersurfaces into the model torus bundle (with the right twist) identifies the scalar products and the complex structures on the tangent spaces Tx​ZsT_{x}Z_{s} and Tϕ⁡(x)​WsT_{\phi(x)}W_{s} up to terms of order o⁡(1)o(1) uniformly in x∈Zssmx\in Z_{s}^{\mathrm{sm}}.

  • •

    the Gromov-Hausdorff distance between the pairs (Zs,Zs\Zssm)(Z_{s},Z_{s}\backslash Z_{s}^{\mathrm{sm}}) and (Σ,D)(\Sigma,D) is of order o⁡(1)o(1).

Interchanging the input data (Δ,S,λ)(\Delta,S,\lambda) with (Δ∨,T,ν)(\Delta^{\vee},T,\nu) and repeating the construction of the Kähler metrics for the dual Calabi-Yau family gives rise to the same limiting metric space Σ\Sigma and the dual Kähler affine structure. This result constitutes a significant part of the the limiting mirror symmetry conjecture (cf. [KS01]).

The major missing part toward proving the metric collapse is that our metrics are not Ricci-flat. To establish the Ricci-flatness away from the discriminant one would need the affine Calabi conjecture (see Section 2.3). But even assuming a Monge-Ampère solution on Σ\D{\Sigma\backslash D} the behavior of true Calabi-Yau metrics is not expected to be approximated by a semi-flat construction near the discriminant locus. A further development in this direction requires some local estimates on CY metrics near singularities. We hope to address these issues by using generalized Gibbons-Hawking ansatz elsewhere (cf. [Zha02]).

Notations.

We continue to use notations from [HZ02].

  • •

    (Δ,S),(Δ∨,T)(\Delta,S),(\Delta^{\vee},T) is a dual pair of dd-dimensional reflexive polytopes with coherent triangulations of their boundaries.

  • •

    Δℤ,Δℤ∨\Delta_{\mathbb{Z}},\Delta^{\vee}_{\mathbb{Z}} are the sets of integral points of Δ,Δ∨\Delta,\Delta^{\vee}.

  • •

    SC⁡(S),SC⁡(T)\operatorname{SC}(S),\operatorname{SC}(T) are the secondary cones in ℝΔℤ,ℝΔℤ∨\mathbb{R}^{\Delta_{\mathbb{Z}}},\mathbb{R}^{\Delta^{\vee}_{\mathbb{Z}}} corresponding to the triangulations S∗{0},T∗{0}S\ast\{0\},T\ast\{0\} of Δ,Δ∨\Delta,\Delta^{\vee}.

  • •

    λ\lambda and ν\nu are integral vectors in the interiors of the respective secondary cones.

  • •

    XTX_{T} is the toric variety associated to the simplicial fan in (ℝd)∗(\mathbb{R}^{d})^{*} given by the triangulation TT.

Acknowledgments.

We would like to thank Lev Borisov, Robert Bryant, Mark Gross, Maxim Kontsevich, Grisha Mikhalkin, Dave Morrison, Svetlana Roudenko, Mark Stern and Stephanos Venakides for valuable conversations, and the entire Duke CGTP group for a stimulating environment.

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