Disintegration of bounded quasi-positive Hilbert forms (Q1611289)

Let \(A\) be a commutative \(*\)-algebra, \(\langle\cdot, \cdot \rangle\) a Hilbert form on \(A\) (i.e. a hermitian sesquilinear form with \(\langle ab,c \rangle= \langle b,a^*c\rangle\) for all \(a,b,c\in A)\). Let \(I\subseteq A\) be a ``positive'' ideal, i.e. \(\langle a,a\rangle\geq 0\) for all \(a\in I\). Under certain conditions on \(I\) the following representation is shown \[ \langle a,b \rangle= [a,b]+ \int\alpha (b^*a)d \mu(\alpha) \quad\text{for }a,b\in A \] (there is a misprint in formula (3)), where the integral runs over all hermitian characters on \(A\) not identically zero on \(I\), and where the Hilbert form \([\cdot, \cdot]\) is singular with respect to \(I\) in the sense that \([ab,c]=0\) for all \(a,b,c\in I\).