[논문 리뷰] On the noncommutative spectral flow

Charlotte Wahl|ArXiv.org|2006. 02. 07.

Advanced Operator Algebra Research참고 문헌 25인용 수 13

한 줄 요약

이 논문은 힐버트 $C^*$-모듈러스 위의 정칙 자기수반 프레드홀름 연산자에 대한 경로에 대해 일반화된 비가환 스펙트럴 플로우를 도입한다. 이는 축약성과 유니터리 변환 방법을 사용한다. 스펙트럴 플로우의 유일성은 함자적 공리에 의해 확립되며, 이는 비가환 마스лов 지수를 정의하는 데 응용되며, $KK$-이론과 고차 지수 이론에 응용된다.

ABSTRACT

We define and study the noncommutative spectral flow for paths of regular selfadjoint Fredholm operators on a countably generated Hilbert C*-module. We give an axiomatic description and discuss some applications. One of them is the definition of a noncommutative Maslov index for paths of Lagrangians which appears in a splitting formula for the spectral flow. Analogously we study the spectral flow for odd operators on a graded module.

연구 동기 및 목표

• 힐버트 $C^*$-모듈러스 위의 정칙 자기수반 프레드홀름 연산자에 대한 경로에 대해 고전적 스펙트럴 플로우를 일반화하여, 컴팩트 해석자만을 갖는 경우를 초월한다.
• 스펙트럴 플로우를 사용하여 라그랑주 경로에 대한 비가환 마스볼 지수를 정의하며, 분할 공식과 기하학적 응용에 기반한다.
• 스펙트럴 섹션과 보트 주기성의 두 기존 접근법을 통합하기 위해, 컴팩트 연산자로 다를 수 있는 프로젝션에 대한 상대 지수를 도입한다.
• 스펙트럴 플로우를 $K_0$-이론에서 함자적 불변량으로 확립하며, $KK$-이론과 $C^*$-대수적 구조와 호환된다.
• 스펙트럴 플로우가 자연스러운 공리 집합에 의해 유일하게 결정됨을 증명하며, 이는 유니터리 코남칭 불변성과 유계 변환과의 호환성을 포함한다.

제안 방법

• 유니터리 변환과 보트 주기성을 사용하여 스펙트럴 플로우를 정의하며, 역행성 있는 끝점과 정칙 프레드홀름 성질을 갖는 경로에 적용 가능하다.
• 컴팩트 연산자로 다를 수 있는 힐버트 $C^*$-모듈러스 위의 프로젝션 쌍에 대한 상대 지수를 도입하며, 이는 스펙트럴 섹션의 차이를 일반화한다.
• 유계 변환 $D \mapsto D(1+D^2)^{-1/2}$을 사용하여 비유계 및 유계 연산자 경로를 연결하며, 스펙트럴 플로우 불변성을 유지한다.
• 카스파로프 곱과 $KK$-이론의 표준 동형사상을 사용하여 비가환 스펙트럴 플로우를 구성하며, 특히 $KK_0(\mathbb{C}, C_0((0,1), \mathcal{A}))$에서 적용된다.
• 비가환 다각형 위의 에르미트 연산자 경로와 $C^*$-대수 위의 가족에 이 те론을 적용하며, 고차 서명과 횡단 지수와 연결된다.
• 두 정의가 모두 적용될 경우, 축약성 정의와 유니터리 기반 정의가 동치임을 증명하여 일관성을 확보한다.

실험 결과

연구 질문

• RQ1 정칙 자기수반 프레드홀름 연산자에 대한 경로에 대해, 컴팩트 해석자를 갖는 경우를 초월하여 스펙트럴 플로우를 어떻게 일반화할 수 있는가?
• RQ2 비가환 스펙트럴 플로우가 $C^*$-대수와 힐버트 모듈러스의 맥락에서 어떻게 고유하게 특징지어지는가?
• RQ3 비가환 마스볼 지수는 스펙트럴 플로우와 어떻게 관련되어 있으며, 분할 공식에서 어떤 역할을 하는가?
• RQ4 일반화된 스펙트럴 섹션이 존재하지 않을 경우에도, 보트 주기성과 유니터리 변환을 사용하여 스펙트럴 플로우를 정의할 수 있는가?
• RQ5 스펙트럴 플로우와 $KK$-이론 사이의 관계는 무엇이며, 특히 홀수 $K$-이론과 $KK$-이론의 쌍형성 맥락에서 어떤가?

주요 결과

• 비가환 스펙트럴 플로우는 $C^*$-대수 $\mathcal{A}$에서의 함자성, 유니터리 코남칭 불변성, 유계 변환과의 호환성 등을 포함하는 공리 집합에 의해 고유하게 결정된다.
• 컴팩트 연산자로 다를 수 있는 프로젝션에 대한 상대 지수는 몇 가지 공리에 의해 고유하게 정의되며, $C^*$-모듈러스 설정에서 스펙트럴 섹션의 차이 요소를 일반화한다.
• 자기수반 연산자에 대한 $\mathbb{Z}/2$-중요 힐버트 $C^*$-모듈러스 위의 스펙트럴 플로우는 $K_1(\mathcal{A})$ 값을 취하며, 이는 이론을 홀수 경우로 확장한다.
• 두 정의가 모두 적용될 경우, 스펙트럴 플로우는 스펙트럴 섹션을 통한 가족 스펙트럴 플로우와 일치하며, 접근법 간 일관성을 보장한다.
• 스펙트럴 플로우는 카스파로프 곱과 $KK$-이론의 표준 동형사상과 관련이 있으며, $[F_t]$는 $KK_0(\mathbb{C}, C_0((0,1), \mathcal{A}))$에서 동형사상 $f: \mathbb{C} \to C_1^1 \otimes C_1^2$ 아래에서 곱의 이미지로 표현된다.
• 이 구성은 고차 지수 이론에의 응용을 위한 프레임워크를 제공하며, 고차 서명과 분할 다발의 횡단 서명에 응용된다.