Remark on polarized \(K3\) surfaces of genus 36
type: Item
instance of: scholarly article
title: Remark on polarized \(K3\) surfaces of genus 36
zbMATH Open document ID: 1279.14048
author: Ilya Karzhemanov
published in: Geometriae Dedicata
publication date: 2012-07-31T00:00:00Z
full work available at URL: https://arxiv.org/abs/1004.4343
review text: A smooth \(K3\) surface is a smooth projective complex surface \(S\) such that \(\omega_S \cong \mathcal{O}_S\) and \(H^1(S,\mathcal{O}_S)=0\). It is well known that the moduli space \(\mathcal{K}_g\) of smooth polarized \(K3\) surfaces \((S,A)\) such that \(A^2=2g-2\) is an irreducible quasiprojective variety. S. Mukai has shown in a series of papers that \(\mathcal{K}_g\) is unirational for \(g \in \{2,\dots,10,12,13,18,20\}\). However \(\mathcal{K}_g\) is not unirational for general \(g \geq 43\). In principle, the proof that \(\mathcal{K}_g\) is unirational is based on the fact that a general \(K3\) surface \(S\) is an anticanonical section of some smooth Fano threefold \(X\). This implies that the map \(\mathcal{F}_g \rightarrow \mathcal{K}_g\) is generically surjective, where \(\mathcal{F}_g\) is the moduli space of pairs \((X_g,S_g)\), where \(X_g\) is a Fano threefold of genus \(g\) and \(S_g \in |-K_{X_g}|\) is smooth. From this the unirationality of \(\mathcal{K}_g\) follows. The previous method raises the fundamental question when is a smooth \(K3\) surface an anticanonical member of a smooth Fano threefold. Suppose that \(S \in |-K_X|\), where \(X\) is a smooth Fano threefold of genus \(g\). Let \(R_X=\mathrm{Pic}(X)\) be the Picard lattice of \(X\) equipped with the pairing \((D_1,D_2)=-D_1\cdot D_2\cdot K_X\). Then there is a primitive embedding \(R_X \rightarrow \mathrm{Pic}(S)\) which maps \(-K_X\) to an ample class in \(S\) of square \(2g-2\). A smooth \(K3\) surface \(S\) with such an embedding is called a \(K3\) surface of type \(R_X\). A. Beauville has shown that the converse is also true, i.e., that every \(K3\) surface \(S\) of type \(R_X\) is an anticanonical member of some smooth Fano threefold \(Y\) [\textit{A. Beauville}, The Fano conference. Papers of the conference organized to commemorate the 50th anniversary of the death of Gino Fano (1871--1952), Torino, Italy, September 29--October 5, 2002. Torino: Università di Torino, Dipartimento d…
reviewed by: Nikolaos Tziolas
Mathematics Subject Classification ID: 14J28
Mathematics Subject Classification ID: 14J45
Mathematics Subject Classification ID: 14M20
Mathematics Subject Classification ID: 14D20
zbMATH DE Number: 6062592
zbMATH Keywords: \(K3\) surfaces
zbMATH Keywords: moduli space
zbMATH Keywords: unirational
zbMATH Keywords: Fano threefold
zbMATH Keywords: anticanonical member
MaRDI profile type: Publication
OpenAlex ID: W1992326481
arXiv ID: 1004.4343
cites work: Q4650868
cites work: Singularities of 3-dimensional varieties admitting an ample effective divisor of Kodaira dimension zero
cites work: The Kodaira dimension of the moduli of \(K3\) surfaces
cites work: Q4143433
cites work: Q4507515
cites work: Q4220921
cites work: On Fano threefolds with canonical Gorenstein singularities
cites work: Crepant blowing-up of 3-dimensional canonical singularities and its application to degenerations of surfaces
cites work: Q3825176
cites work: Q4212603
cites work: Q4262198
cites work: Biregular classification of Fano 3-folds and Fano manifolds of coindex 3
cites work: Q4715031
cites work: Q4027261
cites work: Q4389652
cites work: Q4027262
cites work: Q3438062
cites work: On moduli of algebraic varieties. I
cites work: Q4052257
cites work: Q4120665
cites work: On algebraic threefolds whose hyperplane sections are Enriques surfaces
cites work: On the degree of Fano threefolds with canonical Gorenstein singularities
cites work: Q4847772
DOI: 10.1007/S10711-011-9660-6
description: scientific article; zbMATH DE number 6062592