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

All real forms of a complex semisimple lie algebra are isomorphic

Statement

False: all real forms of a complex semisimple Lie algebra are isomorphic.

Facts & Assumptions

Given: The complex Lie algebra sl2(C) with its real forms su(2)={Xsl2(C):X=X} and sl2(R), and the basis h=(1001), e=(0100), f=(0010) of sl2(R) with [h,e]=2e, [h,f]=2f, [e,f]=h.

[L1]

A compact real form of a complex semisimple Lie algebra is a real form whose Killing form is negative definite, and a split real form is a real form containing a Cartan subalgebra whose adjoint operators are diagonalizable over R (Compact real form of a complex semisimple Lie algebra, Split real form).

[L2]

On sl2(R) the Killing form takes the values B(h,h)=8, B(e,e)=B(f,f)=0, B(e,f)=4, and B(ef,ef)=8 (Killing form of sl_2, Killing form).

[L3]

The matrices e,f,h form a real basis of sl2(R) and a complex basis of sl2(C), and sl2(R) is a split real form of sl2(C); the unitary algebra su(2) has real basis ih, ef, i(e+f) and is the compact real form of sl2(C) (The special linear Lie algebra sl_2, Classical complex matrix Lie algebras, Split real form, Compact real form of a complex semisimple Lie algebra).

Refutation

technique · counterexample
1.1

The algebra sl2(R) is a real form of sl2(C): the h,e,f form a real basis of sl2(R) and a complex basis of sl2(C), so the complex-linear extension sl2(R)RCsl2(C) is an isomorphism; hence sl2(R) is a real form, and it is the split real form because the adjoint operators of the real diagonal Cartan subalgebra Rh are diagonal with real eigenvalues.

L1L3
1.2

The unitary algebra su(2) is a real form of sl2(C): the map σ(X)=X is a conjugate-linear involutive automorphism of sl2(C) with fixed locus su(2), and su(2) has real basis ih, ef, i(e+f).

L3
2.1

The Killing form is negative definite on su(2) and takes a positive value on sl2(R): using [L2] and the basis of [L3], B(ih,ih)=B(h,h)=8, B(ef,ef)=8, B(i(e+f),i(e+f))=2B(e,f)=8, and the mixed values B(ih,ef)=iB(h,ef)=0, B(ih,i(e+f))=B(h,e+f)=0, B(ef,i(e+f))=iB(ef,e+f)=0 vanish by [L2], so B is 8 times a positive definite form on su(2); while B(h,h)=8>0 on the nonzero element hsl2(R), which is therefore not a compact Lie algebra.

L2L3step 1.2
3.1

Isomorphisms preserve the Killing form: if φ ⁣:g1g2 is an isomorphism of real Lie algebras, then adφX=φadXφ1, so B2(φX,φY)=tr(adφXadφY)=tr(φadXadYφ1)=B1(X,Y). Hence an isomorphism would carry the negative definite form on su(2) to the restriction of the Killing form of sl2(R), which by step 2.1 is not negative definite; consequently su(2) and sl2(R) are not isomorphic real Lie algebras.

L2step 2.1
4.1

By steps 1.1 and 1.2 both su(2) and sl2(R) are real forms of the complex semisimple Lie algebra sl2(C), and by step 3.1 they are not isomorphic; the statement that all real forms of a complex semisimple Lie algebra are isomorphic is therefore false.

step 1.1step 1.2step 3.1

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

14 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