[논문 리뷰] On Coarse Spectral Geometry in Even Dimension

Robert Yuncken|arXiv (Cornell University)|2010. 03. 09.

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

한 줄 요약

이 논문은 $ \mathbb{R} $ 위의 반사 호환성 $ \sigma $에 의해 정의되는 대칭 Roe 대수 $ C^*|\mathbb{R}|^\sigma $를 도입함으로써 Roe의 거친 스펙트럴 기하학의 짝수 차원 해석을 수립한다. $ K_0(C^*|\mathbb{R}|^\sigma) \cong \mathbb{Z} $, $ K_1 = 0 $임을 증명하고, $ K $-이론에 유도된 사상이 $ K $-호모로지와 $ K $-이론 간의 지수 쌍대성을 복원함으로써 이전의 균형 조절 기법에 비해 기하학적으로 더 자연스러운 프레임워크를 제공한다.

ABSTRACT

Let $σ$ be the involution of the Roe algebra $\Roe{\RR}$ which is induced from the reflection $\RR o\RR; x\mapsto -x$. A graded Fredholm module over a separable $C^*$-algebra $A$ gives rise to a homomorphism $ ildeρ:A o\Roe{\RR}^σ$ to the fixed-point subalgebra. We use this observation to give an even-dimensional analogue of a result of Roe. Namely, we show that the $K$-theory of this symmetric Roe algebra is $K_0(\Roe{\RR}^σ)\cong\ZZ$, $K_1(\Roe{\RR})=0$, and that the induced map $ ildeρ_*:K_0(A) o \ZZ$ on $K$-theory gives the index pairing of $K$-homology with $K$-theory.

연구 동기 및 목표

• 짝수 차원에서 거친 스펙트럴 기하학을 위한 기하학적으로 더 자연스러운 프레임워크를 제공함으로써, Luu의 접근에서 요구되는 계산적으로 부담스러운 '균형 조절' 절차를 피하고자 한다.
• 반사 호환성 $ \sigma $에 의한 고정점 부분대수를 통해 대칭 Roe 대수 $ C^*|\mathbb{R}|^\sigma $를 정의하고자 한다.
• 이 대칭 Roe 대수의 $ K $-이론이 $ K_0 \cong \mathbb{Z} $, $ K_1 = 0 $임을 보이고, 이는 0차 수준에서 $ \mathbb{Z} $의 $ K $-이론과 일치함을 보이고자 한다.
• 유도된 사상 $ \tilde{\rho}_*: K_0(A) \to K_0(C^*|\mathbb{R}|^\sigma) \cong \mathbb{Z} $가 $ K $-호모로지와 $ K $-이론 간의 지수 쌍대성을 계산함을 증명하고자 한다.

제안 방법

• 반사 $ x \mapsto -x $에 의한 Roe 대수의 고정점 부분대수로서 $ \sigma $-불변 $ C^* $-대수 $ C^*|\mathbb{R}|^\sigma $를 구성한다.
• C*-대수 $ A $ 위의 계량된 프리드홀름 모듈 $ (H, \rho, D) $를 이용해 $ \ast $-환형사상 $ \tilde{\rho}: A \to C^*|\mathbb{R}|^\sigma $를 유도한다.
• 확장 $ 0 \to \mathcal{K}(\mathcal{H})^\sigma \to C^*|\mathbb{R}|^\sigma \to C^*|Y_+|/\mathcal{K}(\mathcal{H}_+) \to 0 $에 대해 $ K $-이론의 여섯 항 연속성을 적용하고, $ C^*|Y_+| $의 알려진 $ K $-이론을 활용한다.
• 투영에 대한 추적 추론을 통해 경계 사상 $ \partial: K_1(C^*|\mathbb{R}|^\sigma / \mathcal{K}(\mathcal{H})^\sigma) \to K_0(\mathcal{K}(\mathcal{H})^\sigma) $의 상이 $ \{(n,n)\} \subset \mathbb{Z} \oplus \mathbb{Z} $임을 보인다.
• 여섯 항 연속성을 적용하여 $ K_0(C^*|\mathbb{R}|^\sigma) \cong \mathbb{Z} $, $ K_1(C^*|\mathbb{R}|^\sigma) = 0 $임을 유도한다.
• 프로젝션 $ \tilde{\rho}(p) $의 짝수 및 홀수 스펙트럼 부분공간의 차원을 계산하고, 이를 유한 차원 프로젝션으로 대체함으로써 지수 쌍대성 $ (\theta, [p]) $가 $ \tilde{\rho}_*([p]) $와 같음을 보인다.

실험 결과

연구 질문

• RQ1 짝수 차원에서 균형 조절이 필요한 프리드홀름 모듈을 피할 수 있는 대칭 Roe 대수를 구성할 수 있는가?
• RQ2 반사 호환성에 의한 고정점 부분대수 $ C^*|\mathbb{R}|^\sigma $의 $ K $-이론은 무엇인가?
• RQ3 유도된 사상 $ \tilde{\rho}_*: K_0(A) \to K_0(C^*|\mathbb{R}|^\sigma) $가 짝수 차원 거친 스펙트럴 기하학에서 지수 쌍대성을 복원하는가?
• RQ4 이 대칭 Roe 대수는 짝수 차수에서 Luu의 $ KC^n $-형식의 $ KK $-이론과 어떻게 관련이 있는가?

주요 결과

• 대칭 Roe 대수 $ C^*|\mathbb{R}|^\sigma $의 $ K $-이론은 $ K_0 \cong \mathbb{Z} $, $ K_1 = 0 $이며, $ K $-이론의 여섯 항 연속성을 통해 계산되었다.
• 유도된 사상 $ \tilde{\rho}_*: K_0(A) \to K_0(C^*|\mathbb{R}|^\sigma) \cong \mathbb{Z} $는 계량된 프리드홀름 모듈의 $ K $-호모로지 클래스와 $ K_0(A) $의 $ K $-이론 클래스 간의 지수 쌍대성과 일치한다.
• 지수 쌍대성 $ (\theta, [p]) $는 프로젝션 $ \tilde{\rho}(p) $의 짝수 및 홀수 스펙트럼 부분공간의 차원과 같으며, 이는 $ \tilde{\rho}_*([p]) $와 같다.
• 이 구축은 이전에 무한 직합이 필요한 '균형 조절' 프리드홀름 모듈을 피함으로써 스펙트럼 관계를 더 명확히 하였다.
• 대칭 Roe 대수는 이전 접근에 비해 짝수 차원 거친 스펙트럴 기하학에 대해 기하학적으로 더 자연스러운 프레임워크를 제공한다.
• 결과는 $ KC^0_\sigma(A, \mathbb{C}) $를 이용한 $ KK^0(A, \mathbb{C}) $의 재구성 가능성을 지지하며, 이는 $ \sigma $-등변 사상에 의한 $ C^*|\mathbb{R}|^\sigma $로의 사상으로 정의된다.