[논문 리뷰] Twisted equivariant K- Theory and K-Homology of Sl3(Z)

Noé Bárcenas, Mario Velásquez|arXiv (Cornell University)|2013. 04. 03.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 6

한 줄 요약

이 논문은 스펙트럴 시퀀스를 이용하여 SL₃(ℤ)에 대한 비틀린 등변 K-이론과 K-호모로지 계산을 수행하며, 이는 비틀린 표현을 가지는 Bredon 코hom로의 계산으로 축소된다. 이는 Baum-Connes 추측식과 계수를 고려한 맥락에서 비틀린 등변 K-이론에 대한 Poincaré 대칭의 한 형태를 검증하며, SL₃(ℤ)의 K-호모로지 군은 짝수 차수에서 ℤ^⊕13이고 홀수 차수에서 자명하다고 밝힌다.

ABSTRACT

Replaces Previous version. Includes comments on poincare duality for twisted equivariant in the context of proper and discrete actions and the Baum-Connes Conjecture. We use a spectral sequence proposed by C. Dwyer and previous work by Sanchez-Garcia and Soule to compute Twisted Equivariant K-theory groups of the classifying space for proper actions of Sl3(Z). After proving a Universal coefficient theorem in Bredon Cohomology with specific coefficients, we compute the twisted equivariant K-homology and state a relation to the Baum-Connes Conjecture with coefficients.

연구 동기 및 목표

• 이산군의 적절한 작용에 대한 비틀린 등변 K-이론과 K-호모로지 군을 계산하는 것, 특히 SL₃(ℤ)에 중점을 두는 것.
• 비틀린 등변 K-이론 계산을 비틀린 표현을 가지는 Bredon 코hom로로 축소하는 스펙트럴 시퀀스를 적용하는 것.
• Baum-추측식과 계수를 고려한 맥락에서 SL₃(ℤ)에 대한 비틀린 등변 K-이론에서 Poincaré 대칭의 한 형태를 검증하는 것.
• 특정 코hom로지적 조건 하에서 SL₃(ℤ)에 대한 비틀린 등변 K-이론과 K-호모로지 군 간의 이중성 동형사상을 수립하는 것.

제안 방법

• 비틀린 표현을 가지는 Bredon 코hom로로 비틀린 등변 K-이론을 연결하는 스펙트럴 시퀀스를 [BEUV13]에서 유도하여 사용한다.
• 분류공간 ℓE SL₃(ℤ)의 호모로지와 코호모로지 군을 연결하기 위해 Bredon 코호모로지의 보편 계수 정리를 적용한다.
• 유한군의 프로젝티브 표현 이론을 활용하여 특정 토르션 비틀림 u₁에 대응하는 Bredon 코호모로지 군을 계산한다.
• SL₃(ℤ)-CW-복합체 구조 ℓE SL₃(ℤ)에서의 안정화자와 인cidene 관계의 구조를 이용하여 코체인 복합체 내의 사상들을 계산한다.
• Bredon 코체인 복합체 내의 제약 사상 행렬의 기본 인자와 계수를 분석하여 코호모로지 군을 결정한다.
• 고차 코호모로지의 소멸으로 인해 스펙트럴 시퀀스가 E₂-페이지에서 붕괴하므로, 저차수 Bredon 코호모로지로의 계산을 단순화한다.

실험 결과

연구 질문

• RQ1 주어진 비틀림 하에서 SL₃(ℤ)에 대해 비틀린 등변 K-이론과 비틀린 표현을 가지는 Bredon 코호모로지 사이의 스펙트럴 시퀀스가 붕괴하는가?
• RQ2 이산 토르션 비틀림에 대해 SL₃(ℤ)의 비틀린 등변 K-호모로지가 Bredon 코호모로지로 계산될 수 있는가?
• RQ3 Baum-Connes 추측식과 계수를 고려한 맥락에서 SL₃(ℤ)에 대한 비틀린 등변 K-이론과 K-호모로지 군 간에 이중성 동형사상이 성립하는가?
• RQ4 SL₃(ℤ)에 대해 비틀린 계수를 가지는 Bredon 코호모로지 군이 차수 0과 1에 집중되어 있는가? 이는 이중성 결과를 가능하게 하는가?
• RQ5 비틀린 C*-대수 𝒦ᵤ₁를 계수로 가지는 SL₃(ℤ)의 비틀린 등변 K-호모로지 군의 정확한 구조는 무엇인가?

주요 결과

• 비틀린 표현 체계 𝒫ᵤ₁를 계수로 가지는 Bredon 코호모로지 군은 양의 차수에서 자명하고, 차수 0에서 ℤ^⊕13와 동형이다.
• 비틀린 등변 K-이론을 계산하는 스펙트럴 시퀀스는 고차 Bredon 코호모로지 군의 소멸으로 인해 E₂-페이지에서 붕괴한다.
• ℓE SL₃(ℤ)의 비틀린 등변 K-이론 군은 차수 0에서 ℤ^⊕13와 동형이며, 차수 1에서는 자명하다.
• SL₃(ℤ)의 비틀린 등변 K-호모로지 군은 홀수 차수에서 자명하고, 짝수 차수에서 ℤ^⊕13와 동형이다.
• K-이론과 K-호모로지 군 간의 이중성 동형사상이 수립되었으며, 이는 Baum-Connes 추측식과 계수를 고려한 맥락에서 Poincaré 대칭의 한 형태를 확인한다.
• 계산 결과, 주어진 토르션 비틀림 하에서 보편 계수 정리와 이중성 조건이 SL₃(ℤ)에서 성립함을 확인하였다.