In Zhu's [Coherent sheaves on the stack of Langlands parameters](https://arxiv.org/abs/2008.02998) theorem 4.7.1 relates the cohomology of the moduli stack of shtukas to global sections of a certain sheaf on the stack of global Langlands parameters:



> 
> Let $H\_{I,V}^i=H^iC\_c\left(\mathrm{Sht}\_{\Delta(\bar\eta),K},\mathrm{Sat}(V)\right)$. By [Xu20, Xu1, Xu2], the natural Galois action and the partial Frobenii action together induce a canonical $W\_{F,S}^I$-action on $H\_{I,V}^i$. The following statement can be regarded as a generalization of the main construction of [LZ].
> 
> 
> **Theorem 4.7.1**. *Assume that $k=\mathbb Q\_\ell$ and regard $\mathrm{Loc}\_{^cG,F,S}$ as an algebraic stack over $\mathbb Q\_\ell$. Then for each $i$, there is a quasi-coherent sheaf $\mathfrak A\_K^i$ on $^{cl}\mathrm{Loc}\_{^cG,F,S}$, equipped with an action of $H\_K$, such that for every finite dimensional representation $V$ of $(^cG)^I$, there is a natural $(H\_K\times W\_{F,S}^I)$-equivariant isomorphism*
> $$
> H\_{I,V}^i\cong\Gamma(^{cl}\mathrm{Loc}\_{^cG,F,S},(w\_{F,S}V)\otimes\mathfrak A\_K^i)\tag{4.26}
> $$
> *where $w\_{F,S}V$ is the vector bundle on $\mathrm{Loc}\_{^cG,F,S}$ equipped with an action by $W\_{F,S}^I$ as in Remark 2.2.7.*
> 
> 
> 


This is a generalization of a construction in section 6 of Lafforgue-Zhu's [Décomposition au-dessus des paramètres de Langlands elliptiques](https://arxiv.org/abs/1811.07976) (also recapitulated in remark 8.5 of V. Lafforgue's [ICM survey](https://arxiv.org/abs/1803.03791)). The idea is that a regular function of the Langlands parameter determines an endomorphism of $H\_{\lbrace 0\rbrace,\mathrm{Reg}}$, a subspace of the cohomology of the moduli of shtukas with one leg, with relative position of the modification bounded by the regular representation of $\widehat{G}$ (see section 7 of [4](https://arxiv.org/abs/1803.03791)).


Let $V$ be a representation of $\widehat{G}$, let $x\in V$, $\xi\in V^{\*}$. Any function $f$ of $\widehat{G}$ can be expressed as a matrix coefficient $\langle\xi,g.x\rangle$, and for $\gamma\in\mathrm{Gal}(\overline{F}/F)$ the functions $F\_{f,\gamma}:\sigma\mapsto f(\sigma(\gamma))$ are supposed to topologically generate all such functions on the stack of Langlands parameters, as $f$ and $\gamma$ vary.


Letting $\underline{V}$ be the underlying vector space of the representation $V$, the tensor product $H\_{\lbrace 0\rbrace,\mathrm{Reg}}\otimes \underline{V}$ will have an action of $\mathrm{Gal}(\overline{F}/F)$, obtained from an isomorphism with $H\_{\lbrace 0,1\rbrace,\mathrm{Reg}\boxtimes V}$ (see remark 8.5 of [4](https://arxiv.org/abs/1803.03791)).


Since the data of $F\_{f,\gamma}$ is the same as the data of $x$, $\xi$, and $\gamma$, we may now construct the endomorphism of $H\_{\lbrace 0\rbrace,\mathrm{Reg}}$ as follows:
$$H\_{\lbrace 0\rbrace,\mathrm{Reg}}\xrightarrow{\mathrm{Id}\otimes x} H\_{\lbrace 0\rbrace,\mathrm{Reg}}\otimes \underline{V}\xrightarrow{\gamma} H\_{\lbrace 0\rbrace,\mathrm{Reg}}\otimes \underline{V}\xrightarrow{\mathrm{Id}\otimes\xi} H\_{\lbrace 0\rbrace,\mathrm{Reg}}$$


This allows us to construct a sheaf of $\mathcal{O}$-modules on the stack of Langlands parameters, whose global sections is $H\_{\lbrace 0\rbrace,\mathrm{Reg}}^{i}$.


In several other places in [1](https://arxiv.org/abs/2008.02998), Zhu also hints at the hope of finding an analogue of theorem 4.7.1 for the cohomology of Shimura varieties, following ongoing work in progress of Zhu and Emerton on an analogous stack of Langlands parameters for number fields.


How might such an analogue proceed? In the setting of Shimura varieties, as opposed to shtukas, it appears we do not have the notion of legs, or of bounding relative positions of modifications with representations of $\widehat{G}$ (I do not know whether there are any existing analogies). How might such an endomorphism be constructed?



Cohomology of Shimura varieties and coherent sheaves on the stack of Langlands parameters
The anticipated analogue is as follows:


There is a map $f: \mathcal X \to \prod\_{v \in S} \mathcal X\_v,$
where $\mathcal X$ is the stack of $p$-adic representations of $G\_{E,S}$ into ${}^LG$ (the $L$-group over $E$ of some group $G$ that is part of a Shimura datum, with reflex field $E$) unramified outside $S$, and each $\mathcal X\_v$
is the corresponding local version at the place $v$. (We choose $S$ to include all primes $v$ over $p$, and over $\infty$. And probably any primes where $G$ is ramified.)


Choosing a level structure at each place $v$ of $S$ will give rise to a coherent sheaf $\mathfrak A\_v$ on $\mathcal X\_v$ as in Xinwen's paper. (Strictly speaking, his paper only treats the case where $v \not\mid p$
or $\infty$, but there should be sheaves for the other $v$ too. The case of $v \mid \infty$ is conceptually a bit mysterious, but there are some ideas. The case of $v \mid p$ is related to the conjectural $p$-adic Langlands program; in this case $\mathcal X\_v$ will be an appropriate EG-type stack.)


We can then form $\mathfrak A := \boxtimes\_{v \in S} \mathfrak A\_v$,
the exterior tensor product, a coherent sheaf on $\prod\_{v \in S} \mathcal X\_v$.


We can consider $f^! \mathfrak A$ on $\mathcal X$.


The Hodge cocharacter $\mu$ from the Shimura datum gives rise to a representation $V\_{\mu}$ of ${}^LG$, and composing this with the universal
representation over $\mathcal X$, we obtain a locally free sheaf $\mathcal V$
of Galois representations over $\mathcal X$.


Now we have the conjectural formula:


$$R\Gamma\_c(\text{ Shimura variety at given level}, \mathbb Z\_p)[\text{shift by dimension of Shimura variety}]
$$
$$ = R\Gamma(\mathcal X, f^!\mathfrak A \otimes \mathcal V).$$


The analogous formula in the function field case, for cohomology of stacks of shtuka, is stated in Xinwen's paper, and this is the Shimura varieties version.


The isomorphism should be compatible with Galois and Hecke actions on the two sides.


The main difference with the shtuka case is that we just have the single $V\_{\mu}$ that we can consider, so there is less structure in the Shimura variety case than in that case. (We can get a bit more structure by allowing non-trivial coefficient systems in the cohomology, or even going to $p$-adically completed cohomology; this will be reflected in the precise choice of sheaf $\mathfrak A\_v$ at the places $v|p$.)


This will all be discussed in (hopefully) forthcoming papers of mine and Xinwen's, and of mine, Toby Gee, and Xinwen.


