[논문 리뷰] Twisted bundles and twisted K-theory

Max Karoubi|arXiv (Cornell University)|2010. 12. 12.

Homotopy and Cohomology in Algebraic Topology참고 문헌 25인용 수 17

한 줄 요약

이 논문은 날개 달린 벡터 다발과 날개 달린 주다발을 사용하여 날개 달린 K-이론에 기하학적, 번들 이론적 접근을 제시하며, 이들이 각각 대수 다발 위의 모듈러와 토르서로 동치임을 보여준다. 또한 간단한 체른-바일 유형의 구성에 의해 날개 달린 K-이론에서 날개 달린 코homology로의 체른 특성자를 정의하여, 그 독립성과 표준적 동형사상에 의한 일관성을 입증하고, 콘스-카르우비 특성자와 일치시킨다.

ABSTRACT

We offer here a more direct approach to twisted K-theory, based on the notion of twisted vector bundles (of finite or infinite dimension) and of twisted principal bundles. This is closeely related to the classical notion ot torsors and bundles of modules over an algebra bundle. Twisted K-theory is simply defined as the Grothendieck group of twisted vector bundles (with a given twist). The usual operations on vector bundles (exterior powers, Adams operations) are easily extended to this twisted framework. Graded twisted K-theory, which is important for the definition and proof of the Thom isomorphism in this framework, is defined with the same formalism. We also define a twisted Chern character with target "twisted cohomology". Although there are many definitions of this character in the literature, our method is more elementary and is based on the classical definitions of the Chern-Weil theory, via connections and curvatures. In this way, we get explicit formulas very much in the spirit of Steenrod's coordinate bundles.

연구 동기 및 목표

• 날개 달린 벡터 다발을 사용하여 날개 달린 K-이론의 기하학적, 다발 기반의 공식화를 제공한다.
• 날개 달린 벡터 다발이 $\mathrm{End}(V)$를 섬유로 가지는 대수 다발 위의 모듈러와 동치이며, 날개 달린 주다발이 군 다발에 대한 토르서와 동치임을 보인다.
• 선택에 의존하지 않는, 연결을 통해 날개 달린 K-이론에서 날개 달린 코homology로의 체른 특성자를 정의한다.
• 특히 정밀화와 컵 곱의 하에 날개 달린 K-이론의 함의성과 곱셈적 구조를 명확히 한다.
• 날개 달린 K-이론과 체른 특성자의 정의에 대한 애매함을 해소하기 위해 코homological 의존성과 호모토피 불변성을 분석한다.

제안 방법

• S^1 값을 가진 체흐 코호몰로지 계수를 사용하여, 전이 함수가 $g_{kj}g_{ji} = g_{ki}$를 2-코호몰로지 계수 $\lambda$에 대해 만족시키는 날개 달린 벡터 다발을 정의한다.
• λ-틀어진 코호몰로지 계수의 구조를 이용하여 날개 달린 벡터 다발과 $\mathrm{End}(V)$를 섬유로 가지는 대수 다발 위의 모듈러 사이의 동치를 확립한다.
• 유한 차원과 무한 차원에서 날개 달린 벡터 다발에 대한 연결을 도입하여, 체른-바일 이론을 날개 달린 설정으로 일반화한다.
• 이 연결의 곡률 형식을 통해 체른 특성자를 구성하고, 이가 날개 달린 드 라함 코homology $H_{\theta}^{ev}(X)$에 떨어짐을 보인다.
• 날개 달린 코homology의 호모토피 불변성과 피브어와의 분할 항등식 재매개변수화를 이용하여 체른 특성자가 선택에 의존하지 않음을 증명한다.
• 다른 커버링 간의 제한 사상들을 분석하고, 체른 특성자가 표준적 동형사상에 대해 제한과 호환됨을 보인다.

실험 결과

연구 질문

• RQ1 날개 달린 K-이론은 날개 달린 벡터 다발을 통해 어떻게 기하학적으로 실현될 수 있으며, 이는 $\mathrm{End}(V)$를 섬유로 가지는 대수 다발 위의 모듈러 카테고리와 어떻게 관련이 있는가?
• RQ2 날개 달린 주다발과 군 다발에 대한 토르서 사이의 정확한 관계는 무엇인가?
• RQ3 분할 항등식과 같은 보조 선택에 의존하지 않는 방식으로 날개 달린 K-이론에서 날개 달린 코homology로의 체른 특성자를 어떻게 정의할 수 있는가?
• RQ4 날개 달린 K-이론의 컵 곱 구조는 어느 정도 잘 정의되어 있으며, $H^2(X;\mathbb{Z})$는 그 함의성에서 어떤 역할을 하는가?
• RQ5 연결을 통해 구성된 체른 특성자는 문헌에서 알려진 콘스-카르우비 특성자와 어떻게 관련이 있는가?

주요 결과

• 날개 달린 벡터 다발은 $\mathrm{End}(V)$를 섬유로 가지는 대수 다발 위의 모듈러와 동치이며, 이는 날개 달린 다발의 모듈러 이론적 해석을 제공한다.
• $\lambda$-틀어진 주 $G$-다발의 카테고리는 $G$를 섬유로 가지는 군 다발에 대한 토르서의 카테고리와 동치이며, 기존의 주다발 개념을 일반화한다.
• 날개 달린 코homology로의 체른 특성자는 호모토피 불변성에 의해 분할 항등식의 선택에 대해 표준적 동형사상에 대해 독립적이다.
• 연결을 통해 구성된 체른 특성자는 아티야와 세갈의 유일성 결과에 의해 콘스-카르우비 특성자와 일치한다.
• 컵 곱 $K_\lambda(X) \times K_\mu(X) \to K_{\lambda\mu}(X)$는 $H^2(X;\mathbb{Z}) = 0$가 아닐 경우 비표준적 동형사상에 대해만 잘 정의되며, 이는 핵심적인 장애물임을 드러낸다.
• 다른 커버링에 대응하는 날개 달린 K-이론 군 간의 제한 사상은 커버링이 정밀화일 경우 동형사상이며, 체른 특성자는 표준적 동형사상에 대해 이들 사상과 가환한다.