[논문 리뷰] Smooth approximation for classifying spaces of diffeomorphism groups

Yong‐Geun Oh, Hiro TANAKA|arXiv (Cornell University)|2020. 03. 12.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 4

한 줄 요약

이 논문은 미분구조를 가진 다발의 미분형군의 분류공간에 대해 미분구조공간을 이용한 부드러운 근사 정리를 수립하며, BG의 부드러운 단순 복합체가 연속 단순 복합체와 약한 호모토피 동치임을 증명한다. 그 결과, BG의 부드러운 호모토피 군과 연속 호모토피 군은 자연스럽게 동형이 되며, 이는 무한-카테고리적 기법을 사용하여 호모토피적으로 일관된 군 작용을 구성하는 데 가능하게 한다.

ABSTRACT

We prove a smooth approximation theorem for classifying spaces of certain infinite-dimensional smooth groups. More precisely, using the framework of diffeological spaces, we show that the smooth singular complex of a classifying space BG is weakly homotopy equivalent to the (continuous) singular complex of BG when G is a diffeomorphism group of a compact smooth manifold. In particular, the smooth homotopy groups of BG are naturally isomorphic to the usual (continuous) homotopy groups of BG. On top of a computation of homotopy groups, our methods yield a way to construct homotopically coherent actions of G using infinity-categorical techniques. We discuss some generalizations and consequences of this result with an eye toward [OT19], where we show that higher homotopy groups of symplectic automorphism groups map to Fukaya-categorical invariants, and where we prove a conjecture of Teleman from the 2014 ICM in the Liouville and monotone settings.

연구 동기 및 목표

• 무한차원 미분형군의 분류공간에 대해 부드러운 근사 정리를 수립하기 위해.
• G가 컴act 미분다양체의 미분형군일 때 BG에 대한 부드러운 호모토피 이론과 연속 호모토피 이론을 연결하기 위해.
• 무한-카테고리적 방법을 사용하여 호모토피적으로 일관된 군 작용을 구성하는 프레임워크를 제공하기 위해.
• 특히 푸카야-카테고리적 불변량과 관련하여 심플렉틱 자기형사군의 고차 호모토피 군을 연결하는 데 응용을 지원하기 위해.
• OT19에서 상세히 설명된 바와 같이, 테일먼(2014 ICM)의 추측을 리우빌리안 및 단조 증가 설정에서 증명하기 위해.

제안 방법

• 분류공간의 부드러운 구조를 다루기 위해 미분구조공간의 프레임워크를 활용하기 위해.
• BG의 부드러운 단순 복합체를 구성하고, 약한 호모토피 동치를 통해 연속 단순 복합체와 비교하기 위해.
• 관련 카테고리 위에서 G의 호모토피적으로 일관된 작용을 모델링하기 위해 무한-카테고리적 기법을 사용하기 위해.
• 약한 호모토피 동치를 통해 BG의 부드러운 호모토피 군과 연속 호모토피 군 간의 자연스러운 동형을 확립하기 위해.
• 부드러운 구조를 활용하여 호모토피 이론적 자료에서 기하학적 및 카테고리적 불변량을 추출하기 위해.
• 결과를 적용하여 심플렉틱 자기형사군의 고차 호모토피 군을 계산하거나 푸카야-카테고리적 불변량과 연결하기 위해.

실험 결과

연구 질문

• RQ1 G가 컴 pact 미분다양체의 미분형군일 때, BG의 부드러운 단순 복합체가 연속 단순 복합체와 약한 호모토피 동치가 될 수 있는가?
• RQ2 이 설정에서 BG의 부드러운 호모토피 군은 표준적인 연속 호모토피 군과 어떻게 관련이 있는가?
• RQ3 무한차원 리군에 대해 부드러운 근사를 가능하게 하는 데서 미분구조공간의 역할은 무엇인가?
• RQ4 무한-카테고리적 기법을 어떻게 사용하여 G의 호모토피적으로 일관된 작용을 구성할 수 있는가?
• RQ5 이 결과들이 리우빌리안 및 단조 증가 심플렉틱 설정에서 테일먼의 2014 ICM 추측을 어느 정도 지지하거나 증명하는가?

주요 결과

• G가 컴 pact 미분다양체의 미분형군일 때, BG의 부드러운 단순 복합체는 연속 단순 복합체와 약한 호모토피 동치이다.
• BG의 부드러운 호모토피 군은 표준적인(연속적) 호모토피 군과 자연스럽게 동형이다.
• 이 프레임워크를 통해 무한-카테고리적 기법을 사용하여 G의 호모토피적으로 일관된 작용을 구성할 수 있다.
• 결과는 심플렉틱 자기형사군의 고차 호모토피 군과 푸카야-카테고리적 불변량을 연결하는 데 기초를 제공한다.
• 논문은 OT19에서 상세히 설명된 lin 2014 ICM에서 테일먼의 추측을 리우빌리안 및 단조 증가 설정에서 증명한다.
• 이 방법들은 미분형군의 분류공간에 대한 부드러운 근사 이론을 제공하며, 고전적 호모토피 이론 도구를 부드러운 설정으로 확장한다.