[논문 리뷰] Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration

Asgar Jamneshan, Terence Tao|arXiv (Cornell University)|2020. 10. 01.

Advanced Operator Algebra Research참고 문헌 33인용 수 6

한 줄 요약

이 논문은 분리 가능성 또는 미터리시블성 가정 없이, 확률 대수를 컴팩트 하우스도르프 확률 공간으로 함의적으로 표현하는 캐논리컬 모델을 개발하여, 기초적인 결과를 확장함으로써 비가чёт 수 측도 이론을 확립한다. 이는 캐논리컬 분해 정리와 상대적으로 독립적인 곱의 구성이 가능하게 하며, 기존의 겔판트 이중성과 리스 표현 정리를 비가чёт 수, 비분리 가능한 설정으로 확장한다. 이는 비가чёт 수 에르고딕 이론 및 관련 응용을 위한 범주론적 프레임워크를 제공한다.

ABSTRACT

We collect several foundational results regarding the interaction between locally compact spaces, probability spaces and probability algebras, and commutative $C^*$-algebras and von Neumann algebras equipped with traces, in the "uncountable" setting in which no separability, metrizability, or standard Borel hypotheses are placed on these spaces and algebras. In particular, we review the Gelfand dualities and Riesz representation theorems available in this setting. We also present a canonical model that represents probability algebras as compact Hausdorff probability spaces in a completely functorial fashion, and apply this model to obtain a canonical disintegration theorem and to readily construct various product measures. These tools are useful in applications to "uncountable" ergodic theory (as demonstrated by the authors and others).

연구 동기 및 목표

• 분리 가능성 또는 미터리시블성 가정 없이, 추상적 확률 대수를 컴팩트 하우스도르프 확률 공간으로 함의적으로 표현하는 캐논리컬, 함의적 모델을 개발한다.
• 함수해석학 및 측도 이론에서 비가чёт 수, 비분리 가능한 설정으로 확장된 겔판트 이중성과 리스 표현 정리를 수립한다.
• 캐논리컬 모델을 사용하여 요소 공간 위에서의 확률 측도에 대한 캐논리컬 분해 정리를 확립한다.
• 기존의 이중성 정리들(예: 룸스-시코르스키, 스톤 이중성)을 통합하고 일관된 범주론적 프레임워크 내에서 명확화한다.
• 특히 초수체 또는 비분리 대수를 통해 구성된 시스템에서 비가чёт 수 에르고딕 이론의 응용을 위한 도구를 제공한다.

제안 방법

• 범주론을 활용하여 비가чёт 수 설정에서 컴팩트 하우스도르프 공간, 가환 C*-대수, 그리고 흔적을 가진 바나흐-바나흐 대수 간의 이중성을 체계화한다.
• 겔판트 이중성과 확률 이중성을 결합하여 추상적 확률 대수를 컴팩트 하우스도르프 확률 공간으로 함의적으로 매핑하는 캐논리컬 모델을 구성한다.
• 캐논리컬 모델을 적용하여 측도의 캐논리컬 분해를 유도함으로써, 요소 사상과의 호환성과 상대적 독립성을 유지한다.
• τ-가환 정규 보렐 측도와 τ-연속 함수형을 사용하여 리스 표현 정리를 분리 가능하거나 미터리시블한 공간을 초월해 일반화한다.
• 루미스-시코르스키 정리를 활용하여 불리안 대수와 σ-대수의 맥락에서 추상적 콜모고로프 확장 정리의 형태를 수립한다.
• 자연 동형과 범주론적 곱을 이용하여 모든 구성 간의 일관성과 함의성 보장을 한다.

실험 결과

연구 질문

• RQ1 겔판트 이중성은 비분리 가능하고 비미터리시블한 국소적으로 컴팩트 하우스도르프 공간과 그에 대응하는 C*-대수로 어떻게 확장될 수 있는가?
• RQ2 비가чёт 수 설정에서 추상적 확률 대수를 컴팩트 하우스도르프 확률 공간으로 함의적으로 표현하는 캐논리컬, 함의적 표현은 무엇인가?
• RQ3 분리 가능성 또는 표준 보렐 구조를 요구하지 않고 요소 공간 위에서 측도의 캐논리컬 분해는 어떻게 구성할 수 있는가?
• RQ4 비분리 가능한 C*-대수와 그 이중 공간에서 τ-가환 함수형으로 일반화된 리스 표현 정리는 어떤 방식으로 확장되는가?
• RQ5 분리 가능성 가정이 없을 경우 룸스-시코르스키 정리는 어떻게 추상적 콜모고로프 확장 정리를 가능하게 하는가?

주요 결과

• 캐논리컬 모델은 추상적 확률 대수와 컴팩트 하우스도르프 확률 공간 사이에 완전한 함의적, 범주론적 동치를 수립하여 표현의 모호함을 제거한다.
• 캐논리컬 분해 정리는 모든 확률 측도가 조건부 측도로 분해될 수 있음을 보장하며, 이 조건부 측도는 측도가 측정 가능하고 요소 사상과 호환됨을 보장한다. 이는 비가чёт 수 설정에서도 성립한다.
• 어떤 군 Γ의 확률 대수 위에 작용할 경우, 불변 요소는 캐논리컬 모델에서 기저 공간 Y와 동형이며, 이는 Y가 최대 불변 요소임을 확인한다.
• 캐논리컬 모델을 통해 범주론적 텐서 곱을 이용하여 측도의 상대적으로 독립적인 곱을 구성할 수 있으며, 이는 비가чёт 수의 경우에도 독립성을 유지한다.
• 논문은 일부 불변 집합들이 원래 공간에서는 바이어르 측도로 측정 가능하지 않지만, 캐논리컬 모델에서는 측정 가능해지며, 이는 조건부 측도의 비에르고딕성을 탐지하는 데 사용될 수 있음을 보여준다.
• 논문은 할무스의 주장에 대한 반례를 해결하며, 일부 집합들이 형식적으로 불변처럼 보일지라도 바이어르 측도로 측정 가능하지 않음을 보여준다.