[논문 리뷰] Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces

Dirk Hofmann, Renato Neves외 1명|arXiv (Cornell University)|2017. 06. 16.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 5

한 줄 요약

이 논문은 부분순서가 붙은 컴팩트 공간과 단조 연속 사상의 범주인 PosComp의 이중 범주가 ℵ₁-항성 준가환체임을 증명하며, 이에 따른 대수적 이론의 부분적 기술을 제공한다. 또한 이 범주 위의 비에토리스 코알제브라의 범주 역시 ℵ₁-항성 준가환체임을 보이며, ℵ₁-코표현 가능한 대상들이 정확히 메트릭화 가능한 대상들임을 특징짓는다.

ABSTRACT

It is known since the late 1960's that the dual of the category of compact Hausdorff spaces and continuous maps is a variety -- not finitary, but bounded by $\aleph_1$. In this note we show that the dual of the category of partially ordered compact spaces and monotone continuous maps is a $\aleph_1$-ary quasivariety, and describe partially its algebraic theory. Based on this description, we extend these results to categories of Vietoris coalgebras and homomorphisms. We also characterise the $\aleph_1$-copresentable partially ordered compact spaces.

연구 동기 및 목표

• 부분순서가 붙은 컴팩트 공간의 이중 범주에 대한 대수적 구조를 조사하여, 기존의 컴팩트 하우스도르프 공간에 대한 이중성 결과를 확장한다.
• 부분순서가 붙은 컴팩트 공간의 범주가 대수적 다양체이든 더 일반적인 준가환체이든 여부를 규명한다.
• 부분순서가 붙은 컴팩트 공간 위의 비에토리스 코알제브라 범주로의 이중성 결과를 확장한다.
• 부분순서가 붙은 컴팩트 공간의 범주 내에서 ℵ₁-코표현 가능한 대상을 특징짓는다.
• 이전의 이중성 이론 연구를 바탕으로 하여 PosComp의 이중 범주의 대수적 이론에 대한 부분적 기술을 제공한다.

제안 방법

• Hofmann과 Neves(2016)의 이중성 결과를 활용하여 부분순서가 붙은 컴팩트 공간의 이중 범주를 분석한다.
• ℵ₁-항성 준가환체 개념을 적용하여 이중 범주의 대수적 구조를 기술하며, 기존의 CompHaus^op의 ℵ₁-유계 다양체 구조를 일반화한다.
• 단위 구간 [0,1]을 순서와 위상을 갖춘 생성 대상으로 사용하여 이중 범주 내에서 대수적 연산을 구성한다.
• 컴팩트 공간의 범주에서 극한에 대한 Bourbaki 기준을 적용하여, [0,1]의 유한 거듭제곱을 통한 인수분해를 통해 코표현 가능성 분석을 수행한다.
• PosComp에 비에토리스 함자를 적용하여 코알제브라를 정의하고, 그 결과로 얻어진 범주의 이중 범주가 역시 ℵ₁-항성 준가환체임을 보인다.
• 메트릭화 가능한 공간들을 [0,1]^ℕ에 임bedding하고, 유한 거듭제곱을 통한 인수분해를 활용하여 메트릭화 가능한 공간들이 ℵ₁-코표현 가능하다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 부분순서가 붙은 컴팩트 공간의 범주가 대수적 다양체이든 더 일반적인 준가환체이든 여부는 무엇인가?
• RQ2 PosComp의 이중 범주의 대수적 이론은 부분적으로 기술될 수 있는가? 그 연산과 방정식은 무엇인가?
• RQ3 PosComp 위의 비에토리스 코알제브라의 범주는 ℵ₁-항성 준가환체가 되는가?
• RQ4 PosComp 내에서 ℵ₁-코표현 가능한 대상은 무엇이며, 이를 특징지을 수 있는가?
• RQ5 CompHaus와 프라이스틀리 공간에 대한 이중성 결과는 더 넓은 부분순서가 붙은 컴팩트 공간의 범주로 어떻게 확장되는가?

주요 결과

• 부분순서가 붙은 컴팩트 공간과 단조 연속 사상의 범주의 이중 범주는 ℵ₁-항성 준가환체이다.
• 논문은 이 이중 범주의 대수적 이론에 대해 부분적으로 기술하며, 순서가 있는 단위 구간 [0,1]에서 유도된 연산에 기반한다.
• PosComp 위의 비에토리스 코알제브라의 범주는 ℵ₁-항성 준가환체임을 보이며, 이는 이중성 결과를 코알제브라적 구조로 확장한 것이다.
• 모든 메트릭화 가능한 부분순서가 붙은 컴팩트 공간은 PosComp 내에서 ℵ₁-코표현 가능하다.
• PosComp 내의 ℵ₁-코표현 가능한 대상들은 정확히 메트릭화 가능한 대상들이며, [0,1]의 유한 거듭제곱을 통한 인수분해를 통해 입증되었다.
• 증명은 메트릭화 가능한 공간들을 [0,1]^ℕ에 임베딩하고, ℵ₁-코표현 가능한 유한 거듭제곱의 가산 극한을 활용하여 코표현 가능성 결론을 이끌어낸다.