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 be a field and let be an affine algebraic group over (Affine schemes and their coordinate rings, Group schemes of finite type over a field). Then is unipotent (Unipotent algebraic groups and unipotent representations) if and only if every finite-dimensional rational representation of (Rational representations and comodules of an affine group scheme) is unipotent. In particular, if is unipotent then every nonzero finite-dimensional rational representation admits a basis in which acts through the upper unitriangular group scheme 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 , an affine algebraic group over , and a finite-dimensional rational representation of .
is unipotent when it has a basis in which every acts by an upper triangular matrix with diagonal entries , equivalently when has a complete -stable flag with trivial successive quotients; 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)
Every finite-dimensional representation of a group scheme over a field has a composition series: with each a -stable subspace (Linear subspace of a vector space) and each quotient simple, by finite-dimensionality of . 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)
If a finite-dimensional rational representation has upper unitriangular matrices in an adapted basis, its matrix morphism factors through the closed subgroup . This morphism 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 . (The upper unitriangular group scheme U_n and its coordinate ring)
Proof
Given: A field , an affine algebraic group over , and a finite-dimensional representation .
Suppose is unipotent. If , take a composition series as in [F2]. Each simple quotient is a simple representation of the unipotent group , hence one-dimensional with trivial action by [F1]; reading the flags in a basis adapted to it shows that is obtained from by adjoining a trivial line, and induction on puts in the unipotent form of [F1]. The first step is a nonzero fixed vector in , so every nonzero has one.
Conversely suppose every finite-dimensional representation of is unipotent. Then every simple finite-dimensional representation is unipotent, and a unipotent simple representation has a nonzero fixed vector (the first step of its flag), so is one-dimensional with trivial -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], is unipotent.
For the closure properties, let be a unipotent finite-dimensional representation with a flag with trivial successive quotients. If is a -stable subspace, the subspaces form a flag on with successive quotients subquotients of the trivial modules , hence trivial, so is unipotent; the images of the in form a flag on with successive quotients quotients of the , hence again trivial. For direct sums, concatenating flags adapted to the two summands gives a flag on with trivial successive quotients; for the tensor product, if acts on and by unipotent matrices, then in the tensor basis 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 by [F3], giving its asserted upper-unitriangular form without any faithfulness or subgroup-representation extension claim.
Depends on
- Affine schemes and their coordinate rings
- Group schemes of finite type over a field
- Linear subspace of a vector space
- Rational representations and comodules of an affine group scheme
- Unipotent algebraic groups and unipotent representations
- The upper unitriangular group scheme U_n and its coordinate ring
- Rational representations of an affine group scheme are comodules of its coordinate Hopf algebra
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
- 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)