Is the Steinberg representation always irreducible?

Consider the case where $\mathbb F$ is a non-achimedean local field. Then following Borel and Serre (Cohomologie d'immeubles et de groupes $S$-arithmétiques, Topology, 1976), one may equip $T_n ({\mathbb F})$ with a topology coming from $\mathbb F$. With this topology, the cohomology in degree $n-2$ is indeed irreducible, this is the Steinberg representation of ${\rm SL}(n,{\mathbb F})$ in the sense of smooth (admissible) representations. However if you equip $T_n ({\mathbb F})$ with the topology of the geometric realization of your simplicial complex then you get a bigger representation which is not irreducible (I do not know wether it is indecomposable). For instance, for $n=2$, you get the space of complex functions on the projective line $P^1 ({\mathbb F})$ modulo constant functions. In contrast the Steinberg representation (in the smooth sense) is the space of locally constant functions on the projective line modulo constant functions.

Paul Broussous has indicated the way the Steinberg representation enters into the study of the group over a non-archimedean local field. I'll add some comments, in community-wiki format, to deal with the broader picture and fill in some references.

1) It's not clear to me why only the special linear group occurs in the formulation of the question, since this particular kind of representation lends itself well to a general treatment for semisimple (or reductive) algebraic groups. In any case, the historical development has mainly focused on just two situatins: first the finite groups of Lie type and later the analogous groups over non-archimedean local fields. It's important to consider what motivation there is for working over other fields, and especially what topology might be relevant besides the discrete topology. Infinite dimensional discrete representations of an infinite discrete group are usually quite hard to study.

2) In his early work, Steinberg himself worked mainly with finite groups (sometimes in the spirit of Chevalley's 1955 Tohoku paper). After experimenting with special cases, he found a succinct formulation of his construction in a short note here. His axiomatic formulation extends Chevalley's but his treatment always implicitly requires a finite group, in order to sum over various subgroups within the group algebra. But he can work over an arbitrary field, proving that his representation is irreducible precisely when the characteristic fails to divide the index of the finite "Borel subgroup" in the whole group. (There has been further work over the years on how the representation behaves when it isn't irreducible but the group is finite.)

3) Though Steinberg's construction is explicit (for finite groups), it doesn't easily yield all the character values over a field of characteristic 0. In fact these values are nice integers, first computed in absolute value by Srinivasan followed by later work clarifying the signs. Steinberg further showed in a 1963 paper that his representations occur naturally in the algebraic group context. In fact there is a family of them, one for each power of the characteristic $p$. Gradually the highest weight theory involving both algebraic and finite groups of Lie type was developed in a uniform way that integrated the Steinberg representation.

4) Later an alternative construction using the Tits building was developed: see especially the paper by Curtis-Lehrer-Tits here, but note that they used a slightly different version of the building. As they point out in their optional $\S8$, there are different possibilities here for the topology. But their main goal was to illuminate the determination of character values for the finite groups.

In each context people have defined "the Steinberg representation" in a precise way, but it's not clear to me what the optimal generality is for such a definition.