Let $F$ be a $p$-adic field with residue field $k$ and let $G$ be a connected reductive group over $F$. Let us assume that $G$ is simply connected as an algebraic group over an algebraic closure of $F$. If I am not mistaken, it will insure that maximal compact subgroups and maximal parahoric subgroups of $G(F)$ are the same thing.
Given a maximal compact subgroup $K$ of $G(F)$, one can ask whether it is special or hyperspecial. This is defined in terms of the affine building of $G$ ; and there is a characterization of hyperspecial subgroups in terms of integral models of $G$.
On the other hand, given a parahoric subgroup $K$ in $G(F)$, one can form its pro-p radical $K^+$ (I also saw it called pro-unipotent radical, but I assume it is the same thing). The quotient $\mathcal K := K/K^+$ can be seen as the group of $k$-rational points of a reductive group over the finite field $k$. Therefore we call it the finite reductive quotient of $K$. Usually, when $G$ is a classical group then $\mathcal K$ is a product of two classical groups of the same type as $G$.
Both the adjectives "special", "hyperspecial" and the finite reductive quotient only depend on the conjugacy class of $K$.
When $K$ is a maximal parahoric subgroup, is there a way to detect when $K$ is special or hyperspecial solely in terms of conditions on the finite reductive quotient $\mathcal K$ ?
It's a naive question and I don't know what to expect. It just came to my mind while looking at the case of unitary groups. That is, if $E/F$ is an unramified quadratic extension, $V$ is a nondegenerate hermitian space over $E/F$ of dimension $n$ and $G = \mathrm U(V)$. Then, finite reductive quotients of maximal parahoric subgroups look like $\mathrm U_{t}(k) \times \mathrm U_{n-t}(k)$ where $1\leq t \leq n$ is some integer. Unless I am mistaken, we have
- When $n$ is odd, then $t$ must be odd and the corresponding parahoric is special for $t = 1$ and $t = n$. It is hyperspecial when $t = n$.
- When $n$ is even and $G$ is not unramified, then $t$ must be odd and the corresponding parahoric is special for $t = 1$ and $t = n-1$.
- When $n$ is even and $G$ is unramified, then $t$ must be even and the corresponding parahoric is special for $t = 0$ and $t = n$. In fact, they are hyperspecial in both cases.
Thus, it looks like the parahorics are special when one summand of the finite quotient is "as small as possible". Furthermore they are hyperspecial when this summand actually vanishes.
As a sidenote, maybe not related to the problem above, let me denote by $K_t$ a parahoric subgroup having finite quotient $\mathrm U_t(k) \times \mathrm U_{n-t}(k)$ where $t$ is odd or even depending on the cases we described. They form a system of representatives for each conjugacy class of maximal parahoric subgroups of $G$ (the number of such classes being precisely the Witt index of $V$). In particular, when $n$ is even the parahorics $K_t$ and $K_{n-t}$ are not conjugate in $G$ even though their finite reductive quotients are isomorphic.
But I noticed that it is "fixed" when we consider unitary similitude groups $G = \mathrm{GU}(V)$ instead. In this case, we still have maximal parahoric subgroups $K_t$ with finite quotient isomorphic to $\mathrm{G}(\mathrm{GU}_t(k)\times \mathrm{GU}_{n-t}(k))$, however when $n$ is even then the parahorics $K_t$ and $K_{n-t}$ are conjugate in $G$.