Chart Cobordism Codimension. The codimension of a submanifold is the dimension of the ambient space minus the dimension of the submanifold. Connected sum Connection Cotangent bundle, the vector bundle of cotangent spaces on a manifold. Cotangent space
D
Diffeomorphism. Given two differentiable manifolds M and N, a bijective map from M to N is called a diffeomorphism if both and its inverse are smooth functions. Doubling, given a manifold M with boundary, doubling is taking two copies of M and identifying their boundaries. As the result we get a manifold without boundary.
Manifold. A topological manifold is a locally Euclidean Hausdorff space. A Ck manifold is a differentiable manifold whose chart overlap functions are k times continuously differentiable. A C∞ or smooth manifold is a differentiable manifold whose chart overlap functions are infinitely continuously differentiable.
N
Neat submanifold. A submanifold whose boundary equals its intersection with the boundary of the manifold into which it is embedded.
P
Parallelizable. A smooth manifold is parallelizable if it admits a smooth global frame. This is equivalent to the tangent bundle being trivial. Principal bundle. A principal bundle is a fiber bundle P → B together with an action on P by a Lie groupG that preserves the fibers of P and acts simply transitively on those fibers. Pullback
S
Section Submanifold, the image of a smooth embedding of a manifold. Submersion Surface, a two-dimensional manifold or submanifold. Systole, least length of a noncontractible loop.
T
Tangent bundle, the vector bundle of tangent spaces on a differentiable manifold. Tangent field, a section of the tangent bundle. Also called a vector field. Tangent space Torus Transversality. Two submanifolds M and N intersect transversally if at each point of intersectionp their tangent spaces and generate the whole tangent space at p of the total manifold. Trivialization
V
Vector bundle, a fiber bundle whose fibers are vector spaces and whose transition functions are linear maps. Vector field, a section of a vector bundle. More specifically, a vector field can mean a section of the tangent bundle.
W
Whitney sum. A Whitney sum is an analog of the direct product for vector bundles. Given two vector bundles α and β over the same base B their cartesian product is a vector bundle over B ×B. The diagonal map induces a vector bundle over B called the Whitney sum of these vector bundles and denoted by α⊕β.