[논문 리뷰] Constructive Gelfand duality for non-unital commutative C*-algebras

Simon Henry|arXiv (Cornell University)|2014. 12. 05.

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

한 줄 요약

이 논문은 비단위(commutative C*-algebras)에 대한 Gelfand 대칭성을 구성적으로 확장하기 위해, 국소적으로 컴팩트하고 완전히 정규인 로케일(locale)과의 이중성(duality)을 도입함으로써 비단위인 가환 C*-대수에 대한 구성적 Gelfand 대칭성을 확립한다. 이를 위해 한정점 컴팩트화와 단위화(unitarization)의 구성적 프레임워크를 사용한다. 주요 기여는 국소적 양성(local positivity)과 섬유별로 닫힌 이상들(fiberwise closed ideals)을 통한 스펙트럼의 완전한 구성적 특성화와 노름 연속성의 규명이다.

ABSTRACT

We prove constructive versions of various usual results related to the Gelfand duality. Namely, that the constructive Gelfand duality extend to a duality between commutative nonunital C*-algebras and locally compact completely regular locales, that ideals of a commutative C*-algebras are in order preserving bijection with the open sublocales of its spectrum, and a purely constructive result saying that a commutative C*-algebra has a continuous norm if and only its spectrum is open. We also extend all these results to the case of localic C*-algebras. In order to do so we develop the notion of one point compactification of a locally compact regular locale and of unitarization of a C*-algebra in a constructive framework.

연구 동기 및 목표

• 비단위 가환 C*-대수에 대해 Gelfand 대칭성을 완전히 구성적인 설정에서 확장하기.
• 구성적, 토포스 이론적 프레임워크 내에서 열린 부분로케일과 이상을 통해 C*-대수의 스펙트럼을 특성화하기.
• 스펙트럼의 국소적 양성에 의해 노름의 연속성을 구성적으로 규명하기.
• 내림내림(descent)과 섬유별로 닫힌 이상을 통해 결과를 국소적 로케일 C*-대수로 일반화하기.

제안 방법

• 국소적으로 컴팩트한 정규 로케일에 대한 구성적 한정점 컴팩트화를 개발하여 비단위 대수의 처리를 가능하게 한다.
• 비단위 경우를 단위 경우로 환원하기 위해 구성적 토포스 이론적 설정에서 C*-대수의 단위화를 도입한다.
• 자연수 대상이 있는 기본 토포스의 내부 논리를 사용하여 구성적 추론을 형식화한다.
• 열린 전성사상(open surjections)을 통한 내림내림 이론을 적용하여 국소적 동형사상을 전역적으로 유지함으로써, 로케일 및 C*-대수의 구조와의 호환성을 확보한다.
• 전통적인 닫힌 이상을 대체하기 위해 국소적으로 양성인 섬유별로 닫힌 이상의 개념을 사용한다.
• 내부 논리를 활용하여 상한과 연속적인 실수 로케일을 통해 실수와 노름 사상의 정의 및 조작을 수행한다.

실험 결과

연구 질문

• RQ1 Gelfand 대칭성이 비단위 가환 C*-대수에 대해 어떻게 구성적으로 확장될 수 있는가?
• RQ2 비단위 C*-대수의 스펙트럼은 열린 부분로케일의 관점에서 어떻게 구성적으로 특성화될 수 있는가?
• RQ3 어떤 구성적 조건에서 C*-대수의 노름이 연속적인가?
• RQ4 구성적 설정에서 C*-대수의 이상은 그 스펙트럼의 열린 부분로케일과 어떻게 대응하는가?
• RQ5 내림내림과 양성의 개념을 사용하여 이중성은 국소적 로케일 C*-대수로 어떻게 일반화될 수 있는가?

주요 결과

• 가환 비단위 C*-대수와 국소적으로 컴팩트하고 완전히 정규인 로케일 사이에 구성적 이중성이 존재한다.
• 가환 C*-대수의 이상은 열린 부분로케일과 구성적으로 순서를 유지하는 일대일 대응을 이룬다.
• 가환 C*-대수가 노름이 연속적임과 동시에 그 스펙트럼이 국소적으로 양성임은 필요충분조건이다.
• 이중성은 국소적 로케일 C*-대수로까지 확장되며, 스펙트럼의 열린 부분로케일은 국소적으로 양성인 섬유별로 닫힌 이상에 대응한다.
• C*-로케일에서 그 스펙트럼으로의 표준 사상은 열린 전성사상에 沿해 내림내림을 통해 등장하는 이sovorphism이다.
• 노름 연속성은 노름 사상이 연속적인 실수 로케일을 통해 인수분해(factorization)되는 것으로 특성화되며, 이는 스펙트럼이 국소적으로 양성일 때 정확히 성립한다.