[논문 리뷰] Non-commutative residue of projections in Boutet de Monvel's calculus

Anders Gaarde|ArXiv.org|2007. 09. 21.

Advanced Operator Algebra Research참고 문헌 7인용 수 3

한 줄 요약

이 논문은 비가환 잔여물이 보우테 데 몽벨의 미분형 경계 연산자에 대한 초위상 연산자에서의 사영에 대해 사라짐을 증명한다. $K$-이론 기법을 $C^*$-대수 프레임워크 내에서 사용하여 문제를 닫힌 다각형의 경우로 환원하며, 계산의 노름 닫힘에서의 임의의 사영의 잔여물이 0임을 보여, 경계값 문제에서의 부문 사영에 관한 질문을 부분적으로 해결한다.

ABSTRACT

Using results by Melo, Nest, Schick, and Schrohe on the K-theory of Boutet de Monvel's calculus of boundary value problems, we show that the non-commutative residue introduced by Fedosov, Golse, Leichtnam, and Schrohe vanishes on projections in the calculus. This partially answers a question raised in a recent collaboration with Grubb, namely whether the residue is zero on sectorial projections for boundary value problems: This is confirmed to be true when the sectorial projections is in the calculus.

연구 동기 및 목표

• 이전 그룹 연구와의 협업에서 제기된 바와 같이, 경계값 문제에서 나타나는 부문 사영에 대해 비가환 잔여물이 사라지는지 여부를 규명하는 것.
• 닫힌 다각형에서 사영의 비가환 잔여물이 사라진다는 알려진 결과를 경계가 있는 다각형의 경우로 확장하는 것.
• 보우테 데 몽벨의 계산의 노름 닫힘에 속한 임의의 사영의 비가환 잔여물이 0임을 증명하기 위해, 닫힌 다각형의 경우로의 $K$-이론적 환원을 사용하는 것.

제안 방법

• 예-$C^*$-대수의 $K$-이론 프레임워크, 특히 아이디포텐트의 그로텐디크 군 $K_0$를 활용한다.
• 부드러운 연산자에 대한 이상의 모듈로 기반의 대수와 그의 심벌 대수의 $K_0$-군 사이의 $K$-이론적 동형을 사용한다.
• 절단과 특이 그린 연산자를 포함한 파라메트릭스 구성법을 통해 주어진 심벌 아이디포텐트를 진정한 사영으로 올리는 구성법을 시행한다.
• 올린 사영에 비가환 잔여물 공식을 적용하고, 이가 닫힌 다각형에서의 고전적 미분형 사영의 잔여물과 동일함을 보여준다.
• 닫힌 다각형에서 사영의 비가환 잔여물이 사라진다는 잘 알려진 사실을 활용하여, 올린 연산자에 대해서도 동일한 결론을 이끌어낸다.
• 비가환 잔여물이 잘 정의되고 $K$-이론적 불변량과 호환됨을 보장하기 위해 $C^*$-대수적 구조를 활용한다.

실험 결과

연구 질문

• RQ1 비가환 잔여물이 보우테 데 몽벨의 계산에 속한 경우, 타원 경계값 문제에서의 부문 사영에 대해 사라지는가?
• RQ2 직접 계산이 아닌 $K$-이론적 방법을 통해 계산 내 사영의 비가환 잔여물이 사라지는지 확인할 수 있는가?
• RQ3 보우테 데 몽벨의 계산의 노름 닫힘에 속한 사영의 비가환 잔여물은 닫힌 더블 다각형에서의 주된 심벌의 잔여물과 같은가?
• RQ4 계산의 $K$-이론적 구조는 얼마나 깊이 잔여물 문제를 닫힌 다각형의 경우로 환원할 수 있는가?

주요 결과

• 보우테 데 몽벨의 계산의 노름 닫힘에 속한 임의의 사영의 비가환 잔여물은 0이다.
• 계산 내 사영의 잔여물은 그 주된 심벌의 비가환 잔여물과 같으며, 이는 닫힌 더블 다각형에서의 사영이다.
• 고전적 미분형 사영의 비가환 잔여물이 닫힌 다각형에서 사라진다는 것은 잘 알려진 결과로, 핵심 입력 자료로 사용되었다.
• $K$-이론적 동형은 대수의 $K_0$-군과 그 심벌 대수의 부드러운 연산자에 대한 모듈로의 $K_0$-군 사이에 존재하며, 이를 통해 닫힌 경우로의 환원이 가능하다.
• 심벌 아이디포텐트를 진정한 사영으로 올리는 구성법은 $K$-이론적 대응에서 잔여물이 유지됨을 보장한다.
• 결과적으로, 해당 부문 사영이 계산에 속해 있을 경우, 제타 불변량이 스펙트럼 컷에 따라 의존하는 것이 비잔영이 아님을 확인한다.