ScalingStacks

Proof. [03WY]

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. Existence of Ω\Omega follows from the fact that all modifications associated with lines are symplectomorphisms. In order to finish the proof it suffices to check that the modification associated with a line does not change the KK-affine structure on YY. In local coordinates we may assume that Ω=d​ξξ∧d​ηη\Omega={d\xi\over\xi}\wedge{d\eta\over\eta} and the modification is of the form φ⁡(ξ,η)=(ξ​f​(η−1),η)\varphi(\xi,\eta)=(\xi f(\eta^{-1}),\eta), where f⁡(z)=1+∑n≥1cn​zn∈K⁡[[z]]f(z)=1+\sum_{n\geq 1}c_{n}z^{n}\in K[[z]] is convergent in an appropriate domain. We need to check that the automorphism φ\varphi acts trivially on the quotient sheaf π∗​(𝒪X×)/ker⁡pΩ\pi_{\ast}({\cal O}_{X}^{\times})/\ker\,p_{\Omega} (see Section 7.2 for the notation). This check reduces to the calculation of

pΩ​(ξ​f​(η)ξ)=exp⁡(OPENR​e​s​(Ω​log⁡(ξ​f​(η)/ξ)))R​e​s​(Ω)).p_{\Omega}\left({\xi f(\eta)\over\xi}\right)=\exp\left({Res(\Omega\log(\xi f(\eta)/\xi)))\over Res(\Omega)}\right)\,\,.

The latter is equal to exp⁡(R​e​s​(Ω​log⁡(f⁡(η))))=1\exp\left(Res(\Omega\log(f(\eta)))\right)=1 because log⁡(f⁡(η−1))\log(f(\eta^{-1})) belongs to η−1​K​[[η−1]]\eta^{-1}K[[\eta^{-1}]] and therefore has no constant term. ■\blacksquare

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