|
Loop Theorem
In mathematics, in the topology of 3-manifolds, the loop theorem is a generalization of Dehn's lemma. The loop theorem was first proven by Christos Papakyriakopoulos in 1956, along with Dehn's lemma and the Sphere theorem. A simple and useful version of the loop theorem states that if for some 3-dimensional manifold ''M'' with boundary ''∂M'' there is a map :f\colon (D^2,\partial D^2)\to (M,\partial M) with f, \partial D^2 not nullhomotopic in \partial M, then there is an embedding with the same property. The following version of the loop theorem, due to John Stallings, is given in the standard 3-manifold treatises (such as Hempel or Jaco): Let M be a 3-manifold and let S be a connected surface in \partial M . Let N\subset \pi_1(S) be a normal subgroup such that \mathop{\mathrm{ker(\pi_1(S) \to \pi_1(M)) - N \neq \emptyset. Let :f \colon D^2\to M be a continuous map such that :f(\partial D^2)\subset S and : \partial D^2notin N. Then there exists an embedding :g\co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology
In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a set endowed with a structure, called a ''topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of continuity. Euclidean spaces, and, more generally, metric spaces are examples of a topological space, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and homotopies. A property that is invariant under such deformations is a topological property. Basic examples of topological properties are: the dimension, which allows distinguishing between a line and a surface; compactness, which allows distinguishing between a line and a circle; connectedne ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Haken Manifold
In mathematics, a Haken manifold is a compact, P²-irreducible 3-manifold that is sufficiently large, meaning that it contains a properly embedded two-sided incompressible surface. Sometimes one considers only orientable Haken manifolds, in which case a Haken manifold is a compact, orientable, irreducible 3-manifold that contains an orientable, incompressible surface. A 3-manifold finitely covered by a Haken manifold is said to be virtually Haken. The Virtually Haken conjecture asserts that every compact, irreducible 3-manifold with infinite fundamental group is virtually Haken. This conjecture was proven by Ian Agol. Haken manifolds were introduced by . proved that Haken manifolds have a hierarchy, where they can be split up into 3-balls along incompressible surfaces. Haken also showed that there was a finite procedure to find an incompressible surface if the 3-manifold had one. gave an algorithm to determine if a 3-manifold was Haken. Normal surfaces are ubiquitou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
3-manifolds
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. Introduction Definition A topological space ''X'' is a 3-manifold if it is a second-countable Hausdorff space and if every point in ''X'' has a neighbourhood that is homeomorphic to Euclidean 3-space. Mathematical theory of 3-manifolds The topological, piecewise-linear, and smooth categories are all equivalent in three dimensions, so little distinction is made in whether we are dealing with say, topological 3-manifolds, or smooth 3-manifolds. Phenomena in three dimensions can be strikingly different from phenomena in other dimensions, and so there is a prevalence of very specialized techniques that do not generalize to dimensions ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometric Topology
In mathematics, geometric topology is the study of manifolds and maps between them, particularly embeddings of one manifold into another. History Geometric topology as an area distinct from algebraic topology may be said to have originated in the 1935 classification of lens spaces by Reidemeister torsion, which required distinguishing spaces that are homotopy equivalent but not homeomorphic. This was the origin of ''simple'' homotopy theory. The use of the term geometric topology to describe these seems to have originated rather recently. Differences between low-dimensional and high-dimensional topology Manifolds differ radically in behavior in high and low dimension. High-dimensional topology refers to manifolds of dimension 5 and above, or in relative terms, embeddings in codimension 3 and above. Low-dimensional topology is concerned with questions in dimensions up to 4, or embeddings in codimension up to 2. Dimension 4 is special, in that in some respects (topo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyam Rubinstein
Joachim Hyam Rubinstein FAA (born 7 March 1948, in Melbourne) an Australian top mathematician specialising in low-dimensional topology; he is currently serving as an honorary professor in the Department of Mathematics and Statistics at the University of Melbourne, having retired in 2019. He has spoken and written widely on the state of the mathematical sciences in Australia, with particular focus on the impacts of reduced Government spending for university mathematics departments. Education In 1965, Rubinstein matriculated (i.e. graduated) from Melbourne High School in Melbourne, Australia winning the maximum of four exhibitions. In 1969, he graduated from Monash University in Melbourne, with a B.Sc.(Honours) degree in mathematics. In 1974, Rubinstein received his Ph.D. from the University of California, Berkeley under the advisership of John Stallings. His dissertation was on the topic of ''Isotopies of Incompressible Surfaces in Three Dimensional Manifolds''. Resear ... [...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] |
Klaus Johannson
Klaus is a German, Dutch and Scandinavian given name and surname. It originated as a short form of Nikolaus, a German form of the Greek given name Nicholas. Notable persons whose family name is Klaus * Billy Klaus (1928–2006), American baseball player * Chris Klaus (born 1973), American entrepreneur * Frank Klaus (1887–1948), German-American boxer, 1913 Middleweight Champion * Fred Klaus (born 1967), German footballer * Josef Klaus (1910–2001), Chancellor of Austria 1966–1970 *Karl Ernst Claus (1796–1864), Russian chemist *Václav Klaus (born 1941), Czech politician, former President of the Czech Republic * Walter K. Klaus (1912–2012), American politician and farmer Notable persons whose given name is Klaus * Brother Klaus, Swiss patron saint *Klaus Augenthaler (born 1957), German football player and manager *Klaus Badelt (born 1967), German composer *Klaus Barbie (1913–1991), German SS-Hauptsturmführer and Holocaust Perpetrator * Klaus Bargsten (1911–2000), ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Haken Hierarchy
In mathematics, a Haken manifold is a compact, P²-irreducible 3-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 ... that is sufficiently large, meaning that it contains a properly embedded 2-sided, two-sided incompressible surface. Sometimes one considers only orientable Haken manifolds, in which case a Haken manifold is a compact, orientable, irreducible 3-manifold that contains an orientable, incompressible surface. A 3-manifold finitely covered by a Haken manifold is said to be virtually Haken. The Virtually Haken conjecture asserts that every compact, irreducible 3-manifold with infinite fundamental group is virtually Haken. This conjecture was proven by Ian Agol. Haken manifolds were introduced by . proved that Haken manifolds have a hierarchy, where they can be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Friedhelm Waldhausen
Friedhelm Waldhausen (born 1938 in Millich, Hückelhoven, Rhine Province) is a German mathematician known for his work in algebraic topology. He made fundamental contributions in the fields of 3-manifolds and (algebraic) K-theory. Career Waldhausen studied mathematics at the universities of Göttingen, Munich and Bonn. He obtained his Ph.D. in 1966 from the University of Bonn; his advisor was Friedrich Hirzebruch and his thesis was entitled "Eine Klasse von 3-dimensionalen Mannigfaltigkeiten" (A class of 3-dimensional manifolds). After visits to Princeton University, the University of Illinois and the University of Michigan he moved in 1968 to the University of Kiel, where he completed his habilitation (qualified to assume a professorship). In 1969, he was appointed professor at the Ruhr University Bochum before in 1971 becoming a professor at Bielefeld University, an appointment he held until his retirement in 2004. Academic work His early work was mainly on the theory o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
3-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. Introduction Definition A topological space ''X'' is a 3-manifold if it is a second-countable Hausdorff space and if every point in ''X'' has a neighbourhood that is homeomorphic to Euclidean 3-space. Mathematical theory of 3-manifolds The topological, piecewise-linear, and smooth categories are all equivalent in three dimensions, so little distinction is made in whether we are dealing with say, topological 3-manifolds, or smooth 3-manifolds. Phenomena in three dimensions can be strikingly different from phenomena in other dimensions, and so there is a prevalence of very specialized techniques that do not generalize to dimension ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sphere Theorem (3-manifolds)
In mathematics, in the topology of 3-manifolds, the sphere theorem of gives conditions for elements of the second homotopy group of a 3-manifold to be represented by embedded spheres. One example is the following: Let M be an orientable 3-manifold such that \pi_2(M) is not the trivial group. Then there exists a non-zero element of \pi_2(M) having a representative that is an embedding S^2\to M. The proof of this version of the theorem can be based on transversality methods, see . Another more general version (also called the projective plane theorem, and due to David B. A. Epstein) is: Let M be any 3-manifold and N a \pi_1(M)- invariant subgroup of \pi_2(M). If f\colon S^2\to M is a general position map such that notin N and U is any neighborhood of the singular set \Sigma(f), then there is a map g\colon S^2\to M satisfying # notin N, #g(S^2)\subset f(S^2)\cup U, #g\colon S^2\to g(S^2) is a covering map, and #g(S^2) is a 2-sided submanifold (2-sphere or projective plane) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Normal Subgroup
In abstract algebra, a normal subgroup (also known as an invariant subgroup or self-conjugate subgroup) is a subgroup that is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup N of the group G is normal in G if and only if gng^ \in N for all g \in G and n \in N. The usual notation for this relation is N \triangleleft G. Normal subgroups are important because they (and only they) can be used to construct quotient groups of the given group. Furthermore, the normal subgroups of G are precisely the kernels of group homomorphisms with domain G, which means that they can be used to internally classify those homomorphisms. Évariste Galois was the first to realize the importance of the existence of normal subgroups. Definitions A subgroup N of a group G is called a normal subgroup of G if it is invariant under conjugation; that is, the conjugation of an element of N by an element of G is always in N. The usual notation for thi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Marc Lackenby")