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

2: Let $U$ be a unitary with spectral gap at $-1$\,, $A_U$ the corresponding partial Cayley transform and $\gamma$

3: the trace map considered in Theorem~\ref{LMtracetheorem}.

4: The Hermitean quadratic form $Q_U$ associated to the unitary $U$ is defined by

5: $$Q_U(\Phi,\Psi)=\scalar{\d\Phi}{\d\Psi}_{\Lambda^1}-\scalarb{\gamma(\Phi)}{A_U\gamma(\Phi)}$$

6: on the domain

7: $$\D_U=\bigl\{ \Phi\in\H^1(\Omega)\bigr|   \; P_W\gamma(\Phi)=0 \bigr\}\;.$$ 

8: Here $\scalar{\cdot}{\cdot}_{\Lambda^1}$ 

9: stands for the canonical scalar product among one-forms on the manifold $\Omega$\,.

10: \end{definition}

11: