전달 타원 연산자의 지수와 새로운 공동동형 공식

초록

본 논문은 베를린‑베르그네가 제시한 전이 타원 연산자의 지수에 대한 공동동형 공식에 새로운 관점을 도입한다. 저자는 일반화된 계수를 갖는 등변 체르니 캐릭터와 콤팩트 지지 형태 Par(ω)를 이용해 지수를 표현하고, 이를 기존의 분석적 지수와 일치함을 자유 작용, 곱셈성, 정규화 조건 등을 통해 증명한다. 또한 0 연산자, 푸시된 기호, 접촉 다양체 등 다양한 예시를 통해 공식의 실용성을 보여준다.

상세 분석

이 논문은 전이 타원 연산자(P)와 그 기호 σ의 K‑전달 타원성 조건을 전제한다. 기존 베를린‑베르그네 공식에서는 등변 체르니 캐릭터 Ch_c(σ)(X)를 사용했지만, 이는 전이 타원성에서 발생하는 비정상적인 지원 문제를 완전히 해결하지 못한다. 저자는 이를 보완하기 위해 두 가지 핵심 도구를 도입한다. 첫째, Liouville 1‑형 ω에 대한 “역” Dω⁻¹를 일반화된 적분 ∫₀^∞ e^{itDω}dt 형태로 정의함으로써, ω에 대한 등변 형태 Par(ω)(X)=χ+dχ∧(−iω)·∫₀^∞ e^{itDω}dt을 만든다. 여기서 χ는 T^*_K M의 작은 이웃에서 1이고, 전체 공간에서 콤팩트 지지를 갖는다. 둘째, 전통적인 등변 체르니 캐릭터 Ch(σ)(X)와 Par(ω)(X)를 곱하여 Ch(σ)·Par(ω)이라는 새로운 공동동형 클래스(콤팩트 지지)를 만든다. 이 클래스는 등변 미분 D에 대해 닫혀 있으며, 동차 형태 bA(M)²와 함께 적분하면 (2)식과 동일한 형태의 지수 공식이 된다.

논문은 먼저 분석적 지수(index_K(P))를 K‑전달 타원 연산자에 대해 일반화된 함수로 정의하고, K‑이론 클래스