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-one connected groups
Statement
Assume the Axiom of Choice inherited from the named suppliers. Let be a connected nonsolvable affine group variety over and a maximal torus. For the equivalence and its geometric conclusions, base change and to an algebraic closure and form all radicals, Borels and quotients there. The following are equivalent: (a) the semisimple rank of is ; (b) over an algebraic closure, lies in exactly two Borel subgroups; (c) for a Borel subgroup containing ; (d) there is an isogeny . In this case, over an algebraic closure, is semisimple of rank and dimension . If is the image of in , then
For a Borel subgroup containing , after base change to an algebraic closure and the action map is surjective with kernel , where is the quotient map. In the semisimple quotient, the rank-one Bruhat decomposition is , where is the image of , its unipotent radical, and represents the nontrivial Weyl element. Every connected nonsolvable split reductive group of total rank (and hence semisimple rank ) is isomorphic to or .
Facts & Assumptions
Given: AC, a connected nonsolvable affine group variety over with a maximal torus .
Over an algebraically closed field the quotient by the radical of a smooth connected affine group is semisimple (Radical, unipotent radical, semisimple and reductive algebraic groups). There, lies in every Borel subgroup, and passage to identifies the Borel variety of with that of ; maximal tori map to maximal tori. Thus Borel subgroups of containing correspond to Borel subgroups of containing its image. In the semisimple quotient the Weyl group acts faithfully and transitively on these Borel subgroups (Conjugacy of Borel subgroups and of maximal tori over an algebraically closed field, The quotient of a connected group by a Borel subgroup of maximal dimension is complete, Borel subgroups, maximal tori and Borel pairs; Milne, Proposition 17.20 and Theorem 20.16).
For a smooth complete homogeneous curve over an algebraically closed field under a smooth connected affine group, the curve is , and (Homogeneous curves and automorphisms of P^1). In semisimple rank , the root system is and the two root spaces in the Lie algebra are one-dimensional; the split adjoint rank-one group is (Milne, Theorem 20.22), and the standard central cover is universal, so every smooth connected central cover of is dominated by (Structure of SL_2 and root coordinates; Milne, Proposition 20.31).
The Borel variety is complete, its points fixed by correspond to Borel subgroups containing , and if is a smooth connected affine group and is a complete homogeneous variety of dimension , every torus in has at least geometric fixed points on (Milne, Corollary 20.12). In the equivalent rank-one cases, the quotient is the flag curve. The action of on that curve has kernel ; equivalently, its map to is a central isogeny (Milne, Theorems 20.16 and 20.22, and Proposition 20.7).
A reductive group is the almost product of its largest central torus and its semisimple derived group; the central torus has rank equal to total rank minus semisimple rank. (Centre, radical and semisimple quotient of a reductive group)
Proof
Work over an algebraic closure. Set . By the radical-quotient theorem cited in [F1], is semisimple and its Borel variety identifies with that of . The rank-one theorem cited in [F1] then gives the equivalence: in rank the Weyl group of acts faithfully and transitively on the Borel subgroups containing , while the Borel-opposition lemma cited in [F1] distinguishes the positive and negative Borels; conversely, the two -fixed points of the Borel variety and the fixed-point bound in [F3] give dimension at most , while nonsolvability excludes dimension zero; and a one-dimensional complete homogeneous curve is , whose action gives the isogeny to . An isogeny to forces rank .
Since is isogenous to , it has dimension , semisimple rank , and root system . The root decomposition is taken in , not in : over the algebraic closure it is , with each root space one-dimensional.
The quotient map identifies with , so this is by step 1.1. The action of on factors through ; it is transitive on , whereas a connected solvable affine group has a fixed point on a complete variety. Thus its image is nonsolvable, and every proper connected subgroup of is solvable, so the action map is surjective. Its kernel in is by [F3], so its kernel in is exactly .
The universal central cover in [F2] lifts the central isogeny of step 2.2 to a central isogeny , carrying the diagonal Borel, upper root group and nontrivial Weyl representative to . The elementary matrix decomposition separates matrices by whether their lower-left entry is zero. Its images give ; disjointness follows from the two orbits on .
Finally let be split reductive of total rank and semisimple rank . Its largest central torus has dimension zero, hence is trivial; by the centre structure supplier is semisimple. Milne's split rank-one adjoint result in [F2] gives a central isogeny with kernel . Universality of the standard cover in [F2] supplies a central isogeny over lifting it. Its kernel is a subgroup scheme of , hence is either or (including characteristic ). Consequently is or , respectively. This proves the final classification without a later general root-datum classification theorem.
Depends on
- Radical, unipotent radical, semisimple and reductive algebraic groups
- Split reductive groups
- Homogeneous curves and automorphisms of P^1
- Structure of SL_2 and root coordinates
- Connected groups of rank zero are unipotent
- Borel subgroups, maximal tori and Borel pairs
- The quotient of a connected group by a Borel subgroup of maximal dimension is complete
- A Borel subgroup of maximal dimension is the stabilizer of a maximal flag
- Conjugacy of Borel subgroups and of maximal tori over an algebraically closed field
- Maximal tori of a smooth connected solvable group are conjugate
- Centre, radical and semisimple quotient of a reductive group
- The Axiom of Choice
Used by
Dependency tree · two levels
68 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)