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 degenerate isolated fixed point with nonzero local index
Example
Assume AC (The Axiom of Choice). The polynomial defines a smooth self-map of the Riemann sphere whose fixed points are exactly and . The fixed point is isolated but degenerate: and is not invertible (Isolated fixed points need not be nondegenerate). Nevertheless its local index is defined and equals (Isolated fixed point and local fixed point index), and the index of the second fixed point, , is ; the index sum is , in agreement with the Lefschetz–Hopf formula Lefschetz-Hopf index formula and with the degree computation for a self-map of of degree (Algebraic Lefschetz number via rational homology traces, Homology of spheres).
Verification
Given: The map on , extended to by .
[F1] The fixed point is isolated and degenerate, with (Isolated fixed points need not be nondegenerate, Isolated fixed point and local fixed point index); at the chart turns into with displacement , which vanishes only at with invertible linear part , so (The index of a nondegenerate fixed point is the sign of det(I-Df)).
[F2] is in degrees and zero otherwise; a self-map of of degree has (Homology of spheres, Algebraic Lefschetz number via rational homology traces, Degree of a self map of an oriented sphere).
The indices. The fixed point equation on is , so is the only finite fixed point and it is isolated; in the chart at infinity, the fixed point equation is , i.e. , so is the other fixed point. By [F1] the two indices are and , so the geometric Lefschetz number is ; the point is degenerate, so the determinant formula The index of a nondegenerate fixed point is the sign of det(I-Df) does not apply to it, and the value comes from the explicit degree computation of the displacement on a small circle.
The Lefschetz number agrees. The expression is smooth near infinity, so the polynomial extends smoothly. The finite value has exactly two distinct preimages solving , namely ; at each the derivative is nonzero complex multiplication by , of positive real determinant. Infinity maps to infinity and is not a preimage of . Hence is a regular value and Regular-value formula for degree gives degree , so by [F2] . Hence even though the fixed point at is degenerate: the index formula holds for isolated fixed points and does not require nondegeneracy, which is exactly the content of Lefschetz-Hopf index formula.
Depends on
- Isolated fixed point and local fixed point index
- Isolated fixed points need not be nondegenerate
- Lefschetz-Hopf index formula
- The index of a nondegenerate fixed point is the sign of det(I-Df)
- Geometric Lefschetz number (index sum)
- Degree of a self map of an oriented sphere
- Path-homotopic based circle loops have the same degree
- Regular-value formula for degree
- Homology of spheres
- Algebraic Lefschetz number via rational homology traces
- The Axiom of Choice
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
67 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
- Victor Guillemin and Alan Pollack, Differential Topology (Prentice-Hall 1974; complete 236-page PDF) (standard reference, not scraped)
- Peter Wong, Lectures on Fixed Point Theory, Mini-Course XV Encontro Brasileiro de Topologia, Rio Claro 2006 (complete notes) (standard reference, not scraped)