ScalingStacks

A construction [04JU]

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

A construction

We now illustrate a general method to construct piecewise smooth Lagrangian fibrations using Proposition 5.2 and the observations about the reduced geometry with respect to the S1S^{1} action as in (24).

Let Log:(ℂ∗)n−1→ℝn−1\Log:(\mathbb{C}^{\ast})^{n-1}\rightarrow\mathbb{R}^{n-1} be the map defined by

Log⁡(v1,…,vn−1)=(log⁡|v1|,…,log⁡|vn−1|).\Log(v_{1},\ldots,v_{n-1})=(\log|v_{1}|,\ldots,\log|v_{n-1}|). (31)

Clearly, the above map is a Lagrangian fibration with respect to the restriction of ωℂn−1\omega_{\mathbb{C}^{n-1}} to (ℂ∗)n−1(\mathbb{C}^{\ast})^{n-1}. Moreover, it defines a trivial Tn−1T^{n-1}-bundle over ℝn−1\mathbb{R}^{n-1}. Let the map

Φ:ℂn−1→ℂn−1\Phi:\mathbb{C}^{n-1}\rightarrow\mathbb{C}^{n-1}

be a smooth symplectomorphism of the standard ℂn−1\mathbb{C}^{n-1}. Let XtX_{t} be the open and dense subsets of (ℂn−1,ωt)(\mathbb{C}^{n-1},\omega_{t}) defined by

Xt=Γt−1∘Φ−1​((ℂ∗)n−1).X_{t}=\Gamma_{t}^{-1}\circ\Phi^{-1}\left((\mathbb{C}^{\ast})^{n-1}\right).

Denote, with slight abuse of notation,

Σ:={u1=0}∩X0.\Sigma:=\{u_{1}=0\}\cap X_{0}.

Then examples of maps Gt:Xt→ℝn−1G_{t}:X_{t}\rightarrow\mathbb{R}^{n-1} as in Proposition 5.2 can be defined by

Gt=Log∘Φ∘Γt.G_{t}=\Log\circ\Phi\circ\Gamma_{t}.

This clearly makes sense also when t=0t=0. It is also clear that, for all fixed t∈ℝt\in\mathbb{R}, GtG_{t} is a Lagrangian fibration with respect to the reduced symplectic form (28). We summarize this in the following:

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.

It is clear that all the singular fibres of ff must lie in μ−1​(0)∩X\mu^{-1}(0)\cap X. In fact, the singular fibres are all the lifts of fibres of G0G_{0} in X0X_{0} which intersect Σ\Sigma. The topology of the singularity depends on the topology of this intersection. The discriminant locus of the fibration is therefore the set Δ⊂ℝn\Delta\subset\mathbb{R}^{n} given by

Δ={0}×(Log∘Φ∘Γ0​(Σ)).\Delta=\{0\}\times\left(\Log\circ\Phi\circ\Gamma_{0}(\Sigma)\right).

Given a point b=(0,b1,…,bn−1)∈Δb=(0,b_{1},\ldots,b_{n-1})\in\Delta, the fibre f−1​(b)f^{-1}(b) looks like S1×G0−1​(b1,…,bn−1)S^{1}\times G_{0}^{-1}(b_{1},\ldots,b_{n-1}) after the circles over all points in G0−1​(b1,…,bn−1)∩ΣG_{0}^{-1}(b_{1},\ldots,b_{n-1})\cap\Sigma have been collapsed to points (cf. Figure 6).

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