[논문 리뷰] Gerbes on orbifolds and exotic smooth R^4

Torsten Aßelmeyer-Maluga, Jerzy Król|ArXiv.org|2009. 11. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 22인용 수 5

한 줄 요약

이 논문은 $S^3$ 상의 번들 거스의 안정적 이somorphism류와 $S^3$의 Leray 오비폴드의 $K$-이론을 변형하는 것—소형 외부 $ ^4$의 특이 스무드 구조—사이에 1:1 대응을 수립한다. 군oids 기반의 왜곡된 $K$-이론과 $H^3(S^3, bZ)$ 호모로지 클래스를 사용하여, $SU(2)$-거스를 통한 호환 $K$-이론 변형이 소형 외부 $ ^4$들을 정확히 분류하며, 비표준 스무드 구조를 일반화된 코homology와 양자 중력 구조와 연결한다.

ABSTRACT

By using the relation between foliations and exotic R^4, orbifold $K$-theory deformed by a gerbe can be interpreted as coming from the change in the smoothness of R^4. We give various interpretations of integral 3-rd cohomology classes on S^3 and discuss the difference between large and small exotic R^4. Then we show that $K$-theories deformed by gerbes of the Leray orbifold of S^3 are in one-to-one correspondence with some exotic smooth R^4's. The equivalence can be understood in the sense that stable isomorphisms classes of bundle gerbes on S^{3} whose codimension-1 foliations generates the foliations of the boundary of the Akbulut cork, correspond uniquely to these exotic R^{4}'s. Given the orbifold $SU(2) imes SU(2) ightrightarrows SU(2)$ where SU(2) acts on itself by conjugation, the deformations of the equivariant $K$-theory on this orbifold by the elements of $H_{SU(2)}^{3}(SU(2),\mathbb{Z})$, correspond to the changes of suitable exotic smooth structures on R^4.

연구 동기 및 목표

• 외부 스무드 $ ^4$의 구조와 오비폴드 상의 거스에 의한 $K$-이론 변형 사이에 1:1 대응을 수립하기.
• 특히 소형과 대형 유형을 구분하는 데 있어, $S^3$ 상의 정수 3차 코hom로지 클래스를 외부 $ ^4$의 분류 불변량으로 해석하기.
• 군oids $SU(2) imes SU(2) ightrightarrows SU(2)$ 상의 왜곡된 $K$-이론이 $H^3_{SU(2)}(S^3, bZ)$를 통해 외부 스무드 $ ^4$의 변형을 정확히 분류함을 보여주기.
• 군oids와 거스를 사용한 스무드 다양체 이론의 일반화로, 외부 $ ^4$의 전역적이고 국소적이지 않은 특성을 포착하기.
• 외부 스무드 구조의 이해를 위해 양자 중력과 끈 이론에서 기하학적 및 코hom로지적 프레임워크 제공하기.

제안 방법

• 외부 스무드 구조를 탐지하기 위한 $S^3$ 상의 codimension-1 폴리에이션을 기하학적 대체 수단으로 사용하기.
• $H^3(S^3, bZ)$ 클래스를 $S^3$ 상의 번들 거스의 Dixmier-Douady 클래스로 실현하고, 이는 $K$-이론의 왜곡 클래스로 해석하기.
• $SU(2)$가 쌍대 작용으로 작용하는 군oids $SU(2) imes SU(2) ightrightarrows SU(2)$로서 $S^3$의 Leray 오비폴드를 구성하기.
• $H^3_{SU(2)}(S^3, bZ) o bZ$에 속하는 클래스를 가진 거스를 통해 이 군oids 상의 등급 $K$-이론을 변형하기.
• 프레드홀름 연산자와 관련된 배럴 $Y(Fred)$를 통한 왜곡된 $K$-이론 적용, 여기서 $Y$는 클래스 $[H]$를 나타내는 $PU( H)$-배럴이다.
• Morita 동치와 군oids 준동형사상 $f: t G o U_{ K} times PU( H)$를 사용하여 비순환 클래스에 대한 왜곡된 $K$-이론 정의하기.

실험 결과

연구 질문

• RQ1 정수 3차 코hom로지 클래스가 $S^3$ 상에서 외부 스무드 구조를 $ ^4$에 어떻게 분류하는가?
• RQ2 $S^1$-거스와 폴리에이션은 소형과 대형 외부 $ ^4$를 어떻게 구분하는가?
• RQ3 군oids $SU(2) imes SU(2) ightrightarrows SU(2)$ 상의 왜곡된 $K$-이론은 외부 스무드 $ ^4$의 변형과 어떻게 관련되는가?
• RQ4 소형과 대형 외부 $ ^4$의 구분은 유리수 대비 실수 코hom로지 클래스의 관점에서 이해될 수 있는가?
• RQ5 오비폴드 상의 등급 $K$-이론의 거스 변형은 $ ^4$ 상의 스무드 구조 변화와 어떻게 대응하는가?

주요 결과

• codimension-1 폴리에이션을 통해 Akbulut 코르크의 경계 폴리에이션을 유도하는 $S^3$ 상의 번들 거스의 안정적 이somorphism류는 외부 스무드 $ ^4$와 1:1 대응된다.
• 군oids $SU(2) imes SU(2) ightrightarrows SU(2)$로 실현된 $S^3$의 Leray 오비폴드의 왜곡된 $K$-이론은 수준 $k$에서의 Verlinde 대수 $V_k(SU(2))$와 동형이며, 왜곡 클래스 $d( L) = (dim(SU(2)) + 2 + k)[ ext{pt}] o H^3(S^3, bZ)$이다.
• $H^3_{SU(2)}(S^3, bZ) o bZ$에 속하는 클래스를 가진 거스를 통해 군oids $SU(2) imes SU(2) ightrightarrows SU(2)$ 상의 등급 $K$-이론을 변형함으로써, $ ^4$ 상의 외부 스무드 구조 변화가 분류된다.
• 순환 클래스 $[H]$의 경우, 왜곡된 $K$-이론 $K(M, [H])$는 번들 거스 $K$-이론 $K_{bg}(M, L)$와 일치하며, $d( L) = [H]$이다.
• 비순환 경우는 $U_{ K} times PU( H)$로의 올림을 통해 무한차원 $K$-이론이 필요하며, 이는 표준 $K$-이론 프레임워크를 일반화한다.
• 군oids와 거스를 통한 접근은 소형 외부 $ ^4$의 전역적이고 국소적이지 않은 특성을 기하학적으로 기술하며, $H^3(S^3, bZ)$ 클래스의 성격을 통해 대형 구조와 구분한다.