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.
GL_1 and the trivial parabolic endpoints
Example
Let be a prime power and put , so that is the multiplicative group of the field with elements (Standard subgroups of finite general linear groups, is a group under matrix multiplication, including the trivial group ). Then the standard Borel subgroup, the standard torus and the Weyl group of are the space carries exactly one complete flag, namely , and the Bruhat decomposition of reduces to the single cell : there is exactly one Bruhat cell, with left coset of (Complete flags are G/B, Bruhat decomposition of GL_n over a finite field, Cardinality of a finite Bruhat cell). For the one-part composition of one has and , so the parabolic is the group itself and both Harish-Chandra functors with respect to it are the identity functors on complex -modules (Compositions, partial flags, and standard parabolics, Block Levi decomposition of standard parabolics, Harish-Chandra induction and restriction for finite general linear groups). Moreover is the only ordered partition of and it has no proper refinement, so every complex -module is cuspidal; the cuspidal pairs are therefore the pairs with a simple complex -module, and the Harish-Chandra series of is the singleton (Cuspidal representations and Harish-Chandra series, Simple module: a nonzero module with no proper nonzero submodule).
Facts & Assumptions
Given: A prime power , the group , its standard subgroups , the monomial subgroup and the Weyl group , the space , the composition of , and the ordered partition of .
For the standard Borel subgroup consists of the invertible upper triangular matrices, the standard torus of the diagonal ones and the standard maximal unipotent subgroup of the upper unitriangular ones; all three are subgroups with , and , and is a group with identity (Standard subgroups of finite general linear groups, is a group under matrix multiplication, including the trivial group ).
For the monomial subgroup consists of the monomial matrices, is an isomorphism , and is the number of inversions of , so that ; for a composition of the standard parabolic is with the entry criteria for , for and , , for (Permutation Weyl group and inversion length, Compositions, partial flags, and standard parabolics, Block Levi decomposition of standard parabolics).
For the complete flags of are in -equivariant bijection with the left cosets by for the standard flag (Complete flags are G/B).
For one has , the double cosets are pairwise disjoint with union , and for every (Bruhat decomposition of GL_n over a finite field, Cardinality of a finite Bruhat cell).
For a split parabolic of a finite group the Harish-Chandra functors are and , and for a composition of they are taken with respect to ; they are additive functors on complex modules, and is taken along the parabolic named in the notation (Harish-Chandra induction and restriction for finite general linear groups).
Let and be ordered partitions of ; is a proper refinement of when every block of is contained in a block of and the two set partitions differ, and a complex -module is cuspidal when vanishes for every proper refinement of ; a cuspidal pair is a pair with simple and cuspidal, and its Harish-Chandra series is the set of isomorphism classes of simple complex -modules which are quotients of (Cuspidal representations and Harish-Chandra series, Simple module: a nonzero module with no proper nonzero submodule).
Verification
At the three defining conditions of [F1] read: a matrix is upper triangular and diagonal always, and it is upper unitriangular exactly when its entry is ; hence and . By [F2] the monomial matrices are all of , so , is the trivial group, and it is under the isomorphism .
For the composition of the block is , so and the criteria of [F2] impose no vanishing condition: ; the condition for is , so . In particular and , and the standard parabolic is the whole group.
The set has exactly one ordered partition, namely , whose single block is ; a proper refinement of would be an ordered partition of whose set partition differs from , and no such partition exists, since an ordered partition of consists of nonempty disjoint blocks covering . Hence has no proper refinement at all.
The vectors of are the scalar multiples of , so the only subspace different from is itself and the chain is the only complete flag of ; by [F3] the coset space is a single point, and by of step 1.1 the standard flag is fixed by every element of .
The inflation of [F5] is taken along the identity homomorphism , since , so it is the identity functor on complex -modules; likewise is the identity functor, because . Hence for every complex -module , and for every complex -module : both Harish-Chandra functors attached to the one-part composition of are the identity functors.
By [F4] the group is the disjoint union of the cells over , so by step 1.1: there is exactly one Bruhat cell, namely the cell of the identity, and it is the single right coset of in ; this matches of [F4] and the single point of step 2.1.
Let be a complex -module. By step 1.3 the only ordered partition of is , which has no proper refinement, so the vanishing condition of [F6] is vacuous and is cuspidal. If moreover is simple, then is a cuspidal pair, and its Harish-Chandra series consists of the simple quotients of (step 2.2), that is of itself: the series is the singleton . Every simple complex -module is one-dimensional, since is abelian, and each of them forms its own Harish-Chandra series.
Consequently, at the general theory takes the following form: , and ; the complete flag variety and the set of Bruhat cells and double cosets each have exactly one element; the one-part composition has with trivial unipotent radical, so both Harish-Chandra functors are the identity; and every simple module is cuspidal with a one-element series. ∎
Remarks
The example records the two degenerate endpoints of the page: the Borel subgroup of is the whole group, so the flag variety is a point and the Bruhat decomposition has a single cell, and the trivial parabolic gives the identity functors of Harish-Chandra induction and restriction for finite general linear groups. At the Levi is also the diagonal torus, so the two extremes of the cuspidality definition coincide: the all-singleton and the one-block partition of are the same ordered partition, and the series of the pair is the singleton rather than a genuine principal series.
Depends on
- Standard subgroups of finite general linear groups
- Permutation Weyl group and inversion length
- Complete flags are G/B
- Bruhat decomposition of GL_n over a finite field
- Cardinality of a finite Bruhat cell
- Compositions, partial flags, and standard parabolics
- Block Levi decomposition of standard parabolics
- Harish-Chandra induction and restriction for finite general linear groups
- Cuspidal representations and Harish-Chandra series
- Simple module: a nonzero module with no proper nonzero submodule
- $\operatorname{GL}_n(F)$ is a group under matrix multiplication, including the trivial group $\operatorname{GL}_0(F)$
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
- Olivier Dudas and Jean Michel, Lectures on Finite Reductive Groups and Their Representations - Example 4.5, Definition 9.2 and Definition 10.2, printed pp. 18 and 38-41 (standard reference, not scraped)
- Jay Taylor, Finite Reductive Groups - Definition 5.7 and Proposition 5.9, printed pp. 43-44 (standard reference, not scraped)