ScalingStacks

3.2.1 Case of K3 surfaces [04PP]

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.2.1 Case of K3 surfaces

We focus on the case of a maximally degenerate K​3K3 surface X/KX/K. We have C=Dim∩Dim′C=D_{i_{m}}\cap D_{i_{m^{\prime}}}, Γ={a}\Gamma=\{a\} is a point in the interior of τC\tau_{C} and γ\gamma is a loop around aa, oriented as the path joining in order vDi0,vDim,vDi∞,vDim′v_{D_{i_{0}}},v_{D_{i_{m}}},v_{D_{i_{\infty}}},v_{D_{i_{m^{\prime}}}}. We assume we have a retraction ρ:Xan⟶Sk⁡(X)\rho:X^{\an}\longrightarrow\Sk(X) such that

ρ={ρ𝒳 over Int​(τp0)∪Int​(τp∞)∪[vim,a)ρ𝒳′ over Int​(τp0)∪Int​(τp∞)∪[vim′,a)\rho=\begin{cases}\rho_{\mathscr{X}}&\textrm{ over }\textrm{Int}(\tau_{p_{0}})\cup\textrm{Int}(\tau_{p_{\infty}})\cup[v_{i_{m}},a)\\ \rho_{\mathscr{X}^{\prime}}&\textrm{ over }\textrm{Int}(\tau_{p_{0}})\cup\textrm{Int}(\tau_{p_{\infty}})\cup[v_{i_{m^{\prime}}},a)\end{cases}

where [vi⋅,a)[v_{i_{\cdot}},a) is the part of the edge τC\tau_{C} joining the vertex to aa, but not including aa. Then Proposition 3.2.2 may be rewritten as follows.

Corollary 3.2.4.

The monodromy along the loop γ\gamma, of the ℤ\mathbb{Z}-affine structure induced by ρ\rho on Star⁡(τC)∖{a}\Star(\tau_{C})\setminus\{a\}, is

(3.2.5) Tρ​(γ)=(10bim−bim′1)T_{\rho}(\gamma)=\left(\begin{matrix}1&0\\ b_{i_{m}}-b^{\prime}_{i_{m}}&1\end{matrix}\right)

with respect to the basis (vDi0,vDim)(v_{D_{i_{0}}},v_{D_{i_{m}}}) and origin vDim′v_{D_{i_{m^{\prime}}}}.

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