[논문 리뷰] The Szemeredi property in ergodic W*-dynamical systems

Conrad Beyers, Rocco Duvenhage외 1명|arXiv (Cornell University)|2007. 09. 11.

Limits and Structures in Graph Theory참고 문헌 17인용 수 10

한 줄 요약

이 논문은 아미아블 그룹 위의 아미아블리티와 약한 혼합 조건 하에서, 에르고딕 W*-다이나믹스 시스템에서 범주적 성질을 증명한다. 이는 아미아블 그룹 위의 힐버트 공간 값 함수에 대한 일반화된 반-더 코르푸트 보조정리의 응용을 통해 이루어지며, 핵심 결과는 이러한 시스템이 또는 그 안에 비자명한 컴팩트 인자가 존재하여 그 인자가 성립하는 경우, 범주적 성질을 만족함을 보여준다. 이는 푸르스텐베르크의 고전적 재귀 결과를 $\mathbb{Z}^q$와 $\mathbb{R}^q$와 같은 군을 포함한 비가환 연산자 대수적 환경으로 확장한다.

ABSTRACT

We study weak mixing of all orders for asymptotically abelian weakly mixing state preserving C*-dynamical systems, where the dynamics is given by the action of an abelian second countable locally compact group which contains a Folner sequence satisfying the Tempelman condition. For a smaller class of groups (which include Z^q and R^q) this is then used to show that an asymptotically abelian ergodic W*-dynamical system either has the "Szemeredi property" or contains a nontrivial subsystem (a "compact factor") that does. A van der Corput lemma for Hilbert space valued functions on the group is one of our main technical tools.

연구 동기 및 목표

• 고전적 에르고딕 이론에서 C*- 및 W*-다이나믹스 시스템의 비가환 설정으로까지 고전적 범주적 재귀 정리의 일반화를 시도한다.
• Følner 수열이 템펠만 조건을 만족하는 아벨(second countable) 국소 컴act 아벨 군 위에서 점점 아벨이 되는 상태를 유지하는 상태를 유지하는 C*-다이나믹스 시스템에서 모든 차수의 약한 혼합을 확립한다.
• 점점 아벨이 되는 에르고딕 W*-다이나믹스 시스템이 범주적 성질을 만족하거나 그 안에 그 성질을 만족하는 비자명한 컴팩트 인자를 포함하는지 증명한다.
• 두 번째 가산 아미아블 국소 컴팩트 아벨 군 위의 힐버트 공간 값 함수에 대해 반-더 코르푸트 보조정리를 일반화하여 다중 에르고딕 평균의 분석을 지원한다.
• 푸르스텐베르크의 고전적 분해와 유사한, 약한 혼합성과 컴팩트성에 기반한 W*-다이나믹스 시스템의 구조 이론을 개발한다.

제안 방법

• 아미아블 군 위의 힐버트 공간 값 함수에 대한 일반화된 반-더 코르푸트 보조정리를 사용하여, 약한 혼합 설정에서 다중 에르고딕 평균을 제어한다.
• 군 작용의 호모모르피즘을 통한 모든 차수의 약한 혼합 정의를 제시하여 고전적 개념을 비아벨 군 작용으로 일반화한다.
• 템펠만 조건을 만족하는 Følner 수열을 사용하여 이산 평균 간격을 연속 군 평균으로 대체한다.
• 비가환 C*-다이나믹스 시스템을 다룰 수 있도록 '밀도에 있어서 점점 아벨이 되는' 점점 아벨 성질을 적용하여 재귀 결과를 위한 충분한 가환성을 확보한다.
• GNS 구성법을 사용하여 W*-다이나믹스 시스템을 순환 분리 벡터를 가진 구체적인 바나흐-바나흐 대수로 표현함으로써, 힐버트 공간 연산자를 통한 분석을 가능하게 한다.
• 시스템이 약한 혼합이 되는 것과 비자명한 컴팩트 인자가 없는 것 사이의 이중성 관계를 증명함으로써, W*-설정에서 약한 혼합성과 컴팩트성 간의 이중성을 확립한다.

실험 결과

연구 질문

• RQ1 아미아블 군인 $\ mathbb{Z}^q$와 $\ mathbb{R}^q$ 위에서 점점 아벨이 되는 에르고딕 W*-다이나믹스 시스템에서 범주적 성질이 성립하는가?
• RQ2 Følner 조건과 템펠만 조건을 만족하는 군 작용을 갖는 비가환 C*-다이나믹스 시스템에서 모든 차수의 약한 혼합이 확립되는가?
• RQ3 약한 혼합이 아닌 에르고딕 W*-시스템이 범주적 성질을 만족하는 비자명한 컴팩트 인자를 포함하는 조건은 무엇인가?
• RQ4 두 번째 가산 아미아블 국소 컴팩트 군 위의 힐버트 공간 값 함수에 대해 고전적 반-더 코르푸트 부등식을 일반화할 수 있는가?
• RQ5 푸르스텐베르크의 고전적 결과와 유사한, 약한 혼합성과 컴팩트성 부분으로 분해하는 W*-다이나믹스 시스템에 대한 구조 정리가 존재하는가?

주요 결과

• Følner 수열과 템펠만 조건을 만족하는 경우, $\ mathbb{Z}^q$ 또는 $\ mathbb{R}^q$ 위에서 점점 아벨이 되는 비자명한 에르고딕 W*-다이나믹스 시스템의 비자명한 인자에서 범주적 성질이 성립한다.
• 에르고딕 W*-다이나믹스 시스템이 약한 혼합이 되는 것과 비자명한 컴팩트 인자가 없는 것 사이의 이중성 관계가 성립하며, 이는 고전적 에르고딕 이론과 유사한 이중성을 확립한다.
• Følner 수열이 템펠만 조건을 만족하는 아벨 두 번째 가산 국소 컴팩트 군 위에서 점점 아벨이 되는 C*-다이나믹스 시스템에서 모든 차수의 약한 혼합이 성립한다.
• 두 번째 가산 아미아블 국소 컴팩트 군 위의 힐버트 공간 값 함수에 대해 일반화된 반-더 코르푸트 보조정리가 증명되었으며, 이는 다중 에르고딕 평균의 제어를 가능하게 한다.
• 시스템이 약한 혼합이면, 다음 극한을 통해 범주적 성질을 만족한다: $\lim_{n\to\infty}\frac{1}{\mu(\Lambda_n)}\int_{\Lambda_n}\left|\omega\left(\prod_{j=0}^{k}\tau_{g^{m_j}}(a)\right)\right|dg = \omega(a)^{k+1} > 0$ for $a \in A^+$ with $\omega(a) > 0$.
• $G = \mathbb{Z}^q$ 및 $G = \mathbb{R}^q$의 경우, $\Lambda_n = \{-n,\dots,n\}^q$ 및 $\Lambda_n = [-n,n]^q$ 형태의 명시적 Følner 수열이 존재하며, 이는 요구 조건을 만족하므로 주요 정리의 적용이 가능하다.