Aspherical space

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 contractible. Indeed, contractibility of a universal cover is the same, by Whitehead's theorem, as asphericality of it. And it is an application of the exact sequence of a fibration that higher homotopy groups of a space and its universal cover are same. (By the same argument, if "E" is a path-connected space and "p": "E" → "B" is any covering map, then "E" is aspherical if and only if "B" is aspherical.)

Aspherical spaces are (directly from the definitions) Eilenberg-MacLane spaces.

Examples

* Using the second of above definitions we easily see that all orientable compact surfaces of genus greater than 0 are aspherical (as they have either the Euclidean plane or the hyperbolic plane as a universal cover).

* It follows that all non-orientable surfaces, except the real projective plane, are aspherical as well, as they can be covered by an orientable surface genus 1 or higher.

* Similarly, a product of any number of circles is aspherical.

* Any hyperbolic 3-manifold is, by definition, covered by the hyperbolic 3-space H3, hence aspherical.

* Let "X" = "G"/"K" be a Riemannian symmetric space of negative type, and Γ be a lattice in "G" that acts freely on "X". Then the locally symmetric space Gammaackslash G/K is aspherical.

* The Bruhat-Tits building of a simple algebraic group over a field with a discrete valuation is aspherical.

* Metric spaces with nonpositive curvature in the sense of Aleksandrov (locally CAT(0) spaces) are aspherical. In the case of Riemannian manifolds, this follows from the Cartan–Hadamard theorem, which has been generalized to geodesic metric spaces by Gromov and Ballmann. This class of aspherical spaces subsumes all the previously given examples.

* Any nilmanifold is aspherical.

ymplectically aspherical manifolds

If one deals with symplectic manifolds, the meaning of "aspherical" is a little bit different. Specifically, we say that a symplectic manifold (M,ω) is symplectically aspherical if and only if

:int_{S^2}f^*omega=0

for every continuous mapping

:fcolon S^2 o M.

By Stokes' theorem, we see that symplectic manifolds which are aspherical are also symplectically aspherical manifolds. However, there do exist symplectically aspherical manifolds which are not aspherical spaces. [Robert E. Gompf, "Symplectically aspherical manifolds with nontrivial π2", Math. Res. Lett. 5 (1998), no. 5, 599–603. MathSciNet|id=1666848]

ee also

*Acyclic space
*Essential manifold

Notes

References

* Bridson, Martin R.; Haefliger, André, "Metric spaces of non-positive curvature". Grundlehren der Mathematischen Wissenschaften , 319. Springer-Verlag, Berlin, 1999. xxii+643 pp. ISBN 3-540-64324-9 MathSciNet|id=1744486


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Aspherical — may refer to:* Aspherical space, a concept in topology * Aspherical lens, a type of lens assembly used in photography which contains an aspheric lens …   Wikipedia

  • Space form — In mathematics, a space form is a complete Riemannian manifold M of constant sectional curvature K . Reduction to generalized crystallographyIt is a theorem of Riemannian geometry that the universal cover of an n dimensional space form M^n with… …   Wikipedia

  • 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… …   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

  • Homotopy group — In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The base point preserving maps from an n dimensional sphere (with base point) into a given space (with base point) are collected into equivalence… …   Wikipedia

  • Фундаментальная группа — Фундаментальная группа  определённая группа, которая сопоставляется топологическому пространству. Грубо говоря, эта группа измеряет количество «дырок» в пространстве. Наличие «дырки» определяется невозможностью непрерывно продеформировать… …   Википедия

  • Cirrus cloud — A sky filled with many types of cirrus clouds Cirrus clouds (cloud classification symbol: Ci) are atmospheric clouds generally characterized by thin, wispy strands, giving them their name from the Latin word cirrus meaning a ringlet or curling… …   Wikipedia

  • History of the single-lens reflex camera — The history of the single lens reflex camera predates the invention of photography in 1826/27 by one and a half centuries with the use of a reflex mirror in a camera obscura first described in 1676. Such SLR devices were popular as drawing aids… …   Wikipedia

  • Small cancellation theory — In the mathematical subject of group theory, small cancellation theory studies groups given by group presentations satisfying small cancellation conditions, that is where defining relations have small overlaps with each other. It turns out that… …   Wikipedia

Share the article and excerpts

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