Kodaira surface

Last updated

In mathematics, a Kodaira surface is a compact complex surface of Kodaira dimension 0 and odd first Betti number. The concept is named after Kunihiko Kodaira.

These are never algebraic, though they have non-constant meromorphic functions. They are usually divided into two subtypes: primary Kodaira surfaces with trivial canonical bundle, and secondary Kodaira surfaces which are quotients of these by finite groups of orders 2, 3, 4, or 6, and which have non-trivial canonical bundles. The secondary Kodaira surfaces have the same relation to primary ones that Enriques surfaces have to K3 surfaces, or bielliptic surfaces have to abelian surfaces.

Invariants: If the surface is the quotient of a primary Kodaira surface by a group of order k = 1,2,3,4,6, then the plurigenera Pn are 1 if n is divisible by k and 0 otherwise.

Hodge diamond:

1
12
121(Primary)
21
1
1
01
000(Secondary)
10
1

Examples: Take a non-trivial line bundle over an elliptic curve, remove the zero section, then quotient out the fibers by Z acting as multiplication by powers of some complex number z. This gives a primary Kodaira surface.

Related Research Articles

<span class="mw-page-title-main">Calabi–Yau manifold</span> Riemannian manifold with SU(n) holonomy

In algebraic geometry, a Calabi–Yau manifold, also known as a Calabi–Yau space, is a particular type of manifold which has properties, such as Ricci flatness, yielding applications in theoretical physics. Particularly in superstring theory, the extra dimensions of spacetime are sometimes conjectured to take the form of a 6-dimensional Calabi–Yau manifold, which led to the idea of mirror symmetry. Their name was coined by Candelas et al. (1985), after Eugenio Calabi who first conjectured that such surfaces might exist, and Shing-Tung Yau (1978) who proved the Calabi conjecture.

In mathematics and especially differential geometry, a Kähler manifold is a manifold with three mutually compatible structures: a complex structure, a Riemannian structure, and a symplectic structure. The concept was first studied by Jan Arnoldus Schouten and David van Dantzig in 1930, and then introduced by Erich Kähler in 1933. The terminology has been fixed by André Weil. Kähler geometry refers to the study of Kähler manifolds, their geometry and topology, as well as the study of structures and constructions that can be performed on Kähler manifolds, such as the existence of special connections like Hermitian Yang–Mills connections, or special metrics such as Kähler–Einstein metrics.

<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 differential geometry, a hyperkähler manifold is a Riemannian manifold endowed with three integrable almost complex structures that are Kähler with respect to the Riemannian metric and satisfy the quaternionic relations . In particular, it is a hypercomplex manifold. All hyperkähler manifolds are Ricci-flat and are thus Calabi–Yau manifolds.

<span class="mw-page-title-main">Kunihiko Kodaira</span> Japanese mathematician

Kunihiko Kodaira was a Japanese mathematician known for distinguished work in algebraic geometry and the theory of complex manifolds, and as the founder of the Japanese school of algebraic geometers. He was awarded a Fields Medal in 1954, being the first Japanese national to receive this honour.

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

In mathematics, the Kodaira embedding theorem characterises non-singular projective varieties, over the complex numbers, amongst compact Kähler manifolds. In effect it says precisely which complex manifolds are defined by homogeneous polynomials.

In mathematics, the Kodaira vanishing theorem is a basic result of complex manifold theory and complex algebraic geometry, describing general conditions under which sheaf cohomology groups with indices q > 0 are automatically zero. The implications for the group with index q = 0 is usually that its dimension — the number of independent global sections — coincides with a holomorphic Euler characteristic that can be computed using the Hirzebruch–Riemann–Roch theorem.

In mathematics, the Enriques–Kodaira classification is a classification of compact complex surfaces into ten classes. For each of these classes, the surfaces in the class can be 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, 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. This is equivalent to the generic fiber being a smooth curve of genus one. This follows from proper base change.

In mathematics, the intermediate Jacobian of a compact Kähler manifold or Hodge structure is a complex torus that is a common generalization of the Jacobian variety of a curve and the Picard variety and the Albanese variety. It is obtained by putting a complex structure on the torus for n odd. There are several different natural ways to put a complex structure on this torus, giving several different sorts of intermediate Jacobians, including one due to André Weil (1952) and one due to Phillip Griffiths. The ones constructed by Weil have natural polarizations if M is projective, and so are abelian varieties, while the ones constructed by Griffiths behave well under holomorphic deformations.

In mathematics, Enriques surfaces are algebraic surfaces such that the irregularity q = 0 and the canonical line bundle K is non-trivial but has trivial square. Enriques surfaces are all projective and are elliptic surfaces of genus 0. Over fields of characteristic not 2 they are quotients of K3 surfaces by a group of order 2 acting without fixed points and their theory is similar to that of algebraic K3 surfaces. Enriques surfaces were first studied in detail by Enriques (1896) as an answer to a question discussed by Castelnuovo (1895) about whether a surface with q = pg = 0 is necessarily rational, though some of the Reye congruences introduced earlier by Reye (1882) are also examples of Enriques surfaces.

In complex geometry, a Hopf surface is a compact complex surface obtained as a quotient of the complex vector space by a free action of a discrete group. If this group is the integers the Hopf surface is called primary, otherwise it is called secondary. The first example was found by Heinz Hopf (1948), with the discrete group isomorphic to the integers, with a generator acting on by multiplication by 2; this was the first example of a compact complex surface with no Kähler metric.

<span class="mw-page-title-main">Fedor Bogomolov</span> Russian and American mathematician

Fedor Alekseyevich Bogomolov is a Russian and American mathematician, known for his research in algebraic geometry and number theory. Bogomolov worked at the Steklov Institute in Moscow before he became a professor at the Courant Institute in New York. He is most famous for his pioneering work on hyperkähler manifolds.

In mathematics, the Bogomolov–Miyaoka–Yau inequality is the inequality

In mathematics, surfaces of class VII are non-algebraic complex surfaces studied by (Kodaira 1964, 1968) that have Kodaira dimension −∞ and first Betti number 1. Minimal surfaces of class VII (those with no rational curves with self-intersection −1) are called surfaces of class VII0. Every class VII surface is birational to a unique minimal class VII surface, and can be obtained from this minimal surface by blowing up points a finite number of times.

In mathematics, canonical singularities appear as singularities of the canonical model of a projective variety, and terminal singularities are special cases that appear as singularities of minimal models. They were introduced by Reid (1980). Terminal singularities are important in the minimal model program because smooth minimal models do not always exist, and thus one must allow certain singularities, namely the terminal singularities.

In algebraic geometry, a Du Val singularity, also called simple surface singularity, Kleinian singularity, or rational double point, is an isolated singularity of a complex surface which is modeled on a double branched cover of the plane, with minimal resolution obtained by replacing the singular point with a tree of smooth rational curves, with intersection pattern dual to a Dynkin diagram of A-D-E singularity type. They are the canonical singularities in dimension 2. They were studied by Patrick du Val and Felix Klein.

In the mathematical theory of Kleinian groups, the Ahlfors finiteness theorem describes the quotient of the domain of discontinuity by a finitely generated Kleinian group. The theorem was proved by Lars Ahlfors, apart from a gap that was filled by Greenberg (1967).

<span class="mw-page-title-main">Walter Lewis Baily Jr.</span> American mathematician (1930–2013)

Walter Lewis Baily Jr. was an American mathematician.

References