[논문 리뷰] Factorization of Dirac Operators on Almost-Regular Fibrations of Spin$^c$ Manifolds

Jens Kaad, Walter D. van Suijlekom|arXiv (Cornell University)|2017. 10. 09.

Advanced Operator Algebra Research참고 문헌 31인용 수 4

한 줄 요약

이 논문은 스피노$^c$ 다양체의 거의 정규 피브레이션에서 딜라크 연산자를 비정상적 카스파로프 모듈 구성을 통해 수직 및 수평 성분으로 분해함을 확립한다. 총 딜라크 연산자가 곡률 항을 제외하고는 수직 타원형 딜라크 연산자 가중치의 텐서 합과 수평 딜라크 연산자의 합으로 분해됨을 보이며, 이 분해가 이중 K-이론에서 내부 카스파로프 곱을 나타냄을 증명한다.

ABSTRACT

We establish the factorization of the Dirac operator on an almost-regular fibration of spin$^c$ manifolds in unbounded KK-theory. As a first intermediate result we establish that any vertically elliptic and symmetric first-order differential operator on a proper submersion defines an unbounded Kasparov module, and thus represents a class in KK-theory. Then, we generalize our previous results on factorizations of Dirac operators to proper Riemannian submersions of spin$^c$ manifolds. This allows us to show that the Dirac operator on the total space of an almost-regular fibration can be written as the tensor sum of a vertically elliptic family of Dirac operators with the horizontal Dirac operator, up to an explicit `obstructing' curvature term. We conclude by showing that the tensor sum factorization represents the interior Kasparov product in bivariant K-theory.

연구 동기 및 목표

• 스피노$^c$ 다양체의 적절한 리만 피브레이션, 비유계 경우를 포함하여 딜라크 연산자의 분해를 일반화하기.
• 적절한 피브레이션 위에서 수직 타원형, 대칭적인 일阶 미분 연산자가 비정상적 카스파로프 모듈을 정의함을 확립하기.
• 거의 정규 피브레이션의 총 공간 위의 딜라크 연산자가 수직 및 수평 성분으로 분해되며, 명시적인 곡률 보정 항이 존재함을 보이기.
• 이 텐서 합 분해가 이중 K-이론에서 내부 카스파로프 곱을 나타냄을 증명하기.
• 곡률 정보를 잃는 유계 KK-이론과 달리 기하학적 자료를 유지하는 비정상적 대표자로서 카스파로프 곱의 기하학적 비정상적 대표자 제공하기.

제안 방법

• 적절한 리만 피브레이션 위에서 수직 타원형, 대칭적인 일阶 미분 연산자로부터 비정상적 카스파로프 모듈을 구성하기.
• 수직 스피노르 위에 메트릭 접속 ∇을 정의하여 수평 딜라크 연산자 DB를 구성하기.
• 총 딜라크 연산자 DM을 DM = DV ⊗1 + 1⊗∇DB + Ω로 표현하기, 여기서 Ω는 명시적인 곡률 항이다.
• 반폐쇄 체인의 내부 텐서 곱을 사용하여 비정상적 KK-이론에서 카스파로프 곱을 표현하기.
• 반폐쇄 체인에 대해 쿠체로브스키의 정리의 일반화를 적용하여 카스파로프 곱의 구조를 검증하기.
• 총 공간 M 위의 딜라크 연산자의 당김이 KK-이론에서 텐서 합의 클래스와 일致함을 증명하기.

실험 결과

연구 질문

• RQ1 스피노$^c$ 다양체의 거의 정규 피브레이션 위의 딜라크 연산자는 비정상적 KK-이론에서 수직 및 수평 성분으로 분해될 수 있는가?
• RQ2 총 딜라크 연산자의 분해에서 곡률 항 Ω는 어떻게 유도되며, 기하학적 의미는 무엇인가?
• RQ3 딜라크 연산자의 텐서 합 분해는 이중 K-이론에서 내부 카스파로프 곱을 나타내는가?
• RQ4 비정상적 대표자는 유계 KK-이론과 달리 곡률과 같은 기하학적 자료를 유지할 수 있는가?
• RQ5 이 결과들은 비유계 및 특이 피브레이션으로 이전의 분해 정리들을 얼마나 일반화하는가?

주요 결과

• 거의 정규 피브레이션의 총 공간 위의 딜라크 연산자는 DM = DV ⊗1 + 1⊗∇DB + Ω로 분해되며, 여기서 DV는 수직 타원형 딜라크 연산자 가중치이고 Ω는 명시적인 곡률 항이다.
• 텐서 합 분해는 이중 K-이론에서 내부 카스파로프 곱을 나타내며, ı∗[DM] = [DV ]b⊗C0(B)[DB]이다.
• 곡률 항 Ω는 유계 KK-이론에서는 보이지 않지만 비정상적 KK-이론에서는 유지되며, 비정상적 대표자의 장점을 드러낸다.
• M 위의 딜라크 연산자의 당김이 0으로 확장될 때 ı∗[DM] = [DM]을 만족하여, KK-이론에서의 분해와 일致함을 보장한다.
• 결과는 비유계 스피노$^c$ 다양체 사이의 적절한 리만 피브레이션으로 이전의 분해 정리들을 일반화한다.
• 이 구성은 스피노$^c$ 다양체 위의 토러스 작용에 적용 가능하며, 주요 스트레이트 위에서 딜라크 연산자에 대해 DN = DV ⊗1 + 1⊗∇DN0/G + Ω의 분해를 얻는다.