Abstract:In this paper, we calculate the periods of Deligne-Lusztig characters $R_{T,\chi}^G$ associated to $X^F$, where $X=G/H$ for a connected spherical subgroup $H$ of $G$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to calculate the periods of Deligne - Lusztig characters associated with the spherical variety \(X = G/H\). Specifically, the author aims to calculate the expression:
\[
\langle R_{T,\chi}^G, 1_{H^F} \rangle_{H^F} := \frac{1}{|H^F|} \sum_{h \in H^F} R_{T,\chi}^G(h)
\]
where \(R_{T,\chi}^G\) is a virtual character defined by Deligne and Lusztig, \(T\) is an \(F\)-stable maximal torus, \(\chi: T^F \to \overline{\mathbb{Q}}_\ell^\times\) is a character, and \(1_{H^F}\) represents the trivial representation of \(H^F\).
### Main contributions of the paper
The main contribution of the paper lies in expressing the above - mentioned periods through geometric information. In Theorem 3.23, the author gives a complex formula to describe this period, but under the assumption (Assumption ‹), the author further simplifies this formula. Assumption ‹ requires that for any (not necessarily \(F\)-stable) Borel subgroup \(B\), the set \(B(k)\cap H(k)\) has an open dense subset consisting of semisimple elements in the Zariski topology.
### Main results
Under Assumption ‹, the main result (Theorem 4.33) can be concisely expressed as:
\[
\langle R_{T,\chi}^G, 1_{H^F} \rangle_{H^F} = \sum_{\omega \in \Omega_T^F} (-1)^{\sigma(T)+\sigma_\omega} t_{\omega,\chi}
\]
where:
- \(\Omega_T^F\) is a finite set whose elements are pairs \((c, X)\) satisfying certain conditions.
- \(\sigma(T)\) and \(\sigma_\omega\) are the ranks of certain centralizers respectively.
- \(t_{\omega,\chi}\) is a sum involving the character \(\chi\).
### Application examples
The paper also discusses some specific examples, verifies Assumption ‹ and applies Theorem 4.33, including but not limited to the following cases:
1. \(H\) is an \(F\)-stable parabolic subgroup of \(G\).
2. \(H\) is a connected subgroup fixed by an involution.
3. The diagonal embedding \(G_1\hookrightarrow G_1\times G_2\), where \(G_1\) is a reductive subgroup of \(G_2\) with complexity 0.
4. Analogies of some finite - field models, such as \((U_4\times U_2, U_2\times U_2)\).
These examples show the wide application of Theorem 4.33 and are consistent with the results in the existing literature.
### Conclusion
In general, by introducing geometric methods and assumption conditions, this paper provides an effective method to calculate the periods of Deligne - Lusztig characters, thus providing a theoretical basis for further research on these characters.