How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Normalized clutching data for bundles over X×S²
Statement
Assume AC and let be compact Hausdorff. Every complex vector bundle on is represented, after adding a trivial bundle if necessary, by data : two copies of on glued along by a bundle automorphism , normalized by . For a fixed bundle, different choices of normalized hemisphere trivializations give homotopic normalized clutching maps. Homotopies through normalized automorphisms give isomorphic stabilized bundles.
Facts & Assumptions
Given: AC, a compact Hausdorff space , and a finite-rank complex bundle on .
Under AC, bundle pullback is invariant under homotopy (Homotopy invariance of vector-bundle pullback).
The fixed clutching definition supplies the upper-to-lower convention (Clutching construction for bundles over a suspension). Applying the transition-cocycle construction in local charts of , also with an interval parameter, glues two copies of by an equatorial bundle automorphism and turns a homotopy of such automorphisms into a bundle over the parameter cylinder (Vector bundles are glued from transition cocycles).
Under AC, finite complements and common trivial stabilization are available (Finite-rank complement theorem over compact Hausdorff bases, Equality in K⁰ is stable isomorphism over compact bases).
AC is used through [F1] and [F3].
Proof
Let and be the closed hemispheres. Each inclusion is a homotopy inverse to projection. By [F1], there are bundles on and isomorphisms . In these trivializations, is obtained by an equatorial isomorphism .
At , is an isomorphism . Identify with by . In the fixed coefficient convention the transition becomes , which equals the identity at . Thus with normalized .
If and are two normalized hemisphere trivializations of the same bundle, their ratios are maps with . The straight contraction of each disk to fixes , so composing with it gives homotopies to the identity through maps still equal to at . Applying these changing gauges to the equatorial transition gives a homotopy between the two normalized clutching maps.
For a virtual class, [F3] complements its negative bundle into a finite trivial bundle and then applies steps 1.1–3.1 to the resulting actual bundle; this is the optional stabilization in the statement.
A normalized homotopy glues, by [F2], a bundle on . Its endpoint restrictions are isomorphic by [F1]. The normalization keeps the chosen common bundle and basepoint frame fixed, and adding trivial summands before the homotopy gives the same conclusion for stabilized data.
Depends on
Used by
Dependency tree · two levels
17 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Hatcher, Vector Bundles & K-Theory, proof of Theorem 2.2 (standard reference, not scraped)