This cocycle is cohomological to zero if and only if the generator, regarded as a function on the group, is bounded in absolute value. In this case, it coincides, up to sign and constant summand, with a positive definite function. That is why we are interested in unbounded conditionally positive definite functions and the corresponding nontrivial
$1$
cocycles with values in irreducible unitary representations. Such cocycles do not always exist and must lie in representations “glued” to the identity representation.
A canonical state on a group is an infinitely divisible state such that the generator of the corresponding semigroup is an unbounded conditionally positive definite function.
Given a canonical state on a group
$G$
, we construct an irreducible unitary nonlocal representation (integral) of the corresponding current group — the group of
$G$
valued measurable functions. Conversely, each invariant (see above) representation of the current group realized in the Fock space is generated by some canonical state on
$G$
.
Thus a canonical state is the exponential of the squared norm of a nontrivial cocycle of the group with values in an irreducible unitary representation of the group. The complete list of groups for which a canonical state does exist is not yet known; however, there is a number of examples, the most important of which are some classical semisimple Lie groups, nontrivial
$1$
cocycles on which were first found in [
15,
14]
. Another example — the group of automorphisms of a tree — is considered in [
10]
.
In the case of semisimple groups, one requires additionally that a canonical state should be constant on a chosen maximal compact subgroup. This condition leads to a unique (up to the choice of a positive degree) canonical state; namely, the corresponding oneparameter subgroup is the subgroup of spherical functions, and its generator is the derivative of the family of spherical functions of complementary series with respect to the parameter at the group identity. Thus, among semisimple groups, canonical states and the corresponding nonlocal representations of current groups exist only on groups of rank
$1$
(and not all at that), namely, on
$SO(n,1)$
and
$SU(n,1)$
^{1) }
.
It is clear from above that the restriction of a canonical state to any commutative subgroup is an infinitely divisible characteristic (=positive definite) function, i.e., the Bochner–Fourier transform of an infinitely divisible
measure on the group of characters of the commutative subgroup; hence this measure determines a Lévy process with values in the group of characters. In our case of the group
$SO(n,1)$
, the commutative subgroup and its group of characters is
${\mathbb{R}}^{n1}$
, and the representation of the current group is realized in the
${L}^{2}$
space over some vector Lévy process.
Let
$\phi (\cdot )$
be a canonical state on some group
$G$
; considering its restriction to a commutative subgroup, we can write the Fourier transform of the law of the corresponding Lévy process as
$$\Phi \left(g\right(\cdot \left)\right)=exp\left({\int}_{X}log\phi \left(g\right(x\left)\right)dx\right).$$
2.3 The group
$G=O(n,1)$
In this paper the group
$G=O(n,1)$
is realized as the collection of all real matrices of order
$n+1$
preserving the quadratic form
$$2{x}_{1}{x}_{n+1}+{x}_{2}^{2}+\dots +{x}_{n}^{2}.$$
In another formulation,
$G$
is the group of all real matrices satisfying the relation
$$\begin{array}{c}gs{g}^{*}=s,\text{}s=\left(\begin{array}{ccc}0& 0& 1\\ 0& e& 0\\ 1& 0& 0\end{array}\right),\end{array}$$ 
(2.1)

where
$e$
is the identity matrix of order
$n1$
and
$*$
stands for transposition.
We write elements
$g\in G$
as block matrices
$$g=\left(\begin{array}{ccc}{g}_{11}& {g}_{12}& {g}_{13}\\ {g}_{21}& {g}_{22}& {g}_{23}\\ {g}_{31}& {g}_{32}& {g}_{33}\end{array}\right),$$
where the diagonal blocks are quadratic matrices of orders
$1$
,
$n1$
, and
$1$
, respectively.
Condition
2.1 is equivalent to the following relations between the elements of these matrices:
$${g}_{13}{g}_{31}+{g}_{11}{g}_{33}+{g}_{12}{g}_{32}^{*}=1,{g}_{23}{g}_{21}^{*}+{g}_{21}{g}_{23}^{*}+{g}_{22}{g}_{22}^{*}=e,2{g}_{11}{g}_{13}+{g}_{12}{g}_{12}^{*}=0,2{g}_{31}{g}_{33}+{g}_{32}{g}_{32}^{*}=0,{g}_{11}{g}_{23}+{g}_{13}{g}_{21}+{g}_{22}{g}_{12}^{*}=0,{g}_{31}{g}_{23}+{g}_{33}{g}_{21}+{g}_{22}{g}_{32}^{*}=0.$$
The group
$G$
contains as a subgroup the group
$Z$
of all block matrices of the form
$$z=\left(\begin{array}{ccc}1& 0& 0\\ {\gamma}^{*}& e& 0\\ \frac{\gamma {}^{2}}{2}& \gamma & 1\end{array}\right),\gamma \in {\mathbb{R}}^{n1},$$
where
$\left\gamma \right=(\sum {{\gamma}_{i}}^{2}{)}^{1/2}$
. The group
$Z$
is commutative and isomorphic to the additive group
${\mathbb{R}}^{n1}$
, and it is the maximal unipotent subgroup of
$G$
. We identify elements
$z\in Z$
with vectors
$\gamma \in {\mathbb{R}}^{n1}$
and write
$z\left(\gamma \right)$
or simply
$\gamma $
instead of
$z$
.
By
$D$
we denote the subgroup of block diagonal matrices from
$G$
, and by
$B$
the subgroup of all block lower triangular matrices. Elements of the subgroup
$D$
are matrices of the form
$$d=diag({\epsilon}^{1},u,\epsilon ),\epsilon \in \mathbb{R}\backslash 0,u\in O(n1).$$
The group
$B$
is the semidirect product
$B=Z\u22cbD$
, and the group
$D$
is the direct product of the groups
${\mathbb{R}}^{*}$
and
$O(n1)$
.
The canonical state
$\phi \left(g\right)$
on the group
$G$
is given by the following formula:
$$\phi \left(g\right)=exp\left({\frac{d{\psi}_{\lambda}\left(g\right)}{d\lambda}}_{\lambda =0}\right),$$
where
${\psi}_{\lambda}$
is the spherical function of the complementary series representation of the group
$G$
with parameter
$\lambda $
, the value
$\lambda =0$
corresponding to the special representation of
$G$
glued to the identity representation; see [
14]
and [
5]
.
Note that the special representation of the group
$G$
corresponding to
$\lambda =0$
has a nontrivial
$1$
cocycle and is the unique irreducible unitary representation of
$G$
with this property.
2.4 The current group
${G}^{X}=O(n,1{)}^{X}$
We consider the group
$G=O(n,1)$
in the realization described above. Denote by
${Z}^{X}$
,
${D}^{X}$
, and
${B}^{X}$
the subgroups of functions
$g\left(x\right)\in {G}^{X}$
with values in the subgroups
$Z$
,
$D$
, and
$B$
, respectively. Note that the group
${Z}^{X}$
is isomorphic to the additive group
$({\mathbb{R}}^{n1}{)}^{X}$
of bounded Borel functions on
$X$
with values in
${\mathbb{R}}^{n1}$
, and the group
${B}^{X}$
is the semidirect product
${B}^{X}={Z}^{X}\u22cb{D}^{X}$
.
In [
15,
5]
, for each group
$O(n,1{)}^{X}$
, an irreducible unitary representation was constructed that is invariant under
$m$
preserving transformations of the space
$X$
. It was called the basic representation; several models of this representation were described.
In the chosen realization of the group
$O(n,1)$
, the spherical function
$\Psi \left(g\right(\cdot \left)\right)$
(canonical state) on the current group
${G}^{X}$
that determines this representation is given by the following formula:
$$\begin{array}{c}\Psi \left(g\right(\cdot \left)\right)=exp\left(\frac{1}{2}{\int}_{X}log\left\frac{{g}_{11}\left(x\right)+{g}_{33}\left(x\right){g}_{13}\left(x\right){g}_{31}\left(x\right)}{2}\rightdm\left(x\right)\right),\end{array}$$ 
(2.2)

where
${g}_{ij}$
are elements of the block matrix
$g\in {G}^{X}$
. Its restriction to the infinitedimensional commutative current group
${Z}^{X}$
is given by the formula
$$\begin{array}{c}\Psi \left(\gamma \right(\cdot \left)\right)=exp\left(\frac{1}{2}{\int}_{X}log\left(1+\frac{\left\gamma \right(x){}^{2}}{4}\right)dm\left(x\right)\right),\end{array}$$ 
(2.3)

where
$\gamma $
is the function determining the block matrix
$$z=\left(\begin{array}{ccc}1& 0& 0\\ {\gamma}^{*}& e& 0\\ \frac{\gamma {}^{2}}{2}& \gamma & 1\end{array}\right)\in {Z}^{X}.$$
Automatically, this restriction is the characteristic function of an infinitely divisible distribution, because the canonical state on the group
$G$
is infinitely divisible.
We construct a commutative model of the basic representation of the group
$O(n,1{)}^{X}$
. It is realized in the Hilbert space
${L}^{2}\left(\nu \right)$
of functions on the space of vector distributions squareintegrable with respect to the measure
$\nu $
introduced below. By the properties of this measure, on
${L}^{2}\left(\nu \right)$
there is a natural unitary representation
${U}_{g}$
of the block triangular subgroup
${B}^{X}$
, where elements
$z\in {Z}^{X}$
act as diagonal operators. The desired commutative model of the basic representation of the group
${G}^{X}$
is obtained by extending this representation from the subgroup
${B}^{X}$
to the whole group
$O(n,1{)}^{X}$
.
The measure
$\nu $
is determined by its density with respect to another measure
$\mu $
introduced in this paper. By definition,
$\mu $
is the finite measure on the space of vector distributions whose Fourier transform is the functional
$\Psi \left(\gamma \right(\cdot \left)\right)$
given by 2.3 .
Note that the measure
$\mu $
is the law of the Lévy process obtained by the canonical construction from the infinitely divisible measure
$\alpha $
on the additive group
${\mathbb{R}}^{n1}$
whose Fourier transform is
$(1+\frac{\gamma {}^{2}}{4}{)}^{1n}$
,
$\gamma \in {\mathbb{R}}^{n1}$
. The density of this measure
$\alpha $
with respect to the standard Lebesgue measure is given, up to constant factor, by the following formula:
$$\stackrel{~}{\psi}\left(\xi \right)=\left\xi {}^{\frac{n1}{2}}{K}_{\frac{n1}{2}}\right(2\left\xi \right),$$
where
${K}_{\nu}\left(x\right)$
is the modified Bessel function of the third kind, see [
2]
. In particular,
$\stackrel{~}{\psi}\left(\xi \right)={e}^{2\left\xi \right}$
in the case
$n=2$
. The measure
$\alpha $
is
$O(n1)$
invariant, and it is a multidimensional generalization of the symmetrized gamma distribution.
2.5 Several integral relations
In further constructions we will use formulas for the Fourier transform of the functions
$(1+\frac{\gamma {}^{2}}{4}{)}^{\lambda /2}$
and
$\gamma {}^{\lambda}$
on
${\mathbb{R}}^{n1}$
, where
$\left\gamma \right=({\sum}_{i=1}^{n1}{\gamma}_{i}^{2}{)}^{1/2}$
. Namely,
$$\begin{array}{c}{\int}_{{\mathbb{R}}^{n1}}{\left(1+\frac{\gamma {}^{2}}{4}\right)}^{\lambda /2}{e}^{i<\xi ,\gamma >}d\gamma ={c}_{n}\frac{2}{\Gamma (\lambda /2)}\left\xi {}^{(\lambda n+1)/2}{K}_{(n1\lambda )/2}\right(2\left\xi \right),\end{array}$$ 
(2.4)

$$\begin{array}{c}{\int}_{{\mathbb{R}}^{n1}}\gamma {}^{\lambda}{e}^{i<\xi ,\gamma >}d\gamma ={c}_{n}\frac{{2}^{\lambda}\Gamma \left(\right(n1\lambda )/2)}{\Gamma (\lambda /2)}\xi {}^{\lambda n+1},\end{array}$$ 
(2.5)

where the coefficient
${c}_{n}$
, the same in 2.4 and 2.5 , depends only on
$n$
.
The Bessel function
${K}_{\rho}$
is given by the following equation (see [
2]
):
$$\begin{array}{c}{K}_{\rho}\left(2z\right)=\frac{\pi}{2sin\left(\pi \rho \right)}\left({I}_{\rho}\right(2z){I}_{\rho}(2z\left)\right),\end{array}$$ 
(2.6)

where
$$\begin{array}{c}{I}_{\rho}\left(2z\right)={\sum}_{m=0}^{\infty}\frac{{z}^{2m+\rho}}{m!\Gamma (m+\rho +1)}.\end{array}$$ 
(2.7)

It is important for the sequel that this function is continuous and strictly positive on the halfline
$0<x<\infty $
.
Remark.
For integer values of
$\rho $
, the series for
${K}_{\rho}$
contains terms with
$logz$
; for halfinteger values of
$\rho $
, the expression for
${K}_{\rho}$
can be simplified:
$${K}_{n+\frac{1}{2}}\left(z\right)={\left(\frac{\pi}{2z}\right)}^{1/2}{e}^{z}{\sum}_{k=0}^{n}\frac{(n+k)!}{k!(nk)!(2z{)}^{k}}.$$
It is convenient to write equation 2.4 in another form. Namely, setting
$\lambda =2\rho +n1$
, we obtain
$$\begin{array}{c}{\int}_{{\mathbb{R}}^{n1}}{\left(1+\frac{\gamma {}^{2}}{4}\right)}^{\frac{n1}{2}\rho}{e}^{i<\xi ,\gamma >}d\gamma ={c}_{n}\frac{2}{\Gamma (\frac{n1}{2}+\rho )}\left\xi {}^{\rho}{K}_{\rho}\right(2\left\xi \right).\end{array}$$ 
(2.8)

Let us give a brief derivation of formulas 2.4 and 2.5 for
$n>2$
. In spherical coordinates the first integral takes the form
$${J}_{1}=c{\int}_{0}^{\infty}{\int}_{0}^{\phi}{\left(1+\frac{{r}^{2}}{4}\right)}^{\lambda /2}{e}^{i\left\xi \rightcos\phi}{r}^{n2}{sin}^{n3}\phi d\phi dr.$$
Integrating with respect to
$\phi $
yields (see [8,formula3.915.5] )
$${J}_{1}=c\left\xi {}^{\frac{n3}{2}}{\int}_{0}^{\infty}{\left(1+\frac{{r}^{2}}{4}\right)}^{\lambda /2}{r}^{\frac{n1}{2}}{J}_{\frac{n3}{2}}\right(\left\xi \rightr)dr,$$
where
${J}_{\rho}\left(\gamma \right)$
is the Bessel function of the first kind (see [2] ). Similarly, for the integral 2.5 we obtain
$${J}_{2}=c\left\xi {}^{\frac{n3}{2}}{\int}_{0}^{\infty}{r}^{\frac{n1}{2}\lambda}{J}_{\frac{n3}{2}}\right(\left\xi \rightr)dr.$$
Integrating with respect to
$r$
yields the expressions 2.4 and 2.5 for
${J}_{1}$
and
${J}_{2}$
, respectively; see [8,formulas6.565.4and6.561.14] .
Theorem 2.1 (Multidimensional analog of the Lévy–Khintchin formula).
The function
$log(1+\frac{\gamma {}^{2}}{4})$
on
${\mathbb{R}}^{n1}$
has the following integral representation:
$$\begin{array}{c}log\left(1+\frac{\gamma {}^{2}}{4}\right)={\int}_{{\mathbb{R}}^{n1}}\left({e}^{i<\xi ,\gamma >}1\right)g\left(\xi \right)d\xi ,\text{where}g\left(\xi \right)=\left\xi {}^{\frac{n1}{2}}{K}_{\frac{n1}{2}}\right(2\left\xi \right).\end{array}$$ 
(2.9)

Indeed, it follows from 2.4 that
$${\int}_{{\mathbb{R}}^{n1}}\left({e}^{i<\xi ,\gamma >}1\right)\left\xi {}^{\frac{\lambda n+1}{2}}{K}_{\frac{\lambda n+1}{2}}\right(2\left\xi \right){)}^{1/2}d\xi =c\Gamma (\lambda /2)\left({\left(1+\frac{\gamma {}^{2}}{4}\right)}^{\lambda /2}1\right).$$
As
$\lambda \to 0$
, we obtain 2.9 .
3 The commutative model of the complementary series of irreducible unitary representations of the group
$O(n,1)$
3.1 The action of the group
$G$
on
${\mathbb{R}}^{n1}$
and the
$1$
cocycle
Let
$Y$
be the manifold of onedimensional subspaces in
${\mathbb{R}}^{n+1}$
lying inside the light cone
$$2{x}_{1}{x}_{n+1}+{x}_{2}^{2}+\dots +{x}_{n}^{2}=0.$$
The group
$G=O(n,1)$
, regarded as a group of linear transformations in
${\mathbb{R}}^{n+1}$
, acts transitively on
$Y$
. We use the right notation for this action:
$y\to y\overline{g}$
. Note that in another interpretation
$Y$
is the absolute of the
$n$
dimensional Lobachevsky space realized as the collection of onedimensional subspaces in
${\mathbb{R}}^{n+1}$
lying inside the light cone.
Let us realize
$Y\backslash {y}_{0}$
, where
${y}_{0}=(\lambda ,0,...,0)$
, as the intersection of the cone with the hyperplane
${x}_{n+1}=1$
, i.e., as the set of points in
${\mathbb{R}}^{n+1}$
of the form
$$\left(\frac{\gamma {}^{2}}{2},{\gamma}_{i},...,{\gamma}_{n1},1\right),$$
where
$\gamma =({\gamma}_{i},...,{\gamma}_{n1})\in {\mathbb{R}}^{n1}$
and
$\left\gamma \right=(\sum {{\gamma}_{i}}^{2}{)}^{1/2}$
. According to this realization, there is a natural bijection
$Y\backslash {y}_{0}\to {\mathbb{R}}^{n1}$
; hence the action of the group
$G$
on
$Y$
induces an action
$\gamma \to \gamma \overline{g}$
of
$G$
on the space
${\mathbb{R}}^{n1}$
. We emphasize that this action is not linear.
It follows from the definition that the vector
$\gamma \overline{g}$
is given by the following formula:
$$\begin{array}{c}\gamma \overline{g}={\left(\frac{\gamma {}^{2}}{2}{g}_{13}+\gamma {g}_{23}+{g}_{33}\right)}^{1}\left(\frac{\gamma {}^{2}}{2}{g}_{12}+\gamma {g}_{22}+{g}_{32}\right),\end{array}$$ 
(3.1)

where
${g}_{ij}$
are elements of the block matrix
$g$
. In particular,
$$\begin{array}{cc}\gamma g=\gamma +{\gamma}_{0}& \text{for}g=z\left({\gamma}_{0}\right)\in Z;\end{array}$$  
$$\begin{array}{cc}\gamma g={\epsilon}^{1}\gamma u& \text{for}g=diag({\epsilon}^{1},u,\epsilon );\end{array}$$  
$$\begin{array}{cc}\gamma s=\frac{2\gamma}{\gamma {}^{2}}.& \end{array}$$  
Now let us define a function
$\beta (\gamma ,g)$
by the formula
$$\begin{array}{c}\beta (\gamma ,g)=\left\frac{\gamma {}^{2}}{2}{g}_{13}+\gamma {g}_{23}+{g}_{33}\right,\gamma \in {\mathbb{R}}^{n1},g\in G.\end{array}$$ 
(3.2)

In particular,
$$\begin{array}{cc}\beta (\gamma ,g)=1& \text{for}g\in Z;\end{array}$$  
$$\begin{array}{cc}\beta (\gamma ,g)=\left\epsilon \right& \text{for}g=diag({\epsilon}^{1},u,\epsilon );\end{array}$$  
$$\begin{array}{cc}\beta (\gamma ,s)=\frac{\gamma {}^{2}}{2}.& \end{array}$$  
It follows from the definition that
$\beta (\gamma ,g)$
is a
$1$
cocycle of the group
$G$
with values in
${\mathbb{R}}^{*}$
, i.e.,
$$\begin{array}{c}\beta (\gamma ,{g}_{1}{g}_{2})=\beta (\gamma ,{g}_{1})\beta (\gamma {\overline{g}}_{1},{g}_{2})\text{for any}\gamma \in {\mathbb{R}}^{n1}\text{and}{g}_{1},{g}_{2}\in G.\end{array}$$ 
(3.3)

3.2 The standard model of the complementary series representations
Each irreducible unitary complementary series representation of the group
$G=O(n,1)$
is determined by a number
$\lambda $
from the interval
$0<\lambda <n1$
. In the standard realization, the representation
${T}^{\lambda}$
with parameter
$\lambda $
acts in the Hilbert space
${L}_{\lambda}$
of realvalued functions
$f\left(\gamma \right)$
on
${\mathbb{R}}^{n1}\simeq Z$
with scalar product
$$\begin{array}{c}<{f}_{1},{f}_{2}>={\int}_{{\mathbb{R}}^{n1}\times {\mathbb{R}}^{n1}}{\gamma}^{\prime}{\gamma}^{\prime \prime}{}^{\lambda}{f}_{1}({\gamma}^{\prime}\left){f}_{2}\right({\gamma}^{\prime \prime})d{\gamma}^{\prime}d{\gamma}^{\prime \prime},\end{array}$$ 
(3.4)

where
$d\gamma =d{\gamma}_{1}\dots d{\gamma}_{n1}$
is the Lebesgue measure on
${\mathbb{R}}^{n1}$
. The operators of this representation have the form
$$\begin{array}{c}{T}_{g}^{\lambda}f\left(\gamma \right)=f\left(\gamma \overline{g}\right){\beta}^{1n+\frac{\lambda}{2}}(\gamma ,g),\end{array}$$ 
(3.5)

where
$\gamma \overline{g}$
and
$\beta (\gamma ,g)$
are given by equations 3.1 and 3.2 , respectively. In particular,
$$\begin{array}{cc}& {T}_{z}^{\lambda}f\left(\gamma \right)=f(\gamma +{\gamma}_{0})\text{for}z=z\left({\gamma}_{0}\right)\in Z;\end{array}$$ 
(3.6)

$$\begin{array}{cc}& {T}_{d}^{\lambda}f\left(\gamma \right)=\left\epsilon {}^{1n+\frac{\lambda}{2}}f\right({\epsilon}^{1}\gamma u)\text{for}d=diag({\epsilon}^{1},u,\epsilon );\end{array}$$ 
(3.7)

$$\begin{array}{cc}& {T}_{s}^{\lambda}f\left(\gamma \right)=f\left(\frac{2\gamma}{\gamma {}^{2}}\right){\left(\frac{\gamma {}^{2}}{2}\right)}^{1n+\frac{\lambda}{2}}\text{for}s=\left(\begin{array}{ccc}0& 0& 1\\ 0& e& 0\\ 1& 0& 0\end{array}\right).\end{array}$$ 
(3.8)

$$\begin{array}{}\end{array}$$  
The group property of these operators follows immediately from the property 3.3 of the function
$\beta (\gamma ,g)$
, and their unitarity follows from the relations
$$\begin{array}{c}d\left(\gamma \overline{g}\right)={\beta}^{1n}(\gamma ,g)d\gamma \text{for any}g\in G,\end{array}$$ 
(3.9)

where
$d\gamma =d{\gamma}_{1}\dots d{\gamma}_{n1}$
, and
$$\begin{array}{c}xy{}^{2}=x\overline{g}y\overline{g}{}^{2}\beta (x,g)\beta (y,g)\end{array}$$ 
(3.10)

for any
$x,y\in {\mathbb{R}}^{n1}$
and
$g\in G$
.
Relations
3.9 and 3.10 are easily verified for elements from
$Z$
and
$D$
and the element
$s$
.
It follows from the properties of the
$1$
cocycle
$\beta (\gamma ,g)$
that they hold for any element
$g\in G$
.
3.3 Construction of the commutative model of complementary series representations
Let us describe the commutative model of a complementary series representation
${T}^{\lambda}$
of the group
$G=O(n,1)$
with respect to the subgroup
$Z$
, i.e., the model in which the operators
${T}_{z}^{\lambda}$
,
$z\in Z$
, act as multiplicators.
This model is obtained by passing from functions
$f\left(\gamma \right)$
in the standard model to their Fourier transforms
$$\phi \left(\xi \right)={\int}_{{\mathbb{R}}^{n1}}{e}^{i<\xi ,\gamma >}f\left(\gamma \right)d\gamma .$$
Theorem 3.1.
In the commutative model, the complementary series representation
${T}^{\lambda}$
is realized in the Hilbert space
${L}_{\lambda}$
of complexvalued functions on
${\mathbb{R}}^{n1}$
with the norm
$$\begin{array}{c}\parallel \phi {\parallel}^{2}=\frac{{2}^{\lambda}\Gamma \left(\right(n1\lambda )/2)}{\Gamma (\lambda /2)}{\int}_{{\mathbb{R}}^{n1}}\left\xi {}^{1n+\lambda}\right\phi \left(\xi \right){}^{2}d\xi ,\left\xi \right=<\xi ,\xi {>}^{1/2},\end{array}$$ 
(3.11)

satisfying the condition
$$\begin{array}{c}\phi \left(\xi \right)=\phi (\xi ).\end{array}$$ 
(3.12)

The operators of the representation are given by the formula
$$\begin{array}{c}{T}_{g}^{\lambda}\phi \left(\xi \right)={\int}_{{\mathbb{R}}^{n1}}{A}^{\lambda}(\xi ,{\xi}^{\prime},g)\phi \left({\xi}^{\prime}\right)d{\xi}^{\prime},\end{array}$$ 
(3.13)

where
$$\begin{array}{c}{A}^{\lambda}(\xi ,{\xi}^{\prime},g)={\int}_{{\mathbb{R}}^{n1}}{e}^{i(<\xi ,\gamma ><{\xi}^{\prime},\gamma g>)}{\beta}^{1n+\lambda /2}(\gamma ,g)d\gamma .\end{array}$$ 
(3.14)

In particular,
$$\begin{array}{cc}{T}_{z}^{\lambda}\phi \left(\xi \right)={e}^{i<\xi ,{\gamma}_{0}>}\phi \left(\xi \right)& \text{for}z=z\left({\gamma}_{0}\right)\in Z;\end{array}$$  
$$\begin{array}{cc}{T}_{d}^{\lambda}\phi \left(\xi \right)=\left\epsilon {}^{\lambda /2}\phi \right(\epsilon \xi u)& \text{for}d=diag({\epsilon}^{1},u,\epsilon ).\end{array}$$  

Proof.
In the new model, the squared norm is given by the formula
$$\parallel \phi {\parallel}^{2}={\int}_{{\mathbb{R}}^{n1}\times {\mathbb{R}}^{n1}}R(\xi ,{\xi}^{\prime})\phi \left(\xi \right)\phi \left({\xi}^{\prime}\right)d\xi d{\xi}^{\prime},$$
where
$$R(\xi ,{\xi}^{\prime})={\int}_{{\mathbb{R}}^{n1}\times {\mathbb{R}}^{n1}}\gamma {\gamma}^{\prime}{}^{\lambda}{e}^{i(<\xi ,\gamma ><{\xi}^{\prime},{\gamma}^{\prime}>)}d\gamma d{\xi}^{\prime}=\delta (\xi {\xi}^{\prime}\left){\int}_{{\mathbb{R}}^{n1}}\right\gamma {}^{\lambda}{e}^{i<\xi ,\gamma >}d\xi .$$
This implies 3.11 in view of 2.5 .
Relation
3.12 is equivalent to the condition that the original space is real.The formulas for representation operators in the new model can be obtained directly from the formulas for these operators in the original model by passing from functions
$f\left(\gamma \right)$
to their Fourier transforms. □
Proposition 3.1.
In the commutative model of the representation
${T}^{\lambda}$
, the kernel
$A(\xi ,{\xi}^{\prime})={A}^{\lambda}(\xi ,{\xi}^{\prime},s)$
of the operator
${T}_{s}^{\lambda}$
corresponding to the element
$s=\left(\begin{array}{ccc}0& 0& 1\\ 0& e& 0\\ 1& 0& 0\end{array}\right)$
has the following form:
$$\begin{array}{ccc}A(\xi ,{\xi}^{\prime})& =& {2}^{1\frac{\lambda}{2}}{\int}_{0}^{\infty}cos\left(\xi x+\frac{2{\xi}^{\prime}}{x}\right){x}^{\lambda 2}dx\text{for}n=2,\end{array}$$ 
(3.15)

$$\begin{array}{ccc}A(\xi ,{\xi}^{\prime})& =& {c}_{n}{2}^{\lambda /2}{\int}_{0}^{\infty}{r}^{\lambda n}r\xi +2{r}^{1}{\xi}^{\prime}{}^{\frac{n3}{2}}{J}_{\frac{n3}{2}}(r\xi +2{r}^{1}\xi )dr\end{array}$$ 
(3.16)

for
$n>2$
, where
${J}_{\frac{n3}{2}}$
is the Bessel function of the first kind.
Indeed, since
$\gamma s=\frac{2\gamma}{\gamma {}^{2}}$
and
$\beta (\gamma ,s)=\frac{\gamma {}^{2}}{2}$
, it follows from 3.14 that
$$A(\xi ,{\xi}^{\prime})={2}^{n1\lambda /2}{\int}_{{\mathbb{R}}^{n1}}{e}^{i(<\xi ,\gamma >+<{\xi}^{\prime},\frac{2\gamma}{\gamma {}^{2}}>)}\gamma {}^{22n+\lambda}d\gamma .$$
For
$n=2$
, 3.15 follows immediately. For
$n>2$
, in spherical coordinates we obtain
$$A(\xi ,\xi )={c}_{n}{2}^{\lambda /2}{\int}_{0}^{\infty}{\int}_{0}^{\pi}{e}^{ir\xi +2{r}^{1}{\xi}^{\prime}cos\phi}{r}^{\lambda n}{sin}^{n3}\phi d\phi dr.$$
Integrating with respect to
$\phi $
yields 3.16 .
Remark.
For
$n=2$
, the kernel
$A(\xi ,{\xi}^{\prime})$
can be expressed in terms of Bessel functions:
$$\begin{array}{ccc}A(\xi ,{\xi}^{\prime})& =& c{\left(cos\frac{\pi \lambda}{2}\right)}^{1}\left{\xi}^{\prime}{\xi}^{1}{}^{1/2}\right[{J}_{\lambda 1}\left({2}^{3/2}\right\xi {\xi}^{\prime}\left\right){J}_{1\lambda}\left({2}^{3/2}\right\xi {\xi}^{\prime}\left\right)]\text{for}\xi {\xi}^{\prime}<0,\end{array}$$  
$$\begin{array}{ccc}A(\xi ,{\xi}^{\prime})& =& c{\left(cos\frac{\pi \lambda}{2}\right)}^{1}\left{\xi}^{\prime}{\xi}^{1}{}^{1/2}\right[{I}_{\lambda 1}\left({2}^{3/2}\right\xi {\xi}^{\prime}\left\right){I}_{1\lambda}\left({2}^{3/2}\right\xi {\xi}^{\prime}\left\right)]\text{for}\xi {\xi}^{\prime}>0.\end{array}$$  
The representation
${T}^{\lambda}$
is uniquely determined by its spherical function
$${\psi}_{\lambda}\left(g\right)=<{T}_{g}^{\lambda}1{\mathbb{I}}_{\lambda},1{\mathbb{I}}_{\lambda}>,$$
where
$1{\mathbb{I}}_{\lambda}\in {L}_{\lambda}$
is a vector of norm
$1$
that is invariant under the maximal compact subgroup of
$G$
(vacuum vector). In the chosen realization of the group
$G$
, this spherical function takes the form
$$\begin{array}{c}{\psi}_{\lambda}\left(g\right)={\left\frac{{g}_{11}\left(x\right)+{g}_{33}\left(x\right){g}_{13}\left(x\right){g}_{31}\left(x\right)}{2}\right}^{\lambda /2},\end{array}$$ 
(3.17)

where
${g}_{ij}$
are elements of the block matrix
$g$
. In particular,
$${\psi}_{\lambda}\left(z\right(\gamma \left)\right)={\left(1+\frac{\gamma {}^{2}}{4}\right)}^{\lambda /2}.$$
Let us introduce the following vector in the space
${L}_{\lambda}$
:
$$\begin{array}{c}{f}_{\lambda}\left(\xi \right)={\left(\left\xi {}^{\frac{\lambda n+1}{2}}{K}_{\frac{\lambda n+1}{2}}\right(2\left\xi \right)\right)}^{1/2},\end{array}$$ 
(3.18)

where
${K}_{\rho}\left(x\right)$
is the Bessel function defined above.
Proposition 3.2.
The vector
${f}_{\lambda}$
is invariant under the maximal compact subgroup of the group
$G$
, hence it is proportional to the vacuum vector
$1{\mathbb{I}}_{\lambda}$
.
Corollary.
The following equation holds:
$$<{T}_{z\gamma}^{\lambda}{f}_{\lambda},{f}_{\lambda}>=\parallel {f}_{\lambda}{\parallel}^{2}{\psi}_{\lambda}\left(z\right(\gamma \left)\right),$$
i.e.,
$$\begin{array}{c}{\int}_{{\mathbb{R}}^{n1}}{e}^{i<\xi ,\gamma >}\left\xi {}^{\frac{\lambda n+1}{2}}{K}_{\frac{\lambda n+1}{2}}\right(2\left\xi \right){)}^{1/2}d\xi =\parallel {f}_{\lambda}{\parallel}^{2}{\left(1+\frac{\gamma {}^{2}}{4}\right)}^{\lambda /2}.\end{array}$$ 
(3.19)

Proposition 3.3.
We have
$\parallel {f}_{\lambda}{\parallel}^{2}=c\Gamma (\lambda /2){\left(1+\frac{\gamma {}^{2}}{4}\right)}^{\lambda /2}.$
Indeed, it follows from 2.4 that the lefthand side of 3.19 is equal to
$(2{c}_{n}{)}^{1}\Gamma (\lambda /2)$
.
3.4 The embedding
${L}_{\lambda}\to {\otimes}_{i=1}^{l}{L}_{{\lambda}_{i}}$
Proposition 3.4.
For any positive real numbers
${\lambda}_{1},...,{\lambda}_{l}$
,
$\sum {\lambda}_{i}<n1$
, there exists an isometric embedding
$$\tau :{L}_{\lambda}{\to}^{l}{\otimes}_{i=1}{L}_{{\lambda}_{i}},\lambda =\sum {\lambda}_{i},$$
that commutes with the action of the group
$G$
. In the standard realization of representations it is given by the formula
$$\begin{array}{c}\tau f({\gamma}^{1},...,{\gamma}^{l})=f\left({\gamma}^{1}{)}^{l}{\prod}_{i=2}\delta \right({\gamma}^{1}{\gamma}^{i}),\end{array}$$ 
(3.20)

and in the commutative model, by the formula
$$\begin{array}{c}\tau \phi ({\xi}_{1},...,{\xi}_{l})=\phi ({\xi}_{1}+\dots +{\xi}_{l}).\end{array}$$ 
(3.21)


Proof.
First let us consider the standard model of representations. Let
$<,>$
and
$<,{>}_{l}$
be the scalar products in the spaces
${L}_{\lambda}$
and
${\otimes}_{i=1}^{l}{L}_{{\lambda}_{i}}$
, respectively. Then it is obvious that
$$<\tau f,\tau f{>}_{l}={{\int}_{{\mathbb{R}}^{n1}\times {\mathbb{R}}^{n1}}}^{l}{\prod}_{i=1}{\gamma}^{\prime}{\gamma}^{\prime \prime}{}^{{\lambda}_{i}}f({\gamma}^{\prime}\left)f\right({\gamma}^{\prime \prime})d{\gamma}^{\prime}d{\gamma}^{\prime \prime}=<f,f>.$$
Thus the mapping
$\tau $
is isometric. Obviously, it commutes with the action of
$G$
.
Now let us consider the commutative model of representations. Let
$\phi \left(\xi \right)$
be the Fourier transform of a function
$f\left(\gamma \right)$
. Then, according to 3.20 , the image of
$\phi $
under this embedding is equal to
$$\int f\left({\gamma}_{1}{)}^{l}{\prod}_{i=2}\delta \right({\gamma}_{1}{\gamma}_{i}{)}^{l}{\prod}_{i=1}{e}^{i<{\xi}_{i},{\gamma}_{i}>}d{\gamma}_{i}=\phi ({\xi}_{1}+\dots +{\xi}_{l}).$$
□
3.5 The commutative model of the special representation of the group
$O(n,1)$
The special representation of the group
$O(n,1)$
is the irreducible unitary representation of this group glued to the identity representation. It is obtained from the complementary series representations in the
$\lambda \to 0$
limit. Thus Theorem 3.1 implies the following result.
Theorem 3.2.
In the commutative model, the special representation
${T}^{0}$
of the group
$O(n,1)$
is realized in the Hilbert space of complexvalued functions on
${\mathbb{R}}^{n1}$
with the norm
$$\begin{array}{c}\parallel \phi {\parallel}^{2}={\int}_{{\mathbb{R}}^{n1}}\left\xi {}^{1n}\right\phi \left(\xi \right){}^{2}d\xi \end{array}$$ 
(3.22)

satisfying the condition
$\phi \left(\xi \right)=\phi (\xi )$
. Operators of the representation are given by the formula
$$\begin{array}{c}{T}_{g}\phi \left(\xi \right)={\int}_{{\mathbb{R}}^{n1}}{A}^{0}(\xi ,{\xi}^{\prime},g)\phi \left({\xi}^{\prime}\right)d{\xi}^{\prime},\end{array}$$ 
(3.23)

where
$$\begin{array}{c}{A}^{0}(\xi ,{\xi}^{\prime},g)={\int}_{{\mathbb{R}}^{n1}}{e}^{i(<\xi ,\gamma ><{\xi}^{\prime},\gamma g>)}{\beta}^{1n}(\gamma ,g)d\gamma .\end{array}$$ 
(3.24)

In particular,
$$\begin{array}{ccc}{T}_{z}\phi \left(\xi \right)& =& {e}^{i<\xi ,{\gamma}_{0}>}\phi \left(\xi \right)\text{for}z=z\left({\gamma}_{0}\right)\in Z;\end{array}$$  
$$\begin{array}{ccc}{T}_{d}\phi \left(\xi \right)& =& \phi \left(\epsilon \xi u\right)\text{for}d=diag({\epsilon}^{1},u,\epsilon ).\end{array}$$  
The special representation
${T}^{0}$
has a nontrivial
$1$
cocycle
$\beta :G\to {L}_{0}$
, where
${L}_{0}$
is the space of
${T}^{0}$
. Namely, set
${f}_{0}\left(\xi \right)={lim}_{\lambda \to 0}{f}_{\lambda}\left(\xi \right)$
, where
${f}_{\lambda}\left(\xi \right)\in {L}_{\lambda}$
is given by 3.18 , i.e.,
$${f}_{0}\left(\xi \right)=\left(\right\xi {}^{\frac{n1}{2}}{K}_{\frac{n1}{2}}\left(2\right\xi \left\right){)}^{1/2}.$$
This vector is invariant under the maximal compact subgroup of
$G$
, but it does not belong to the space
${L}_{0}$
of the special representation. The desired nontrivial
$1$
cocycle
$G\to {L}_{0}$
is given by the equation
$$\beta (\gamma ,g)={T}_{g}^{0}{f}_{0}\left(\xi \right){f}_{0}\left(\xi \right).$$
It is known that
${T}^{0}$
is the unique irreducible unitary representation of the group
$G$
possessing a nontrivial
$1$
cocycle.
4 The measures
$\mu $
and
$\nu $
on the space of vector distributions
4.1 The spaces
$F$
and
$\Phi $
The construction of the commutative model of the basic representation of the current groups
${G}^{X}$
will be based on two remarkable measures in the space of vector distributions.
Denote by
$F$
the space of smooth bounded realvalued functions on
$X$
and by
$\Phi $
the dual space with the ordinary topology (the space of distributions on
$X$
). We will denote by
$<,>$
the pairing of elements from
$F$
and
$\Phi .$
Let us introduce the space
${F}^{n1}$
of vector functions
$\gamma \left(x\right)=\left({\gamma}_{1}\right(x),...,{\gamma}_{n1}(x\left)\right)$
,
${\gamma}_{i}\in F$
, and denote by
${\Phi}^{n1}$
the dual space. Elements from
${\Phi}^{n1}$
are realized as vector distributions
$\xi \left(x\right)=\left({\xi}_{1}\right(x),...,{\xi}_{n1}(x\left)\right)$
,
${\xi}_{i}\in \Phi $
, with the pairing
$$<\xi ,\gamma >={\sum}_{k=1}^{n1}<{\xi}_{k},{\gamma}_{k}>.$$
For example, if
$\xi =c{\delta}_{{x}_{0}}$
, where
$c=({c}_{1},...,{c}_{n1})\in {\mathbb{R}}^{n1}$
and
${\delta}_{{x}_{0}}$
is a
$\delta $
function on
$X$
, then
$<\xi ,\gamma >={\sum}_{k=1}^{n1}{c}_{k}{\gamma}_{k}\left({x}_{0}\right).$
Since in what follows we will consider only the spaces
${F}^{n1}$
and
${\Phi}^{n1}$
, we will omit the index
$n1$
in their notation.
4.2 The measure
$\mu $
on
$\Phi $
Let us introduce the following function on
${\mathbb{R}}^{n1}$
:
$$\begin{array}{c}l\left(\gamma \right)={\left(1+\frac{\gamma {}^{2}}{4}\right)}^{1/2},\gamma \in {\mathbb{R}}^{n1}.\end{array}$$ 
(4.1)

It is known that this function is positive definite. According to 2.4 , its Fourier transform equals
$${\int}_{{\mathbb{R}}^{n1}}{\left(1+\frac{\gamma {}^{2}}{4}\right)}^{1/2}{e}^{i<\xi ,\gamma >}d\gamma ={c}_{n}\frac{2}{\Gamma (1/2)}\left\xi {}^{(n+2)/2}{K}_{(n2)/2}\right(2\left\xi \right).$$
Let us introduce a functional
$L\left(\gamma \right(\cdot \left)\right)$
on
$F$
by the formula
$$L\left(\gamma \right(\cdot \left)\right)=exp\left({\int}_{X}logl\left(\gamma \right(x\left)\right)dm\left(x\right)\right),$$
i.e.,
$$\begin{array}{c}L\left(\gamma \right(\cdot \left)\right)=exp\left(\frac{1}{2}{\int}_{X}log\left(1+\frac{1}{4}\left\gamma \right(x){}^{2}\right)dm\left(x\right)\right).\end{array}$$ 
(4.2)

Note that
$L\left(\gamma \right(\cdot \left)\right)=\Psi \left(\gamma \right(\cdot \left)\right),$
where
$\Psi \left(\gamma \right(\cdot \left)\right)$
is the restriction of the spherical function of the basic representation of the group
${G}^{X}$
to the subgroup
${Z}^{X}$
, see 2.3 . This functional is positive definite and continuous (see [
6]
); hence, by the Minlos theorem on measures on the space of distributions [
6]
, it is the Fourier transform of a finite normalized measure
$\mu $
on
$\Phi $
, i.e.,
$$\begin{array}{c}L\left(\gamma \right(\cdot \left)\right)={\int}_{\Phi}{e}^{i<\xi ,\gamma >}d\mu \left(\xi \right).\end{array}$$ 
(4.3)

Theorem 4.1.
The measure
$\mu $
is concentrated on the set
${\Phi}_{0}\subset \Phi $
of distributions of the form
$$\begin{array}{c}\xi =\sum {c}^{i}{\delta}_{{x}_{i}},{c}^{i}=({c}_{1}^{i},...,{c}_{n1}^{i})\in {\mathbb{R}}^{n1},\text{where}\sum \left{c}^{i}\right<\infty .\end{array}$$ 
(4.4)


Proof.
The series in 4.4 converges if and only if the series for each coordinate converges; hence it suffice to verify the condition for the onedimensional processes obtained by projecting to coordinates. The characteristic functions of these processes are the restrictions of the function
$l(\cdot )$
(given by 4.1 ) to the onedimensional subspaces; but all of them determine the classical gamma process, which satisfies the convergence condition (see [13] ; for a general convergence condition for onedimensional Lévy processes, see [7] ). □
Let us introduce the space
$\mathcal{\mathcal{F}}\supset F$
of real bounded Borel vector functions on
$X$
. Since
$\mu $
almost every distribution
$\xi \in \Phi $
is of the form 4.4 , each function
$\gamma \in \mathcal{\mathcal{F}}$
corresponds to a measurable linear functional
$<\xi ,\gamma >$
on
$\Phi $
defined
$\mu $
almost everywhere on
$\Phi $
.
Note that on
$\mathcal{\mathcal{F}}$
and
$\Phi $
there are two natural operations :1) the multiplication by a bounded Borel
${\mathbb{R}}^{*}$
valued function
$\epsilon \left(x\right)$
on
$X$
:
$$\gamma \to \epsilon \gamma ,\xi \to \epsilon \xi ;$$
2) the action of the group
$O(n1{)}^{X}$
of Borel functions on
$X$
with values in the compact group
$O(n1)$
:
$$\gamma \to \gamma u,\xi \to \xi u,u\in O(n1{)}^{X}.$$
According to this definition,
$$\begin{array}{cccccccccc}& <\epsilon \xi ,\gamma >=<\xi ,\epsilon \gamma >& & \text{and}& & <\xi u,\gamma >=<\xi ,\gamma u>& & \text{for any}& & \gamma \in \mathcal{\mathcal{F}},\xi \in \Phi .\end{array}$$  
$$\begin{array}{}\end{array}$$  
The following proposition follows from the definition of the measure
$\mu $
.
Proposition 4.1.
The measure
$\mu $
is invariant under the transformations
$\xi \to \xi u$
,
$u\in O(n1{)}^{X}$
.
Remark.
In fact, we construct a vector gamma process such that the measure in the space of trajectories of this process enjoys the additional property as compared with the symmetrized gamma process: it is invariant under pointwise orthogonal transformations.
4.3 Projections of the measure
$\mu $
to finitedimensional quotient spaces
Let us consider all finite partitions
$X={\cup}_{i=1}^{l}{X}_{i}$
of the space
$X$
such that
$m\left({X}_{i}\right)<n1$
for all elements of the partition. Let us associate with each partition
$\alpha :X={\cup}_{i=1}^{l}{X}_{i}$
, where
$m\left({X}_{i}\right)<n1$
, the subspace
${\mathcal{\mathcal{F}}}_{\alpha}\sim =({\mathbb{R}}^{n1}{)}^{l}$
of vector functions
$\gamma \left(x\right)\in \mathcal{\mathcal{F}}$
that are constant on elements of
$\alpha $
, and the dual space
${\Phi}_{\alpha}\sim =({\mathbb{R}}^{n1}{)}^{l}$
, realized as a quotient space of
$\Phi $
.
Denote by
${\mu}_{\alpha}$
the projection of the measure
$\mu $
to the quotient space
${\Phi}_{\alpha}$
.
Proposition 4.2.
The measure
${\mu}_{\alpha}$
on
${\Phi}_{\alpha}\sim =({\mathbb{R}}^{n1}{)}^{l}$
has the form
$$\begin{array}{c}d{\mu}_{\alpha}({\xi}_{1},...,{\xi}_{l}){=}^{l}{\prod}_{k=1}\left(\frac{2}{\Gamma ({\lambda}_{k}/2)}\left{\xi}_{k}{}^{({\lambda}_{k}n+1)/2}{K}_{\frac{n1{\lambda}_{k}}{2}}\right(2\left{\xi}_{k}\right)d{\xi}_{k}\right),\end{array}$$ 
(4.5)

where
${\xi}_{i}\in {\mathbb{R}}^{n1}$
,
$d{\xi}_{i}$
is the Lebesgue measure on
${\mathbb{R}}^{n1}$
,
${\lambda}_{k}=m\left({X}_{k}\right)$
, and
${K}_{\nu}$
is the modified Bessel function of the third kind defined above.

Proof.
For every
$\gamma \left(x\right)\in {\mathcal{\mathcal{F}}}_{\alpha}$
we have
$$exp\left(\frac{1}{2}{\int}_{X}log\left(1+\frac{\left\gamma \right(x){}^{2}}{4}\right)dm\left(x\right)\right){=}^{l}{\prod}_{i=1}{\left(1+\frac{{\gamma}^{i}{}^{2}}{4}\right)}^{{\lambda}_{i}/2},$$
where
${\gamma}^{i}=\gamma \left(x\right){}_{{X}_{i}}$
and
${\lambda}_{i}=m\left({X}_{i}\right)$
.
Therefore, in view of
4.3 , for every
$\gamma \left(x\right)\in {\mathcal{\mathcal{F}}}_{\alpha}$
we have
$${\int}_{{\Phi}_{\alpha}}{e}^{i<\xi ,\gamma >}d{\mu}_{\alpha}\left(\xi \right)={\int}_{\Phi}{e}^{i<\xi ,\gamma >}d\mu \left(\xi \right){=}^{l}{\prod}_{i=1}{\left(1+\frac{{\gamma}^{i}{}^{2}}{4}\right)}^{{\lambda}_{i}/2}.$$
Hence
$d{\mu}_{\alpha}({\xi}^{1},...,{\xi}^{l})={\prod}_{i=1}^{l}\psi \left({\xi}^{i}\right)d{\xi}^{i}$
, where
$\psi \left({\xi}^{i}\right)$
is the Fourier transform of the function
$(1+\frac{{\gamma}^{i}{}^{2}}{4}{)}^{{\lambda}_{i}/2}$
on
${\mathbb{R}}^{n1}$
. Now 4.5 follows from 2.4 . □
4.4 The function
${V}_{\rho}\left(x\right)$
and the measure
$\nu $
on
$\Phi $
For
$\rho >0$
, introduce a function
${V}_{\rho}\left(x\right)$
on the halfline
$0\u2a7dx<\infty $
by the formula
$$\begin{array}{c}{V}_{\rho}\left(x\right)={\left(\frac{2}{\Gamma \left(\rho \right)}{x}^{\rho}{K}_{\rho}\left(2x\right)\right)}^{1}={\left(\Gamma (1\rho ){x}^{\rho}\left[{I}_{\rho}\right(2x){I}_{\rho}(2x\left)\right]\right)}^{1}.\end{array}$$ 
(4.6)

In particular,
${V}_{1/2}\left(x\right)={e}^{2x}$
.
Theorem 4.2.
The Fourier transform of the function
${V}_{\rho}^{1}\left(\right\xi \left\right)$
on
${\mathbb{R}}^{n1}$
equals
$$\begin{array}{c}{\int}_{{\mathbb{R}}^{n1}}{V}_{\rho}^{1}\left(\right\xi \left\right){e}^{i<\xi ,x>}d\xi ={c}_{n}\frac{\Gamma \left(\rho \right)}{\Gamma (\frac{n1}{2}+\rho )}{\left(1+\frac{x{}^{2}}{4}\right)}^{\frac{n1}{2}\rho}.\end{array}$$ 
(4.7)

In particular,
$${\int}_{{\mathbb{R}}^{n1}}{V}_{\frac{n1}{2}}^{1}\left(\right\xi \left\right){e}^{i<\xi ,x>}d\xi ={c}_{n}\frac{\Gamma \left(\frac{n1}{2}\right)}{\Gamma (n1)}{\left(1+\frac{x{}^{2}}{4}\right)}^{n+1}.$$
Indeed, according to 2.8 ,
$$\begin{array}{c}{V}_{\rho}^{1}\left(\right\xi \left\right)={c}_{n}^{1}\frac{\Gamma (\frac{n1}{2}+\rho )}{\Gamma \left(\rho \right)}{\int}_{{\mathbb{R}}^{n1}}{\left(1+\frac{x{}^{2}}{4}\right)}^{\frac{n1}{2}\rho}{e}^{i<\xi ,x>}dx.\end{array}$$ 
(4.8)

Applying the inverse Fourier transform yields 4.7 .
Corollary.
The measure
${V}_{\frac{n1}{2}}^{1}\left(\right\xi \left\right)d\xi $
is an infinitely divisible measure on
${\mathbb{R}}^{n1}$
.
(Since its Fourier transform has a Lévy–Khintchin representation; see 2.9 .)
Proposition 4.3.
The function
${V}_{\rho}\left(x\right)$
is continuous and strictry positive on the halfline
$0\u2a7dx<\infty $
, satisfies
${V}_{\rho}\left(0\right)=1$
for every
$\rho >0$
, and has the following asymptotic estimates as
$x\to 0$
:
$$\begin{array}{c}{V}_{\rho}\left(x\right)\sim \{\begin{array}{cc}1+{x}^{2\rho}\Gamma (1\rho )/\Gamma (1+\rho )& \text{for}\rho <1\text{},\\ 12{x}^{2}log\left(x\right)& \text{for}\rho =1\text{},\\ 1+2{x}^{2}/(\rho 1)& \text{for}\rho >1\text{}.\end{array}\end{array}$$ 
(4.9)


Proof.
Let us prove 4.9 . If
$\rho /\in \mathbb{Z}$
, then we use the estimate for the functions
${I}_{\rho}$
and
${I}_{\rho}$
that follows from their power series representation:
$${I}_{\rho}\left(2x\right)\sim \frac{{x}^{\rho}}{\Gamma (1\rho )}+\frac{{x}^{2\rho}}{\Gamma (2\rho )}{x}^{2},{I}_{\rho}\left(2x\right)\sim \frac{{x}^{\rho}}{\Gamma (1+\rho )}.$$
Hence we have
$${V}_{\rho}^{1}\left(x\right)\sim 1+\frac{\Gamma (1\rho )}{\Gamma (2\rho )}{x}^{2}\frac{\Gamma (1\rho )}{\Gamma (1+\rho )}{x}^{2\rho}.$$
This estimate implies 4.9 for
$\rho /\in \mathbb{Z}$
.If
$\rho \in \mathbb{Z}$
, then we use the series representation of
${K}_{n}\left(2x\right)$
, see [
2,§7.2.5,formula(37)]
.
This representation implies the estimate
$$2{K}_{n}\left(2x\right)\sim (n1)!{x}^{n}+(n2)!{x}^{2n}+\frac{2(1{)}^{n+1}}{n!}{x}^{n}logx.$$
Therefore
$${V}_{n}^{1}\left(x\right)\sim 1+\frac{{x}^{2}}{n1}+\frac{2(1{)}^{n+1}}{n!(n1)!}{x}^{2n}logx,$$
whence
${V}_{1}^{1}\sim 1+2{x}^{2}logx$
and
${V}_{n}^{1}\sim 1+\frac{{x}^{2}}{n1}$
for
$n>1$
. □
Corollary.
For every
$\rho \u2a7e1/2$
, the infinite product
${\prod}_{i=1}^{\infty}{V}_{\rho}\left({x}_{i}\right)$
converges provided that the series
${\sum}_{i=1}^{\infty}{x}_{i}$
converges.
Definition.
Consider the infinite
$\sigma $
finite measure
$\nu $
on the space of vector distributions
$\Phi $
whose density
$v=\frac{d\nu}{d\mu}$
with respect to the measure
$\mu $
is defined on the support
${\Phi}_{0}\subset \Phi $
of
$\mu $
by the following formula:
$$\begin{array}{c}v\left({\sum}_{i=1}^{\infty}{c}^{i}{\delta}_{{x}_{i}}\right)={{2}^{m\left(X\right)}}^{\infty}{\prod}_{i=1}{V}_{\frac{n1}{2}}\left(\right{c}^{i}\left\right),{c}^{i}\in {\mathbb{R}}^{n1},\end{array}$$ 
(4.10)

where
${V}_{\rho}\left(x\right)$
is given by 4.6 . In particular, for
$n=2$
$$v\left(\sum {c}^{i}{\delta}_{{x}_{i}}\right)=exp(2\sum {c}^{i}\left\right),{c}^{i}\in \mathbb{R}.$$
Since
${\sum}_{i=1}^{\infty}\left{c}^{i}\right<\infty $
on the support of
$\mu $
, it follows from Proposition 4.3 that the infinite product
${\prod}_{i=1}^{\infty}{V}_{\frac{n1}{2}}\left(\right{c}^{i}\left\right)$
converges.
By definition, the measure
$\nu $
is absolutely continuous with respect to
$\mu $
, and its density is positive
$\mu $
almost everywhere.
4.5 Approximative construction of the measure
$\nu $
Let
$\alpha :X={\cup}_{i=1}^{l}{X}_{i}$
be an arbitrary finite partition of the space
$X$
,
${\Phi}_{\alpha}$
be the quotient space of
$\Phi $
associated with
$\alpha $
, and
${\mu}_{\alpha}$
be the projection of the measure
$\mu $
to
${\Phi}_{\alpha}$
. Let us introduce a new measure
${\nu}_{\alpha}$
on
${\Phi}_{\alpha}$
with density
$$\frac{d{\nu}_{\alpha}({\xi}^{1},...,{\xi}^{l})}{d{\mu}_{\alpha}({\xi}^{1},...,{\xi}^{l})}={{2}^{m\left(X\right)}}^{l}{\prod}_{k=1}{V}_{(n1{\lambda}_{k})/2}\left(\right{\xi}^{k}\left\right).$$
(By the condition imposed on
$\alpha $
, we have
$n1{\lambda}_{k}>0$
for all
$k$
.) It follows from the explicit formula for
$d{\mu}_{\alpha}({\xi}^{1},...,{\xi}^{l})$
that this measure is of the form
$$\begin{array}{c}d{\nu}_{\alpha}({\xi}^{1},...,{\xi}^{l}){=}^{l}{\prod}_{i=1}\frac{{2}^{{\lambda}_{i}}\Gamma \left(\right(n1{\lambda}_{i})/2)}{\Gamma ({\lambda}_{i}/2)}{\xi}^{i}{}^{{\lambda}_{i}n+1}d{\xi}^{i},\end{array}$$ 
(4.11)

where
${\xi}^{i}\in {\mathbb{R}}^{n1}$
and
${\lambda}_{i}=m\left({X}_{i}\right)$
.
Let us write
$\beta \u2a7e\alpha $
if
$\beta $
is a refinement of a partition
$\alpha $
. For
$\beta \u2a7e\alpha $
, there is a natural embedding
${\mathcal{\mathcal{F}}}_{\alpha}\to {\mathcal{\mathcal{F}}}_{\beta}$
and a natural epimorphism
${\Phi}_{\beta}\to {\Phi}_{\alpha}$
. Obviously, the measure
${\mu}_{\beta}$
on
${\Phi}_{\beta}$
and the measure
${\mu}_{\alpha}$
on
${\Phi}_{\alpha}$
are coherent with respect to this epimorphism.
Proposition 4.4.
The measures
${\nu}_{\alpha}$
on the quotient spaces
${\Phi}_{\alpha}$
are coherent, i.e., the epimorphism
${\Phi}_{\beta}\to {\Phi}_{\alpha}$
,
$\beta \u2a7e\alpha $
, sends
${\nu}_{\beta}$
to
${\nu}_{\alpha}$
.

Proof.
It suffices to prove that
$${\int}_{{\Phi}_{\alpha}}{e}^{i<\xi ,\gamma >}d{\nu}_{\alpha}\left(\xi \right)={\int}_{{\Phi}_{\beta}}{e}^{i<\xi ,\gamma >}d{\nu}_{\beta}\left(\xi \right)\text{for every}\gamma \in {\mathcal{\mathcal{F}}}_{\alpha}.$$
Let
$\alpha :X={\cup}_{i=1}^{l}{X}_{i}$
and
$\beta :X={\cup}_{i,j}{X}_{ij}$
, where
${\cup}_{j}{X}_{ij}={X}_{i},$
$i=1,...,l$
. By 2.5 , it follows from the expression 4.11 for
$d{\nu}_{\alpha}$
and
$d{\mu}_{\alpha}$
that
$$\begin{array}{ccc}{\int}_{{\Phi}_{\alpha}}{e}^{i<\xi ,\gamma >}d{\nu}_{\alpha}\left(\xi \right)& =& {}^{l}{\prod}_{i=1}{\gamma}^{i}{}^{{\lambda}_{i}},\text{where}{\gamma}^{i}=\gamma {}_{{X}_{i}},{\lambda}_{i}=m({X}_{i});\end{array}$$  
$$\begin{array}{ccc}{\int}_{{\Phi}_{\beta}}{e}^{i<\xi ,\gamma >}d{\nu}_{\beta}\left(\xi \right)& =& {\prod}_{i,j}{\gamma}^{ij}{}^{{\lambda}_{ij}},\text{where}{\gamma}^{ij}=\gamma {}_{{X}_{ij}},{\lambda}_{ij}=m({X}_{ij}).\end{array}$$  
Since
${\gamma}^{ij}={\gamma}^{i}$
for all
$i$
and
$j$
and
${\sum}_{j}{\lambda}_{ij}={\lambda}_{i},$
$i=1,...,l$
, the righthand sides of these equations coincide. □
Definition.
Let us define a
$\sigma $
finite measure
$\stackrel{~}{\nu}$
on
$\Phi $
as the weak limit of the coherent family of measures
${\nu}_{\alpha}$
.
Theorem 4.3.
The measure
$\stackrel{~}{\nu}$
coincides with the measure
$\nu $
, i.e., on the support of
$\mu $
,
$$\begin{array}{c}\frac{d\stackrel{~}{\nu}}{d\mu}\left(\sum {c}^{i}{\delta}_{{x}_{i}}\right)={2}^{m\left(X\right)}\prod {V}_{\frac{n1}{2}}\left(\right{c}^{i}\left\right),{c}^{i}\in {\mathbb{R}}^{n1},\end{array}$$ 
(4.12)

where
${V}_{\rho}\left(x\right)$
is given by 4.6 .

Proof.
It suffices to prove 4.12 only for finite sums
$\xi ={\sum}_{i=1}^{k}{c}^{i}{\delta}_{{x}_{i}}$
.
Given such a sum, consider partitions
$\alpha :X={\cup}_{i=1}^{l}{X}_{i}$
such that each element of
$\alpha $
contains at most one point
${x}_{i}$
. For definiteness, let
${x}_{i}\in {X}_{i}$
,
$i=1,...,k$
. Then, since
${V}_{\rho}\left(0\right)=1$
, we have
$$\frac{d{\nu}_{\alpha}}{d{\mu}_{\alpha}}\left({\sum}_{i=1}^{k}{c}^{i}{\delta}_{{x}_{i}}\right)={{2}^{m\left(X\right)}}^{k}{\prod}_{i=1}{V}_{\frac{n1{\lambda}_{i}}{2}}\left(\right{c}^{i}\left\right).$$
Taking the inductive limit with respect to
$\alpha $
, we obtain
$$\frac{d\stackrel{~}{\nu}}{d\mu}\left({\sum}_{i=1}^{k}{c}^{i}{\delta}_{{x}_{i}}\right)={{2}^{m\left(X\right)}}^{k}{\prod}_{i=1}{V}_{\frac{n1}{2}}\left(\right{c}^{i}\left\right).$$
□
4.6 The Fourier transform of the measure
$\nu $
If
$\gamma \in {\mathcal{\mathcal{F}}}_{\alpha}$
, where
$\alpha $
is an arbitrary finite partition of the space
$X$
, then by 2.5 we have
$${\int}_{\Phi}{e}^{i<\xi ,\gamma >}d\nu \left(\xi \right)={\int}_{{\Phi}_{\alpha}}{e}^{i<\xi ,\gamma >}d{\nu}_{\alpha}\left(\xi \right){=}^{l}{\prod}_{i=1}{\gamma}^{i}{}^{{\lambda}_{i}},$$
where
${\gamma}^{i}=\gamma {}_{{X}_{i}}$
and
${\lambda}_{i}=m\left({X}_{i}\right)$
. The righthand side of this equation can be represented in the form
$${}^{l}{\prod}_{i=1}{\gamma}^{i}{}^{{\lambda}_{i}}=exp\left({\int}_{X}log\left\gamma \right(x\left)\rightdm\left(x\right)\right).$$
Thus
$$\begin{array}{c}{\int}_{\Phi}{e}^{i<\xi ,\gamma >}d\nu \left(\xi \right)=exp\left({\int}_{X}log\left\gamma \right(x\left)\rightdm\left(x\right)\right).\end{array}$$ 
(4.13)

Equation 4.13 determines the Fourier transform of the measure
$\nu $
whenever the integral in the righthand side is finite.
Remark.
One can take this equation as the definition of the measure
$\nu $
.
4.7 The invariance properties of the measure
$\nu $
Theorem 4.4.
The measure
$\nu $
is invariant under the action of the group
$O(n1{)}^{X}$
and projective invariant under the multiplication by bounded Borel functions
$\epsilon \left(x\right)\in ({\mathbb{R}}^{*}{)}^{X}$
such that the integral
${\int}_{X}log\left\epsilon \right(x\left)\rightdm\left(x\right)$
converges.
Namely,
$$\begin{array}{ccc}d\nu \left(\xi u\right)& =& d\nu \left(\xi \right)\text{for every}u\left(x\right)\in O(n1{)}^{X};\end{array}$$ 
(4.14)

$$\begin{array}{ccc}d\nu \left(\epsilon \xi \right)& =& {e}^{{\int}_{X}log\left\epsilon \right(x\left)\rightdm\left(x\right)}d\nu \left(\xi \right).\end{array}$$ 
(4.15)

In particular,
$\nu $
is invariant under the subgroup of multiplications by functions
$\epsilon \left(x\right)$
satysfying
${\int}_{X}log\left\epsilon \right(x\left)\rightdm\left(x\right)=0$
.

Proof.
It suffices to establish this property for the projections
$d{\nu}_{\alpha}\left(\xi \right)=d{\nu}_{\alpha}({\xi}_{1},...,{\xi}_{l})$
of
$\nu $
to the quotient spaces
${\Phi}_{\alpha}$
of the space
$\Phi $
. Let
$u\left(x\right)\in O(n1{)}^{X}$
and
$\epsilon \left(x\right)\in ({\mathbb{R}}^{*}{)}^{X}$
be constant on the elements of a partition
$\alpha $
. By definition,
$$d{\nu}_{\alpha}\left(\xi u\right)=d{\nu}_{\alpha}({\xi}_{1}{u}_{1},...,{\xi}_{l}{u}_{l}),d{\nu}_{\alpha}\left(\epsilon \xi \right)=d{\nu}_{\alpha}({\epsilon}_{1}{\xi}_{1},...,{\epsilon}_{l}{\xi}_{l}),$$
where
${u}_{i}=u{}_{{X}_{i}}$
,
${\epsilon}_{i}=\epsilon {}_{{X}_{i}}$
,
${X}_{i}$
are elements of
$\alpha $
.
It follows immediately from the explicit expression
4.11 for
$d{\nu}_{\alpha}$
that
$d{\nu}_{\alpha}\left(\xi u\right)=d{\nu}_{\alpha}\left(\xi \right)$
and
$d{\nu}_{\alpha}\left(\epsilon \xi \right)={\prod}_{i=1}^{l}\left{\xi}_{i}{}^{{\lambda}_{i}}d{\nu}_{\alpha}\right(\epsilon \xi )$
, where
${\lambda}_{i}=m\left({X}_{i}\right)$
. It suffices to observe that
${}^{l}{\prod}_{i=1}{\xi}_{i}{}^{{\lambda}_{i}}={\int}_{X}log\epsilon \left(x\right)\leftdm\right(x\left)d\nu \right(\xi ).$
□
5 Construction of the basic representation of the current group
${G}^{X}$
5.1 The basic representation of the block triangular group
${B}^{X}$
First let us describe the representation of the subgroup
${B}^{X}={Z}^{X}\u22cb{D}^{X}$
of block triangular matrices. We will write elements of this subgroup as triples
$$g\left(x\right)=(\epsilon ,u,\gamma ),\epsilon \in ({\mathbb{R}}^{*}{)}^{X},u(x)\in O(n1{)}^{X},\gamma \in ({\mathbb{R}}^{n1}{)}^{X}.$$
In this notation, the product of group elements takes the form
$$({\epsilon}_{1},{u}_{1},{\gamma}_{1})({\epsilon}_{2},{u}_{2},{\gamma}_{2})=({\epsilon}_{1}{\epsilon}_{2},{u}_{1}{u}_{2},{\gamma}_{1}+{\epsilon}_{1}{\gamma}_{2}{u}_{1}^{1}).$$
The representation of the group
${B}^{X}$
is realized in the Hilbert space
${L}^{2}\left(\nu \right)$
of all functions on
$\Phi $
squareintegrable with respect to the measure
$\nu $
introduced above.
Let us associate with elements of the subgroup
${B}^{X}$
the following operators
${U}_{g}$
in the space of functions
$f\left(\xi \right)$
on
$\Phi $
:
$$\begin{array}{c}{U}_{\epsilon ,u,\gamma}f\left(\xi \right)={e}^{1/2{\int}_{X}log\left\epsilon \right(x\left)\rightdm\left(x\right)+i<\xi ,\gamma >}f\left(\epsilon \xi u\right).\end{array}$$ 
(5.1)

In particular, elements
$z=z\left(\gamma \right)\in {Z}^{X}$
give rise to the operators
$${U}_{z}f\left(\xi \right)={e}^{i<\xi ,\gamma >}f\left(\xi \right),$$
where
$\gamma \in ({\mathbb{R}}^{n1}{)}^{X}$
is the parameter of the block matrix
$z$
, and elements
$d=diag({\epsilon}^{1},u,\epsilon )\in {D}^{X}$
, to the operators
$${U}_{d}f\left(\xi \right)={e}^{1/2{\int}_{X}log\left\epsilon \right(x\left)\rightdm\left(x\right)}f\left(\epsilon \xi u\right).$$
Note that the integral
${\int}_{X}log\left\epsilon \right(x\left)\rightdm\left(x\right)$
converges, because the elements
$\epsilon \left(x\right)$
and
${\epsilon}^{1}\left(x\right)$
of the matrix
$d$
are bounded functions on
$X$
.
Theorem 5.1.
The operators
${U}_{g}$
,
$g\in {B}^{X}$
, given by 5.1 are unitary with respect to the norm in
${L}^{2}\left(\nu \right)$
and form an irreducible representation of the group
${B}^{X}$
in
${L}^{2}\left(\nu \right)$
.
Indeed, the group property of the operators
${U}_{g}$
follows immediately from their definition, and the unitarity follows from the invariance properties of the measure
$\nu $
established in Theorem 4.4 . The representation
${U}_{g}$
is irreducible, because the action of the subgroup
${Z}^{X}$
in
${L}^{2}\left(\nu \right)$
is ergodic and the algebra of multiplicators is maximal.
5.2 Extension of the representation
${U}_{g}$
to the whole group
${G}^{X}$
In order to extend the representation
${U}_{g}$
from the subgroup
${B}^{X}$
to the whole group
${G}^{X}$
, we use the following obvious lemma.
Lemma.
The group
$O(n,1{)}^{X}$
is algebraically generated by the subgroup
${B}^{X}$
and the unique element
$g\left(x\right)\equiv s$
.
For example, every element
$g$
of the block upper triangular subgroup can be represented in the form
$g=s{g}^{*}s$
, where
${g}^{*}\in {B}^{X}$
.
By this lemma, every operator
${U}_{g}$
,
$g\in {G}^{X}$
, can be represented as the product of an operator from the subgroup
${B}^{X}$
described above and the operator
${U}_{s}$
; hence, in order to define the representation of the whole group
${G}^{X}$
, it suffices to describe only the operator
${U}_{s}$
.
We call
${U}_{s}$
the involution operator in the space
${L}^{2}\left(\nu \right)$
and denote it by
$I$
.
Proposition 5.1.
The operator
$I={U}_{s}$
and the operators
${U}_{g}$
,
$g\in {B}^{X}$
, satisfy the following relations:
$$\begin{array}{ccc}I{U}_{d}& =& {U}_{sds}I\text{for every}d\in {D}^{X},\end{array}$$ 
(5.2)

$$\begin{array}{ccc}{U}_{z\left(\gamma \right)}I& =& {U}_{d\left(\gamma \right)}I{U}_{z(\gamma )}I{U}_{z\left(j\gamma \right)}\text{for every}z\left(\gamma \right)\in {Z}^{X},\end{array}$$ 
(5.3)

where
$j\gamma =\frac{2\gamma}{\gamma {}^{2}}$
(involution) and
$d\left(\gamma \right)\in {D}^{X}$
is given by
$$\begin{array}{c}d\left(\gamma \right)=diag\left(\frac{2}{\gamma {}^{2}},{u}_{\gamma},\frac{\gamma {}^{2}}{2}\right),{u}_{\gamma}=e\frac{2{\gamma}^{*}\gamma}{\gamma {}^{2}}.\end{array}$$ 
(5.4)

Indeed, 5.2 is obvious and 5.3 follows from the corresponding relation in the group
$O(n,1{)}^{X}$
:
$$z\left(\gamma \right)s=d\left(\gamma \right)sz(\gamma )sz\left(j\gamma \right).$$
Note that for every
$x\in X$
the matrix
${u}_{\gamma}\left(x\right)$
determines the reflection in
${\mathbb{R}}^{n1}$
with respect to the hyperplane orthogonal to the vector
$\gamma \left(x\right)$
.
Relations
5.2 and 5.3 uniquely determine the operator
$I$
; however, they do not give an explicit expression for this operator.
An explicit descriprion for
$I$
can be obtained from the description of the operator
${T}_{s}$
in the commutative model of complementary series representations of the group
$O(n,1)$
.
Namely, let us associate with each partition
$\alpha :X={\cup}_{i=1}^{l}{X}_{i}$
the Hilbert space
${L}^{2}\left({\nu}_{\alpha}\right)\subset {L}^{2}\left(\nu \right)$
of functions on
${\Phi}_{\alpha}$
squareintegrable with respect to the measure
${\nu}_{a}$
. The spaces
${L}^{2}\left({\nu}_{\alpha}\right)$
are invariant under
$I$
, and in order to describe the operator
$I$
on the whole space
${L}^{2}\left(\nu \right)$
, it suffices to describe its action on each of these subspaces. By construction, each space
${L}^{2}\left({\nu}_{\alpha}\right)$
is isomorphic to the tensor product of finitely many spaces on which the commutative model of a complementary series representation of the group
$O(n,1)$
acts.
Proposition 5.2.
On each subspace
${L}^{2}\left({\nu}_{\alpha}\right)$
, the involution operator
$I$
coincides with the operator
${T}_{s}$
of the representation of the group
$O(n,1)$
in this subspace.
Starting from formulas 3.15 and 3.16 for the operator
${T}_{s}$
in the commutative model of complementary series representations of the group
$O(n,1)$
, we obtain the following theorem.
Theorem 5.2.
For every partition
$\alpha :X={\cup}_{i=1}^{l}{X}_{i}$
, the action of the operator
$I$
on the subspace
${L}^{2}\left({\nu}_{\alpha}\right)$
is given by the following formula:
$$If({\xi}_{1},...,{\xi}_{l})={\int}_{({\mathbb{R}}^{n1}{)}^{l}}\left(f({\xi}_{1}^{\prime},...,{\xi}_{l}^{\prime}{)}^{l}{\prod}_{i=1}{A}^{{\lambda}_{i}}({\xi}_{i},{\xi}_{i}^{\prime})d{\xi}_{i}\right),{\xi}_{i}\in {\mathbb{R}}^{n1},{\lambda}_{i}=m\left({X}_{i}\right),$$
where
$${A}^{\lambda}(\xi ,{\xi}^{\prime})={c}_{n}{2}^{\lambda /2}{\int}_{0}^{\infty}{r}^{\lambda n}r\xi +2{r}^{1}{\xi}^{\prime}{}^{\frac{n3}{2}}{J}_{\frac{n3}{2}}(r\xi +2{r}^{1}{\xi}^{\prime})dr.$$
We see that the operator
$I$
is well defined on the whole space
${L}^{2}\left(\nu \right)$
, because on all subspaces
${L}^{2}\left({\nu}_{\alpha}\right)$
it is unitary and satisfies the required relations. Thus we have constructed an irreducible unitary representation of the group
${G}^{X}$
in the space
${L}^{2}\left(\nu \right)$
.
Theorem 5.3.
The constructed representation
${U}_{g}$
of the group
${G}^{X}$
is equivalent to the basic representation of this group introduced in [
5]
.

Proof.
The representations are equivalent, because their spherical functions coincide on the subgroup
${Z}^{X}$
. Namely, set
$\phi \left(\xi \right)={v}^{1/2}\left(\xi \right)$
, where
$v\left(\xi \right)$
is the density of the measure
$\nu $
with respect to
$\mu $
. The function
$\phi $
belongs to the space
${L}^{2}\left(\nu \right)$
, is of norm
$1$
, and satisfies the equation
$$<{U}_{z\left(\gamma \right)}{v}^{1/2},{v}^{1/2}>=\Psi \left(\gamma \right(\cdot \left)\right),z\left(\gamma \right)\in {Z}^{X},$$
where
$\Psi \left(\gamma \right(\cdot \left)\right)$
is the restriction of the spherical function of the basic representation of
${G}^{X}$
to
${Z}^{X}$
. Indeed,
$$<{U}_{z\left(\gamma \right)}{v}^{1/2},{v}^{1/2}>={\int}_{\Phi}{e}^{i<\xi ,\gamma >}{v}^{1}\left(\xi \right)d\nu \left(\xi \right)={\int}_{\Phi}{e}^{i<\xi ,\gamma >}d\mu \left(\xi \right)=\Psi \left(\gamma \right(\cdot \left)\right).$$
□
Remark.
One can also construct a commutative model of the basic representation of the group
${G}^{X}$
in the
${L}^{2}$
space over the probability measure
$\mu $
. However,
$\mu $
is only quasiinvariant under the transformations
$\xi \to \epsilon \xi $
,
$\epsilon \in ({\mathbb{R}}^{*}{)}^{X}$
. Thus, in order to obtain a unitary representation, one must introduce an additional factor. In the case of the
$\sigma $
finite measure
$\nu $
, there is no need to to this.
6 Appendices
6.1 Approximative construction of the commutative model
Let us give another, independent construction of the commutative model of the basic representation of the group
${G}^{X}$
. With each finite partition
$\alpha :X={\cup}_{i=1}^{l}{X}_{i}$
of the space
$X$
associate the Hilbert space
${L}^{2}\left({\nu}_{\alpha}\right)$
of functions on
${\Phi}_{\alpha}$
introduced above and the subgroup
${G}_{\alpha}^{X}\subset {G}^{X}$
of functions constant on the elements of
$\alpha $
.
For
$\beta \u2a7e\alpha $
, there is a natural embedding of groups
${G}_{\alpha}^{X}\to {G}_{\beta}^{X}$
and a natural isometric embedding of spaces
${L}^{2}\left({\nu}_{\alpha}\right)\to {L}^{2}\left({\nu}_{\beta}\right)$
. Denote by
${L}_{0}$
the inductive limit of the subspaces
${L}^{2}\left({\nu}_{\alpha}\right)$
, and by
${G}_{0}^{X}$
the inductive limit of the subgroups
${G}_{\alpha}^{X}$
. Note that the group
${G}_{0}^{X}$
is everywhere dense in
${G}^{X}$
.
We will define a unitary representation
${U}_{g}$
of the group
${G}^{X}$
on the completion
$L$
of the space
${L}_{0}$
with respect to the norm of
${L}_{0}$
. In order to define it, it suffices to describe the action of the operators
${U}_{g}$
,
$g\in {G}_{0}^{X}$
, on the subspace
${L}_{0}$
.
Proposition 6.1.
The space
${L}^{2}\left({\nu}_{\alpha}\right)$
is the tensor product
$$\begin{array}{c}{L}^{2}\left({\nu}_{\alpha}\right){=}^{l}{\otimes}_{i=1}{L}_{{\lambda}_{i}},{\lambda}_{i}=m\left({X}_{i}\right),\end{array}$$ 
(6.1)

where
${L}_{{\lambda}_{i}}$
are the Hilbert spaces introduced in Theorem 3.1 .
Starting from the decomposition 6.1 , define a unitary representation
${U}_{g}$
of the group
${G}_{\alpha}^{X}$
in
${L}^{2}\left({\nu}_{a}\right)$
by the formula
$$\begin{array}{c}{U}_{g\left(x\right)}={T}_{{g}_{1}}^{{\lambda}_{1}}\otimes \dots \otimes {T}_{{g}_{l}}^{{\lambda}_{l}},{g}_{i}=g\left(x\right){}_{{X}_{i}},\end{array}$$ 
(6.2)

where
${T}^{{\lambda}_{i}}$
are operators of the complementary series representations of the group
$G=O(n,1)$
in the spaces
${L}_{{\lambda}_{i}}$
defined in Theorem 3.1 .
Proposition 6.2.
For
$\beta \u2a7e\alpha $
, the embedding
${L}^{2}\left({\nu}_{\alpha}\right)\to {L}^{2}\left({\nu}_{\beta}\right)$
commutes with the representations
${\stackrel{~}{U}}_{g}$
of the groups
${G}_{\alpha}^{X}$
and
${G}_{\beta}^{X}$
in these spaces.
Corollary.
The unitary representations
${U}_{g}$
of the groups
${G}_{\alpha}^{X}$
in the spaces
${L}^{2}\left({\nu}_{\alpha}\right)$
are coherent and hence generate a unitary representation of the group
${G}_{0}^{X}$
in
${L}_{0}$
.
Theorem 6.1.
The contructed representation
${U}_{g}$
of the group
${G}^{X}$
is irreducible and equivalent to the basic representation of this group defined in [
15,
5]
.
6.2 The dual description of the representation
${U}_{g}$
Let us give a description of the representation
${U}_{g}$
in terms of the Fourier transform sending functions
$f\left(\xi \right)$
on
$\Phi $
to functions
$\phi \left(\gamma \right)$
on
$\mathcal{\mathcal{F}}$
:
$$\mathcal{\mathcal{R}}f\left(\gamma \right)={\int}_{\Phi}f\left(\xi \right){e}^{i<\xi ,\gamma >}d\nu \left(\xi \right),\gamma \in \mathcal{\mathcal{F}}.$$
The operator
$\mathcal{\mathcal{R}}$
is defined on an everywhere dense subset of functions
$f\in {L}^{2}\left(\nu \right)$
; in particular, if the integral
${\int}_{\Phi}\leftf\right(\xi \left)\rightd\nu \left(\xi \right)$
converges, then the function
$\mathcal{\mathcal{R}}f\left(\gamma \right)$
is defined on the whole space
$\mathcal{\mathcal{F}}$
.
Theorem 6.2.
Let
${f}_{1}\in {L}^{2}\left(\nu \right)$
,
$g\in {G}^{X}$
, and
${f}_{2}={U}_{g}{f}_{1}$
. Then on the subset of
$\gamma \in \mathcal{\mathcal{F}}$
for which the functions
$\mathcal{\mathcal{R}}{f}_{1}$
and
$\mathcal{\mathcal{R}}{f}_{2}$
are defined, they satisfy the relation
$$\begin{array}{c}\mathcal{\mathcal{R}}{f}_{2}\left(\gamma \right)=\mathcal{\mathcal{R}}{f}_{1}\left(\gamma g\right){e}^{1/2{\int}_{X}log\beta \left(\gamma \right(x),g(x\left)\right)dm\left(x\right)},\end{array}$$ 
(6.3)

where, according to formulas 3.1 and 3.2 for the group
$G=O(n,1)$
,
$$\gamma \left(x\right)g\left(x\right)={\left(\frac{\left\gamma \right(x){}^{2}}{2}{g}_{13}\left(x\right)+\gamma \left(x\right){g}_{23}\left(x\right)+{g}_{33}\left(x\right)\right)}^{1}\left(\frac{\left\gamma \right(x){}^{2}}{2}{g}_{12}\left(x\right)+\gamma \left(x\right){g}_{22}\left(x\right)+{g}_{32}\left(x\right)\right),$$
$$\beta \left(\gamma \right(x),g(x\left)\right)=\left\frac{\left\gamma \right(x){}^{2}}{2}{g}_{12}\left(x\right)+\gamma \left(x\right){g}_{22}\left(x\right)+{g}_{32}\left(x\right)\right.$$
In particular,
$$\begin{array}{cc}\mathcal{\mathcal{R}}{f}_{2}\left(\gamma \right)& =\mathcal{\mathcal{R}}{f}_{1}(\gamma +{\gamma}_{0})\text{for}g=z\left({\gamma}_{0}\right)\in {Z}^{X};\end{array}$$ 
(6.4)

$$\begin{array}{cc}\mathcal{\mathcal{R}}{f}_{2}\left(\gamma \right)& =\mathcal{\mathcal{R}}{f}_{1}\left({\epsilon}^{1}\gamma u\right){e}^{1/2{\int}_{X}log\left\epsilon \right(x\left)\rightdm\left(x\right)}\text{for}g=diag({\epsilon}^{1},u,\epsilon )\in {D}^{X};\end{array}$$  
$$\begin{array}{cc}\mathcal{\mathcal{R}}{f}_{2}\left(\gamma \right)& ={2}^{1/2m\left(X\right)}\mathcal{\mathcal{R}}{f}_{1}\left(\frac{2\gamma}{\gamma {}^{2}}\right){e}^{{\int}_{X}log\left\gamma \right(x\left)\rightdm\left(x\right)}\text{for}g\left(x\right)\equiv s.\end{array}$$  
$$\begin{array}{}\end{array}$$  

Proof.
It suffices to prove 6.3 for functions
${f}_{1}\left(\xi \right)={f}_{1}({\xi}^{1},...,{\xi}^{l})$
from
${L}^{2}\left({\nu}_{\alpha}\right)$
, where
$\alpha :{\cup}_{i=1}^{l}{X}_{i}$
is an arbitrary finite partition of the space
$X$
, and matrices
$g\left(x\right)$
that are constant on the elements of
$\alpha $
.
We have
$$\mathcal{\mathcal{R}}{f}_{i}\left(\gamma \right)=\mathcal{\mathcal{R}}{f}_{i}({\gamma}^{1},...,{\gamma}^{l})={\int}_{{\Phi}_{\alpha}}{f}_{i}({\xi}^{1},...,{\xi}^{l}){e}^{i<\xi ,\gamma >}d{\nu}_{\alpha}({\xi}^{1},...,{\xi}^{l}),i=1,2,$$
where the measure
$d{\nu}_{\alpha}({\xi}^{1},...,{\xi}^{l})$
is given by 4.11 . Since
$${\int}_{{\Phi}_{\alpha}}{e}^{i<\xi ,\gamma >}d\nu ({\xi}^{1},...,{\xi}^{l}){=}^{l}{\prod}_{i=1}{\gamma}^{i}{}^{{\lambda}_{i}},{\lambda}_{i}=m({X}_{i}),$$
it follows that
$$\begin{array}{c}\mathcal{\mathcal{R}}{f}_{i}({\gamma}^{1},...,{\gamma}^{l})={\int}_{{\mathcal{\mathcal{F}}}_{\alpha}}{\phi}_{i}({\zeta}^{1},...,{\zeta}^{l}{)}^{l}{\prod}_{i=1}{\gamma}^{i}{\zeta}^{i}{}^{{\lambda}_{i}}d{\zeta}^{i},i=1,2,\end{array}$$ 
(6.5)

where
$${\phi}_{i}({\zeta}^{1},...,{\zeta}^{l})={{\int}_{{\mathcal{\mathcal{F}}}_{\alpha}}}^{l}{\prod}_{i=1}{e}^{i<{\xi}^{i},{\zeta}^{i}>}{f}_{i}({\gamma}^{1},...,{\gamma}^{l})d{\zeta}^{i}.$$
The equation
${f}_{2}={U}_{g}{f}_{1}$
and formula 3.5 for operators of the complementary series representations of
$O(n,1)$
imply that the functions
${\phi}_{i}$
satisfy the relations
$${\phi}_{2}({\zeta}^{1},...,{\zeta}^{l})={\phi}_{1}({\zeta}^{1}{\overline{g}}_{1},...,{\zeta}^{l}{\overline{g}}_{l}{)}^{l}{\prod}_{i=1}{\beta}^{1n+\frac{{\lambda}_{i}}{2}}({\gamma}^{i},{g}_{i}),$$
where
${g}_{i}=g{}_{{X}_{i}}$
. Thus
$$\mathcal{\mathcal{R}}{f}_{2}({\gamma}^{1},...,{\gamma}^{l})={\int}_{{\mathcal{\mathcal{F}}}_{\alpha}}{\phi}_{1}({\zeta}^{1}{\overline{g}}_{1},...,{\zeta}^{l}{\overline{g}}_{l}{)}^{l}{\prod}_{i=1}{\beta}^{1n+\frac{{\lambda}_{i}}{2}}({\gamma}^{i},{g}_{i}\left)\right{\gamma}^{i}{\zeta}^{i}{}^{{\lambda}_{i}}d{\zeta}^{i}.$$
Applying the transformation
${\zeta}_{i}{\overline{g}}_{i}\to {\zeta}_{i}$
, we obtain
$$\mathcal{\mathcal{R}}{f}_{2}({\gamma}^{1},...,{\gamma}^{l}){=}^{l}{\prod}_{i=1}{\beta}^{{\lambda}_{i}/2}({\gamma}^{i},{g}_{i})={\int}_{{\mathcal{\mathcal{F}}}_{\alpha}}{\phi}_{1}({\zeta}^{1},...,{\zeta}^{l}{)}^{l}{\prod}_{i=1}{\gamma}^{i}{\overline{g}}_{i}{\zeta}^{i}{}^{{\lambda}_{i}}d{\zeta}^{i},$$
i.e.,
$$\mathcal{\mathcal{R}}{f}_{2}({\gamma}^{1},...,{\gamma}^{l})=\left({}^{l}{\prod}_{i=1}{\beta}^{{\lambda}_{i}/2}({\gamma}^{i},{g}_{i})\right)\mathcal{\mathcal{R}}{f}_{1}({\gamma}^{1}{\overline{g}}_{1},...,{\gamma}^{l}{\overline{g}}_{l}).$$
It remains to observe that
$${}^{l}{\prod}_{i=1}{\beta}^{{\lambda}_{i}/2}({\gamma}^{i},{g}_{i})={e}^{1/2{\int}_{X}log\beta \left(\gamma \right(x),g(x\left)\right)dm\left(x\right)}.$$
□
Corollary.
On the set of all
$\gamma \in \mathcal{\mathcal{F}}$
for which the functions
$\mathcal{\mathcal{R}}f$
,
$f\in {L}^{2}\left(\nu \right)$
, and
$\mathcal{\mathcal{R}}If$
are defined, they satisfy the relation
$$\begin{array}{c}\mathcal{\mathcal{R}}If\left(\gamma \right)={2}^{1/2m\left(X\right)}\mathcal{\mathcal{R}}f\left(\frac{2\gamma}{\gamma {}^{2}}\right){e}^{{\int}_{X}log\left\gamma \right(x\left)\rightdm\left(x\right)}\text{for}g\left(x\right)\equiv s.\end{array}$$ 
(6.6)

6.3 On the properties of the measures
$\mu $
and
$\nu $
6.3.1
Consider the subgroup
$O(n1{)}^{X}$
of the current group
$O(n,1{)}^{X}$
. For
$n=2$
, this is the group of functions on
$X$
taking values
$+1$
and
$1$
.
The subgroup
$O(n1{)}^{X}$
acts pointwise in the space of vector distributions of dimension
$n1$
on the manifold
$X$
, and the measures
$\mu $
and
$\nu $
are invariant under this action.
Note that this action is not free. Indeed, since almost every, with respect to
$\mu $
and
$\nu $
, realization is a linear combination of a countable family of
$\delta $
measures, it follows that for every distribution
$\xi $
, only the compact quotient group of
$O(n1{)}^{X}$
that consists of the restrictions of currents to the countable support of
$\xi $
acts freely on
$\xi $
. Therefore the orbit is compact as the product of a countable family of (
$n1$
)dimensional spheres and hence has an invariant (product) measure.
Thus almost every ergodic component of the action of
$O(n1{)}^{X}$
consists of distributions with equal values of the norm at all points of their common support, i.e., the function
$$x\to \parallel c\left(x\right)\parallel ,c\left(x\right)=\left({c}_{1}\right(x),...,{c}_{n1}(x\left)\right),$$
is an invariant of the orbit.
At the same time, as noted above, the action of the group of homotheties together with rotations, i.e., the group
$({\mathbb{R}}_{+}\times O(n1){)}^{X}$
, on the space
$\Phi $
is already ergodic. Recall that, as was proved in [
13]
for the case
$n=2$
,
$\nu $
is the unique, up to normalization, measure that is invariant and ergodic (Theorem 5). Apparently, a similar theorem holds for an arbitrary
$n$
.
6.3.2
The results of this paper can be translated to the infinitedimensional group
$O(\infty ,1{)}^{X}$
, because (as observed by G. Olshanski) all our products involve the dimension
$n$
in a controllable way. In other words, for different
$n$
only the natural dimension
$n1$
of the space of vector distribution changes, but the form of the restriction of the spherical function to the subgroup
${Z}^{X}$
, and hence the characteristic functionals of the measures
$\mu $
and
$\nu $
remain the same. Therefore our theory can be considered for infinite
$n$
.
In this case,
$\mu $
almost every vector distribution is still a countable linear combination of
$\delta $
measures on
$X$
, but taking values in an infinitedimensional Hilbert space equipped with a mixture of Gaussian measures with some weight.
The role of the group
$O(n1{)}^{X}$
is played by the group
$O(\infty {)}^{X}$
of orthogonal matrices of the form
$I+K$
, where
$K$
is a finitedimensional operator. Remarkably, the decomposition into ergodic components under the action of the group
$O(\infty {)}^{X}$
is the decomposition into the Gaussian measures with characteristic functionals of the form
${e}^{c\parallel x{\parallel}^{2}}$
, where
$c$
is distributed on
$(0,\infty )$
according to the measure with density
${e}^{c}$
.
6.4 Remark on the group
$U(n,1{)}^{X}$
The above construction of an irreducible unitary representation of the subgroup
${B}^{X}$
of
$O(n,1{)}^{X}$
in the space
${L}^{2}\left(\mu \right)$
can also be used for the group
$U(n,1{)}^{X}$
. However, in this case there appears a new phenomenon.
Like
$O(n,1)$
, we realize
$U(n,1)$
as the group of linear transformations in
${\mathbb{C}}^{n+1}$
preserving the Hermitian form
$${x}_{1}{x}_{n+1}+{x}_{2}{x}_{2}+\dots +{x}_{n}{x}_{n}$$
and represent its elements as block matrices. In this realization,
${B}^{X}\subset U(n,1{)}^{X}$
is the semidirect product
${B}^{X}={Z}^{X}\u22cb{D}^{X}$
, where
${Z}^{X}$
is the group of matrices of the form
$$z=\left(\begin{array}{ccc}1& 0& 0\\ {\gamma}^{*}& e& 0\\ it\frac{\gamma {}^{2}}{2}& \gamma & 1\end{array}\right),t\in {\mathbb{R}}^{X},\gamma \in ({\mathbb{C}}^{n1}{)}^{X}$$
(the Heisenberg group) and
${D}^{X}$
is the subgroup of block diagonal matrices
$$d=diag({\overline{\epsilon}}^{1},u,\epsilon ),\epsilon \in ({\mathbb{C}}^{*}{)}^{X},u\in U(n1{)}^{X}.$$
Accordingly, elements of the group
${B}^{X}$
are 4tuples
$b=(t,\gamma ,\epsilon ,u)$
. If we now try to use a formular similar to 5.1 ,
$${U}_{b}f\left(\xi \right)={e}^{1/2{\int}_{X}log\left\epsilon \right(x\left)\rightdm\left(x\right)+iRe<\xi ,\gamma >}f\left(\epsilon \xi u\right),b=(t,\gamma ,\epsilon ,u),$$
for representation operators in the space
${L}^{2}\left(\nu \right)$
, where the measure
$\nu $
is constructed as above, then we will find out that this representation is not a faithful representation of the group
${B}^{X}$
, and it is faithful only on the quotient group with respect to the center of the Heisenberg subgroup, since the operators of the representation do not involve the parameter
$t$
. Thus the direct translation of the construction does not use the simplectic structure on
${\mathbb{C}}^{n1}\times {\mathbb{C}}^{n1}$
, which is used in the definition of the group
$U(n,1)$
, and cannot be extended to the whole group
$U(n,1{)}^{X}$
. Nevertheless, the construction can be modified appropriately; we will return to this question elsewhere.
References

H. Araki, “Factorizable representations of current algebra,” Publ. Res. Inst. Math. Sci. Ser. A 5 (1969/70), 361–422.

H. Bateman and A. Erdelyi, Higher Transcendental Functions [in Russian], Vol. 2, Moscow (1974).

F. A. Berezin, “Representations of the continuous direct product of universal coverings of the group of motions of a complex ball,” Tr. Mosk. Mat. Obva 36, (1978), 275–293. English transl. in: Trans. Mosc. Math. Soc. 36 (1979), 281–298.

I. M. Gelfand, M. I. Graev, and I. I. PyatetskijShapiro, Representation Theory and Automorphic Functions, W. B. Saunders Company, Philadelphia (1969).

I. M. Gelfand, M. I. Graev, and A. M. Vershik, “Models of representations of current groups,” in: Representations of Lie Groups and Lie Algebras (A. A. Kirillov, ed.), Akadémiai Kiadó, Budapest (1985), pp. 121–179.

I. M. Gelfand and N. Ya. Vilenkin, Some Applications of Harmonic Analysis. Generalized Hilbert Spaces [in Russian], Fizmatgiz, Moscow (1951).

I. I. Gikhman and A. V. Skorokhod, Theory of Random Processes [in Russian], Vol. 2, Nauka, Moscow (1973).

I. S. Gradshtein and I. M. Ryzhik, Tables of Integrals, Sums, Series, and Products [in Russian], Fizmatgiz, Moscow (1962).

A. Guichardet, Symmetric Hilbert Spaces and Related Topics, Lecture Notes in Math. 261, SpringerVerlag, Berlin–Heidelberg–New York (1972).

G. Kuhn and A. Vershik, “Canonical semigroups of states and cocycles for the group of automorphisms of a homogeneous tree,” Algebras and Representation Theory 6, No. 3 (2003), 333–352.

G. Olshanski, “Spherical functions and characters on the group
$U(\infty {)}^{X}$
,” Uspekhi Mat. Nauk 37, No. 2 (1982), 217–218. English transl. in: Russian Math. Surveys 37, No. 2 (1982), 233–234.

Y. Shalom, “Rigidity, unitary representations of semisimple groups, and fundamental groups of manifolds with rank one transformation group,” Ann. of Math (2), 152, No. 1 (2000), 113–182.

N. Tsilevich, A. Vershik, and M. Yor, “An infinitedimensional analogue of the Lebesgue measure and distinguished properties of the gamma process,” J. Funct. Anal. 185, No. 1 (2001), 274–296.

A. M. Vershik, I. M. Gelfand, and M. I. Graev, “Representations of the group
$SL(2,R)$
, where
$R$
is a ring of functions,” Uspekhi Mat. Nauk 28, No. 5 (1973), 83–128. English transl. in: Representation theory, London Math. Soc. Lect. Note Ser. 69, Cambridge Univ. Press (1982), pp. 15–60.

A. M. Vershik, I. M. Gelfand, and M. I. Graev, “Irreducible representations of the group
${G}^{X}$
and cohomology,” Funkts. Anal. i Prilozh. 8, No. 2 (1974), 67–69. English transl. in: Funct. Anal. Appl. 8 (1974), 151–153.

A. M. Vershik, I. M. Gelfand, and M. I. Graev, “A commutative model of the basic representation of the group
$SL(2,\mathbb{R}{)}^{X}$
with respect to a unipotent subgroup,” in: Group Theoretical Methods in Physics, Vol. II, Proc. Int. Semin., Zvenigorod (1983), pp. 472–487.

A. M. Vershik, I. M. Gelfand, and M. I. Graev, “Commutative model of the representation of the group of flows
$SL(2,R{)}^{X}$
connected with a unipotent subgroup,” Funkts. Anal. Prilozh. 17, No. 2 (1983), 70–72. English transl. in: Funct. Anal. Appl. 17 (1983), 137–139.

A. M. Vershik and S. I. Karpushev, “Cohomology of groups in unitary representations, the neighborhood of the identity, and conditionally positive definite functions,” Mat. Sb. 119, No. 4 (1982), 521–533. English transl. in: Math. in USSR 47 (1984), 513–526.

A. M. Vershik and N. V. Tsilevich, “Fock factorizations, and decompositions of the
${L}^{2}$
spaces over general Lévy processes,” Uspekhi Mat. Nauk 58, No. 3 (2003), 3–50. English transl. in: Russian Math. Surveys 58, No. 3 (2003), 427–472.
A. M. Vershik, St. Petersburg Department of Steklov Institute of Mathematics, 27 Fontanka, 191023 St. Petersburg, Russia. Email address : vershik@pdmi.ras.ru M. I. Graev, Institute for System Studies, 361 Nakhimovsky pr., 117218 Moscow, Russia Email address : graev_36@mtunet.ru