6b8b0e799d38203e.tex
1: \begin{definition}
2: 	For $G\in \pdiv_{R_r}^{\Gamma}$, we write $\m_r(G)$
3: 	for the functorial descent of $\scrM_r(G)$ to an object of $\BT_{\s_r}^{\varphi,\Gamma}$
4: 	as guaranteed by Theorem \ref{Lau}.
5: 	By construction, we have a natural isomorphism
6: of functors ${\alpha_r}_*\circ \m_r\simeq \scrM_r$ on $\pdiv_{R_r}^{\Gamma}$.
7: \end{definition}
8: