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 cartan subalgebras of a real semisimple lie algebra are conjugate
Statement
False: all Cartan subalgebras of a real semisimple Lie algebra are conjugate.
Facts & Assumptions
Given: The real Lie algebra with basis , , and , and the two lines and .
is semisimple: its Killing form has matrix in the basis , which is nondegenerate, and a finite-dimensional Lie algebra over a characteristic-zero field is semisimple if and only if its Killing form is nondegenerate (Cartan's semisimplicity criterion, Real Cartan subalgebras need not be conjugate).
A Cartan subalgebra of a Lie algebra is a nilpotent subalgebra equal to its own normalizer, and a one-dimensional abelian subalgebra is nilpotent (Cartan subalgebra).
In the lines and are Cartan subalgebras, is the split part and is the compact part of the Cartan decomposition attached to , and there is no automorphism of with : such an would satisfy for the automorphism-invariant Killing form, that is for , , which is impossible (Real Cartan subalgebras need not be conjugate, The special linear Lie algebra sl_2).
Refutation
In the real semisimple Lie algebra the two one-dimensional subspaces and are Cartan subalgebras by [L3] and [L2], and is semisimple by [L1]; the two lines are distinct, since is not a real multiple of .
The two Cartan subalgebras are not conjugate by any automorphism of , hence not by any inner automorphism either, because every inner automorphism is an automorphism: by [L3] no automorphism carries onto , the obstruction being the sign of the -squared length, which an automorphism must preserve because the Killing form is invariant under every automorphism.
Therefore a real semisimple Lie algebra can contain two Cartan subalgebras that are not conjugate — the compact Cartan line and the split Cartan line of — and the statement that all Cartan subalgebras of a real semisimple Lie algebra are conjugate is false.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
19 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)