Γ 정밀 다양체에서의 고차 레프셰츠 공식

초록

본 논문은 유한 생성 이산군 Γ가 적절하고 콤팩트하게 작용하는 매끄러운 다양체 M 위의 Γ‑equivariant Dirac 연산자 D에 대해, 열핵기법을 이용해 τ∈HP⁎(ℂΓ,⟨γ⟩)와 연계된 고차 사이클 코사이클을 쌍으로 잡는 지수 클래스의 기하학적 표현을 도출한다. 결과는 고정점 부분다양체 M^γ 위에 정의된 Atiyah‑Segal‑Singer 형태와 τ에 대응하는 Z_γ‑불변 1‑형식의 곱으로 나타나며, 이는 D에 대한 고차 레프셰츠 공식으로 해석된다.

상세 분석

이 연구는 기존의 Atiyah‑Segal‑Singer 고정점 공식과 Connes‑Moscovici 고차 지수 정리 사이의 격차를 메우는 데 중점을 둔다. 저자들은 먼저 Γ‑proper 액션의 특성을 이용해 CΓ의 사이클 코호몰로지를 ⟨γ⟩‑conjugacy class에 국한된 부분 HP⁎(ℂΓ,⟨γ⟩)로 분해하고, 이를 A_c^Γ(M,E) (Γ‑compact 지원의 스무스 연산자 대수)로 끌어올리는 특성 사상 Φ를 정의한다. 열핵 기법을 활용해 D² 의 열핵을 Getzler‑Volterra 재스케일링과 결합함으로써, 고정점 부분다양체 M^γ 위에 국한된 열핵의 비대칭성을 정밀히 제어한다. 특히, Volterra 미분 연산자의 새로운 결과(섹션 4)와 “반대칭화” 절차가 고차 사이클이 갖는 비국소적 성질을 처리하는 핵심 도구가 된다.

핵심 정리는 다음과 같다. τ∈HP^{2q}(ℂΓ,⟨γ⟩)에 대해, Ind_c(D)와 Φ(τ)의 쌍은
\