Hauptvermutung
   HOME
*





Hauptvermutung
The ''Hauptvermutung'' of geometric topology is a now refuted conjecture asking whether any two Triangulation (topology), triangulations of a triangulable space have subdivisions that are combinatorially equivalent, i.e. the subdivided triangulations are built up in the same combinatorial pattern. It was originally formulated as a conjecture in 1908 by Ernst Steinitz and Heinrich Franz Friedrich Tietze, but it is now known to be false. History The non-manifold version was disproved by John Milnor in 1961 using Analytic torsion, Reidemeister torsion. The manifold version is true in dimensions m\le 3. The cases m = 2 and 3 were mathematical proof, proved by Tibor Radó and Edwin E. Moise in the 1920s and 1950s, respectively. An obstruction to the manifold version was formulated by Andrew Casson and Dennis Sullivan in 1967–69 (originally in the simply-connected case), using the Rochlin invariant and the cohomology group H^3(M;\mathbb/2\mathbb). In dimension m \ge 5, a homeomorphi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Triangulation (topology)
In mathematics, triangulation describes the replacement of topological spaces by piecewise linear spaces, i.e. the choice of a homeomorphism in a suitable simplicial complex. Spaces being homeomorphic to a simplicial complex are called triangulable. Triangulation has various uses in different branches of mathematics, for instance in algebraic topology, in complex analysis or in modeling. Motivation On the one hand, it is sometimes useful to forget about superfluous information of topological spaces: The replacement of the original spaces with simplicial complexes may help to recognize crucial properties and to gain a better understanding of the considered object. On the other hand, simplicial complexes are objects of combinatorial character and therefore one can assign them quantities rising from their combinatorial pattern, for instance, the Euler characteristic. Triangulation allows now to assign such quantities to topological spaces. Investigations concerning the exist ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Triangulable Space
In mathematics, triangulation describes the replacement of topological spaces by piecewise linear spaces, i.e. the choice of a homeomorphism in a suitable simplicial complex. Spaces being homeomorphic to a simplicial complex are called triangulable. Triangulation has various uses in different branches of mathematics, for instance in algebraic topology, in complex analysis or in modeling. Motivation On the one hand, it is sometimes useful to forget about superfluous information of topological spaces: The replacement of the original spaces with simplicial complexes may help to recognize crucial properties and to gain a better understanding of the considered object. On the other hand, simplicial complexes are objects of combinatorial character and therefore one can assign them quantities rising from their combinatorial pattern, for instance, the Euler characteristic. Triangulation allows now to assign such quantities to topological spaces. Investigations concerning the exist ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Conjecture
In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis (still a conjecture) or Fermat's Last Theorem (a conjecture until proven in 1995 by Andrew Wiles), have shaped much of mathematical history as new areas of mathematics are developed in order to prove them. Important examples Fermat's Last Theorem In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) states that no three positive integers a, ''b'', and ''c'' can satisfy the equation ''a^n + b^n = c^n'' for any integer value of ''n'' greater than two. This theorem was first conjectured by Pierre de Fermat in 1637 in the margin of a copy of '' Arithmetica'', where he claimed that he had a proof that was too large to fit in the margin. The first successful proof was released in 1994 by Andrew Wiles, and formally published in 1995, after 358 years of effort by mathe ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

PL Structure
In mathematics, a piecewise linear (PL) manifold is a topological manifold together with a piecewise linear structure on it. Such a structure can be defined by means of an atlas, such that one can pass from chart to chart in it by piecewise linear functions. This is slightly stronger than the topological notion of a triangulation. An isomorphism of PL manifolds is called a PL homeomorphism. Relation to other categories of manifolds PL, or more precisely PDIFF, sits between DIFF (the category of smooth manifolds) and TOP (the category of topological manifolds): it is categorically "better behaved" than DIFF — for example, the Generalized Poincaré conjecture is true in PL (with the possible exception of dimension 4, where it is equivalent to DIFF), but is false generally in DIFF — but is "worse behaved" than TOP, as elaborated in surgery theory. Smooth manifolds Smooth manifolds have canonical PL structures — they are uniquely ''triangulizable,'' by Whitehead's the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


John Milnor
John Willard Milnor (born February 20, 1931) is an American mathematician known for his work in differential topology, algebraic K-theory and low-dimensional holomorphic dynamical systems. Milnor is a distinguished professor at Stony Brook University and one of the five mathematicians to have won the Fields Medal, the Wolf Prize, and the Abel Prize (the others being Serre, Thompson, Deligne, and Margulis.) Early life and career Milnor was born on February 20, 1931, in Orange, New Jersey. His father was J. Willard Milnor and his mother was Emily Cox Milnor. As an undergraduate at Princeton University he was named a Putnam Fellow in 1949 and 1950 and also proved the Fáry–Milnor theorem when he was only 19 years old. Milnor graduated with an A.B. in mathematics in 1951 after completing a senior thesis, titled "Link groups", under the supervision of Robert H. Fox. He remained at Princeton to pursue graduate studies and received his Ph.D. in mathematics in 1954 after completi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Piecewise Linear Manifold
In mathematics, a piecewise linear (PL) manifold is a topological manifold together with a piecewise linear structure on it. Such a structure can be defined by means of an atlas, such that one can pass from chart to chart in it by piecewise linear functions. This is slightly stronger than the topological notion of a triangulation. An isomorphism of PL manifolds is called a PL homeomorphism. Relation to other categories of manifolds PL, or more precisely PDIFF, sits between DIFF (the category of smooth manifolds) and TOP (the category of topological manifolds): it is categorically "better behaved" than DIFF — for example, the Generalized Poincaré conjecture is true in PL (with the possible exception of dimension 4, where it is equivalent to DIFF), but is false generally in DIFF — but is "worse behaved" than TOP, as elaborated in surgery theory. Smooth manifolds Smooth manifolds have canonical PL structures — they are uniquely ''triangulizable,'' by Whitehead's theorem ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Andrew Casson
Andrew John Casson FRS (born 1943) is a mathematician, studying geometric topology. Casson is the Philip Schuyler Beebe Professor of Mathematics at Yale University. Education and Career Casson was educated at Latymer Upper School and Trinity College, Cambridge, where he graduated with a BA in the Mathematical Tripos in 1965.'University News: Cambridge Tripos Results', ''Times'', 21 June 1965. His doctoral advisor at the University of Liverpool was C. T. C. Wall, but he never completed his doctorate; instead what would have been his Ph.D. thesis became his fellowship dissertation as a research fellow at Trinity College. Casson was Professor of Mathematics at the University of Texas at Austin between 1981 and 1986, at the University of California, Berkeley, from 1986 to 2000, and has been at Yale since 2000. Work Casson has worked in both high-dimensional manifold topology and 3- and 4-dimensional topology, using both geometric and algebraic techniques. Among other discoveries, h ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Heinrich Franz Friedrich Tietze
Heinrich Franz Friedrich Tietze (August 31, 1880 – February 17, 1964) was an Austrian mathematician, famous for the Tietze extension theorem on functions from topological spaces to the real numbers. He also developed the Tietze transformations for group presentations, and was the first to pose the group isomorphism problem. Tietze's graph is also named after him; it describes the boundaries of a subdivision of the Möbius strip into six mutually-adjacent regions, found by Tietze as part of an extension of the four color theorem to non-orientable surfaces. Education and career Tietze was the son of Emil Tietze and the grandson of Franz Ritter von Hauer, both of whom were Austrian geologists. He was born in Schleinz, Austria-Hungary, and studied mathematics at the Technische Hochschule in Vienna beginning in 1898. After additional studies in Munich, he returned to Vienna, completing his doctorate in 1904 and his habilitation in 1908. From 1910 until 1918 Tietze ta ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Combinatorial Topology
In mathematics, combinatorial topology was an older name for algebraic topology, dating from the time when topological invariants of spaces (for example the Betti numbers) were regarded as derived from combinatorial decompositions of spaces, such as decomposition into simplicial complexes. After the proof of the simplicial approximation theorem this approach provided rigour. The change of name reflected the move to organise topological classes such as cycles-modulo-boundaries explicitly into abelian groups. This point of view is often attributed to Emmy Noether, and so the change of title may reflect her influence. The transition is also attributed to the work of Heinz Hopf, who was influenced by Noether, and to Leopold Vietoris and Walther Mayer, who independently defined homology. A fairly precise date can be supplied in the internal notes of the Bourbaki group. While topology was still ''combinatorial'' in 1942, it had become ''algebraic'' by 1944. This corresponds also to the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Ernst Steinitz
Ernst Steinitz (13 June 1871 – 29 September 1928) was a German mathematician. Biography Steinitz was born in Laurahütte (Siemianowice Śląskie), Silesia, Germany (now in Poland), the son of Sigismund Steinitz, a Jewish coal merchant, and his wife Auguste Cohen; he had two brothers. He studied at the University of Breslau and the University of Berlin, receiving his Ph.D. from Breslau in 1894. Subsequently, he took positions at Charlottenburg (now the Technical University of Berlin), Breslau, and the University of Kiel, Germany, where he died in 1928. Steinitz married Martha Steinitz and had one son. Mathematical works Steinitz's 1894 thesis was on the subject of projective configurations; it contained the result that any abstract description of an incidence structure of three lines per point and three points per line could be realized as a configuration of straight lines in the Euclidean plane with the possible exception of one of the lines. His thesis also contains the p ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Tibor Radó
Tibor Radó (June 2, 1895 – December 29, 1965) was a Hungarian mathematician who moved to the United States after World War I. Biography Radó was born in Budapest and between 1913 and 1915 attended the Polytechnic Institute, studying civil engineering. In World War I, he became a First Lieutenant in the Hungarian Army and was captured on the Russian Front. He escaped from a Siberian prisoner camp and, traveling thousands of miles across Arctic wasteland, managed to return to Hungary. He received a doctorate from the Franz Joseph University in 1923. He taught briefly at the university and then became a research fellow in Germany for the Rockefeller Foundation. In 1929, he moved to the United States and lectured at Harvard University and the Rice Institute before obtaining a faculty position in the Department of Mathematics at Ohio State University in 1930. In 1935 he was granted American citizenship. In World War II he was a science consultant to the United Sta ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Dennis Sullivan
Dennis Parnell Sullivan (born February 12, 1941) is an American mathematician known for his work in algebraic topology, geometric topology, and dynamical systems. He holds the Albert Einstein Chair at the City University of New York Graduate Center and is a distinguished professor at Stony Brook University. Sullivan was awarded the Wolf Prize in Mathematics in 2010 and the Abel Prize in 2022. Early life and education Sullivan was born in Port Huron, Michigan, on February 12, 1941.. His family moved to Houston soon afterwards. He entered Rice University to study chemical engineering but switched his major to mathematics in his second year after encountering a particularly motivating mathematical theorem. The change was prompted by a special case of the uniformization theorem, according to which, in his own words: He received his Bachelor of Arts degree from Rice in 1963. He obtained his Doctor of Philosophy from Princeton University in 1966 with his thesis, ''Triangulating h ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]