What problem does this paper attempt to address?

### Problems the paper attempts to solve This paper aims to study the cohomology of moduli spaces of local shtukas and derive the cohomology formula under certain general assumptions. Specifically, the main motivation and application of the paper are to derive the cohomology formula of moduli spaces of local shtukas and discuss its relationship with the Kottwitz conjecture. ### Main contributions 1. **Derivation of the cohomology formula**: - The author uses the spectral action method of Fargues - Scholze to derive the cohomology formula of moduli spaces of local shtukas. - The formula is as follows: \[ R\Gamma(G, b, \mu^\bullet)[\rho] \sim= \bigoplus_{\delta \in \text{Irr}(S_\phi, \chi_b)} i_1^* \text{Act}_\delta(i_b^* \rho) \boxtimes V_{\phi, \delta} \] where \(\rho\) is an irreducible tempered representation, \(\phi\) is its Fargues - Scholze parameter, \(S_\phi\) is the centralizer of \(\phi\), and \(V_{\phi, \delta}\) is the image of \(\delta\) under \(V\). 2. **Verification of the strong Kottwitz conjecture**: - The author proves that in the case where \(\phi\) is a generous parameter and \(\phi\) is elliptic, the above formula satisfies the strong Kottwitz conjecture. - The strong Kottwitz conjecture consists of two parts: - **Kottwitz conjecture**: \[ \text{Mant}_{G, b, \mu^\bullet}(\rho) = \sum_{\delta \in \text{Irr}(S_\phi, \chi_b)} \pi_\delta \boxtimes \text{Hom}_{S_\phi}(\delta, V_\phi) \] - **Vanishing conjecture**: \[ H^n(R\Gamma(G, b, \mu^\bullet)[\rho]) = 0 \quad \text{for} \quad n \neq 0 \] 3. **Applications and generalizations**: - The author also discusses the extension of this formula in the case of non - basic parameters and its relationship with the Harris - Viehmann conjecture. - By combining recent results, the author proves that under certain assumptions, the above formula can be further simplified and verified. ### Conclusion This paper successfully derives the cohomology formula of moduli spaces of local shtukas by introducing a new spectral action method and verifies the correctness of the strong Kottwitz conjecture under specific conditions. These results not only deepen the understanding of moduli spaces of local shtukas but also provide important tools and theoretical foundations for further research.

A note on the cohomology of moduli spaces of local shtukas

Local cohomology with support in Schubert varieties

Relative étale slices and cohomology of moduli spaces

The local cohomology spectral sequence for topological modular forms

On the generic part of the cohomology of non-compact unitary Shimura varieties

Cohomology with integral coefficients of stacks of shtukas

Beijing notes on the categorical local Langlands conjecture

A cohomological Hasse principle over two-dimensional local rings

On subquotients of the etale cohomology of Shimura varieties

$S^1$-localisation by pseudocycles, lifts to $S^1$-localisation of moduli spaces, and application to invariants of $S^1$-equivariant symplectic cohomology

p-adic shtukas and the theory of global and local Shimura varieties

Motivic action for Siegel modular forms

Moduli spaces of sheaves via affine Grassmannians

Mixed Hodge structures and Siegel operators

Moduli spaces of level structures on mixed characteristic local shtukas

Cohomology of Moduli Stacks of Principal $\Bbb C^*$-Bundles Over Nodal Algebraic Curves

Cohomology rings of the moduli of one-dimensional sheaves on the projective plane

Étale cohomology of algebraic varieties over Stein compacta

The categorical form of Fargues' conjecture for tori

Noncommutative supports, local cohomology and spectral sequences

On the local geometry of the moduli space of $(2,2)$-threefolds in ${\mathcal A}_9$