[논문 리뷰] Bivariant $K$-theory and the Weyl algebra

Joachim Cuntz|ArXiv.org|2004. 01. 22.

Algebraic structures and combinatorial models참고 문헌 5인용 수 7

한 줄 요약

이 논문은 비가환 안정 호모토피 이론과 확장에 대한 분류 사상들을 사용하여, 국소적으로 볼록 대수(예: 와일 대수 포함)에 대한 새로운 이변량 $K$-이론 $kk^{ m alg}$를 제안한다. 주요 결과는 와일 대수 $W$가 $kk^{ m alg}$에서 $\mathbb{C}$와 동형임을 보여주며, 이는 그들의 불변량이 계수 환 $R = kk^{ m alg}(\mathbb{C},\mathbb{C})$에 의해 결정됨을 의미한다. 이 이론은 행렬 대수와 $C^*$-대수 동형에 응용 가능하다.

ABSTRACT

We introduce a new version $kk^{ m alg}$ of bivariant $K$-theory that is defined on the category of all locally convex algebras. A motivating example is the Weyl algebra $W$, i.e. the algebra generated by two elements satisfying the Heisenberg commutation relation, with the fine locally convex topology. We determine its $kk^{ m alg}$-invariants using a natural extension for $W$. Using similar methods the $kk^{ m alg}$-invariants can be determined for many other algebras of similar type.

연구 동기 및 목표

• 모든 국소적으로 볼록 대수의 범주에 대해, 하향 곱셈 반위상수를 초월하여 확장된 이변량 $K$-이론 $kk^{\rm alg}$를 개발하는 것.
• 와일 대수처럼 하향 곱셈 반위상수로 위상화할 수 없는 대수들의 $kk^{\rm alg}$-불변량을 계산할 수 있는 프레임워크를 제공하는 것.
• 이론적 $K$-이론과 호모로지 이론적 불변량을 연결하기 위해, $kk^{\rm alg}(A,B)$에서 주기적 순환 호모로지 $HP_*(A,B)$로의 챔버-콘스 문자를 수립하는 것.
• 완전히 확장된 와일 대수의 자연스러운 확장에 기반하여, $kk^{\rm alg}(W, W) \cong R$ 이며 $W$가 $kk^{ m alg}$에서 $\mathbb{C}$와 동형임을 보이는 것.
• 전통적 $kk$-이론과의 비교를 통해, $kk^{\rm alg}$는 계수에 대한 통제력을 상실하지만 특정 대수들에 대해 강력한 계산 능력을 유지함을 보여주는 것.

제안 방법

• 두 변수의 스위스 편의를 통한 귀납적 극한을 통해, 역 버틀 맵을 대체하는 비가환 안정 호모토피 이론으로서 $kk^{\rm alg}$를 정의한다.
• 톰의 학위논문과 삼각 카테고리 형식론을 영감으로 삼아, 더 높은 길이의 확장에 대한 분류 사상을 사용하여 이론을 구성한다.
• 와일 대수 $W$에 대해 자연스러운 확장 $0 \to I \to W' \to W \to 0$를 구성하며, 이는 선형적으로 분리 가능하고 $\bar{I}$가 $m$-대수임을 보장하는 완비화 $0 \to \bar{I} \to \bar{W}' \to W \to 0$로 확장 가능하다.
• 완비화된 확장에 대해 $kk$, $kk^{\rm alg}$, $HP_*$에서의 장기 정확열을 적용하고, 가환 다이어그램을 통해 불변량을 비교한다.
• 챔버-콘스 문자를 사용하여 $kk^{\rm alg}$를 주기적 순환 호모로지와 연결하며, $R = kk^{\rm alg}(\mathbb{C},\mathbb{C})$가 $\mathbb{C}$로 가는 단위 환임을 확인하고, 이후에 $R = \mathbb{Z}$임을 보여준다.
• 특히 $kk^\text{alg}_*(\mathbb{C}, \bar{W}') = HP_*(\mathbb{C}, \bar{W}') = 0$ 이고 $kk_1(\mathbb{C}, \bar{I}) = \mathbb{Z}$ 이므로, $kk_0(\mathbb{C}, W) \cong \mathbb{Z}$임을 유도한다.

실험 결과

연구 질문

• RQ1 하향 곱셈 반위상수로 위상화할 수 없는 대수를 포함하여, 모든 국소적으로 볼록 대수에 대해 이변량 $K$-이론을 정의할 수 있는가?
• RQ2 와일 대수 $W$의 $kk^{\rm alg}$-불변량은 무엇이며, $\mathbb{C}$와 어떻게 비교되는가?
• RQ3 $kk^{\rm alg}$-이론은 주기적 순환 호모로지 및 전통적 $kk$-이론과 어떻게 관련이 있는가?
• RQ4 $kk^{\rm alg}$는 $k \neq l$일 때 $M_k(W) \not\cong M_l(W)$와 같은 행렬 대수 간의 비동형을 감지할 수 있는가?
• RQ5 $C^*$-대수의 텐서곱 $W \hat{\otimes} \mathcal{O}_n$에 대해 $kk^{\rm alg}$로부터 유도할 수 있는 디포타피 불변량은 무엇인가?

주요 결과

• 와일 대수 $W$는 $kk^{\rm alg}$의 범주에서 $\mathbb{C}$와 동형이므로, 모든 $A$에 대해 $kk^{\rm alg}(A, W) \cong kk^{\rm alg}(A, \mathbb{C})$이다.
• 계수 환 $R = kk^{\rm alg}(\mathbb{C}, \mathbb{C})$는 이후에 $\mathbb{Z}$임을 보여, $kk^{\rm alg}(A,B)$가 $\mathbb{Z}$-모듈러임을 보장한다.
• $D = \mathbb{C}$인 경우, $kk^\text{alg}$에서의 장기 정확열은 $kk^\text{alg}_0(\mathbb{C}, W) \cong \mathbb{Z}$를 보여주며, 이 $\mathbb{Z}$-합성은 단위 사상 $\mathbb{C} \to W$에서 기인한다.
• $kk_0(\mathbb{C}, \mathbb{C}) \to kk_0(\mathbb{C}, W)$ 사상은 단사적이며, $\mathbb{Z}$의 $1$이 $W$의 단위의 이미지로 매핑됨을 확인함으로써 이 $\mathbb{Z}$-합성의 존재를 확인한다.
• $k \neq l$일 때 $M_k(W) \not\cong M_l(W)$임을 보이며, $\varphi: M_k(\mathbb{C}) \to \mathcal{K} \hat{\otimes} W$가 단위를 $M_l(W)$의 단위로만 매핑할 수 있는 경우 $l$이 $k$의 배수여야 함을 디포타피 불변량을 통해 유도한다.
• $C^*$-대수 $\mathcal{O}_n$에 대해, $kk_1(\mathbb{C}, \bar{I} \hat{\otimes} \mathcal{O}_n) = \mathbb{Z}$이므로 $W \hat{\otimes} \mathcal{O}_n \cong W \hat{\otimes} \mathcal{O}_m$이 되기 위해서는 $n = m$이어야 한다.