Acyclic space

Acyclic space

In mathematics, an acyclic space is a topological space "X" in which cycles are always boundaries, in the sense of homology theory. This implies that the integral homology groups in all dimensions of "X" are isomorphic to the corresponding homology groups of a point.

In other words, using the idea of reduced homology,

: ilde{H}_i(X)=0, quad forall ige 0.

If "X" is an acyclic CW complex, and if the fundamental group of "X" is trivial, then "X" is a contractible space, as follows from the Whitehead theorem and the Hurewicz theorem.

Examples

Acyclic spaces occur in topology, where they can be used to construct other, more interesting topological spaces.

For example, if one removes a single point from a manifold "M" which is a homology sphere, one gets such a space. The homotopy groups of an acyclic space "X" do not vanish in general, because the fundamental group need not be trivial. For example, the punctured Poincaré sphere is an acyclic, 3-dimensional manifold which is not contractible.

This gives a repertoire of examples, since the first homology group is the abelianisation of the fundamental group. With every perfect group "G" one can associate a (canonical, terminal) acyclic space, whose fundamental group is a central extension of the given group "G".

The homotopy groups of these associated acyclic spaces are closely related to Quillen's plus construction on the classifying space "BG".

Acyclic groups

An acyclic group is a group "G" whose classifying space "BG" is acyclic. Every acyclic group is a perfect group (in fact, a superperfect group), but neither implication can be reversed.

References

* Emmanuel Dror, "Acyclic spaces", "Topology" 11 (1972), 339–348. MathSciNet|id=0315713
* Emmanuel Dror, "Homology spheres", "Israel Journal of Mathematics" 15 (1973), 115–129. MathSciNet|id=0328926
* A. Jon Berrick and Jonathan A. Hillman, "Perfect and acyclic subgroups of finitely presentable groups", "Journal of the London Mathematical Society" (2) 68 (2003), no. 3, 683–698. MathSciNet|id=2009444

ee also

*Aspherical space


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Aspherical space — In topology, an aspherical space is a topological space with all higher homotopy groups equal to {0}. If one works with CW complexes, one can reformulate this condition: an aspherical CW complex is a CW complex whose universal cover is… …   Wikipedia

  • Directed acyclic graph — An example of a directed acyclic graph In mathematics and computer science, a directed acyclic graph (DAG i …   Wikipedia

  • Directed acyclic word graph — For the US Department of Defense review panel, see Deputy’s Advisory Working Group. The strings tap , taps , top , and tops stored in a Trie (left) and a DAWG (right), EOW stands for End of word. In computer science, a directed acyclic word graph …   Wikipedia

  • Seifert fiber space — A Seifert fiber space is a 3 manifold together with a nice decomposition as a disjoint union of circles. In other words it is a S^1 bundle (circle bundle) over a 2 dimensional orbifold. Most small 3 manifolds are Seifert fiber spaces, and they… …   Wikipedia

  • List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A …   Wikipedia

  • Injective sheaf — In mathematics, injective sheaves of abelian groups are used to construct the resolutions needed to define sheaf cohomology (and other derived functors, such as sheaf Ext .). There is a further group of related concepts applied to sheaves: flabby …   Wikipedia

  • Trie — A trie for keys A , to , tea , ted , ten , i , in , and inn . In computer science, a trie, or prefix tree, is an ordered tree data structure that is used to store an associative array where the keys are usually strings. Unlike a binary search… …   Wikipedia

  • Fibration — In mathematics, especially algebraic topology, a fibration is a continuous mapping:p:E o B,satisfying the homotopy lifting property with respect to any space. Fiber bundles (over paracompact bases) constitute important examples. In homotopy… …   Wikipedia

  • Bayesian network — A Bayesian network, Bayes network, belief network or directed acyclic graphical model is a probabilistic graphical model that represents a set of random variables and their conditional dependencies via a directed acyclic graph (DAG). For example …   Wikipedia

  • Edge coloring — A 3 edge coloring of the Desargues graph. In graph theory, an edge coloring of a graph is an assignment of “colors” to the edges of the graph so that no two adjacent edges have the same color. For example, the figure to the right shows an edge… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”