[논문 리뷰] Transgression to Loop Spaces and its Inverse, I: Diffeological Bundles and Fusion Maps

Konrad Waldorf|arXiv (Cornell University)|2009. 11. 17.

Mathematics and Applications참고 문헌 8인용 수 24

한 줄 요약

이 논문은 미분구조 공간 위의 미분구조 다발과 접속에 대한 동형류의 집합과 그의 얇은 고리 공간 L(X) 위의 융합 맵 사이의 표준적 동형사상( canonical isomorphism )을 구축한다. 이는 전도( transgression )와 재구성( regression ) 함자를 통해 명시적으로 이루어지며, 핵심 기여는 X 위의 기하학적 구조와 L(X) 위의 대수적 구조 사이의 이중성(duality)을 밝혀내며, Barrett의 작업을 미분구조 공간으로 일반화하고, 국소적으로 상수인 융합 맵을 통한 평탄한 접속을 포함한 다발로 확장한다.

ABSTRACT

We prove that isomorphism classes of principal bundles over a diffeological space are in bijection to certain maps on its free loop space, both in a setup with and without connections on the bundles. The maps on the loop space are smooth and satisfy a "fusion" property with respect to triples of paths. Our bijections are established by explicit group isomorphisms: transgression and regression. Restricted to smooth, finite-dimensional manifolds, our results extend previous work of J. W. Barrett.

연구 동기 및 목표

• 부드러운 다양체에서의 Barrett의 전도 구성법을 더 넓은 범주인 미분구조 공간으로 일반화하기.
• 미분구조 공간 X 위의 주 A-다발과 접속의 동형류를 그의 얇은 고리 공간 L(X) 위의 매끄러운 융합 맵을 통해 특성화하기.
• 두 구조 간의 군 동형사상을 수립하기 위해 명시적이고 서로 역인 함수인 전도( transgression )와 재구성( regression )을 정의하고 엄밀히 구성하기.
• 국소적으로 상수인 융합 맵과 평탄한 다발을 연결함으로써 이 관계를 평탄한 접속으로까지 확장하기.

제안 방법

• S¹에서 X로의 매끄러운 사상들의 집합을 얇은 호모토피에 관하여 몫을 취하여, 자연스러운 미분구조를 지닌 얇은 고리 공간 L(X)로 정의한다.
• 경로의 연결과 반전을 포함한 삼항 조합 항등식을 만족하는 매끄러운 사상 f: L(X) → A 를 융합 맵으로 도입한다.
• X 위의 다발에 대한 접속에 대해 L(X)의 고리들 沿해의 환원( holonomy )을 할당함으로써 전도 맵을 구성하고, 이것이 융합 맵을 유도함을 증명한다.
• 주어진 융합 맵 f 가 L(X) 위에 주어졌을 때, 경로 올림과 환원 자료를 이용하여 X 위의 주 다발과 접속을 재구성함으로써 재구성 맵을 구성한다.
• 전도와 재구성 이 함수들이 서로 역함수임을 증명하여, 두 구조 간의 군 동형사상을 확립한다.
• 이 동형사상이 평탄한 접속과 국소적으로 상수인 융합 맵으로 제한되었을 때에도 유지됨을 검증하며, 기하학적 및 대수적 구조를 보존함을 확인한다.

실험 결과

연구 질문

• RQ1 주 다발의 접속 전도는 부드러운 다양체에서의 경우를 초월하여 더 일반적인 미분구조 공간으로 확장될 수 있는가?
• RQ2 전도의 표준적 역함수—즉, 고리 공간 위의 융합 맵으로부터 기저 공간 위의 다발로의 재구성 과정—가 존재하는가?
• RQ3 기저 공간 위의 다발과 접속의 동형류 집합과 정확히 대응하는 고리 공간 위의 대수적 구조는 무엇인가?
• RQ4 이 이중성 하에서 기저 공간 위의 평탄한 접속은 융합 맵과 어떻게 대응하는가?
• RQ5 재구성된 다발이 평탄한 접속을 가지기 위한 융합 맵에 대한 정확한 조건은 무엇인가?

주요 결과

• X 위의 미분구조 주 A-다발과 접속의 동형류 집합과 얇은 고리 공간 L(X) 위의 융합 맵의 군 사이에 표준적 군 동형사상이 존재한다.
• 이 동형사상은 명시적이고 서로 역인 함수인 전도( bundle → fusion map )와 재구성( fusion map → bundle )을 통해 실현된다.
• 이 관계는 평탄한 다발(평탄한 접속을 지닌 다발)과 국소적으로 상수인 융합 맵 사이의 동형사상으로 제한된다.
• 이 구성은 아벨 리군 A에 대해 임의로 적용 가능하며, 이산군과 비유계군을 포함한다. 이는 Barrett의 이전 결과를 미분구조 공간으로 일반화한 것이다.
• 고리 공간 L(X)는 X 로부터 자연스러운 미분구조를 물려받으며, 이는 융합 맵의 매끄러움과 전체 구성이 유용한 해석학 프레임워크와 호환됨을 보장한다.
• 이 증명은 미분구조 설정에서의 매끄러운 경로 올림과 환원 운반의 존재에 의존하며, 이는 고전 이론을 일반화한다.