In mathematics, the fundamental class is a homology class [M] associated to an oriented manifold M of dimension n, which corresponds to the generator of the homology group
Contents
Closed, orientable
When M is a connected orientable closed manifold of dimension n, the top homology group is infinite cyclic:
If M is disconnected (but still orientable), a fundamental class is the direct sum of the fundamental classes for each connected component (corresponding to an orientation for each component).
In relation with de Rham cohomology It represents a integration over M; namely for M a smooth manifold, an n-form ω can be paired with the fundamental class as
which is the integral of ω over M, and depends only on the cohomology class of ω.
Stiefel-Whitney class
If M is not orientable,
This
With boundary
If M is a compact orientable manifold with boundary, then the top relative homology group is again infinite cyclic
Poincaré duality
For any abelian group
using the cap product of the fundamental class and the
Poincaré duality is extended to the relative case .
See also Twisted Poincaré duality
Applications
In the Bruhat decomposition of the flag variety of a Lie group, the fundamental class corresponds to the top-dimension Schubert cell, or equivalently the longest element of a Coxeter group.