[논문 리뷰] Toward a non-commutative Gelfand duality: Boolean locally separated toposes and Monoidal monotone complete $C^{*}$-categories

Simon Henry|arXiv (Cornell University)|2015. 01. 28.

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

한 줄 요약

이 논문은 불리안 국소적으로 분리된 토포스의 대칭 모노이드적 단조 완비 $C^*$-분류체인 힐버트 배ndl과 제곱 적분 가능한 힐버트 배ndl의 관련 분류체를 사용하여 불리안 국소적으로 분리된 토포스에 대한 복원 정리를 수립한다. 이러한 토포스가 이러한 분류체의 비퇴화된 정규 대칭 모노이드적 $*$-표현에 대한 분류 토포스임을 보이며, 게일판드 이중성의 비가환 일반화를 시사한다.

ABSTRACT

** Draft Version ** To any boolean topos one can associate its category of internal Hilbert spaces, and if the topos is locally separated one can consider a full subcategory of square integrable Hilbert spaces. In both case it is a symmetric monoidal monotone complete $C^{*}$-category. We will prove that any boolean locally separated topos can be reconstructed as the classifying topos of "non-degenerate" monoidal normal $*$-representations of both its category of internal Hilbert spaces and its category of square integrable Hilbert spaces. This suggest a possible extension of the usual Gelfand duality between a class of toposes (or more generally localic stacks or localic groupoids) and a class of symmetric monoidal $C^{*}$-categories yet to be discovered.

연구 동기 및 목표

• 토포스 이론적 및 연산자 대수학적 구조를 통해 게일판드 이중성의 가환 $C^*$-대수를 초월한 비가환 설정으로의 확장을 목적으로 한다.
• 내부 힐버트 배ndl과 제곱 적분 가능한 힐버트 배ndl의 내부 분류체를 사용하여 불리안 국소적으로 분리된 토포스에 대한 복원 정리를 수립한다.
• 대칭 모노이드적 단조 완비 $C^*$-분류체가 위상공간 또는 군oids의 비가환 동치물로 기능할 수 있는지 탐색한다.
• 이러한 이중성이 일반적으로 성립하기 위해 $C^*$-분류체에 필요한 공리와 구조를 규명한다.
• 완비성, 약한 수렴성, $C^*$-분류체 내의 이중성과 토포스 이론에서 기하학적 복원 간의 관계를 조사한다.

제안 방법

• 모든 불리안 토포스 $\mathcal{T}$에 대해 내부 힐버트 배ndl의 대칭 모노이드적 단조 완비 $C^*$-분류체 $\mathcal{H}(\mathcal{T})$를 부여한다.
• 국소적으로 분리된 토포스에 대해 제곱 적분 가능한 힐버트 배ndl의 전체 부분분류체 $\mathcal{H}^{\text{red}}(\mathcal{T})$를 정의한다.
• 비퇴화된 정규 대칭 모노이드적 $*$-표현의 분류 토포스에서 원래 토포스 $\mathcal{T}$로의 기하학적 준위를 구성한다.
• 내부 논리와 크립케-조일 의미론을 사용하여 분리 가능한 객체와 그 표현의 구조를 분석한다.
• 점들의 분류체가 네티드 연산자 $V_U$에 기반한 구성에 의해 이러한 표현의 분류체와 동치임을 증명한다.
• 불리안성과 국소적 분리성을 활용하여 단조 완비성과 점 游 이중체의 존재를 보장하고, 이를 통해 복원을 가능하게 한다.

실험 결과

연구 질문

• RQ1 불리안 국소적으로 분리된 토포스는 그 힐버트 배ndl의 대칭 모노이드적 $C^*$-분류체로부터 복원될 수 있는가?
• RQ2 대칭 모노이드적 $C^*$-분류체가 어떤 조건을 만족하면, 어떤 불리안 국소적으로 분리된 토포스 $\mathcal{T}$에 대해 $\mathcal{H}^{\text{red}}(\mathcal{T})$로 나타날 수 있는가?
• RQ3 '좋은' 또는 '비퇴화된 정규' 표현의 개념을 순수하게 $C^*$-분류체의 구조적 언어로 공리화할 수 있는가?
• RQ4 이러한 이중성을 불리안 국소적으로 분리된 경우를 초월해 일반화하기 위해 필수적인 추가 구조나 성질(예: 약한 수렴성, 가중 극한, 이중성)은 무엇인가?
• RQ5 이 프레임워크는 국소적 군oids/스택과 대칭 모노이드적 $C^*$-분류체 간의 완전한 비가환 게일판드 이중성으로 확장될 수 있는가?

주요 결과

• 모든 불리안 국소적으로 분리된 토포스 $\mathcal{T}$는 $\mathcal{H}^{\text{red}}(\mathcal{T})$의 비퇴화된 정규 대칭 모노이드적 $*$-표현에 대한 분류 토포스이다.
• $\mathcal{T}$의 $\mathcal{H}^{\text{red}}(\mathcal{T})$로부터의 복원은 점 游 이중체를 점차적으로 실현하는 네티드 연산자 $V_U$에 의존하며, 이는 불리안성과 국소적 분리성 덕분에 가능해진다.
• $\mathcal{H}^{\text{red}}(\mathcal{T})$는 단위 객체가 없는 대칭 모노이드적 단조 완비 $C^*$-분류체이지만 여전히 완전한 복원이 가능하다.
• 비축소된 분류체 $\mathcal{H}(\mathcal{T})$ 역시 $\mathcal{T}$를 분류하며, $\mathcal{H}^{\text{red}}(\mathcal{T})$로부터의 복원은 $\mathcal{H}(\mathcal{T})$로부터의 복원을 암시한다.
• 결과적으로 단조 완비 $C^*$-분류체에 적절한 구조(예: 약한 수렴성, 이중성)가 부여되면, 이는 위상공간의 비가환 동치물로 기능할 수 있음을 시사한다.
• 이 프레임워크는 게일판드 이중성, $W^*$-대수 이중성, 도플러처-로버츠 복원을 통합할 잠재적 통합을 제공하며, 더 넓은 비가환 이중성의 틀을 제안한다.