ScalingStacks

Theorem 1.1 . [05D5]

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

Theorem 1.1.

For any n∈ℕn\in\mathbb{N} and any σ>1\sigma>1, there exists a constant ϵ=ϵ⁡(n,σ)>0\epsilon=\epsilon(n,\sigma)>0 depending only on nn and σ\sigma such that, if (M,ω,J,g,Ω)(M,\omega,J,g,\Omega) is a closed Ricci-flat Calabi-Yau n-manifold with [ω]∈H2​(M,ℤ)[\omega]\in H^{2}(M,\mathbb{Z}), and p∈Mp\in M such that

  • i)

    the injectivity radius and the sectional curvature

    ig​(p)<ϵ,supBg​(p,1)|Kg|≤1,i_{g}(p)<\epsilon,\ \ \ \sup_{B_{g}(p,1)}|K_{g}|\leq 1,
  • ii)

    [Ω|Bg​(p,σ​ig​(p))]≠0[\Omega|_{B_{g}(p,\sigma i_{g}(p))}]\neq 0 in Hn​(Bg​(p,σ​ig​(p)),ℂ)H^{n}(B_{g}(p,\sigma i_{g}(p)),\mathbb{C}),

then there is an open subset W⊂MW\subset M satisfying that Bg​(p,σ​ig​(p))⊂WB_{g}(p,\sigma i_{g}(p))\subset W, and (W,ω,Ω)(W,\omega,\Omega) admits a special lagrangian fibration of a phase θ∈ℝ\theta\in\mathbb{R}, i.e. there is a topological space BB, and a surjection f:W⟶Bf:W\longrightarrow B such that, for any b∈Bb\in B, f−1​(b)f^{-1}(b) is a smooth n-submanifold,

ω|f−1​(b)≡0,andIm​e−1​θ​Ω|f−1​(b)≡0.\omega|_{f^{-1}(b)}\equiv 0,\ \ {\rm and}\ \ {\rm Im}e^{\sqrt{-1}\theta}\Omega|_{f^{-1}(b)}\equiv 0.

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