Paper XI visual guide · Visual 6 of 47 · PART I / FINITE TAME COORDINATES

A primitive projector selects a cuspidal block

Resources & source

Original source locator: Original Section 4

This lesson in the original PDF

Skip contents and start reading

Let \(G_n={\mathrm{GL}}_n({\mathbb F}_q)\) and \(T_n\simeq{\mathbb F}_{q^n}^{\times}\) be an elliptic torus. A regular torus character determines an irreducible cuspidal representation \(\kappa_\theta\) by the classical finite-field construction. If its character is \(\chi_\theta\) and degree is \(d_\theta\), then

\[ e_\theta=\frac{d_\theta}{|G_n|}\sum_{g\in G_n}\chi_\theta(g^{-1})g \]

is its primitive central idempotent in \({\mathbb C}[G_n]\).

On an irreducible representation with character \(\psi\), this central element acts by a scalar. Taking traces and using character orthogonality makes the scalar 1 on \(\kappa_\theta\) and 0 on every other irreducible block.

For a proper parabolic \(P=LU\), averaging over its unipotent radical gives

\[ e_U=|U|^{-1}\sum_{u\in U}u,\qquad e_Ue_\theta=e_\theta e_U=0. \]

The average selects \(U\)-fixed vectors; the cuspidal block has none.

Scope

The existence and classification of \(\kappa_\theta\) are classical inputs. The idempotent calculation explains its exact finite selector.

Source and conversion record

This edition preserves all 47 lessons, the opening orientation and both route sections. Figures are rendered from retained vector PDFs. Descriptions and recorded-data tables are reading aids. No mathematical generator, TeX build, proof audit or Lean replay was run for this conversion.

Source hashes and conversion checks