geometry-topology / Symplectic topology; Hamiltonian fixed points, Morse theory

The Morse-number Arnold conjecture for nondegenerate Hamiltonian diffeomorphisms

Theorem 1.1: there are a closed symplectic 12-manifold and a one-periodic Hamiltonian with all fixed points nondegenerate and contractible and #Fix=χ(M)+128<Morse(M)\#\mathrm{Fix}=\chi(M)+128<\mathrm{Morse}(M); Corollary 1.2 makes Morse(M)−#Fix\mathrm{Morse}(M)-\#\mathrm{Fix} arbitrarily large (the manifold depends on the deficit). The mechanism: the augmentation ideal of A5kA_5^k needs two generators while d(A5k)d(A_5^k) is unbounded, realized by relative handle cancellation on X×R8X\times\mathbb R^8. The fixed-point count still exceeds the homological (Floer) bounds. The examples are not simply connected; the October 5 companions give simply connected Kahler examples below the stable Morse number.

35Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 23, 2026Significance 35/100Registry: contested

The Morse-number Arnold conjecture for nondegenerate Hamiltonian diffeomorphisms

Prior state unknown→disproved

Theorem 1.1: there are a closed symplectic 12-manifold and a one-periodic Hamiltonian with all fixed points nondegenerate and contractible and #Fix=χ(M)+128<Morse(M)\#\mathrm{Fix}=\chi(M)+128<\mathrm{Morse}(M); Corollary 1.2 makes Morse(M)−#Fix\mathrm{Morse}(M)-\#\mathrm{Fix} arbitrarily large (the manifold depends on the deficit). The mechanism: the augmentation ideal of A5kA_5^k needs two generators while d(A5k)d(A_5^k) is unbounded, realized by rel…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review! Disputed

Research memory

Claims and attempts

Scoped claims

Disputed

Theorem 1.1: there are a closed symplectic 12-manifold and a one-periodic Hamiltonian with all fixed points nondegenerate and contractible and #Fix=χ(M)+128<Morse(M)\#\mathrm{Fix}=\chi(M)+128<\mathrm{Morse}(M); Corollary 1.2 makes Morse(M)−#Fix\mathrm{Morse}(M)-\#\mathrm{Fix} arbitrarily large (the manifold depends on the deficit). The mechanism: the augmentation ideal of A5kA_5^k needs two generators while d(A5k)d(A_5^k) is unbounded, realized by relative handle cancellation on X×R8X\times\mathbb R^8. The fixed-point count still exceeds the homological (Floer) bounds. The examples are not simply connected; the October 5 companions give simply connected Kahler examples below the stable Morse number.

The release says: 'Ma [Theorem 1.5] asserted that the minimum number of fixed points over all Hamiltonian diffeomorphisms always equals Crit(M). Theorem 1.1 contradicts that assertion' (degenerate paper) and 'Ma's preprint asserts that the minimum number of fixed points of a nondegenerate Hamiltonian diffeomorphism always equals the ordinary Morse number ... Theorem 1.1 contradicts that unrestricted assertion' (Morse-number paper). The other side: R. Ma, Proofs on Arnold conjectures, arXiv 0808.0613v7 (2013), Theorem 1.5, claims these lower bounds hold in general. Ma's preprint is unpublished; no referee has ruled between them. Theorem 1.1: there are a closed symplectic 12-manifold and a one-periodic Hamiltonian with all fixed points nondegenerate and contractible and #Fix=χ(M)+128<Morse(M)\#\mathrm{Fix}=\chi(M)+128<\mathrm{Morse}(M); Corollary 1.2 makes Morse(M)−#Fix\mathrm{Morse}(M)-\#\mathrm{Fix} arbitrarily large (the manifold depends on the deficit). The mechanism: the augmentation ideal of A5kA_5^k needs two generators while d(A5k)d(A_5^k) is unbounded, realized by relative handle cancellation on X×R8X\times\mathbb R^8. The fixed-point count still exceeds the homological (Floer) bounds. The examples are not simply connected; the October 5 companions give simply connected Kahler examples below the stable Morse number.

Recorded attempts

Evidence graph

Connected research record