비가산 비가역 기하학을 위한 지역 지수 공식

초록

본 논문은 비단위(Nonunital) C*-대수 위에 정의된 스펙트럴 트리플에 대해, 로컬 인덱스 공식의 비가산 버전을 증명한다. 로컬 유닛 가정 없이도 적분 이론과 의사미분 연산자를 정교히 구축하여, 반유한(semifinite) 비가산 상황에서 케네스-모스코비치 공식의 잔여(Residue) 형태를 얻는다. 이를 통해 유계 기하를 갖는 비컴팩트 매니폴드와 비가산 비가역 예시(토러스 작용, 모얄 평면 등)에 대한 새로운 인덱스 정리를 제시한다. 또한 짝수 차원에서는 Gromov‑Lawson 상대 인덱스 공식의 아날로그를, 홀수 차원에서는 완전히 새로운 인덱스 식을 도출하고, 커버링 공간에 대한 Atiyah L²‑인덱스 정리도 얻는다.

상세 분석

이 연구는 비단위 C*-대수 A와 반유한(semifinite) von Neumann 대수 𝔐 안에 포함된 스펙트럴 트리플 (A, H, D)를 출발점으로 삼는다. 기존의 Connes‑Moscovici 지역 인덱스 공식은 D의 resolvent가 𝔐‑compact 해야 한다는 가정을 필요로 했지만, 비단위 상황에서는 이러한 가정이 성립하지 않는다. 저자들은 먼저 가중치와 제곱 가중치가 정의된 L¹·L²‑공간을 이용해 새로운 적분 이론을 구축한다. 이 적분 이론은 가중치 연산자 (1 + D²)^{‑½}·a 가 𝔐‑compact 임을 보장하면서, 로컬 유닛(즉, 컴팩트 지원 함수)의 존재 여부와 무관하게 A의 원소들을 ‘적분 가능’하게 만든다.

다음으로, 의사미분 연산자에 대한 기존의 calculus를 비단위 대수에 맞게 정교화한다. 특히, ‘tame’ 의사미분 연산자에 대한 Schatten‑norm 추정과, 스무스함(smoothness)과 가중치 적분성(summability) 사이의 관계를 상세히 분석한다. 이를 통해 (A, H, D)가 충분히 ‘스무스’하고 ‘가중치 적분 가능’하면, D의 복소수 거듭제곱 (1 + D²)^{‑s/2}·a 가 trace‑class이 되는 s > 0를 찾을 수 있다. 이러한 기술적 결과는 이후 잔여(co)사이클을 정의하고, 그와 Chern‑character 사이의 동등성을 증명하는 데 핵심이 된다.

섹션 3에서는 반유한 케스파로프(Kasparov) 모듈을 이용해 K‑homology 클래스를 구성하고, Kasparov product를 통해 인덱스 페어링을 정의한다. 여기서 중요한 점은 D가 자체적으로 Fredholm이 아니어도, a·(1 + D²)^{‑½} 가 𝔐‑compact이면 (A, H, D) 가 자연스럽게 반유한 Fredholm 모듈을 제공한다는 사실이다. 이는 기존의 ‘D가 Fredholm이어야 한다’는 강제조건을 완화한다.

섹션 4에서는 잔여(co)사이클, 이중 구조(double construction), 그리고 ‘invertibility’ 문제를 처리하는 일련의 보조 코체인들을 도입한다. 특히, D의 invertibility를 강제하지 않고도 동일한 동형을 얻기 위해 ‘double’ 연산자를 사용해 D를 대칭화하고, 그에 대응하는 코사이클을 정의한다. 이후, 이 코사이클이 (b, B)‑복합에서 Chern‑character와 동등함을 보이며, 최종적으로 지역 인덱스 공식
\