비가환 타원형 이론의 새로운 사례

초록

본 논문은 이산 군이 매끄러운 다양체에 작용할 때 형성되는 교차곱 대수를 계수로 갖는 미분 연산자를 연구한다. 이러한 연산자는 비가환 타원형 연산자로 정의되며, 저자는 Euler, 서명, Dirac 연산자를 해당 교차곱 대수 위의 투영으로 뒤틀어 만든 경우에 대한 인덱스 공식들을 제시한다. 또한 비가환 토러스 위의 Connes 연산자에 대한 인덱스를 직접 계산한다. 결과는 K‑이론, 사이클 코호몰로지 및 비가환 기하학적 기법을 결합한 새로운 인덱스 정리를 제공한다.

상세 분석

논문은 먼저 교차곱 대수 (C^\infty(M)\rtimes\Gamma) 를 계수 대수로 하는 비가환 타원형 연산자의 정의를 제시한다. 여기서 (\Gamma)는 매끄러운 다양체 (M)에 작용하는 이산 군이며, 교차곱 구조는 군 작용에 의해 비가환성을 부여한다. 저자는 이러한 연산자의 심볼을 (\Gamma)‑불변 함수로 정의하고, 전통적인 심볼 계산과 유사하게 전역적인 에스테임을 구축한다. 핵심은 이 연산자가 Fredholm 성질을 유지하도록 하는 적절한 Sobolev 공간을 선택하는데, 이는 (\Gamma)‑불변 측정과 비가환 (C^*)-대수의 표준 모듈 구조를 이용한다.

인덱스 정리는 K‑이론적 투영 (p\in M_n(C^\infty(M)\rtimes\Gamma)) 로 뒤틀린 연산자 (D_p) 의 인덱스를 사이클 코호몰로지 쌍대와 결합된 Chern‑Weil 형태로 표현한다. 구체적으로, 저자는 차원 (m) 의 다양체에 대해
\