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.
A free circle orbit has zero localized Borel cohomology
Example
Assume AC. Let act on by left translation , and use the product Milnor Borel model with . This action has no fixed point. The map identifies with , so in degree zero and is zero in positive degrees. Every positive-degree class in acts as zero, so localization at the nontrivial character classes gives , agreeing with restriction to the empty fixed set.
Example references
[Character localization and Borel conventions] Character localization in Borel equivariant cohomology
[Contractible free Milnor model] Milnor's join model is a contractible free G-space
[Compact-torus Borel localization theorem] Borel localization for compact torus actions
[Orbit-isotropy support argument] Atiyah–Bott, Section 3, printed pp. 5–8
Facts & Assumptions
Given: AC, the left translation action, the selected right Milnor model, and .
Assume AC, as required by the character-localization and Borel localization suppliers. The Axiom of Choice
The Borel quotient uses , and is contractible with a free right -action. Character localization in Borel equivariant cohomology Milnor's join model is a contractible free G-space
Homotopy-equivalent spaces have isomorphic singular cohomology with coefficients in . Homotopy invariance of singular cohomology with field coefficients
The localization set contains the class of the nontrivial weight-one character. For both and this is a nonzero degree-two class in , under [A1]. Character localization in Borel equivariant cohomology
Under AC, for a smooth action of a product torus on a compact finite-dimensional Hausdorff second-countable smooth manifold without boundary, the theorem identifies localized Borel cohomology with that of the fixed set, including the empty-set case. Borel localization for compact torus actions
Verification
Given: AC and the action and Borel conventions in the Example.
Translation has no fixed point: translation by moves every . Define . If is replaced by , then , so is well-defined. Its inverse is , where is the identity of the additive circle: , and the quotient relation gives . Both maps are continuous by the quotient topology, hence . Contractibility of and [F2] give cohomology in degree zero and zero in positive degrees.
The projection is null-homotopic because is contractible, so every positive-degree element of pulls back to zero and acts by zero on . In particular the invertible denominator annihilates every class; for any , in the localization. The circle is a compact smooth manifold without boundary and translation is jointly smooth, so [F4] applies under [A1] and agrees with the zero cohomology of the empty fixed set.