[논문 리뷰] Twisted equivariant K-theory for proper actions of discrete groups

Christopher Dwyer|ArXiv.org|2007. 10. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 3

한 줄 요약

이 논문은 Lück와 Oliver의 기법을 활용하여 이산군의 proper 작용에 대한 twist된 등변 K-이론을 구축한다. 프로젝티브 표현과 군 호모로지 이론을 사용하여 Adem과 Ruan의 유한군 프레임워크를 확장한다. 주요 기여는 복소수로 tensor한 후 $E_2$ 단계에서 붕괴하는 스펙트럴 시퀀스를 확립한 것으로, 이는 비-twist된 Atiyah-Hirzebruch 스펙트럴 시퀀스와 자연스러운 연결고리를 형성하며, 토르션 twistings에 대한 계산 도구를 제공한다.

ABSTRACT

We give a construction for twisted equivariant K-theory in the case of a proper action of a discrete group using twisted bundles. Our construction uses results of Lueck and Oliver to extend a construction of Adem and Ruan. We also show the existence of a Chern character to twisted Bredon cohomology. This gives a partial answer to the question of when you can construct twisted equivariant K-theory out of finite rank twisted bundles.

연구 동기 및 목표

• 유한군을 초월하여 일반 이산군의 proper 작용에 대한 twist된 등변 K-이론을 확장하는 것.
• Lück와 Oliver의 방법을 사용하여 Adem과 Ruan의 유한군에 대한 구성 방식을 일반화하는 것.
• twist된 Bredon 코hom로부터 twist된 등변 K-이론으로 연결되는 스펙트럴 시퀀스를 수립하는 것.
• 복소수로 tensor한 후 $E_2$에서 붕괴하는 스펙트럴 시퀀스를 보여주며, 이는 비-twist된 Atiyah-Hirzebruch 스펙트럴 시퀀스와 연결됨을 확인하는 것.
• 오비폴드 및 군개체 $C^*$-대수의 맥락에서 토르션 twistings에 대한 계산 프레임워크를 제공하는 것.

제안 방법

• $\alpha$-twist된 유한군의 표현을 사용하여 twist된 K-이론을 모델링하며, 여기서 $\alpha$는 $Z^2(G, \mathbb{C}^*)$에 속한 2-코호몰로지류이다.
• $\alpha$-twist된 표현의 그로텐디크 군으로서 $R_\alpha(G)$를 구성한다.
• Adem과 Ruan의 구성에서와 유사한 계수 함수자에 대한 twist된 곱을 도입한다.
• $\alpha$-twist된 표현 군을 값으로 가지는 twist된 Bredon 코호몰로지를 정의하고, $\mathbb{Q}$로 tensor한 후 매크시-펑터의 구조를 확립한다.
• Lück의 결과를 적용하여, twist된 Bredon 코호몰로지에서 twist된 등변 K-이론으로 가는 스펙트럴 시퀀스가 복소수로 tensor한 후 $E_2$ 단계에서 붕괴됨을 보인다.
• $\mathbb{Q}$-tensor 후 $E_2$와 $E_\infty$ 단계를 등변 채르니 캐릭터를 통해 식별함으로써 붕괴를 확인한다.

실험 결과

연구 질문

• RQ1 twist된 등변 K-이론은 유한군을 초월하여 일반 이산군의 proper 작용으로 확장될 수 있는가?
• RQ2 twist된 Bredon 코호몰로지와 twist된 등변 K-이론을 연결하는 스펙트럴 시퀀스는 어떻게 행동하는가? 붕괴하는가?
• RQ3 twist된 스펙트럴 시퀀스와 비-twist된 Atiyah-Hirzebruch 스펙트럴 시퀀스 사이의 관계는 무엇인가?
• RQ4 군 호모로지로부터 유도되는 토르션 twistings는 유한 차원 twist된 벡터 번들의 형태로 실현될 수 있는가?
• RQ5 이 구성은 오비폴드 및 연산자 대수의 맥락에서 twist된 K-이론의 보다 광범위한 프레임워크와 어떻게 관련이 있는가?

주요 결과

• twist된 Bredon 코호몰로지에서 twist된 등변 K-이론으로 가는 스펙트럴 시퀀스는 복소수로 tensor한 후 $E_2$ 단계에서 붕괴된다.
• 등변 채르니 캐릭터가 이 맥락에서 동형사상이므로, 복소수로 tensor한 후 스펙트럴 시퀀스의 $E_2$ 단계는 $E_\infty$ 단계와 동형이다.
• 이 스펙트럴 시퀀스는 비-twist된 등변 Atiyah-Hirzebruch 스펙트럴 시퀀스의 모듈로 자연스럽게 구성된다.
• 모든 토르션 twistings $[\alpha] \in H^3(X \times_G EG; \mathbb{Z})$ 중에서 $p^* \circ \delta$의 이미지에 속하는 경우에 대해 유한 차원 $\alpha$-twist된 벡터 번들을 제공한다.
• 이 프레임워크에서의 채르니 캐릭터는 Tu와 Xu의 연산자 대수적 접근과는 다릅니다만, 토르션 케이스에서 twist된 K-이론 군을 계산하는 데 대안적 방법을 제공한다.
• 이 결과는 [22]에서 제기된 추측, 즉 토르션 twistings가 유한 차원 twist된 번들을 가질 수 있다는 것을 부분적으로 지지하며, 긍정적인 답변을 제시한다.