|
Wall's Finiteness Obstruction
In geometric topology, a field within mathematics, the obstruction to a finitely dominated space ''X'' being homotopy-equivalent to a finite CW-complex is its Wall finiteness obstruction ''w(X)'' which is an element in the reduced zeroth algebraic K-theory \widetilde_0(\mathbbpi_1(X) of the integral group ring \mathbbpi_1(X)/math>. It is named after the mathematician C. T. C. Wall. By work of John Milnor on finitely dominated spaces, no generality is lost in letting ''X'' be a CW-complex. A ''finite domination'' of ''X'' is a finite CW-complex ''K'' together with maps r:K\to X and i\colon X\to K such that r\circ i\simeq 1_X. By a construction due to Milnor it is possible to extend ''r'' to a homotopy equivalence \bar\colon \bar\to X where \bar is a CW-complex obtained from ''K'' by attaching cells to kill the relative homotopy groups \pi_n(r). The space \bar will be ''finite'' if all relative homotopy groups are finitely generated. Wall showed that this will be the case if and only ... [...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] |
Obstruction Theory
In mathematics, obstruction theory is a name given to two different mathematical theories, both of which yield cohomological invariants. In the original work of Stiefel and Whitney, characteristic classes were defined as obstructions to the existence of certain fields of linear independent vectors. Obstruction theory turns out to be an application of cohomology theory to the problem of constructing a cross-section of a bundle. In homotopy theory The older meaning for obstruction theory in homotopy theory relates to the procedure, inductive with respect to dimension, for extending a continuous mapping defined on a simplicial complex, or CW complex. It is traditionally called ''Eilenberg obstruction theory'', after Samuel Eilenberg. It involves cohomology groups with coefficients in homotopy groups to define obstructions to extensions. For example, with a mapping from a simplicial complex ''X'' to another, ''Y'', defined initially on the 0-skeleton of ''X'' (the vertices of ''X'') ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Equivalence
In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic (from grc, ὁμός "same, similar" and "place") if one can be "continuously deformed" into the other, such a deformation being called a homotopy (, ; , ) between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology. In practice, there are technical difficulties in using homotopies with certain spaces. Algebraic topologists work with compactly generated spaces, CW complexes, or spectra. Formal definition Formally, a homotopy between two continuous functions ''f'' and ''g'' from a topological space ''X'' to a topological space ''Y'' is defined to be a continuous function H: X \times ,1\to Y from the product of the space ''X'' with the unit interval , 1to ''Y'' such that H(x,0) = f(x) and H(x,1) = g(x) for all x \in X. If we think of the second p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
CW-complex
A CW complex (also called cellular complex or cell complex) is a kind of a topological space that is particularly important in algebraic topology. It was introduced by J. H. C. Whitehead (open access) to meet the needs of homotopy theory. This class of spaces is broader and has some better categorical properties than simplicial complexes, but still retains a combinatorial nature that allows for computation (often with a much smaller complex). The ''C'' stands for "closure-finite", and the ''W'' for "weak" topology. Definition CW complex A CW complex is constructed by taking the union of a sequence of topological spaces\emptyset = X_ \subset X_0 \subset X_1 \subset \cdotssuch that each X_k is obtained from X_ by gluing copies of k-cells (e^k_\alpha)_\alpha, each homeomorphic to D^k, to X_ by continuous gluing maps g^k_\alpha: \partial e^k_\alpha \to X_. The maps are also called attaching maps. Each X_k is called the k-skeleton of the complex. The topology of X = \cup_ X_ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic K-theory
Algebraic ''K''-theory is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called ''K''-groups. These are groups in the sense of abstract algebra. They contain detailed information about the original object but are notoriously difficult to compute; for example, an important outstanding problem is to compute the ''K''-groups of the integers. ''K''-theory was discovered in the late 1950s by Alexander Grothendieck in his study of intersection theory on algebraic varieties. In the modern language, Grothendieck defined only ''K''0, the zeroth ''K''-group, but even this single group has plenty of applications, such as the Grothendieck–Riemann–Roch theorem. Intersection theory is still a motivating force in the development of (higher) algebraic ''K''-theory through its links with motivic cohomology and specifically Chow groups. The subject also includes classical ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Ring
In algebra, a group ring is a free module and at the same time a ring, constructed in a natural way from any given ring and any given group. As a free module, its ring of scalars is the given ring, and its basis is the set of elements of the given group. As a ring, its addition law is that of the free module and its multiplication extends "by linearity" the given group law on the basis. Less formally, a group ring is a generalization of a given group, by attaching to each element of the group a "weighting factor" from a given ring. If the ring is commutative then the group ring is also referred to as a group algebra, for it is indeed an algebra over the given ring. A group algebra over a field has a further structure of a Hopf algebra; in this case, it is thus called a group Hopf algebra. The apparatus of group rings is especially useful in the theory of group representations. Definition Let ''G'' be a group, written multiplicatively, and let ''R'' be a ring. The group ring of ... [...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] |
Transactions Of The American Mathematical Society
The ''Transactions of the American Mathematical Society'' is a monthly peer-reviewed scientific journal of mathematics published by the American Mathematical Society. It was established in 1900. As a requirement, all articles must be more than 15 printed pages. See also * ''Bulletin of the American Mathematical Society'' * ''Journal of the American Mathematical Society'' * ''Memoirs of the American Mathematical Society'' * ''Notices of the American Mathematical Society'' * ''Proceedings of the American Mathematical Society'' External links * ''Transactions of the American Mathematical Society''on JSTOR JSTOR (; short for ''Journal Storage'') is a digital library founded in 1995 in New York City. Originally containing digitized back issues of academic journals, it now encompasses books and other primary sources as well as current issues of j ... American Mathematical Society academic journals Mathematics journals Publications established in 1900 {{math-journal-stu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hurewicz Theorem
In mathematics, the Hurewicz theorem is a basic result of algebraic topology, connecting homotopy theory with homology theory via a map known as the Hurewicz homomorphism. The theorem is named after Witold Hurewicz, and generalizes earlier results of Henri Poincaré. Statement of the theorems The Hurewicz theorems are a key link between homotopy groups and homology groups. Absolute version For any path-connected space ''X'' and positive integer ''n'' there exists a group homomorphism :h_* \colon \pi_n(X) \to H_n(X), called the Hurewicz homomorphism, from the ''n''-th homotopy group to the ''n''-th homology group (with integer coefficients). It is given in the following way: choose a canonical generator u_n \in H_n(S^n), then a homotopy class of maps f \in \pi_n(X) is taken to f_*(u_n) \in H_n(X). The Hurewicz theorem states cases in which the Hurewitz homomorphism is an isomorphism. * For n\ge 2, if ''X'' is (n-1)-connected (that is: \pi_i(X)= 0 for all ''i''2 there exists ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Module
In mathematics, particularly in algebra, the class of projective modules enlarges the class of free modules (that is, modules with basis vectors) over a ring, by keeping some of the main properties of free modules. Various equivalent characterizations of these modules appear below. Every free module is a projective module, but the converse fails to hold over some rings, such as Dedekind rings that are not principal ideal domains. However, every projective module is a free module if the ring is a principal ideal domain such as the integers, or a polynomial ring (this is the Quillen–Suslin theorem). Projective modules were first introduced in 1956 in the influential book ''Homological Algebra'' by Henri Cartan and Samuel Eilenberg. Definitions Lifting property The usual category theoretical definition is in terms of the property of ''lifting'' that carries over from free to projective modules: a module ''P'' is projective if and only if for every surjective module homomor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stably Free Module
In mathematics, a stably free module is a module which is close to being free. Definition A finitely generated module ''M'' over a ring ''R'' is ''stably free'' if there exist free finitely generated modules ''F'' and ''G'' over ''R'' such that : M \oplus F = G . \, Properties * A projective module is stably free if and only if it possesses a finite free resolution. * An infinitely generated module is stably free if and only if it is free. See also * Free object * Eilenberg–Mazur swindle * Hermite ring In algebra, the term Hermite ring (after Charles Hermite) has been applied to three different objects. According to (p. 465), a ring is right Hermite if, for every two elements ''a'' and ''b'' of the ring, there is an element ''d'' of the ring and ... References {{Reflist Module theory Free algebraic structures ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic K-theory
Algebraic ''K''-theory is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called ''K''-groups. These are groups in the sense of abstract algebra. They contain detailed information about the original object but are notoriously difficult to compute; for example, an important outstanding problem is to compute the ''K''-groups of the integers. ''K''-theory was discovered in the late 1950s by Alexander Grothendieck in his study of intersection theory on algebraic varieties. In the modern language, Grothendieck defined only ''K''0, the zeroth ''K''-group, but even this single group has plenty of applications, such as the Grothendieck–Riemann–Roch theorem. Intersection theory is still a motivating force in the development of (higher) algebraic ''K''-theory through its links with motivic cohomology and specifically Chow groups. The subject also includes classical ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
