[permalink] [id link]
The homotopy groups of simplicial abelian groups can be computed by making use of the Dold-Kan correspondence which yields an equivalence of categories between simplicial abelian groups and bounded chain complexes and is given by functors
from
Wikipedia
Some Related Sentences
homotopy and groups
The fundamental group is the first and simplest of the homotopy groups.
Unlike the homology groups and higher homotopy groups associated to a topological space, the fundamental group need not be abelian.
The basic method now applied in algebraic topology is to investigate spaces via algebraic invariants by mapping them, for example, to groups which have a great deal of manageable structure in a way that respects the relation of homeomorphism ( or more general homotopy ) of spaces.
Two major ways in which this can be done are through fundamental groups, or more generally homotopy theory, and through homology and cohomology groups.
A new approach uses a functor from filtered spaces to crossed complexes defined directly and homotopically using relative homotopy groups ; a higher homotopy van Kampen theorem proved for this functor enables basic results in algebraic topology, especially on the border between homology and homotopy, to be obtained without using singular homology or simplicial approximation.
Higgins, On the connection between the second relative homotopy groups of some related spaces, Proc.
For example, algebraic topology makes use of Eilenberg – MacLane spaces which are spaces with prescribed homotopy groups.
The real line is also contractible, and as such all of its homotopy groups and reduced homology groups are zero.
Applications of chain complexes usually define and apply their homology groups ( cohomology groups for cochain complexes ); in more abstract settings various equivalence relations are applied to complexes ( for example starting with the chain homotopy idea ).
For a topological space, the homology groups are generally much easier to compute than the homotopy groups, and consequently one usually will have an easier time working with homology to aid in the classification of spaces.
As it turns out, subtle kinds of holes exist that homology cannot " see " — in which case homotopy groups may be what is needed.
Together with Cartan, Serre established the technique of using Eilenberg – MacLane spaces for computing homotopy groups of spheres, which at that time was considered as the major problem in topology.
An outstanding use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology.
Covering maps are important, because they satisfy the local triviality condition, inducing isomorphisms of particular homotopy groups, and in particular, one can lift any path in the base space of a covering map, to a path in the total space.
Covering spaces are also deeply intertwined with the study of homotopy groups and, in particular, the fundamental group.
homotopy and simplicial
Simplicial complexes should not be confused with the more abstract notion of a simplicial set appearing in modern simplicial homotopy theory.
It is possible to define abstract homotopy groups for simplicial sets.
There is a further simplicial approximation theorem for homotopies, stating that a homotopy between continuous mappings can likewise be approximated by a combinatorial version.
Handlebodies play a similar role in the study of manifolds as simplicial complexes and CW complexes play in homotopy theory, allowing one to analyze a space in terms of individual pieces and their interactions.
In mathematics, a simplicial set is a construction in categorical homotopy theory which is a purely algebraic model of the notion of a " well-behaved " topological space.
A simplicial set is a categorical ( that is, purely algebraic ) model capturing those topological spaces which can be built up ( or faithfully represented up to homotopy ) from simplices and their incidence relations.
Most classical results on CW complexes in homotopy theory have analogous versions for simplicial sets which generalize these results.
With the model structure in place, a homotopy theory of simplicial sets can be developed using standard homotopical abstract nonsense.
between the homotopy category for simplicial sets and the usual homotopy category of CW complexes with homotopy classes of maps between them.
The older meaning for obstruction theory in homotopy theory relates to a procedure, inductive with respect to dimension, for extending a continuous mapping defined on a simplicial complex, or CW complex.
homotopy and abelian
Serre introduced the idea of working in homotopy theory modulo some class C of abelian groups.
where Γ < sub > i </ sub > are Kervaire-Milnor finite abelian groups of homotopy spheres and Z < sub > 2 </ sub > is the group of order 2.
Thus homotopy classes from one spectrum to another form an abelian group.
It makes the stable homotopy category into a monoidal category ; in other words it behaves like the tensor product of abelian groups.
For instance, this applies to the homotopy category of pointed connected CW complexes, as well as to the unbounded derived category of a Grothendieck abelian category ( in view of Lurie's higher-categorical refinement of the derived category ).
The null homotopic class acts as the identity of the group addition, and for X equal to S < sup > n </ sup > ( for positive n ) — the homotopy groups of spheres — the groups are abelian and finitely generated.
Provided n ≠ 4, this monoid is a group and is isomorphic to the group Θ < sub > n </ sub > of h-cobordism classes of oriented homotopy n-spheres, which is finite and abelian.
A triangulated category is a mathematical category inspired by the homotopy category of spectra, and the derived category of an abelian category.
If A is an abelian category, then the homotopy category K ( A ) has as objects all complexes of objects of A, and as morphisms the homotopy classes of morphisms of complexes.
homotopy and can
The product of two homotopy classes of loops and is then defined as, and it can be shown that this product does not depend on the choice of representatives.
Each homotopy class consists of all loops which wind around the circle a given number of times ( which can be positive or negative, depending on the direction of winding ).
For dimensions greater than three, one can pose the Generalized Poincaré conjecture: is a homotopy n-sphere homeomorphic to the n-sphere?
Conversely, given an ordered tree, and conventionally draw the root at the top, then the child nodes in an ordered tree can be drawn left-to-right, yielding an essentially unique planar embedding ( up to embedded homotopy, i. e., moving the edges and nodes without crossing ).
Thus, the differential equation solutions can be classified into homotopy classes.
place ) if one can be " continuously deformed " into the other, such a deformation being called a homotopy between the two functions.
Two spaces X and Y are homotopy equivalent if they can be transformed into one another by bending, shrinking and expanding operations.
For a Yang – Mills theory these inequivalent sectors can be ( in an appropriate gauge ) classified by the third homotopy group of SU ( 2 ) ( whose group manifold is the 3-sphere ).
because every loop can be contracted to a constant map ( see homotopy groups of spheres for this and more complicated examples of homotopy groups ).
Equivalently, we can define π < sub > n </ sub >( X ) to be the group of homotopy classes of maps g: < sup > n </ sup > → X from the n-cube to X that take the boundary of the n-cube to b.
In homotopy theory any mapping is ' as good as ' a fibration — i. e. any map can be decomposed as a homotopy equivalence into a " mapping path space " followed by a fibration.
It can be shown that the category of topological spaces is in fact a model category, where ( abstract ) fibrations are just the Serre fibrations introduced above and weak equivalences are weak homotopy equivalences.
If is a universal cover for then, it can be shown that, where denotes the homotopy group.
Various types of defects in the medium can be characterized by elements of various homotopy groups of the order parameter space.
In some cases it can be shown that the higher homotopy groups of Y are trivial.
A proof for the homotopy invariance of singular homology groups can be sketched as follows.
One can likewise form the pointed homotopy category hTop < sub >•</ sub >.
In principle the proof can be unwound to produce an explicit regular homotopy, but this is not easy to do.
This can then be used to prove the commutativity of the higher homotopy groups.
Furthermore, in this case the structure group of the normal bundles is the circle group ; it follows that the choice of embeddings can be canonically identified with the group of homotopy classes of maps from to the circle, which in turn equals the first integral cohomology group.
0.260 seconds.