Dolgachev surface

Last updated

In mathematics, Dolgachev surfaces are certain simply connected elliptic surfaces, introduced by Dolgachev (1981). They can be used to give examples of an infinite family of homeomorphic simply connected compact 4-manifolds no two of which are diffeomorphic.

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.

Properties

The blowup X0 of the projective plane in 9 points can be realized as an elliptic fibration all of whose fibers are irreducible. A Dolgachev surface Xq is given by applying logarithmic transformations of orders 2 and q to two smooth fibers for some q  3.

Blowing up in algebraic geometry, a transformation on an algebraic variety or scheme, wherein a closed subvariety is replaced with the space of lines passing through it (in the case of a point, a projective space), commonly used to resolve singularities

In mathematics, blowing up or blowup is a type of geometric transformation which replaces a subspace of a given space with all the 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.

Projective plane Geometric concept of a 2D space with a "point at infinity" adjoined

In mathematics, a projective plane is a geometric structure that extends the concept of a plane. In the ordinary Euclidean plane, two lines typically intersect in a single point, but there are some pairs of lines that do not intersect. A projective plane can be thought of as an ordinary plane equipped with additional "points at infinity" where parallel lines intersect. Thus any two distinct lines in a projective plane intersect in one and only one point.

The Dolgachev surfaces are simply connected and the bilinear form on the second cohomology group is odd of signature (1, 9) (so it is the unimodular lattice I1,9). The geometric genus pg is 0 and the Kodaira dimension is 1.

In geometry and mathematical group theory, a unimodular lattice is an integral lattice of determinant 1 or −1. For a lattice in n-dimensional Euclidean space, this is equivalent to requiring that the volume of any fundamental domain for the lattice be 1.

In algebraic geometry, the geometric genus is a basic birational invariant pg of algebraic varieties and complex manifolds.

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

Donaldson (1987) found the first examples of homeomorphic but not diffeomorphic 4-manifolds X0 and X3. More generally the surfaces Xq and Xr are always homeomorphic, but are not diffeomorphic unless q = r.

Akbulut (2008) showed that the Dolgachev surface X3 has a handlebody decomposition without 1- and 3-handles.

Related Research Articles

Diffeomorphism isomorphism of smooth manifolds

In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are smooth.

Riemann surface one-dimensional complex manifold

In mathematics, particularly in complex analysis, a Riemann surface is a one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed versions of the complex plane: locally near every point they look like patches of the complex plane, but the global topology can be quite different. For example, they can look like a sphere or a torus or several sheets glued together.

In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature Kp) depends on a two-dimensional plane σp in the tangent space at a point p of the manifold. It is the Gaussian curvature of the surface which has the plane σp as a tangent plane at p, obtained from geodesics which start at p in the directions of σp. The sectional curvature is a smooth real-valued function on the 2-Grassmannian bundle over the manifold.

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.

In algebraic topology, a homology sphere is an n-manifold X having the homology groups of an n-sphere, for some integer n ≥ 1. That is,

Low-dimensional topology branch of topology that studies topological spaces of four or fewer dimensions

In mathematics, low-dimensional topology is the branch of topology that studies manifolds, or more generally topological spaces, of four or fewer dimensions. Representative topics are the structure theory of 3-manifolds and 4-manifolds, knot theory, and braid groups. It can be regarded as a part of geometric topology. It may also be used to refer to the study of topological spaces of dimension 1, though this is more typically considered part of continuum theory.

Simon Donaldson English mathematician and Fields medalist

Sir Simon Kirwan Donaldson, is an English mathematician known for his work on the topology of smooth (differentiable) four-dimensional manifolds and Donaldson–Thomas theory. He is currently a permanent member of the Simons Center for Geometry and Physics at Stony Brook University and a Professor in Pure Mathematics at Imperial College London.

3-manifold 3-dimensional manifold

In mathematics, a 3-manifold is a space that locally looks like Euclidean 3-dimensional space. A 3-manifold can be thought of as a possible shape of the universe. Just as a sphere looks like a plane to a small enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below.

In differential topology, an exotic sphere is a differentiable manifold M that is homeomorphic but not diffeomorphic to the standard Euclidean n-sphere. That is, M is a sphere from the point of view of all its topological properties, but carrying a smooth structure that is not the familiar one.

In mathematics, a 4-manifold is a 4-dimensional topological manifold. A smooth 4-manifold is a 4-manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different. There exist some topological 4-manifolds which admit no smooth structure and even if there exists a smooth structure it need not be unique.

In mathematics, a piecewise linear (PL) manifold is a topological manifold together with a piecewise linear structure on it. Such a structure can be defined by means of an atlas, such that one can pass from chart to chart in it by piecewise linear functions. This is slightly stronger than the topological notion of a triangulation.

The Hauptvermutung of geometric topology is the conjecture that any two triangulations of a triangulable space have a common refinement, a single triangulation that is a subdivision of both of them. It was originally formulated in 1908, by Ernst Steinitz and Heinrich Franz Friedrich Tietze.

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, a Barlow surface is one of the complex surfaces introduced by Rebecca Barlow. They are simply connected surfaces of general type with pg = 0. They are homeomorphic but not diffeomorphic to a projective plane blown up in 8 points. The Hodge diamond for the Barlow surfaces is:

In Riemannian geometry, the sphere theorem, also known as the quarter-pinched sphere theorem, strongly restricts the topology of manifolds admitting metrics with a particular curvature bound. The precise statement of the theorem is as follows. If M is a complete, simply-connected, n-dimensional Riemannian manifold with sectional curvature taking values in the interval then M is homeomorphic to the n-sphere. Another way of stating the result is that if M is not homeomorphic to the sphere, then it is impossible to put a metric on M with quarter-pinched curvature.

In mathematics, real algebraic geometry is the study of real algebraic sets, i.e. real-number solutions to algebraic equations with real-number coefficients, and mappings between them.

In mathematics and specifically in topology, rational homotopy theory is a simplified version of homotopy theory for topological spaces, in which all torsion in the homotopy groups is ignored. It was founded by Dennis Sullivan (1977) and Daniel Quillen (1969). This simplification of homotopy theory makes calculations much easier.

In topology, an Akbulut cork is a structure that is frequently used to show that in four dimensions, the smooth h-cobordism theorem fails. It was named after Turkish mathematician Selman Akbulut.

References

arXiv online digital archive for electronic preprints of scientific papers

arXiv is a repository of electronic preprints approved for posting after moderation, but not full peer review. It consists of scientific papers in the fields of mathematics, physics, astronomy, electrical engineering, computer science, quantitative biology, statistics, mathematical finance and economics, which can be accessed online. In many fields of mathematics and physics, almost all scientific papers are self-archived on the arXiv repository. Begun on August 14, 1991, arXiv.org passed the half-million-article milestone on October 3, 2008, and had hit a million by the end of 2014. By October 2016 the submission rate had grown to more than 10,000 per month.

The bibcode is a compact identifier used by several astronomical data systems to uniquely specify literature references.

International Standard Book Number Unique numeric book identifier

The International Standard Book Number (ISBN) is a numeric commercial book identifier which is intended to be unique. Publishers purchase ISBNs from an affiliate of the International ISBN Agency.