[논문 리뷰] A Category of Spectral Triples and Discrete Groups with Length Function

Paolo Bertozzini, Roberto Conti외 1명|ArXiv.org|2005. 02. 28.

Advanced Operator Algebra Research참고 문헌 9인용 수 6

한 줄 요약

이 논문은 대수 준동형사상과 힐버트 공간의 교환 연산자를 통해 그들 사이의 사상으로서의 스펙트럴 트리플릿의 새로운 범주를 정의함으로써, 기존 문헌에서의 격차를 메운다. 또한, 길이 함수를 가진 이산군으로부터 콘네의 스펙트럴 트리플릿 구성이 함자적임을 증명하여, 이러한 군의 범주에서 스펙트럴 트리플릿의 범주로의 공변 함자를 제공한다.

ABSTRACT

In the context of A. Connes' spectral triples, a suitable notion of morphism is introduced. Discrete groups with length function provide a natural example for our definitions. A. Connes' construction of spectral triples for group algebras is a covariant functor from the category of discrete groups with length functions to that of spectral triples. Several interesting lines for future study of the categorical properties of spectral triples and their variants are suggested.

연구 동기 및 목표

• 스펙트럴 트리플릿 간에 자연스러운 사상의 개념을 정의하여 문헌에서의 격차를 메우기.
• 이러한 사상들을 사용하여 스펙트럴 트리플릿의 범주를 구축함으로써, 비가환 기하학에서 범주론적 추론을 가능하게 하기.
• 길이 함수를 가진 이산군에 대한 콘네의 스펙트럴 트리플릿 구성이 함자적임을 입증하기.
• 미래의 비가환 부분다양체, 몫공간, 비가환 기하학 내의 범주적 구조 연구를 위한 기초를 마련하기.
• 모듈러 범주 간의 함자들을 통한 일반화를 포함한, 스펙트럴 트리플릿을 위한 더 넓은 범주적 프레임워크 제안하기.

제안 방법

• 스펙트럴 트리플릿의 사상을 (φ, Φ)의 쌍으로 정의한다. 여기서 φ는 대수 간의 단위 ∗-준동형사상이며, Φ는 힐버트 공간 간의 유계 선형 연산자이며, 딜라크 연산자를 교환한다.
• Φ가 모든 a ∈ 대수에 대해 D₂ ∘ Φ = Φ ∘ D₁ 및 Φ ∘ π₁(a) = π₂(φ(a)) ∘ Φ 를 만족하도록 요구한다.
• 길이 함수를 가진 이산군의 범주에서 스펙트럴 트리플릿의 범주로의 공변 함자를 구성한다.
• 대수로는 군 대수 C[G]를, 힐버트 공간으로는 ℓ²(G)를, 길이 함수 ω를 통해 정의된 딜라크 연산자 Dω를 사용한다.
• 군에 스펙트럴 트리플릿을 할당하고, 군 준동형사상에 대해 사상을 할당하는 할당이 함자 법칙을 만족함을 증명한다.
• 군 준동형사상 φ: G → H 가 오른쪽 역함수 ψ: H → G 를 가진다면, 힐버트 공간 상에서 유도된 사상 ℋψ: ℋG → ℋH 가 등장함을 보인다. 이는 호환성 보장을 위해 등장한다.

실험 결과

연구 질문

• RQ1 기하학적 및 해석적 구조를 유지하는 스펙트럴 트리플릿 간의 사상에 적합한 정의는 무엇인가?
• RQ2 콘네의 군 대수로부터의 스펙트럴 트리플릿 구성이 길이 함수를 가진 이산군의 범주에서 함자로 형식화될 수 있는가?
• RQ3 어떤 조건에서 군 준동형사상이 잘 정의된 스펙트럴 트리플릿의 사상으로 유도되는가?
• RQ4 스펙트럴 트리플릿의 범주적 프레임워크는 어떻게 비가환 부분다양체와 몫공간을 포함하도록 확장될 수 있는가?
• RQ5 비가환 기하학에서 힐버트 공간 등장사상과 대수 준동형사상을 사용하여 사상을 정의할 경우의 함의는 무엇인가?

주요 결과

• 대수 준동형사상과 힐버트 공간 간의 교환 유계 연산자를 사용하여 잘 정의된 스펙트럴 트리플릿의 범주가 구축된다.
• 길이 함수를 가진 이산군으로부터 콘네의 스펙트럴 트리플릿 구성이 이산군의 범주에서 스펙트럴 트리플릿의 범주로의 공변 함자임이 입증된다.
• 모든 군 준동형사상 φ: G → H 가 오른쪽 역함수 ψ: H → G 를 가진다면, 힐버트 공간 상에서 유도된 사상 ℋψ: ℋG → ℋH 는 등장사상이다.
• 쌍 (𝒜ψ, ℋψ) 는 딜라크 연산자와 관련된 요구 조건을 만족하는 스펙트럴 트리플릿의 범주 내의 사상이 된다.
• 이 구성은 기하학적 범주(가중 군)에서 스펙트럴 트리플릿의 범주로의 함자의 구체적 예를 제공한다.
• 이 프레임워크는 비가환 기하학의 범주화 및 비가환 부분다양체와 몫공간을 함자들을 통해 연구할 수 있는 길을 시사한다.