|
Borel Conjecture
In mathematics, specifically geometric topology, the Borel conjecture (named for Armand Borel) asserts that an aspherical closed manifold is determined by its fundamental group, up to homeomorphism. It is a rigidity conjecture, asserting that a weak, algebraic notion of equivalence (namely, homotopy equivalence) should imply a stronger, topological notion (namely, homeomorphism). Precise formulation of the conjecture Let M and N be closed and aspherical topological manifolds, and let :f \colon M \to N be a homotopy equivalence. The Borel conjecture states that the map f is homotopic to a homeomorphism. Since aspherical manifolds with isomorphic fundamental groups are homotopy equivalent, the Borel conjecture implies that aspherical closed manifolds are determined, up to homeomorphism, by their fundamental groups. This conjecture is false if topological manifolds and homeomorphisms are replaced by smooth manifolds and diffeomorphisms; counterexamples can be constructed by t ... [...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] |
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] |
Conjectures
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] |
Homeomorphisms
In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same. The word ''homeomorphism'' comes from the Greek words '' ὅμοιος'' (''homoios'') = similar or same and '' μορφή'' (''morphē'') = shape or form, introduced to mathematics by Henri Poincaré in 1895. Very roughly speaking, a topological space is a geometric object, and the homeomorphism is a continuous stretching and bending of the object into a new shape. Thus, a square and a circle are homeomorphic to each other, but a sphere and a torus are not. However, this ... [...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 (topologica ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wolfgang Lück
Wolfgang Lück (born 19 February 1957 in Herford) is a German mathematician who is an internationally recognized expert in algebraic topology. Life and work After receiving his '' Abitur'' from the Ravensberger Gymnasium in Herford in 1975, he studied at the University of Göttingen where he obtained his Diplom in 1981 and his doctoral degree under Tammo tom Dieck in 1984. His thesis was entitled ''Eine allgemeine Beschreibung für Faserungen auf projektiven Klassengruppen und Whiteheadgruppen''. From 1982 on he was research assistant and from 1985 on he was assistant in Göttingen. In 1989 Lück received his Habilitation. From 1990–91, he was associate professor at the University of Kentucky in Lexington. From 1991 until 1996, he was professor at the University of Mainz, and from 1996 until 2010 he taught at the University of Münster. Since 2010 he has been a professor at the University of Bonn. In 2003, he was awarded the Max Planck Research Award and in 2008 the Got ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Matthias Kreck
Matthias Kreck (born 22 July 1947, in Dillenburg) is a German mathematician who works in the areas of Algebraic Topology and Differential topology. From 1994 to 2002 he was director of the Oberwolfach Research Institute for Mathematics and from October 2006 to September 2011 he was the director of the Hausdorff Center for Mathematics at the University of Bonn, where he is currently a professor. Life and work Kreck grew up as the son of the theologian in Herborn and studied mathematics and physics from 1966 to 1970, and business administration at the Universities of Bonn, Berlin and Regensburg. In 1970 he submitted his diploma in Mathematics in Bonn and in 1972 he received his doctorate there under the supervision of Friedrich Hirzebruch, with a thesis titled ''An invariant for stably parallelized manifolds''. From 1972 to 1976 he studied Protestant theology in Bonn: in a similar period he was also assistant from 1970 to 1976 to professor Hirzebruch. In 1977 he completed his ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Torus
In geometry, a torus (plural tori, colloquially donut or doughnut) is a surface of revolution generated by revolving a circle in three-dimensional space about an axis that is coplanar with the circle. If the axis of revolution does not touch the circle, the surface has a ring shape and is called a torus of revolution. If the axis of revolution is tangent to the circle, the surface is a horn torus. If the axis of revolution passes twice through the circle, the surface is a spindle torus. If the axis of revolution passes through the center of the circle, the surface is a degenerate torus, a double-covered sphere. If the revolved curve is not a circle, the surface is called a ''toroid'', as in a square toroid. Real-world objects that approximate a torus of revolution include swim rings, inner tubes and ringette rings. Eyeglass lenses that combine spherical and cylindrical correction are toric lenses. A torus should not be confused with a '' solid torus'', which is formed by r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
3-sphere
In mathematics, a 3-sphere 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. Analogous to how the boundary of a ball in three dimensions is an ordinary sphere (or 2-sphere, a two-dimensional surface), the boundary of a ball in four dimensions is a 3-sphere (an object with three dimensions). A 3-sphere is an example of a 3-manifold and an ''n''-sphere. Definition In coordinates, a 3-sphere with center and radius is the set of all points in real, 4-dimensional space () such that :\sum_^3(x_i - C_i)^2 = ( x_0 - C_0 )^2 + ( x_1 - C_1 )^2 + ( x_2 - C_2 )^2+ ( x_3 - C_3 )^2 = r^2. The 3-sphere centered at the origin with radius 1 is called the unit 3-sphere and is usually denoted : :S^3 = \left\. It is often convenient to regard as the space with 2 complex dimensions () or the quaternions (). The unit 3-sphere is then given by :S^3 = \left\ or :S^3 = \left\. This ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Poincaré Conjecture
In the mathematics, mathematical field of geometric topology, the Poincaré conjecture (, , ) is a theorem about the Characterization (mathematics), characterization of the 3-sphere, which is the hypersphere that bounds the unit ball in four-dimensional space. Originally conjectured by Henri Poincaré in 1904, the Grigori Perelman's theorem concerns spaces that locally look like ordinary Euclidean space, three-dimensional space but which are finite in extent. Poincaré hypothesized that if such a space has the additional property that each path (topology), loop in the space can be continuously tightened to a point, then it is necessarily a 3-sphere, three-dimensional sphere. Attempts to resolve the conjecture drove much progress in the field of geometric topology during the 20th century. The Perelman's proof built upon Richard S. Hamilton's ideas of using the Ricci flow to solve the problem. By developing a number of breakthrough new techniques and results in the theory of Ricci ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Novikov Conjecture
The Novikov conjecture is one of the most important unsolved problems in topology. It is named for Sergei Novikov who originally posed the conjecture in 1965. The Novikov conjecture concerns the homotopy invariance of certain polynomials in the Pontryagin classes of a manifold, arising from the fundamental group. According to the Novikov conjecture, the ''higher signatures'', which are certain numerical invariants of smooth manifolds, are homotopy invariants. The conjecture has been proved for finitely generated abelian groups. It is not yet known whether the Novikov conjecture holds true for all groups. There are no known counterexamples to the conjecture. Precise formulation of the conjecture Let G be a discrete group and BG its classifying space, which is an Eilenberg–MacLane space of type K(G,1), and therefore unique up to homotopy equivalence as a CW complex. Let :f\colon M\rightarrow BG be a continuous map from a closed oriented n-dimensional manifold M to BG, and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isometry
In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος ''isos'' meaning "equal", and μέτρον ''metron'' meaning "measure". Introduction Given a metric space (loosely, a set and a scheme for assigning distances between elements of the set), an isometry is a transformation which maps elements to the same or another metric space such that the distance between the image elements in the new metric space is equal to the distance between the elements in the original metric space. In a two-dimensional or three-dimensional Euclidean space, two geometric figures are congruent if they are related by an isometry; the isometry that relates them is either a rigid motion (translation or rotation), or a composition of a rigid motion and a reflection. Isometries are often used in constructions where one space i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
