# K3 surface criteria

Suppose I have an affine equation $f(x, y) = 0$ which after homogenizing becomes $f(X, Y, Z) = 0$ in $\mathbb{P}^{3}$. Are there ways to check that $f$ represents a K3 surface?

-

Btw, if you're interested in K3 surfaces then there are good introductions available in Beauville's "Complex algebraic surfaces" (and his Astérisque K3 surface seminar notes, but they are hardcore) and in Huybrecht's notes (available for free on his website). Avoid Barth, Peters, Van de Ven on your first pass; it's a reference book and isn't actually meant to be read. – Gunnar Magnusson Jun 12 '11 at 17:37

## 2 Answers

There sure are. Let's denote by $X$ the surface defined by $f$, and let's suppose that $X$ is smooth. For any compact complex surface, being K3 is equivalent to being simply connected and having trivial canonical bundle.

A hypersurface in $\mathbb P^n$ is connected and simply connected by the Lefschetz theorem, so we only need to find a condition ensuring that the canonical bundle is trivial.

This condition is given by the adjunction formula, which says that if the polynomial $f$ is of degree $d$, then

$$K_X = ( K_{\mathbb P^3} \otimes \mathcal O(d) )_{|X} = \mathcal O_X(d-4).$$

This bundle is trivial if and only if $d = 4$, or in other words, if $f$ is a quartic.

A fun exercise involving the adjuction formula is to see that there are very few K3 surfaces given as complete intersections in $\mathbb P^n$. In fact, they only exist in dimension 4, 5 and 6 if I remember correctly.

-

I am convinced that $f(X,Y,Z)$ represents a K3 surface iff it is a quartic (fourth-degree) polynomial, see page 16 of this review of K3 surfaces:

http://arxiv.org/abs/hep-th/9611137

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 14, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.952328622341156, "perplexity_flag": "head"}