|
Hyperbolic Dehn Surgery
In mathematics, hyperbolic Dehn surgery is an operation by which one can obtain further hyperbolic 3-manifolds from a given cusped hyperbolic 3-manifold. Hyperbolic Dehn surgery exists only in dimension three and is one which distinguishes hyperbolic geometry in three dimensions from other dimensions. Such an operation is often also called hyperbolic Dehn filling, as Dehn surgery proper refers to a "drill and fill" operation on a link which consists of ''drilling'' out a neighborhood of the link and then ''filling'' back in with solid tori. Hyperbolic Dehn surgery actually only involves "filling". We will generally assume that a hyperbolic 3-manifold is complete. Suppose ''M'' is a cusped hyperbolic 3-manifold with ''n'' cusps. ''M'' can be thought of, topologically, as the interior of a compact manifold with toral boundary. Suppose we have chosen a meridian and longitude for each boundary torus, i.e. simple closed curves that are generators for the fundamental group of th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mikhail Gromov (mathematician)
Mikhael Leonidovich Gromov (also Mikhail Gromov, Michael Gromov or Misha Gromov; russian: link=no, Михаи́л Леони́дович Гро́мов; born 23 December 1943) is a Russian-French mathematician known for his work in geometry, analysis and group theory. He is a permanent member of IHÉS in France and a professor of mathematics at New York University. Gromov has won several prizes, including the Abel Prize in 2009 "for his revolutionary contributions to geometry". Biography Mikhail Gromov was born on 23 December 1943 in Boksitogorsk, Soviet Union. His Russian father Leonid Gromov and his Jewish mother Lea Rabinovitz were pathologists. His mother was the cousin of World Chess Champion Mikhail Botvinnik, as well as of the mathematician Isaak Moiseevich Rabinovich. Gromov was born during World War II, and his mother, who worked as a medical doctor in the Soviet Army, had to leave the front line in order to give birth to him. When Gromov was nine years old, his mother ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Marc Lackenby
Marc Lackenby is a professor of mathematics at the University of Oxford whose research concerns knot theory, low-dimensional topology, and group theory. Lackenby studied mathematics at the University of Cambridge beginning in 1990, and earned his Ph.D. in 1997, with a dissertation on ''Dehn Surgery and Unknotting Operations'' supervised by W. B. R. Lickorish. After positions as Miller Research Fellow at the University of California, Berkeley and as Research Fellow at Cambridge, he joined Oxford as a Lecturer and Fellow of St Catherine's in 1999. He was promoted to Professor at Oxford in 2006. Lackenby's research contributions include a proof of a strengthened version of the 2 theorem on sufficient conditions for Dehn surgery to produce a hyperbolic manifold, a bound on the hyperbolic volume of a knot complement of an alternating knot, and a proof that every diagram of the unknot can be transformed into a diagram without crossings by only a polynomial number of Reidemeister moves ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robion Kirby
Robion Cromwell Kirby (born February 25, 1938) is a Professor of Mathematics at the University of California, Berkeley who specializes in low-dimensional topology. Together with Laurent C. Siebenmann he invented the Kirby–Siebenmann invariant for classifying the piecewise linear structures on a topological manifold. He also proved the fundamental result on the Kirby calculus, a method for describing 3-manifolds and smooth 4-manifolds by surgery on framed links. Along with his significant mathematical contributions, he has over 50 doctoral students and his problem list. He received his Ph.D. from the University of Chicago in 1965. He soon became an assistant professor at UCLA. While there he developed his "torus trick" which enabled him to solve, in dimensions greater than four (with additional joint work with Siebenmann), four of John Milnor's seven most important problems in geometric topology. In 1971, he was awarded the Oswald Veblen Prize in Geometry by the American Ma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer-assisted Proof
A computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program. Attempts have also been made in the area of artificial intelligence research to create smaller, explicit, new proofs of mathematical theorems from the bottom up using automated reasoning techniques such as heuristic search. Such automated theorem provers have proved a number of new results and found new proofs for known theorems. Additionally, interactive proof assistants allow mathematicians to develop human-readable proofs which are nonetheless formally verified for correctness. Since these proofs ar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grigori Perelman
Grigori Yakovlevich Perelman ( rus, links=no, Григорий Яковлевич Перельман, p=ɡrʲɪˈɡorʲɪj ˈjakəvlʲɪvʲɪtɕ pʲɪrʲɪlʲˈman, a=Ru-Grigori Yakovlevich Perelman.oga; born 13 June 1966) is a Russian mathematician who is known for his contributions to the fields of geometric analysis, Riemannian geometry, and geometric topology. He is widely regarded as one of the greatest living mathematicians. In the 1990s, partly in collaboration with Yuri Burago, Mikhael Gromov, and Anton Petrunin, he made contributions to the study of Alexandrov spaces. In 1994, he proved the soul conjecture in Riemannian geometry, which had been an open problem for the previous 20 years. In 2002 and 2003, he developed new techniques in the analysis of Ricci flow, and proved the Poincaré conjecture and Thurston's geometrization conjecture, the former of which had been a famous open problem in mathematics for the past century. The full details of Perelman's work were fil ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometrization Conjecture
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 ( Euclidean, spherical, or hyperbolic). 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 , and implies several other conjectures, such as the Poincaré conjecture and Thurston's elliptization conjecture. Thurston's hyperbolization theorem implies that Haken manifolds satisfy the geometrization conjecture. Thurston announced a proof in the 1980s and since then sever ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cameron Gordon (mathematician)
Cameron Gordon (born 1945) 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. Andrew Casson and Gordon defined and proved basic theorems regarding strongly irreducible Heegaard splittings, an important concept in the modernization of Heegaard splitting theory. They also worked on the slice- ribbon conjecture, inventing the Casson-Gordon invariants in the process. Gordon was a 1999 Guggenheim Fellow. In 2005 Gordon was elected a Corresponding Fellow of the Royal Society of Edinburgh. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
(-2, 3, 7) Pretzel Knot
The hyphen-minus is the most commonly used type of hyphen, widely used in digital documents. It is the only character that looks like a minus sign or a dash in many character sets such as ASCII or on most keyboards, so it is also used as such. The name "hyphen-minus" derives from the original ASCII standard, where it was called "hyphen(minus)". The character is referred to as a "hyphen", a "minus sign", or a "dash" according to the context where it is being used. Description In early monospaced font typewriters and character encodings, a single key/code was almost always used for hyphen, minus, various dashes, and strikethrough, since they all have a roughly similar appearance. The current Unicode Standard specifies distinct characters for a number of different dashes, an unambiguous minus sign ("Unicode minus") at code point U+2212, and various types of hyphen including the unambiguous "Unicode hyphen" at U+2010 and the hyphen-minus at U+002D. When a hyphen is called for, the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Figure-eight Knot (mathematics)
Figure 8 (figure of 8 in British English) may refer to: * 8 (number), in Arabic numerals Entertainment * ''Figure 8'' (album), a 2000 album by Elliott Smith * "Figure of Eight" (song), a 1989 song by Paul McCartney * '' Figure Eight EP'', a 2008 EP by This Et Al * "Figure 8" (song), a 2012 song by Ellie Goulding from ''Halcyon'' * "Figure Eight", an episode and song from the children's educational series ''Schoolhouse Rock!'' * "Figure of Eight", song by Status Quo from ''In Search of the Fourth Chord'' * "Figure 8", a song by FKA Twigs from the EP ''M3LL155X'' Geography * Figure Eight Island, North Carolina, United States * Figure Eight Lake, Alberta, Canada * Figure-Eight Loops, feature of the Historic Columbia River Highway in Guy W. Talbot State Park Mathematics and sciences * Figure-eight knot (mathematics), in knot theory * ∞, symbol meaning infinity * Lemniscate, various types of mathematical curve that resembles a figure 8 * Figure 8, a two-lobed Lissajous c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ordinal Number
In set theory, an ordinal number, or ordinal, is a generalization of ordinal numerals (first, second, th, etc.) aimed to extend enumeration to infinite sets. A finite set can be enumerated by successively labeling each element with the least natural number that has not been previously used. To extend this process to various infinite sets, ordinal numbers are defined more generally as linearly ordered labels that include the natural numbers and have the property that every set of ordinals has a least element (this is needed for giving a meaning to "the least unused element"). This more general definition allows us to define an ordinal number \omega that is greater than every natural number, along with ordinal numbers \omega + 1, \omega + 2, etc., which are even greater than \omega. A linear order such that every subset has a least element is called a well-order. The axiom of choice implies that every set can be well-ordered, and given two well-ordered sets, one is isomorphic to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperbolic 3-manifold
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 (a Kleinian group). Hyperbolic 3–manifolds of finite volume have a particular importance in 3–dimensional topology as follows from Thurston's geometrisation conjecture proved by Perelman. The study of Kleinian groups is also an important topic in geometric group theory. Importance in topology Hyperbolic geometry is the most rich and least understood of the eight geometries in dimension 3 (for example, for all other geometries it is not hard to give an explicit enumeration of the finite-volume manifolds with this geometry, while this is far f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Marc Lackenby")
