[논문 리뷰] Factorisation of equivariant spectral triples in unbounded KK-theory

Iain Forsyth, Adam Rennie|arXiv (Cornell University)|2015. 05. 12.

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

한 줄 요약

이 논문은 컴팩트 아벨 리 군에 대해 $G$--equivariant 스펙트럴 트리플을 인수분해하기 위한 충분조건을 설정한다. 특히, 이는 두 개의 비유계 $KK$-사이클, 즉 대수 위의 군 작용에서 유래한 것과 고정점 스펙트럴 트리플에서 유래한 것의 카스파로프 곱으로 표현된다. 핵심 결과는 원환면 주문다발 위의 군형 스펙트럴 트리플이 항상 인수분해된다는 것이며, 기하학적 및 해석적 제약 조건, 즉 쿠체로프스키 기준과 클리포드 호환성에 의해 검증된다.

ABSTRACT

We provide sufficient conditions to factorise an equivariant spectral triple as a Kasparov product of unbounded classes constructed from the group action on the algebra and from the fixed point spectral triple. Our results are for the action of compact abelian Lie groups, and we demonstrate them with examples from manifolds and $θ$-deformations. In particular we show that equivariant Dirac-type spectral triples on the total space of a torus principal bundle always factorise. We also present an example that shows what goes wrong in the absence of our sufficient conditions (and how we get around it for this example).

연구 동기 및 목표

• 컴팩트 아벨 리 군 $G$에 대해 $G$-equivariant 스펙트럴 트리플이 비유계 $KK$-클래스의 카스파로프 곱으로 인수분해될 수 있는 충분조건을 제공하는 것.
• 군 작용으로부터 $KK_G^{ ext{dim }G}(A, A^G)$에 속하는 비유계 대표를 구성하고, 고정점 트리플로부터 $KK_G^{j+ ext{dim }G}(A^G, \field{C})$에 속하는 비유계 대표를 구성하는 것.
• 기하학적 및 해석적 제약 조건, 예를 들어 스펙트럴 부분공간 가정과 클리포드 호환성 하에서, 이러한 클래스의 카스파로프 곱이 원래 스펙트럴 트리플의 $KK$-클래스를 복원함을 보여주는 것.
• 조건이 위반될 경우 인수분해가 실패하는 것을 분석하고, 비자유 케이스, 예를 들어 극점들을 제외한 $S^2$에서의 제한을 통해 여전히 인수분해가 가능함을 보여주는 것.
• 구성적 카스파로프 곱이 원래 스펙트럴 트리플을 복원하는지 조사하여, 원래 연산자와 곱 연산자 사이의 차이가 일반적으로 비유계이지만 등거리 궤도 조건 하에서는 유계임을 보여주는 것.

제안 방법

• 저자들은 군 $G$가 $C^*$-대수 $A$와 $B$에 작용하는 비유계 $G$--equivariant 카스파로프 $A$-$B$-모듈을 정의하며, 군 작용이 모듈 구조와 딜라크 연산자와 호환되어야 함을 요구한다.
• 그들은 [CNNR]에서 제시된 스펙트럴 부분공간 가정을 도입하여, 비자유 대수 위의 군 작용으로부터 $KK_G^{ ext{dim }G}(A, A^G)$-클래스의 존재를 보장한다.
• 고정점 $KK$-사이클을 정의하기 위해 클리포드 작용 $\eta: \mathbb{C}l_{\text{dim }G} \to B(\mathcal{H})$ 가 필요하며, 이는 군 작용과 딜라크 연산자와의 호환성을 만족해야 한다.
• 요약적으로, 카스파로프 곱의 인수분해를 쿠체로프스키 기준을 사용하여 검증하며, 이는 딜라크 연산자와 $T$의 차이 $\mathcal{D} - T$를 포함하는 특정 이차형식의 양성 조건을 요구하여 원래 클래스를 표현함을 보장한다.
• 2차원 구면 예제에서는 오른쪽 모듈과 $C_0((0,\pi)) \widehat{\otimes} \mathbb{C}l_1$ 위의 스펙트럴 트리플 사이의 유니터리 동치를 구성하여, 곱 연산자가 $C_0((0,\pi))$ 위의 홀수 스펙트럴 트리플로부터 유도된 어떤 짝수 스펙트럴 트리플과도 유니터리 동치가 아니라는 것을 보여준다.
• 이 방법은 자유 등거리 작용을 갖는 원환면 주문다발에 적용되며, 여기서는 인수분해가 성립하고, 차이 $\mathcal{D} - T$ 는 유계이므로 메트릭 구조에 민감함을 보여준다.

실험 결과

연구 질문

• RQ1 컴팩트 아벨 리 군 $G$에 대해 $G$-equivariant 스펙트럴 트리플이 비유계 $KK$-클래스의 카스파로프 곱으로 인수분해될 수 있는 조건은 무엇인가?
• RQ2 군 작용이 자유가 아닐 경우, 예를 들어 원환면의 자전 작용 하에서 $S^2$에서 인수분해가 가능할 수 있는가?
• RQ3 구성적 카스파로프 곱이 두 비유계 사이클의 곱이 원래 스펙트럴 트리플과 동치인가? 그리고 차이 연산자 $\mathcal{D} - T$ 는 어떻게 행동하는가?
• RQ4 특히 궤도의 등거리 임베딩이 원래 딜라크 연산자와 곱 연산자 사이의 차이의 유계성에 어떤 역할을 하는가?
• RQ5 인수분해에서 오른쪽 모듈은 기저 공간 위의 홀수 스펙트럴 트리플로부터 유도된 짝수 스펙트럴 트리플로 표현될 수 있는가?

주요 결과

• 자기 등거리 원환면 작용을 갖는 컴팩트 리만다양체 위의 군형 딜라크형 스펙트럴 트리플은 항상 군 작용 클래스와 고정점 클래스의 카스파로프 곱으로 인수분해된다.
• 원래 딜라크 연산자 $\mathcal{D}$ 와 구성된 곱 연산자 $T$ 사이의 차이 $\mathcal{D} - T$ 는 일반적으로 비유계이지만, 궤도가 등거리로 임베딩되어 있을 경우(상수 배율까지)는 유계가 된다.
• 원환면 작용이 있는 2차원 구면 $S^2$의 경우, 비자유성으로 인해 $C(S^2)$ 위에서는 인수분해가 불가능하지만, 극점에서 값이 0이 되는 함수로 제한함으로써 $C_0(S^2 \setminus \{N,S\})$에서 인수분해가 성립한다.
• 2차원 구면 예제의 인수분해에서 오른쪽 모듈은 특정한 연산 $-i\partial_\theta \otimes \omega - (k - \ell - 1/2)\csc(\theta) \otimes c$ 를 갖는 $C_0((0,\pi)) \widehat{\otimes} \mathbb{C}l_1$ 위의 스펙트럴 트리플과 유니터리 동치이며, 이는 $C_0((0,\pi))$ 위의 홀수 스펙트럴 트리플로부터 유도될 수 없다.
• 쿠체로프스키 기준의 양성 조건은 $k - \ell$ 가 짝수일 경우 $\ell = k$, 홀수일 경우 $\ell = k-1$ 로 선택할 때 정확히 만족되며, 이는 인수분해가 성립함을 보장한다.
• 이 구성은 카스파로프 곱이 기하학적 자료에 민감함을 보여준다: $\mathcal{D} - T$ 의 유계성은 군 궤도의 등거리 임베딩에 따라 달라지며, 이는 메트릭 구조가 인수분해의 타당성에 영향을 준다는 것을 보여준다.