1: \begin{definition}\label{def:anc}

2: Assume that $a\in I$ satisfies the assumption of Theorem \ref{thm:linQ}. From the above discussion there exists $C(\mathcal{Q}^{(a)},\la,\zeta,l)\in \K(e^{\omega_j/{t_a}})_{j\in I}$ for each $(\la,\zeta,l)\in P\times \C^{\times} \times \Z_{>0}$ such that

3: \begin{equation}\label{eq:QandC0}

4: \Qam =\sum_{(\la,\zeta,l)} C(\mathcal{Q}^{(a)},\la,\zeta,l)\zeta^m e^{m \la/l}, \qquad m\in \Z_{\geq 0},

5: \end{equation}

6: which vanishes unless either

7: \begin{itemize}

8: \item $(\la,\zeta,l)=(\la,1,1)$ with $\la\in \La_a$; or,

9: \item $(\la,\zeta,l)=(\la,\zeta,t_a)$ with $\la\in \La_a'$ and $\zeta^{t_a}=1$. 

10: \end{itemize}

11: Let $C^{(a)}_{\la}:=C(\mathcal{Q}^{(a)},\la,1,1)$ for $\la\in \La_a$ and $C^{(a)}_{\la,\zeta}:=C(\mathcal{Q}^{(a)},\la,\zeta,t_a)$ for $\la\in \La_a'$ and $\zeta^{t_a}=1$. We also put $\ncC{a}:=C^{(a)}_{\omega_a}$ to emphasize its close connection with $\nc{a}$; see Proposition \ref{prop:fixdomain}.

12: We can rewrite (\ref{eq:QandC0}) as

13: \begin{equation}\label{eq:QandC}

14: \Qam =\sum_{\la\in \La_a} C^{(a)}_{\la}e^{m \la}+\sum_{\la\in \La_a'}\sum_{\zeta : \zeta^{t_a}=1} C^{(a)}_{\la,\zeta}\zeta^m e^{m \la/t_a}.

15: \end{equation}

16: \end{definition}

17: