# zbMATH — the first resource for mathematics

Good reduction criterion for $$K3$$ surfaces. (English) Zbl 1317.14089
Let $$K$$ be a complete discrete valuation field with perfect residue field of characteristic $$p$$. The paper under review proves a Néron–Ogg–Shafarevich type criterion for good reduction of $$K3$$ surfaces. More precisely, the main result is formulated in the following:
{ Theorem}. Let $$X$$ be a $$K3$$ surface over $$K$$ which admits an ample line bundle $$L$$ satisfying $$p>L^2+4$$. Assume that one of the following conditions holds:
(a) For some prime $$\ell\neq p$$, $$H^2_{\text{ét}}(X_{\bar K},{\mathbb{Q}}_{\ell})$$ is unramified.
(b) $$(K$$ is of characteristic $$0$$ and) $$H^2_{\text{ét}}(X_{\bar K},{\mathbb{Q}}_p)$$ is crystalline.
Then $$X$$ has potential good reduction with an algebraic space model, that is, for some finite extension $$K~{'}/K$$, there exists an algebraic space smooth proper over $${\mathcal{O}}_K$$ with generic fiber isomorphic to $$X_K$$.
The model of the surface is not in general a scheme but an algebraic space.
There are two applications of the main result. The first is the surjectivity of the period map of $$K3$$ surfaces in positive characteristic. The second application is that $$K3$$ surfaces having semistable multiplication have potential good reduction.
The main theorem is proved using a method of D. Maulik [“Supersingular $$K3$$ surfaces for large primes”, preprint, arXiv:1203.2889v2] studying reduction of $$K3$$ surfaces, and comparison theorems for semistable algebraic spaces.

##### MSC:
 14J28 $$K3$$ surfaces and Enriques surfaces 11G25 Varieties over finite and local fields 14G20 Local ground fields in algebraic geometry
Full Text:
##### References:
 [1] Abhyankar, S, On the valuations centered in a local domain, Am. J. Math., 78, 321-348, (1956) · Zbl 0074.26301 [2] Andreatta, F., Iovita, A., Kim, M.: A p-adic non-abelian criterion for good reduction of curves (2013). http://www.mat.unimi.it/users/andreat/research.html · Zbl 1347.11051 [3] Artin, M.: Théorèmes de représentabilité pour les espaces algébriques, Les Presses de l’Université de Montréal, Montreal, Que., 1973. En collaboration avec Alexandru Lascu et Jean-François Boutot; Séminaire de Mathématiques Supérieures, No. 44 (Été, 1970) · Zbl 0323.14001 [4] Artin, M, Algebraic construction of brieskorn’s resolutions, J. Algebra, 29, 330-348, (1974) · Zbl 0292.14013 [5] Breuil, C.: Groupes $$p$$-divisibles, groupes finis et modules filtrés, Ann. Math. 152 (2000), no. 2, 489-549 (French, with French summary) · Zbl 1042.14018 [6] Coleman, R; Iovita, A, The Frobenius and monodromy operators for curves and abelian varieties, Duke Math. J., 97, 171-215, (1999) · Zbl 0962.14030 [7] Elsenhans, A-S; Jahnel, J, On the computation of the Picard group for K3 surfaces, Math. Proc. Cambridge Philos. Soc., 151, 263-270, (2011) · Zbl 1223.14044 [8] Grothendieck, A, Éléments de géométrie algébrique. III. étude cohomologique des faisceaux cohérents.I, Inst. Hautes Études Sci. Publ. Math., 11, 167, (1961) · Zbl 0122.16102 [9] Hyodo, O., Kato, K.: Semi-stable reduction and crystalline cohomology with logarithmic poles, Astérisque 223 221-268 (1994). Périodes $$p$$-adiques (Bures-sur- Yvette, 1988) · Zbl 0852.14004 [10] Illusie, L.: Autour du théorème de monodromie locale. Astérisque 223 9-57 (1994), (French). Périodes $$p$$-adiques (Bures-sur-Yvette, 1988) · Zbl 0128.15505 [11] Ito, T.: Good reduction of Kummer surfaces, Master’s Thesis, University of Tokyo, 2001 [12] Kawamata, Y, Semistable minimal models of threefolds in positive or mixed characteristic, J. Algebraic Geom., 3, 463-491, (1994) · Zbl 0823.14026 [13] Knutson, D.: Algebraic spaces, Lecture Notes in Mathematics, vol. 203. Springer, Berlin (1971) · Zbl 0221.14001 [14] Kollár, J, Toward moduli of singular varieties, Compositio Math., 56, 369-398, (1985) · Zbl 0666.14003 [15] Kulikov, V.S.: Degenerations of K3 surfaces and enriques surfaces, Izv. Akad. Nauk SSSR Ser. Mat. 41 (1977), no. 5, 1008-1042, 1199 (Russian) · Zbl 0367.14014 [16] Kulikov, V.S.: Surjectivity of the period mapping for K3 surfaces, Uspehi Mat. Nauk 32 (1977), no. 4(196), 257-258 (Russian) · Zbl 0449.14008 [17] Laszlo, Y; Olsson, M, The six operations for sheaves on Artin stacks. I. finite coefficients, Publ. Math. Inst. Hautes Études Sci., 107, 109-168, (2008) · Zbl 1191.14002 [18] Laszlo, Y; Olsson, M, The six operations for sheaves on Artin stacks. II. adic coefficients, Publ. Math. Inst. Hautes Études Sci, 107, 169-210, (2008) · Zbl 1191.14003 [19] Laszlo, Y; Olsson, M, Perverse t-structure on Artin stacks, Math. Z., 261, 737-748, (2009) · Zbl 1188.14002 [20] Liu, Y., Zheng, W.: Enhanced six operations and base change theorem for Artin stacks (2012). http://arxiv.org/abs/1211.5948v1 [21] Madapusi Pera, K.: Integral canonical models for spin Shimura varieties (2014). http://arxiv.org/abs/1212.1243v5 · Zbl 1391.11079 [22] Madapusi Pera, K.: The Tate conjecture for K3 surfaces in odd characteristic (2014). http://arxiv.org/abs/1301.6326v3 · Zbl 1329.14079 [23] Matsumoto, Y.: On good reduction of some K3 surfaces related to abelian surfaces, Tohoku Math. J. (2). http://arxiv.org/abs/1202.2421v1 · Zbl 1361.14027 [24] Matsusaka, T; Mumford, D, Two fundamental theorems on deformations of polarized varieties, Amer. J. Math., 86, 668-684, (1964) · Zbl 0128.15505 [25] Maulik, D.: Supersingular K3 surfaces for large primes (2012). http://arxiv.org/abs/1203.2889v2 · Zbl 1308.14043 [26] Mokrane, A, La suite spectrale des poids en cohomologie de hyodo-Kato, Duke Math. J., 72, 301-337, (1993) · Zbl 0834.14010 [27] Nakayama, C, Nearby cycles for log smooth families, Compositio Math., 112, 45-75, (1998) · Zbl 0926.14006 [28] Nakayama, C, Degeneration of l-adic weight spectral sequences, Am. J. Math., 122, 721-733, (2000) · Zbl 1033.14012 [29] Nakkajima, Y, Liftings of simple normal crossing log K3 and log Enriques surfaces in mixed characteristics, J. Algebraic Geom., 9, 355-393, (2000) · Zbl 0972.14029 [30] Nakkajima, Y, P-adic weight spectral sequences of log varieties, J. Math. Sci. Univ. Tokyo, 12, 513-661, (2005) · Zbl 1108.14015 [31] Nakkajima, Y, Signs in weight spectral sequences, monodromy-weight conjectures, log Hodge symmetry and degenerations of surfaces, Rend. Sem. Mat. Univ. Padova, 116, 71-185, (2006) · Zbl 1167.14305 [32] Nakkajima, Y.: Monodromies and weight filtrations, and the types of simple crossing log surfaces with torsion canonical sheaves. Preprint · Zbl 1223.14044 [33] Néron, A.: Modèles minimaux des variétés abéliennes sur les corps locaux et globaux, Inst. Hautes Études Sci. Publ. Math. 21, 128 (1964), (French) · Zbl 0132.41403 [34] Oda, T, A note on ramification of the Galois representation on the fundamental group of an algebraic curve. II, J. Number Theory, 53, 342-355, (1995) · Zbl 0844.14013 [35] Ogg, AP, Elliptic curves and wild ramification, Am. J. Math., 89, 1-21, (1967) · Zbl 0147.39803 [36] Olsson, M.C.: Crystalline cohomology of algebraic stacks and Hyodo-Kato cohomology. Astérisque 316, (2007) 412 pp. (2008) · Zbl 1199.14006 [37] Pjateckii-Shapiro, II; Shafarevich, IR, Torelli’s theorem for algebraic surfaces of type K3, Izv. Akad. Nauk SSSR Ser. Mat., 35, 530-572, (1971) [38] Rapoport, M; Zink, T, Über die lokale zetafunktion von shimuravarietäten. monodromiefiltration und verschwindende zyklen in ungleicher charakteristik, Invent. Math., 68, 21-101, (1982) · Zbl 0498.14010 [39] Rizov, J.: Moduli Stacks of Polarized K3 Surfaces in Mixed Characteristic (2006). http://arxiv.org/abs/math/0506120v2 · Zbl 1155.14306 [40] Rizov, J.: Kuga-Satake abelian varieties of K3 surfaces in mixed characteristic. J. Reine Angew. Math. 648, 13-67 (2010) · Zbl 1208.14031 [41] Saint-Donat, B, Projective models of K-3 surfaces, Am. J. Math., 96, 602-639, (1974) · Zbl 0301.14011 [42] Saito, M.: Modules de Hodge polarisables. Publ. Res. Inst. Math. Sci. 24 (1988), no. 6, 849-995 (1989) (French) · Zbl 0691.14007 [43] Saito, T, Weight spectral sequences and independence of l, J. Inst. Math. Jussieu, 2, 583-634, (2003) · Zbl 1084.14027 [44] Saito, T, Log smooth extension of a family of curves and semi-stable reduction, J. Algebraic Geom., 13, 287-321, (2004) · Zbl 1082.14032 [45] Serre, J-P; Tate, J, Good reduction of abelian varieties, Ann. of Math.(2), 88, 492-517, (1968) · Zbl 0172.46101 [46] Tsuji, T, Poincaré duality for logarithmic crystalline cohomology, Compositio Math., 118, 11-41, (1999) · Zbl 0964.14020 [47] Luijk, R, K3 surfaces with Picard number one and infinitely many rational points, Algebra Number Theory, 1, 1-15, (2007) · Zbl 1123.14022 [48] Zarhin, YG, Hodge groups of K3 surfaces, J. Reine Angew. Math., 341, 193-220, (1983)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.