비단위 표현으로 뒤틀린 바움 콘즈 동형사상과 무조건적 완성
이 논문은 비단위 유한 차원 표현 ρ에 의해 뒤틀린 바움‑콘즈(BC) 동형사상이, BC 추측을 만족하는 광범위한 군들—특히 실 반단순 리 군, 쌍곡선 군, 그리고 카잔(T) 성질을 가진 많은 이산 군—에 대해 동형임을 증명한다. 핵심은 무조건적(조건 없는) 완성과 약하게 완전한 부분대수의 개념을 이용해 ρ‑뒤틀린 군대수 Aρr(G)의 K‑이론을 다루는 것이다. 또한 ρ에 대한 텐서화 작용을 K‑이론 수준에서 정의하고, 기존의 Valette가 제…
저자: Maria-Paula Gomez-Aparicio
본 논문은 비단위 유한 차원 표현 ρ에 의해 뒤틀린 바움‑콘즈(BC) 동형사상 μρ,r : Ktop(G)→K(Aρr(G)) 의 동형성을 광범위한 군 클래스에 대해 증명한다. 먼저, G를 로컬 컴팩트 군, ρ를 V 위의 비단위 표현이라고 두고, ρ‑뒤틀린 감소 C*‑대수 Aρr(G) 를 정의한다. 이는 Cc(G) 에서 λG⊗ρ 로 정의된 표준 표현을 이용해 새로운 노름 ‖f‖Aρr(G)=‖(λG⊗ρ)(f)‖L²(G)⊗V 로 완성함으로써 얻어진다.
핵심 아이디어는 ‘조건 없는 완성(unconditional completion)’ B(G) 의 개념이다. B(G) 는 Cc(G) 를 밀집하게 포함하고, 함수값의 절대값에만 의존하는 노름을 갖는 Banach 대수이며, C*r(G) 안에 약하게 완전하게 포함될 수 있다. Laforgue는 이러한 B(G) 가 존재하고, 모든 B(G) 에 대해 기존의 Baum‑Connes 사상 μB 가 동형임을 보였으며, 이를 만족하는 군들을 클래스 C′ 로 정의하였다. 클래스 C′ 에는 a‑T‑menable 군, 비양의 곡률을 갖는 완전 리만 다양체 위의 군 작용, Bruhat‑Tits 건물 위의 군, 그리고 실 반단순 리 군과 그 폐쇄 부분군이 포함된다.
논문은 다음 두 가정을 전제로 한다.
1. Cc(G) 의 조건 없는 완성 B(G) 가 C*r(G) 안에 약하게 완전하게 포함된다.
2. 모든 이러한 B(G) 에 대해 μB 가 동형이다.
이 두 가정 하에, 저자는 B(G,End(V)) 라는 End(V)‑값 함수를 위한 조건 없는 완성을 정의하고, 이것이 C*r(G,End(V)) 안에 약하게 완전함을 보인다(정리 2.7). 이어서 Bρ(G) 라는 새로운 완성을 정의하고, 이것이 Aρr(G) 의 약하게 완전한 부분대수임을 증명한다(정리 2.8). 따라서 μρ,r 가 K‑이론 동형임을 얻는다(정리 1).
다음으로, Valette가 제시한 비단위 표현 환 RF(G) 에 대한 작용을 K‑이론 수준에서 재구성한다. ρ에 대한 텐서화 연산 Υρ : Ktop(G)→Ktop(G) 를 정의하고, 이를 통해 아래의 교환 사각형이 가환함을 보인다.
Ktop(G) ──μρ,r──► K(Aρr(G))
│ │Λρ
Υρ ▼
Ktop(G) ──μr──► K(C*r(G))
여기서 Λρ는 Aρr(G) → C*r(G)⊗End(V) 의 Morita 동형을 통한 K‑이론 사상이다. 이 사각형은 ρ가 단위인 경우 기존의 Baum‑Connes 사상과 정확히 일치함을 확인시켜 준다.
논문의 마지막 부분에서는 결과를 정리하고, 기존에 BC 추측이 검증된 대부분의 군—특히 실 반단순 리 군, 쌍곡선 군, 그리고 카잔(T) 성질을 가진 많은 이산 군—에 대해 ρ‑뒤틀린 형태까지 동형성을 확장할 수 있음을 강조한다. 또한, 모든 비단위 유한 차원 표현에 대해 동일한 동형성이 성립할 가능성을 제시하며, 향후 연구 방향으로는 보다 일반적인 비단위 표현과 비가산 차원 경우에 대한 확장을 제안한다.
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기