Alphabeta Math
False statementConstruction: 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 infinitesimal moment map is automatically equivariant

Statement

Every infinitesimal moment map is automatically coadjoint equivariant. This is false.

Facts & Assumptions

Given: ACω, the manifold M=R2 with ω=dxdy, and the translation action (a,b)(x,y)=(x+a,y+b) of G=R2.

[A1]

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

[F1]

The fundamental field of ξ=(a,b) is ξM=(ax+by), and the component equation is dμξ=ιξMω. Fundamental vector fields for a left action, Moment map, component Hamiltonians and infinitesimal moment maps.

[F2]

ω=dxdy is symplectic on R2, ιxω=dy and ιyω=dx. Symplectic form and symplectic manifold.

[F3]

The Poisson bracket satisfies {F,G}=ω(XF,XG) and XF is characterised by ιXFω=dF. Poisson bracket on a symplectic manifold.

[F4]

Equivariance of an infinitesimal moment map is equivalent to the vanishing of the defect c(ξ,η)={μξ,μη}μ[ξ,η]. The nonequivariance defect of an infinitesimal moment map is a constant Lie-algebra two-cocycle.

Refutation

technique · direct
1.1

Define μ:Mg=R2 by μ(x,y)=(y,x), so that μ(a,b)(x,y)=aybx. Then dμ(a,b)=adybdx, while by [F2] ιξMω=(ιax+byω)=ιax+byω=adybdx; hence the component equations hold for every ξ and μ is an infinitesimal moment map.

F1F2given
2.1

The Lie algebra g=R2 is abelian, so the coadjoint action is trivial and μ would be equivariant only if it were constant; it is not. Hence μ is not equivariant, and by [F4] its defect cannot vanish identically.

step 1.1F4
3.1

The defect is computed directly: for ξ=(1,0) and η=(0,1), μξ=y and μη=x, with {y,x}={y,x}=ω(Xy,Xx). Since ιxω=dy and ιyω=dx, one has Xy=x and Xx=y, so {y,x}=ω(x,y)=ω(x,y)=1; meanwhile [ξ,η]=0 and μ0=0. Thus c(ξ,η)=10, and μ is an infinitesimal moment map that is not equivariant.

step 2.1F3F4A1

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

37 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