[논문 리뷰] The Kasparov product on submersions of open manifolds

Koen van den Dungen|arXiv (Cornell University)|2018. 11. 19.

Advanced Operator Algebra Research참고 문헌 20인용 수 2

한 줄 요약

이 논문은 개방된, 가능하게 비콤팩트이거나 완비성이 없는 다성분의 리만 하위사상에 대해 비유계 KK이론에서 내부 카스파로프 곱의 새로운 구성법을 제시한다. 히그슨의 국소화 기법을 수직 연산자로 확장하여, 총공간 위의 수직 타원형 대칭 연산자와 기저 위의 타원형 연산자의 텐서 합이 비콤팩트인 섬유를 가질 때조차도 카스파로프 곱을 나타낸다는 것을 보여준다. 주요 결과는 이전의 작업을 비콤팩트 섬유로 일반화하며, 카스파로프 곱을 통한 기본 클래스의 인수분해를 제공한다.

ABSTRACT

We study the Kasparov product on (possibly non-compact and incomplete) Riemannian manifolds. Specifically, we show on a submersion of Riemannian manifolds that the tensor sum of a regular vertically elliptic operator on the total space and an elliptic operator on the base space represents the Kasparov product of the corresponding classes in KK-theory. This construction works in general for symmetric operators (i.e. without assuming self-adjointness), and extends known results for submersions with compact fibres. The assumption of regularity for the vertically elliptic operator is not always satisfied, but depends on the topology and geometry of the submersion, and we give explicit examples of non-regular operators. We apply our main result to obtain a factorisation in unbounded KK-theory of the fundamental class of a Riemannian submersion, as a Kasparov product of the shriek map of the submersion and the fundamental class of the base manifold.

연구 동기 및 목표

• 비콤팩트 섬유를 가진 하위사상에 대해 비유계 KK이론에서 내부 카스파로프 곱의 구성법을 확장하기 위해.
• 기존 방법이 일반적으로 콤팩트 섬유를 요구하는 수직 연산자의 자기수반성 조건을 제거하기 위해.
• 비콤팩트 섬유가 존재하는 리만 하위사상에 대해 카스파로프 곱의 인수분해를 위한 새로운 독립적인 증명을 제공하기 위해.
• 수직 타원형 대칭 연산자가 정규일 조건을 확립하여 유계 변환과 KK이론 대표자를 사용할 수 있도록 하기 위해.

제안 방법

• 하위사상의 총공간 위의 수직 타원형 대칭 연산자로 유계 변환에 대한 히그슨의 국소화 방법을 확장한다.
• 사전콤팩트 열린 부분집합들의 국소 유한 커버와 분할 항등식을 사용하여 수직 연산자의 국소화된 대표자를 구성한다.
• 카스파로프 곱을 텐서 합 $ D = D_V \hat{\otimes} 1 + 1 \hat{\otimes} \nabla D_B $ 로 구성한다. 여기서 $ D_V $ 는 수직 타원형이고 $ D_B $ 는 기저에서 타원형이다.
• Kucerovsky의 정리를 적용하여, $ D_V $ 가 정규 조건을 만족할 경우 이 텐서 합이 카스파로프 곱을 나타낸다는 것을 검증한다.
• 기울기의 평균을 사용하여 수직 범주 위에 헤르미트 연결 $ \nabla $ 를 도입하여 $ D_B $ 를 $ C_0(B) $ 위의 힐베르트 모듈러스로 올린다.
• 비평탄성으로 인해 발생하는 보정항 $ -i/8 \, c(\Omega) $ 를 고려하여, $ D $ 가 총디랙 연산자 $ D_M $ 와 유니터리 동치임을 보인다.

실험 결과

연구 질문

• RQ1 수직 연산자가 자기수반적이지 않을 경우, 비콤팩트 섬유를 가진 하위사상에 대해 내부 카스파로프 곱을 구성할 수 있는가?
• RQ2 수직 타원형 대칭 연산자가 정규일 조건은 무엇인가? 이는 그의 유계 변환 정의를 가능하게 한다.
• RQ3 비유계 KK이론의 맥락에서 히그슨의 국소화 기법을 수직 연산자에 어떻게 적용할 수 있는가?
• RQ4 비콤팩트 섬유를 가진 리만 하위사상에서 곡률이 존재할 경우 카스파로프 곱의 정확한 형태는 무엇인가?
• RQ5 기본 클래스의 총공간에 대한 인수분해가 콤팩트 섬유의 경우를 초월하여 기저와 수직 클래스의 카스파로프 곱으로 표현될 수 있는가?

주요 결과

• 비콤팩트 섬유를 가질 경우조차도 수직 연산자 $ D_V $ 와 기저 연산자 $ D_B $ 의 카스파로프 곱은 텐서 합 $ D = D_V \hat{\otimes} 1 + 1 \hat{\otimes} \nabla D_B $ 로 표현된다.
• $ D_V $ 의 정규성은 모든 $ b \in B $ 에 대해 $ \text{ev}_b(\text{Dom}(D_V^*)) $ 가 $ D_b^* $ 의 코어가 되는 조건과 동치이며, 이는 하위사상의 기하학적·위상수학적 성질에 따라 달라진다.
• 이 구성은 비콤팩트 섬유의 경우에 대해 카스파로프 곱 공식을 위한 새로운 독립적인 증명을 제공하며, [KS18]에서 요구한 적절한(즉, 콤팩트 섬유) 하위사상으로의 결과를 확장한다.
• 곡률 형식 $ \Omega $ 가 0일 경우 총디랙 연산자 $ D_M $ 는 텐서 합 $ D $ 와 유니터리 동치이므로, 인수분해는 정확하다.
• 총공간 $ M $ 의 기본 클래스는 $ D_V $ 를 통한 쇼크 맵과 기저 $ B $ 의 기본 클래스의 카스파로프 곱으로 표현되며, 곡률 보정항 $ -i/8 \, c(\Omega) $ 를 고려한 형태이다.
• 명시적인 예시들은 섬유의 위상수학적 변화(예: 연결에서 비연결로) 또는 기하학적 변화(예: 완비에서 비완비로)가 있어도 정규성이 유지될 수 있음을 보여준다.