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 Cartan matrix determines a based root system
Statement
Let and be reduced crystallographic root systems with bases and and Cartan matrices and (Cartan matrix of a based root system). If then the linear map with for all is an isomorphism of root systems; in particular .
Facts & Assumptions
Given: Based reduced crystallographic root systems and with the same Cartan matrix , and the linear map sending to .
and are bases of and , and every root is a unique integral combination of its base with coefficients of one sign (Simple roots form a signed integral basis, Positive systems and simple roots).
, and the same formula with primes holds in because (Cartan matrix of a based root system).
The Gram matrix of the simple roots satisfies , and is positive definite; the numbers determine up to one positive scalar on each connected component of the graph with edges (Properties of finite-type Cartan matrices).
Proof
Every root of is Weyl-conjugate to a simple root. Indeed, let be positive and not simple. Since , some satisfies . Put . Crystallographic integrality gives , and reflection invariance gives . Its height is . It cannot be negative: if it were, then all its simple-root coefficients would be nonpositive by [L1], whereas its coefficient at every is ; hence all for would vanish, making a positive scalar multiple of , and reducedness would force , contrary to assumption. Thus successive simple reflections strictly lower positive height until a simple root is reached. Inverting those reflections proves the claim.
With the row index first and column index second, the matrix of in the basis has entries by [L2]; it is therefore determined by , and the corresponding matrix for in the basis is the same. Hence for all , because both sides are linear and agree on the basis : .
Consequently carries the Weyl orbit of onto the Weyl orbit of , and by step 1.1 (applied to and to ) it carries onto ; in particular is a linear isomorphism, since it maps the basis onto the basis .
It remains to check that preserves Cartan integers. By [L3] the Gram matrices and satisfy and are positive definite; for indices joined by an edge one has and , so ; by connectivity along edges the ratios are constant on each connected component of the graph on with edges . Define a second inner product on by . Its Gram matrix in the basis is , which differs from by a positive scalar on each connected component; therefore for roots of the Cartan integers computed with and with agree, because scaling an inner product on a component by multiplies both and by when lie in that component and gives otherwise. Since by step 2.1, is an isomorphism of root systems.
Depends on
Used by
Dependency tree · two levels
8 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)
- Pavel Etingof, MIT 18.745 Lie Groups and Lie Algebras I, Lectures 19-24 (standard reference, not scraped)