ScalingStacks

Remark 3.5 . [05DQ]

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.5.

The coordinates x1,⋯,xnx_{1},\cdots,x_{n} on S¯\bar{S} in the proof of this proposition induce parallel 1-forms d​x1,⋯,d​xndx_{1},\cdots,dx_{n} on (S~,h)(\tilde{S},h)£¬ which are pointwise linear independent, i.e. d​x1,⋯,d​xndx_{1},\cdots,dx_{n} is a global parallel frame field. Under the coordinates y1,⋯,yny_{1},\cdots,y_{n} on S¯⟂\bar{S}^{\perp}, we have these formulas

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

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