[논문 리뷰] Smooth classifying spaces

J. Daniel Christensen, Enxin Wu|arXiv (Cornell University)|2017. 09. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 7

한 줄 요약

이 논문은 미분구조를 가진 다변량 공간의 이론을 발전시켜, 미분구조를 가진 주다발의 분류를 위한 부드러운 분류 공간 이론을 개발한다. 이는 미분기하학적 설정에서 호모토피 불변성이 실패하는 문제를 해결하기 위해 D-가환성 다발을 도입함으로써 이루어지며, D-가환성 주다발을 분류하는 부드러운 유니버설 다발 EG → BG를 구성한다. 이는 부드러운 호모토피 유형과 이러한 다발의 동형류 사이의 전단사 관계를 증명한다.

ABSTRACT

We develop the theory of smooth principal bundles for a smooth group $G$, using the framework of diffeological spaces. After giving new examples showing why arbitrary principal bundles cannot be classified, we define $D$-numerable bundles, the smooth analogs of numerable bundles from topology, and prove that pulling back a $D$-numerable bundle along smoothly homotopic maps gives isomorphic pullbacks. We then define smooth structures on Milnor's spaces $EG$ and $BG$, show that $EG o BG$ is a $D$-numerable principal bundle, and prove that it classifies all $D$-numerable principal bundles over any diffeological space. We deduce analogous classification results for $D$-numerable diffeological bundles and vector bundles.

연구 동기 및 목표

• 부드러운 주다발 분류에서 호모토피 불변성이 실패하는 문제를 해결하기 위해, 부드럽게 호모토피 가능한 사상이 비동형인 당김을 유도할 수 있는 상황을 다루기 위해.
• 미분구조적 공간 위의 부드러운 분할 단위를 사용하여, 수치적 다발의 부드러운 해석인 D-가환성 다발을 개발하기 위해.
• 미분구조적 군 G에 대해 D-가환성 주다발을 분류하는 부드러운 유니버설 다발 EG → BG를 구성하기 위해.
• 연관 다발 구성 방법을 통해 D-가환성 미분구조적 다발과 벡터 다발의 분류를 확장하기 위해.
• 미분구조적 호모토피 이론을 기반으로 부드러운 특성 클래스와 부드러운 K-이론의 기초를 마련하기 위해.

제안 방법

• 다양체를 초월한 미분구조를 다룰 수 있도록 허용하는, 미분구조적 공간의 프레임워크를 채택하여 함수 공간, 몫공간, 특이 공간을 다룰 수 있도록 한다.
• 이 뚜렷한 덮개에 대해 부드러운 분할 단위를 갖는 주다발로 D-가환성 다발을 정의함으로써, 당김의 호모토피 불변성을 보장한다.
• 밀너의 유니버설 다발의 집합론적 해석을 기반으로 EG와 BG를 구성하지만, 이를 미분구조로 장비하여 부드러움을 확보한다.
• 부드러운 함수 F가 부드러운 음이 아닌 함수의 영점 여부를 감지할 수 있도록 하여, EG → BG 가 D-가환성 주다발임을 증명한다.
• f > 0 일 때 F(f) = exp(−exp(∫₀¹ 1/f(x) dx)) 이고, f가 [0,1]에서 0이면 0인, C∞(ℝ, ℝ≥0) 에 정의된 부드러운 함수 F: C∞(ℝ, ℝ≥0) → ℝ≥0 를 사용하여 호모토피 증명에서 비부드러운 최소함수(min 함수)를 대체한다.
• 모든 미분구조적 공간 B에 대해 부드러운 호모토피 유형의 사상과 D-가환성 G-다발의 동형류 사이의 자연스러운 전단사 관계 [B, BG] → Prinᴳᴰ(B) 수립.

실험 결과

연구 질문

• RQ1 표준적인 분류 공간이 미분구조적 다발의 설정에서 왜 실패하는가?
• RQ2 미분구조적 범주에서 당김의 호모토피 불변성을 보장하는 부드러운 수치적 다발의 해석은 무엇인가?
• RQ3 밀너의 유니버설 다발 EG와 BG는 미분구조를 부여받아 미분구조적 프레임워크에서 분류 공간으로 기능할 수 있는가?
• RQ4 D-가환성 주다발의 분류는 어떻게 미분구조적 다발과 벡터 다발으로 확장될 수 있는가?
• RQ5 호모토피 이론적 구성에서 부드러운 양수 함수의 영점 여부를 감지하기 위해 비부드러운 최소함수를 대체할 수 있는 부드러운 함수는 무엇인가?

주요 결과

• 부드럽게 수축 가능한 미분구조적 공간 위에 존재하는 부드러운 주다발들 중에서, 항등사상과 상수사상이 부드럽게 호모토피 가능하나, 그 당김이 비동형이 되는 경우가 존재함을 보여, 모든 부드러운 주다발에 대해 분류 공간이 존재하지 않음을 시사한다.
• D-가환성 주다벨 G-다발은 부드럽게 호모토피 가능한 사상에 의한 당김이 서로 동형이 되는 중요한 성질을 만족하며, 이는 호모토피 불변성을 보장한다.
• C∞(ℝ, ℝ≥0) 에 정의된 함수 F는 [0,1]에서 함수가 영이 되는지 감지할 수 있으며, 최소함수의 비부드러움에도 불구하고 부드러운 함수이다.
• EG와 BG를 미분구조적 공간으로 구성함으로써, 모든 미분구조적 공간 B에 대해 D-가환성 G-다발을 분류하는 유니버설 D-가환성 주다벨 EG → BG 를 얻을 수 있다.
• 전단사 관계 [B, BG] → Prinᴳᴰ(B) 는 B에 대해 자연스럽고, BG 는 D-가환성 G-다발의 분류 공간로서 부드러운 호모토피 동치에 의해 유일하다.
• 이 이론은 미분구조적 군 Diff(F) 를 사용하여 D-가환성 미분구조적 다발(기저 F) 과, 연관 다발 구성 방법을 통해 D-가환성 벡터 다발로까지 확장된다.