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.
The root-space decomposition classifies real semisimple Lie algebras with no extra data
Statement
The root-space decomposition of the complexification of a real semisimple Lie algebra determines that real Lie algebra up to isomorphism, with no further data.
Facts & Assumptions
Given: The complexification of a real Lie algebra is with the complex-bilinear bracket; an element is nilpotent when is a nilpotent endomorphism, as in Semisimple endomorphisms as endomorphisms diagonalisable over an algebraic closure, and nilpotent endomorphisms with from Derivations of Lie algebras; a real Lie algebra is semisimple when its radical vanishes (Simple, semisimple, and reductive Lie algebras); and is the algebra of The special linear Lie algebra sl_2, whose root-space decomposition over the Cartan subalgebra is the one supplied by Root-space decomposition.
In the basis the Killing form of satisfies , , and all other basis pairings vanish; over a characteristic-zero field, a finite-dimensional Lie algebra is semisimple if and only if its Killing form is nondegenerate (Killing form of sl_2, Cartan's semisimplicity criterion).
Refutation
Define the two real Lie algebras and , each under the commutator bracket. Both are closed under the bracket and are three-dimensional over : has basis as in the special linear case, while the general element of is with , .
Both real algebras are semisimple. For , the adjoint matrices in the real basis give the Killing matrix from [L1], whose determinant is nonzero. For , use the real basis . The same bracket computation gives the diagonal Killing matrix in this basis. Thus both Killing forms are nondegenerate, and [L1] makes both algebras semisimple.
Both complexify to . For this is clear from the real basis . For , the three real matrices , , belong to and are linearly independent over , so the complex span of is the three-dimensional space of traceless complex matrices. Hence both real algebras have the same complexification and therefore the same root-space decomposition over .
They are not isomorphic: an isomorphism of real Lie algebras preserves nilpotent elements, since it conjugates adjoint operators. The element is a nonzero nilpotent element of , because is nilpotent and nonzero. On the other hand has no nonzero nilpotent element: every is normal, hence diagonalisable over with purely imaginary eigenvalues , and the eigenvalues of on the complexification are the differences ; if all of them vanished then , so would be a scalar multiple of the identity and then forces .
Consequently the common complexification and its root-space decomposition do not determine the real semisimple Lie algebra: and are non-isomorphic real semisimple Lie algebras with the same complexification , whose root decomposition is that of the previous facts. Real forms therefore require extra data, and the statement is false.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
30 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 II (standard reference, not scraped)