[논문 리뷰] Extending obstructions to noncommutative functorial spectra

Benno van den Berg, Chris Heunen|arXiv (Cornell University)|2014. 07. 10.

Homotopy and Cohomology in Algebraic Topology인용 수 6

한 줄 요약

이 논문은 코헨–스피커 정리의 확장에 의해, 로케일, 토포스, 링드 토포스, 스킴, 큐안탈레스와 같은 다양한 일반화된 공간에서 비가환 스펙트럼을 정의하는 데 있어 기본적인 금기 조건을 규명한다. 이는 C*-대수에서 이러한 카테고리로 가는 모든 함자 중에서 가환 대수에서 게르파인, 자르스키, 스톤, 피어스 스펙트럼과 일치하는 경우, $M_n(\mathbb{C})$ ($n \geq 3$)에 대해 항상 자명한(초기) 대상을 부여해야 하므로, 표준적인 카테고리 이론 프레임워크 내에서 함자적인 비가환 스펙트럼의 존재를 배제한다.

ABSTRACT

Any functor from the category of C*-algebras to the category of locales that assigns to each commutative C*-algebra its Gelfand spectrum must be trivial on algebras of nxn-matrices for n at least 3. This obstruction also applies to other spectra such as those named after Zariski, Stone, and Pierce. We extend these no-go results to functors with values in (ringed) topological spaces, (ringed) toposes, schemes, and quantales. The possibility of spectra in other categories is discussed.

연구 동기 및 목표

• 로케일과 토포스와 같은 일반화된 공간에서, 가환 C*-대수에서의 비가환 C*-대수로의 스펙트럼 함자적 확장을 가능한지 조사한다.
• 기존의 스펙트럼인 게르파인, 자르스키, 스톤, 피어스 스펙트럼이 가환 설정으로부터 비가환 설정으로 함자적으로 확장될 수 있는지, 특히 행렬 대수에서 자명해지지 않는지를 규명한다.
• 세트 값을 갖는 함자에 대한 레이에스의 금기 결과를, 링드 토포스, 스킴, 큐안탈레스를 포함한 더 풍부한 카테고리 이론적 프레임워크로 일반화한다.
• 코헨–스피커 정리가 점 없는 위상수학에서 스펙트럼 함자들의 행동에 미치는 구조적 제약 조건을 규명한다.
• 비표준 사상과 카테고리 구조를 통해 이러한 금기 조건을 우회할 수 있는 타당한 대안을 규명함으로써 향후 연구를 이끌어낸다.

제안 방법

• 논문 [6]의 작업에 영감을 얻은 일반적인 카테고리 이론적 확장 정리에 기반한, 레이에스의 추론을 확장하여 기본 대수에서 더 넓은 카테고리로 금기 조건을 이행한다.
• 코헨–스피커 정리를 기초적인 금기 조건으로 적용: $M_n(\mathbb{C})$의 사영 레이티스에서 부울 대수로의 모든 사상은 $n \geq 3$일 때 자명해져야 한다.
• 함자에서 극한을 유지하는 성질을 이용하여, 만약 스펙트럼 함자가 극한을 유지한다면, 그 값이 목표 카테고리에서 초기 대상(즉, 자명한 대상)이어야 한다는 것을 보인다.
• 게르파인 스펙트럼(가환 C*-대수를 통한), 자르스키, 스톤, 피어스 스펙트럼 등 여러 스펙트럼 구성에 이 프레임워크를 적용하며, 이 모든 경우가 $n \geq 3$일 때 $M_n(\mathbb{C})$에서 자명해짐을 보였다.
• 환 또는 C*-대수의 반대 카테고리에서 $\mathbf{Loc}$, $\mathbf{Topos}$, $\mathbf{Quantale}$와 같은 카테고리로 가는 함자의 행동을 분석하며, 가환 부분대수들에 대한 다이어그램 극한을 사용한다.
• 링드 토포스와 스킴에서도 금기 조건이 유지됨을 보여주며, $M_n(\mathbb{C})$의 가환 부분대수들에 대한 함자의 극한이 초기 대상으로 붕괴됨을 보였다.

실험 결과

연구 질문

• RQ1 C*-대수의 반대 카테고리에서 로케일, 토포스, 또는 큐안탈레스로 가는 함자 중에서, 가환 C*-대수에서 게르파인 스펙트럼과 일치하면서도 $M_n(\mathbb{C})$ ($n \geq 3$)에서 자명하지 않은 것은 존재하는가?
• RQ2 레이에스의 작업에서 유도된 금기 결과가 점 없는 위상수학과 일반화된 공간에서 세트 값을 갖지 않는 스펙트럼 함자로 어떻게 확장되는가?
• RQ3 코헨–스피커 정리와 극한 유지 성질이 링드 토포스나 스킴 같은 카테고리에서 스펙트럼 함자들에게 미치는 구조적 제약 조건은 무엇인가?
• RQ4 표준적인 위상공간이나 로케일 공간을 초월한 카테고리적 프레임워크에서는 비가환 스펙트럼을 함자적으로 정의할 수 있는가, 자명해지지 않는가?
• RQ5 비표준 사상(예: 부분 *-호모모르피즘 또는 조르단 호모모르피즘)은 어떻게 기존의 금기 조건을 피하고도 대체 스펙트럼 구성법을 가능하게 하는가?

주요 결과

• 가환 C*-대수에서 게르파인 스펙트럼과 일치하는 함자 $F: \mathbf{C}^\mathrm{op} \to \mathbf{Loc}$ 는 $n \geq 3$일 때 $M_n(\mathbb{C})$에 대해 반드시 초기 대상을 부여해야 한다.
• 동일한 자명성 결과는 로케일으로 가는 함자에 의한 비가환 C*-대수로의 자르스키, 스톤, 피어스 스펙트럼 확장에도 적용된다.
• 함자가 극한을 유지한다면, 이 금기 조건은 링드 토포스, 스킴, 큐안탈레스로의 함자들로까지 확장된다.
• $M_n(\mathbb{C})$의 사영 레이티스는 $n \geq 3$일 때 부울 대수로의 비자명한 사상이 존재하지 않으며, 이는 코헨–스피커 정리의 핵심 요소이다.
• $M_n(\mathbb{C})$의 가환 부분대수들에 대한 다이어그램에서 스펙트럼 함자의 극한은 $\mathbf{Loc}$에서 초기 대상이 되며, 이는 $M_n(\mathbb{C})$에서 스펙트럼 값이 자명해지도록 강제한다.
• 보헤르피케이션과 양자 프레임과 같은 제안들은 비표준 사상(예: 부분 *-호모모르피즘 또는 조르단 호모모르피즘)을 사용함으로써 동일한 극한 구조를 유지하지 않아, 이 금기 조건을 우회한다.