[논문 리뷰] On Type II noncommutative geometry and the JLO character

Alan Lai|arXiv (Cornell University)|2010. 03. 22.

Advanced Operator Algebra Research참고 문헌 21인용 수 3

한 줄 요약

이 논문은 비단일성 기하학에서 핵심 도구인 JLO 특성수를 유한 차원이 아닌 비트레이스 기하학을 포함하는 무한 차원 기하학으로 확장한다. 이는 유계가 아닌 Breuer-Fredholm 모듈러스를 Type II von Neumann 대수와 연관지어 정의함으로써 이루어지며, 이 설정에서 JLO 특성수가 Connes-Chern 특성수와 동일한 전체 순환 코homology 계열을 정의한다는 것을 증명한다. 이는 유한 차원, 비트레이스 기하학에서의 Type I 결과를 실수 지수를 가진 무한 차원 비트레이스 기하학으로 일반화한다.

ABSTRACT

The Jaffe-Lesniewski-Osterwalder (JLO) character is a homomorphism from K-homology to entire cyclic cohomology. This paper extends the domain of the JLO character to include Type II noncommutative geometry, the geometry represented by unbounded $θ$-summable Breuer-Fredholm modules; and shows that the JLO character coincides with the Chern-Connes character as a class in entire cyclic cohomolgoy.

연구 동기 및 목표

• 기저 대수로 작용하는 Type II von Neumann 대수를 갖는 비단일성 기하학으로 JLO 특성수의 정의역을 확장하는 것.
• Type II 설정에서 유한한 Fredholm 모듈러스를 일반화하는 유계가 아닌 Breuer-Fredholm 모듈러스에 대해 JLO 특성수를 정의하는 것.
• 전체 순환 코hom로에서 JLO 특성수 계열이 이 확장된 프레임워크 내에서 Connes-Chern 특성수 계열과 정확히 일치함을 확립하는 것.
• Atiyah-Singer의 지수 공식과 JLO-Comnes-Moscovici 동치성의 Type I 결과를 Type II 설정으로 일반화하는 것.
• 무한 차원 비단일성 기하학에서 실수 값을 가진 지수를 취하는 Breuer-Fredholm 지수를 위한 코homological 프레임워크를 제공하는 것.

제안 방법

• 논문은 C*-대수 A 위에서 유계가 아닌 Breuer-Fredholm 모듈러스를 정의하며, 이는 Type II von Neumann 대수 N과 연관된 Dirac 연산자 D를 포함하고, Connes의 유계가 아닌 Fredholm 모듈러스의 공리와 유사한 조건을 만족한다.
• D의 열핵 추적을 기반으로 A의 전체 순환 코hom로에서 JLO 특성수를 구성함으로써, Type I 설정에서의 구성 방식을 Type II 설정으로 일반화한다.
• 적절한 유 bounds가 아닌 Breuer-Fredholm 모듈러스의 변형에 대해 JLO 특성수가 호모토피 불변성을 띤다는 것이 입증된다.
• D에 대한 함수해석학적 계산을 통해 유 bounds가 아닌 모듈러스와 유 bounds 모듈러스 사이의 대응관계를 설정함으로써, 표준적인 유 bounds로의 전환을 확장한다.
• p-summable 유 bounds가 아닌 Breuer-Fredholm 모듈러스에 대해 JLO 특성수가 관련된 유 bounds 모듈러스의 Connes-Chern 특성수와 코homologous하다는 것을 증명한다.
• 이 증명은 Type II von Neumann 대수에서의 일반화된 특이 수 이론과 τ-measurable 연산자의 이론에 기반하며, 추적 아이디얼 L_N^p와 τ-콤���트 조건을 사용한다.

실험 결과

연구 질문

• RQ1 JLO 특성수가 Type I에서 Type II 비단일성 기하학으로 확장될 수 있는가? 이 경우 지수는 ℤ에서 ℝ로 값이 변한다.
• RQ2 Type II 설정에서 유 bounds가 아닌 Breuer-Fredholm 모듈러스에 대한 JLO 특성수가 전체 순환 코homology에서 Connes-Chern 특성수와 동일한 계열을 정의하는가?
• RQ3 특히 Dirac 연산자의 변형에 대해, Type II 설정에서 JLO 계열의 호모토피 불변성은 어떻게 행동하는가?
• RQ4 Type II 기하학에서 유 bounds가 아닌 모듈러스에서 유 bounds 모듈러스로 전환할 때, JLO 특성수와 Connes-Chern 특성수 사이의 관계는 무엇인가?
• RQ5 전체 순환 코hom로의 표준 도구와 추적 아이디얼이 Type II von Neumann 대수에서 τ-measurable 연산자 설정으로 얼마나 일반화되는가?

주요 결과

• JLO 특성수는 Type II 비단일성 기하학에서 유 bounds가 아닌 Breuer-Fredholm 모듈러스에 대해 잘 정의되어 있으며, 이는 Type I의 경우를 초월하여 정의역을 확장한다.
• 관련된 유 bounds Breuer-Fredholm 모듈러스에 대해 JLO 특성수가 전체 순환 코hom로에서 Connes-Chern 특성수와 동일한 코homology 계열을 정의한다.
• 연속적인 유 bounds가 아닌 Breuer-Fredholm 모듈러스의 변형에 대해 JLO 특성수가 호모토피 불변성을 유지하며, 코homology 계열을 그대로 유지한다.
• p-summable 유 bounds가 아닌 Breuer-Fredholm 모듈러스에 대해 JLO 특성수가 Connes-Chern 특성수와 코homologous하다. 이는 Connes-Moscovici의 Type I 결과를 일반화한다.
• 이 구성은 τ-measurable 연산자와 일반화된 특이 수 이론에 기반하며, Type II von Neumann 대수의 추적 구조와의 호환성을 보장한다.
• JLO 특성수를 통한 코homology 상의 지수 페어링은 실수 값을 가진 Breuer-Fredholm 지수를 재현하며, 이는 Type I 기하학에서 정수 값을 가진 지수와 대비된다.