ScalingStacks

Example 1.3 . [03YL]

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

Example 1.3.

Suppose after normalising by powers of tt, the dominant monomials are (z1​z2)−1,−(z1​z2)−1​z3,−1(z_{1}z_{2})^{-1},-(z_{1}z_{2})^{-1}z_{3},-1, so the hypersurface admits the local complex geometric model {(z1z2)−1(1−z3)=1}⊂(ℂ∗)z0,z1,z2,z34\{(z_{1}z_{2})^{-1}(1-z_{3})=1\}\subset(\mathbb{C}^{*})^{4}_{z_{0},z_{1},z_{2},z_{3}}, or equivalently z1​z2=1−z3z_{1}z_{2}=1-z_{3}. This happens near the intersection of two smooth components of the toric boundary. Up to numerical factors, the holomorphic volume form is given by

d​z0z0∧d​z1z1∧d​z2z2∧d​z3z3=d⁡((z1​z2)−1​(1−z3)−1)∧Ω,\frac{dz_{0}}{z_{0}}\wedge\frac{dz_{1}}{z_{1}}\wedge\frac{dz_{2}}{z_{2}}\wedge\frac{dz_{3}}{z_{3}}=d((z_{1}z_{2})^{-1}(1-z_{3})-1)\wedge\Omega,

namely Ω=d​log⁡z0∧d​z1∧d​z2z3\Omega=d\log z_{0}\wedge\frac{dz_{1}\wedge dz_{2}}{z_{3}}. This model has a natural T2T^{2}-symmetry: one S1S^{1} acts trivially on z1,z2,z3z_{1},z_{2},z_{3} and rotates z0z_{0}, while the other S1S^{1} acts trivially on z0,z3z_{0},z_{3} and diagonally on z1,z2z_{1},z_{2}. The model is intimately related to the Ooguri-Vafa metric (cf. Section 1.3.2), and we expect this region to coincide with the neighbourhood of edges in the Gross-Ruan-Joyce picture.

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