[논문 리뷰] Lebesgue Orbit Equivalence of Multidimensional Borel Flows

Konstantin Slutsky|arXiv (Cornell University)|2015. 04. 03.

Mathematical Dynamics and Fractals참고 문헌 6인용 수 3

한 줄 요약

이 논문은 $\mathbb{R}^d$의 두 자유 다차원 보렐 유동이 르베그 궤도 동치(LOE)일 조건을 규명한다. 즉, 두 유동이 르베그 궤도 동치일 필요충분조건은 동일한 수의 비자명한 측도를 가지는 측도적 에르고딕 확률 측도를 가진다는 것이다. 증명은 보렐 직사각형 위에서 측도를 보존하는 사상과 함께 오르내리는 구성(백-앤퍼스 구축)을 사용하며, 코모 pact 교차단면과 압축 가능한 동치관계를 활용하여 궤도 동치를 유지하면서도 각 궤도에서 르베그 측도를 보존하는 방식으로 확장한다.

ABSTRACT

The main result of the paper is classification of free multidimensional Borel flows up to Lebesgue Orbit Equivalence, by which we understand an orbit equivalence that preserves the Lebesgue measure on each orbit. Two non smooth Euclidean flows are shown to be Lebesgue Orbit Equivalence if and only if they admit the same number of invariant ergodic probability measures.

연구 동기 및 목표

• 자유 다차원 보렐 유동 $\mathbb{R}^d$를 르베그 궤도 동치(LOE)에 관해 분류하는 것. 이는 각 궤도에서 르베그 측도를 보존하는 궤도 동치의 강화된 형태이다.
• 비미분 가능 자유 $\mathbb{R}^d$-유동의 맥락에서, 불변 측도적 에르고딕 확률 측도(피미 측도)의 집합의 기수(기수)가 LOE에 대한 완전한 불변량인지 여부를 규명하는 것.
• 전체 위상공간이 미분 가능하지 않은 경우에도, 보렐 오르내리는 구성(백-앤퍼스)을 통해 궤도 동치를 측도를 보존하는 방식으로 궤도를 넘어 확장하는 것.
• 이산군 작용이 하르 측도를 동일한 방식으로 보존하지 못하는 것과는 달리, 연속군 작용에서 하르 측도의 보존 실패를 극복하기 위해, 궤도에서의 르베그 측도에 초점을 맞추는 것.

제안 방법

• 보렐 직사각형 $B^k$와 교차단면 $\mathcal{C}^k$ 위에서 오르내리는 구성(백-앤퍼스)을 통해 두 자유 $\mathbb{R}^d$-유동 $X$와 $Y$ 사이의 보렐 위상동형사상 $\phi: X \to Y$를 구성한다.
• 코모 pact 교차단면 $\mathcal{C}_X \subseteq X$와 $\mathcal{C}_Y \subseteq Y$를 사용하여 궤도 동치의 기초를 정의하며, 극한에서 균일하게 전체 측도를 가지도록 보장한다.
• 유동 작용을 통해 르베그 측도를 전달하여 $B^k$ 블록 위에서 측도를 보존하는 사상을 정의함으로써, $\phi$가 각 궤도에서 르베그 측도를 보존하도록 보장한다.
• 제8.1정리를 적용하여 $B^k$ 블록을 넘어선 궤도 동치를 확장함으로써, 각 단계에서 측도 보존성과 보렐 가측성을 유지한다.
• 교차단면 위에서 압축 가능하고 비미분 가능한 동치관계를 사용하여, 피미 측도가 없는 불변 부분집합 $X_0 \subseteq X$와 $Y_0 \subseteq Y$를 구성함으로써 전체 공간으로의 동치 확장을 가능하게 한다.
• 정리 7.2(균일하게 전체 측도를 가진 집합에서 LOE의 존재성)와 정리 8.1(전체 유동으로의 확장)의 결과를 조합하여 원래 유동 간의 전역적 LOE를 구성한다.

실험 결과

연구 질문

• RQ1 자유 다차원 보렐 유동에 관해 르베그 궤도 동치의 경우, 불변 측도적 에르고딕 확률 측도의 수가 완전한 불변량인가?
• RQ2 자유 $\mathbb{R}^d$-유동 간의 보렐 궤도 동치가 모든 궤도에서 르베그 측도를 보존하는 궤도 동치로 확장될 수 있는가?
• RQ3 위상공간이 비미분 가능하고 불변 측도 확률 측도가 없는 경우, 어떻게 LOE를 구성할 수 있는가?
• RQ4 연속군 작용에서 궤도 동치가 하르 측도를 동일한 방식으로 보존하지 못하는 것이 보렐 설정에서의 분류에 미치는 영향은 어느 정도인가?
• RQ5 다차원 유동의 맥락에서, 보렐 가측성을 유지하면서 궤도에서의 르베그 측도를 보존하는 방식으로 오르내리는 구성(백-앤퍼스)을 어떻게 적응시킬 수 있는가?

주요 결과

• 두 자유 비미분 가능 $\mathbb{R}^d$-유동은 서로 르베그 궤도 동치일 필요충분조건이 그들이 동일한 수의 불변 측도적 에르고딕 확률 측도를 가진다는 것이다.
• 두 유동의 피미 측도 집합의 기수가 일치할 경우, 그들 사이에 LOE가 존재함이 보장된다.
• LOE의 구성은 보렐 직사각형 $B^k$ 위에서 보렐 오르내리는 구성(백-앤퍼스)을 통해 이루어지며, 르베그 측도의 정확한 전달을 통해 각 궤도에서의 측도 보존성을 확보한다.
• 비미분 가능하고 불변 측도가 없는 보완집합이 존재하는 경우에도, 전체 공간으로의 확장이 가능하며, 이는 전체 측도를 가진 부분집합에서의 LOE를 균일하게 확장함으로써 성취된다.
• 코모 pact 교차단면에서 압축 가능하고 비미분 가능한 동치관계를 사용함으로써, 피미 측도가 없는 불변 부분집합을 구성할 수 있었으며, 이는 궤도 동치의 전체 공간으로의 확장을 가능하게 하였다.
• 결과적으로 고전적 Dougherty–Jackson–Kechris 분류를 연속적이고 측도 보존적인 다차원 유동 설정으로 일반화하였으며, LOE 하에서 피미 측도의 수가 유일한 불변량임을 보여주었다.