Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedaudited 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.

An irrational flow on a symplectic torus is symplectic but not Hamiltonian

Statement refuted

The constant flow of irrational slope on the symplectic two-torus is Hamiltonian. This is false: it is symplectic, and no global Hamiltonian function exists for it.

Facts & Assumptions

Given: ACω, the two-torus T2=R2/Z2 with ω=dxdy, and the vector field X=ax+by of irrational slope with (a,b)(0,0).

[A1]

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

[F1]

In the standard smooth quotient coordinates on the given torus T2=R2/Z2, dx and dy descend to global one-forms and ω=dxdy is the stated symplectic form. A closed one-form with nonzero period on an oriented embedded circle is not exact (A nonzero period obstructs exactness and bounding).

[F2]

A vector field X is Hamiltonian exactly when ιXω=dH for a smooth function H (Hamiltonian vector field and Hamiltonian function). A smooth action is symplectic when every action map preserves ω; a Hamiltonian action has a moment map satisfying dμξ=ιξMω (Symplectic and Hamiltonian Lie-group actions).

[F3]

The fundamental field of the translation action t[(x,y)]=[(x+at,y+bt)] is (ax+by). Fundamental vector fields for a left action.

Counterexample

technique · direct
1.1

Small open rectangles of side lengths less than one in R2 project injectively to quotient charts of T2; their transition maps are integer translations. They therefore define a smooth atlas on the topological torus of The two-dimensional torus T2=(R/Z)2. Integer translations preserve dx,dy, so these forms descend, and dxdy is closed and nondegenerate in every chart. The translation maps φt[(x,y)]=[(x+at,y+bt)] are well-defined and smooth for all real t, satisfy φs+t=φsφt and φ0=id, and have derivative in t equal to X. Their coordinate differentials are the identity, so φtω=ω. The field X=ax+by is symplectic: ιXω=adybdx is closed because its coefficients are constants, its complete flow preserves ω as just computed.

F1F2given
2.1

Its contraction is not exact: integrating adybdx around the two generating loops gives the periods a and b, and at least one of them is nonzero because (a,b)(0,0). By [F1] this one-form is not exact, so no Hamiltonian function exists.

step 1.1F1F2
3.1

Equivalently, the flow of X is the action t[(x,y)]=[(x+at,y+bt)] of R on T2, which is symplectic by step 1.1; its fundamental field is X by [F3], and the moment equation for ξ=1 would require a function with dμ1=ιXω, again impossible by step 2.1.

step 1.1step 2.1F2F3
4.1

The irrational constant flow is therefore a symplectic action that is not Hamiltonian, refuting the statement.

step 1.1step 2.1A1

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

26 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