ScalingStacks

Proof. [05DP]

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

Proof.

We choose coordinates x1,⋯,xnx_{1},\cdots,x_{n} on S¯\bar{S} and y1,⋯,yny_{1},\cdots,y_{n} on S¯⟂\bar{S}^{\perp} such that

gE=∑(d​xj2+d​yj2),ωE=∑d​xj∧d​yj,e−1​θ0​ΩE=⋀j=1n(d​xj+−1​d​yj).g_{E}=\sum(dx_{j}^{2}+dy_{j}^{2}),\ \ \ \omega_{E}=\sum dx_{j}\wedge dy_{j},\ \ \ e^{\sqrt{-1}\theta_{0}}\Omega_{E}=\bigwedge_{j=1}^{n}(dx_{j}+\sqrt{-1}dy_{j}).

If 𝒢\mathcal{G} is a subgroup of the fundamental group π1​(X)=π1​(S)\pi_{1}(X)=\pi_{1}(S), then 𝒢\mathcal{G} acts on ℂn\mathbb{C}^{n} preserving gEg_{E}, ωE\omega_{E} and ΩE\Omega_{E}, and S¯\bar{S} is a invariant subspace. For any γ∈𝒢\gamma\in\mathcal{G}, we have γ⋅(v+w)=Gγ​(v+w)+bγ\gamma\cdot(v+w)=G_{\gamma}(v+w)+b_{\gamma}, where Gγ∈U⁡(ℂn)G_{\gamma}\in U(\mathbb{C}^{n}), bγ∈S¯b_{\gamma}\in\bar{S}, v∈S¯v\in\bar{S} and w∈S¯⟂w\in\bar{S}^{\perp}. Since S¯\bar{S} is invariant, we obtain then Gγ​(v+w)=Aγ​v+Bγ​w+Cγ​wG_{\gamma}(v+w)=A_{\gamma}v+B_{\gamma}w+C_{\gamma}w where Aγ∈S​O​(S¯)A_{\gamma}\in SO(\bar{S}), Bγ∈S​O​(S¯⟂)B_{\gamma}\in SO(\bar{S}^{\perp}), and Cγ∈H​o​m​(S¯⟂,S¯)C_{\gamma}\in Hom(\bar{S}^{\perp},\bar{S}). Moreover, Gγ∈S​O​(ℝ2​n)G_{\gamma}\in SO(\mathbb{R}^{2n}) implies Cγ=0C_{\gamma}=0. Since ωE​(Gγ​(v+w),Gγ​(v+w))=ωE​(v+w,v+w)\omega_{E}(G_{\gamma}(v+w),G_{\gamma}(v+w))=\omega_{E}(v+w,v+w), we have Bγ=Aγ−1,T=AγB_{\gamma}=A_{\gamma}^{-1,T}=A_{\gamma}, and γ⋅(v+w)=Aγ​(v+w)+bγ\gamma\cdot(v+w)=A_{\gamma}(v+w)+b_{\gamma}. Thus π1​(X~)≅Λ\pi_{1}(\tilde{X})\cong\Lambda acts on ℂn\mathbb{C}^{n} given by γ⋅(v+w)=v+w+bγ\gamma\cdot(v+w)=v+w+b_{\gamma}, bγ∈Λb_{\gamma}\in\Lambda, for any v∈S¯v\in\bar{S} and w∈S¯⟂w\in\bar{S}^{\perp}. This implies that X~=ℂn/π1​(X~)≅S¯/Λ×S¯⟂=S~×S¯⟂\tilde{X}=\mathbb{C}^{n}/\pi_{1}(\tilde{X})\cong\bar{S}/\Lambda\times\bar{S}^{\perp}=\tilde{S}\times\bar{S}^{\perp}, and π∗​g0=h+hE\pi^{*}g_{0}=h+h_{E} where hE=gE|S¯⟂h_{E}=g_{E}|_{\bar{S}^{\perp}}, and hh is the standard flat metric on S~\tilde{S} induced by gE|S¯g_{E}|_{\bar{S}}.

The π1​(X)\pi_{1}(X)-action on ℂn\mathbb{C}^{n} descents to a Γ\Gamma-action on X~\tilde{X}, which is a product action since the π1​(X)\pi_{1}(X)-action is so. Moreover, S~×{0}\tilde{S}\times\{0\} is a invariant set as S¯×{0}\bar{S}\times\{0\} is invariant under the π1​(X)\pi_{1}(X)-action. If we denote the quotient map 𝔮1:ℂn⟶ℂn/Λ=X~\mathfrak{q}_{1}:\mathbb{C}^{n}\longrightarrow\mathbb{C}^{n}/\Lambda=\tilde{X}, then π¯=π∘𝔮1\bar{\pi}=\pi\circ\mathfrak{q}_{1}, gE=𝔮1∗​π∗​g0g_{E}=\mathfrak{q}_{1}^{*}\pi^{*}g_{0}, ωE=𝔮1∗​π∗​ω0\omega_{E}=\mathfrak{q}_{1}^{*}\pi^{*}\omega_{0}, and ΩE=𝔮1∗​π∗​Ω0\Omega_{E}=\mathfrak{q}_{1}^{*}\pi^{*}\Omega_{0}. Since ωE|S¯×{y}=0\omega_{E}|_{\bar{S}\times\{y\}}=0 and e−1​θ0​ΩE|S¯×{y}=0e^{\sqrt{-1}\theta_{0}}\Omega_{E}|_{\bar{S}\times\{y\}}=0 for y∈S¯⟂y\in\bar{S}^{\perp}, we obtain that

π∗​ω0|Tn×{y}≡0,andπ∗​Im​e−1​θ0​Ω0|Tn×{y}≡0,\pi^{*}\omega_{0}|_{T^{n}\times\{y\}}\equiv 0,\ \ {\rm and}\ \ \pi^{*}{\rm Im}e^{\sqrt{-1}\theta_{0}}\Omega_{0}|_{T^{n}\times\{y\}}\equiv 0,

for a constant θ0∈ℝ\theta_{0}\in\mathbb{R}. ∎

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