[논문 리뷰] Topological groups and invariant measures

Yury A. Neretin|arXiv (Cornell University)|2015. 10. 11.

advanced mathematical theories참고 문헌 53인용 수 4

한 줄 요약

이 논문은 국소적으로 컴팩트 군에서의 하르 측도의 존재성과 성질에 중점을 두고, 위상군과 불변 측도에 대한 체계적인 강의 기반의 서술을 제공한다. 하르 측도 존재성에 대한 여러 증명을 제시하고, 모듈라 특성, 동치공간 위의 불변 측도, 그레아스만이안과 직교군에의 응용을 탐구하며, 역극한, 가상 순열, 가우시안 측도와 같은 고급 주제도 다룬다.

ABSTRACT

Lecture notes in Russian. Topics: the Haar measure (abstract theorems and explicit descriptions for different groups), measures on infinite-dimensional spaces with large natural groups of symmetries (Gaussian measures, Poisson measures, virtual permutations, inverse limits of unitary groups), zoo of examples of topological groups, generalities for large (infinite-dimensional) groups, polymorphisms.

연구 동기 및 목표

• 가 countable basis를 가진 위상군의 기초 이론과 그 국소적으로 컴팩트한 구조를 수립하기 위해.
• 국소적으로 컴팩트한 위상군에서 왼쪽 불변 하르 측도의 존재성과 유일성을 증명하기 위해.
• 모듈라 특성과 동치공간 위의 불변 측도를 탐구하며, 그레아스만이안과 직교군을 포함한다.
• 역극한의 군과 공간으로의 이론 확장, 특히 유니터리 군과 대칭군을 포함하여.
• 가우시안 및 포아송 측도의 대칭성과 조화 분석 및 표현 이론 간의 연결 고리를 조사하기 위해.

제안 방법

• 곱셈과 역원의 연속성을 갖는 위상군 공리계를 사용하며, 가 countable basis를 가진 국소적으로 컴팩트 군에 집중한다.
• 하르 측도 존재성을 위한 여러 증명(예: 불변 평균, 리스 표현 정리 등)을 적용한다.
• 비균일성의 정도를 측정하는 동형사상으로서의 모듈라 특성을 도입한다.
• 기저 군으로부터의 상향으로 G/H 위의 불변 측도를 구성한다.
• 역극한 구성법을 사용하여, U(∞) 및 가상 순열과 같은, 측도 공간과 군의 프로젝티브 극한을 정의한다.
• 코모고로프의 정리를 활용하여, 일致한 사영 사상이 있는 르베그 공간의 수열의 역극한 위에 표준 측도를 구성한다.

실험 결과

연구 질문

• RQ1 가 countable basis를 가진 국소적으로 컴팩트한 위상군에서 하르 측도는 어떻게 구성할 수 있는가?
• RQ2 모듈라 특성은 왼쪽 및 오른쪽 불변 측도를 특성화하는 데 어떤 역할을 하는가?
• RQ3 그레아스만이안과 직교군 위의 불변 측도는 군 작용과 표현 이론과 어떻게 관련되어 있는가?
• RQ4 유니터리 군의 역극한의 구조는 무엇이며, 불변 측도를 지원하는 데 어떻게 기여하는가?
• RQ5 가우시안 및 포아송 측도의 대칭성은 위상군에서의 조화 분석과 어떻게 관련되어 있는가?

주요 결과

• 가 countable basis를 가진 국소적으로 컴팩트한 위상군에서, 임의의 σ-유한 보렐 측도 중에서 왼쪽 불변인 유일한(스칼라 곱을 제외하고는) 측도—즉 하르 측도—가 존재한다.
• 콤팩트 군에서는 하르 측도가 유한하며, 왼쪽 및 오른쪽 이동과 역원에 대해 모두 불변이다.
• 모듈라 특성은 오른쪽 이동에 대한 불변성의 실패를 측정하며, ℝ⁺로의 연속적 준동형사상이다.
• H가 닫힌 정규부분군일 때, 동치공간 G/H 위의 불변 측도가 존재하며, 하르 측도의 투영을 통해 구성된다.
• 일致한 사영 사상이 있는 르베그 공간의 수열의 역극한은 코모고로프의 확장 정리에 의해 표준 불변 측도를 갖는다.
• 가상 순열의 공간과 군 U(∞)는 자연스럽게 역극한으로 나타나며, 불변 측도를 지지하고 고유값 분포 및 대칭성의 분석을 가능하게 한다.