ScalingStacks

4.1 Setting and plan of the proof [04Q1]

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

4.1 Setting and plan of the proof

We consider 𝒳={z1z2z3z4z5+tF5(z1,z2,z3,z4,z5)=0}βŠ‚β„™R4\mathscr{X}=\{z_{1}z_{2}z_{3}z_{4}z_{5}+tF_{5}(z_{1},z_{2},z_{3},z_{4},z_{5})=0\}\subset\mathbb{P}^{4}_{R}, where F5F_{5} is a generic homogeneous polynomial of degree 55. The degeneration 𝒳\mathscr{X} has the following properties:

  • 1.

    the special fiber 𝒳k\mathscr{X}_{k} is reduced, consisting of five Weil divisors, i.e. Di={zi=t=0}D_{i}=\{z_{i}=t=0\}. We denote Diβ€²:={zi=F5=0}D_{i}^{\prime}:=\{z_{i}=F_{5}=0\};

  • 2.

    the singular locus 𝒳sing{\mathscr{X}}^{\text{sing}} of the total space 𝒳\mathscr{X} is contained in the special fiber, and is the intersection in β„™k4\mathbb{P}_{k}^{4} of {F5=0}\{F_{5}=0\} and the union of surfaces Si​j={zi=zj=0}S_{ij}=\{z_{i}=z_{j}=0\} for iβ‰ ji\neq j. In particular, each DiD_{i} intersects 𝒳sing{\mathscr{X}}^{\text{sing}} along the union of four quintic curves Ci​jC_{ij} and by genericity of F5F_{5}, we may assume that Ci​jC_{ij} does not intersect the torus fixed points of DiD_{i}; 𝒳sing∩Di=⋃j=1jβ‰ i5Ci​j{\mathscr{X}}^{\text{sing}}\cap D_{i}=\bigcup_{\begin{subarray}{c}j=1\\ j\neq i\end{subarray}}^{5}C_{ij} Ci​jβŠ†Di∩DjC_{ij}\subseteq D_{i}\cap D_{j} Ci​j∩Ci​jβ€²={5​ points}​ for ​jβ‰ jβ€²C_{ij}\cap C_{ij^{\prime}}=\{5\text{ points}\}\text{ for }j\neq j^{\prime}

    Ci​jC_{ij}Ci​jβ€²C_{ij^{\prime}}
    Figure 2: *
    Irreducible component DiD_{i}

  • 3.

    the pair (𝒳,𝒳k)(\mathscr{X},\mathscr{X}_{k}) is dlt, in particular snc away from 𝒳sing{\mathscr{X}}^{\text{sing}}; we refer to SectionΒ 4.2 for a local study of the pair at the singular points;

  • 4.

    the dual complex π’Ÿβ‘(𝒳k)\mathcal{D}(\mathscr{X}_{k}) of the special fiber is homeomorphic to the 33-sphere π•Š3\mathbb{S}^{3}, and the triangulation of π’Ÿβ‘(𝒳k)\mathcal{D}(\mathscr{X}_{k}) is the same as the standard one on the boundary of a 44-simplex;

  • 5.

    by adjunction the canonical bundle K𝒳K_{\mathscr{X}} is trivial.

We conclude that 𝒳\mathscr{X} is a minimal dlt model of the quintic 33-fold X≔𝒳KX\coloneqq\mathscr{X}_{K}, but it is not good in the sense of SectionΒ 1.1 since the prime components of the special fiber are not β„š\mathbb{Q}-Cartier. In particular, even if the dual complex π’Ÿβ‘(𝒳k)\mathcal{D}(\mathscr{X}_{k}) is well-defined, 𝒳\mathscr{X} does not induce a well-defined retraction of XanX^{\text{an}} onto π’Ÿβ‘(𝒳k)=Sk⁑(X)\mathcal{D}(\mathscr{X}_{k})=\Sk(X).

Similarly to SectionΒ 3.3, the aim is to explicitly construct several explicit minimal models of XX starting from 𝒳\mathscr{X}, then apply the results from SectionΒ 3.1 and SectionΒ 3.2 to study the integral affine structures on Sk⁑(X)\Sk(X), induced by Berkovich retractions or their combinations. We will proceed as follows.

  • -

    (SectionΒ 4.5) For any order (i,j,k,l,h)(i,j,k,l,h) on {1,…,5}\{1,\ldots,5\}, we construct a small resolution of 𝒳\mathscr{X} by blowing-up in order the four divisors DiD_{i}, DjD_{j}, DkD_{k} and DlD_{l}. The resulting resolution is denoted 𝒳i​j​k​l\mathscr{X}_{ijkl}, is a minimal model of XX and comes equipped with the Berkovich retraction

    ρ𝒳i​j​k​l:Xanβ†’Sk⁑(𝒳i​j​k​l)=Sk⁑(X)β‰ƒπ•Š3.\rho_{\mathscr{X}_{ijkl}}:X^{\an}\rightarrow\Sk(\mathscr{X}_{ijkl})=\Sk(X)\simeq\mathbb{S}^{3}.

    The skeleton Sk⁑(𝒳i​j​k​l)\Sk(\mathscr{X}_{ijkl}) coincides with π’Ÿβ‘(𝒳k)\mathcal{D}(\mathscr{X}_{k}) as simplicial complex; thus, independently on the order, all skeletons Sk⁑(𝒳i​j​k​l)\Sk(\mathscr{X}_{ijkl}) define the same simplicial structure on Sk⁑(X)\Sk(X).

  • -

    (SectionΒ 4.6) We construct a model 𝒡\mathscr{Z} of XX which dominates any model 𝒳i​j​k​l\mathscr{X}_{ijkl}, so that ρ𝒳i​j​k​l\rho_{\mathscr{X}_{ijkl}} factors through ρ𝒡\rho_{\mathscr{Z}}. We then define a combinatorial retraction Ο€β€²\pi^{\prime} which contracts the skeleton Sk⁑(𝒡)\Sk(\mathscr{Z}) onto Sk⁑(X)\Sk(X). This allows us to consider the composition

    Ο€:Xan→ρ𝒡Sk⁑(𝒡)β†’Ο€β€²Sk⁑(X)\pi:X^{\an}\xrightarrow{\rho_{\mathscr{Z}}}\Sk(\mathscr{Z})\xrightarrow{\pi^{\prime}}\Sk(X)

    which is at the core of the statement of TheoremΒ A. The retraction Ο€β€²\pi^{\prime} is constructed so that the composition Ο€\pi is locally equal to a ρ𝒳i​j​k​l\rho_{\mathscr{X}_{ijkl}}, the order depending on the region of Sk⁑(X)\Sk(X).

  • -

    (SectionΒ 4.2 to SectionΒ 4.4) The constructions and properties of 𝒳i​j​k​l,𝒡\mathscr{X}_{ijkl},\mathscr{Z} and Ο€β€²\pi^{\prime} rely on a local study of the model 𝒳\mathscr{X}: Γ©tale locally around each point of 𝒳sing∩Di∩Dj∩Djβ€²{\mathscr{X}}^{\text{sing}}\cap D_{i}\cap D_{j}\cap D_{j^{\prime}}, 𝒳\mathscr{X} is isomorphic to a toric variety and the resolutions are given by refinements of the associated fan.

We will show that

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.

Remark 4.1.1.

The affine structure we obtain in Theorem A coincides also with the one defined in [Gro05, Β§1]. Indeed, it will follow from the construction and CorollaryΒ 2.6.1 that the affine structure induced by Ο€\pi yields the fan structure (in the sense of [Gro05]) coming from DiD_{i} at each vertex vDiv_{D_{i}}, and that those are glued (after removing Ξ“\Gamma) along the maximal cells viewed as standard simplices; this is the very definition of the singular affine structure in [Gro05].
In particular, the results of SectionΒ 4.7 follow from the more general [Gro05, Proposition 2.13], [HZ02, Β§2.3], but we include our full computations to highlight the use of PropositionΒ 3.2.2, which holds even outside the context of toric degenerations.

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