[논문 리뷰] Localisations of half-closed modules and the unbounded Kasparov product

Koen van den Dungen|arXiv (Cornell University)|2020. 06. 18.

Theoretical and Computational Physics인용 수 4

한 줄 요약

이 논문은 반폐쇄 모듈에 대한 새로운 국소화 절차를 도입하여, 비유계 카스파로프 tích의 일반화된 쿠체로브스키 정리의 국소적 양성 조건을 제안한다. 이는 비자기 연산자를 일반화하는 반폐쇄 모듈을 다루는 데 사용되며, 기존의 전역적 양성 조건을 국소적 양성 조건으로 대체함으로써, 비콤팩트 또는 완비되지 않은 다양체 위에서 대칭적이지만 자기수반적이지 않은 연산자에 응용 가능하게 한다. 또한, 반폐쇄 모듈이 두 다른 모듈의 카스파로프 곱을 나타내는 데 충분한 조건을 제공한다.

ABSTRACT

In the context of the Kasparov product in unbounded KK-theory, a well-known theorem by Kucerovsky provides sufficient conditions for an unbounded Kasparov module to represent the (internal) Kasparov product of two other unbounded Kasparov modules. In this article, we discuss several improved and generalised variants of Kucerovsky's theorem. First, we provide a generalisation which relaxes the positivity condition, by replacing the lower bound by a relative lower bound. Second, we also discuss Kucerovsky's theorem in the context of half-closed modules, which generalise unbounded Kasparov modules to symmetric (rather than self-adjoint) operators. In order to deal with the positivity condition for such non-self-adjoint operators, we introduce a fairly general localisation procedure, which (using a suitable approximate unit) provides a 'localised representative' for the KK-class of a half-closed module. Using this localisation procedure, we then prove several variants of Kucerovsky's theorem for half-closed modules. A distinct advantage of the localised approach, also in the special case of self-adjoint operators (i.e., for unbounded Kasparov modules), is that the (global) positivity condition in Kucerovsky's original theorem is replaced by a (less restrictive) 'local' positivity condition, which is closer in spirit to the well-known Connes-Skandalis theorem in the bounded picture of KK-theory.

연구 동기 및 목표

• 반자기 연산자에 국한되지 않고, 반폐쇄 모듈을 통해 비자기 연산자로까지 비유계 카스파로프 곱의 쿠체로브스키 정리를 확장한다.
• 쿠체로브스키 원래 정리의 전역적 양성 조건을 상대적 하한과 국소적 양성 조건을 도입하여 완화한다.
• 반폐쇄 모듈의 KK류에 대한 국소적 대표를 얻기 위해 근사 단위를 사용하는 일반적인 국소화 절차를 개발한다.
• 수직 타원형 연산자가 정의된 개방 다각형의 서브머전션에서의 기하학적 예제에 적용 가능한 프레임워크를 제공한다.
• 자기수반인 경우에도 원래의 전역적 양성 조건보다 국소적 양성 조건이 더 융통성 있고 광범위하게 적용 가능하다는 것을 입증한다.

제안 방법

• 적절한 근사 단위를 사용한 국소화 절차를 도입하여 반폐쇄 모듈의 KK류에 대한 국소적 대표를 정의한다.
• 쿠체로브스키 정리의 전역적 양성 조건을 국소적 양성 조건으로 대체하며, 컷오프 연산자 $u_n$을 통한 밀도 있는 핵심에서 검증한다.
• 유계 변환과 그래프 노름 추정을 사용하여 교환자 $[\mathcal{S}, \mathcal{T}]$ 가 닫힐 수 있고, $u_n$의 상에서 그 닫힘 연산자가 제어됨을 보장한다.
• 교환자의 성장률을 제어하기 위해 추정식 $\| [\mathcal{S}, \mathcal{T}] u_n \eta \| \leq C_n \| u_n \eta \|_{\mathcal{D}}$ 를 적용한다.
• 대칭 형식을 유계화하기 위해 부등식 $\pm \langle u_n \psi | \overline{[\mathcal{S}, \mathcal{T}]} u_n \psi \rangle \leq c_n \langle u_n \psi | (1 + \mathcal{D}^*\mathcal{D})^{1/2} u_n \psi \rangle$ 를 활용한다.
• 핵심 성질 $\mathcal{F} \subset \operatorname{Dom}(\mathcal{D})$ 와 노름 수렴 논증을 통해 극한을 취하고 곱 조건을 검증한다.

실험 결과

연구 질문

• RQ1 쿠체로브스키 정리는 반폐쇄 모듈로 일반화될 수 있는가? 이는 비자기 연산자를 허용한다.
• RQ2 쿠체로브스키 정리의 전역적 양성 조건은 어떻게 국소적 양성 조건으로 대체될 수 있는가?
• RQ3 근사 단위를 사용한 국소화 절차는 반폐쇄 모듈의 KK류에 대한 대표를 정의하는 데 어떤 역할을 하는가?
• RQ4 국소적 양성 조건은 비콤팩트 다양체 위의 수직 타원형 연산자와 같은 기하학적 설정에서 카스파로프 곱을 검증하는 데 사용될 수 있는가?
• RQ5 자기수반인 경우에도 원래의 전역적 양성 조건보다 국소적 양성 조건이 더 융통성 있고 광범위하게 적용 가능한가?

주요 결과

• 논문은 쿠체로브스키 정리에서 전역적 양성 조건을 대체할 수 있는 국소적 양성 조건을 확립하여, 비자기 연산자에도 적용 가능하게 한다.
• 근사 단위 $\{u_n\}$ 를 사용한 국소화 절차를 통해 반폐쇄 모듈의 KK류에 대한 국소적 대표를 구성할 수 있다.
• 교환자 $[\mathcal{S}, \mathcal{T}]$ 가 닫힐 수 있고, 추정식 $\| [\mathcal{S}, \mathcal{T}] u_n \eta \| \leq C_n \| u_n \eta \|_{\mathcal{D}}$ 를 통해 그 노름이 제어됨을 보였다.
• 증명은 $u_n \cdot \operatorname{Dom}(\mathcal{D}) \subset \operatorname{Dom}(\overline{[\mathcal{S}, \mathcal{T}]})$ 를 보여주며, 곱에 필요한 도메인 호환성을 확보한다.
• 부등식 $\pm \langle u_n \psi | \overline{[\mathcal{S}, \mathcal{T}]} u_n \psi \rangle \leq c_n \langle u_n \psi | (1 + \mathcal{D}^*\mathcal{D})^{1/2} u_n \psi \rangle$ 는 대칭 형식의 유계성을 확인한다.
• 결과적으로 비유계 카스파로프 곱의 적용 범위는 불완전한 다양체 위의 딜라 타입 연산자나 서브머전션 위의 수직 타원형 연산자와 같은 기하학적 예제로 확장된다.