ScalingStacks

Proof. [04K2]

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.

Consider the symplectomorphism Φ\Phi from Example 5.5. The reduced fibration at time t=0t=0, i.e. the map G0=Log∘Φ∘Γ0G_{0}=\Log\circ\Phi\circ\Gamma_{0}, has many Lagrangian sections, since the Log\Log fibration has many. In particular we can choose one which does not intersect Σ=Crit⁡(f)\Sigma=\Crit(f), this follows for example by observing that the following Lagrangian section of the Log\Log fibration

(x1,x2)↦(i​ex1,ex2)(x_{1},x_{2})\mapsto(ie^{x_{1}},e^{x_{2}}) (47)

does not intersect the surface Σ′={v1+v2+1}\Sigma^{\prime}=\{v_{1}+v_{2}+1\}. It is easy to see that a section which does not intersect Σ\Sigma can be lifted to μ−1​(0)\mu^{-1}(0). The image of this lift is a coisotropic 22 dimensional submanifold of XX. Applying the coisotropic embedding theorem, we can extend this submanifold to a Lagrangian submanifold along a direction which is transversal to μ−1​(0)\mu^{-1}(0), e.g. along i​ηi\eta, where η\eta is the Hamiltonian vector field of the S1S^{1} action. This submanifold is then the image of a section of the fibration in Example 5.5.

In the case of Φ\Phi from Example 5.8, Φ⁡(Σ)\Phi(\Sigma) is a small perturbation of Σ′\Sigma^{\prime} as above. One can see that the section in (47) also avoids Φ⁡(Σ)\Phi(\Sigma). Then the argument follows as before. ∎

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