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 and let ; every principal series has dimension . (a) If the three coordinates are pairwise distinct, then , and is irreducible. (b) If exactly two coordinates are equal, say with , then , and has exactly two non-isomorphic constituents, both of multiplicity , corresponding to the two tuples with , , i.e. to and , with multiplicities . (c) If all three coordinates are equal, , then , , and has pairwise non-isomorphic constituents indexed by the partitions , with multiplicities , , ; equivalently . 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 twisted by .
Facts & Assumptions
Given: The prime power , the group with Borel and diagonal torus , a character , the blocks of equal coordinates and the principal series .
The stabiliser is the group of permutations preserving the equal-coordinate blocks, and ; for regular and is irreducible (Diagonal torus characters and the Weyl action, The Weyl stabiliser controls the principal series endomorphisms, Regular finite principal series are irreducible).
For a character with equal-coordinate blocks of sizes the constituents of are indexed by tuples with multiplicities , and (The constituents of a general finite principal series).
The hook-length numbers are , , , (The hook length formula).
The constituents of the spherical principal series are indexed by the partitions of with multiplicities (The constituents of the spherical principal series of GL_n).
For a -module and a one-dimensional -module on which acts by a character , the tensor product carries the diagonal action (The tensor product of two complex representations).
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
By [F1] every principal series of has dimension .
Case (a): if the three coordinates are pairwise distinct, no nontrivial permutation fixes the character, so ; by [F2] and is irreducible.
Case (b): if with , the stabiliser is , so by [F2]. The equal-coordinate blocks are , so by [F3] the constituents are indexed by the tuples with , , and have multiplicities ; by [F4] these multiplicities are all , so there are exactly two non-isomorphic constituents, each of multiplicity one, and .
Put and let with . Multiplicativity and the triangular determinant formula show that is a character and is the inflation of (For same-sized finite square matrices over a commutative ring, , The determinant of a triangular matrix is the product of its diagonal entries). Define by . This lands in because and , and it is -equivariant since by [F6]. Its inverse sends to , whose function is right -invariant. Thus .
Case (c): if , then and by [F2]; by [F3] the constituents are indexed by the partitions with multiplicities , which by [F4] are for , and . Moreover the twist isomorphism of step 1.4 with gives ; tensoring with a one-dimensional character preserves dimensions and multiplicities, so the constituent count and multiplicities agree with the spherical computation [F5] after twisting.
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 .
Depends on
- Regular finite principal series are irreducible
- The constituents of the spherical principal series of GL_n
- The constituents of a general finite principal series
- Diagonal torus characters and the Weyl action
- The principal series module for finite GL_n
- The hook length formula
- The Weyl stabiliser controls the principal series endomorphisms
- The tensor product of two complex representations
- The Axiom of Choice
- 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
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 - Corollary 11.12 and Example 11.13, printed p. 50 (standard reference, not scraped)
- Jay Taylor, Finite Reductive Groups - Theorem 5.21 and Example 5.22, printed pp. 45-46 (standard reference, not scraped)
- Ivan Losev, Lecture 8: Representations of GL_n(F_q) - Section 2.1, PDF pp. 3-4 (standard reference, not scraped)