ScalingStacks

Proposition 5.4 . [04JV]

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

Proposition 5.4.

Let Φ\Phi, XtX_{t} and GtG_{t} be as defined above. Let QQ be the map given by

Q⁡(t,u1,…,un−1)=(t,Gt​(u1,…,un−1)).Q(t,u_{1},\ldots,u_{n-1})=(t,G_{t}(u_{1},\ldots,u_{n-1})). (32)

Then QQ is defined on the dense open subset Y⊆ℝ×ℂn−1Y\subseteq\mathbb{R}\times\mathbb{C}^{n-1} defined by

Y={(t,u1,…,un−1)∈ℝ×ℂn−1|(u1,…,un−1)∈Xt}.Y=\{(t,u_{1},\ldots,u_{n-1})\in\mathbb{R}\times\mathbb{C}^{n-1}\ |\ (u_{1},\ldots,u_{n-1})\in X_{t}\}.

Letting π¯\bar{\pi} be as in (26) and

X=(π¯)−1​(Y)X=(\bar{\pi})^{-1}(Y)

with the standard symplectic form induced from ℂn\mathbb{C}^{n}, the map f:X→ℝnf:X\rightarrow\mathbb{R}^{n} given by

f=Q∘π¯f=Q\circ\bar{\pi}

is a piecewise smooth Lagrangian fibration of XX which fails to be smooth on the (2​n−1)(2n-1)-dimensional subspace μ−1​(0)∩X\mu^{-1}(0)\cap X.

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