[논문 리뷰] Comparisons between periodic, analytic and local cyclic cohomology

Ralf Meyer|ArXiv.org|2002. 05. 27.

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

한 줄 요약

이 논문은 컴팩트 리 군의 매끄러운 복합 대수에서 주기적, 해석적, 국소 순환 코hom로지 이론을 비교하여, 해석적 코호몰로지와 주기적 코호몰로지가 유한한 호모로지 차원을 가짐에도 불구하고 서로 다름을 드러낸다. 주요 결과는 $ C^{\infty}(K) $에서 주기적 코호몰로지에서 해석적 코호몰로지로 가는 자연스러운 사상이 전성일 수 없음을 보이며, 이는 히알크할리가 유한한 호모로지 차원을 가진 바나흐 대수에 대해 증명한 결과와 모순된다.

ABSTRACT

We compute periodic, analytic and local cyclic cohomology for convolution algebras of compact Lie groups in order to exhibit differences between these theories. A surprising result is that the periodic and analytic cyclic cohomology of the smooth convolution algebras differ, although these algebras have finite homological dimension.

연구 동기 및 목표

• 비교적 기하학에서 주기적, 해석적, 국소 순환 코호몰로지 이론 간의 차이를 조사하기 위해.
• 히알크할리의 결과가 유한한 호모로지 차원을 가진 대수에서 주기적 코호몰로지와 해석적 코호몰로지가 일치한다는 것을 보였지만, 이 결과가 핵심 프레셰 대수로 확장되는지 테스트하기 위해.
• 순환 코호몰로지에서 매끄러운 부분대수의 역할을 명확히 하기 위해 $ \mathcal{H}(K) $, $ C^\infty(K) $, 및 $ C^\ast(K) $를 비교하기 위해.
• 매끄러운 대수 $ C^\infty(K) $ 및 $ C^\ast(K) $에서 K-이론에서 해석적 순환 코호몰로지로 가는 채른-콘스 캐릭터의 전성성을 확립하기 위해.
• 비가환 기하학에서 바움-콘스 추측 및 푸앵카레 dualit에 대한 함의를 탐색하기 위해.

제안 방법

• 컴팩트 리 군의 복합 대수에서 주기적, 해석적, 국소 순환 코호몰로지를 계산하며, $ K = S^1 $을 원형 사례로 삼는다.
• 이중 국소 순환 코호몰로지의 보편 계수 정리(UCT)를 사용하여 $ \operatorname{HL}_\ast(\mathcal{H}(K)) $, $ \operatorname{HL}_\ast(C^\infty(K)) $, 및 $ \operatorname{HL}_\ast(C^\ast(K)) $ 간의 동형사상을 보여준다.
• 분리 가능한 $ C^\ast $-대수에 대해 자연스러운 변환 $ \operatorname{ch}: \operatorname{K}^\ast(A) \to \operatorname{HA}^\ast(A) $ 를 통해 해석적 순환 코호몰로지에서 채른-콘스 캐릭터를 적용한다.
• 특히 $ \operatorname{HA}^0(C^\ast(K)) $에서 채른-콘스 캐릭터의 상을 분석하여, $ \mathbb{C}^{\hat{K}} $로 사영되며, 이는 국소 코호몰로지로의 전성성을 암시한다.
• 매끄러운 대수 $ C^\infty(K) $가 이중형임을 이용하여 호크시ลด 및 순환 코호몰로지를 계산하지만, 주기적 코호몰로지에서는 동형사상이 성립하지 않음을 보여준다.
• 구조적 특성 $ \mathcal{H}(K) \cong \bigoplus_{n \in \mathbb{Z}} \mathbb{C} $ 및 $ C^\infty(S^1) \cong \mathcal{S}(\mathbb{Z}) $ 를 이용하여 유계성과 보른로지적 구조를 분석한다.

실험 결과

연구 질문

• RQ1 핵심 프레셰 대수에서 유한한 호모로지 차원을 가진다 하더라도 주기적 코호몰로지와 해석적 코호몰로지가 일치하는가?
• RQ2 매끄러운 부분대수의 선택이 주기적 코호몰로지와 해석적 코호몰로지의 행동에 어떤 영향을 미치는가?
• RQ3 매끄러운 대수 $ C^\infty(K) $ 및 $ C^\ast(K) $에서 K-이론에서 해석적 순환 코호몰로지로 가는 채른-콘스 캐릭터가 전성인가?
• RQ4 $ C^\infty(K) $의 국소 순환 코호몰로지를 K-이론으로 완전히 기술할 수 있는가? 그리고 이는 주기적 코호몰로지와 어떻게 관련되는가?
• RQ5 해석적 코호몰로지와 주기적 코호몰로지를 구별하는 데에 바움-바이어만 보른로지와 세밀한 보른로지의 역할은 무엇인가?

주요 결과

• 자연스러운 사상 $ \operatorname{HP}^\ast(C^\infty(K)) \to \operatorname{HA}^\ast(C^\infty(K)) $ 는 전성일 수 없으며, 이는 $ C^\infty(K) $에서 주기적 코호몰로지와 해석적 코호몰로지가 유한한 호모로지 차원을 가짐에도 불구하고 서로 다름을 보여준다.
• 채른-콘스 캐릭터 $ \operatorname{ch}: \operatorname{K}^0(C^\ast(K)) \otimes \mathbb{C} \to \operatorname{HA}^0(C^\ast(K)) $ 는 전성이며, 국소 코호몰로지로 가는 사상과의 복합은 $ \mathbb{C}^{\hat{K}} \to \mathbb{C}^{\hat{K}} $ 의 표준 사상으로 이어지며, 그 상은 $ \mathbb{C} $의 유한 생성 부분군에 속하는 수열들로 구성된다.
• 해석적 코호몰로지 $ \operatorname{HA}^0(C^\ast(K)) $ 에서 채른-콘스 캐릭터의 상은 $ \ell^1(\hat{K}, \dim) $ 를 포함하며, $ \mathbb{C} $ 가 밀도를 가진 유한 생성 부분군을 지닌다는 점을 고려하면, 이러한 수열과 $ \ell^1 $-수열의 합은 $ \mathbb{C}^{\hat{K}} $ 전체를 덮으므로, $ \operatorname{HA}^\ast(C^\ast(K)) \to \operatorname{HL}^\ast(C^\ast(K)) $ 가 전성임을 증명한다.
• $ \mathcal{H}(K) $ 에서는 주기적, 해석적, 국소 코호몰로지 이론이 모두 동형이므로, 코호몰로지 및 호모로지에서 동일하게 작용한다. 이는 그 직접 합 구조 덕분이다.
• $ \operatorname{HP}^\ast(C^\infty(K)) \to \operatorname{HA}^\ast(C^\infty(K)) $ 가 동형사상이 아니라는 실패는, $ C^\infty(K) $ 가 딜람 코호몰로지를 주기적 순환 코호몰로지로 묘사하기에 너무 크다는 것을 보여주며, 이를 위해 $ \mathcal{H}(K) $ 로 내려가야 한다.
• 매끄러운 대수 $ C^\infty(K) $ 와 $ C^\ast(K) $ 에서 해석적 코호몰로지와 국소 코호몰로지가 서로 동형이지만, 이는 주기적 코호몰로지와의 일치를 의미하지는 않으며, 이는 이 이론들 사이의 근본적인 차이를 드러낸다.