[논문 리뷰] Poincare Duality and Spin^c Structures for Noncommutative Manifolds

Adam Rennie|ArXiv.org|2001. 07. 13.

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

한 줄 요약

이 논문은 비콤팩트 비가환 다양체에 대한 비콤팩트 세르-스완 정리(Noncompact Serre-Swan theorem)를 수립하며, 단위화된 대수에서의 프로젝션을 통해 무한대에서 사라지는 섹션의 모듈을 특성화한다. 또한 미분 형식의 대수 $\Omega^*_{\cal D}({\cal A})$가 함수 대수 ${\cal A}$와 강한 모리타 등가임을 증명하여, 클리퍼드 대수와의 모리타 등가를 통한 비가환 스핀$^c$ 구조의 비가환 정의를 제공한다.

ABSTRACT

We prove a noncompact Serre-Swan theorem characterising modules which are sections of vector bundles not necessarily trivial at infinity. We then identify the endomorphism algebras of the resulting modules. The endomorphism results continue to hold for the generalisation of these modules to noncommutative, nonunital algebras. Finally, we apply these results to not necessarily compact noncommutative spin manifolds, proving that Poincare Duality implies the Morita equivalence of the `algebra of functions' and the `Clifford algebra.'

연구 동기 및 목표

• 비가환 기하학에서 무한대에서 사라지는 벡터 번들의 섹션에 대한 엄밀한 특성화 부족 문제를 해결한다.
• 특히 $C_0(X)$와 같은 비단위 $C^*$-대수로의 세르-스완 정리 일반화를 위해 콤팩트화 기반 프레임워크를 도입한다.
• 비단위 $C^*$-대수 위의 모듈의 내적 대수를 식별하며, 이는 콤팩트 내적 대수와 전체 내적 대수 간의 차이를 명확히 한다.
• 비가환 스핀 다양체에서의 피앙카레 쌍대성은 함수 대수와 미분 형식 대수 간의 강한 모리타 등가를 암시함을 증명한다.
• 클리퍼드 대수와의 모리타 등가를 통한 비가환 스핀$^c$ 구조의 비가환 정의를 제공한다.

제안 방법

• 비콤팩트 $C_0(X)$-모듈이 무한대에서 사라지는 섹션과 동형이 되는 조건을 $pC_0(X)^n$ 형태로 특성화함으로써 비단위 세르-스완 정리를 도입한다. 여기서 $p$는 $X$의 콤팩트화 $X^c$에 대해 $M_n(C(X^c))$에 속하는 프로젝션이다.
• 비단위 $\sigma$-단위 $C^*$-대수 $A$에 대해, $A_b$-유한 프로젝션 모듈을 $pA^n$ 형태로 정의한다. 여기서 $p \in M_n(A_b)$이며, $A_b$는 $A$의 단위화이다.
• 콤팩트 내적 대수는 $End_A^0(E) = pM_n(A)p$로, 전체 내적 대수는 $End_A(E) = pM_n(A_b)p$로 식별한다.
• 이 결과들을 비콤팩트 비가환 스핀 다양체에 적용하여 ${\cal H}_\infty = p{\cal A}^n$을 스핀어 번들의 매끄러운 섹션으로 식별한다.
• $\Omega^*_{\cal D}({\cal A}_b)$가 ${\cal H}_\infty$ 위에서의 작용이 기약임을 이용해 $\Omega^*_{\cal D}({\cal A}_b) \cong pM_n({\cal A}_b)p$임을 보이고, 마찬가지로 $\Omega^*_{\cal D}({\cal A})$에 대해서도 동일한 결과를 도출한다.
• 모듈 ${\cal H}_\infty$를 통해 ${\cal A}$와 $\Omega^*_{\cal D}({\cal A})$ 간의 강한 모리타 등가를 수립하며, 고전적 스핀$^c$ 대응을 일반화한다.

실험 결과

연구 질문

• RQ1 비콤팩트 비단위 $C^*$-대수로의 세르-스완 정리를 어떻게 일반화하여 무한대에서 사라지는 섹션의 모듈을 특성화할 수 있는가?
• RQ2 이러한 모듈의 비단위 설정에서 내적 대수의 정확한 구조는 무엇인가?
• RQ3 비가환 스핀 다양체에서의 피앙카레 쌍대성이 함수 대수와 미분 형식 대수 간의 강한 모리타 등가를 암시하는가?
• RQ4 클래식 케이스와 유사하게 모리타 등가를 통한 비가환 스핀$^c$ 구조의 비가환 정의를 구성할 수 있는가?
• RQ5 $\Omega^*_{\cal D}({\cal A})$와 $\Omega^*_{\cal D}({\cal A}_b)$는 비가환 설정에서 클리퍼드 대수와 어떻게 관련이 있는가?

주요 결과

• 비단위 세르-스완 정리에 따르면, 무한대에서 사라지는 섹션과 동형이 되는 $C_0(X)$-모듈은 $pC_0(X)^n$ 형태로 표현되며, 여기서 $p$는 $X$의 콤팩트화 $X^c$에 대해 $M_n(C(X^c))$에 속하는 프로젝션이다.
• 이러한 모듈의 콤팩트 내적 대수는 $End_A^0(E) = pM_n(A)p$이며, 전체 내적 대수는 $End_A(E) = pM_n(A_b)p$이다. 여기서 $A_b$는 $A$의 단위화이다.
• 피앙카레 쌍대성 하에서 $\Omega^*_{\cal D}({\cal A}) \cong pM_n({\cal A})p = End_A^0({\cal H}_\infty)$이고, $\Omega^*_{\cal D}({\cal A}_b) \cong pM_n({\cal A}_b)p = End_A({\cal H}_\infty)$이다.
• 따라서 대수 ${\cal A}$와 $\Omega^*_{\cal D}({\cal A})$는 모듈 ${\cal H}_\infty$를 통해 강한 모리타 등가이다.
• $\Omega^*_{\cal D}({\cal A})$는 고전적 경우의 클리퍼드 대수와 유사한 비가환 역할을 한다.
• 비가환 스핀 다양체가 공리들을 만족하는 한, 이 모리타 등가를 통해 비가환 스핀$^c$ 구조를 일반화된 고전적 대응과 함께 제공한다.