ScalingStacks

Remark 3.6 . [05DR]

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

Remark 3.6.

The natural projection f0:X~⟶S¯⟂f_{0}:\tilde{X}\longrightarrow\bar{S}^{\perp} is equivariant under the Γ\Gamma actions on X~\tilde{X} and S¯⟂\bar{S}^{\perp}. For any y∈S¯⟂y\in\bar{S}^{\perp}, f0−1​(y)=S~×{y}f_{0}^{-1}(y)=\tilde{S}\times\{y\}, and f0f_{0} is a special lagrangian fibration on (X~,π∗​ω0,e−1​θ0​π∗​Ω0)(\tilde{X},\pi^{*}\omega_{0},e^{\sqrt{-1}\theta_{0}}\pi^{*}\Omega_{0}), i.e. dimℝf0−1​(y)=n\dim_{\mathbb{R}}f_{0}^{-1}(y)=n,

π∗​ω0|f0−1​(y)≡0,e−1​θ0​π∗​Ω0|f0−1​(y)≡0.\pi^{*}\omega_{0}|_{f_{0}^{-1}(y)}\equiv 0,\ \ \ e^{\sqrt{-1}\theta_{0}}\pi^{*}\Omega_{0}|_{f_{0}^{-1}(y)}\equiv 0.

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