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 with its real forms and , and the basis , , of with , , .
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 (Compact real form of a complex semisimple Lie algebra, Split real form).
On the Killing form takes the values , , , and (Killing form of sl_2, Killing form).
The matrices form a real basis of and a complex basis of , and is a split real form of ; the unitary algebra has real basis , , and is the compact real form of (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
The algebra is a real form of : the form a real basis of and a complex basis of , so the complex-linear extension is an isomorphism; hence is a real form, and it is the split real form because the adjoint operators of the real diagonal Cartan subalgebra are diagonal with real eigenvalues.
The unitary algebra is a real form of : the map is a conjugate-linear involutive automorphism of with fixed locus , and has real basis , , .
The Killing form is negative definite on and takes a positive value on : using [L2] and the basis of [L3], , , , and the mixed values , , vanish by [L2], so is times a positive definite form on ; while on the nonzero element , which is therefore not a compact Lie algebra.
Isomorphisms preserve the Killing form: if is an isomorphism of real Lie algebras, then , so . Hence an isomorphism would carry the negative definite form on to the restriction of the Killing form of , which by step 2.1 is not negative definite; consequently and are not isomorphic real Lie algebras.
By steps 1.1 and 1.2 both and are real forms of the complex semisimple Lie algebra , 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.
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
- Anthony W. Knapp, Lie Groups Beyond an Introduction, 2nd ed., Chapter VI (standard reference, not scraped)