[논문 리뷰] A functorial equivariant K-theory spectrum and an equivariant Lefschetz formula

Ivo Dell’Ambrogio, Heath Emerson외 2명|arXiv (Cornell University)|2011. 04. 18.

Advanced Operator Algebra Research참고 문헌 20인용 수 8

한 줄 요약

이 논문은 컴팩트 군 또는 프로퍼 군oids $G$에 대한 $G$-C*-대수에서 등변 K-이론을 함자적으로 표현하는 대칭 스펙트럼을 구성하며, $\mathrm{KK}^G$의 부부팅 클래스에 속하는 강하게 이중가능한 대상의 내적 사상에 대한 표준 추적 맵을 가능하게 한다. 주요 기여는 허딩클린 리 군에 대해 등변 리프슐츠 추적 공식을 증명하여, 카테고리적 추적과 등변 K-이론 위에서의 계층적 하토리–스탈링스 추적 간의 일致를 입증하는 것이다.

ABSTRACT

We construct a symmetric spectrum representing the G-equivariant K-theory of C*-algebras for a compact group or a proper groupoid G. Our spectrum is functorial for equivariant *-homomorphisms. We use this to establish the additivity of the canonical traces for endomorphisms of strongly dualisable objects in the bootstrap class in equivariant KK, in analogy to previous results for traces in stable homotopy theory. As an application, we prove an equivariant analogue of the Lefschetz trace formula for Hodgkin Lie groups.

연구 동기 및 목표

• 컴팩트 군 또는 프로퍼 군oids에 대해 $G$-등변 K-이론을 함자적으로 표현하는 대칭 스펙트럼을 구성하는 것.
• 부팅 클래스에 속하는 강하게 이중가능한 대상의 내적 사상에 대한 표준 추적의 가환성을 증명하는 것.
• 허딩클린 리 군에 대해 등변 리프슐츠 추적 공식을 증명하여, 카테고리적 추적과 등변 K-이론 위에서의 하토리–스탈링스 추적 간의 일致를 확립하는 것.
• 이중성과 삼각형 카테고리의 구조를 이용하여 고전적 리프슐츠 고정점 정리의 등변 버전을 일반화하는 것.

제안 방법

• 등변 $*$-호모모르피즘에 대해 함자적인 등변 K-이론을 표현하는 대칭 스펙트럼을 구성하는 것.
• $\mathrm{KK}^G$의 삼각형 및 대칭 모노이드 구조를 이용하여, 이중성의 단위 및 쌍대단위 사상으로부터 카테고리적 추적을 정의하는 것.
• 삼각형 카테고리와 호환되는 대칭 모노이드 구조를 갖는 카테고리에서 추적의 가환성 정리를 적용하고, 호환성 공리들을 검증하는 것.
• 프로젝티브 분해와 이중성을 활용하여 추적 계산을 텐서 단위 $\mathbb{C}$의 경우로 환원하고, $\mathbb{Z}[\beta,\beta^{-1}]$ 를 통한 보트 주기성을 이용하는 것.
• 허딩클린 리 군의 경우, $\mathbb{C}$에 의해 생성되는 국소화 부분카테고리가 비등변 부팅 클래스와 일치하므로, 유한 프로젝티브 분해가 존재함을 보장하는 것.
• 내적 사상 $f \in \mathrm{KK}^G_0(A,A)$의 추적 값이 $\mathrm{K}^G_*(A)$ 위에서의 하토리–스탈링스 추적과 일치함을 보여 등변 리프슐츠 공식을 확립하는 것.

실험 결과

연구 질문

• RQ1 컴팩트 군 또는 프로퍼 군oids에 대해 $G$-등변 K-이론을 함자적으로 표현하는 대칭 스펙트럼을 구성할 수 있는가?
• RQ2 $\mathrm{KK}^G$의 표준 추적은 부팅 클래스에 속하는 이중가능한 대상의 내적 사상에 대해 정확한 삼각형에서 가환성을 만족하는가?
• RQ3 허딩클린 리 군에 대해, 카테고리적 추적과 등변 K-이론 위에서의 하토리–스탈링스 추적 간의 일치를 보장하는 등변 리프슐츠 추적 공식이 존재하는가?
• RQ4 $\mathrm{KK}^G$의 이중성 구조는 비등변 경우의 고전적 리프슐츠 고정점 정리와 어떻게 관련되어 있는가?

주요 결과

• 컴팩트 군 또는 프로퍼 군oids에 대해 등변 K-이론을 함자적으로 표현하는 대칭 스펙트럼이 구성되었으며, 등변 $*$-호모모르피즘에 대해 함자적임을 보였다.
• 부팅 클래스에 속하는 강하게 이중가능한 대상의 내적 사상에 대한 표준 추적은 정확한 삼각형에서 가환성을 만족한다.
• 기약적 컴팩트 리 군 $G$이면서 기본군이 토퍼션 없는 경우(허딩클린 리 군), $f \in \mathrm{KK}^G_0(A,A)$의 카테고리적 추적 값은 $\mathrm{K}^G_*(A)$ 위에서의 하토리–스탈링스 추적과 일치한다.
• $\mathrm{K}^G_*(A)$가 $\mathrm{R}(G)$-모듈로 유한 생성되어 있을 경우, $\mathrm{K}^G_*(A)$ 위의 하토리–스탈링스 추적은 카테고리적 추적과 일치한다.
• 이 결과는 이러한 $G$에 대해 $\mathrm{R}(G)$가 정규적이고 노에테르이기 때문에, 유한 생성 모듈러에 대해 유한 프로젝티브 분해가 존재하기 때문이다.
• 증명 과정에서 이중성과 프로젝티브 분해를 통해 추적 계산을 텐서 단위 $\mathbb{C}$의 경우로 환원하였으며, 보트 주기성을 이용해 계층적 $\mathrm{R}(G)$-모듈로의 구조를 단순화하였다.