1: \begin{definition} \label{defSatake}

2: 

3: The \emph{inverse Satake transform} is the map:

4: \begin{equation} 

5: \Sat^{-1}: \CC[\delta_{(X)}^\frac{1}{2}\check A_{X, GN}]^{W_X} \ni \hat h\mapsto h^\vee\star \Phi^0 \in \mathcal S(X)^K 

6: \end{equation}

7: The map is injective by the torsion-freeness statement of Theorem \ref{factorsthrough}. The \emph{Satake transform} $\Sat$ is the inverse of this map, defined, of course, only on its image. 

8: 

9: \end{definition}

10: