Berge knot

Last updated

In the mathematical theory of knots, a Berge knot (named after mathematician John Berge) or doubly primitive knot is any member of a particular family of knots in the 3-sphere. A Berge knot K is defined by the conditions:

Knot theory study of mathematical knots

In topology, knot theory is the study of mathematical knots. While inspired by knots which appear in daily life, such as those in shoelaces and rope, a mathematical knot differs in that the ends are joined together so that it cannot be undone, the simplest knot being a ring. In mathematical language, a knot is an embedding of a circle in 3-dimensional Euclidean space, R3. Two mathematical knots are equivalent if one can be transformed into the other via a deformation of R3 upon itself ; these transformations correspond to manipulations of a knotted string that do not involve cutting the string or passing the string through itself.

Knot (mathematics) embedding of a circle in R³

In mathematics, a knot is an embedding of a circle S1 in 3-dimensional Euclidean space, R3, considered up to continuous deformations (isotopies). A crucial difference between the standard mathematical and conventional notions of a knot is that mathematical knots are closed—there are no ends to tie or untie on a mathematical knot. Physical properties such as friction and thickness also do not apply, although there are mathematical definitions of a knot that take such properties into account. The term knot is also applied to embeddings of Sj in Sn, especially in the case j = n − 2. The branch of mathematics that studies knots is known as knot theory, and has many simple relations to graph theory.

3-sphere Mathematical object

In mathematics, a 3-sphere, or glome, is a higher-dimensional analogue of a sphere. It may be embedded in 4-dimensional Euclidean space as the set of points equidistant from a fixed central point. Analogously to how the boundary of a ball in three dimensions is an ordinary sphere, the boundary of a ball in four dimensions is a 3-sphere. A 3-sphere is an example of a 3-manifold.

Contents

  1. K lies on a genus two Heegaard surface S
  2. in each handlebody bound by S, K meets some meridian disc exactly once.

John Berge constructed these knots as a way of creating knots with lens space surgeries and classified all the Berge knots. Cameron Gordon conjectured these were the only knots admitting lens space surgeries. This is now known as the Berge conjecture.

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 topology, a branch of mathematics, a Dehn surgery, named after Max Dehn, is a construction used to modify 3-manifolds. The process takes as input a 3-manifold together with a link. It is often conceptualized as two steps: drilling then filling.

Cameron Gordon (mathematician) American mathematician

Cameron Gordon is a Professor and Sid W. Richardson Foundation Regents Chair in the Department of mathematics at the University of Texas at Austin, known for his work in knot theory. Among his notable results is his work with Marc Culler, John Luecke, and Peter Shalen on the cyclic surgery theorem. This was an important ingredient in his work with Luecke showing that knots were determined by their complement. Gordon was also involved in the resolution of the Smith conjecture.

Berge conjecture

The Berge conjecture states that the only knots in the 3-sphere which admit lens space surgeries are Berge knots. The conjecture (and family of Berge knots) is named after John Berge.

Progress on the conjecture has been slow. Recently Yi Ni proved that if a knot admits a lens space surgery, then it is fibered. Subsequently, Joshua Greene showed that the lens spaces which are realized by surgery on a knot in the 3-sphere are precisely the lens spaces arising from surgery along the Berge knots.

Fibered knot

In knot theory, a branch of mathematics, a knot or link in the 3-dimensional sphere is called fibered or fibred if there is a 1-parameter family of Seifert surfaces for , where the parameter runs through the points of the unit circle , such that if is not equal to then the intersection of and is exactly .

Further reading

Knots

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.

Digital object identifier Character string used as a permanent identifier for a digital object, in a format controlled by the International DOI Foundation

In computing, a Digital Object Identifier or DOI is a persistent identifier or handle used to uniquely identify objects, standardized by the International Organization for Standardization (ISO). An implementation of the Handle System, DOIs are in wide use mainly to identify academic, professional, and government information, such as journal articles, research reports and data sets, and official publications though they also have been used to identify other types of information resources, such as commercial videos.

Mathematical Reviews is a journal published by the American Mathematical Society (AMS) that contains brief synopses, and in some cases evaluations, of many articles in mathematics, statistics, and theoretical computer science. The AMS also publishes an associated online bibliographic database called MathSciNet which contains an electronic version of Mathematical Reviews and additionally contains citation information for over 3.5 million items as of 2018.

Conjecture

<i>Inventiones Mathematicae</i> mathematical journal

Inventiones Mathematicae is a mathematical journal published monthly by Springer Science+Business Media. It was established in 1966 and is regarded as one of the most prestigious mathematics journals in the world. As of 2016, the managing editors are Helmut Hofer and Jean-Benoît Bost.

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

The Annals of Mathematics is a bimonthly mathematical journal published by Princeton University and the Institute for Advanced Study.

Two blog posts in the weblog "Low Dimensional Topology - Recent Progress and Open Problems" related to the Berge conjecture:

The Berge conjecture, by Jesse Johnson
Knot complements covering knot complements by Ken Baker

Related Research Articles

The Kepler conjecture, named after the 17th-century mathematician and astronomer Johannes Kepler, is a mathematical theorem about sphere packing in three-dimensional Euclidean space. It states that no arrangement of equally sized spheres filling space has a greater average density than that of the cubic close packing and hexagonal close packing arrangements. The density of these arrangements is around 74.05%.

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,

Geometric topology

In mathematics, geometric topology is the study of manifolds and maps between them, particularly embeddings of one manifold into another.

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.

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 mathematics, the Alexander polynomial is a knot invariant which assigns a polynomial with integer coefficients to each knot type. James Waddell Alexander II discovered this, the first knot polynomial, in 1923. In 1969, John Conway showed a version of this polynomial, now called the Alexander–Conway polynomial, could be computed using a skein relation, although its significance was not realized until the discovery of the Jones polynomial in 1984. Soon after Conway's reworking of the Alexander polynomial, it was realized that a similar skein relation was exhibited in Alexander's paper on his polynomial.

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.

In mathematics, Khovanov homology is an oriented link invariant that arises as the homology of a chain complex. It may be regarded as a categorification of the Jones polynomial.

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 analog of finite-dimensional Morse homology. Andreas Floer introduced the first version of Floer homology, now called Hamiltonian 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.

Ciprian Manolescu Romanian mathematician

Ciprian Manolescu is a Romanian-American mathematician, working in gauge theory, symplectic geometry, and low-dimensional topology. He is currently a Professor of Mathematics at the University of California, Los Angeles.

Francisco Javier González-Acuña is a mathematician in the UNAM's institute of mathematics and CIMAT, specializing in low-dimensional topology.

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.

Unknotting problem

In mathematics, the unknotting problem is the problem of algorithmically recognizing the unknot, given some representation of a knot, e.g., a knot diagram. There are several types of unknotting algorithms. A major unresolved challenge is to determine if the problem admits a polynomial time algorithm; that is, whether the problem lies in the complexity class P.

Clifford Taubes 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, Gary Taubes, is a science writer.

In knot theory, the self-linking number is an invariant of framed knots. It is related to the linking number of curves.

Stick number

In the mathematical theory of knots, the stick number is a knot invariant that intuitively gives the smallest number of straight "sticks" stuck end to end needed to form a knot. Specifically, given any knot K, the stick number of K, denoted by stick(K), is the smallest number of edges of a polygonal path equivalent to K.

In mathematics, especially in the area of topology known as knot theory, an invertible knot is a knot that can be continuously deformed to itself, but with its orientation reversed. A non-invertible knot is any knot which does not have this property. The invertibility of a knot is a knot invariant. An invertible link is the link equivalent of an invertible knot.

Crossing number (knot theory) integer-valued knot invariant; least number of crossings in a knot diagram

In the mathematical area of knot theory, the crossing number of a knot is the smallest number of crossings of any diagram of the knot. It is a knot invariant.

Danny M. C. Calegari is an Australian-American mathematician who is currently a Professor at the University of Chicago. His research interests include geometry, dynamical systems, low-dimensional topology, and geometric group theory. Calegari was one of the recipients of the 2009 Clay Research Award for his solution to the Marden Tameness Conjecture and the Ahlfors Measure Conjecture.

In mathematics, the Fontaine–Mazur conjectures are some conjectures introduced by Fontaine and Mazur (1995) about when p-adic representations of Galois groups of number fields can be constructed from representations on étale cohomology groups of a varieties. Some cases of this conjecture in dimension 2 were already proved by Dieulefait (2004).