ScalingStacks

Example 1.2 . [03YK]

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

The real Monge-Ampère equation governs also the region near the intersection of XtX_{t} with a smooth component of the toric boundary. Suppose after normalising by powers of tt, the dominant monomials are z0−1,z0−1​z1,z0−1​z2,z0−1​z3,1z_{0}^{-1},z_{0}^{-1}z_{1},z_{0}^{-1}z_{2},z_{0}^{-1}z_{3},1 in the coordinates z0,z1,z2,z3z_{0},z_{1},z_{2},z_{3} on the algebraic torus (ℂ∗)4(\mathbb{C}^{*})^{4}, so the hypersurface has the local complex geometric model {z0−1(1+z1+z2+z3)+1=0}⊂(ℂ∗)4\{z_{0}^{-1}(1+z_{1}+z_{2}+z_{3})+1=0\}\subset(\mathbb{C}^{*})^{4}, or equivalently −z0=1+z1+z2+z3-z_{0}=1+z_{1}+z_{2}+z_{3}. The adjunction formula

d​z0z0∧d​z1z1∧d​z2z2∧d​z3z3=d⁡(z0−1​(1+z1+z2+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_{0}^{-1}(1+z_{1}+z_{2}+z_{3})+1)\wedge\Omega

leads to Ω=d​z1z1∧d​z2z2∧d​z3z3\Omega=\frac{dz_{1}}{z_{1}}\wedge\frac{dz_{2}}{z_{2}}\wedge\frac{dz_{3}}{z_{3}} as before. The diagonal T3T^{3}-action on z1,z2,z3z_{1},z_{2},z_{3} provides the candidate for an approximate SYZ fibration, and a solution to the real Monge-Ampère equation in the log⁡|z1|,log⁡|z2|,log⁡|z3|\log|z_{1}|,\log|z_{2}|,\log|z_{3}| coordinates induces a local Calabi-Yau metric.

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