ScalingStacks

4.5 Minimal models 𝒳 i ​ j ​ k ​ l [04Q7]

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.5 Minimal models 𝒳i​j​k​l\mathscr{X}_{ijkl}

We return to the setting of SectionΒ 4.1. The purpose of this section is to compute various intersection numbers on the small resolutions of 𝒳\mathscr{X} used to define the retraction Ο€\pi, as this will allow us to compute the monodromy of the associated β„€\mathbb{Z}-affine structure on Sk⁑(X)\Sk(X).
Fix an order (i,j,k,l,h)(i,j,k,l,h) on {1,…,5}\{1,\ldots,5\} and consider the small resolution 𝒳i​j​k​l\mathscr{X}_{ijkl}, obtained from 𝒳\mathscr{X} by blowing-up the divisors DiD_{i}, DjD_{j}, DkD_{k}, DlD_{l} in that order. It now follows from the local study of the singularities of 𝒳\mathscr{X} that this is indeed a small resolution of 𝒳\mathscr{X}.
In 𝒳i​j​k​l\mathscr{X}_{ijkl} we still denote the strict transforms of the strata of 𝒳k\mathscr{X}_{k} by DmD_{m}, by Dm​mβ€²=Dm∩Dmβ€²D_{mm^{\prime}}=D_{m}\cap D_{m^{\prime}} and by Dm​m′​mβ€²β€²=Dm∩Dmβ€²βˆ©Dmβ€²β€²D_{mm^{\prime}m^{\prime\prime}}=D_{m}\cap D_{m^{\prime}}\cap D_{m^{\prime\prime}} with m,mβ€²,mβ€²β€²βˆˆ{1,…,5}m,m^{\prime},m^{\prime\prime}\in\{1,\ldots,5\}. By the study of the local model in SectionΒ 4.2, the exceptional locus of gi​j​k​l:𝒳i​j​k​l→𝒳g_{ijkl}:\mathscr{X}_{ijkl}\rightarrow\mathscr{X}

gi​j​k​l:𝒳i​j​k​lβ†’Gi​j​k​lblow-upof ​Dl𝒳i​j​kβ†’Gi​j​kblow-upof ​Dk𝒳i​jβ†’Gi​jblow-upof ​Dj𝒳iβ†’Giblow-upof ​Di𝒳βˆͺβˆͺβˆͺβˆͺSl​hSk​l,Sk​hSj​k,Sj​l,Sj​hSi​j,Si​k,Si​l,Si​h\begin{array}[]{cccccccccc}g_{ijkl}:&\mathscr{X}_{ijkl}&\xrightarrow[G_{ijkl}]{\begin{subarray}{c}\text{blow-up}\\ \text{of }D_{l}\end{subarray}}&\mathscr{X}_{ijk}&\xrightarrow[G_{ijk}]{\begin{subarray}{c}\text{blow-up}\\ \text{of }D_{k}\end{subarray}}&\mathscr{X}_{ij}&\xrightarrow[G_{ij}]{\begin{subarray}{c}\text{blow-up}\\ \text{of }D_{j}\end{subarray}}&\mathscr{X}_{i}&\xrightarrow[G_{i}]{\begin{subarray}{c}\text{blow-up}\\ \text{of }D_{i}\end{subarray}}&\mathscr{X}\\ &\cup&&\cup&&\cup&&\cup&&\\ &S_{lh}&&S_{kl},S_{kh}&&S_{jk},S_{jl},S_{jh}&&S_{ij},S_{ik},S_{il},S_{ih}&&\end{array}

consists of ten surfaces Sm​mβ€²S_{mm^{\prime}}, with m,mβ€²βˆˆ{1,…,5}m,m^{\prime}\in\{1,\ldots,5\} and m<mβ€²m<m^{\prime} in the order (i,j,k,l,h)(i,j,k,l,h). The surface Sm​mβ€²S_{mm^{\prime}} is mapped via gi​j​k​lg_{ijkl} to the singular curve Cm​mβ€²C_{mm^{\prime}}, and is contained in the strict transform of DmD_{m}. The component DhD_{h} (corresponding to the biggest index in the chosen order) is the only one isomorphic to its strict transform.

Given a pair (m,mβ€²)(m,m^{\prime}) with m<mβ€²m<m^{\prime}, the morphism gi​j​k​lg_{ijkl} induces on Dm​mβ€²D_{mm^{\prime}} the blow-up along 55 distinct general points on each Dm​m′​mβ€²β€²D_{mm^{\prime}m^{\prime\prime}} with mβ€²<mβ€²β€²m^{\prime}<m^{\prime\prime}. Thus, the intersection numbers between strata curves and strata divisors in 𝒳i​j​k​l\mathscr{X}_{ijkl} are:

DiD_{i} DjD_{j} DkD_{k} DlD_{l} DhD_{h}
Ci​j​kC_{ijk} 1 1 -4 1 1
Ci​j​lC_{ijl} 1 1 1 -4 1
Ci​j​hC_{ijh} 1 1 1 1 -4
Ci​k​lC_{ikl} 1 1 1 -4 1
Ci​k​hC_{ikh} 1 1 1 1 -4
Ci​l​hC_{ilh} 1 1 1 1 -4
Cj​k​lC_{jkl} 1 1 1 -4 1
Cj​k​hC_{jkh} 1 1 1 1 -4
Cj​l​hC_{jlh} 1 1 1 1 -4
Ck​l​hC_{klh} 1 1 1 1 -4

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