Let
H be a separable Hilbert space over
R (dim (
H) is finite or infinite),
Ha be the algebraic dual space of
H, \mathfrak{B} be the cylindrical σ-algebra on
Ha and μ be a rotationally invariant probability measure on (
Ha, \mathfrak{B}). Further let θ=θ(
x,
U) be a 1-cocycle defined on (
x,
U)∈
Ha×
O(
H), where
O(
H) is the rotation group on
H. That is,
(c.1) for any fixed
U∈
O(
H), θ(
x,
U) is a \mathfrak{B}-measurable function of
x,
(c.2) | θ(
x,
U) |≡1, and
(c.3) for
∀U1,
∀U2∈
O(
H), θ(
x,
U1)θ(
tU1x,
U2)=θ(
x,
U1U2) for μ-a.e.
x,
where
tU is the algebraic transpose of
U. Moreover it is said to be continuous, if the following condition holds for θ.
(c.4) θ(
x,
U)→1 in μ, if
U→Id in the strong operator topology.
Our main result is as follows.
Assume that dim (
H)≠3. Then for any continuous 1-cocycle θ, there exists a \mathfrak{B}-measurable function φ with modulus 1 such that for any fixed
U∈
O(
H), θ(
x,
U)=φ(
tUx)/φ(
x) for μ-a.e.
x.
View full abstract