고차 ρ‑불변량과 수술 구조 집합

초록

본 논문은 동형동치에 대한 비가환 에타·ρ‑형식을 정의하고, 이들에 대한 곱 공식과 구조 집합 위에서의 잘 정의됨을 증명한다. 또한 L‑이론에서 C*‑대수 K‑이론으로의 지수 지도와 ρ‑형식 사이의 호환성을 구축하며, Hilsum‑Skandalis와 Piazza‑Schick 기법을 활용해 경계가 있는 다양체에 대한 고차 서명 클래스와 L²‑서명의 동상동 불변성을 통합적인 분석적 증명으로 제공한다.

상세 분석

논문은 먼저 가역적인 차동동형 f : M → N 사이에 정의되는 비가환 에타‑형식 η(f)와 그 차이를 이용한 ρ‑형식 ρ(f) := η(f) − η(id) 를 C*‑대수적 관점에서 정밀히 구축한다. 여기서 사용되는 비가환 미분 형식은 Mishchenko‑Fomenko 번들에 대한 가역적인 차동연산자를 이용해 정의되며, 그 결과는 K‑이론 원소로서의 의미를 갖는다. 중요한 기술적 성과는 두 차동동형 f₁, f₂에 대해 ρ(f₁ ∘ f₂) = ρ(f₁) + f₁* ρ(f₂) 라는 곱 공식이다. 이는 ρ‑형식이 구조 집합 Sⁿᵈ(M) 위에서 군 작용에 대해 코시 사이클을 형성함을 보이며, 결국 ρ‑형식이 구조 집합의 원소에 대해 잘 정의된 불변량임을 증명한다.

다음으로 저자들은 Ranicki의 L‑이론 Lₙ(ℤπ)와 C*‑대수 K‑이론 Kₙ(C*₍r₎π) 사이의 지수 사상 ind : Lₙ(ℤπ) → Kₙ(C*₍r₎π) 를 구성한다. 이 사상은 Hilsum‑Skandalis의 전이 연산자와 Piazza‑Schick의 고차 η‑인덱스 이론을 결합해 정의되며, 특히 경계가 있는 경우에도 적절한 상대 K‑이론을 사용해 확장된다. 핵심은 ind가 ρ‑형식과 호환되어, L‑이론 원소가 ρ‑형식에 미치는 효과를 정확히 포착한다는 점이다. 즉, ind(α) = 0이면 α에 대응하는 ρ‑형식도 사라진다.

마지막으로 논문은 이 도구들을 이용해 고차 서명 클래스 σₚ(M)와 L²‑서명 sign₂(M) 가 동상동 불변임을 새로운 분석적 증명으로 제시한다. 기존의 대수적·위상학적 접근과 달리, 비가환 η‑형식의 변분 원리를 이용해 경계 항을 정밀히 제어함으로써, 경계가 있는 경우에도 서명 클래스가 차동동형에 대해 불변임을 보인다. 이 결과는 고차 인덱스 정리와 구조 집합 이론을 연결하는 중요한 교량 역할을 하며, 비가환 기하학과 외과적 위상수학 사이의 상호작용을 심화시킨다.