비가환성은 부분 대수들의 콜리밋

이 논문은 “모든 부분 대수는 그 전역(전통적인) 부분 대수들의 콜리밋이다”라는 원리를 다양한 수학적 구조에 적용하여 증명한다. 첫 번째 장에서는 코헨·스펙커가 제시한 부분 불 대수(partial Boolean algebra)의 정의를 재정리한다. 부분 불 대수는 집합 A와 동시 측정 가능성을 나타내는 반사적·대칭적 이진 관계 ⊙, 그리고 0,1, 부정 연산 ¬, 그리고 ⊙ 위에서 정의된 부분 이항 연산 ∧,∨ 로 구성된다. 중요한 점은 A의 임의의 동시 측정 가능한 부분집합 S가 더 큰 동시 측정 가능한 집합 T에 포함될 수 있으며, T 위에서는 전통적인 불 대수 구조가 완전하게 정의된다는 것이다. 전역 부분 대수는 동시 측정 가능한 원소들로 이루어진 완전한 불 대수이며, 이러한 전역 부분 대수들의 집합 C(A)는 포함 관계에 따라 부분 순서(poset)를 이룬다. 논문은 C(A)의 기본 성질을 제시하고, 특히 전역 부분 대수들의 상한이 존재하기 위한 필요충분조건이 모든 원소 쌍이 동시 측정 가능해야 함을 보인다. 주요 정리 4에서는 모든 부분 불 대수가 자신의 전역 부분 대수들의 콜리밋으로 표현될 수 있음을 증명한다. 구체적으로, 전역 부분 대수들의 포함 사상 i_C : C → A가 코코넥스를 형성하고, 임의의 다른 코코넥스 f_C : C → B에 대해 고유한 사상 m : A → B가 존재함을 보인다. 이 사상은 동시 측정 가능성 및 연산을 보존한다. 따라서 A는 전역 부분 대수들의 콜리밋으로서 범주 PBool에 대한 보편적 성질을 가진다. 다음으로 부분 완전 불 대수(partial complete Boolean algebra)를 정의한다. 여기서는 동시 측정 가능한 부분집합에 대해 전역적인 합·교 연산이 정의될 수 있도록 추가 연산 W 를 도입한다. 정리 7은 이 구조에도 동일한 콜리밋 정리가 적용됨을 보여준다. 스톤 이중성의 확장은 부분 불 대수와 스톤 공간 사이에 새로운 반사 K ⊣ Loc(–,{0,1}) 를 구축함으로써 이루어진다. K(A)는 전역 부분 대수들의 스톤 스펙트럼을 역방향으로 취한 한계(lim)이며, 이는 전통적인 스톤 이중성에서 불 대수와 스톤 공간 사이의 동형을 일반화한다. 정리 9와 그 여파는 불 대수 범주가 부분 불 대수 범주의 반사 전역 서브카테고리임을 확인한다. 두 번째 주요 대상은 부분 C*‑대수(partial C*-algebra)이다. 여기서는 *‑연산과 곱셈이 동시 측정 가능한 원소들 사이에서만 정의되며, 전역 부분 대수는 가환 C*‑대수이다. 논문은 이러한 부분 C*‑대수도 전역 가환 C*‑부분대수들의 콜리밋으로 재구성될 수 있음을 증명한다(정리 12). 또한 부분 AW*‑대수와 리카트 C*‑대수 등 다양한 변형에도 동일한 정리를 확장한다. 부분 C*‑대수와 부분 불 대수 사이의 관계는 투사(projection) 연산을 통해 연결된다. 각 부분 C*‑대수의 투사 집합은 부분 불 대수를 형성하고, 이 불 대수의 전역 부분 대수들은 원래 C*‑대수의 전역 가환 부분대수와 일대일 대응한다. 이를 통해 코헨·스펙커 정리를 새로운 관점에서 해석하고, 겔판드 이중성의 확장을 가능하게 한다(정리 15). 마지막 장에서는 보라프화(Bohrification) 과정을 부분 C*‑대수에 적용한다. 보라프화는 양자 시스템을 그 모든 가환 ‘스냅샷’들의 토포시스(Topos)로 묶는 방법으로, 저자들은 이 과정이 앞서 증명한 콜리밋 정리의 2차원 버전임을 보인다. 구체적으로, 부분 C*‑대수의 전역 가환 부분대수들의 토포시스는 부분 대수들의 콜리밋 구조와 동형이며, 이때 얻어지는 토포시스는 함수적으로 정의될 수 있다. 다만, 전역 가환 부분대수들의 선택에 따라 보라프화가 완전한 함수성을 갖지는 않으며, 이는 선택의 자유도와 관련된 제한이다. 전체적으로 논문은 부분 대수 이론을 범주론적 관점에서 체계화하고, 전통적인 스톤·겔판드 이중성을 부분 대수와 토포시스 수준으로 일반화한다. 이를 통해 양자역학의 비가환 구조를 고전적 가환 ‘스냅샷’들의 집합으로 재구성하는 보라프화 프로그램에 대한 수학적 토대를 제공한다.