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.
Standard parabolics in GL_n
Example
Assume the Axiom of Choice inherited from the named suppliers. Let be a field and , with standard split maximal torus of diagonal matrices and standard Borel of upper triangular matrices (The root datum of a split reductive group, Parabolic subgroups and Levi decomposition). The roots are () with root groups , and the base is , identified with . For let with and ; then consists of the block upper triangular matrices with diagonal blocks of sizes , arbitrary entries above the block diagonal and zero below, the standard Levi subgroup is (block diagonal) and is the block upper unitriangular subgroup, with identity diagonal blocks, zero blocks below them and arbitrary blocks above them; the multiplication is an isomorphism, is a bijection onto the smooth parabolic subgroup varieties containing , and , . The maximal proper parabolics are the stabilizers of the partial flags with a single subspace of dimension , and the Bruhat cells of the complete flag variety are indexed by with .
Facts & Assumptions
Given: AC, a field , , with diagonal torus , upper triangular Borel , and the roots and root groups above (The root datum of a split reductive group).
The standard root datum of : , roots with and , root groups , positive system , base (The root datum of a split reductive group, Structure of SL_2 and root coordinates for the rank-one case).
Parabolics and Levi decomposition: standard parabolics are described by subsets of the base, is an isomorphism with the standard Levi subgroup, and the correspondence is a bijection (Parabolic subgroups and Levi decomposition, Standard Levi subgroups of a split reductive group).
Bruhat cells of are indexed by with (Bruhat decomposition for a split reductive group, Root coordinate cells and generation). The inversion notation in Permutation Weyl group and inversion length is combinatorial; its finite-field group conventions are not used for the arbitrary-field claim here.
Verification
The roots and root groups of are as in [F1]: the weight of the coordinate function on is ; the adjoint action on gives the weight , and the root group consists of the elementary matrices , isomorphic to ; the positive roots relative to are those with , and the simple roots form the base of the root system .
Let and let the complement of in the ordered set of simple roots be the partial sums listed, so that the integers sum to . Choose a cocharacter with diagonal exponents constant within each block and strictly decreasing between consecutive blocks. Entrywise conjugation scales by the exponent difference, so its limit subgroup is precisely the group with zero blocks below the diagonal and its limit kernel has identity diagonal blocks. By [F2] its zero simple-root pairings recover . Thus is the group of invertible matrices preserving the flag of subspaces , i.e. the block upper triangular matrices with diagonal blocks of sizes ; its unipotent radical has identity diagonal blocks, zeros below and arbitrary blocks above and its Levi factor is the block diagonal ; the multiplication map is a group-scheme isomorphism by [F2], and and because the corresponding flags are the complete flag and the trivial flag. The all-algebra matrix equations verify these stabilizers scheme-theoretically. For the simple-root set is empty, both endpoints are , and its unipotent radical is trivial.
The maximal proper parabolics correspond to , i.e. to the stabilizers of a single subspace of dimension : taking , gives the block upper triangular group with two diagonal blocks, which is the stabilizer of , and the general is the intersection of these stabilizers over the cuts , not over . For , the minimal proper parabolics strictly above are , since singletons are the minimal nonempty proper subsets of the base. For there is no proper parabolic strictly between and ; in particular, for the singleton gives , rather than a proper parabolic. Finally, the simple-root reflections act on the characters by adjacent transpositions. Since they generate the Weyl group, its faithful lattice action is precisely . The Bruhat cells of are indexed by , and the length equals the dimension of the cell by the length formula of [F3]. For the roots with , the count is the inversion number of . This equals the inversion number of : bijects their inversion sets. Thus the count is over every field.
Depends on
- The root datum of a split reductive group
- Structure of SL_2 and root coordinates
- Parabolic subgroups and Levi decomposition
- Bruhat decomposition for a split reductive group
- Standard Levi subgroups of a split reductive group
- Root coordinate cells and generation
- Permutation Weyl group and inversion length
- The Axiom of Choice
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
51 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)
- Brian Conrad, Reductive Group Schemes (SGA 3 summer school, Luminy; Panoramas et Syntheses) (standard reference, not scraped)