적절한 리 대군 작용에 대한 해석적 지수

초록

본 논문은 적절하게 작용하는 리 대군이 보존하는 타원형 의사미분 연산자 가족에 대해 해석적 지수를 정의한다. 아틀리야-시걸 가족 정리를 확장한 방법으로, 필립스가 다룬 국소 콤팩트 군 작용 결과를 리 대군 상황에 일반화한다.

상세 분석

이 연구는 리 대군 (G\rightrightarrows M) 가 매끄러운 매니폴드 (X) 위에 적절하게 작용하고, 그 작용이 타원형 의사미분 연산자 군 ({P_x}_{x\in X}) 를 불변하게 유지한다는 전제 하에 시작한다. 기존의 아틀리야‑시걸 가족 정리는 기본적으로 베이스가 콤팩트하고 군 작용이 자유인 경우에만 적용될 수 있었으나, 저자는 적절성(properness)이라는 약한 조건만으로도 충분히 K‑이론적 도구를 활용할 수 있음을 보인다. 핵심은 (G)‑불변적인 완비 연산자 대수를 구축하고, 그 대수의 K‑이론을 통해 지수를 정의하는 것이다. 이를 위해 먼저 (C^*_r(G)) 와 (C_0(X)) 의 교차곱 대수 (C_0(X)\rtimes_r G) 를 고려하고, 타원형 가족이 이 교차곱 대수의 K‑핵심 원소를 만든다는 사실을 증명한다. 이후 Phillips가 제시한 “정규화된” 지수 사상 (\operatorname{Ind}_a:K^0(T^X/G)\to K_0(C^_r(G))) 을 리 대군 상황에 맞게 재구성한다. 중요한 기술적 단계는 적절성으로부터 얻어지는 (G)‑불변 측정과 전역적인 전위 연산자(정규화된 차원) 사이의 연관성을 이용해, 비가환적 푸리에 변환을 적용함으로써 심볼 클래스와 연산자 클래스 사이의 정확한 대응을 확립하는 것이다. 또한, 이 지수가 기존의 Atiyah‑Singer 가족 지수와 일치함을 보이기 위해, 대수적 K‑동형사상과 Chern‑Weil 형태의 차등을 비교한다. 결과적으로, 저자는 적절한 리 대군 작용 하에서의 해석적 지수가 잘 정의되고, 이는 비가환적 기하학에서의 여러 인덱스 정리(예: Connes‑Moscovici, Baum‑Connes)와 조화롭게 연결될 수 있음을 입증한다.