1: \begin{definition}\label{def:stable-system}\index{stable system}
2: Suppose $4 \nmid m$. A \emph{stable system} is a rule assigning a family of genuine characters $\theta_j: \widetilde{jS} \to \CC^\times$ to a triple $(\mathcal{E}, S, \theta^\flat)$, relative to any given $(W, \lrangle{\cdot|\cdot})$ (and $\psi$ when $m \equiv 2 \pmod 4$). It must satisfy the following properties.
3: \begin{enumerate}[\bfseries SS.1]
4: \item We require that $\theta_j = \theta_j^\circ \theta_j^\dagger$, where $\theta_j^\dagger$ is a character of $j(S(F)/S(F)_{0+})$. When $m \equiv 2 \pmod 4$, we require further that if $c \in F^\times$ and
5: \begin{compactitem}
6: \item $\psi$ is replaced by $\psi_c$, or
7: \item $\lrangle{\cdot|\cdot}$ is replaced by $c\lrangle{\cdot|\cdot}$
8: \end{compactitem}
9: then $\theta_j^\dagger$ will be twisted by the quadratic character of $jS(F)_{p'}$ that maps
10: \[ \left( -1 \in K_i^1 \hookrightarrow \prod_{i' \in I} K_{i'}^1 \simeq S(F) \right) \mapsto \sgn_{K_i/K_i^\sharp}(c) \]
11: (notation of Theorem \ref{prop:S-p'}) for all $i \in I$.
12: \item For any stable conjugacy $j' = \Ad(g) \circ j$ in $\mathcal{E}$, we require that
13: \begin{gather*}
14: \theta_{j'}\left( \CaliAd(g)(\tilde{\gamma}) \right) = \theta_j(\tilde{\gamma}), \quad \tilde{\gamma} \in \widetilde{jS}
15: \end{gather*}
16: where $\CaliAd(g)$ is as in Definition \ref{def:st-conj}.
17: \item The character $\theta_j^\dagger$ depends only on the maximal torus $jS \subset G$ and the $\theta^\flat|_{S_{Q,m}(F)_{0+}}$ transported to $jS_{Q,m}(F)_{0+}$. It follows that if $(\varphi, \varphi_{Q,m}): (\mathcal{E}, S, \theta^\flat) \rightiso (\mathcal{E}_1, S_1, \theta^\flat_1)$ is an isomorphism, then $\theta_j^\dagger = \theta_{j \varphi^{-1}}^\dagger$; indeed, $\Image(j) = \Image(j\varphi^{-1}) =: R$ and the transportations to $R_{Q,m}(F)$ of $\theta^\flat$ and $\theta_1^\flat$ coincide since $\theta^\flat = \theta_1^\flat \varphi_{Q,m}$.
18: \end{enumerate}
19: \end{definition}
20: