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.
Flat circle character with nontrivial holonomy
Statement
Assume full AC. Let have its positive orientation and let be the corresponding generator of . For each , the formula defines a degree-two differential character on smooth integral -cycles. It has zero curvature and zero integral characteristic class, while . In particular, the holonomy is nontrivial when ; distinct values of give distinct flat characters with the same .
Statement references
Facts & Assumptions
Given: The positive orientation on , the additive group , and the character convention of Cheeger–Simons differential character.
Homology of spheres gives and .
Topological universal coefficient short exact sequence for cohomology identifies with the extension of by ; both groups vanish since and is free.
Smooth integral chains compute singular homology identifies smooth singular cycle classes with these ordinary homology classes.
Full AC is The Axiom of Choice and is the assumption in the topological universal-coefficient theorem used for .
Proof
For a smooth integral -cycle , define by its homology class under [F1] and [F3]. Homology is additive, so is a homomorphism and is a homomorphism. If is any smooth integral -chain, then in homology; consequently . The defining boundary identity holds with curvature .
By [F2] under [A1], , so the characteristic class of every degree-two character on , including , is zero. Its curvature was shown to be zero in step 1.1. On the positive fundamental cycle , , hence . If in , these values differ, so the characters are distinct despite equal and . This is an abstract mathematical example; it asserts no physical measurement.