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.
Classical aspherical Hamiltonian Floer data
Definition
Let be a closed symplectic manifold, where closed means compact and without boundary. Fix a smooth one-periodic Hamiltonian with , and a smooth one-periodic family of -compatible almost-complex structures . A contractible one-periodic orbit is a smooth loop admitting a cap and satisfying . It is nondegenerate if is not an eigenvalue of the derivative of the time-one return map at .
Assume the spherical period maps vanish: and for every . The local recapping result then makes the action and Conley–Zehnder grading independent of the cap. Let be the set of contractible nondegenerate one-periodic orbits. The classical aspherical chain module is the algebraic direct sum so each vector has finite support. The coefficient field removes orientation signs. This is only the orbit, action, grading, and module data; no Floer differential, compactness, transversality, or continuation theorem is asserted.