Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 1 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context · Original author HTML
Lemma 3.2 .
dim ℝ S ¯ = n \dim_{\mathbb{R}}\bar{S}=n , and there is a constant
θ 0 ∈ ℝ \theta_{0}\in\mathbb{R} such that ω E | S ¯ = 0 \omega_{E}|_{\bar{S}}=0
and Im e − 1 θ 0 Ω E | S ¯ = 0 . {\rm Im}e^{\sqrt{-1}\theta_{0}}\Omega_{E}|_{\bar{S}}=0.
Moreover,
S S is a special lagrangian submanifold of phase θ 0 \theta_{0} in ( X , ω 0 , Ω 0 ) (X,\omega_{0},\Omega_{0}) , i.e. dim ℝ S = n \dim_{\mathbb{R}}S=n ,
ω 0 | S ≡ 0 , and Im e − 1 θ 0 Ω 0 | S = 0 . \omega_{0}|_{S}\equiv 0,\ \ {\rm and}\ \ {\rm Im}e^{\sqrt{-1}\theta_{0}}\Omega_{0}|_{S}=0.