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 Lie algebra and root system do not determine the root datum
Statement refuted
The isomorphism class of the Lie algebra together with the abstract root system determines the root datum, and hence the split reductive group.
Facts & Assumptions
Given: AC, a field of characteristic , and the split reductive groups , over with their split maximal tori (the diagonal torus in ) and (its image in ).
The root data of the semisimple rank-one groups: for with one has , , and ; for with one has , , and with (Classification of split reductive groups of semisimple rank one, The root datum of a split reductive group, Structure of SL_2 and root coordinates).
and in characteristic : the differential of the central isogeny is an isomorphism of Lie algebras, both being the traceless matrices, and the root space decomposition is (Structure of SL_2 and root coordinates, Root subgroups of a split reductive group).
The centres are and , and via the natural central isogeny (Structure of SL_2 and root coordinates, Centre, radical and semisimple quotient of a reductive group); a root datum is determined by its lattices, roots and coroots, and an isomorphism of root data must carry roots bijectively onto roots and coroots onto coroots with compatible pairings (The root datum of a split reductive group, Combinatorics of a reduced root datum).
Counterexample
The Lie algebras agree and the abstract root systems agree: by [F2], , and both root systems are , abstractly the root system ; the groups are not isomorphic because their centres differ, by [F3].
The root data are nevertheless not isomorphic. Write and , so a -linear isomorphism carries the generator to . An isomorphism of root data must carry onto , in particular it must send the root to an element of . But because generates a free -lattice. Equivalently, is divisible by in while is not divisible by in : divisibility of a root in the character lattice is an invariant of root data. The same obstruction appears dually: is the full cocharacter lattice while has index in . Hence there is no isomorphism of quadruples .
Therefore the Lie algebra and the abstract root system , which are the same for the two groups in characteristic , do not determine the root datum or the group: the additional data are the position of the coroot lattice inside and the divisibility of the root in , and these separate the simply connected group from the adjoint group .
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
45 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
- J. S. Milne, Algebraic Groups (corrected 2022 printing, Cambridge University Press) (standard reference, not scraped)
- Florian Herzig, Linear Algebraic Groups (University of Toronto lecture notes, 2013) (standard reference, not scraped)