Criteria of irreducibility of the Koopman representations for the group ${\rm GL}_0(2\infty,{\mathbb R})$

TL;DR

This paper establishes necessary and sufficient conditions for the irreducibility of Koopman representations of the group ${ m GL}_0(2inite,{ eal})$, focusing on infinite-dimensional linear groups and Gaussian measures.

Contribution

It provides the first complete irreducibility criteria for Koopman representations of the infinite-dimensional group ${ m GL}_0(2inite,{ eal})$, including necessary and sufficient conditions.

Findings

Necessary conditions for irreducibility are established.

For the specific group, these conditions are also sufficient.

Results are proved for the case m ≤ 2, with plans for generalization.

Abstract

Our aim is to find the irreducibility criteria for the Koopman representation, when the group acts on some space with a measure (Conjecture 1.5). Some general necessary conditions of the irreducibility of this representation are established. In the particular case of the group ${\rm GL}_0(2\infty,{\mathbb R})$ $= \varinjlim_{n}{\rm GL}(2n-1,{\mathbb R})$, the inductive limit of the general linear groups we prove that these conditions are also the necessary ones. The corresponding measure is infinite tensor products of one-dimensional arbitrary Gaussian non-centered measures. The corresponding $G$-space $X_m$ is a subspace of the space ${\rm Mat}(2\infty,{\mathbb R})$ of infinite in both directions real matrices. In fact, $X_m$ is a collection of $m$ infinite in both directions rows. This result was announced in [20]. We give the proof only for $m\leq 2$. The general case will be studied later.