[논문 리뷰] Elliptic regularity for Dirac operators on families of noncompact manifolds

Johannes Ebert|arXiv (Cornell University)|2016. 08. 04.

Advanced Operator Algebra Research참고 문헌 14인용 수 14

한 줄 요약

이 논문은 비콤팩트 다성분에 대한 딜라크 연산자에 대한 타원적 정규성 이론을 수립하며, $$\mathrm{C}^*\text{-대수}$$-선형 연산자와 국소적으로 비자명한 피복층을 포함하는 인덱스 이론을 일반화한다. 완비성과 타원성 조건 하에서 딜라크 연산자의 유계 변환이 프리드홀름 가족을 정의하고, 그 인덱스가 $$K^0(X;\mathbf{A})$$에 속한다는 것을 증명한다. 이는 고전적 아티야-식딩 및 미슈첸코-포멘코 인덱스 이론을 비콤팩트 및 비자명한 가족으로 확장한다.

ABSTRACT

We develop elliptic regularity theory for Dirac operators in a very general framework: we consider Dirac operators linear over $C^*$-algebras, on noncompact manifolds, and in families which are not necessarily locally trivial fibre bundles.

연구 동기 및 목표

• 비콤팩트 다성분에서 $$\mathrm{C}^*\text{-대수}$$ 계수를 가진 딜라크 연산자의 타원적 정규성에 대한 일반적 프레임워크를 개발하는 것.
• 국소적으로 비자명한 피복층이 아닌 비콤팩트 섬유를 가진 딜라크 연산자 가족에 대해 아티야-식딩 가족 인덱스 정리의 일반화를 시도하는 것.
• 연속적 힐버트-$$\mathbf{A}$$-모듈과 함수 해석학을 이용하여 $$K$$-이론 군 $$K^0(X;\mathbf{A})$$에서 이러한 연산자의 인덱스를 정의하고 특성화하는 것.
• 모리타 동치와 $$KK$$-이론을 이용하여 이 일반화된 설정에서 톰 동치와 보트 주기성을 수립하는 것.

제안 방법

• 연속적 힐버트-$$\mathbf{A}$$-모듈을 이용하여 $$\mathrm{C}^*\text{-대수}$$-선형인 미분 연산자를 체계화하는 것.
• 함수 해석학과 스펙트럼 이론을 통해 힐버트 모듈 위에서 비유계 자기수반 연산자를 정의하는 것.
• 완비성 조건 하에서 비콤팩트 다성분 위의 딜라크 연산자에 대해 유계 변환 $$\frac{D}{(1+D^2)^{1/2}}$$을 구성하는 것.
• $$KK$$-이론을 이용하여 $$\mathbf{A}$$-선형 연산자를 가진 일반화된 설정에서 톰 동치와 보트 주기성을 증명하는 것.
• 다른 클리포드 모듈의 $$K$$-군을 연결하고 $$K$$-이론 군 간의 동형을 수립하기 위해 모리타 동치를 적용하는 것.
• 적절한 기하학적 및 해석적 조건 하에서 유족 $$\left(\frac{D_x}{(1+D_x^2)^{1/2}}\right)_{x\in X}$$이 $$K^0(X;\mathbf{A})$$에 속하는 클래스를 정의함을 증명하는 것.

실험 결과

연구 질문

• RQ1 비콤파クト 다성분에서 $$\mathrm{C}^*\text{-대수}$$ 계수를 가진 딜라크 연산자가 본질적으로 자기수반일 조건은 무엇인가?
• RQ2 섬유가 비콤팩트이고 가정이 국소적으로 비자명하지 않은 경우, 딜라크 연산자의 가족 인덱스는 어떻게 정의될 수 있는가?
• RQ3 유계 변환이 $$K^0(X;\mathbf{A})$$에서 인덱스를 특성화하는 데 어떤 역할을 하는가?
• RQ4 $$\mathrm{C}^*\text{-대수}$$-선형 연산자 가족의 맥락에서 톰 동치와 보트 주기성은 어떻게 일반화되는가?
• RQ5 $$KK$$-이론과 모리타 동치를 통해 비콤파クト 다성분의 가족에 대한 딜라크 연산자의 인덱스를 계산할 수 있는가?

주요 결과

• $$D$$가 완비 비콤파クト 다성분 위에서 본질적으로 자기수반일 경우, 유계 변환 $$\frac{D}{(1+D^2)^{1/2}}$$은 힐버트 모듈 $$L^2(M;V)$$ 위에서 프리드홀름 연산자를 정의한다.
• 비콤파クト 섬유 위의 딜라크 연산자 가족에 대해, 완비성과 타원성 조건 하에서 유계 변환의 가족은 $$K^0(X;\mathbf{A})$$에 속하는 클래스를 정의한다.
• 유클리드 벡터 필드 $$V\to X$$에 대해 톰 동치 $$K^W(X;\mathbf{A}) \xrightarrow{\sim} K^{W\oplus V}(V,V_0;\mathbf{A})$$가 성립하며, 이는 보트 맵을 일반화한다.
• 보트 맵은 $$KK$$-교차곱과 보트 클래스 $$\beta \in KK(\mathbf{Cl}^{1,0}, \mathbf{C}_0(\mathbb{R}))$$를 통해 실현되며, 이는 그것이 $$KK$$-동치임을 증명한다.
• 모리타 동치 $$\operatorname{mor}_V$$는 동형사상 $$K^W(X;\mathbf{A}) \xrightarrow{\sim} K^{W\oplus V\oplus V^{-}}(X;\mathbf{A})$$를 유도하며, $$K$$-이론적 구조를 유지한다.
• 일반화된 $$K$$-이론 군 $$K^V(X,Y;\mathbf{A})$$는 $$KK(\mathbf{C}; \Gamma_0(X-Y; \mathbf{Cl}(V^{-}\otimes\mathbf{A})))$$와 동형이며, 이는 군형 $$K$$-이론의 $$KK$$-이론적 기술을 제공한다.