i dz A dZ, autrement dit le double de la mesure de Lebesgue Xa2 sur C (identifié à R2
de la manière usuelle).
Soit H l'espace des formes holomorphes w de degré m sur Xc telles que la
mesure w A Z soit bornée. Pour a, /l dans H, la mesure complexe cr A est bornée;
en posant
( a ~ / l )
= im2 JX cr P,
on obtient une forme hermitienne sur H, qui fait de H un espace de Hilbert.