Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedprecheck passjudge 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.

Regular and singular torus characters in GL_3(F_q)

Example

Assume the Axiom of Choice, used through Tits deformation. Let G=GL⁡3(Fq) and let χ=(χ1,χ2,χ3)∈T^; every principal series has dimension [G:B]=(q+1)(q2+q+1). (a) If the three coordinates are pairwise distinct, then Wχ=1, End⁡G(I(χ))=C and I(χ) is irreducible. (b) If exactly two coordinates are equal, say χ=(a,a,b) with a≠b, then Wχ≅S2, dim⁡End⁡G(I(χ))=2 and I(χ) has exactly two non-isomorphic constituents, both of multiplicity 1, corresponding to the two tuples (λ(1),λ(2)) with λ(1)⊢2, λ(2)⊢1, i.e. to ((2),(1)) and ((1,1),(1)), with multiplicities f(2)=f(1,1)=1. (c) If all three coordinates are equal, χ=(a,a,a), then Wχ=S3, dim⁡End⁡G(I(χ))=6, and I(χ) has 3 pairwise non-isomorphic constituents indexed by the partitions λ⊢3, with multiplicities f(3)=1, f(2,1)=2, f(1,1,1)=1; equivalently End⁡G(I(χ))≅C[S3]. In cases (b) and (c) the counting of constituents agrees with the general corollary, and in case (c) it also agrees with the spherical computation for I(1) twisted by a∘det⁡.

Facts & Assumptions

Given: The prime power q, the group G=GL⁡3(Fq) with Borel B and diagonal torus T, a character χ=(χ1,χ2,χ3)∈T^, the blocks of equal coordinates and the principal series I(χ).

[F1]

dim⁡CI(χ)=[G:B]=∏i=13qi−1q−1=(q+1)(q2+q+1) (The principal series module for finite GL_n).

[F2]

The stabiliser Wχ≤S3 is the group of permutations preserving the equal-coordinate blocks, and dim⁡CEnd⁡G(I(χ))=∣Wχ∣; for χ regular Wχ=1 and I(χ) is irreducible (Diagonal torus characters and the Weyl action, The Weyl stabiliser controls the principal series endomorphisms, Regular finite principal series are irreducible).

[F3]

For a character with equal-coordinate blocks of sizes n1,…,nk the constituents of I(χ) are indexed by tuples (λ(1),…,λ(k)) with multiplicities ∏rfλ(r), and End⁡G(I(χ))≅∏M∏rfλ(r)(C) (The constituents of a general finite principal series).

[F4]

The hook-length numbers are f(3)=1, f(2,1)=2, f(1,1,1)=1, f(2)=f(1,1)=1 (The hook length formula).

[F5]

The constituents of the spherical principal series I(1) are indexed by the partitions of n with multiplicities fλ (The constituents of the spherical principal series of GL_n).

[F6]

For a G-module V and a one-dimensional G-module W on which G acts by a character ψ, the tensor product V⊗W carries the diagonal action g⋅(v⊗w)=gv⊗gw (The tensor product of two complex representations).

[F7]

Assume AC; the partition parametrisation and the Tits isomorphism used below carry AC from the Tits-deformation supplier (The Axiom of Choice, The constituents of a general finite principal series).

Proof

technique · direct
1.1F1

By [F1] every principal series of GL⁡3(Fq) has dimension [G:B]=(q+1)(q2+q+1).

1.2F2

Case (a): if the three coordinates are pairwise distinct, no nontrivial permutation fixes the character, so Wχ=1; by [F2] dim⁡End⁡G(I(χ))=1 and I(χ) is irreducible.

1.3F2F3F4

Case (b): if χ=(a,a,b) with a≠b, the stabiliser is Wχ≅S2, so dim⁡End⁡G(I(χ))=2 by [F2]. The equal-coordinate blocks are n1=2,n2=1, so by [F3] the constituents are indexed by the tuples (λ(1),λ(2)) with λ(1)⊢2, λ(2)⊢1, and have multiplicities fλ(1)fλ(2); by [F4] these multiplicities are all 1, so there are exactly two non-isomorphic constituents, each of multiplicity one, and End⁡G(I(χ))≅C⊕C.

1.4F6algebra

Put ψ=a∘det⁡ and let W=Cz0 with gz0=ψ(g)z0. Multiplicativity and the triangular determinant formula show that ψ is a character and ψ∣B is the inflation of (a,a,a) (For same-sized finite square matrices over a commutative ring, det⁡(AB)=det⁡(A)det⁡(B), The determinant of a triangular matrix is the product of its diagonal entries). Define Φ:I(1)⊗W→I(a,a,a) by Φ(f⊗z0)(x)=f(x)ψ(x)−1. This lands in I(a,a,a) because f(xb)=f(x) and ψ(xb)=ψ(x)ψ(b), and it is G-equivariant since Φ(g⋅(f⊗z0))(x)=f(g−1x)ψ(g)ψ(x)−1=Φ(f⊗z0)(g−1x) by [F6]. Its inverse sends F to (x↦F(x)ψ(x))⊗z0, whose function is right B-invariant. Thus I(a,a,a)≅I(1)⊗(a∘det⁡).

2.1F2F3F4F5step 1.4

Case (c): if χ=(a,a,a), then Wχ=S3 and dim⁡End⁡G(I(χ))=6 by [F2]; by [F3] the constituents are indexed by the partitions λ⊢3 with multiplicities fλ, which by [F4] are 1,2,1 for (3),(2,1),(1,1,1), and End⁡G(I(χ))≅C×M⁡2(C)×C≅C[S3]. Moreover the twist isomorphism of step 1.4 with ψ=a∘det⁡ gives I(a,a,a)≅I(1)⊗(a∘det⁡); tensoring with a one-dimensional character preserves dimensions and multiplicities, so the constituent count and multiplicities agree with the spherical computation [F5] after twisting.

3.1F1F2F3F4F5F6F7∎

Steps 1.1, 1.2, 1.3, 1.4 and 2.1 give the dimension, the three cases (a)-(c) with their endomorphism dimensions and constituent multiplicities, and the agreement with the general corollary and with the twisted spherical computation in case (c). AC is carried only from the Tits-deformation supplier in [F7], as declared; all modules are finite-dimensional over C.

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