Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedjudge pass (gpt-6-luna)
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 V→X be an oriented Euclidean real vector bundle of rank n=4m>0 and let Λ be a real ungraded C(V)-module bundle, where C(V)=Cl(V,−⟨⋅,⋅⟩). In an oriented orthonormal frame (e1,…,en) set ω=c(e1)⋯c(en). Then ω is frame-independent, has square 1, and its eigenspaces Λ+ and Λ− are subbundles interchanged by multiplication by every unit vector v. Gluing the pullbacks of Λ+ and Λ− over the two disk halves of S(R⊕V) by c(v):Λ+→Λ− along S(V) 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 (Λ+,c(v),Λ−); the volume eigensplitting is distinct from both the module parity grading and the canonical word-length grading C(V)=C(V)0⊕C(V)1 on the regular algebra.

Facts & Assumptions

Given: An oriented rank-4m Euclidean bundle V→X, a real ungraded module bundle Λ, and the negative-square convention c(v)2=−∥v∥2I.

[F1]

A real ungraded module bundle has a continuous fiberwise unital action satisfying c(v)2=−∥v∥2I (Real graded Clifford-module bundles and their Grothendieck groups).

[F2]

Orthogonal vectors anticommute under the polarized Clifford relation (Polarized relations in a Clifford algebra).

[F3]

D(V), S(V), and S(R⊕V) use the metric disk/sphere conventions (Disk, sphere, and Thom spaces of a metric vector bundle).

[F4]

Continuous transition maps satisfying the cocycle identities glue local product bundles to a vector bundle (Vector bundles are glued from transition cocycles).

Proof

technique · oriented volume algebra and continuous idempotents
1.1givenF2algebra

In an oriented orthonormal frame the generators anticommute and each has square −1. Reversing the product order takes n(n−1)/2=2m(4m−1) swaps, an even number; multiplying the n generator squares contributes (−1)4m=1. Thus ω2=1. For any orthonormal frame, pairwise anticommutation makes the product equal to the alternating product Alt⁡(v1,…,vn)=1n!∑σsgn⁡(σ)c(vσ(1))⋯c(vσ(n)). This is an alternating multilinear function of the frame vectors. An oriented orthogonal change has determinant +1, so it leaves this top alternating product unchanged. Hence ω is frame-independent and, in local frames, varies continuously.

2.1givenF1F2step 1.1algebra

Moving any unit vector v past the other n−1 orthogonal generators gives ωc(v)=(−1)n−1c(v)ω=−c(v)ω. If the module also has a parity grading, ω has even parity because n is even, so it preserves Λ0 and Λ1. The continuous maps p±=(I±ω)/2 are idempotents with p+p−=0 and p++p−=I. 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 p± 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 c(v) interchange their images, and c(v)−1=−c(v) for ∥v∥=1, so the interchange is an isomorphism.

3.1F1F3F4step 2.1construct∎

Pull the two eigenbundles back to the two closed disk halves of S(R⊕V). Thicken the halves slightly so their overlap is an equatorial collar; radial projection in each fiber identifies that collar continuously with S(V), so extend the transition c(v) constantly along the radial coordinate. The opposite transition is −c(v), 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 (Λ+,c(v),Λ−). 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