Skip to main content
2 of 2
Oops, inconsistent notation
LSpice
  • 12.9k
  • 4
  • 45
  • 69

I am sure that there is some elegant way to proceed without reduction to $\operatorname{GL}_n$, but the reduction is so straightforward that it's a shame not to do it. It's also not as silly a proof strategy as it might seem; this is the strategy used in the ‘dynamic’ study of subgroups associated to cocharacters in Chapter 2 of Conrad, Gabber, and Prasad - Pseudo-reductive groups (for example, see Proposition 2.1.8).

All schemes over $\mathscr O$ (which could be $\mathbb Z_p$ if you'd like to stick with the ambient field $\mathbb Q_p$, or could be the ring of integers in any locally compact, non-Archimedean field in general), to avoid having to speak of $\mathscr O$-models for schemes over a field that I never need to reference explictly.

The important thing is that your statement becomes weaker if you replace your Borel by a larger parabolic, so you might as well make the claim for arbitrary parabolics. Now choose a faithful representation $G \to \operatorname{GL}_n$. Let $T$ be a split maximal torus in the Borel (or just parabolic) subgroup $B$, let $\lambda$ be a cocharacter of $T$ so that $B$ is the parabolic $P_G(\lambda)$ of $G$ associated to $\lambda$, and—here's the key—replace $G$ by $\operatorname{GL}_n$, and $B$ by $P_{\operatorname{GL}_n}(\lambda)$, to make a stronger claim. This parabolic subgroup probably won't be a Borel subgroup even if $B$ was, but, as we observed, that's OK.

Now, as you observed, one can prove this stronger claim by induction—the way that I'd think to do it is by downward induction on $\lvert i + j\rvert$, where we consider the $(i, j)$ entries of the two triangular matrices.

LSpice
  • 12.9k
  • 4
  • 45
  • 69