Thom spaceIn mathematics, the Thom space, Thom complex, or Pontryagin–Thom construction (named after René Thom and Lev Pontryagin) of algebraic topology and differential topology is a topological space associated to a vector bundle, over any paracompact space. One way to construct this space is as follows. Let be a rank n real vector bundle over the paracompact space B. Then for each point b in B, the fiber is an -dimensional real vector space. Choose an orthogonal structure on E, a smoothly varying inner product on the fibers; we can do this using partitions of unity.
Immersion (mathematics)In mathematics, an immersion is a differentiable function between differentiable manifolds whose differential pushforward is everywhere injective. Explicitly, f : M → N is an immersion if is an injective function at every point p of M (where TpX denotes the tangent space of a manifold X at a point p in X). Equivalently, f is an immersion if its derivative has constant rank equal to the dimension of M: The function f itself need not be injective, only its derivative must be. A related concept is that of an embedding.
Poincaré dualityIn mathematics, the Poincaré duality theorem, named after Henri Poincaré, is a basic result on the structure of the homology and cohomology groups of manifolds. It states that if M is an n-dimensional oriented closed manifold (compact and without boundary), then the kth cohomology group of M is isomorphic to the ()th homology group of M, for all integers k Poincaré duality holds for any coefficient ring, so long as one has taken an orientation with respect to that coefficient ring; in particular, since every manifold has a unique orientation mod 2, Poincaré duality holds mod 2 without any assumption of orientation.
CohomologyIn mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.