|
Spherical Space Form Conjecture
In geometric topology, the spherical space form conjecture (now a theorem) states that a finite group acting on the 3-sphere is conjugate to a group of isometries of the 3-sphere. History The conjecture was posed by Heinz Hopf in 1926 after determining the fundamental groups of three-dimensional spherical space forms as a generalization of the Poincaré conjecture to the non-simply connected case. Status The conjecture is implied by Thurston's geometrization conjecture, which was proven by Grigori Perelman in 2003. The conjecture was independently proven for groups whose actions have fixed points—this special case is known as the Smith conjecture. It is also proven for various groups acting without fixed points, such as cyclic group In abstract algebra, a cyclic group or monogenous group is a Group (mathematics), group, denoted C_n (also frequently \Z_n or Z_n, not to be confused with the commutative ring of P-adic number, -adic numbers), that is Generating set of a group, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometric Topology
In mathematics, geometric topology is the study of manifolds and Map (mathematics)#Maps as functions, 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, ''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. Dimensio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematische Annalen
''Mathematische Annalen'' (abbreviated as ''Math. Ann.'' or, formerly, ''Math. Annal.'') is a German mathematical research journal founded in 1868 by Alfred Clebsch and Carl Neumann. Subsequent managing editors were Felix Klein, David Hilbert, Otto Blumenthal, Erich Hecke, Heinrich Behnke, Hans Grauert, Heinz Bauer, Herbert Amann, Jean-Pierre Bourguignon, Wolfgang Lück, Nigel Hitchin, and Thomas Schick. Currently, the managing editor of Mathematische Annalen is Yoshikazu Giga (University of Tokyo). Volumes 1–80 (1869–1919) were published by Teubner. Since 1920 (vol. 81), the journal has been published by Springer. In the late 1920s, under the editorship of Hilbert, the journal became embroiled in controversy over the participation of L. E. J. Brouwer on its editorial board, a spillover from the foundational Brouwer–Hilbert controversy. Between 1945 and 1947, the journal briefly ceased publication. References External links''Mathematische Annalen''homepage a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Killing–Hopf Theorem
In geometry, the Killing–Hopf theorem states that complete connected Riemannian manifolds of constant curvature are isometric to a quotient of a sphere, Euclidean space, or hyperbolic space by a group A group is a number of persons or things that are located, gathered, or classed together. Groups of people * Cultural group, a group whose members share the same cultural identity * Ethnic group, a group whose members share the same ethnic iden ... acting freely and properly discontinuously. These manifolds are called space forms. The Killing–Hopf theorem was proved by and . References * * Riemannian geometry Theorems in Riemannian geometry {{Riemannian-geometry-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cyclic Group
In abstract algebra, a cyclic group or monogenous group is a Group (mathematics), group, denoted C_n (also frequently \Z_n or Z_n, not to be confused with the commutative ring of P-adic number, -adic numbers), that is Generating set of a group, generated by a single element. That is, it is a set (mathematics), set of Inverse element, invertible elements with a single associative binary operation, and it contains an element g such that every other element of the group may be obtained by repeatedly applying the group operation to g or its inverse. Each element can be written as an integer Exponentiation, power of g in multiplicative notation, or as an integer multiple of g in additive notation. This element g is called a ''Generating set of a group, generator'' of the group. Every infinite cyclic group is isomorphic to the additive group \Z, the integers. Every finite cyclic group of Order (group theory), order n is isomorphic to the additive group of Quotient group, Z/''n''Z, the in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smith Conjecture
In mathematics, the Smith conjecture states that if ''f'' is a diffeomorphism of the 3-sphere of finite order, then the fixed point set of ''f'' cannot be a nontrivial knot. showed that a non-trivial orientation-preserving diffeomorphism of finite order with fixed points must have a fixed point set equal to a circle, and asked in if the fixed point set could be knotted. proved the Smith conjecture for the special case of diffeomorphisms of order 2 (and hence any even order). The proof of the general case was described by and depended on several major advances in 3-manifold theory, In particular the work of William Thurston on hyperbolic structures on 3-manifolds, and results by William Meeks and Shing-Tung Yau on minimal surfaces in 3-manifolds, with some additional help from Bass, Cameron Gordon, Peter Shalen, and Rick Litherland. gave an example of a continuous involution of the 3-sphere whose fixed point set is a wildly embedded circle, so the Smith conjecture i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fixed Point (mathematics)
In mathematics, a fixed point (sometimes shortened to fixpoint), also known as an invariant point, is a value that does not change under a given transformation (mathematics), transformation. Specifically, for function (mathematics), functions, a fixed point is an element that is mapped to itself by the function. Any set of fixed points of a transformation is also an invariant set. Fixed point of a function Formally, is a fixed point of a function if belongs to both the domain of a function, domain and the codomain of , and . In particular, cannot have any fixed point if its domain is disjoint from its codomain. If is defined on the real numbers, it corresponds, in graphical terms, to a curve in the Euclidean plane, and each fixed-point corresponds to an intersection of the curve with the line , cf. picture. For example, if is defined on the real numbers by f(x) = x^2 - 3 x + 4, then 2 is a fixed point of , because . Not all functions have fixed points: for example, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometrization Conjecture
In mathematics, Thurston's geometrization conjecture (now a theorem) 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 as part of his 24 questions, 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
William Thurston
William Paul Thurston (October 30, 1946August 21, 2012) was an American mathematician. He was a pioneer in the field of low-dimensional topology and was awarded the Fields Medal in 1982 for his contributions to the study of 3-manifolds. Thurston was a professor of mathematics at Princeton University, University of California, Davis, and Cornell University. He was also a director of the Mathematical Sciences Research Institute. Early life and education William Thurston was born in Washington, D.C., to Margaret Thurston (), a seamstress, and Paul Thurston, an aeronautical engineer. William Thurston suffered from congenital strabismus as a child, causing issues with depth perception. His mother worked with him as a toddler to reconstruct three-dimensional images from two-dimensional ones. He received his bachelor's degree from New College in 1967 as part of its inaugural class. For his undergraduate thesis, he developed an intuitionist foundation for topology. Following th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Of Isometries
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". If the transformation is from a metric space to itself, it is a kind of geometric transformation known as a motion. 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), ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Heinz Hopf
Heinz Hopf (19 November 1894 – 3 June 1971) was a German mathematician who worked on the fields of dynamical systems, topology and geometry. Early life and education Hopf was born in Gräbschen, German Empire (now , part of Wrocław, Poland), the son of Elizabeth (née Kirchner) and Wilhelm Hopf. His father was born Jewish and converted to Protestantism a year after Heinz was born; his mother was from a Protestant family. Hopf attended Karl Mittelhaus higher boys' school from 1901 to 1904, and then entered the König-Wilhelm- Gymnasium in Breslau. He showed mathematical talent from an early age. In 1913 he entered the Silesian Friedrich Wilhelm University where he attended lectures by Ernst Steinitz, Adolf Kneser, Max Dehn, Erhard Schmidt, and Rudolf Sturm. When World War I broke out in 1914, Hopf eagerly enlisted. He was wounded twice and received the iron cross (first class) in 1918. After the war Hopf continued his mathematical education in Heidelberg (winter 1919/2 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
3-sphere
In mathematics, a hypersphere or 3-sphere is a 4-dimensional analogue of a sphere, and is the 3-dimensional n-sphere, ''n''-sphere. In 4-dimensional Euclidean space, it is the set of points equidistant from a fixed central point. The interior of a 3-sphere is a 4-ball. It is called a 3-sphere because topologically, the surface itself is 3-dimensional, even though it is curved into the 4th dimension. For example, when traveling on a 3-sphere, you can go north and south, east and west, or along a 3rd set of cardinal directions. This means that a 3-sphere is an example of a 3-manifold. Definition In coordinates, a 3-sphere with center and radius is the set of all points in real, Four-dimensional space, 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 r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite Group
In abstract algebra, a finite group is a group whose underlying set is finite. Finite groups often arise when considering symmetry of mathematical or physical objects, when those objects admit just a finite number of structure-preserving transformations. Important examples of finite groups include cyclic groups and permutation groups. The study of finite groups has been an integral part of group theory since it arose in the 19th century. One major area of study has been classification: the classification of finite simple groups (those with no nontrivial normal subgroup) was completed in 2004. History During the twentieth century, mathematicians investigated some aspects of the theory of finite groups in great depth, especially the local theory of finite groups and the theory of solvable and nilpotent groups. As a consequence, the complete classification of finite simple groups was achieved, meaning that all those simple groups from which all finite groups can be bu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
