A commutative model of presentation of the group of flows \(SL(2,R)^ X\) that is connected with a unipotent subgroup (Q791684)

Let G be a metrizable topological group, \(G_ 0\) a commutative subgroup and \(\Pi\) a unitary representation of the group G. If the restriction of \(\Pi\) on \(G_ 0\) is cyclic, then the family of operators \(\{\Pi(a),a\in G_ 0\}\) can be reduced to diagonal form by an isometric operator. The corresponding realization of the representation of G will be called a commutative model of the representation \(\Pi\) with respect to \(G_ 0\). The group of restricted measurable functions on a manifold X with smooth measure with values in SL(2,R) is defined as the group of flows \(SL(2,R)^ X\). In [Usp. Mat. Nauk, 28, No.5, 82-128 (1973; Zbl 0288.22005)] a unitary representation of the group \(SL(2,R)^ X\) is described by the authors. Now the commutative model of this representation with respect to the unipotent subgroup \(\left\{ \begin{pmatrix} 1 & 0 \\ \gamma(\cdot) & 1 \end{pmatrix} \right\}\) of \(SL(2,R)^ X\) is constructed. In three propositions theoretical foundations are given, the construction of a representation is pointed out. It is proved that this representation is the wanted model.