[논문 리뷰] An Introduction to K-theory and Cyclic Cohomology

Jacek Brodzki|ArXiv.org|1996. 06. 03.

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

한 줄 요약

이 논문은 비가환 기하학에서의 깊이 있는 상호작용을 강조하면서 K-이론과 순환 코hom로의 종합적인 소개를 제공한다. 그들은 코hom로지적 프레임워크를 구축하기 위해 그로텐디크 군, C*-대수의 K-이론, 순환 호모로지와 같은 기본 도구를 수립하며, 카른 특성, 분할 정리, θ-summable 프리드홀름 모듈러에 대한 JLO 코호모로지류를 통해 그 응용을 보여준다.

ABSTRACT

These lecture notes contain an exposition of basic ideas of K-theory and cyclic cohomology. I begin with a list of examples of various situations in which the K-functor of Grothendieck appears naturally, including the rudiments of the topological and algebraic K-theory, K-theory of C^*-algebras, and K-homology. I then discuss elementary properties of cyclic cohomology using the Cuntz-Quillen version of the calculus of noncommutative differential forms on an algebra. As an example of the relation between the two theories we describe the Chern homomorphism and various index-theorem type statements. The remainder of the notes contains some more detailed calculations in cyclic and reduced cyclic cohomology. A key tool in this part is Goodwillie's theorem on the cyclic complex of a semi-direct product algebra. The final chapter gives an exposition of the entire cyclic cohomology of Banach algebras from the point of view of supertraces on the Cuntz algebra. The results discussed here include the simplicial normalization of the entire cyclic cohomology, homotopy invariance and the action of derivations.

연구 동기 및 목표

• 비가환 기하학 및 연산자 대수학 분야의 연구자들을 위해 K-이론과 순환 코hom로의 자율적이고 접근 가능한 소개를 제공하는 것.
• 특히 카른 특성과 추적을 통해 K-이론과 순환 코hom로 간의 구조적이고 계산적인 연결 고리를 명확히 하는 것.
• 분할 정리와 Cuntz 대수의 역할을 통해 전체 순환 코hom로를 정의하는 기본 결과들, 예를 들어 K-이론과 순환 호모로지에서의 분할 정리, 전체 순환 코호모로지의 정의에 기여하는 Cuntz 대수의 역할을 제시하는 것.
• JLO 코호모로지류를 사용하여 θ-summable 프리드홀름 모듈러로의 카른 특성 이론을 확장함으로써 양자장 이론과 지수 이론에의 응용을 가능하게 하는 것.
• 초월적 추적과 단체 정규화를 기반으로 한 공통의 코hom로지적 프레임워크를 통해 대수적 K-이론, C*-대수 K-이론, 순환 호모로지를 통합하는 것.

제안 방법

• 자유 아벨 군의 몫 구조를 사용하여, 아벨 반군에 대한 보편적인 아벨 군으로서의 그로텐디크 군을 구성한다.
• 세르-스완 정리를 적용하여 공간 X 위의 벡터 번들의 구조를 C(X) 위의 프로젝티브 모듈러와 연결함으로써, K^0(X)를 K-이론 불변량으로 정의한다.
• 비가환 미분형식과 호크시드 복합체를 통해 순환 호모로지를 도입하며, 순환 연산자와 그 호모토피 성질에 중점을 둔다.
• 단체 정규화를 사용하여 전체 순환 코호모로지를 정의하고, Cuntz 대수 QA 위의 연속적인 슈퍼트레이스를 통해 코호모로지류를 표현한다.
• 표준 단체 위의 적분과 D²를 포함한 열핵의 추적을 사용하여 JLO 코호모로지류를 전체 순환 코호모로지류로 유도한다.
• 초월적 순환 코호모로지의 호모토피 불변성을 슈퍼대수의 호모토피와 QεA 위의 리 도함수를 통해 증명하며, L_D(τ)가 영호모토피임을 보인다.

실험 결과

연구 질문

• RQ1 비가환 기하학에서 K-이론과 순환 코호모로지 간의 상호관계는 무엇이며, 카른 특성은 이 관계에서 어떤 역할을 하는가?
• RQ2 θ-summable 프리드홀름 모듈러로의 카른 특성 확장을 위해 JLO 코호모로지류는 어떤 의미를 가지는가?
• RQ3 Cuntz 대수 QA는 전체 순환 코호모로지류와 슈퍼트레이스를 구성하는 데 어떻게 기여하는가?
• RQ4 Banach 대수의 도함수에 대해 리 도함수 L_D가 초월적 순환 코호모로지에서 어떻게 영이 되는가?
• RQ5 알고리즘적 K-이론과 순환 호모로지에서의 분할 정리는 어떤 조건을 만족해야 하는가? Loday-Quillen 정리와 Quillen 정리는 어떻게 관련되어 있는가?

주요 결과

• JLO 코호모로지류는 표준 단체 위의 적분을 통해 정의되며, θ-summable K-사이클에 대한 카른 특성의 코hom로지적이고 계산 가능한 대체물로 기능한다.
• 모든 Banach 대수 A의 도함수 D에 대해 리 도함수 L_D는 초월적 순환 코호모로지에서 영이 되며, 이는 무한소 대칭에 대한 불변성을 의미한다.
• 연속적인 슈퍼트레이스를 통해 QεA 위에서 유도된 정규화된 전체 코호모로지류로 초월적 순환 코호모로지류를 표현할 수 있으며, 이는 JLO 코호모로지류의 구성에 기여한다.
• 순환 호모로지에서의 분할 정리는 Loday-Quillen 조건을 만족할 경우 성립하며, I가 A의 이상일 때 상대 순환 호모로지류는 포함의 코너의 호모로지와 동형이다.
• 고차 K-이론에서의 카른 특성은 고차 추적과 슈퍼트레이스를 통해 실현되며, 짝수의 경우 감마 함수와 호환 대수 L 위의 추적을 포함한 명시적 공식이 존재한다.
• 단체 정규화 정리에 의해 초월적 순환 코호모로지류는 호모토피에 대해 불변이며, QεA의 호모로지류는 원래 대수의 본질적 구조를 반영한다.