[논문 리뷰] Equivariant periodic cyclic homology

Christian Voigt|ArXiv.org|2004. 12. 01.

Axial and Atropisomeric Chirality Synthesis인용 수 5

한 줄 요약

이 논문은 국소적으로 컴act한 군에 대해 생체성 주기적 순환homology를 도입하며, 생체성 벡터 공간과 매끄러운 표현을 사용하여, 미분이 제곱하여 0이 되지 않는다는 문제를 해결하기 위해 파라복합체를 도입한다. 주요 기여는 호모토피 불변성, 분할성, 안정성을 모두 만족하는 완전히 일반적인 주기적 이론을 수립한 것으로, 압축형 군과 이산 군에 대해 그린-줄그 이중성 정리를 증명하여 고전적 순환homology를 등변 설정으로 일반화한다.

ABSTRACT

We define and study equivariant periodic cyclic homology for locally compact groups. This can be viewed as a noncommutative generalization of equivariant de Rham cohomology. Although the construction resembles the Cuntz-Quillen approach to ordinary cyclic homology, a completely new feature in the equivariant setting is the fact that the basic ingredient in the theory is not a complex in the usual sense. As a consequence, in the equivariant context only the periodic cyclic theory can be defined in complete generality. Our definition recovers particular cases studied previously by various authors. We prove that bivariant equivariant periodic cyclic homology is homotopy invariant, stable and satisfies excision in both variables. Moreover we construct the exterior product which generalizes the obvious composition product. Finally we prove a Green-Julg theorem in cyclic homology for compact groups and the dual result for discrete groups.

연구 동기 및 목표

• 모든 국소적으로 컴act한 군, 특히 비콤팩트 및 완전히 분리된 군을 포함하여 적용 가능한 등변 주기적 순환homology의 일반적 프레임워크를 개발하는 것.
• 등변 X-복합체의 미분이 ∂² = 0을 만족하지 못함으로써 발생하는 기본적 문제를 해결하기 위해 파라복합체 개념을 도입하는 것.
• 모든 변수에서 호모토플 불변성, 안정성, 분할성을 만족하는 이변량 이론을 구축하여 쿤츠-퀴렌의 접근을 등변 설정으로 일반화하는 것.
• 압축형 군에 대해 순환homology에서 그린-줄그 이중성 정리를 증명하고, 이의 이중형을 이산 군에 대해 증명하여 고전 결과를 주기적 설정으로 확장하는 것.
• 외적 곱을 구성하고 이론이 이전 연구자들이 다룬 알려진 특수 케이스를 복원함을 보이는 것.

제안 방법

• 이론은 국소적으로 컴act한 군의 매끄러운 표현 위의 생체성 벡터 공간에서 구성되며, 리 군, 이산 군, 완전히 분리된 군을 통합적으로 다룰 수 있게 한다.
• 핵심적인 기술적 혁신은 ∂² ≠ 0인 일반화된 복합체인 파라복합체의 도입으로, 등변 설정에서 전통적인 체인 복합체를 대체한다.
• 군 호모로지 데이터를 캐릭터라이즈하는 G-불변 부분대수인 𝒦_G를 사용하며, 이는 위상수학에서의 유니버설 복합체 EG와 유사하다.
• 등변 미분형식은 프로-G-대수에서 정의되며, 이는 등변 X-복합체와 호모토플리 동치인 파라믹스드 복합체의 구조를 이끈다.
• A⊗𝒦_G의 호흐시ลด 복합체에서 항등사상과 φτ의 합성 사이에 체인 호모토피를 명시적으로 구성함으로써, 이산 군 케이스에서의 호모토플 동치성을 증명한다.
• 외적 곱은 파라믹스드 복합체의 텐서곱을 통해 구성되며, 순환homology의 합성곱을 일반화한다.

실험 결과

연구 질문

• RQ1 비콤팩트 군까지 포함하여 임의의 국소적으로 컴act한 군에 대해 주기적 순환homology를 어떻게 등변 설정으로 확장할 수 있는가?
• RQ2 일반적으로는 왜 일반적인 등변 순환homology HC_G* 가 정의될 수 없으며, 어떤 구조적 장애물이 이를 막는가?
• RQ3 압축형 군과 이산 군에 대해 주기적 순환homology에서 그린-줄그 이중성 정리를 확립할 수 있는가?
• RQ4 등변 X-복합체에서 ∂² = 0 가 성립하지 않을 경우 그로 인해 발생하는 호모로지적 구조에 어떤 영향을 미치며, 체인 복합체의 대체로 사용할 수 있는 새로운 프레임워크는 무엇인가?
• RQ5 대수 𝒦_G는 등변 설정에서 군 이론적 정보를 어떻게 캐릭터라이즈하는가?

주요 결과

• 모든 국소적으로 컴act한 군 G에 대해 이변량 등변 주기적 순환homology HP^G_*(A,B) 가 정의되며, 두 변수에서 호모토플 불변성, 안정성, 분할성을 모두 만족한다.
• 이론은 등변 X-복합체에서 ∂² = 0 가 성립하지 않음으로 인해 전통적 복합체를 대체하기 위해 파라복합체를 사용한다.
• 이산 군의 경우, A⊗𝒦_G의 호흐시ลด 복합체에서 φτ는 항등사상과 호모토피적이다. 이는 주기성에 필요한 핵심 호모토플 동치성을 증명한다.
• Ω(A⋊G)와 Ω_G(A⊗𝒦_G)_G의 주기적 순환코homology는 서로 이sovolumetric하며, 이는 φ와 τ에 의해 유도되는 역이소모르피즘으로서 이중성 결과를 확립한다.
• 외적 곱이 구성되었으며, 이는 순환homology의 표준적 합성곱을 일반화함을 보였다.
• 압축형 군에 대해 그린-줄그 이중성 정리를 증명하였고, 이의 이중형을 이산 군에 대해 증명함으로써 고전 결과를 주기적 설정으로 확장하였다.