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 ubiquitous in 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]   |
|
Hyperbolization Theorem
In geometry, Thurston's geometrization theorem or hyperbolization theorem implies that closed atoroidal Haken manifolds are hyperbolic, and in particular satisfy the Thurston conjecture. Statement One form of Thurston's geometrization theorem states: If ''M'' is a compact irreducible atoroidal Haken manifold whose boundary has zero Euler characteristic, then the interior of ''M'' has a complete hyperbolic structure of finite volume. The Mostow rigidity theorem implies that if a manifold of dimension at least 3 has a hyperbolic structure of finite volume, then it is essentially unique. The conditions that the manifold ''M'' should be irreducible and atoroidal are necessary, as hyperbolic manifolds have these properties. However the condition that the manifold be Haken is unnecessarily strong. Thurston's hyperbolization conjecture states that a closed irreducible atoroidal 3-manifold with infinite fundamental group is hyperbolic, and this follows from Perelman's proof of the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Topology (journal)
''Topology'' was a peer-reviewed mathematical journal covering topology and geometry. It was established in 1962 and was published by Elsevier. The last issue of ''Topology'' appeared in 2009. Pricing dispute On 10 August 2006, after months of unsuccessful negotiations with Elsevier about the price policy of library subscriptions, the entire editorial board of the journal handed in their resignation, effective 31 December 2006. Subsequently, two more issues appeared in 2007 with papers that had been accepted before the resignation of the editors. In early January the former editors instructed Elsevier to remove their names from the website of the journal, but Elsevier refused to comply, justifying their decision by saying that the editorial board should remain on the journal until all of the papers accepted during its tenure had been published. In 2007 the former editors of ''Topology'' announced the launch of the ''Journal of Topology'', published by Oxford University Press ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Princeton University Press
Princeton University Press is an independent publisher with close connections to Princeton University. Its mission is to disseminate scholarship within academia and society at large. The press was founded by Whitney Darrow, with the financial support of Charles Scribner, as a printing press to serve the Princeton community in 1905. Its distinctive building was constructed in 1911 on William Street in Princeton. Its first book was a new 1912 edition of John Witherspoon's ''Lectures on Moral Philosophy.'' History Princeton University Press was founded in 1905 by a recent Princeton graduate, Whitney Darrow, with financial support from another Princetonian, Charles Scribner II. Darrow and Scribner purchased the equipment and assumed the operations of two already existing local publishers, that of the ''Princeton Alumni Weekly'' and the Princeton Press. The new press printed both local newspapers, university documents, ''The Daily Princetonian'', and later added book publishing to it ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematische Zeitschrift .
''Mathematische Zeitschrift'' (German for ''Mathematical Journal'') is a mathematical journal for pure and applied mathematics published by Springer Verlag. It was founded in 1918 and edited by Leon Lichtenstein together with Konrad Knopp, Erhard Schmidt, and Issai Schur. Past editors include Erich Kamke, Friedrich Karl Schmidt, Rolf Nevanlinna, Helmut Wielandt, and Olivier Debarre Olivier Debarre (born 1959) is a French mathematician who specializes in complex algebraic geometry.Debarr ... External links * * Mathematics journals Publications established in 1918 {{math ...[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Acta Mathematica
''Acta Mathematica'' is a peer-reviewed open-access scientific journal covering research in all fields of mathematics. According to Cédric Villani, this journal is "considered by many to be the most prestigious of all mathematical research journals".. According to the ''Journal Citation Reports'', the journal has a 2020 impact factor of 4.273, ranking it 5th out of 330 journals in the category "Mathematics". Publication history The journal was established by Gösta Mittag-Leffler in 1882 and is published by Institut Mittag-Leffler, a research institute for mathematics belonging to the Royal Swedish Academy of Sciences. The journal was printed and distributed by Springer from 2006 to 2016. Since 2017, Acta Mathematica has been published electronically and in print by International Press. Its electronic version is open access without publishing fees. Poincaré episode The journal's "most famous episode" (according to Villani) concerns Henri Poincaré, who won a prize offered ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Manifold Decomposition
In topology, a branch of mathematics, a manifold ''M'' may be decomposed or split by writing ''M'' as a combination of smaller pieces. When doing so, one must specify both what those pieces are and how they are put together to form ''M''. Manifold decomposition works in two directions: one can start with the smaller pieces and build up a manifold, or start with a large manifold and decompose it. The latter has proven a very useful way to study manifolds: without tools like decomposition, it is sometimes very hard to understand a manifold. In particular, it has been useful in attempts to classify 3-manifolds and also in proving the higher-dimensional Poincaré conjecture. The table below is a summary of the various manifold-decomposition techniques. The column labeled "''M''" indicates what kind of manifold can be decomposed; the column labeled "How it is decomposed" indicates how, starting with a manifold, one can decompose it into smaller pieces; the column labeled "The pieces" in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Seifert Fiber Space
A Seifert fiber space is a 3-manifold together with a decomposition as a disjoint union of circles. In other words, it is a S^1-bundle (circle bundle) over a 2-dimensional orbifold. Many 3-manifolds are Seifert fiber spaces, and they account for all compact oriented manifolds in 6 of the 8 Thurston geometries of the geometrization conjecture. Definition A Seifert manifold is a closed 3-manifold together with a decomposition into a disjoint union of circles (called fibers) such that each fiber has a tubular neighborhood that forms a standard fibered torus. A standard fibered torus corresponding to a pair of coprime integers (a,b) with a>0 is the surface bundle of the automorphism of a disk given by rotation by an angle of 2\pi b/a (with the natural fibering by circles). If a=1 the middle fiber is called ordinary, while if a>1 the middle fiber is called exceptional. A compact Seifert fiber space has only a finite number of exceptional fibers. The set of fibers forms a 2-dimensio ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Link Complement
In mathematics, the knot complement of a tame knot ''K'' is the space where the knot is not. If a knot is embedded in the 3-sphere, then the complement is the 3-sphere minus the space near the knot. To make this precise, suppose that ''K'' is a knot in a three-manifold ''M'' (most often, ''M'' is the 3-sphere). Let ''N'' be a tubular neighborhood of ''K''; so ''N'' is a solid torus. The knot complement is then the complement of ''N'', :X_K = M - \mbox(N). The knot complement ''XK'' is a compact 3-manifold; the boundary of ''XK'' and the boundary of the neighborhood ''N'' are homeomorphic to a two-torus. Sometimes the ambient manifold ''M'' is understood to be 3-sphere. Context is needed to determine the usage. There are analogous definitions of link complement. Many knot invariants, such as the knot group, are really invariants of the complement of the knot. When the ambient space is the three-sphere no information is lost: the Gordon–Luecke theorem states that ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Surface Bundles Over The Circle
In mathematics, a surface bundle over the circle is a fiber bundle with base space a circle, and with fiber space a surface. Therefore the total space has dimension 2 + 1 = 3. In general, fiber bundles over the circle are a special case of mapping tori. Here is the construction: take the Cartesian product of a surface with the unit interval. Glue the two copies of the surface, on the boundary, by some homeomorphism. This homeomorphism is called the monodromy of the surface bundle. It is possible to show that the homeomorphism type of the bundle obtained depends only on the conjugacy class, in the mapping class group, of the gluing homeomorphism chosen. This construction is an important source of examples both in the field of low-dimensional topology as well as in geometric group theory. In the former we find that the geometry of the three-manifold is determined by the dynamics of the homeomorphism. This is the fibered part of William Thurston's geometrization theorem for Ha ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Betti Number
In algebraic topology, the Betti numbers are used to distinguish topological spaces based on the connectivity of ''n''-dimensional simplicial complexes. For the most reasonable finite-dimensional spaces (such as compact manifolds, finite simplicial complexes or CW complexes), the sequence of Betti numbers is 0 from some point onward (Betti numbers vanish above the dimension of a space), and they are all finite. The ''n''th Betti number represents the rank of the ''n''th homology group, denoted ''H''''n'', which tells us the maximum number of cuts that can be made before separating a surface into two pieces or 0-cycles, 1-cycles, etc. For example, if H_n(X) \cong 0 then b_n(X) = 0, if H_n(X) \cong \mathbb then b_n(X) = 1, if H_n(X) \cong \mathbb \oplus \mathbb then b_n(X) = 2, if H_n(X) \cong \mathbb \oplus \mathbb\oplus \mathbb then b_n(X) = 3, etc. Note that only the ranks of infinite groups are considered, so for example if H_n(X) \cong \mathbb^k \oplus \mathbb/(2) , where \mat ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mostow Rigidity
Mostow may refer to: People * George Mostow (1923–2017), American mathematician ** Mostow rigidity theorem * Jonathan Mostow Jonathan Mostow (born November 28, 1961) is an American film director, screenwriter, and producer. He has directed films such as ''Breakdown'', '' U-571'', '' Terminator 3: Rise of the Machines'', and '' Surrogates''. Early life Mostow was born ... (born 1961), American movie and television director Places * Mostów, a village in Poland {{disambiguation ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |