Property P conjecture

Last updated

In geometric topology, 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

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.

In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, , equipped with a closed nondegenerate differential 2-form , called the symplectic form. The study of symplectic manifolds is called symplectic geometry or symplectic topology. Symplectic manifolds arise naturally in abstract formulations of classical mechanics and analytical mechanics as the cotangent bundles of manifolds. For example, in the Hamiltonian formulation of classical mechanics, which provides one of the major motivations for the field, the set of all possible configurations of a system is modeled as a manifold, and this manifold's cotangent bundle describes the phase space of the system.

<span class="mw-page-title-main">William Thurston</span> American mathematician (1946–2012)

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, and implies several other conjectures, such as the Poincaré conjecture and Thurston's elliptization conjecture.

<span class="mw-page-title-main">Ricci flow</span> Partial differential equation

In the mathematical fields of differential geometry and geometric analysis, the Ricci flow, sometimes also referred to as Hamilton's Ricci flow, is a certain partial differential equation for a Riemannian metric. It is often said to be analogous to the diffusion of heat and the heat equation, due to formal similarities in the mathematical structure of the equation. However, it is nonlinear and exhibits many phenomena not present in the study of the heat equation.

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 and close 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 symplectic 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.

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

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 and, as of 2023, a professor of mathematics at the University of Chicago. His research interests include geometry, dynamical systems, low-dimensional topology, and geometric group theory.

<span class="mw-page-title-main">Tim Cochran</span> American mathematician

Thomas "Tim" Daniel Cochran was a professor of mathematics at Rice University specializing in topology, especially low-dimensional topology, the theory of knots and links and associated algebra.

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

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

The Arnold conjecture, named after mathematician Vladimir Arnold, is a mathematical conjecture in the field of symplectic geometry, a branch of differential geometry.

The Conley conjecture, named after mathematician Charles Conley, is a mathematical conjecture in the field of symplectic geometry, a branch of differential geometry.

References