그룹과 그룹오이드를 위한 L²‑베티 수 계산 스펙트럴 시퀀스

본 논문은 “이산 측정 그룹오이드(discrete measured groupoid)”라는 일반적인 프레임워크를 도입하여, L²‑베티 수를 계산할 수 있는 새로운 스펙트럴 시퀀스를 구축한다. 먼저 저자는 측정 그룹오이드의 기본 개념, 표준 보렐 공간, 측정 분해 정리 등을 정리하고, 특히 “강하게 정상인( strongly normal )” 부분그룹오이드 S ⊂ G의 정의를 제시한다. 강한 정상성은 S가 G의 핵(kernel) 역할을 하면서, G를 S와 그 몫 Q로 정확히 분해할 수 있게 하는 구조적 조건이다. 이때 Q는 G/S라는 측정 그룹오이드이며, S와 Q 모두 이산이며 측정이 정의되어 있다. 그 다음 섹션에서는 L²‑코호몰로지와 Lück의 차원 이론을 그룹오이드 환경에 맞게 확장한다. 모듈 M을 그룹오이드 링 \(\mathbb{C}G\) 위의 모듈로 두고, \(H^*(G,M)\)를 정의한다. 특히 M을 \(U(G)\) (G의 von Neumann 대수에 대한 연산자 대수) 로 잡으면, \(\dim_{U(G)} H^n(G,U(G))\)가 바로 n차 L²‑베티 수 \(b^{(2)}_n(G)\)가 된다. 핵심 결과는 제4장에 제시된 Grothendieck‑형 스펙트럴 시퀀스이다. 강한 확장 \