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.
Degree is not defined by top homology for self maps of s zero
Statement refuted
The unreduced top-homology scalar definition of degree does not extend unchanged to : , and the transposition induces a nonscalar matrix. In contrast, the separate scalar invariant on is well defined and has possible values .
Facts & Assumptions
Given: The objects and hypotheses in the statement above.
Let . Choose a generator of , using cor-homology-of-spheres. For a continuous self-map , its degree is the unique integer satisfying The induced map is furnished by prop-relative-homology-is-functorial-for-maps-of-pairs with empty subspaces. Replacing the same generator in source and target by its negative does not change the integer. For a map between separately oriented copies of , use their separately specified generators; reversing just one orientation changes the sign. The unreduced definition here is restricted to . (Degree of a self map of an oriented sphere)
For , is for and otherwise. For , and all other reduced groups vanish. Thus for , whereas . (Homology of spheres)
For an unreduced theory and a nonempty based CW space with a vertex, set The basepoint inclusion satisfies and splits this augmentation. The underlying ordinary theory is as in def-unreduced-homology-theory-on-cw-pairs. Independently, a reduced ordinary theory on based CW spaces consists of homotopy-invariant covariant functors , natural suspension isomorphisms , exact cofiber sequences, and arbitrary wedge additivity. More explicitly, for every based CW inclusion , is exact; the boundary in the extended sequence is the cofiber map to followed by . The suspension here is reduced suspension. The dimension axiom is for , with . Wedge additivity includes the empty wedge and gives . The empty space is not a based object. If its reduced groups are mentioned, this library uses in all degrees, as in def-zero-simplex-augmentation-and-reduced-singular-homology. The augmented-chain convention is a different extension and is not used here. (Reduced homology theory and augmentation)
Counterexample
Write and use the point classes as the ordered basis of , consistently with [F2]. A map sends a point class to the class of its image. Hence, with columns recording images, the identity, transposition, constant-, and constant- maps induce respectively , , , and . These are all four maps of a two-point discrete space. In particular the transposition matrix is not an integer multiple of the identity; the rank-one hypothesis of [F1] is absent.
The augmentation of [F3] is . Its kernel has generator . The four matrices in step 1.1 act on this generator as , respectively. Thus reduced degree exists in this case, but is a different convention from the unreduced definition restricted to positive-dimensional spheres.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
8 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
- Hatcher, Algebraic Topology, Degree opening paragraph, p.134, excludes n=0 (standard reference, not scraped)