ScalingStacks

Definition 7.1 . [04L8]

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

Definition 7.1.

Let (X,ω)(X,\omega) be a 66-dimensional symplectic manifold and B⊆ℝ3B\subseteq\mathbb{R}^{3} an open subset. Let f:X→Bf:X\rightarrow B be a piecewise smooth Lagrangian fibration. ℱ=(X,ω,f,B)\mathcal{F}=(X,\omega,f,B) is called a Lagrangian negative fibration if it satisfies the following properties:

  • (i)

    ℱ\mathcal{F} is topologically conjugate to the alternative negative fibration of Example 2.9.

  • (ii)

    there exists a submanifold with boundary D⊂BD\subset B, homeomorphic to a closed disc in ℝ2\mathbb{R}^{2}, such that Δ∩(B−D)\Delta\cap(B-D) consists of three one dimensional disjoint segments (the legs of Δ\Delta) and ff is smooth when restricted to X−f−1​(D)X-f^{-1}(D);

  • (iii)

    let B0=B−(D∪Δ)B_{0}=B-(D\cup\Delta), X0=f−1​(B0)X_{0}=f^{-1}(B_{0}) and f0=f|X0f_{0}=f|_{X_{0}}. Let (B0,𝒜)(B_{0},\mathscr{A}) be the integral affine manifold induced by the Lagrangian T3T^{3} bundle ℱ0=(X0,f0,B0)\mathcal{F}_{0}=(X_{0},f_{0},B_{0}). For some choice of model of negative vertex (ℝ3,Δτ,𝒜τ)(\mathbb{R}^{3},\Delta_{\tau},\mathscr{A}_{\tau}) as given in Example 3.13, there exist an open neighborhood U⊆ℝ3U\subseteq\mathbb{R}^{3} of 0∈ℝ30\in\mathbb{R}^{3}, a submanifold with boundary D′⊂UD^{\prime}\subset U homeomorphic to a closed disc in ℝ2\mathbb{R}^{2}, satisfying 0∈D′⊂{x1=0}⊂ℝ30\in D^{\prime}\subset\{x_{1}=0\}\subset\mathbb{R}^{3} and an integral affine isomorphism

    (B0,𝒜)≅(U−(D′∪Δτ),𝒜τ).(B_{0},\mathscr{A})\cong(U-(D^{\prime}\cup\Delta_{\tau}),\mathscr{A}_{\tau}).

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