Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedjudge pass (gpt-6.1-sol)
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 k of characteristic ≠2, and the split reductive groups G1=SL2, G2=PGL2 over k with their split maximal tori T1 (the diagonal torus in SL2) and T2 (its image in PGL2).

[F1]

The root data of the semisimple rank-one groups: for SL2 with X(T1)=Zχ1 one has Φ1={±2χ1}, α1∨=χ1∨, and X∗(T1)=Zχ1∨; for PGL2 with X(T2)=Zχ2 one has Φ2={±χ2}, α2∨=2χ2∨, and X∗(T2)=Zχ2∨ with Zα2∨=2Zχ2∨ (Classification of split reductive groups of semisimple rank one, The root datum of a split reductive group, Structure of SL_2 and root coordinates).

[F2]

Lie⁡(SL2)=sl2 and Lie⁡(PGL2)=sl2 in characteristic ≠2: the differential of the central isogeny SL2→PGL2 is an isomorphism of Lie algebras, both being the 2×2 traceless matrices, and the root space decomposition is sl2=t⊕gα⊕g−α (Structure of SL_2 and root coordinates, Root subgroups of a split reductive group).

[F3]

The centres are Z(SL2)=μ2 and Z(PGL2)=1, and PGL2=SL2/μ2 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

1.1F1F2F3givenalgebra

The Lie algebras agree and the abstract root systems agree: by [F2], Lie⁡(G1)≅Lie⁡(G2)≅sl2, and both root systems are {±α}, abstractly the root system A1; the groups are not isomorphic because their centres differ, μ2≠1 by [F3].

2.1F1F3step 1.1algebra

The root data are nevertheless not isomorphic. Write X1=X(T1)=Zχ1 and X2=X(T2)=Zχ2, so a Z-linear isomorphism f:X1→X2 carries the generator χ1 to ±χ2. An isomorphism of root data must carry Φ1 onto Φ2, in particular it must send the root α1=2χ1 to an element of Φ2={±χ2}. But f(2χ1)=±2χ2∉{±χ2} because χ2 generates a free Z-lattice. Equivalently, α1 is divisible by 2 in X1 while α2=χ2 is not divisible by 2 in X2: divisibility of a root in the character lattice is an invariant of root data. The same obstruction appears dually: Zα1∨=X∗(T1) is the full cocharacter lattice while Zα2∨=2Zχ2∨ has index 2 in X∗(T2). Hence there is no isomorphism of quadruples (X,Φ,X∨,Φ∨).

3.1F1F2F3step 2.1algebra∎

Therefore the Lie algebra sl2 and the abstract root system A1, which are the same for the two groups in characteristic ≠2, do not determine the root datum or the group: the additional data are the position of the coroot lattice Zα∨ inside X∗(T) and the divisibility of the root in X(T), and these separate the simply connected group SL2 from the adjoint group PGL2.

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