![]() | This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations .(February 2012) |
A lens space is an example of a topological space, considered in mathematics. The term often refers to a specific class of 3-manifolds, but in general can be defined for higher dimensions.
In the 3-manifold case, a lens space can be visualized as the result of gluing two solid tori together by a homeomorphism of their boundaries. Often the 3-sphere and , both of which can be obtained as above, are not counted as they are considered trivial special cases.
The three-dimensional lens spaces were introduced by Heinrich Tietze in 1908. They were the first known examples of 3-manifolds which were not determined by their homology and fundamental group alone, and the simplest examples of closed manifolds whose homeomorphism type is not determined by their homotopy type. J. W. Alexander in 1919 showed that the lens spaces and were not homeomorphic even though they have isomorphic fundamental groups and the same homology, though they do not have the same homotopy type. Other lens spaces (such as and ) have even the same homotopy type (and thus isomorphic fundamental groups and homology), but not the same homeomorphism type; they can thus be seen as the birth of geometric topology of manifolds as distinct from algebraic topology.
There is a complete classification of three-dimensional lens spaces, by fundamental group and Reidemeister torsion.
The three-dimensional lens spaces are quotients of by -actions. More precisely, let and be coprime integers and consider as the unit sphere in . Then the -action on generated by the homeomorphism
is free. The resulting quotient space is called the lens space.
This can be generalized to higher dimensions as follows: Let be integers such that the are coprime to and consider as the unit sphere in . The lens space is the quotient of by the free -action generated by
In three dimensions we have
The fundamental group of all the lens spaces is independent of the .
Lens spaces are locally symmetric spaces, but not (fully) symmetric, with the exception of which is symmetric. (Locally symmetric spaces are symmetric spaces that are quotiented by an isometry that has no fixed points; lens spaces meet this definition.)
The three dimensional lens space is often defined to be a solid ball with the following identification: first mark p equally spaced points on the equator of the solid ball, denote them to , then on the boundary of the ball, draw geodesic lines connecting the points to the north and south pole. Now identify spherical triangles by identifying the north pole to the south pole and the points with and with . The resulting space is homeomorphic to the lens space .
Another related definition is to view the solid ball as the following solid bipyramid: construct a planar regular p sided polygon. Put two points n and s directly above and below the center of the polygon. Construct the bipyramid by joining each point of the regular p sided polygon to n and s. Fill in the bipyramid to make it solid and give the triangles on the boundary the same identification as above.
Classifications up to homeomorphism and homotopy equivalence are known, as follows. The three-dimensional spaces and are:
If as in case 2., they are "obviously" homeomorphic, as one can easily produce a homeomorphism. It is harder to show that these are the only homeomorphic lens spaces.
The invariant that gives the homotopy classification of 3-dimensional lens spaces is the torsion linking form.
The homeomorphism classification is more subtle, and is given by Reidemeister torsion. This was given in ( Reidemeister 1935 ) as a classification up to PL homeomorphism, but it was shown in ( Brody 1960 ) to be a homeomorphism classification. In modern terms, lens spaces are determined by simple homotopy type, and there are no normal invariants (like characteristic classes) or surgery obstruction.
A knot-theoretic classification is given in ( Przytycki & Yasukhara 2003 ): let C be a closed curve in the lens space which lifts to a knot in the universal cover of the lens space. If the lifted knot has a trivial Alexander polynomial, compute the torsion linking form on the pair (C,C) – then this gives the homeomorphism classification.
Another invariant is the homotopy type of the configuration spaces – ( Salvatore & Longoni 2005 ) showed that homotopy equivalent but not homeomorphic lens spaces may have configuration spaces with different homotopy types, which can be detected by different Massey products.
In mathematics, a diffeomorphism is an isomorphism of differentiable manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are continuously differentiable.
In mathematics and more specifically in topology, a homeomorphism, also called topological isomorphism, or bicontinuous function, is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same.
In geometry, a torus is a surface of revolution generated by revolving a circle in three-dimensional space one full revolution about an axis that is coplanar with the circle. The main types of toruses include ring toruses, horn toruses, and spindle toruses. A ring torus is sometimes colloquially referred to as a donut or doughnut.
In topology, a covering or covering projection is a map between topological spaces that, intuitively, locally acts like a projection of multiple copies of a space onto itself. In particular, coverings are special types of local homeomorphisms. If is a covering, is said to be a covering space or cover of , and is said to be the base of the covering, or simply the base. By abuse of terminology, and may sometimes be called covering spaces as well. Since coverings are local homeomorphisms, a covering space is a special kind of étale space.
In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, denoted which records information about loops in a space. Intuitively, homotopy groups record information about the basic shape, or holes, of a topological space.
In mathematics, cobordism is a fundamental equivalence relation on the class of compact manifolds of the same dimension, set up using the concept of the boundary of a manifold. Two manifolds of the same dimension are cobordant if their disjoint union is the boundary of a compact manifold one dimension higher.
In mathematics, geometric topology is the study of manifolds and maps between them, particularly embeddings of one manifold into another.
In mathematics, complex projective space is the projective space with respect to the field of complex numbers. By analogy, whereas the points of a real projective space label the lines through the origin of a real Euclidean space, the points of a complex projective space label the complex lines through the origin of a complex Euclidean space (see below for an intuitive account). Formally, a complex projective space is the space of complex lines through the origin of an (n+1)-dimensional complex vector space. The space is denoted variously as P(Cn+1), Pn(C) or CPn. When n = 1, the complex projective space CP1 is the Riemann sphere, and when n = 2, CP2 is the complex projective plane (see there for a more elementary discussion).
In mathematics, real projective space, denoted or is the topological space of lines passing through the origin 0 in the real space It is a compact, smooth manifold of dimension n, and is a special case of a Grassmannian space.
In mathematics, the Whitehead manifold is an open 3-manifold that is contractible, but not homeomorphic to J. H. C. Whitehead discovered this puzzling object while he was trying to prove the Poincaré conjecture, correcting an error in an earlier paper Whitehead where he incorrectly claimed that no such manifold exists.
In mathematics, a spherical 3-manifoldM is a 3-manifold of the form
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, triangulation describes the replacement of topological spaces by piecewise linear spaces, i.e. the choice of a homeomorphism in a suitable simplicial complex. Spaces being homeomorphic to a simplicial complex are called triangulable. Triangulation has various uses in different branches of mathematics, for instance in algebraic topology, in complex analysis or in modeling.
In topology, a branch of mathematics, a topological manifold is a topological space that locally resembles real n-dimensional Euclidean space. Topological manifolds are an important class of topological spaces, with applications throughout mathematics. All manifolds are topological manifolds by definition. Other types of manifolds are formed by adding structure to a topological manifold. Every manifold has an "underlying" topological manifold, obtained by simply "forgetting" the added structure. However, not every topological manifold can be endowed with a particular additional structure. For example, the E8 manifold is a topological manifold which cannot be endowed with a differentiable structure.
The Hauptvermutung of geometric topology is a now refuted conjecture asking whether any two triangulations of a triangulable space have subdivisions that are combinatorially equivalent, i.e. the subdivided triangulations are built up in the same combinatorial pattern. It was originally formulated as a conjecture in 1908 by Ernst Steinitz and Heinrich Franz Friedrich Tietze, but it is now known to be false.
In mathematics, a Hilbert manifold is a manifold modeled on Hilbert spaces. Thus it is a separable Hausdorff space in which each point has a neighbourhood homeomorphic to an infinite dimensional Hilbert space. The concept of a Hilbert manifold provides a possibility of extending the theory of manifolds to infinite-dimensional setting. Analogous to the finite-dimensional situation, one can define a differentiable Hilbert manifold by considering a maximal atlas in which the transition maps are differentiable.
In mathematics, quaternionic projective space is an extension of the ideas of real projective space and complex projective space, to the case where coordinates lie in the ring of quaternions Quaternionic projective space of dimension n is usually denoted by
In mathematics, specifically geometric topology, the Borel conjecture asserts that an aspherical closed manifold is determined by its fundamental group, up to homeomorphism. It is a rigidity conjecture, asserting that a weak, algebraic notion of equivalence should imply a stronger, topological notion.
In mathematics, Reidemeister torsion is a topological invariant of manifolds introduced by Kurt Reidemeister for 3-manifolds and generalized to higher dimensions by Wolfgang Franz and Georges de Rham . Analytic torsion is an invariant of Riemannian manifolds defined by Daniel B. Ray and Isadore M. Singer as an analytic analogue of Reidemeister torsion. Jeff Cheeger and Werner Müller proved Ray and Singer's conjecture that Reidemeister torsion and analytic torsion are the same for compact Riemannian manifolds.
This is a glossary of properties and concepts in algebraic topology in mathematics.