ScalingStacks

6.7.2 Analytic surfaces [03VF]

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

6.7.2 Analytic surfaces

Let X=(Xt)tโ†’0X=(X_{t})_{t\to 0} be a maximally degenerate K3 surface over the field ๐‚tmโ€‹eโ€‹r{{\bf C}}_{t}^{mer} (see Section 5.1). We denote by ฮ›X\Lambda_{X} the quotient group [ฮณ0]โŸ‚/๐™โก[ฮณ0][\gamma_{0}]^{\perp}/{{\bf Z}}[\gamma_{0}] where [ฮณ0]โˆˆH2โ€‹(Xt,๐™)[\gamma_{0}]\in H_{2}(X_{t},{\bf Z}) is the vanishing cycle. Then ฮ›Xโ‰ƒฮ›2,18\Lambda_{X}\simeq\Lambda_{2,18}. Let us assume that the monodromy acts trivially on ฮ›X\Lambda_{X}.

We define a natural homomorphism ฯX:ฮ›Xโ†’(๐‚tmโ€‹eโ€‹r)ร—\rho_{X}:\Lambda_{X}\to({{\bf C}}_{t}^{mer})^{\times} by the formula

ฯXโ€‹([ฮณ])=expโก(2โ€‹ฯ€โ€‹iโ€‹โˆซฮณฮฉtโˆซฮณ0ฮฉt),[ฮณ]โˆˆ[ฮณ0]โŸ‚.\rho_{X}([\gamma])=\exp\left(2\pi i{\int_{\gamma}\Omega_{t}\over{\int_{\gamma_{0}}\Omega_{t}}}\right),\,\,\,[\gamma]\in[\gamma_{0}]^{\perp}\,\,.

One can give a more abstract definition of ฯX\rho_{X} in terms of the variation of Hodge structure. It is easy to see that (vโ€‹aโ€‹l๐‚tmโ€‹eโ€‹rโˆ˜ฯX)โ€‹([ฮณ])=(vX,[ฮณ])\left(val_{{{\bf C}}_{t}^{mer}}\circ\rho_{X}\right)([\gamma])=(v_{X},[\gamma]) where vXโˆˆฮ›Xv_{X}\in\Lambda_{X} is a vector such that (vX,vX)>0(v_{X},v_{X})>0, and vโ€‹aโ€‹l๐‚tmโ€‹eโ€‹rval_{{{\bf C}}_{t}^{mer}} is the standard valuation on the field ๐‚tmโ€‹eโ€‹rโŠ‚๐‚โก((t)){{\bf C}}_{t}^{mer}\subset{{\bf C}}((t)).

Let Xaโ€‹nX^{an} be the corresponding analytic K3 surface over the field K=๐‚โก((t))K={{\bf C}}((t)). We have an analytic torus fibration over S2โˆ–{x1,โ€ฆ,x24}S^{2}\setminus\{x_{1},...,x_{24}\} which can be extended to a continuous map Xaโ€‹nโ†’S2X^{an}\to S^{2}. Let us call such an extension a singular analytic torus fibration with standard singularities.

Conjecture 8

For any analytic K3 surface Xaโ€‹n/KX^{an}/K admitting an analytic torus fibration Xaโ€‹nโ†’S2X^{an}\to S^{2} with standard singularities, one can define intrinsically the lattice ฮ›Xaโ€‹n\Lambda_{X^{an}} and the homomorphism ฯXaโ€‹n:ฮ›Xaโ€‹nโ†’Kร—\rho_{X^{an}}:\Lambda_{X^{an}}\to K^{\times}.

Notice that for K3 surfaces any birational automorphism is biregular. Hence the group of birational automorphisms Aโ€‹uโ€‹tbโ€‹rโ€‹tโ€‹(X)Aut^{brt}(X) acts by a ZPL-transformations of the sphere S2S^{2} which is equipped with a singular ๐™{\bf Z}-affine structure (see Section 6.6), i.e. we have a homomorphism

Aโ€‹uโ€‹tbโ€‹rโ€‹tโ€‹(X)=Aโ€‹uโ€‹tโ€‹(X)โ†’Aโ€‹uโ€‹t๐™โ€‹Pโ€‹L,vXโ€‹(Sโ€‹kโ€‹(Xaโ€‹n,ฮฉ))โ‰ƒAโ€‹uโ€‹t๐™โ€‹Pโ€‹L,vXโ€‹(S2).Aut^{brt}(X)=Aut(X)\to Aut_{{{\bf Z}}PL,v_{X}}(Sk(X^{an},\Omega))\simeq Aut_{{{\bf Z}}PL,v_{X}}(S^{2})\,\,.
Conjecture 9

1) The image ฮ“ฯX\Gamma_{\rho_{X}} of Aโ€‹uโ€‹tโ€‹(X)Aut(X) in Aโ€‹uโ€‹tโ€‹(ฮ›X,ฯX)Aut(\Lambda_{X},\rho_{X}) is a subgroup of ฮ“vX\Gamma_{v_{X}} where vX:=vโ€‹aโ€‹lKโˆ˜ฯX:ฮ›Xโ†’๐‘v_{X}:=val_{K}\circ\rho_{X}:\Lambda_{X}\to{{\bf R}}.

2) The homomorphism Aโ€‹uโ€‹tโ€‹(X)โ†’Aโ€‹uโ€‹t๐™โ€‹Pโ€‹L,vXโ€‹(S2)Aut(X)\to Aut_{{{\bf Z}}PL,v_{X}}(S^{2}) is conjugate to the restriction to ฮ“ฯX\Gamma_{\rho_{X}} of the homomorphism ฯ•vX\phi_{v_{X}} defined in the previous subsection.

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