Clutching function

A map on an overlap used to glue trivial bundles into a global bundle.
Clutching function

A clutching function is a transition map used to glue together locally trivial pieces of a bundle.

Let MM be covered by two open sets U,VMU,V\subset M such that a bundle is trivial over each piece. For a principal bundle, take U×GU\times G and V×GV\times G and identify points over the overlap UVU\cap V by

(x,h)U(x,g(x)h)V(xUV,  hG), (x,h)_U \sim (x, g(x)\,h)_V \qquad (x\in U\cap V,\; h\in G),

where g:UVGg:U\cap V\to G is smooth. The map gg is the clutching function; it is exactly the (more precisely, a ) for the cover {U,V}\{U,V\}.

For a vector bundle with fiber FF and structure group GGL(F)G\subset \mathrm{GL}(F), one instead glues U×FU\times F to V×FV\times F by

(x,v)U(x,g(x)v)V. (x,v)_U \sim (x, g(x)\cdot v)_V .

If one uses more than two open sets, the clutching functions on overlaps must satisfy the on triple intersections; changing trivializations replaces gg by an .

Sphere case

For Sn=D+nDnS^n = D^n_+\cup D^n_- (two hemispheres), the overlap deformation retracts to Sn1S^{n-1}. Thus, a clutching function can often be taken as a map

g:Sn1G, g:S^{n-1}\to G,

and many classification results reduce to the homotopy class of this map.

Examples

  1. Möbius line bundle over S1S^1. The Möbius bundle is obtained by gluing the ends of [0,1]×R[0,1]\times\mathbb R via (0,v)(1,v)(0,v)\sim(1,-v). Interpreting this as a rank-1 real vector bundle over S1S^1, the clutching data is “1-1” in GL1(R)\mathrm{GL}_1(\mathbb R), producing a nontrivial bundle.

  2. Complex line bundles over S2S^2. Using the hemisphere cover of S2S^2, a clutching function is a map g:S1U(1)g:S^1\to U(1). The standard family

    gk(eiθ)=eikθ g_k(e^{i\theta}) = e^{ik\theta}

    yields the complex line bundles with first equal to kk.

  3. The tangent bundle of S2S^2. The nontriviality of TS2TS^2 can be exhibited by a clutching description with structure group SO(2)SO(2), where the overlap map S1SO(2)S^1\to SO(2) has degree 22.