[논문 리뷰] A remark about the Connes fusion tensor product

Andreas Thom|ArXiv.org|2006. 01. 03.

Algebraic structures and combinatorial models참고 문헌 5인용 수 14

한 줄 요약

이 논문은 von Neumann 대수 M 위의 이유한 힐버트 이중모듈러스에 대한 Connes 융합 텐서곱(CFTP)이 유계 벡터의 관점에서 볼 때 크게 단순화됨을 보여주며, CFTP 하에서 이러한 이중모듈러스의 범주와 표준 대수적 텐서곱 하에서 M 위의 유한 생성 프로젝티브 이중모듈러스의 범주 사이에 동치가 존재함을 밝힌다. 핵심 결과는 이중모듈러스의 범주에서 CFTP에 대한 모노이드 범주 동치를 유지하면서 쌍대성을 보존함으로써 CFTP를 효과적으로 대수화하고, 이 클래스의 모듈러스에 대해 그 기술적 복잡성을 제거함으로써 이루어진다.

ABSTRACT

We analyze the algebraic structure of the Connes fusion tensor product (CFTP) in the case of bi-finite Hilbert modules over a von Neumann algebra M. It turns out that all complications in its definition disappear if one uses the closely related bi-modules of bounded vectors. We construct an equivalence of monoidal categories with duality between a category of Hilbert bi-modules over M with CFTP and some natural category of bi-modules over M with the usual relative algebraic tensor product. The results are surely well-known to the experts. We hope that the exposition and presentation is useful for those who want to learn about the CFTP .

연구 동기 및 목표

• von Neumann 대수 M 위의 이유한 힐버트 이중모듈러스의 맥락에서 Connes 융합 텐서곱(CFTP)의 대수적 구조를 명확히 하는 것.
• 유계 벡터를 사용할 경우 CFTP의 복잡성이 표준 대수적 텐서곱으로 감소함을 보여줌으로써 CFTP의 인식되는 복잡성을 해소하는 것.
• CFTP 하에서의 이유한 쌍대가능한 힐버트 이중모듈러스의 범주와 상대적인 대수적 텐서곱 하에서의 유한 생성 프로젝티브 이중모듈러스의 범주 사이에 모노이드 범주 동치를 설정하는 것.
• 알제브라적 양자장 이론과 타원 코hom올로지에 응용하기 위해 CFTP의 연구를 단순화하는 프레임워크를 제공하는 것.
• 이유한, 쌍대가능한 이중모듈러스에 국한된 경우 CFTP가 본질적으로 표준 텐서곱보다 더 복잡하지 않음을 보여주는 것.

제안 방법

• 논문은 M 위의 유한 생성 프로젝티브 이중모듈러스의 범주에서 이론적 이중모듈러스의 범주로 가는 함자 Dφ를 유계 벡터를 사용하여 구성한다.
• CFTP는 M 위의 대수적 텐서곱의 완비화를 통해 정의되며, 충실한 정규 상태 φ에 관련된 L²공간 L²φ(M)를 사용한다.
• 증명은 Dφ(H) ⊗M Dφ(K) → Dφ(H □M K) 사상이 이중모듈러스의 자연스러운 동형사상임을 보여주어 모노이드 동치를 확립함에 기반한다.
• Tomita-Takesaki 이론을 사용하여 L²φ(M) 위의 오른쪽 모듈러스 구조를 정의함으로써 왼쪽 모듈러스 구조와의 호환성을 확보한다.
• 함자 Dφ가 쌍대성을 보존함을 보이기 위해, 호모모르피즘 이중모듈러스의 성질을 사용하여 Dφ(H)의 쌍대가 자연스럽게 Dφ(overline{H})와 동형임을 증명한다.
• 결합성과 항등원 동형사상과의 호환성이 확인되어 모노이드 구조가 확인된다.

실험 결과

연구 질문

• RQ1 von Neumann 대수 M 위의 이론적 이중모듈러스에 대해 Connes 융합 텐서곱(CFTP)은 대수적으로 단순화될 수 있는가?
• RQ2 CFTP 하에서의 이론적 쌍대가능한 힐버트 이중모듈러스의 범주와 표준 대수적 텐서곱 하에서의 유한 생성 프로젝티브 이중모듈러스의 범주 사이에 모노이드 동치가 존재하는가?
• RQ3 힐버트 이중모듈러스를 그 유계 벡터 이중모듈러스로 매핑하는 함자 Dφ는 관련된 범주의 모노이드 및 쌍대 구조를 보존하는가?
• RQ4 유계 벡터의 사용이 일반적으로 CFTP와 연관된 기술적 복잡성을 어떻게 제거하는가?
• RQ5 이론적 이중모듈러스 및 쌍대가능한 이중모듈러스에 국한된 경우 CFTP는 완전히 대수적 텐서곱으로 이해될 수 있는가?

주요 결과

• 이론적 이중모듈러스의 Connes 융합 텐서곱은 그에 대응하는 유계 벡터 이중모듈러스의 표준 대수적 텐서곱과 자연스럽게 동형이다.
• CFTP 하에서의 이론적 쌍대가능한 힐버트 이중모듈러스의 범주와 상대적인 대수적 텐서곱 하에서의 M 위의 유한 생성 프로젝티브 이중모듈러스의 범주 사이에 모노이드 범주 동치가 존재한다.
• 각 힐버트 이중모듈러스에 대해 그 유계 벡터 이중모듈러스를 할당하는 함자 Dφ는 쌍대성까지 보존하는 모노이드 범주 동치이다.
• CFTP는 결합성과 항등원 성질을 유지하며, 자연스러운 동형사상이 모노이드 구조 사상과 호환됨을 통해 이를 입증한다.
• 쌍대성은 동치 하에서 보존되며, 힐버트 이중모듈러스의 쌍대는 Dφ 함자를 통해 그 유계 벡터 이중모듈러스의 쌍대와 자연스럽게 대응한다.
• 논문은 CFTP가 이론적, 쌍대가능한 설정에서 본질적으로 표준 텐서곱보다 더 복잡하지 않으며, 완전히 대수화될 수 있음을 결론 내린다.