1: \begin{definition}\lb{D3}

2: Define the following mapping

3: \[\lb{008}

4:  \pmb{\t}:\mL\to\mC,\ \ \pmb{\t}(\cA)=(\t_{\a}(\cA)),\ \

5:  \t_{\a}(\cA)=\t_{\a}(\cA)({\bf k}_{\ol{\a}}):={\rm Tr}\langle{\bf A}_{\a}({\bf k}_{\ol{\a}}\diamond{\bf x}_{\a},{\bf

6:  x}_{\a})\rangle_{\a}.

7: \]

8: Now, we fix some ascending (or descending) order of $|\a|$. Below we

9: show that the definition does not depend on the order. If

10: $\cA\in{\rm Inv}(\mL)$ then by Theorem \ref{T3} $\cA=\prod_{\a\in

11: I_N}\cG_{\a}$, where $\cG_{\a}=\cI+\langle{\bf G}_{\a}({\bf k},{\bf

12: x}_{\a})\cdot\rangle_{\a}$. We can write $\cG_{\a}=\cG_{\a}({\bf

13: k}_{\ol{\a}})$, where for any fixed ${\bf k}_{\ol{\a}}$ the operator

14: $\cG_{\a}({\bf k}_{\ol{\a}})=\cI+\langle{\bf G}_{\a}({\bf

15: k}_{\ol{\a}}\diamond{\bf k}_{\a},{\bf x}_{\a})\cdot\rangle_{\a}$ (or

16: $\cG_{\es}({\bf k})={\bf G}_{\es}({\bf k})\cdot$ for $\a=\es$) is a

17: finite-rank operator acting on $L^2([0,1)^{|\a|},\C^M)$. Hence, we

18: can define the determinant $\pi_{\a}$ of such operators

19: \[\lb{008b}

20: \pi_{\a}(\cG_{\a})=\pi_{\a}(\cG_{\a})({\bf

21: k}_{\ol{\a}}):=\pi_{\a}(\cG_{\a}({\bf k}_{\ol{\a}}))

22: \]

23: This leads to the mapping

24: \[\lb{008a}

25:  \pmb{\pi}:{\rm Inv}(\mL)\to{\rm Inv}(\mC),\ \ \pmb{\pi}(\cA)=(\pi_{\a}(\cG_{\a})),

26: \]

27: since $\cG_{\a}({\bf k}_{\ol{\a}})$, and hence their determinants,

28: are staircase functions. The set ${\rm Inv}(\mC)$ consists of all

29: functions from $\mC$ that have no zeroes, since the determinant of

30: finite-rank invertible operators is not zero.

31: \end{definition}