NOTICE: Citizendium is still being set up on its newer server, treat as a beta for now; please see here for more.
Citizendium - a community developing a quality comprehensive compendium of knowledge, online and free. Click here to join and contribute—free
CZ thanks our previous donors. Donate here. Treasurer's Financial Report -- Thanks to our content contributors. --

K3 surface

From Citizendium, the Citizens' Compendium
(Redirected from K3 surfaces)
Jump to: navigation, search
This article is developing and not approved.
Main Article
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
This editable Main Article is under development and not meant to be cited; by editing it you can help to improve it towards a future approved, citable version. These unapproved articles are subject to a disclaimer.

In complex geometry and in algebraic geometry K3 surfaces are the 2-dimensional analog of elliptic curves. The complex and algebro-geometric definitions are slightly different, and coincide in the case where the surface is an algebraic surface over the complex numbers.

The algebro-geometric definition

In algebraic geometry a surface is a surface if it is smooth, projective, with trivial canonical bundle, and such that . In this case one automatically gets: .


  • If is a smooth curve of degree and is the double cover of branched along , then surface; indeed in the Picard group of we have . A similar claim hods even if the curve is singular; the modification is that now one has to consider the normalization of the branch double cover. Specifically if the curve is a six lines tangent to a conic, then on recovers for the double cover model of a Kummer surface.
  • A quartic surface in
  • A complete intersection of a quadric and a cubic hyper-surfaces in
  • A complete intersection of three quadric hypersurfaces in

In the last three examples one may verify that the canonical bundle is trivial using adjunction formula


Complex definition

In complex geometry a surface is complete smooth simply connected surface with trivial canonical class.

The Hodge diamond

The period map and the Torelli theorem

Complex algebraic K3 surfaces