Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedprecheck passjudge pass (gpt-6-luna)verified 2026-11-04 (gpt-6.1-sol)
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 S1 have its positive orientation and let [γ] be the corresponding generator of H1(S1;Z)≅Z. For each θ∈R/Z, the formula hθ(z)=θ [z] defines a degree-two differential character on smooth integral 1-cycles. It has zero curvature and zero integral characteristic class, while hθ(γ)=θ. In particular, the holonomy is nontrivial when θ≠0; distinct values of θ give distinct flat characters with the same (I,R).

Facts & Assumptions

Given: The positive orientation on S1, the additive group R/Z, and the character convention of Cheeger–Simons differential character.

[F1]

Homology of spheres gives H1(S1;Z)≅Z and H2(S1;Z)=0.

[F2]

Topological universal coefficient short exact sequence for cohomology identifies H2(S1;Z) with the extension of Hom⁡(H2(S1),Z) by Ext⁡(H1(S1),Z); both groups vanish since H2=0 and H1≅Z is free.

[F3]

Smooth integral chains compute singular homology identifies smooth singular cycle classes with these ordinary homology classes.

[A1]

Full AC is The Axiom of Choice and is the assumption in the topological universal-coefficient theorem used for H2(S1;Z).

Proof

1.1F1F3givenalgebra

For a smooth integral 1-cycle z, define [z]∈Z by its homology class under [F1] and [F3]. Homology is additive, so z↦[z] is a homomorphism and hθ is a homomorphism. If c is any smooth integral 2-chain, then [∂c]=0 in homology; consequently hθ(∂c)=0=∫c0(modZ). The defining boundary identity holds with curvature 0.

2.1A1F1F2step 1.1algebra∎

By [F2] under [A1], H2(S1;Z)=0, so the characteristic class of every degree-two character on S1, including hθ, is zero. Its curvature was shown to be zero in step 1.1. On the positive fundamental cycle γ, [γ]=1, hence hθ(γ)=θ. If θ≠θ′ in R/Z, these values differ, so the characters are distinct despite equal I and R. This is an abstract mathematical example; it asserts no physical measurement.

Depends on

Dependency tree · 2 levels