Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generated
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 G be a connected nonsolvable affine group variety over k and T a maximal torus. For the equivalence and its geometric conclusions, base change G and T to an algebraic closure and form all radicals, Borels and quotients there. The following are equivalent: (a) the semisimple rank of G is 1; (b) over an algebraic closure, T lies in exactly two Borel subgroups; (c) dim⁡G/B=1 for a Borel subgroup B containing T; (d) there is an isogeny G/R(G)→PGL2. In this case, over an algebraic closure, S=G/R(G) is semisimple of rank 1 and dimension 3. If Tˉ is the image of T in S, then

Lie⁡(S)=Lie⁡(Tˉ)⊕sα⊕s−α,dim⁡sα=dim⁡s−α=1.

For a Borel subgroup B containing T, after base change to an algebraic closure G/B≅P1 and the action map G→Aut⁡(G/B)=PGL2 is surjective with kernel q−1(Z(S)), where q:G→S is the quotient map. In the semisimple quotient, the rank-one Bruhat decomposition is S=Bˉ⊔UˉnˉBˉ, where Bˉ is the image of B, Uˉ its unipotent radical, and nˉ represents the nontrivial Weyl element. Every connected nonsolvable split reductive group of total rank 1 (and hence semisimple rank 1) is isomorphic to SL2 or PGL2.

Facts & Assumptions

Given: AC, a connected nonsolvable affine group variety G over k with a maximal torus T.

[F1]

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, R(G) lies in every Borel subgroup, and passage to S=G/R(G) identifies the Borel variety of G with that of S; maximal tori map to maximal tori. Thus Borel subgroups of G containing T correspond to Borel subgroups of S 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).

[F2]

For a smooth complete homogeneous curve over an algebraically closed field under a smooth connected affine group, the curve is P1, and Aut⁡(P1)=PGL2 (Homogeneous curves and automorphisms of P^1). In semisimple rank 1, the root system is {α,−α} and the two root spaces in the Lie algebra are one-dimensional; the split adjoint rank-one group is PGL2 (Milne, Theorem 20.22), and the standard central cover SL2→PGL2 is universal, so every smooth connected central cover of PGL2 is dominated by SL2 (Structure of SL_2 and root coordinates; Milne, Proposition 20.31).

[F3]

The Borel variety is complete, its points fixed by T correspond to Borel subgroups containing T, and if H is a smooth connected affine group and H/Q is a complete homogeneous variety of dimension d, every torus in H has at least d+1 geometric fixed points on H/Q (Milne, Corollary 20.12). In the equivalent rank-one cases, the quotient G/B≃S/Bˉ is the flag curve. The action of S on that curve has kernel Z(S); equivalently, its map to PGL2 is a central isogeny (Milne, Theorems 20.16 and 20.22, and Proposition 20.7).

[F4]

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

1.1F1F2F3givenalgebra

Work over an algebraic closure. Set S=G/R(G). By the radical-quotient theorem cited in [F1], S is semisimple and its Borel variety identifies with that of G. The rank-one theorem cited in [F1] then gives the equivalence: in rank 1 the Weyl group of S acts faithfully and transitively on the Borel subgroups containing Tˉ, while the Borel-opposition lemma cited in [F1] distinguishes the positive and negative Borels; conversely, the two T-fixed points of the Borel variety and the fixed-point bound in [F3] give dimension at most 1, while nonsolvability excludes dimension zero; and a one-dimensional complete homogeneous curve is P1, whose action gives the isogeny to PGL2. An isogeny to PGL2 forces rank 1.

2.1F2step 1.1algebra

Since S is isogenous to PGL2, it has dimension 3, semisimple rank 1, and root system {α,−α}. The root decomposition is taken in Lie⁡(S), not in Lie⁡(G): over the algebraic closure it is Lie⁡(Tˉ)⊕sα⊕s−α, with each root space one-dimensional.

2.2F1F2F3step 1.1algebra

The quotient map identifies G/B with S/Bˉ, so this is P1 by step 1.1. The action of G on G/B factors through S; it is transitive on P1, 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 PGL2 is solvable, so the action map is surjective. Its kernel in S is Z(S) by [F3], so its kernel in G is exactly q−1(Z(S)).

3.1F1F2step 2.2algebra

The universal central cover in [F2] lifts the central isogeny of step 2.2 to a central isogeny SL2→S, carrying the diagonal Borel, upper root group and nontrivial Weyl representative to Bˉ,Uˉ,nˉ. The elementary matrix decomposition SL2=B2⊔U2+n2B2 separates matrices by whether their lower-left entry is zero. Its images give S=Bˉ⊔UˉnˉBˉ; disjointness follows from the two orbits on S/Bˉ=P1.

4.1F2F4step 2.1algebra∎

Finally let G be split reductive of total rank 1 and semisimple rank 1. Its largest central torus has dimension zero, hence is trivial; by the centre structure supplier G is semisimple. Milne's split rank-one adjoint result in [F2] gives a central isogeny q:G→PGL2 with kernel Z(G). Universality of the standard SL2 cover in [F2] supplies a central isogeny f:SL2→G over k lifting it. Its kernel is a subgroup scheme of ker⁡(qf)=μ2, hence is either 1 or μ2 (including characteristic 2). Consequently G is SL2 or SL2/μ2=PGL2, respectively. This proves the final classification without a later general root-datum classification theorem.

Depends on

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