ScalingStacks

3.1.1 Case of K3 surfaces [04PG]

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

3.1.1 Case of K3 surfaces

Let X/KX/K be a maximally degenerate K​3K3 surface and let 𝒳/R\mathscr{X}/R be a minimal model of XX with reduced special fiber 𝒳k=βˆ‘i∈IDi\mathscr{X}_{k}=\sum_{i\in I}D_{i}. The dual complex π’Ÿβ‘(𝒳k)\mathcal{D}(\mathscr{X}_{k}) is well-known to be a triangulated sphere, whose vertices correspond to the irreducible components of 𝒳k\mathscr{X}_{k}.
We focus our attention to such a vertex vDv_{D}, and hence to the corresponding irreducible component DD of 𝒳k\mathscr{X}_{k}, which has boundary Ξ”Dβ‰”βˆ‘i=1r(Di∩D)=βˆ‘i=1rCi\Delta_{D}\coloneqq\sum_{i=1}^{r}(D_{i}\cap D)=\sum_{i=1}^{r}C_{i}. Since the simple normal crossing curve Ξ”D∈|βˆ’KD|\Delta_{D}\in\lvert-K_{D}\rvert is an anticanonical curve by adjunction, it follows from general surface theory that Ξ”D\Delta_{D} is a cycle of rational curves (Ci)i≀r(C_{i})_{i\leq r}, whose geometry is encoded by the bi=βˆ’(Ciβ‹…D)=βˆ’(Ci2)Db_{i}=-(C_{i}\cdot D)=-(C_{i}^{2})_{D}. We label the curves so that for i≀ri\leq r, Ci∩Ci+1β‰ βˆ…C_{i}\cap C_{i+1}\neq\varnothing, with convention Cr+1=C1C_{r+1}=C_{1}.

One can associate to the pair (D,Ξ”D)(D,\Delta_{D}) a pseudo-fan, which is a singular affine structure on ℝ2\mathbb{R}^{2}, singular at most at 00. The singularity at 00 is a way to measure the defect of (D,Ξ”D)(D,\Delta_{D}) of being toric: the affine structure affine extends smoothly at 00 if and only (D,Ξ”D)(D,\Delta_{D}) is a toric pair [Eng18, Proposition 3.9].
The construction, as explained in [GHK15, Β§1.2], is the following. For each node pi=Ci∩Ci+1p_{i}=C_{i}\cap C_{i+1}, consider a cone Οƒi≔ℝβ‰₯0​vi+ℝβ‰₯0​vi+1βŠ‚β„2\sigma_{i}\coloneqq\mathbb{R}_{\geq 0}v_{i}+\mathbb{R}_{\geq 0}v_{i+1}\subset\mathbb{R}^{2}, (vi,vi+1)(v_{i},v_{i+1}) being a basis of the lattice β„€2\mathbb{Z}^{2}. The cones Οƒi\sigma_{i} and Οƒi+1\sigma_{i+1} are then glued to each other along ℝβ‰₯0​vi+1\mathbb{R}_{\geq 0}v_{i+1}, and the affine structure is extended through the edge by pretending that the pair (D,Ξ”D)(D,\Delta_{D}) is toric. If the pair was toric, the Οƒi\sigma_{i}’s would be the maximal cones of its fan, and the relation

vi+2+vi=bi+1​vi+1v_{i+2}+v_{i}=b_{i+1}v_{i+1}

would hold by Eq. 1.2.4, so that the chart ψi:ΟƒiβˆͺΟƒi+1\psi_{i}:\sigma_{i}\cup\sigma_{i+1} that defines the β„€\mathbb{Z}-affine structure satisfies ψi​(0)=0\psi_{i}(0)=0, ψi​(vi)=(1,0)\psi_{i}(v_{i})=(1,0), ψi​(vi+1)=(0,1)\psi_{i}(v_{i+1})=(0,1) and ψi​(vi+2)=(βˆ’1,bi+1)\psi_{i}(v_{i+2})=(-1,b_{i+1}), and is extended by dilatation. The unions of the Οƒi\sigma_{i}’s glued along the successive edge is homeomorphic to ℝ2\mathbb{R}^{2}, and we obtain this way an β„€\mathbb{Z}-affine structure away from the origin, extending to 00 if and only the pair is toric.

It follows from PropositionΒ 3.1.1 that the singular β„€\mathbb{Z}-affine structure induced by the Berkovich retraction ρ𝒳\rho_{\mathscr{X}} coincides with the one described above. We now determine the monodromy around the singularities.

Corollary 3.1.6.

Let DD be a component of 𝒳k\mathscr{X}_{k}, with boundary Ξ”D=βˆ‘i=1rCi\Delta_{D}=\sum_{i=1}^{r}C_{i}. Writing bi=βˆ’(Ci2)Db_{i}=-(C_{i}^{2})_{D}, the monodromy Tρ𝒳T_{\rho_{\mathscr{X}}} of the β„€\mathbb{Z}-affine structure induced by ρ𝒳\rho_{\mathscr{X}} around vDv_{D} is given by

Tρ𝒳=(br1βˆ’10)⋅…⋅(b21βˆ’10)β‹…(b11βˆ’10)T_{\rho_{\mathscr{X}}}=\left(\begin{matrix}b_{r}&1\\ -1&0\end{matrix}\right)\cdot\ldots\cdot\left(\begin{matrix}b_{2}&1\\ -1&0\end{matrix}\right)\cdot\left(\begin{matrix}b_{1}&1\\ -1&0\end{matrix}\right)

with respect to the basis (vDr,vD1)(v_{D_{r}},v_{D_{1}}) and origin vDv_{D}.

Proof.

By PropositionΒ 3.1.1 the integral affine structure on Star⁑(Ο„Ci)\Star(\tau_{C_{i}}) identifies (vDiβˆ’1,vDi,vD,vDi+1)(v_{D_{i-1}},v_{D_{i}},v_{D},v_{D_{i+1}}) with

(v0=(1,0),v1=(0,1),v2=(0,0),v∞=(βˆ’1,bi)),(v_{0}=(1,0),v_{1}=(0,1),v_{2}=(0,0),v_{\infty}=(-1,b_{i})),

while on Star⁑(Ο„Ci+1)\Star(\tau_{C_{i+1}}) identifies (vDi,vDi+1,vD,vDi+2)(v_{D_{i}},v_{D_{i}+1},v_{D},v_{D_{i+2}}) with

(v0=(1,0),v1=(0,1),v2=(0,0),v∞=(βˆ’1,bi+1)).(v_{0}=(1,0),v_{1}=(0,1),v_{2}=(0,0),v_{\infty}=(-1,b_{i+1})).

It follows that the transition map from the chart Star⁑(Ο„Ci)\Star(\tau_{C_{i}}) to Star⁑(Ο„Ci+1)\Star(\tau_{C_{i+1}}) of the integral affine structure on Star⁑(Ο„Ci)∩Star⁑(Ο„Ci+1)\Star(\tau_{C_{i}})\cap\Star(\tau_{C_{i+1}}) is given by the matrix (bi1βˆ’10)\left(\begin{matrix}b_{i}&1\\ -1&0\end{matrix}\right). Thus, the composition of such matrices gives the monodromy around vDv_{D}, along a loop oriented as the path connecting vD1,vD2,…,vDr,vD1v_{D_{1}},v_{D_{2}},\ldots,v_{D_{r}},v_{D_{1}}. ∎

Remark 3.1.7.

It is well-known (see for instance [GHK15]) that Tρ𝒳=IdT_{\rho_{\mathscr{X}}}=\Id if and only the pair (D,Ξ”D=βˆ‘i=1rCi)(D,\Delta_{D}=\sum_{i=1}^{r}C_{i}) is toric, or if and only if the charge QQ vanishes, where

Q=Ο‡top​(Dβˆ–Ξ”D)=12+βˆ‘i=1r(biβˆ’3).Q=\chi_{\text{top}}(D\setminus\Delta_{D})=12+\sum_{i=1}^{r}(b_{i}-3).

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