Elliptic surface

Last updated

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.) This is equivalent to the generic fiber being a smooth curve of genus one. This follows from proper base change.

Contents

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

Kodaira's table of singular fibers

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 each one consists of a union 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:

KodairaNéronComponentsIntersection matrixDynkin diagramFiber
I0A1 (elliptic)0 Affine A0 diagram.svg Kodaira fiber 0 a.svg
I1B11 (with double point)0 Affine A0 diagram.svg Kodaira fiber 0 b.svg
I2B22 (2 distinct intersection points)affine A1 Affine A1 diagram.svg Kodaira fiber A1 a.svg
Iv (v≥2)Bvv (v distinct intersection points)affine Av-1 Affine An diagram.svg Kodaira fiber An.svg
mIv (v≥0, m≥2)Iv with multiplicity m
IIC11 (with cusp)0 Affine A0 diagram.svg Kodaira fiber 0 c.svg
IIIC22 (meet at one point of order 2)affine A1 Affine A1 diagram.svg Kodaira fiber A1 b.svg
IVC33 (all meet in 1 point)affine A2 Affine A2 diagram.svg Kodaira fiber A2 b.svg
I0*C45affine D4 Affine D4 diagram.svg Kodaira fiber D4.svg
Iv* (v≥1)C5,v5+vaffine D4+v Affine Dn diagram.svg Kodaira fiber Dn.svg
IV*C67affine E6 Affine E6 diagram.svg Kodaira fiber E6.svg
III*C78affine E7 Affine E7 diagram.svg Kodaira fiber E7.svg
II*C89affine 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:

Monodromy

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]

FiberIntersection matrixMonodromyj-invariantGroup structure on smooth locus
Iνaffine Aν-1
II00
IIIaffine A11728
IVaffine A20
I0*affine D4in
Iν* (ν≥1)affine D4+ν if ν is even, if ν is odd
IV*affine E60
III*affine E71728
II*affine E80

For singular fibers of type II, III, IV, I0*, 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 , the group of components of the smooth locus is isomorphic to the center of the simply connected simple Lie group with Dynkin diagram , 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.

Canonical bundle formula

To understand how elliptic surfaces fit into the classification of surfaces, it is important to compute the canonical bundle of a minimal elliptic surface f: XS. Over the complex numbers, Kodaira proved the following canonical bundle formula: [2]

Here the multiple fibers of f (if any) are written as , for an integer mi at least 2 and a divisor Di whose coefficients have greatest common divisor equal to 1, and L is some line bundle on the smooth curve S. If S is projective (or equivalently, compact), then the degree of L is determined by the holomorphic Euler characteristics of X and S: deg(L) = χ(X,OX) − 2χ(S,OS). The canonical bundle formula implies that KX is Q-linearly equivalent to the pullback of some Q-divisor on S; it is essential here that the elliptic surface XS is minimal.

Building on work of Kenji Ueno, Takao Fujita (1986) gave a useful variant of the canonical bundle formula, showing how KX depends on the variation of the smooth fibers. [3] Namely, there is a Q-linear equivalence

where the discriminant divisorBS is an explicit effective Q-divisor on S associated to the singular fibers of f, and the moduli divisorMS is , where j: SP1 is the function giving the j-invariant of the smooth fibers. (Thus MS is a Q-linear equivalence class of Q-divisors, using the identification between the divisor class group Cl(S) and the Picard group Pic(S).) In particular, for S projective, the moduli divisor MS has nonnegative degree, and it has degree zero if and only if the elliptic surface is isotrivial, meaning that all the smooth fibers are isomorphic.

The discriminant divisor in Fujita's formula is defined by

,

where c(p) is the log canonical threshold. This is an explicit rational number between 0 and 1, depending on the type of singular fiber. Explicitly, the lct is 1 for a smooth fiber or type , and it is 1/m for a multiple fiber , 1/2 for , 5/6 for II, 3/4 for III, 2/3 for IV, 1/3 for IV*, 1/4 for III*, and 1/6 for II*.

The canonical bundle formula (in Fujita's form) has been generalized by Yujiro Kawamata and others to families of Calabi–Yau varieties of any dimension. [4]

Logarithmic transformations

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

Notes

  1. Barth et al. (2004), section V.10, Tables 5 and 6; Cossec and Dolgachev (1989), Corollary 5.2.3.
  2. Barth et al. (2004), Corollary III.12.3.
  3. Kollár (2007), section 8.2.
  4. Kollár (2007), section 8.5.

Related Research Articles

In mathematics, complex geometry is the study of geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of spaces such as complex manifolds and complex algebraic varieties, functions of several complex variables, and holomorphic constructions such as holomorphic vector bundles and coherent sheaves. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis.

The Riemann–Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension of the space of meromorphic functions with prescribed zeros and allowed poles. It relates the complex analysis of a connected compact Riemann surface with the surface's purely topological genus g, in a way that can be carried over into purely algebraic settings.

<span class="mw-page-title-main">Algebraic curve</span> Curve defined as zeros of polynomials

In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation h(x, y, t) = 0 can be restricted to the affine algebraic plane curve of equation h(x, y, 1) = 0. These two operations are each inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered.

<span class="mw-page-title-main">Projective variety</span>

In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space over k that is the zero-locus of some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of .

<span class="mw-page-title-main">Birational geometry</span> Field of algebraic geometry

In mathematics, birational geometry is a field of algebraic geometry in which the goal is to determine when two algebraic varieties are isomorphic outside lower-dimensional subsets. This amounts to studying mappings that are given by rational functions rather than polynomials; the map may fail to be defined where the rational functions have poles.

<span class="mw-page-title-main">K3 surface</span> Type of smooth complex surface of kodaira dimension 0

In mathematics, a complex analytic K3 surface is a compact connected complex manifold of dimension 2 with а trivial canonical bundle and irregularity zero. An (algebraic) K3 surface over any field means a smooth proper geometrically connected algebraic surface that satisfies the same conditions. In the Enriques–Kodaira classification of surfaces, K3 surfaces form one of the four classes of minimal surfaces of Kodaira dimension zero. A simple example is the Fermat quartic surface

In mathematics, an algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface has complex dimension two and so of dimension four as a smooth manifold.

In mathematics, the canonical bundle of a non-singular algebraic variety of dimension over a field is the line bundle , which is the nth exterior power of the cotangent bundle on .

In mathematics, a distinctive feature of algebraic geometry is that some line bundles on a projective variety can be considered "positive", while others are "negative". The most important notion of positivity is that of an ample line bundle, although there are several related classes of line bundles. Roughly speaking, positivity properties of a line bundle are related to having many global sections. Understanding the ample line bundles on a given variety X amounts to understanding the different ways of mapping X into projective space. In view of the correspondence between line bundles and divisors, there is an equivalent notion of an ample divisor.

In algebraic geometry, divisors are a generalization of codimension-1 subvarieties of algebraic varieties. Two different generalizations are in common use, Cartier divisors and Weil divisors. Both are derived from the notion of divisibility in the integers and algebraic number fields.

<span class="mw-page-title-main">Blowing up</span>

In mathematics, blowing up or blowup is a type of geometric transformation which replaces a subspace of a given space with the space of all directions pointing out of that subspace. For example, the blowup of a point in a plane replaces the point with the projectivized tangent space at that point. The metaphor is that of zooming in on a photograph to enlarge part of the picture, rather than referring to an explosion.

In algebraic geometry, the Kodaira dimensionκ(X) measures the size of the canonical model of a projective variety X.

In mathematics, the Enriques–Kodaira classification groups compact complex surfaces into ten classes, each parametrized by a moduli space. For most of the classes the moduli spaces are well understood, but for the class of surfaces of general type the moduli spaces seem too complicated to describe explicitly, though some components are known.

In mathematics, especially in algebraic geometry and the theory of complex manifolds, the adjunction formula relates the canonical bundle of a variety and a hypersurface inside that variety. It is often used to deduce facts about varieties embedded in well-behaved spaces such as projective space or to prove theorems by induction.

In algebraic geometry, the Chow groups of an algebraic variety over any field are algebro-geometric analogs of the homology of a topological space. The elements of the Chow group are formed out of subvarieties in a similar way to how simplicial or cellular homology groups are formed out of subcomplexes. When the variety is smooth, the Chow groups can be interpreted as cohomology groups and have a multiplication called the intersection product. The Chow groups carry rich information about an algebraic variety, and they are correspondingly hard to compute in general.

In algebraic geometry, the minimal model program is part of the birational classification of algebraic varieties. Its goal is to construct a birational model of any complex projective variety which is as simple as possible. The subject has its origins in the classical birational geometry of surfaces studied by the Italian school, and is currently an active research area within algebraic geometry.

In mathematics, an arithmetic surface over a Dedekind domain R with fraction field is a geometric object having one conventional dimension, and one other dimension provided by the infinitude of the primes. When R is the ring of integers Z, this intuition depends on the prime ideal spectrum Spec(Z) being seen as analogous to a line. Arithmetic surfaces arise naturally in diophantine geometry, when an algebraic curve defined over K is thought of as having reductions over the fields R/P, where P is a prime ideal of R, for almost all P; and are helpful in specifying what should happen about the process of reducing to R/P when the most naive way fails to make sense.

This is a glossary of algebraic geometry.

References