ScalingStacks

Definition 2.1 . [02Z1]

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 2.1.

Let BB be a tropical affine manifold.

  1. (1)

    Denote by Ξ›βŠ†π’―B\Lambda\subseteq\mathcal{T}_{B} the local system of lattices generated locally by βˆ‚/βˆ‚y1,…,βˆ‚/βˆ‚yn\partial/\partial y_{1},\ldots,\partial/\partial y_{n}, where y1,…,yny_{1},\ldots,y_{n} are local affine coordinates. This is well-defined because transition maps are in ℝnβ‹ŠG​Ln​(β„€)\mathbb{R}^{n}\rtimes GL_{n}(\mathbb{Z}). Set

    X⁑(B):=𝒯B/Ξ›.X(B):=\mathcal{T}_{B}/\Lambda.

    This is a torus bundle over BB. In addition, X⁑(B)X(B) carries a complex structure defined locally as follows. Let UβŠ†BU\subseteq B be an open set with affine coordinates y1,…,yny_{1},\ldots,y_{n}, so 𝒯U\mathcal{T}_{U} has coordinate functions y1,…,yny_{1},\ldots,y_{n}, x1=d​y1,…,xn=d​ynx_{1}=dy_{1},\ldots,x_{n}=dy_{n}. Then

    qj=e2​π​i​(xj+i​yj)q_{j}=e^{2\pi i(x_{j}+iy_{j})}

    gives a system of holomorphic coordinates on TU/Ξ›|UT_{U}/\Lambda|_{U}, and the induced complex structure is independent of the choice of affine coordinates. This is called the semi-flat complex structure on X⁑(B)X(B).

    Later we will need a variant of this: for Ο΅>0\epsilon>0, set

    Xϡ​(B):=𝒯B/ϡ​Λ.X_{\epsilon}(B):=\mathcal{T}_{B}/\epsilon\Lambda.

    This has a complex structure with coordinates given by

    qj=e2​π​i​(xj+i​yj)/Ο΅.q_{j}=e^{2\pi i(x_{j}+iy_{j})/\epsilon}.

    (As we shall see later, the limit Ο΅β†’0\epsilon\rightarrow 0 corresponds to a β€œlarge complex structure limit.”)

  2. (2)

    Define Ξ›Λ‡βŠ†π’―Bβˆ—\check{\Lambda}\subseteq\mathcal{T}^{*}_{B} to be the local system of lattices generated locally by d​y1,…,d​yndy_{1},\ldots,dy_{n}, with y1,…,yny_{1},\ldots,y_{n} local affine coordinates. Set

    Xˇ​(B):=𝒯Bβˆ—/Ξ›Λ‡.\check{X}(B):=\mathcal{T}^{*}_{B}/\check{\Lambda}.

    Of course 𝒯Bβˆ—\mathcal{T}^{*}_{B} carries a canonical symplectic structure, and this symplectic structure descends to Xˇ​(B)\check{X}(B).

∎

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