비교 C 대수의 K군과 지수 이론

초록

본 논문은 코너가 있는 다양체에 대해 정의되는 비교 C대수의 K-이론을 계산하고, 이 대수가 군집합 C대수의 동형사상 이미지임을 보인다. 이를 바탕으로 비교 대수에 대한 지수 정리를 제시하여, 비가환 기하학적 상황에서의 인덱스 값을 K-군으로 표현한다.

상세 분석

논문은 먼저 코너가 있는 매니폴드 (M) 위에 정의되는 비교 (C^{})-대수 (\mathcal{A}(M))를 소개한다. 이 대수는 Connes‑Moscovici가 제시한 추상 의사미분 연산자 대수의 구체적 사례로, 경계와 코너 구조를 반영하는 비가환 대수적 모델을 제공한다. 저자는 (\mathcal{A}(M))가 특정 Lie 그룹오이드 (\mathcal{G}_{M})에 의해 생성되는 군집합 (C^{})-대수 (C^{*}(\mathcal{G}{M}))의 동형사상 이미지임을 증명한다. 이 단계에서 군집합의 사상 구조, 소스·타깃 맵, 그리고 코너가 있는 매니폴드의 리프 구조가 정밀히 분석된다. 특히, (\mathcal{G}{M})는 각 코너 면에 대해 적절히 축소된 변환군을 포함하며, 이 변환군이 비가환적인 교환법칙을 깨뜨리지 않도록 설계된 것이 핵심이다.

다음으로 저자는 군집합 (C^{})-대수의 K-이론 계산 기법을 적용한다. 기존의 Baum‑Connes 추측과 그 변형을 활용하여, (\mathcal{G}{M})의 동등성 클래스와 그에 대응하는 K-군 (\mathrm{K}{}(C^{}(\mathcal{G}{M})))을 구한다. 여기서 중요한 점은 코너가 있는 경우에도 군집합이 적절히 적당한 동등성 관계를 유지한다는 것이다. 저자는 이를 통해 (\mathcal{A}(M))의 K-군이 (\mathrm{K}{}(C^{*}(\mathcal{G}{M})))와 동형임을 보이며, 구체적인 동형 사상은 차원에 따라 (\mathbb{Z}) 혹은 (\mathbb{Z}{2})와 같은 전형적인 정수군으로 귀결된다.

마지막으로, 저자는 비교 대수 (\mathcal{A}(M))에 대한 지수 정리를 정식화한다. 전통적인 Atiyah‑Singer 지수 정리의 비가환 버전으로, 비가환 의사미분 연산자 (P\in \mathcal{A}(M))의 상징 클래스 (