[논문 리뷰] Equivariant K-theory of finite dimensional real vector spaces

Siegfried Echterhoff, Oliver Pfante|ArXiv.org|2009. 03. 05.

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

한 줄 요약

이 논문은 컴act 군의 작용을 가진 유한차원 실수 벡터 공간의 등변 복소 K-이론에 대한 일반 공식을 제시한다. 이는 군의 이중 덮개의 표현 이론을 활용한다. K-이론 군은 공액 작용 하에서 음성 표현의 궤도에 의해 결정되며, O(n)과 유한군의 경우에 대해 명시적인 계산을 수행하여 기존의 결과를 회복하고 그것들을 방향을 유지하지 않는 작용으로까지 확장한다.

ABSTRACT

We give a general formula for the equivariant complex $K$-theory $K_G^*(V)$ of a finite dimensional real linear space $V$ equipped with a linear action of a compact group $G$ in terms of the representation theory of a certain double cover of $G$. Using this general formula, we give explicit computations in various interesting special cases. In particular, as an application we obtain explicit formulas for the $K$-theory of $C_r^*(GL(n,\RR))$, the reduced group C*-algebra of $GL(n,\RR)$.

연구 동기 및 목표

• 유한차원 실수 벡터 공간 V와 컴팩트 군 G의 작용에 대해 등변 K-이론 $ K_G^*(V) $ 에 대한 일반 공식을 제공한다.
• 기본적인 등변 Bott 주기성 결과를 방향을 유지하지 않는 작용으로 확장한다. 여기서 Stiefel-Whitney 클래스는 $ \mathrm{Spin}(V) $ 로의 올림을 차단한다.
• 최대 컴팩트 부분군이 접공간에 작용하는 방식으로 거의 연결된 군 H에 대해 $ K_*(C_r^*(H)) $ 를 계산한다.
• 방향을 유지하지 않는 경우에 $ K_G^*(V) $ 의 구조를 해결한다. 이 경우 K-이론은 2로 나눈 나머지에 대해 한 개의 차수에 집중되지 않을 수 있다.
• 대칭군과 직교군에 대한 명시적 공식을 회복하고 일반화한다. 이는 $ \mathrm{O}(n) $ 가 $ \mathbb{R}^n $ 에 작용하는 경우를 포함한다.

제안 방법

• Kasparov의 등변 Bott 주기성의 $ \mathrm{KK}^G $-이론적 버전을 사용하여 $ C_0(V) $ 와 클리포드 대수 $ \mathrm{C}l(V) $ 를 연결한다.
• Green-Julg 정리에 의해 문제를 $ \mathrm{KK}(\mathbb{C}, \mathrm{C}l(V) \rtimes G) $ 의 계산으로 환원한다.
• 행동 $ \rho: G \to \mathrm{O}(V) $ 와 관련된 핀 군 $ \mathrm{Pin}(V) $ 를 통해 중심 확장 $ G_\rho \to G $ 를 구성한다.
• $ K_\rho \subseteq G_\rho $ 를 $ \mathrm{SO}(V) $ 의 역상으로 정의하며, 이는 지수 1 또는 2인 정규부분군이다.
• $ -1 \in \mathbb{Z}_2 \subseteq G_\rho $ 의 작용을 통해 $ K_\rho $ 의 기약 표현을 양성과 음성 유형으로 분류한다.
• $ \widehat{K}_\rho^{-} $ 의 음성 표현 집합에서의 공액 작용 궤도 분석을 통해 $ K_G^*(V) $ 의 구조를 결정한다.

실험 결과

연구 질문

• RQ1 벡터 공간 V 위의 군 작용이 방향을 유지하지 않을 경우, 특히 $ \mathrm{Spin}(V) $ 로의 올림이 불가능할 경우 등변 K-이론 $ K_G^*(V) $ 는 어떻게 행동하는가?
• RQ2 컴팩트 군 G 가 유한차원 실수 벡터 공간 V 위에 선형적으로 작용할 때, 일반적인 대수적 구조 $ K_G^*(V) $ 는 무엇인가?
• RQ3 최대 컴팩트 부분군이 접공간에 작용하는 방식으로 거의 연결된 군 H에 대해 $ C_r^*(H) $ 의 K-이론은 어떻게 계산할 수 있는가?
• RQ4 핀 군을 통해 구성된 군 G 의 이중 덮개인 $ G_\rho $ 는 V 의 K-이론을 결정하는 데 어떤 역할을 하는가?
• RQ5 K_\rho 의 음성 표현의 공액 작용 궤도는 K-이론 군 $ K_0^G(V) $ 와 $ K_1^G(V) $ 를 어떻게 분류하는가?

주요 결과

• O(n) 이 $ \mathbb{R}^n $ 에 작용할 때, $ K_{\mathrm{O}(n)}^1(\mathbb{R}^n) = \{0\} $ 이고 $ n > 1 $ 일 때 $ K_{\mathrm{O}(n)}^0(\mathbb{R}^n) \cong \bigoplus_{n \in \mathbb{N}} \mathbb{Z} $ 이며, $ n = 1 $ 일 때는 $ K^0 \cong \mathbb{Z} $ 이다.
• $ \rho(G) \subseteq \mathrm{SO}(V) $ 일 때, $ K_0^G(V) \cong \bigoplus_{[\tau] \in \widehat{G}_\rho^{-}} \mathbb{Z} $ 이고 $ K_1^G(V) = \{0\} $ 이며, 이는 고전적 Bott 주기성 결과를 일반화한다.
• $ \rho(G) \not\subseteq \mathrm{SO}(V) $ 일 때, $ K_0^G(V) \cong \bigoplus_{[\tau] \in \mathcal{O}_2} \mathbb{Z} $ 이고 $ K_1^G(V) \cong \bigoplus_{[\tau] \in \mathcal{O}_1} \mathbb{Z} $ 이며, 여기서 $ \mathcal{O}_1 $ 과 $ \mathcal{O}_2 $ 는 $ K_\rho $ 의 음성 표현의 길이 1 및 2인 공액 작용 궤도의 집합이다.
• n = 2m \geq 4 일 때, $ \mathrm{Spin}(n) $ 의 표현 $ \Sigma^\pm $ 는 $ \mathrm{Pin}(n) $ 에서의 작용으로 길이 2의 하나의 궤도를 이룬다. 또한 $ \mathrm{Pin}(n) \setminus \mathrm{Spin}(n) $ 의 원소들에 의한 공액 작용으로 $ \mathrm{Spin}(n) $ 의 어떤 음성 표현도 고정되지 않는다.
• $ \mathrm{Spin}(n) $ 에서는 $ \mathcal{O}_1 $ 이 비어 있고 $ \mathcal{O}_2 $ 는 가чёт 무한하다. 반면 $ \mathrm{O}(n) $ 의 작용 하에서 $ \mathrm{SO}(n) $ 에 대해선 $ \mathcal{O}_1 $ 과 $ \mathcal{O}_2 $ 가 모두 가чёт 무한하다.
• $ \mathrm{GL}(n,\mathbb{R}) $ 의 $ C_r^*(\mathrm{GL}(n,\mathbb{R})) $ 의 K-이론은 $ \mathrm{O}(n) $ 이 $ \mathbb{R}^n $ 에 작용하는 방식을 통해 일반 공식을 이용해 명시적으로 계산된다.