Singular Intersection Homology
Fix a topological pseudomanifold X of dimension n with some stratification, and a perversity p.
A map σ from the standard i-simplex Δi to X (a singular simplex) is called allowable if
- is contained in the i − k + p(k) skeleton of Δi
The complex Ip(X) is a subcomplex of the complex of singular chains on X that consists of all singular chains such that both the chain and its boundary are linear combinations of allowable singular simplexes. The singular intersection homology groups (with perversity p)
are the homology groups of this complex.
If X has a triangulation compatible with the stratification, then simplicial intersection homology groups can be defined in a similar way, and are naturally isomorphic to the singular intersection homology groups.
The intersection homology groups are independent of the choice of stratification of X.
If X is a topological manifold, then the intersection homology groups (for any perversity) are the same as the usual homology groups.
Read more about this topic: Intersection Homology
Famous quotes containing the words singular and/or intersection:
“It is singular to look round upon a country where the dreams of sages, smiled at as utopian, seem distinctly realized, a people voluntarily submitting to laws of their own imposing, with arms in their hands respecting the voice of a government which their breath created and which their breath could in a moment destroy!”
—Frances Wright (1795–1852)
“If we are a metaphor of the universe, the human couple is the metaphor par excellence, the point of intersection of all forces and the seed of all forms. The couple is time recaptured, the return to the time before time.”
—Octavio Paz (b. 1914)