Alphabeta Math
LemmaStatement: Literature-sourcedProof: 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.

Unipotence is equivalent to unipotence of all finite-dimensional representations

Statement

Let k be a field and let G be an affine algebraic group over k (Affine schemes and their coordinate rings, Group schemes of finite type over a field). Then G is unipotent (Unipotent algebraic groups and unipotent representations) if and only if every finite-dimensional rational representation of G (Rational representations and comodules of an affine group scheme) is unipotent. In particular, if G is unipotent then every nonzero finite-dimensional rational representation admits a basis in which G acts through the upper unitriangular group scheme Un of The upper unitriangular group scheme U_n and its coordinate ring, and the class of unipotent finite-dimensional representations is closed under subquotients, direct sums and tensor products.

Facts & Assumptions

Given: A field k, an affine algebraic group G over k, and a finite-dimensional rational representation V of G.

[F1]

V is unipotent when it has a basis in which every g acts by an upper triangular matrix with diagonal entries 1, equivalently when V has a complete G-stable flag with trivial successive quotients; G is unipotent when every nonzero rational representation has a nonzero fixed vector, equivalently every simple representation is one-dimensional with trivial action, and it suffices to test finite-dimensional representations. (Unipotent algebraic groups and unipotent representations)

[F2]

Every finite-dimensional representation of a group scheme over a field has a composition series: 0=V0⊂V1⊂⋯⊂Vm=V with each Vi a G-stable subspace (Linear subspace of a vector space) and each quotient Vi/Vi−1 simple, by finite-dimensionality of V. Every rational representation is a union of finite-dimensional subrepresentations. (Rational representations and comodules of an affine group scheme, Rational representations of an affine group scheme are comodules of its coordinate Hopf algebra)

[F3]

If a finite-dimensional rational representation has upper unitriangular matrices in an adapted basis, its matrix morphism G→GLn factors through the closed subgroup Un. This morphism G→Un need not be faithful or a closed immersion; the assertion concerns this particular representation and does not say that arbitrary representations of a closed subgroup extend to Un. (The upper unitriangular group scheme U_n and its coordinate ring)

Proof

Given: A field k, an affine algebraic group G over k, and a finite-dimensional representation V.

1.1F1F2

Suppose G is unipotent. If V≠0, take a composition series 0=V0⊂⋯⊂Vm=V as in [F2]. Each simple quotient Vi/Vi−1 is a simple representation of the unipotent group G, hence one-dimensional with trivial action by [F1]; reading the flags in a basis adapted to it shows that Vi is obtained from Vi−1 by adjoining a trivial line, and induction on i puts V in the unipotent form of [F1]. The first step V1 is a nonzero fixed vector in V, so every nonzero V has one.

1.2F1F2

Conversely suppose every finite-dimensional representation of G is unipotent. Then every simple finite-dimensional representation S is unipotent, and a unipotent simple representation has a nonzero fixed vector (the first step of its flag), so S is one-dimensional with trivial G-action; since every rational representation is a union of finite-dimensional subrepresentations by [F2], every nonzero rational representation contains such a simple subrepresentation, hence a nonzero fixed vector. By [F1], G is unipotent.

2.1F1F3step 1.1∎

For the closure properties, let V be a unipotent finite-dimensional representation with a flag V=Vm⊇⋯⊇V0=0 with trivial successive quotients. If W⊆V is a G-stable subspace, the subspaces W∩Vi form a flag on W with successive quotients subquotients of the trivial modules Vi/Vi−1, hence trivial, so W is unipotent; the images of the Vi in V/W form a flag on V/W with successive quotients quotients of the Vi/Vi−1, hence again trivial. For direct sums, concatenating flags adapted to the two summands gives a flag on V⊕W with trivial successive quotients; for the tensor product, if g acts on V and W by unipotent matrices, then in the tensor basis g acts by the Kronecker product of two upper unitriangular matrices, which is upper unitriangular. Finally, in the basis of [F1] the matrix morphism of this representation factors as G→Un→GLn by [F3], giving its asserted upper-unitriangular form without any faithfulness or subgroup-representation extension claim.

Depends on

Used by

Dependency tree · two levels

34 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