계층화된 다양체 위의 지수 공식과 위상공간 수술

본 논문은 계층화된 다양체 M (길이 r 인 감소하는 필터링 M=M₀⊃M₁⊃…⊃M_r=∅) 위에 정의된 0차 의사미분 연산자(ψDO)의 지수를 층별로 분해하는 새로운 방법을 제시한다. 먼저, 각 개방 층 M∘j 은 코너가 있는 매니폴드이며, 그 코탄젠트 번들 T*Mj 은 π* (T*Mj)⊕T*Ω_j⊕ℝ 이라는 직합 구조를 가진다. ψDO D 의 주심볼은 σ(D)=(σ₀(D),σ₁(D),…,σ_r(D)) 이라는 튜플이며, σ₀은 내부 심볼(복소값 함수), σ_j(j≥1) 은 각 층의 코탄젠트 번들 위에서 연산자값 함수를 나타낸다. 전통적인 타원성 조건은 모든 σ_j가 가역이면 충분하지만, 지수를 층별로 합산하려면 심볼이 특정 변환에 대해 불변이어야 한다는 ‘대칭 조건’이 필요했다. 이를 위해 저자는 코탄젠트 번들의 ‘허용 가능한(endomorphism)’ h 을 정의한다. h는 각 경계 ∂jM 위에서 π*(T*Mj) 성분에만 비자명하게 작용하고, 나머지 성분은 항등이다. 이러한 h는 변환군 G 의 원소이며, 연산자 D 가 G‑불변(G‑invariant)이라 함은 σ(D) 가 h* 에 의해 변환될 때 동일한 형태를 유지한다는 뜻이다. 특히, h가 방향을 뒤바꾸는 반전(involution) h²=Id 인 경우, h*는 심볼의 동형불변량을 부호 반대로 바꾸어 지수에 직접적인 영향을 미친다. 논문은 다음과 같은 주요 결과를 제시한다. 1. **정리 3.1 (위상공간 수술)** h가 방향 반전이며 h²=Id 인 경우, G‑불변 타원 ψDO D 에 대해 전체 지수 ind D 는 위상 지수 indₜ D와 동일하다. 여기서 indₜ D는 코탄젠트 번들 T* N (전체 다양체 N)의 부분집합 U⁺, U⁻ 을 h에 의해 식별한 공간 T 위에 정의된 K‑이론 원소