Abstract:Let $K$ be a non-archimedean local field of residual characteristic $p\neq 2$. Let $G$ be a connected reductive group over $K$, let $\theta$ be an involution of $G$ over $K$, and let $H$ be the connected component of $\theta$-fixed subgroup of $G$ over $K$. By realizing the Steinberg representation of $G$ as the $G$-space of complex smooth harmonic cochains following the idea of Broussous--Courtès, we study its space of distinction by $H$ as a finite dimensional complex vector space. We give an upper bound of the dimension, and under certain conditions, we show that the upper bound is sharp by explicitly constructing a basis using the technique of Poincaré series. Finally, we apply our general theory to the case where $G$ is a general linear group and $H$ a special orthogonal subgroup, which leads to a complete classification result.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the distinction problem of Steinberg representations under specific symmetric pairs. Specifically, the author studies the Steinberg representation \(St_G\) of a connected reductive group \(G\) over a non - Archimedean local field \(K\), and the dimension of the distinction space \(Hom_H(St_G,\chi)\) of \(St_G\) under the subgroup \(H\) determined by an involution \(\theta\).
### Main problem description:
1. **Background settings**:
- \(K\) is a non - Archimedean local field with a residue characteristic not equal to 2.
- \(G\) is a connected reductive group over \(K\).
- \(\theta\) is an involution on \(G\) (that is, an automorphism and satisfies \(\theta^{2}=id\)).
- \(H\) is the connected component of the \(\theta\)-fixed subgroup in \(G\).
2. **Research objects**:
- Steinberg representation \(St_G\): This is an important representation of \(G\) and can be realized by the space of smooth harmonic chains.
- Distinction space \(Hom_H(St_G,\chi)\): This refers to the space of invariant linear forms of \(St_G\) under \(H\), where \(\chi\) is a character of \(H\) with some possible technical conditions.
3. **Goals**:
- Study the dimension of \(Hom_H(St_G,\chi)\) as a complex vector space and give an upper bound.
- Under certain conditions, prove that this upper bound is optimal and explicitly give a basis by constructing Poincaré series.
4. **Applications**:
- Apply the general theory to the case where \(G\) is the general linear group \(GL_n(K)\) and \(H\) is a special orthogonal subgroup, and obtain a complete classification result.
### Formulas and symbol explanations:
- \(St_G\) represents the Steinberg representation of \(G\).
- \(Hom_H(St_G,\chi)\) represents the space of invariant linear forms of \(St_G\) under \(H\).
- \(F_{\theta}(G)\) represents the set of \(\theta\)-stable facets in \(B(G)\).
- \(F_{\theta}^{\text{max}}(G)\) represents the subset of maximal \(\theta\)-stable facets in \(F_{\theta}(G)\).
- \(Ch(G)\) represents the set of chambers in \(B(G)\).
- \(Ch_0(G)\) represents the set of chambers with \(\theta\)-distance equal to 0.
### Conclusion:
The main contribution of this paper is to give an upper bound on the dimension of \(Hom_H(St_G,\chi)\) by geometric methods (such as Bruhat - Tits buildings) and combinatorial geometric methods, and prove that this upper bound is optimal in some cases. In particular, for the case where \(G = GL_n(K)\) and \(H\) is a special orthogonal subgroup, the paper obtains a complete classification result.
### Example formula:
\[ \dim Hom_H(St_G,\chi)\leq|F_{\theta}^{\text{max}}(G)/H| \]
where \(|F_{\theta}^{\text{max}}(G)/H|\) represents the number of orbits of \(F_{\theta}^{\text{max}}(G)\) under the action of \(H\).
Through these studies, the paper provides new insights and solutions for an important problem in the relative (local) Langlands program.