[논문 리뷰] Structured vector bundles define differential K-theory

James Simons, Dennis Sullivan|ArXiv.org|2008. 10. 28.

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

한 줄 요약

이 논문은 복소 벡터 번들의 연결성의 동치류가 있고, 그 차이 형식이 정확한 경우에 해당하는 '구조가 있는 벡터 번들'—즉, 복소 벡터 번들에 연결성의 동치류가 부여된 것—을 도입하여 미분 K-이론의 기하 모델로 제시한다. 이러한 번들의 이sov모피즘 클래스의 준군에 대해 그로텐디크 구성법을 적용함으로써, 일반 K-이론 클래스와 복소 토르스 위에서의 차분형식에 의해 유일하게 결정되는, 연결성에 대해 동치 관계로 분류된 번들을 분류하는 링 $\hat{K}$를 구성한다. 이 토르스의 차원은 기저 다양체의 홀수 Betti 수의 합과 같다.

ABSTRACT

A equivalence relation, preserving the Chern-Weil form, is defined between connections on a complex vector bundle. Bundles equipped with such an equivalence class are called Structured Bundles, and their isomorphism classes form an abelian semi-ring. By applying the Grothedieck construction one obtains the ring K, elements of which, modulo a complex torus of dimension the sum of the odd Betti numbers of the base, are uniquely determined by the corresponding element of ordinary K and the Chern-Weil form. This construction provides a simple model of differential K-theory, c.f.Hopkins-Singer (2005), as well as a useful codification of vector bundles with connection.

연구 동기 및 목표

• 미분 K-이론의 단순하고 기하적인 모델을 구축하여, 연결성을 가진 벡터 번들과 닫힌 미분 형식을 통합한다.
• 수학적으로 엄밀하고 계산적으로도 유용한 방식으로 복소 벡터 번들에 연결성을 포함한 구조를 체계화한다.
• 미분 K-이론 링 $\hat{K}$의 원소들이 그 기본 K-이론 클래스와 차원형식에 의해 복소 토르스 위에서 유일하게 결정됨을 보인다.
• 미분 K-이론이 일반 K-이론과 de Rham 코homology에 연결되는 Bockstein 및 de Rham 수열을 반영하는 정확한 수열 다이어그램을 수립한다.
• 모델을 해르미트 벡터 번들에 단위기저 연결성을 가진 경우로 확장하여, 조화형식을 가진 연결성이 존재함을 보인다.

제안 방법

• 두 연결성이 그 차이 형식이 정확할 경우에 동치로 간주되는 관계를 정의함으로써, 복소 벡터 번들의 연결성에 대해 동치 관계를 정의한다.
• 구조가 있는 번들 $ (V, \{\nabla\}) $를 정의하며, 여기서 $ V $는 복소 벡터 번들이고 $ \{\nabla\} $는 이 관계에 대한 연결성의 동치류이다.
• 이sov모피즘 클래스의 아벨 준군인 $ \text{Struct} $를 구성하고, 그에 대해 그로텐디크 구성법을 적용하여 링 $ \hat{K} $를 얻는다.
• de Rham 코hom올로지, 차원형식 지도, $ \mathbb{Z} $에 대한 환원, Bockstein 지도를 포함하는 정확한 대각선을 포함하는 교환 다이어그램을 구성한다.
• 부록 A를 통해 호모토피 이론적 특성화를 이용하여, 차원형식 지도 $ ch $의 핵이 $ K(C/\mathbb{Z}) $와 동형임을 증명한다.
• 닫힌 리만 다각형 위의 임의의 번들에 대해, 안정화 이후에는 그 차원형식이 벡터 번들의 차원형식의 조화형식과 일치하는 단위기저 연결성이 존재함을 증명한다.

실험 결과

연구 질문

• RQ1 구조가 있는 연결성을 가진 복소 벡터 번들을 사용하여, 미분 K-이론의 기하 모델을 구성할 수 있는가?
• RQ2 미분 K-이론 링 $ \hat{K} $는 그 기본 K-이론 클래스와 차원형식에 의해 복소 토르스 위에서 유일하게 결정되는가?
• RQ3 복소수 위에서 차원형식이 0인 복소 벡터 번들에 대해, 안정화 이후에는 차원형식이 0인 연결성이 존재하는가?
• RQ4 이 모델은 해르미트 벡터 번들과 단위기저 연결성을 가진 경우로 확장될 수 있으며, 조화형식을 가진 연결성이 존재함을 보장하는가?
• RQ5 이 모델은 Mayer-Vietoris 성질을 얼마나 잘 만족하는가? 이는 현장 이론에서 국소성과 어떻게 관련되는가?

주요 결과

• 그로텐디크 완비화를 통해 구조가 있는 번들을 구성한 링 $ \hat{K} $는 일반 K-이론과 닫힌 미분 형식의 피벗 곱과 동형이 되는 기하 모델을 제공한다.
• 모든 $ \hat{K} $의 원소는 그 기본 K-이론 클래스와 차원형식에 의해 복소 토르스 위에서 유일하게 결정되며, 이 토르스의 차원은 기저 다양체의 홀수 Betti 수의 합과 같다.
• 모든 $ \wedge_{BGL} $의 원소는 안정화된 번들 위의 연결성의 차원형식으로 나타나며, 이는 $ \mathbb{C} $ 위에서 특성류가 0인 모든 번들이 안정화 이후에 차원형식이 0인 연결성을 가짐을 시사한다.
• 닫힌 리만 다각형 위의 임의의 복소 벡터 번들에 대해, 안정화 이후에는 그 차원형식이 번들의 차원형식의 조화형식과 일치하는 단위기저 연결성이 존재한다.
• 홀수 Betti 수가 0일 경우, 구조가 있는 번들은 정수 홀로노미 편의 번들를 더한 것 이외에는 유일하게 결정되며, 이는 홀수 코homology가 없는 경우의 강성(rigidity)을 나타낸다.
• 모델는 Theorem 3.9에서 보여지듯이 Mayer-Vietoris 성질을 만족하며, 이는 이론 물리학 및 양자 중력에서 국소적 구성에 적합함을 뒷받침한다.