[논문 리뷰] Pseudo-differential operators, heat calculus and index theory of groupoids satisfying the Lauter-Nistor condition

Bing Kwan So|arXiv (Cornell University)|2010. 06. 29.

Advanced Operator Algebra Research참고 문헌 26인용 수 6

한 줄 요약

이 논문은 라우터-니스터 조건을 만족하는 리 군궤도 위에서의 미분형 연산자에 대해 열 연산자 이론과 지수 이론을 개발하며, 경계를 가진 다각체와 유사한 방법을 사용한다. 확장된 연산자 이론을 구성하고, 브라하트 구면 위의 연산자에 대한 프레드홀름 조건을 증명하며, 변형된 라플라스 연산자의 열핵을 구성하고, 열핵 방법을 통해 재정규화된 아티야-식 링거 지수 공식을 수립한다.

ABSTRACT

In this thesis, we study singular pseudo-differential operators defined by groupoids satisfying the Lauter-Nistor condition, by a method parallel to that of manifolds with boundary and edge differential operators. The example of the Bruhat sphere is studied in detail. In particular, we construct an extension to the calculus of uniformly supported pseudo-differential operators that is analogous to the calculus with bounds defined on manifolds with boundary. We derive a Fredholmness criterion for operators on the Bruhat sphere, and prove that their parametrices up to compact operators lie inside the extended calculus; we construct the heat kernel of perturbed Laplacian operators; and prove an Atiyah-Singer type renormalized index formula for perturbed Dirac operators on the Bruhat sphere using the heat kernel method.

연구 동기 및 목표

• 경계를 가진 다각체에서의 유계 연산자 이론과 유사하게, 라우터-니스터 조건을 만족하는 군궤도 위에서 균일하게 지지된 미분형 연산자의 이론을 확장한다.
• 확장된 이론 프레임워크를 사용하여 브라하트 구면 위의 연산자에 대한 프레드홀름 조건을 수립한다.
• 라우터-니스터 조건을 만족하는 군궤도 위에서 변형된 라플라스 연산자의 열핵을 구성한다.
• 열핵 방법을 사용하여 브라하트 구면 위의 변형된 디랙 연산자에 대한 재정규화된 아티야-식 링거 유형의 지수 공식을 유도한다.
• 특히 특이한 미분형 연산자에 대해, 엣지 이론과 경계를 가진 다각체에서의 기법들을 군궤도 설정으로 일반화한다.

제안 방법

• 경계를 가진 다각체에서의 유계 연산자 이론을 라우터-니스터 조건을 만족하는 군궤도로 적응시켜, 균일하게 지지된 미분형 연산자의 확장된 이론을 구성한다.
• 군궤도의 벡터 표현을 사용하여 벡터 번들의 섹션 위에 연산자를 정의하며, 축소된 커널과 콘볼루션 곱의 구조를 활용한다.
• 열핵을 구성하기 위해 파라메트릭스 방법을 적용하여 형식적 해를 유도하고, 횡방향 정규성에 의해 수렴성을 증명한다.
• 군궤도 위의 리만 메트릭과 접속을 사용하여 열핵의 횡방향 정규성을 확립하고, 열핵에 대한 정규성 정리를 증명한다.
• 열핵의 단기 점근 전개를 사용하여 스펙트럼 불변량을 분석하고 재정규화된 트레이스를 도출한다.
• 맥키언-식 링거 공식을 사용하여 열핵의 트레이스와 지수를 연결함으로써, 변형된 디랙 연산자에 대한 재정규화된 지수 공식을 이끌어낸다.

실험 결과

연구 질문

• RQ1 군궤도 위에서 균일하게 지지된 미분형 연산자의 이론을 어떻게 확장하여 경계를 가진 다각체에서의 유계 연산자 이론과 유사하게 만들 수 있는가?
• RQ2 확장된 이론 프레임워크 내에서 브라하트 구면 위의 연산자에 대한 프레드홀름 조건은 무엇인가?
• RQ3 라우터-니스터 조건을 만족하는 군궤도 위에서 변형된 라플라스 연산자의 열핵을 구성할 수 있는가?
• RQ4 이 군궤도 설정에서 열핵의 단기 점근 전개의 구조는 어떠한가?
• RQ5 열핵 방법을 사용하여 브라하트 구면 위의 변형된 디랙 연산자에 대한 재정규화된 아티야-식 링거 지수 공식을 도출할 수 있는가?

주요 결과

• 라우터-니스터 조건을 만족하는 군궤도 위에서 경계를 가진 다각체에서의 유계 연산자 이론과 유사한, 균일하게 지지된 미분형 연산자의 새로운 확장된 이론이 구성되었다.
• 브라하트 구면 위의 프레드홀름 연산자의 파라메트릭스는 컴팩트 연산자까지의 차원에서 확장된 이론 내에 존재함을 보였으며, 이는 프레드홀름 이론에 대한 이론의 적합성을 확인한다.
• 변형된 라플라스 연산자의 열핵은 파라메트릭스 방법을 통해 구성되었으며, 형식적 해가 유도되었고, 횡방향 정규성에 의해 수렴성이 입증되었다.
• 횡방향 정규성 정리에 따라 열핵은 횡방향으로 매끄럽음을 보장하며, 브라하트 구면 예시에 명시적으로 적용되었다.
• 열핵의 단기 점근 전개가 유도되었으며, 이는 스펙트럼 불변량 분석과 트레이스 결함 공식 유도를 가능하게 하였다.
• 열핵 방법과 재정규화된 트레이스를 사용하여, 브라하트 구면 위의 변형된 디랙 연산자에 대한 재정규화된 아티야-식 링거 유형의 지수 공식이 증명되었다.