Property P conjecture

Last updated

In mathematics, the Property P conjecture is a statement about 3-manifolds obtained by Dehn surgery on a knot in the 3-sphere. A knot in the 3-sphere is said to have Property P if every 3-manifold obtained by performing (non-trivial) Dehn surgery on the knot is not simply-connected. The conjecture states that all knots, except the unknot, have Property P.

Contents

Research on Property P was started by R. H. Bing, who popularized the name and conjecture.

This conjecture can be thought of as a first step to resolving the Poincaré conjecture, since the Lickorish–Wallace theorem says any closed, orientable 3-manifold results from Dehn surgery on a link. If a knot has Property P, then one cannot construct a counterexample to the Poincaré conjecture by surgery along .

A proof was announced in 2004, as the combined result of efforts of mathematicians working in several different fields.

Algebraic Formulation

Let denote elements corresponding to a preferred longitude and meridian of a tubular neighborhood of .

has Property P if and only if its Knot group is never trivialised by adjoining a relation of the form for some .

See also

Related Research Articles

<span class="mw-page-title-main">Differential topology</span> Branch of mathematics

In mathematics, differential topology is the field dealing with the topological properties and smooth properties of smooth manifolds. In this sense differential topology is distinct from the closely related field of differential geometry, which concerns the geometric properties of smooth manifolds, including notions of size, distance, and rigid shape. By comparison differential topology is concerned with coarser properties, such as the number of holes in a manifold, its homotopy type, or the structure of its diffeomorphism group. Because many of these coarser properties may be captured algebraically, differential topology has strong links to algebraic topology.

In the mathematical field of geometric topology, the Poincaré conjecture is a theorem about the characterization of the 3-sphere, which is the hypersphere that bounds the unit ball in four-dimensional space.

<span class="mw-page-title-main">William Thurston</span> American mathematician

William Paul Thurston was an American mathematician. He was a pioneer in the field of low-dimensional topology and was awarded the Fields Medal in 1982 for his contributions to the study of 3-manifolds.

In mathematics, Thurston's geometrization conjecture states that each of certain three-dimensional topological spaces has a unique geometric structure that can be associated with it. It is an analogue of the uniformization theorem for two-dimensional surfaces, which states that every simply connected Riemann surface can be given one of three geometries . In three dimensions, it is not always possible to assign a single geometry to a whole topological space. Instead, the geometrization conjecture states that every closed 3-manifold can be decomposed in a canonical way into pieces that each have one of eight types of geometric structure. The conjecture was proposed by William Thurston (1982), and implies several other conjectures, such as the Poincaré conjecture and Thurston's elliptization conjecture.

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

<span class="mw-page-title-main">3-manifold</span> Mathematical space

In mathematics, a 3-manifold is a topological space that locally looks like a three-dimensional Euclidean 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 mathematics, more precisely in topology and differential geometry, a hyperbolic 3–manifold is a manifold of dimension 3 equipped with a hyperbolic metric, that is a Riemannian metric which has all its sectional curvatures equal to -1. It is generally required that this metric be also complete: in this case the manifold can be realised as a quotient of the 3-dimensional hyperbolic space by a discrete group of isometries.

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, Floer homology is a tool for studying symplectic geometry and low-dimensional topology. Floer homology is a novel invariant that arises as an infinite-dimensional analogue of finite-dimensional Morse homology. Andreas Floer introduced the first version of Floer homology, now called Lagrangian Floer homology, in his proof of the Arnold conjecture in symplectic geometry. Floer also developed a closely related theory for Lagrangian submanifolds of a symplectic manifold. A third construction, also due to Floer, associates homology groups to closed three-dimensional manifolds using the Yang–Mills functional. These constructions and their descendants play a fundamental role in current investigations into the topology of symplectic and contact manifolds as well as (smooth) three- and four-dimensional manifolds.

In mathematics, the Weinstein conjecture refers to a general existence problem for periodic orbits of Hamiltonian or Reeb vector flows. More specifically, the conjecture claims that on a compact contact manifold, its Reeb vector field should carry at least one periodic orbit.

<span class="mw-page-title-main">Clifford Taubes</span> American mathematician

Clifford Henry Taubes is the William Petschek Professor of Mathematics at Harvard University and works in gauge field theory, differential geometry, and low-dimensional topology. His brother is the journalist Gary Taubes.

In mathematics, a Legendrian knot often refers to a smooth embedding of the circle into , which is tangent to the standard contact structure on . It is the lowest-dimensional case of a Legendrian submanifold, which is an embedding of a k-dimensional manifold into a (2k+1)-dimensional contact manifold that is always tangent to the contact hyperplane.

<span class="mw-page-title-main">Ribbon knot</span>

In the mathematical area of knot theory, a ribbon knot is a knot that bounds a self-intersecting disk with only ribbon singularities. Intuitively, this kind of singularity can be formed by cutting a slit in the disk and passing another part of the disk through the slit. More precisely, this type of singularity is a closed arc consisting of intersection points of the disk with itself, such that the preimage of this arc consists of two arcs in the disc, one completely in the interior of the disk and the other having its two endpoints on the disk boundary.

In mathematics, more precisely in group theory and hyperbolic geometry, Arithmetic Kleinian groups are a special class of Kleinian groups constructed using orders in quaternion algebras. They are particular instances of arithmetic groups. An arithmetic hyperbolic three-manifold is the quotient of hyperbolic space by an arithmetic Kleinian group.

<span class="mw-page-title-main">Tomasz Mrowka</span> American mathematician

Tomasz Mrowka is an American mathematician specializing in differential geometry and gauge theory. He is the Singer Professor of Mathematics and former head of the Department of Mathematics at the Massachusetts Institute of Technology.

<span class="mw-page-title-main">Danny Calegari</span> American mathematician

Danny Matthew Cornelius Calegari is a mathematician who is currently a professor of mathematics at the University of Chicago. His research interests include geometry, dynamical systems, low-dimensional topology, and geometric group theory.

In mathematics, and more precisely in topology, the mapping class group of a surface, sometimes called the modular group or Teichmüller modular group, is the group of homeomorphisms of the surface viewed up to continuous deformation. It is of fundamental importance for the study of 3-manifolds via their embedded surfaces and is also studied in algebraic geometry in relation to moduli problems for curves.

In algebraic geometry, the Chow group of a stack is a generalization of the Chow group of a variety or scheme to stacks. For a quotient stack , the Chow group of X is the same as the G-equivariant Chow group of Y.

Ronald Alan Fintushel is an American mathematician, specializing in low-dimensional geometric topology and the mathematics of gauge theory.

<span class="mw-page-title-main">Denis Auroux</span> French mathematician

Denis Auroux is a French mathematician working in geometry and topology.

References