Alphabeta Math
False statementConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedjudge pass (gpt-5.6-terra)audited 2026-09-22
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.

Every symplectic action is Hamiltonian

Statement

Every symplectic Lie-group action is Hamiltonian. This is false.

Facts & Assumptions

Given: ACω, the two-torus T2=R2/Z2 with ω=dx∧dy, and the translation action of G=R in the first coordinate.

[A1]

ACω is countable choice; it is used only through the fundamental-field interface.

[F1]

On the given standard smooth torus T2=R2/Z2 the forms dx,dy descend, ω=dx∧dy is symplectic, and ι∂xω=dy. A closed one-form with nonzero period on an oriented embedded circle is not exact (A nonzero period obstructs exactness and bounding).

[F2]

A smooth left action is jointly smooth and satisfies the identity and action laws; in the library convention its fundamental field is ξM(p)=ddt∣0exp⁡(−tξ)⋅p. Smooth left actions of Lie groups, Fundamental vector fields for a left action.

[F3]

A Hamiltonian action admits a map whose component for ξ satisfies dμξ=−ιξT2ω. Symplectic and Hamiltonian Lie-group actions.

Refutation

technique · direct
1.1F1F2givenalgebra

The displayed formula descends from the smooth translations (x,y)↦(x+t,y) of R2, and the identity and action laws hold by addition, so it is a smooth left action by [F2]. These translations preserve dx, dy and hence ω=dx∧dy, so the action is symplectic.

1.2F2F3algebra

By [F2] the fundamental field for ξ=1 is ddt∣0(−t)⋅p=−∂x. Thus the component equation would read dμ1=−ι−∂xω=ι∂xω=dy, so μ1 would be a primitive of dy.

2.1step 1.2F1

But dy has nonzero period: integrating it over the closed loop γ(t)=[(0,t)], 0≤t≤1, gives 1, while the integral of an exact one-form over a closed loop vanishes. Hence dy is not exact, and no such function μ1 exists.

3.1step 1.1step 2.1A1∎

The translation action is therefore symplectic but not Hamiltonian, so the statement is false.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

25 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