Alphabeta Math
False statementConstruction: AI-adaptedVerification: 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.

Not every abstract dominant weight integrates

Statement

Assume the Axiom of Choice. Every dominant weight in the abstract weight lattice P integrates to a representation of every compact group form with the given Lie algebra.

Facts & Assumptions

Given: Assume the Axiom of Choice, the group SO(3) (the adjoint form of type A1) with maximal torus T, and the fundamental weight ω of the type A1 root system.

[L1]

Irreducible finite-dimensional representations of a compact connected G are classified by the dominant elements of the actual character lattice X(T) (Highest weights for compact connected groups).

[L2]

For type A1 the weight lattice is P=Zω with root lattice Q=2Zω, and the adjoint form has character lattice X(T)=Q (Root and weight lattice sandwich, Root, coroot, weight, and coweight lattices).

Refutation

technique · direct
1.1

The fundamental weight ω is dominant in P, and it is not an element of Q=2Zω; hence for the adjoint form SO(3), whose character lattice is Q by [L2], the weight ω lies outside X(T).

L2
2.1

If some irreducible finite-dimensional representation of SO(3) had highest weight ω, then ω would be a dominant element of the actual character lattice X(T) by the classification in [L1]; this contradicts step 1.1.

L1step 1.1
3.1

Therefore ω is a dominant weight of the abstract weight lattice that does not integrate to the compact group form SO(3); the correct statement is the classification by dominant elements of the actual character lattice X(T), between Q and P, and the failure is exactly the finite central quotient obstructing the descent of the SU(2)-representation of highest weight ω.

L1step 1.1step 2.1

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

32 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