ScalingStacks

Proof. [04I4]

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.

Let Λ⊂TB∗\Lambda\subset T^{\ast}_{B} and Λ′⊂TB′∗\Lambda^{\prime}\subset T^{\ast}_{B^{\prime}} be the lattices induced from the integral affine structures on BB and B′B^{\prime}, respectively. From Theorem 3.3 it follows that XX and X′X^{\prime} are symplectomorphic to TB∗/ΛT^{\ast}_{B}/\Lambda and TB′∗/Λ′T^{\ast}_{B^{\prime}}/\Lambda^{\prime}, respectively. Given an integral affine isomorphism ϕ\phi between BB and B′B^{\prime}, clearly ϕ∗\phi^{\ast} is a symplectomorphism between TB′∗T^{\ast}_{B^{\prime}} and TB∗T^{\ast}_{B} inducing an isomorphism between Λ′\Lambda^{\prime} and Λ\Lambda. Therefore ϕ∗\phi^{\ast} descends to a symplectomorphism ψ~\tilde{\psi} between TB′∗/Λ′T^{\ast}_{B^{\prime}}/\Lambda^{\prime} and TB∗/ΛT^{\ast}_{B}/\Lambda. Defining ψ=Θ′∘(ψ~)−1∘Θ−1\psi=\Theta^{\prime}\circ(\tilde{\psi})^{-1}\circ\Theta^{-1} the claim follows. ∎

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