Irreducibility conjecture for Koopman's representations

About 15 years old · traced to

Let α:G→Aut⁡(X)\alpha:G\rightarrow\operatorname{Aut}(X) be a measurable action of a group GG on a measurable space (X,μ)(X,\mu), with GG-quasi-invariant measure μ\mu. Let

πα,μ,X:G→U(L2(X,μ))\pi^{\alpha,\mu,X}:G\rightarrow U(L^2(X,\mu))

be the associated representation, defined by

(πtα,μ,Xf)(x)=(dμ(αt−1(x))dμ(x))1/2f(αt−1(x)).(\pi^{\alpha,\mu,X}_t f)(x)=\left(\frac{d\mu(\alpha_{t^{-1}}(x))}{d\mu(x)}\right)^{1/2}f(\alpha_{t^{-1}}(x)).

Write ZAut⁡(X)(α(G))Z_{\operatorname{Aut}(X)}(\alpha(G)) for the centralizer of α(G)\alpha(G) in Aut⁡(X)\operatorname{Aut}(X), and let μg\mu^g denote the image of μ\mu under gg.

Koopman's irreducibility conjecture. The representation πα,μ,X\pi^{\alpha,\mu,X} is irreducible if and only if

  1. μg⊥μ\mu^g\perp\mu for all g∈ZAut⁡(X)(α(G))\{e}g\in Z_{\operatorname{Aut}(X)}(\alpha(G))\backslash\{e\};
  2. the measure μ\mu is GG-ergodic.

This is presented as a natural generalization of Ismagilov's conjecture. The supplied text gives no resolution, so the conjecture remains open.

References

Primary source

A. V. Kosyak, “The generalized characteristic polynomial, corresponding resolvent and their application”, arXiv:2310.17351 (2023).

Additional references

3 papers in this index state this conjecture (2011–2023). The statement above is taken from the most recent of them; the others are arXiv:1412.8229, arXiv:1102.3036.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.