ScalingStacks

Theorem A . [04Q2]

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

Theorem A.
  • •

    π′\pi^{\prime} is a piecewise-linear map, thus π\pi pulls back any piecewise-linear function on Sk⁡(X)\Sk(X) to a model function on XanX^{\an};

  • •

    π\pi is an affinoid torus fibration away from a graph Γ⊂Sk⁡(X)\Gamma\subset\Sk(X); the vertices of Γ\Gamma are the barycenters of the 1 and 2-dimensional cells of Sk⁡(X)\Sk(X), and the edges join the barycenter of a 2-dimensional cell with the barycenters of its 1-dimensional faces;

  • •

    in a neighbourhood of a vertex vi∈Sk⁡(X)v_{i}\in\Sk(X), the affine structure induced by π\pi is determined by the toric geometry of DiD_{i}: there is a natural ℤ\mathbb{Z}-linear embedding of Star⁡(vDi)\Star(v_{D_{i}}) inside the fan of DiD_{i}, preserving the polytopal decomposition and sending vDiv_{D_{i}} to the origin;

  • •

    π\pi induces an integral affine structure on Sk⁡(X)∖Γ\Sk(X)\setminus\Gamma, which is isomorphic to the ones constructed in [Gro01] and [Rua01], and in [Li19] for Fermat families.

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