Let be a real closed form
on , with
|
|
|
There exists a function on such that if and only if represents
the zero cohomology class on and
|
|
|
for all . Furthermore, for ,
let . If and
,
then there exists a constant
depending only on and the periods
of over such that can be chosen with
|
|
|
Here, we compute the norm of a function on
by thinking of them as functions on ,
which we embed in by the coordinates and . We can then
use the standard norms on a bounded open set of
which contains a fundamental domain of each fibre.
The norm denotes the similar norm of
a function over .