Steinberg Representation in Reductive Groups

• Steinberg representation is a canonical representation of reductive groups, defined via the top reduced homology of Tits buildings and alternating parabolic inductions.
• It exhibits varied realizations in finite, p-adic, and locally analytic settings, each revealing distinct structural behaviors and irreducibility criteria.
• Applications span harmonic cochain models, Hecke algebra actions, arithmetic duality, and modular as well as quantum formulations, underscoring its central role in representation theory.

The Steinberg representation is a canonical representation attached to a reductive group, defined in several closely related ways depending on the ambient category: as an alternating sum of parabolic inductions, as the unique nonzero reduced homology of the spherical Tits building, as compactly supported top cohomology of the affine Bruhat–Tits building, or as the sign eigenspace for an Iwahori–Hecke algebra (Putman et al., 2021, Shtotland, 3 Jan 2025, Yacine, 2017). Its structural behavior is category-dependent: it is irreducible for connected reductive groups over infinite fields and in the classical finite-field and smooth $p$-adic settings, whereas the locally analytic Steinberg has a finite-length Jordan–Hölder series, and distinction problems for symmetric pairs need not satisfy multiplicity one (Putman et al., 2021, Orlik et al., 2010, Wang et al., 2024).

1. Core constructions

For a connected reductive algebraic group $G$ over a field $k$, with semisimple $k$-rank $r$, one standard construction defines the Steinberg representation by the unique nonzero reduced homology of the spherical Tits building: $\St_G \;=\; \widetilde H_{r-1}\!\bigl(\T(G);F\bigr),$ where $\T(G)$ is the simplicial complex of proper $k$-parabolic subgroups ordered by reverse inclusion (Putman et al., 2021). In the anisotropic case, where $G$ has no proper $k$-parabolics and $G$0, one sets

$G$1

with trivial $G$2-action (Putman et al., 2021).

A second standard construction is an alternating sum of parabolic inductions in the Grothendieck group: $G$3 Under the hypotheses recorded for finite or infinite base fields, this virtual combination is realized by a single genuine representation (Putman et al., 2021).

For split groups over finite and non-archimedean local fields, the same object is expressed directly in terms of the relevant building. If $G$4 is split over a finite field, then

$G$5

the top nonzero homology of the spherical building. If $G$6 is non-archimedean, then

$G$7

the compactly supported top cohomology of the affine Bruhat–Tits building (Shtotland, 3 Jan 2025).

For split adjoint quasi-simple groups over a non-archimedean local field $G$8, and coefficients in a commutative ring $G$9, one also has the parabolic-induction quotient

$k$0

together with an equivalent Iwahori model in terms of $k$1 modulo explicit parahoric relations (Yacine, 2017).

A further generalization replaces the minimal parabolic by an arbitrary standard parabolic $k$2. One sets

$k$3

recovering the classical Steinberg when $k$4 is minimal and obtaining the trivial one-dimensional module when $k$5 (Hauseux et al., 2017).

Setting	Realization	Structural note
Connected reductive $k$6	$k$7	Anisotropic case gives $k$8
Split $k$9, $k$0 finite	$k$1	Top nonzero homology
Split $k$2, $k$3 non-archimedean	$k$4	Affine-building model

These constructions exhibit a recurring principle: the Steinberg representation isolates the top combinatorial or cohomological contribution of the parabolic geometry of $k$5. A plausible implication is that many later variants are best understood as deformations of this “top piece” mechanism rather than as unrelated objects.

2. Irreducibility, Hecke algebras, and Iwahori models

In the finite-field case, Steinberg showed that $k$6 is irreducible and affords the sign action of the finite Hecke algebra $k$7: every simple reflection acts by $k$8 on $k$9. In the $r$0-adic split case, $r$1 is again irreducible and realizes the one-dimensional sign representation of the Iwahori–Hecke algebra $r$2; more generally, for any unramified character $r$3, one obtains

$r$4

inside the unramified principal series (Shtotland, 3 Jan 2025).

For connected reductive groups over an infinite field $r$5, Putman and Snowden proved that the Steinberg representation $r$6 of the abstract group $r$7 over any field of coefficients is irreducible (Putman et al., 2021). Their proof identifies $r$8 with $r$9 as a vector space, using a minimal $\St_G \;=\; \widetilde H_{r-1}\!\bigl(\T(G);F\bigr),$0-parabolic $\St_G \;=\; \widetilde H_{r-1}\!\bigl(\T(G);F\bigr),$1, and reduces irreducibility to two statements: any nonzero vector can be moved to have nonzero augmentation, and any nonzero left ideal in $\St_G \;=\; \widetilde H_{r-1}\!\bigl(\T(G);F\bigr),$2 stable under a positive torus action is the whole algebra (Putman et al., 2021).

The Iwahori-spherical realization becomes especially explicit for generalized Steinberg representations in unramified principal series. If $\St_G \;=\; \widetilde H_{r-1}\!\bigl(\T(G);F\bigr),$3 is split reductive over a $\St_G \;=\; \widetilde H_{r-1}\!\bigl(\T(G);F\bigr),$4-adic field, $\St_G \;=\; \widetilde H_{r-1}\!\bigl(\T(G);F\bigr),$5 is the standard Iwahori subgroup, and $\St_G \;=\; \widetilde H_{r-1}\!\bigl(\T(G);F\bigr),$6, then the Steinberg representation $\St_G \;=\; \widetilde H_{r-1}\!\bigl(\T(G);F\bigr),$7 is the unique irreducible quotient of $\St_G \;=\; \widetilde H_{r-1}\!\bigl(\T(G);F\bigr),$8 whose $\St_G \;=\; \widetilde H_{r-1}\!\bigl(\T(G);F\bigr),$9-fixed line affords the sign character of the finite Iwahori–Hecke algebra. In the Casselman basis $\T(G)$0,

$\T(G)$1

is, up to scalar, the unique $\T(G)$2-fixed vector on which each simple reflection acts by $\T(G)$3, so $\T(G)$4. On this one-dimensional space, the full extended Hecke algebra acts through the character

$\T(G)$5

and the associated Whittaker function satisfies

$\T(G)$6

while in the $\T(G)$7-dominant case

$\T(G)$8

This generalizes the corresponding $\T(G)$9 formula to arbitrary split reductive groups (Karameris, 2024).

A common oversimplification is that “the Steinberg representation is irreducible” without qualification. This is correct in the smooth finite-field, smooth $k$0-adic, and infinite-field settings just described, but it fails in the locally analytic category discussed below (Orlik et al., 2010).

The Hecke-theoretic perspective also supports a classification problem for smooth $k$1-adic representations with depth-zero Steinberg content. For an unramified reductive $k$2-adic group $k$3, if an irreducible smooth $k$4 has $k$5 containing the Steinberg representation of the finite reductive quotient $k$6, then $k$7 has depth zero, is Iwahori-spherical, hence is a subquotient of some unramified principal series $k$8. In each principal series there exists exactly one irreducible subquotient $k$9 containing the Steinberg representation in its hyperspecial subgroup, and the assignment $G$0 induces a bijection

$G$1

(Wang, 24 Mar 2026).

3. Building-theoretic and harmonic-cochain realizations

For split adjoint quasi-simple groups over a non-archimedean local field $G$2, the dual of the Steinberg representation admits a purely building-theoretic description in terms of harmonic cochains (Yacine, 2017). Let $G$3 be the Bruhat–Tits building, $G$4 the set of pointed chambers, and $G$5 an $G$6-module with $G$7-action. A harmonic cochain is an $G$8-linear map

$G$9

satisfying two conditions: the orientation relation

$k$0

and the codimension-one vanishing condition

$k$1

for each codimension-one face $k$2. The main theorem identifies this harmonic space with the $k$3-dual of the Steinberg representation: $k$4 The proof uses the Iwahori model of $k$5 and explicit combinatorial identities in the extended affine Weyl group (Yacine, 2017).

In the special case $k$6, the building is a $k$7-regular tree, pointed chambers are oriented edges, and the harmonicity conditions reduce to

$k$8

This realizes the Steinberg dual as the usual space of harmonic anti-symmetric edge functions (Yacine, 2017).

A closely related formulation appears in the analysis of symmetric pairs. For a connected reductive group $k$9 over a non-archimedean local field $G$00, let $G$01 be the set of chambers of the reduced Bruhat–Tits building and define a harmonic cochain by the panel relation

$G$02

for every panel $G$03. With the quadratic orientation character $G$04, the $G$05-action is

$G$06

and the smooth part $G$07 is naturally isomorphic to the Steinberg representation $G$08 (Wang et al., 2024).

These harmonic models are not merely alternative descriptions. They provide the concrete linear functionals, adjacency relations, and summation identities used in distinction problems, Poincaré-series constructions, and explicit comparison with Hecke operators. This suggests that the building is the most uniform geometric carrier of Steinberg phenomena across smooth $G$09-adic settings.

4. Locally analytic and generalized Steinberg representations

For a split reductive $G$10-adic group $G$11 over $G$12, with Borel $G$13, maximal torus $G$14, and simple roots $G$15, Orlik and Schraen define the locally analytic Tits complex

$G$16

where

$G$17

Its degree-zero cohomology is the locally analytic Steinberg representation

$G$18

which coincides with the classical continuous Steinberg space of locally analytic vectors (Orlik et al., 2010).

The complex is acyclic in all degrees except at the left. The proof is by induction on semisimple rank and uses three specific ingredients: the parabolic BGG resolution of algebraic $G$19-modules, the Orlik–Strauch functors $G$20 together with their bi-exactness and the $G$21-formula, and the fact that applying $G$22 to the parabolic BGG resolution recovers the rows of the double complex resolving $G$23 (Orlik et al., 2010).

For a dominant algebraic weight $G$24, the Jordan–Hölder constituents of $G$25 are precisely

$G$26

as $G$27 and $G$28 vary, with multiplicity

$G$29

In particular,

$G$30

When $G$31, the only locally algebraic subquotient is the smooth Steinberg $G$32; the classical smooth Steinberg appears with multiplicity one, and there are no new smooth subquotients. All extra constituents are genuinely locally analytic and are parametrized by the proper subsets $G$33 (Orlik et al., 2010).

The same work introduces an analogue of the Jacquet functor for locally analytic representations. If $G$34 is the unipotent radical of $G$35, then

$G$36

is the largest Hausdorff $G$37-coinvariants. For $G$38 simple in $G$39, $G$40 maximal for $G$41, and smooth $G$42-representation $G$43,

$G$44

and dually

$G$45

This determines irreducible factors $G$46 from their $G$47-Jacquet modules (Orlik et al., 2010).

In the smooth category, the generalized Steinberg functor

$G$48

is exact, $G$49-linear, and commutes with arbitrary direct sums. It is compatible with scalar extension, with ordinary parts, and with iteration along nested parabolics. In particular,

$G$50

and if $G$51 then

$G$52

When $G$53 is noetherian and $G$54 is nilpotent in $G$55, the functor is fully faithful on smooth and admissible subcategories (Hauseux et al., 2017).

5. Modular, algebraic, and quantum forms

For a finite group of Lie type $G$56 over defining characteristic $G$57, and a field $G$58 of characteristic $G$59, the $G$60-modular Steinberg representation is constructed inside the permutation module $G$61, where

$G$62

One defines

$G$63

Steinberg’s theorem gives that $G$64 is free of rank $G$65 over $G$66 with basis $G$67, and $G$68 is irreducible precisely when $G$69 is a unit in $G$70 (Geck, 2015).

The socle of $G$71 is always simple. Via the Hecke algebra

$G$72

one has

$G$73

so the $G$74-fixed line in the simple socle corresponds to the one-dimensional Hecke character

$G$75

For $G$76, the socle label is described using the integer

$G$77

and the composition factors of $G$78 are multiplicity-free. Their number $G$79 has generating series

$G$80

Analogous multiplicity-free statements hold for finite classical groups at linear primes (Geck, 2015).

For a simple, simply connected algebraic group over an algebraically closed field of characteristic $G$81, the $G$82th Steinberg module is

$G$83

It is central to Donkin’s conjectures on good $G$84-filtrations and tilting modules. Bendel, Nakano, Pillen, and Sobaje reduce the tensor-product question to $G$85: if $G$86 has a good filtration for every $G$87, then $G$88 has a good filtration for every $G$89 and $G$90. They verify this under the conditions $G$91, for all rank-two groups, for fundamental weights when $G$92, and in many rank $G$93 cases (Bendel et al., 2018).

For a semisimple, simply connected algebraic group $G$94 at an arbitrary complex root of unity $G$95, the quantum Steinberg module is

$G$96

It is simple and self-dual in $G$97, remains simple on restriction to the small quantum group, and is both projective and injective in $G$98 and in $G$99. The same work proves that $k$00 has enough projectives and injectives, and that projectivity or injectivity can be tested after restriction to the small quantum group (Negron, 2023).

Taken together, these variants show that “Steinberg” does not denote a single categorical behavior. In the modular finite-group setting, reducibility may occur but the socle remains rigid; in the algebraic and quantum highest-weight settings, the Steinberg object is tied to filtration and projectivity phenomena rather than only to irreducibility.

6. Resolutions, arithmetic duality, and topological appearances

For $k$01 over a principal ideal domain $k$02, with field of fractions $k$03, the Steinberg module is

$k$04

where $k$05 is the spherical building of proper nonzero $k$06-subspaces of $k$07 (Ash et al., 2011). Ash, Gunnells, and McConnell compare three explicit resolutions: the Lee–Szczarba simplicial resolution $k$08, the line-based resolution $k$09, and the sharbly complex $k$10. For $k$11, they also use a Voronoi-based complex $k$12. Each resolves $k$13, and the comparison maps are quasi-isomorphisms. These constructions are then applied to cohomology of congruence subgroups of $k$14, proving that the Voronoi complex does not introduce spurious Hecke eigenclasses (Ash et al., 2011).

For number rings and symplectic groups, the symplectic Steinberg module is defined by the symplectic Tits building: $k$15 Borel–Serre duality identifies $k$16 as the dualizing module for finite-index subgroups of $k$17. An explicit projective resolution is constructed from tensor products of Lee–Szczarba sharbly groups over ordered orthogonal decompositions of the symplectic space, with a boundary combining omit-terms and split-terms. When $k$18 is a Euclidean number ring and $k$19 satisfies the surjectivity condition on units, this yields a computation of the top-degree cohomology of principal level-$k$20 congruence subgroups of $k$21 (Pal, 7 May 2026).

The Steinberg representation also appears in the hit problem. For $k$22, Hai studies quotients of $k$23 arising from Stanley–Reisner rings of matroid complexes. In a degree

$k$24

for suitable $k$25, one obtains

$k$26

and

$k$27

For $k$28, this specializes to the Walker–Wood degree $k$29, and the Steinberg summand admits a decomposition into suspensions of Brown–Gitler modules (Hai, 2021).

These constructions place the Steinberg representation at the intersection of building homology, arithmetic duality, computational cohomology, and unstable algebra. A plausible implication is that the persistence of Steinberg modules in these settings reflects a common dualizing or top-degree mechanism rather than an accident of notation.

7. Distinction, branching, and relative Langlands phenomena

For split symmetric spaces $k$30, with $k$31 split reductive and $k$32 the fixed points of an $k$33-rational involution, the distinction problem for the Steinberg representation is related to harmonic functions on hypergraphs built from $k$34-orbits or Iwahori orbits on $k$35. In the finite-field case,

$k$36

and in the $k$37-adic case

$k$38

Shtotland proves that, over a non-archimedean local field, $k$39 is $k$40-distinguished if and only if its Langlands parameter factors through the dual group of $k$41. More precisely, if $k$42 is the Steinberg parameter and $k$43 is Takeda’s embedding, then

$k$44

This occurs exactly when $k$45 is quasi-split and no simple adjoint factor is of type

$k$46

(Shtotland, 3 Jan 2025).

In relative rank $k$47, Broussous obtains a reciprocity law for symmetric spaces $k$48 with $k$49 and $k$50 semisimple of relative rank $k$51. If $k$52 are the anisotropic subgroups attached to the $k$53-orbits on the flag variety, then for any irreducible smooth representation $k$54 of $k$55,

$k$56

Moreover, for $k$57, one has

$k$58

and for $k$59 the Euler–Poincaré characteristic is $k$60 (Broussous, 2018).

A more recent harmonic-cochain approach studies distinction for general symmetric pairs $k$61 over non-archimedean local fields. Let $k$62 denote the maximal $k$63-stable facets in the Bruhat–Tits building. Then, for a character $k$64 satisfying the stated pro-$k$65-triviality condition,

$k$66

A refinement replaces maximal facets by effective connected components of an apartment-graph $k$67, yielding

$k$68

Under additional Poincaré-series hypotheses, equality holds and explicit bases of distinguished linear forms are constructed (Wang et al., 2024).

In the concrete case $k$69 and $k$70, the harmonic-cochain method yields a complete classification of $k$71-stable apartments and exact multiplicity formulas. Writing $k$72 or $k$73,

$k$74

For the full orthogonal group $k$75, the same formula holds except at $k$76, where the dimension is $k$77 (Wang et al., 2024).

These results correct two frequent expectations. First, multiplicity-one distinction is not a general property of the Steinberg representation: in the split orthogonal examples, the distinguished dimension grows like a triangular polynomial in $k$78 (Wang et al., 2024). Second, the relative local Langlands picture can nevertheless remain precise: for split symmetric subgroups, Steinberg distinction is governed by explicit factorization of the Langlands parameter through the dual group of the symmetric space (Shtotland, 3 Jan 2025).