부에데몽텔 계산에서 투영 연산자의 비가환 잔여물

초록

본 논문은 Boutet de Monvel 경계값 연산자 대수의 K‑이론 결과를 이용해, Fedosov·Golse·Leichtnam·Schrohe가 정의한 비가환 잔여물이 이 대수 안에 포함된 모든 투영 연산자에 대해 0이 됨을 증명한다. 특히, 경계값 문제에 대한 부채꼴 투영이 대수에 속할 경우 잔여물이 사라진다는 질문에 부분적인 긍정적 답을 제공한다.

상세 분석

Boutet de Monvel 계산은 경계가 있는 매니폴드 위의 전형적인 경계값 문제를 다루는 연산자 대수로, 내부의 ψDO와 경계 연산자를 하나의 프레임워크에 통합한다. 이 대수는 비가환 기하학에서 중요한 역할을 하는 비가환 잔여물(Non‑commutative residue)을 정의할 수 있는 구조를 가지고 있다. Fedosov·Golse·Leichtnam·Schrohe는 이러한 잔여물을 경계값 연산자에 대해 전역적인 트레이스 형태로 확장했으며, 이는 고전적인 Wodzicki 잔여물의 경계 버전이라 할 수 있다. 그러나 이 잔여물이 모든 투영 연산자, 특히 스펙트럼 분할에 의해 얻어지는 부채꼴 투영에 대해 0이 되는지는 명확하지 않았다.

Melo·Nest·Schick·Schrohe는 Boutet de Monvel 대수의 K‑이론을 정밀히 계산하여, 대수의 K₀‑그룹이 내부 ψDO와 경계 연산자의 K‑이론으로 분해된다는 중요한 결과를 얻었다. 이 구조는 투영 연산자를 K‑이론적 관점에서 분석할 수 있는 기반을 제공한다. 논문은 이 K‑이론 분해와 비가환 잔여물의 선형성, 그리고 잔여물이 K₀‑클래스에 대해 사상으로 작용한다는 사실을 결합한다. 구체적으로, 투영 연산자를 내부 ψDO와 경계 연산자의 투영으로 각각 분해하고, 각 성분에 대한 잔여물이 이미 알려진 결과(내부 ψDO에서는 Wodzicki 잔여물이 투영에 대해 0, 경계 연산자에서는 유사한 사라짐 현상)로부터 0임을 확인한다.

핵심 논증은 정확한 짧은 exact sequence
0 → 𝒦 → 𝔅 → 𝔖 → 0
(𝒦는 컴팩트 연산자, 𝔅는 Boutet de Monvel 대수, 𝔖는 심볼 대수)와 그에 대응하는 K‑이론 장정(sequence)이다. 비가환 잔여물은 심볼 대수 𝔖 위에서 정의된 트레이스와 동형이며, 따라서 K₀‑클래스가 0이면 잔여물도 0이 된다. 투영 연산자는 K₀‑클래스가 0인 경우와 아닌 경우가 모두 존재하지만, Boutet de Monvel 대수 안에서는 모든 투영이 K₀‑이미지에 의해 차폐될 수 있음을 보인다. 결과적으로, 대수 내부의 모든 투영에 대해 비가환 잔여물이 사라진다.

이 결과는 최근 Grubb·동료들과의 협업에서 제기된 “부채꼴 투영의 잔여물은 0인가?”라는 질문에 부분적인 답을 제공한다. 부채꼴 투영이 Boutet de Monvel 대수에 포함될 경우, 즉 경계 연산자와 내부 ψDO가 모두 대수적 구조 안에 있을 때는 잔여물이 확실히 0이 된다. 반대로, 대수 밖에 있는 보다 일반적인 부채꼴 투영에 대해서는 아직 미해결 상태로 남는다.