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.
Volume chirality and Clifford–Hopf clutching
Statement
Let be an oriented Euclidean real vector bundle of rank and let be a real ungraded -module bundle, where . In an oriented orthonormal frame set . Then is frame-independent, has square , and its eigenspaces and are subbundles interchanged by multiplication by every unit vector . Gluing the pullbacks of and over the two disk halves of by along defines the associated Clifford–Hopf clutching bundle. If is additionally a graded module, preserves its parity and the eigenbundles are graded. Its relative clutching triple is ; the volume eigensplitting is distinct from both the module parity grading and the canonical word-length grading on the regular algebra.
Facts & Assumptions
Given: An oriented rank- Euclidean bundle , a real ungraded module bundle , and the negative-square convention .
A real ungraded module bundle has a continuous fiberwise unital action satisfying (Real graded Clifford-module bundles and their Grothendieck groups).
Orthogonal vectors anticommute under the polarized Clifford relation (Polarized relations in a Clifford algebra).
, , and use the metric disk/sphere conventions (Disk, sphere, and Thom spaces of a metric vector bundle).
Continuous transition maps satisfying the cocycle identities glue local product bundles to a vector bundle (Vector bundles are glued from transition cocycles).
Proof
In an oriented orthonormal frame the generators anticommute and each has square . Reversing the product order takes swaps, an even number; multiplying the generator squares contributes . Thus . For any orthonormal frame, pairwise anticommutation makes the product equal to the alternating product . This is an alternating multilinear function of the frame vectors. An oriented orthogonal change has determinant , so it leaves this top alternating product unchanged. Hence is frame-independent and, in local frames, varies continuously.
Moving any unit vector past the other orthogonal generators gives . If the module also has a parity grading, has even parity because is even, so it preserves and . The continuous maps are idempotents with and . In any local frame their matrix entries vary continuously, and the trace of an idempotent equals its rank, so each image rank is locally constant. At a point choose a basis of the image; applying to the same frame vectors remains independent on a neighborhood and spans the image there. Thus their images are complementary subbundles (graded when a parity grading is supplied). The anticommutation identity makes interchange their images, and for , so the interchange is an isomorphism.
Pull the two eigenbundles back to the two closed disk halves of . Thicken the halves slightly so their overlap is an equatorial collar; radial projection in each fiber identifies that collar continuously with , so extend the transition constantly along the radial coordinate. The opposite transition is , its inverse, and the two-chart cocycle is therefore satisfied. The quotient gluing theorem [F4] gives a vector bundle, and its relative disk/sphere triple is exactly . The volume eigenspaces are defined by , whereas an additional parity grading is the grading operator in [F1]; these are distinct constructions, and no identification between them is assumed.
Depends on
Used by
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
- Jost-Hinrich Eschenburg and Bernhard Hanke, Bott–Thom isomorphism, Hopf bundles and Morse theory (2021) (standard reference, not scraped)
- M. F. Atiyah, R. Bott, and A. Shapiro, Clifford Modules, Topology 3, Supplement 1 (1964) (standard reference, not scraped)
- M. F. Atiyah, K-Theory (lectures, notes by D. W. Anderson, 1967), with K-Theory and Reality reprint (standard reference, not scraped)