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.
The complex K-ring of S²
Example
Assume AC. Let be the complex line bundle on clutched by , and put . Then
If the two hemispheres are interchanged, the clutching coordinate is inverted, so the resulting generator is .
Facts & Assumptions
Given: the clutching orientation for and AC.
The Hopf-line calculation gives the displayed ring presentation and says that are an additive basis (Hopf-line calculation of K⁰(S²)).
Interchanging the two cones in a clutching construction replaces a transition function by (Clutching construction for bundles over a suspension).
AC is inherited from [F1]; the algebraic convention calculation itself uses no further choice.
Verification
By [F1], is generated by and , the only polynomial relation is , and both generators are additively independent. This proves both displayed descriptions, including the zero reduced summand only when its integer coefficient is zero.
The class of is . Since is the tensor inverse of , its class is the multiplicative inverse of . The relation gives , so and .
By [F2], reversing the hemispheres changes the loop to , which clutches the dual line . Step 2.1 therefore proves that this convention reverses the Bott generator and leaves the square-zero presentation unchanged.
Depends on
Used by
- The complex K-ring of CPⁿ Example
Dependency tree · two levels
11 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, Corollary 2.3 (standard reference, not scraped)
- May, A Concise Course in Algebraic Topology, Chapter 24 §2 (standard reference, not scraped)