Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedprecheck passaudited 2026-09-27
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 q be a prime power and put G=GL⁡1(Fq), so that G=Fq× is the multiplicative group of the field with q elements (Standard subgroups of finite general linear groups, GL⁡n(F) is a group under matrix multiplication, including the trivial group GL⁡0(F)). Then the standard Borel subgroup, the standard torus and the Weyl group of G are B=T=G,U={I1},W=N/T=S1={1}, the space V=Fq1 carries exactly one complete flag, namely 0<V, and the Bruhat decomposition of G reduces to the single cell B Pid B=B=G: there is exactly one Bruhat cell, with qℓ(id)=q0=1 left coset of B (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 α=(1) of n=1 one has Pα=Lα=G and Uα={I1}, so the parabolic is the group itself and both Harish-Chandra functors with respect to it are the identity functors RGG(W)=W,∗ ⁣RGG(X)=XUα=X on complex G-modules (Compositions, partial flags, and standard parabolics, Block Levi decomposition of standard parabolics, Harish-Chandra induction and restriction for finite general linear groups). Moreover ({1}) is the only ordered partition of {1} and it has no proper refinement, so every complex G-module is cuspidal; the cuspidal pairs are therefore the pairs (G,χ) with χ a simple complex G-module, and the Harish-Chandra series of (G,χ) 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 q, the group G=GL⁡1(Fq), its standard subgroups B,T,U, the monomial subgroup N and the Weyl group W=N/T, the space V=Fq1, the composition α=(1) of n=1, and the ordered partition γ0=({1}) of {1}.

[F1]

For n≥1 the standard Borel subgroup B consists of the invertible upper triangular matrices, the standard torus T of the diagonal ones and the standard maximal unipotent subgroup U of the upper unitriangular ones; all three are subgroups with T≤B, U≤B and T∩U={In}, and G=GL⁡n(Fq) is a group with identity In (Standard subgroups of finite general linear groups, GL⁡n(F) is a group under matrix multiplication, including the trivial group GL⁡0(F)).

[F2]

For n≥1 the monomial subgroup N consists of the monomial matrices, σ↦PσT is an isomorphism Sn→W=N/T, and ℓ(σ) is the number of inversions of σ, so that ℓ(id)=0; for a composition α of n the standard parabolic is Pα=Lα⋉Uα with the entry criteria blk⁡α(k)>blk⁡α(l) for Pα, blk⁡α(k)≠blk⁡α(l) for Lα and k≠l, blk⁡α(k)≥blk⁡α(l), gkk=1 for Uα (Permutation Weyl group and inversion length, Compositions, partial flags, and standard parabolics, Block Levi decomposition of standard parabolics).

[F3]

For n≥1 the complete flags 0=F0<F1<⋯<Fn=V of V=Fqn are in G-equivariant bijection with the left cosets G/B by gB↦gV∙ for the standard flag V∙ (Complete flags are G/B).

[F4]

For n≥1 one has G=⨆σ∈SnBPσB, the double cosets BPσB are pairwise disjoint with union G, and ∣BwB/B∣=qℓ(σ) for every σ∈Sn (Bruhat decomposition of GL_n over a finite field, Cardinality of a finite Bruhat cell).

[F5]

For a split parabolic P=L⋉U of a finite group the Harish-Chandra functors are RLG(W)=Ind⁡PG(Inf⁡LPW) and ∗ ⁣RLG(X)=XU, and for a composition α of n they are taken with respect to Pα=Lα⋉Uα; they are additive functors on complex modules, and RLG is taken along the parabolic named in the notation (Harish-Chandra induction and restriction for finite general linear groups).

[F6]

Let γ and δ be ordered partitions of {1,…,n}; δ is a proper refinement of γ when every block of δ is contained in a block of γ and the two set partitions differ, and a complex Lγ-module N is cuspidal when ∗ ⁣RLδLγ(N)=NUδ∩Lγ vanishes for every proper refinement δ of γ; a cuspidal pair is a pair (Lγ,N) with N simple and cuspidal, and its Harish-Chandra series is the set of isomorphism classes of simple complex G-modules which are quotients of RLγG(N) (Cuspidal representations and Harish-Chandra series, Simple module: a nonzero module with no proper nonzero submodule).

Verification

technique · direct
1.1

At n=1 the three defining conditions of [F1] read: a 1×1 matrix is upper triangular and diagonal always, and it is upper unitriangular exactly when its entry is 1; hence B=T=G and U={I1}. By [F2] the monomial matrices are all of G, so N=G, W=N/T is the trivial group, and it is S1={1} under the isomorphism σ↦PσT.

givenF1F2
1.2

For the composition α=(1) of n=1 the block is I1={1}, so blk⁡α(1)=blk⁡α(1) and the criteria of [F2] impose no vanishing condition: Pα=Lα=G; the condition for Uα is g11=1, so Uα={I1}. In particular Pα=G=Lα and Uα={I1}, and the standard parabolic is the whole group.

givenF2
1.3

The set {1} has exactly one ordered partition, namely γ0=({1}), whose single block is {1}; a proper refinement of γ0 would be an ordered partition of {1} whose set partition differs from {{1}}, and no such partition exists, since an ordered partition of {1} consists of nonempty disjoint blocks covering {1}. Hence γ0 has no proper refinement at all.

givenF6
2.1

The vectors of V=Fq1 are the scalar multiples of e1, so the only subspace different from 0 is V itself and the chain 0<V is the only complete flag of V; by [F3] the coset space G/B is a single point, and by B=T=G of step 1.1 the standard flag is fixed by every element of G.

givenF1F3step 1.1
2.2

The inflation Inf⁡LαPα of [F5] is taken along the identity homomorphism Pα→Lα, since Pα=Lα=G, so it is the identity functor on complex G-modules; likewise Ind⁡PαG is the identity functor, because Pα=G. Hence RGG(W)=W for every complex G-module W, and ∗ ⁣RGG(X)=XUα=X{I1}=X for every complex G-module X: both Harish-Chandra functors attached to the one-part composition of n=1 are the identity functors.

step 1.2F5
3.1

By [F4] the group is the disjoint union of the cells BPσB over σ∈S1={1}, so G=B Pid B=B by step 1.1: there is exactly one Bruhat cell, namely the cell of the identity, and it is the single right coset of B=G in G; this matches ∣BPidB/B∣=qℓ(id)=q0=1 of [F4] and the single point G/B of step 2.1.

step 1.1step 2.1F3F4
3.2

Let M be a complex G-module. By step 1.3 the only ordered partition of {1} is γ0, which has no proper refinement, so the vanishing condition of [F6] is vacuous and M is cuspidal. If moreover M=χ is simple, then (G,χ) is a cuspidal pair, and its Harish-Chandra series consists of the simple quotients of RGG(χ)=χ (step 2.2), that is of χ itself: the series is the singleton {χ}. Every simple complex G-module is one-dimensional, since G=Fq× is abelian, and each of them forms its own Harish-Chandra series.

step 1.3step 2.2F5F6
4.1

Consequently, at n=1 the general theory takes the following form: B=T=G, U={I1} and W=S1; the complete flag variety G/B and the set of Bruhat cells and double cosets B\G/B each have exactly one element; the one-part composition (1) has Pα=Lα=G with trivial unipotent radical, so both Harish-Chandra functors are the identity; and every simple module is cuspidal with a one-element series. ∎

step 3.1step 2.2step 3.2

Remarks

The example records the two degenerate endpoints of the page: the Borel subgroup of GL⁡1(Fq) is the whole group, so the flag variety is a point and the Bruhat decomposition has a single cell, and the trivial parabolic P(n) gives the identity functors of Harish-Chandra induction and restriction for finite general linear groups. At n=1 the Levi L({1})=G is also the diagonal torus, so the two extremes of the cuspidality definition coincide: the all-singleton and the one-block partition of {1} are the same ordered partition, and the series of the pair (G,χ) is the singleton {χ} rather than a genuine principal series.

Depends on

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