ScalingStacks

Definition 2.3 . [03MV]

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

Definition 2.3.

Let ℂm{\mathbin{\mathbb{C}}}^{m} have coordinates (z1,…,zm)(z_{1},\dots,z_{m}) and complex structure JJ, and define a Kähler metric gg, Kähler form ω\omega and (m,0)(m,0)-form Ω\Omega on ℂm{\mathbin{\mathbb{C}}}^{m} by

g=|d​z1|2+⋯+|d​zm|2,ω=i2​(d​z1∧d​z¯1+⋯+d​zm∧d​z¯m),andΩ=d​z1∧⋯∧d​zm.\begin{split}g=|{\rm d}z_{1}|^{2}+\cdots+|{\rm d}z_{m}|^{2},\quad\omega&=\textstyle\frac{i}{2}({\rm d}z_{1}\wedge{\rm d}\bar{z}_{1}+\cdots+{\rm d}z_{m}\wedge{\rm d}\bar{z}_{m}),\\ \text{and}\quad\Omega&={\rm d}z_{1}\wedge\cdots\wedge{\rm d}z_{m}.\end{split} (2.2)

Then (ℂm,J,g,Ω)({\mathbin{\mathbb{C}}}^{m},J,g,\Omega) is the simplest example of a Calabi–Yau mm-fold.

Define a real 1-form λ\lambda on ℂm{\mathbin{\mathbb{C}}}^{m} called the Liouville form by

λ=−12Im(z1dz¯1+⋯+zmdz¯m).\lambda=-{\textstyle\frac{1}{2}}\mathop{\rm Im}(z_{1}{\rm d}\bar{z}_{1}+\cdots+z_{m}{\rm d}\bar{z}_{m}).

Then d​λ=ω{\rm d}\lambda=\omega. Thus, if LL is a Lagrangian in ℂm{\mathbin{\mathbb{C}}}^{m} then d⁡(λ|L)=0{\rm d}(\lambda|_{L})=0. We call LL an exact Lagrangian if λ|L=d​f\lambda|_{L}={\rm d}f for some smooth f:L→ℝf:L\rightarrow{\mathbin{\mathbb{R}}}.

A (singular) Lagrangian CC in ℂm{\mathbin{\mathbb{C}}}^{m} is called a cone if C=t​CC=tC for all t>0t>0, where t​C={t​𝐳:𝐳∈C}tC=\{t\,{\bf z}:{\bf z}\in C\}. Let CC be a closed Lagrangian cone in ℂm{\mathbin{\mathbb{C}}}^{m} with an isolated singularity at 0. Then Σ=C∩𝒮2​m−1\Sigma=C\cap{\cal S}^{2m-1} is a compact, nonsingular Legendrian (m−1)(m\!-\!1)-submanifold of 𝒮2​m−1{\cal S}^{2m-1}, not necessarily connected. Let gΣg_{\smash{\scriptscriptstyle\Sigma}} be the metric on Σ\Sigma induced by the metric gg on ℂm{\mathbin{\mathbb{C}}}^{m} in (2.2), and rr the radius function on ℂm{\mathbin{\mathbb{C}}}^{m}. Define ι:Σ×(0,∞)→ℂm\iota:\Sigma\times(0,\infty)\rightarrow{\mathbin{\mathbb{C}}}^{m} by ι⁡(σ,r)=r​σ\iota(\sigma,r)=r\sigma. Then the image of ι\iota is C∖{0}C\setminus\{0\}, and ι∗​(g)=r2​gΣ+d​r2\iota^{*}(g)=r^{2}g_{\smash{\scriptscriptstyle\Sigma}}+{\rm d}r^{2} is the cone metric on C∖{0}C\setminus\{0\}.

Let LL be a closed, nonsingular Lagrangian mm-fold in ℂm{\mathbin{\mathbb{C}}}^{m}, e.g. LL could be special Lagrangian, or a Lagrangian LMCF expander. We call LL asymptotically conical (AC) with rate ρ<2\rho<2 and cone CC if there exists a compact subset K⊂LK\subset L and a diffeomorphism φ:Σ×(T,∞)→L∖K\varphi:\Sigma\times(T,\infty)\rightarrow L\setminus K for some T>0T>0, such that

|∇k(φ−ι)|=O(rρ−1−k)as r→∞, for all k=0,1,2,….\big|\nabla^{k}(\varphi-\iota)\big|=O(r^{\rho-1-k})\quad\text{as $r\rightarrow\infty$, for all $k=0,1,2,\ldots.$}

Here ∇,|.|\nabla,|\,.\,| are computed using the cone metric ι∗​(g)\iota^{*}(g). Note that if ρ<σ<2\rho<\sigma<2 and LL is AC with rate ρ\rho, then LL is also AC with rate σ\sigma.

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