[논문 리뷰] The generators and relations picture of $KK$-theory

Bernhard Burgstaller|arXiv (Cornell University)|2016. 02. 09.

Advanced Operator Algebra Research참고 문헌 7인용 수 3

한 줄 요약

이 논문은 형식적 합과 곱, *-호모모르피즘과 합성 역원을 사용하여 카스파로프의 KK-이론에 대한 새로운, 기본적인 생성자 및 관계 표현을 제시한다. 이를 통해 GK-이론이라 불리는 범주를 구축한다. 핵심 결과는 분리 가능한 C*-대수에서 GK-이론이 표준 KK-이론과 동형이며, 카스파로프의 곱이 범주 내에서 자연스러운 합성으로 나타나므로, 더 넓은 범주(군 또는 반군 작용을 갖는 대수의 범주 포함)에 적용 가능한 간단하고 보편적인 정의를 제공한다는 것이다.

ABSTRACT

This is half an overview article since what we describe here is essentially known. We describe $KK$-theory by generators and relations in a formal sum of formal products of $*$-homomorphisms and some synthetical morphisms. What comes out is a category. The Kasparov product is then just the composition of morphisms. This description may be interesting to anyone who wants a quick and elementary definition of $KK$-theory. The description could also be used for other categories of algebras than $C^*$-algebras endowed with group actions, for example, $C^*$-algebras equipped with an action by a semigroup, a category et cetera.

연구 동기 및 목표

• 생성자와 관계를 사용하여 KK-이론의 새로운, 기본적이고 보편적으로 적용 가능한 정의를 제공한다.
• 카스파로프 원래의 구성에서 기술적 복잡성을 줄이기 위해 카스파로프의 곱을 범주 내에서 자연스러운 합성으로 통합한다.
• 군 작용을 갖는 C*-대수를 넘어서 반군 또는 범주 작용을 갖는 다른 범주로 프레임워크를 확장한다.
• 분리 가능한 C*-대수에서 결과로 얻어진 GK-이론 범주는 표준 KK-이론과 동형임을 보여준다.
• 안정성, 호모토피 불변성, 분할 정확성의 보편적 성질이 생성자 및 관계 구성에서 자연스럽게 유도됨을 보여준다.

제안 방법

• 생성자로 *-호모모르피즘과 합성 역원을 사용하여 자유 범주를 정의하고, 형식적 곱과 합을 구성한다.
• 안정성, 호모토피 불변성, 분할 정확성 조건을 보장하기 위해 형식적 사상에 등가 관계를 도입한다. 이는 보편 성질을 통해 이루어진다.
• KK-이론의 보편 함자적 성질로부터 유도된 관계를 바탕으로 자유 범주의 몫으로서 GK-이론을 구성한다.
• 히그슨의 KK-이론 보편 특성 정의를 사용하여 GK-이론이 동일한 보편 성질을 만족함을 증명한다.
• 분리 가능한 C*-대수에서 GK-이론이 표준 KK-이론과 동형임을 보이며, 이는 보편 함자 유일성에 의해 증명된다.
• 등변 사상을 요구하고 컴팩트 연산자를 적절한 안정화 대수로 대체함으로써, 이 프레임워크를 다른 대수의 범주로 확장한다.

실험 결과

연구 질문

• RQ1 기본적인 범주론과 C*-대수 개념만을 사용하여 생성자 및 관계 표현을 통해 KK-이론을 재구성할 수 있는가?
• RQ2 카스파로프의 곱이 이러한 표현으로 정의된 범주 내에서 자연스럽게 합성으로 나타나는가?
• RQ3 군 작용을 갖는 분리 가능한 C*-대수에 제한했을 때, GK-이론은 표준 KK-이론과 동형인가?
• RQ4 이 생성자 및 관계 접근법을 반군, 범주 또는 기타 구조의 작용을 갖는 C*-대수로 일반화할 수 있는가?
• RQ5 안정성, 호모토피 불변성, 분할 정확성의 보편 성질이 GK-이론 구성의 관계로부터 내재적으로 유도되는가?

주요 결과

• GK-이론은 *-호모모르피즘과 합성 역원의 형식적 합과 곱으로 이루어진 사상들로 구성된 범주이며, 안정성, 호모토피 불변성, 분할 정확성 조건을 강제하는 관계를 모odulo로 한다.
• 카스파로프의 곱은 GK-이론 내 사상의 합성으로 자연스럽게 실현되며, 별도의 기술적 정의가 필요로 하지 않는다.
• 분리 가능한 C*-대수에서 GK-이론은 표준 KK-이론과 동형이며, 둘 다 동일한 보편 함자적 성질을 만족한다.
• 이 구성은 교차곱 구조를 통해 등변 KK-이론에서 일반 KK-이론으로의 자연스러운 내림 사상(내림 준동형)을 허용한다.
• 군 작용을 넘어서 반군, 범주, 기타 작용으로의 일반화가 가능하며, 이 경우 사상은 등변이어야 하고 안정화 대수가 사용되어야 한다.
• C*-대수의 기수(기수)가 유계일 경우, GK-이론의 사상 클래스는 집합이 되며, 이에 따라 GK-이론은 실제 사상 집합을 갖는 범주와 동치가 된다.