Kummer surface

In algebraic geometry, a Kummer quartic surface, first studied by Ernst Kummer (1864), is an irreducible nodal surface of degree 4 in P 3 {\displaystyle \mathbb {P} ^{3}} with the maximal possible number of 16 double points. Any such surface is the Kummer variety of the Jacobian variety of a smooth hyperelliptic curve of genus 2; i.e. a quotient of the Jacobian by the Kummer involution x ↦ −x. The Kummer involution has 16 fixed points: the 16 2-torsion point of the Jacobian, and they are the 16 singular points of the quartic surface. Resolving the 16 double points of the quotient of a (possibly nonalgebraic) torus by the Kummer involution gives a K3 surface with 16 disjoint rational curves; these K3 surfaces are also sometimes called Kummer surfaces.

Other surfaces closely related to Kummer surfaces include Weddle surfaces, wave surfaces, and tetrahedroids.

Let K ⊂ P 3 {\displaystyle K\subset \mathbb {P} ^{3}} be a quartic surface with an ordinary double point p, near which K looks like a quadratic cone. Any projective line through p then meets K with multiplicity two at p, and will therefore meet the quartic K in just two other points. Identifying the lines in P 3 {\displaystyle \mathbb {P} ^{3}} through the point p with P 2 {\displaystyle \mathbb {P} ^{2}} , we get a double cover from the blow up of K at p to P 2 {\displaystyle \mathbb {P} ^{2}} ; this double cover is given by sending q ≠ p ↦  p q ¯ {\displaystyle \scriptstyle {\overline {pq}}} , and any line in the tangent cone of p in K to itself. The ramification locus of the double cover is a plane curve C of degree 6, and all the nodes of K which are not p map to nodes of C.

By the genus degree formula, the maximal possible number of nodes on a sextic curve is obtained when the curve is a union of 6 {\displaystyle 6} lines, in which case we have 15 nodes. Hence the maximal number of nodes on a quartic is 16, and in this case they are all simple nodes (to show that p {\displaystyle p} is simple project from another node). A quartic which obtains these 16 nodes is called a Kummer Quartic, and we will concentrate on them below.

Since p {\displaystyle p} is a simple node, the tangent cone to this point is mapped to a conic under the double cover. This conic is in fact tangent to the six lines (w.o proof). Conversely, given a configuration of a conic and six lines which tangent to it in the plane, we may define the double cover of the plane ramified over the union of these 6 lines. This double cover may be mapped to P 3 {\displaystyle \mathbb {P} ^{3}} , under a map which blows down the double cover of the special conic, and is an isomorphism elsewhere (w.o. proof).

Starting from a smooth curve C {\displaystyle C} of genus 2, we may identify the Jacobian J a c ( C ) {\displaystyle Jac(C)} with P i c 2 ( C ) {\displaystyle Pic^{2}(C)} under the map x ↦ x + K C {\displaystyle x\mapsto x+K_{C}} . We now observe two facts: Since C {\displaystyle C} is a hyperelliptic curve the map from the symmetric product S y m 2 C {\displaystyle Sym^{2}C} to P i c 2 C {\displaystyle Pic^{2}C} , defined by { p , q } ↦ p + q {\displaystyle \{p,q\}\mapsto p+q} , is the blow down of the graph of the hyperelliptic involution to the canonical divisor class. Moreover, the canonical map C → | K C | ∗ {\displaystyle C\to |K_{C}|^{*}} is a double cover. Hence we get a double cover K u m ( C ) → S y m 2 | K C | ∗ {\displaystyle Kum(C)\to Sym^{2}|K_{C}|^{*}} .

This double cover is the one which already appeared above: The 6 lines are the images of the odd symmetric theta divisors on J a c ( C ) {\displaystyle Jac(C)} , while the conic is the image of the blown-up 0. The conic is isomorphic to the canonical system via the isomorphism T 0 J a c ( C ) ≅ | K C | ∗ {\displaystyle T_{0}Jac(C)\cong |K_{C}|^{*}} , and each of the six lines is naturally isomorphic to the dual canonical system | K C | ∗ {\displaystyle |K_{C}|^{*}} via the identification of theta divisors and translates of the curve C {\displaystyle C} . There is a 1-1 correspondence between pairs of odd symmetric theta divisors and 2-torsion points on the Jacobian given by the fact that ( Θ + w 1 ) ∩ ( Θ + w 2 ) = { w 1 − w 2 , 0 } {\displaystyle (\Theta +w_{1})\cap (\Theta +w_{2})=\{w_{1}-w_{2},0\}} , where w 1 , w 2 {\displaystyle w_{1},w_{2}} are Weierstrass points (which are the odd theta characteristics in this in genus 2). Hence the branch points of the canonical map C ↦ | K C | ∗ {\displaystyle C\mapsto |K_{C}|^{*}} appear on each of these copies of the canonical system as the intersection points of the lines and the tangency points of the lines and the conic.

Finally, since we know that every Kummer quartic is a Kummer variety of a Jacobian of a hyperelliptic curve, we show how to reconstruct Kummer quartic surface directly from the Jacobian of a genus 2 curve: The Jacobian of C {\displaystyle C} maps to the complete line complex | O J a c ( C ) ( 2 Θ C ) | ≅ P 2 2 − 1 {\displaystyle |O_{Jac(C)}(2\Theta _{C})|\cong \mathbb {P} ^{2^{2}-1}} (see the article on Abelian varieties). This map factors through the Kummer variety as a degree 4 map which has 16 nodes at the images of the 2-torsion points on J a c ( C ) {\displaystyle Jac(C)} .

In general, a quadratic line complex defined by a single quadratic equation has 3 dimensions, so through each point in R 3 {\displaystyle \mathbb {R} ^{3}} there exists a whole 1-dimensional pencil of lines that sweeps out a quadratic cone. This can be constructed by intersecting the quadratic constraint with the linear constraint of "passing to a point".

However, there exists a 2-dimensional set of points where this breaks down. Specifically, at these points, the quadratic cone degenerates into two flat planes. These points are the singular points of the quadratic line complex. The set of these points is its singular surface. The singular surface is Kummer's surface.

There are several crucial points which relate the geometric, algebraic, and combinatorial aspects of the configuration of the nodes of the kummer quartic:

• Any symmetric odd theta divisor on J a c ( C ) {\displaystyle Jac(C)} is given by the set points { q − w | q ∈ C } {\displaystyle \{q-w|q\in C\}} , where w is a Weierstrass point on C {\displaystyle C} . This theta divisor contains six 2-torsion points: w ′ − w {\displaystyle w'-w} such that w ′ {\displaystyle w'} is a Weierstrass point.
• Two odd theta divisors given by Weierstrass points w , w ′ {\displaystyle w,w'} intersect at 0 {\displaystyle 0} and at w − w ′ {\displaystyle w-w'} .
• The translation of the Jacobian by a two torsion point is an isomorphism of the Jacobian as an algebraic surface, which maps the set of 2-torsion points to itself.
• In the complete linear system | 2 Θ C | {\displaystyle |2\Theta _{C}|} on J a c ( C ) {\displaystyle Jac(C)} , any odd theta divisor is mapped to a conic, which is the intersection of the Kummer quartic with a plane. Moreover, this complete linear system is invariant under shifts by 2-torsion points.

Hence we have a configuration of 16 {\displaystyle 16} conics in P 3 {\displaystyle \mathbb {P} ^{3}} ; where each contains 6 nodes, and such that the intersection of each two is along 2 nodes. This configuration is called the 16 6 {\displaystyle 16_{6}} configuration or the Kummer configuration.

The 2-torsion points on an Abelian variety admit a symplectic bilinear form called the Weil pairing. In the case of Jacobians of curves of genus two, every nontrivial 2-torsion point is uniquely expressed as a difference between two of the six Weierstrass points of the curve. The Weil pairing is given in this case by ⟨ p 1 − p 2 , p 3 − p 4 ⟩ = # { p 1 , p 2 } ∩ { p 3 , p 4 } {\displaystyle \langle p_{1}-p_{2},p_{3}-p_{4}\rangle =\#\{p_{1},p_{2}\}\cap \{p_{3},p_{4}\}} . One can recover a lot of the group theoretic invariants of the group S p 4 ( 2 ) {\displaystyle Sp_{4}(2)} via the geometry of the 16 6 {\displaystyle 16_{6}} configuration.

Below is a list of group theoretic invariants and their geometric incarnation in the 16₆ configuration.

• Polar lines
• Apolar complexes
• Klein configuration
• Fundamental quadrics
• Fundamental tetrahedra
• Rosenhain tetrads
• Göpel tetrads

• Barth, Wolf P.; Hulek, Klaus; Peters, Chris A.M.; Van de Ven, Antonius (2004), Compact Complex Surfaces, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge., vol. 4, Springer-Verlag, Berlin, doi:10.1007/978-3-642-57739-0, ISBN 978-3-540-00832-3, MR 2030225
• Dolgachev, Igor (2012), Classical algebraic geometry. A modern view, Cambridge University Press, ISBN 978-1-107-01765-8, MR 2964027
• Hudson, R. W. H. T. (1990), Kummer's quartic surface, Cambridge Mathematical Library, Cambridge University Press, ISBN 978-0-521-39790-2, MR 1097176
• Kummer, Ernst Eduard (1864), "Über die Flächen vierten Grades mit sechzehn singulären Punkten", Monatsberichte der Königlichen Preußischen Akademie der Wissenschaften zu Berlin: 246–260 Reprinted in (Kummer 1975)
• Kummer, Ernst Eduard (1975), Collected Papers: Volume 2: Function Theory, Geometry, and Miscellaneous, Berlin, New York: Springer-Verlag, ISBN 978-0-387-06836-7, MR 0465761
• Voitsekhovskii, M.I. (2001) [1994], "Kummer_surface", Encyclopedia of Mathematics, EMS Press

This article incorporates material from the Citizendium article "Kummer surface", which is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License but not under the GFDL.