[논문 리뷰] Measure theory and classifying spaces

Iván Marín|arXiv (Cornell University)|2017. 02. 07.

Mathematical and Theoretical Analysis참고 문헌 12인용 수 4

한 줄 요약

이 논문은 측도 이론적 방법을 사용하여 이산군 및 컴act Lie 군에 대한 완전한 메트릭 분류 공간을 구성한다. 특히, $L(\text{prob space}, G)$ 공간에 군 작용을 적용하여 몫 공간을 형성한다. 아벨 이산군 $\Gamma$에 대해 $L_2(\Gamma)$가 양측으로 불변한 완전한 메트릭을 지닌 $K(\Gamma,1)$임을 증명하며, 승법과 단면 성질을 통해 $K(\Gamma,n)$ 공간으로 향하는 반복적 구성 방법을 제안한다.

ABSTRACT

We construct classifying spaces for discrete and compact Lie groups, with the property that they are topological groups and complete metric spaces in a natural way. We sketch a program in view of extending these constructions.

연구 동기 및 목표

• 확률 및 측도 이론을 활용하여 분류 공간에 기하학적이고 메트릭적 구조를 수립하기 위해.
• 국소적으로 컴 pact하지 않은 설정에서 메트릭 분류 공간을 구성하는 데 있어 범주론적 및 위상수학적 과제를 다루기 위해.
• 반복적 구성 $L(\Omega, \cdot)$가 자연스러운 메트릭과 위상적 성질을 지닌 Eilenberg-MacLane 공간 $K(\Gamma,n)$를 유도하는지 탐색하기 위해.
• 몫 사상 $L(\Omega^n, \Gamma) \to L(\Omega^n, \Gamma)/L_n(\Gamma)$에 대해 연속적 또는 등장적 국소 단면의 존재성을 조사하기 위해, 이는 호모토피 분류에 핵심적이다.
• 측도 이론적 구성에 기반한 호모토피 범주의 기하화 프로그램을 위한 기초를 마련하기 위해.

제안 방법

• 분류 공간을 $L(\Omega, G)/G$로 구성하며, 여기서 $L(\Omega, G)$는 영 집합에 대해 모듈로 취한 $G$-값을 가진 가측 함수의 공간이며, $L^1$-유형 메트릭을 갖춘다.
• 점별 곱셈을 통해 $L(\Omega, G)$에 군 구조를 도입하고, 이동을 통한 $G$-작용을 정의함으로써 몫 메트릭 공간을 구성한다.
• 콤팩트 Lie 군에서의 리만 중심 질량을 사용하여 몫 사상 $L(\Omega, G) \to L(\Omega, G)/G$에 대한 명시적 국소 단면을 구성하며, 이는 양측으로 불변한 메트릭을 활용한다.
• 완전히 정규화된 공간의 몫에 대해 글레존의 정리를 적용하여 콤팩트 Lie 군의 경우 국소 단면의 존재성을 정당화한다.
• 반복적 구성 가능성을 보장하기 위해 등식 $L(\Omega, L(\Omega, \Gamma)) \simeq L(\Omega \times \Omega, \Gamma) \simeq L(\Omega, \Gamma)$를 증명한다.
• 국소 단면과 세르 필브레이션 성질의 개념을 도입하여 반복된 몫이 $K(\Gamma,n)$ 공간을 유도하는지 분석한다.

실험 결과

연구 질문

• RQ1 콤팩트 Lie 군 $G$일 때, 사상 $L(\Omega, G) \to L(\Omega, G)/G$가 연속적인 국소 단면을 갖는가?
• RQ2 반복적 구성 $L(\Omega, G)/G$가 이산 아벨 군 $\Gamma$에 대해 $K(\Gamma, n)$ 공간을 유도할 수 있으며, 그 조건은 무엇인가?
• RQ3 반복된 공간 $L_n(\Gamma)$ 또는 $L(\Omega^n, \Gamma)/L_n(\Gamma)$가 호모토피 올림 성질을 만족하거나 국소 단면을 갖는가?
• RQ4 사상 $L(\Omega^n, \Gamma) \to L(\Omega^n, \Gamma)/L_n(\Gamma)$는 세르 필브레이션이며, $K(\Gamma,n)$ 공간의 구조를 지원하는가?
• RQ5 $L_n(\Gamma)$ 또는 $L(\Omega^n, \Gamma)/L_n(\Gamma)$ 공간에 완전하고 양측으로 불변한 메트릭을 도입하여 완전한 메트릭 분류 공간을 구성할 수 있는가?

주요 결과

• 모든 이산 아벨 군 $\Gamma$에 대해, 공간 $L_2(\Gamma)$는 양측으로 불변한 완전한 메트릭을 지닌 $K(\Gamma,1)$임을 증명하였다. 이는 $L(\Omega, \Gamma)^2 \to L_2(\Gamma)$로의 코팅 맵 구성에 의해 입증되었다.
• 사상 $\pi: L(\Omega, \Gamma)^2 \to L_2(\Gamma)$가 $(\varphi, \psi) \mapsto (x,y) \mapsto \varphi(x)\psi(y)$로 정의되며, 이는 균일한 핵을 가지며 $\Gamma$와 동형이므로 $K(\Gamma,1)$의 구조를 확인한다.
• 양측으로 불변한 리만 메트릭을 지닌 콤팩트 Lie 군 $G$에 대해, 리만 중심 질량을 통해 $L(\Omega, G) \to L(\Omega, G)/G$로의 국소 단면이 존재하며, 이는 각도가 $\pi$ 이하인 고체 각에 집중된 분포에서 정의된다.
• 구성 $L_2(\Gamma)$는 자연스럽게 완전한 메트릭 군을 이룬다. 이는 양측으로 불변한 메트릭을 지니며, 유일한 코팅은 $L(\Omega, \Gamma)^2$의 몫으로 표현된다.
• 등식 $L(\Omega, L(\Omega, \Gamma)) \simeq L(\Omega \times \Omega, \Gamma) \simeq L(\Omega, \Gamma)$는 고차원 분류 공간의 반복적 구성 가능성을 보장한다.
• $L(\Omega^n, \Gamma) \to L(\Omega^n, \Gamma)/L_n(\Gamma)$에 대한 국소 단면의 존재는 핵심 미해결 문제이며, 이는 $B_n(\Gamma)$가 약한 $K(\Gamma,n)$ 공간인지 여부에 대한 함의를 지닌다.