Elliptic surface

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In mathematics, an elliptic surface is a surface that has an elliptic fibration, in other words a proper morphism with connected fibers to an algebraic curve such that almost all fibers are smooth curves of genus 1. (Over an algebraically closed field such as the complex numbers, these fibers are elliptic curves, perhaps without a chosen origin.)

The surface and the base curve are assumed to be non-singular (complex manifolds or regular schemes, depending on the context). The fibers that are not elliptic curves are called the singular fibers and were classified by Kunihiko Kodaira. Both elliptic and singular fibers are important in string theory, especially in F-theory.

Elliptic surfaces form a large class of surfaces that contains many of the interesting examples of surfaces, and are relatively well-understood in the theories of complex manifolds and smooth 4-manifolds. They are similar to (have analogies with, that is), elliptic curves over number fields.

Examples[edit]

Kodaira's table of singular fibers[edit]

Most of the fibers of an elliptic fibration are (non-singular) elliptic curves. The remaining fibers are called singular fibers: there are a finite number of them, and they consist of unions of rational curves, possibly with singularities or non-zero multiplicities (so the fibers may be non-reduced schemes). Kodaira and Néron independently classified the possible fibers, and Tate's algorithm can be used to find the type of the fibers of an elliptic curve over a number field.

The following table lists the possible fibers of a minimal elliptic fibration. ("Minimal" means roughly one that cannot be factored through a "smaller" one; precisely, the singular fibers should contain no smooth rational curves with self-intersection number −1.) It gives:

  • Kodaira's symbol for the fiber,
  • André Néron's symbol for the fiber,
  • The number of irreducible components of the fiber (all rational except for type I0)
  • The intersection matrix of the components. This is either a 1×1 zero matrix, or an affine Cartan matrix, whose Dynkin diagram is given.
  • The multiplicities of each fiber are indicated in the Dynkin diagram.
Kodaira Néron Components Intersection matrix Dynkin diagram Fiber
I0 A 1 (elliptic) 0 Affine A0 diagram.svg Kodaira fiber 0 a.svg
I1 B1 1 (with double point) 0 Affine A0 diagram.svg Kodaira fiber 0 b.svg
I2 B2 2 (2 distinct intersection points) affine A1 Affine A1 diagram.svg Kodaira fiber A1 a.svg
Iv (v≥2) Bv v (v distinct intersection points) affine Av-1 Affine An diagram.svg Kodaira fiber An.svg
mIv (v≥0, m≥2) Iv with multiplicity m
II C1 1 (with cusp) 0 Affine A0 diagram.svg Kodaira fiber 0 c.svg
III C2 2 (meet at one point of order 2) affine A1 Affine A1 diagram.svg Kodaira fiber A1 b.svg
IV C3 3 (all meet in 1 point) affine A2 Affine A2 diagram.svg Kodaira fiber A2 b.svg
I0* C4 5 affine D4 Affine D4 diagram.svg Kodaira fiber D4.svg
Iv* (v≥1) C5,v 5+v affine D4+v Affine Dn diagram.svg Kodaira fiber Dn.svg
IV* C6 7 affine E6 Affine E6 diagram.svg Kodaira fiber E6.svg
III* C7 8 affine E7 Affine E7 diagram.svg Kodaira fiber E7.svg
II* C8 9 affine E8 Affine E8 diagram.svg Kodaira fiber E8.svg

This table can be found as follows. Geometric arguments show that the intersection matrix of the components of the fiber must be negative semidefinite, connected, symmetric, and have no diagonal entries equal to −1 (by minimality). Such a matrix must be 0 or a multiple of the Cartan matrix of an affine Dynkin diagram of type ADE.

The intersection matrix determines the fiber type with three exceptions:

  • If the intersection matrix is 0 the fiber can be either an elliptic curve (type I0), or have a double point (type I1), or a cusp (type II).
  • If the intersection matrix is affine A1, there are 2 components with intersection multiplicity 2. They can meet either in 2 points with order 1 (type I2), or at one point with order 2 (type III).
  • If the intersection matrix is affine A2, there are 3 components each meeting the other two. They can meet either in pairs at 3 distinct points (type I3), or all meet at the same point (type IV).

Monodromy[edit]

The monodromy around each singular fiber is a well-defined conjugacy class in the group SL(2,Z) of 2 × 2 integer matrices with determinant 1. The monodromy describes the way the first homology group of a smooth fiber (which is isomorphic to Z2) changes as we go around a singular fiber. Representatives for these conjugacy classes associated to singular fibers are given by:[1]

Fiber Intersection matrix Monodromy j-invariant Group structure on smooth locus
Iν affine Aν-1 \begin{pmatrix} 1 & \nu \\ 1 & 1 \end{pmatrix} \infty \mathbf{Z}/\nu \times \mathbf{C}^*
II 0 \begin{pmatrix} 1 & 1 \\ -1 & 0 \end{pmatrix} 0 \mathbf{C}
III affine A1 \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} 1728 \mathbf{Z}/2 \times \mathbf{C}
IV affine A2 \begin{pmatrix} 0 & 1 \\ -1 & -1 \end{pmatrix} 0 \mathbf{Z}/3 \times \mathbf{C}
Iν* affine D4+ν \begin{pmatrix} -1 & -\nu \\ 0 & -1 \end{pmatrix} \infty (\mathbf{Z}/2)^2 \times \mathbf{C} if ν is even, \mathbf{Z}/4\times\mathbf{C} if ν is odd
IV* affine E6 \begin{pmatrix} -1 & -1 \\ 1 & 0 \end{pmatrix} 0 \mathbf{Z}/3 \times \mathbf{C}
III* affine E7 \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} 1728 \mathbf{Z}/2 \times \mathbf{C}
II* affine E8 \begin{pmatrix} 0 & -1 \\ 1 & 1 \end{pmatrix} 0 \mathbf{C}

For singular fibers of type II, III, IV, IV*, III*, or II*, the monodromy has finite order in SL(2,Z). This reflects the fact that an elliptic fibration has potential good reduction at such a fiber. That is, after a ramified finite covering of the base curve, the singular fiber can be replaced by a smooth elliptic curve. Which smooth curve appears is described by the j-invariant in the table. Over the complex numbers, the curve with j-invariant 0 is the unique elliptic curve with automorphism group of order 6, and the curve with j-invariant 1728 is the unique elliptic curve with automorphism group of order 4. (All other elliptic curves have automorphism group of order 2.)

For an elliptic fibration with a section, called a Jacobian elliptic fibration, the smooth locus of each fiber has a group structure. For singular fibers, this group structure on the smooth locus is described in the table, assuming for convenience that the base field is the complex numbers. (For a singular fiber with intersection matrix given by an affine Dynkin diagram \tilde{\Gamma}, the group of components of the smooth locus is isomorphic to the center of the simply connected simple Lie group with Dynkin diagram \Gamma, as listed here.) Knowing the group structure of the singular fibers is useful for computing the Mordell-Weil group of an elliptic fibration (the group of sections), in particular its torsion subgroup.

Logarithmic transformations[edit]

A logarithmic transformation (of order m with center p) of an elliptic surface or fibration turns a fiber of multiplicity 1 over a point p of the base space into a fiber of multiplicity m. It can be reversed, so fibers of high multiplicity can all be turned into fibers of multiplicity 1, and this can be used to eliminate all multiple fibers.

Logarithmic transformations can be quite violent: they can change the Kodaira dimension, and can turn algebraic surfaces into non-algebraic surfaces.

Example: Let L be the lattice Z+iZ of C, and let E be the elliptic curve C/L. Then the projection map from E×C to C is an elliptic fibration. We will show how to replace the fiber over 0 with a fiber of multiplicity 2.

There is an automorphism of E×C of order 2 that maps (c,s) to (c+1/2, −s). We let X be the quotient of E×C by this group action. We make X into a fiber space over C by mapping (c,s) to s2. We construct an isomorphism from X minus the fiber over 0 to E×C minus the fiber over 0 by mapping (c,s) to (c-log(s)/2πi,s2). (The two fibers over 0 are non-isomorphic elliptic curves, so the fibration X is certainly not isomorphic to the fibration E×C over all of C.)

Then the fibration X has a fiber of multiplicity 2 over 0, and otherwise looks like E×C. We say that X is obtained by applying a logarithmic transformation of order 2 to E×C with center 0.

See also[edit]

Notes[edit]

  1. ^ Barth, Hulek, Peters and Van de Ven, Compact Complex Surfaces, section V.10, Tables 5 and 6; Cossec and Dolgachev, Enriques Surfaces, Corollary 5.2.3.

References[edit]