Ergodic decompositions of Dirichlet forms under order isomorphisms (Q2677626)

This paper studies two regular Dirichlet forms \((E^1,\mathscr{D}(E^1))\) and \((E^2,\mathcal{D}(E^2))\) intertwined by an order isomorphism \(U: L^2(\mu_1)\rightarrow L^2(\mu_2)\) in the sense that \(U\circ T^1_t=T^2_t\circ U\). Here \(L^2(\mu_i)\) is the \(L^2\)-space where \(E^i\) is defined, \(T^i_t\) is the \(L^2\)-semigroup associated with \(E^i\), and an order isomorphism means an invertible linear operator such that \(Uf\geq 0\) if and only if \(f\geq 0\). The main result of another paper [\textit{K. Okuyama}, J. High Energy Phys. 2018, No. 4, Paper No. 59, 23 p. (2018; Zbl 1390.81341)] shows that if both \(E^1\) and \(E^2\) are irreducible, then there exists a quasi-homeomorphism between them. The current paper is trying to extend this result to reducible cases with an additional assumption that \(U\) is unitary.