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

2: Let $U$ be a unitary with 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 associated to the unitary $U$ is defined by

5: $$Q_U(\Phi,\Psi)=\scalar{\d\Phi}{\d\Psi}-\scalarb{\gamma(\Phi)}{A_U\gamma(\Phi)}\;.\newnot{symb:QU}$$

6: on the domain

7: $$\D_U=\bigl\{ \Phi\in\H^1(\Omega)\bigr|P^{\bot}\gamma(\Phi)=0 \bigr\}\;.\newnot{symb:DU}$$

8: \end{definition}

9: