[논문 리뷰] $C^*$-algebras of $b$-pseudodifferential operators and an $\R^k$-equivariant index theorem

Richard Melrose, Victor Nistor|ArXiv.org|1996. 10. 23.

Advanced Operator Algebra Research참고 문헌 16인용 수 5

한 줄 요약

이 논문은 모서리가 있는 다양체 위의 b-임의미분 연산자와 관련된 C*-대수의 K-이론 불변량을 수립하고, R^k 작용에 관하여 불변인 연산자에 대한 R^k-등변 지수 정리를 증명한다. 이 결과들은 η-불변량과 연결되며, 군 대칭성을 가진 특이 공간 위의 지수 이론을 위한 K-이론적 프레임워크를 제공한다.

ABSTRACT

We compute $K$-theory invariants of algebras of pseudodifferential operators on manifolds with corners and prove an equivariant index theorem for operators invariant with respect to an action of $\R^k.$ We discuss the relation between our results and the $η$-invariant.

연구 동기 및 목표

• 모서리가 있는 다각형 위의 b-임의미분 연산자에 대한 C*-대수의 K-이론 불변량을 계산하기.
• R^k 군 작용에 관하여 불변인 연산자에 대한 R^k-등변 지수 정리를 개발하기.
• 유도된 K-이론 불변량과 지수 이론에서의 η-불변량 간의 관계를 명확히 하기.
• 경계와 모서리 구조를 가진 특이 기하 설정으로 지수 이론을 확장하기.
• 비콤팩트 또는 계층적 공간 위의 등변 지수 문제를 위한 함수해석학적 및 K-이론적 프레임워크 제공하기.

제안 방법

• 기호 계산법과 연산자 노름을 사용하여 모서리가 있는 다각형 위의 b-임의미분 연산자에 대한 C*-대수를 구성하기.
• 경계 및 모서리 준위의 구조에 중점을 두어 관련 C*-대수의 K-군을 계산하기 위해 K-이론 기법을 적용하기.
• 다양체 위의 R^k 작용을 이용하여 연산자 대수 위에 R^k-등변 구조를 정의하기.
• 교차곱 C*-대수의 K-이론에서 궤도 공간의 K-이론으로 향하는 위상적 지수 사상 수립하기.
• K-이론 동형사상들을 통해 분석적 지수와 위상적 지수를 연결함으로써 등변 지수 정리를 증명하기.
• 비콤팩트 설정에서 스펙트럼 비대칭성과 제타-정규화된 추적을 통해 η-불변량을 지수 공식과 연결하기.

실험 결과

연구 질문

• RQ1 모서리가 있는 다각형 위의 b-임의미분 연산자에 대한 C*-대수의 K-이론 불변량은 무엇인가?
• RQ2 b-임의미분 연산자에 대해 R^k-등변 지수 정리를 어떻게 구성하고 증명할 수 있는가?
• RQ3 η-불변량과 R^k-불변 b-임의미분 연산자의 지수 사이의 정확한 관계는 무엇인가?
• RQ4 모서리와 경계의 존재는 임의미분 연산자의 K-이론과 지수 이론에 어떻게 영향을 미치는가?
• RQ5 R^k-불변 연산자의 분석적 지수는 교차곱 대수의 K-이론에서 위상적 불변량을 통해 계산될 수 있는가?

주요 결과

• 모서리가 있는 다각형 위의 b-임의미분 연산자에 대한 C*-대수의 K-이론은 경계 및 모서리 준위의 K-이론을 통해 기술된다.
• R^k-등변 지수 정리가 수립되었으며, 이는 R^k-불변 b-임의미분 연산자의 분석적 지수가 교차곱 대수의 K-이론에서 위상적 지수와 일치함을 보여준다.
• η-불변량은 비콤팩트 설정에서 스펙트럼 비대칭성을 반영하는 보정 항으로 자연스럽게 나타난다.
• 지수 정리는 고전적인 아티야-식스 지수 정리를 모서리가 있는 다각형과 비콤팩트 군 작용의 설정으로 일반화한다.
• K-이론 계산은 다각형의 계층적 구조를 기록하는 메이어-비에토리스 유형의 정확한 수열을 드러낸다.
• 결과들은 등변 설정에서 분석적 지수와 위상적 지수의 차이를 통해 η-불변량의 K-이론적 해석을 제공한다.