Abstract:We derive an explicit formula for the action of a geometric Hecke correspondence on special cycles on a Shimura variety in terms of such cycles at a fixed neat level and compare it with another closely related expression sometimes used in literature. Potential applications include construction of Euler systems via $\pi_{0}$ of Shimura varieties.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the derivation of explicit formulas for the action of geometric Hecke correspondences on special cycles in Shimura varieties. Specifically, the author hopes to find an explicit formula to describe the result of a given irreducible special cycle after Hecke action, and these results can be expressed in terms of special cycles on a fixed finite level.
### Main problem
The author is concerned with how to represent the result of a certain irreducible special cycle after Hecke action in terms of special cycles on a fixed finite level. Specifically:
- **Problem 1.4**: Given \(g, \sigma\in G(\mathbb{A}_f)\) and \(K\subset G(\mathbb{A}_f)\), does there exist a \(\mathbb{Z}\)-linear combination of special cycles \(z_K(\gamma)\) (for \(\gamma\in G(\mathbb{A}_f)\)) such that it is equal to \([K\sigma K]_*\cdot z_K(g)\)? In other words, can \(\sum_{\delta\in K\backslash K\sigma K}z_{\delta^{-1}K\delta}(g_\delta)\) be represented as such cycles? If so, can a specific formula be given?
### Formula derivation
To answer this question, the author first introduced the concept of mixed Hecke correspondence and gradually derived the required formula through a series of lemmas and theorems. Finally, in Theorem 4.10, the author gave an explicit descent formula:
\[ [K'\sigma K]_*\cdot y_{K'}(1)=\sum_{i\in I}\sum_{\eta\in B_i}c_ie_i^{-1}\deg[U\sigma_i K]_*\cdot y_K(\eta\sigma_i) \]
where:
- \(K' = gKg^{-1}\)
- \(\sigma = g\varsigma\)
- \(U = H_g=H\cap gKg^{-1}\)
- \(\{\sigma_i\mid i\in I\}\) is the set of representatives of \(H_g\backslash gK\varsigma K / K\)
- \(U_{\sigma_i}=H_g\cap\sigma_i K\sigma_i^{-1}\)
Furthermore, according to Corollary 4.17, for any \(g\in G(\mathbb{A}_f)\), we have:
\[ [K\varsigma K]_*\cdot z_K(g)=\frac{1}{d_g}\sum_{i\in I}\sum_{\eta\in B_i}c_ie_i^{-1}d_{\eta\sigma_i}\deg[H_g\sigma_i K]_*\cdot z_K(\eta\sigma_i) \]
This formula shows that the special cycle \(z_K(g)\) after Hecke action can be expressed in terms of the special cycles \(z_K(\eta\sigma_i)\) on a fixed finite level, and the coefficients can be calculated through the above formula.
### Application and significance
The derivation of this formula not only provides a deep understanding of Hecke actions but also lays the foundation for further research on topics such as Euler systems on Shimura varieties. In particular, when more general coefficients are used, this formula helps to establish the norm relations of Euler systems.
### Simplified cases
In some special cases, such as zero - dimensional cycles or codimension - zero cycles, this formula can be simplified to the forms commonly seen in the literature (such as formula (1.5)).