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.
Rank-two systems A_2, B_2 and G_2
Example
The following configurations with six, eight and twelve roots in the plane realize and : for the six unit vectors spaced by , for the eight vectors , and for the twelve vectors of the explicit model. The off-diagonal Cartan products are respectively.
Facts & Assumptions
Given: The standard plane with orthonormal basis and the six unit vectors , .
The irreducible reduced crystallographic rank-two root systems are exactly , and for nonproportional roots the product of the two Cartan integers is with the corresponding length ratio (Rank-two root-system classification).
A reduced crystallographic Euclidean root system is a finite spanning set of nonzero vectors that is reduced, is preserved by every root reflection, and has integral Cartan integers; for a base its Cartan matrix has entries (Reduced crystallographic Euclidean root system, Cartan matrix of a based root system).
Verification
For take . This finite set spans the plane, is reduced, and each root reflection is a symmetry of the regular hexagon. Its Cartan integers are . Put and ; then is a positive system with base , and . Thus its Cartan matrix is and its off-diagonal Cartan product is .
For take . This finite set spans the plane, omits zero, and is reduced. The reflections in the coordinate roots change one sign, while those in interchange the coordinates with possible sign changes, so every root reflection preserves ; direct pairings give Cartan integers in . The roots and form a base, since the positive roots are . Moreover , , and , so the Cartan matrix for is and its off-diagonal Cartan product is .
For , choose with , , and put The Gram determinant is positive, so form a basis; the displayed coefficient pairs then show that is finite, spans the plane, omits zero, and is reduced. The reflection interchanges with and with , and fixes ; the reflection interchanges with and with , and fixes . Together with the images of and , these permutations show that the long and short roots are the two orbits of the simple reflections. Conjugating or therefore proves reflection closure for every root. Direct pairings give integral Cartan integers in . The six displayed unnegated roots are positive and have base , whose Cartan matrix is and whose off-diagonal Cartan product is .
By [L1] the three systems are exactly the irreducible rank-two reduced crystallographic systems, and the displayed Cartan products are those of respectively.
Depends on
Used by
- Positive roots and highest root of G₂ Example
- The root system A₁ Example
Dependency tree · two levels
10 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
- Pavel Etingof, MIT 18.745 Lie Groups and Lie Algebras I, Lectures 19-24 (standard reference, not scraped)