[논문 리뷰] The dual of compact ordered spaces is a variety

Marco Abbadini|arXiv (Cornell University)|2019. 02. 19.

Advanced Algebra and Logic인용 수 4

한 줄 요약

이 논문은 컴팩트 순서 공간의 범주(POSComp)의 이중이 무한항 대수의 다양체이자 구체적으로 MC∞로 표기되는 것으로 규명한다. [0,1]을 이중화 객체로 삼아, 유한항 및 가чёт 무한항의 연산과 등식적 공리계를 도입함으로써, POSComp와 MC∞ 사이의 이중 동치를 구축한다. 이로써 Hofmann, Neves, Nora(2018)가 제기한 열린 질문에 답함을 보여준다.

ABSTRACT

In a recent paper (2018), D. Hofmann, R. Neves and P. Nora proved that the dual of the category of compact partially ordered spaces and monotone continuous maps is a quasi-variety - not finitary, but bounded by $\aleph_1$. An open question was: is it also a variety? We show that the answer is affirmative. We describe the variety by means of a set of finitary operations, together with an operation of countably infinite arity, and equational axioms. The dual equivalence is induced by the dualizing object [0,1].

연구 동기 및 목표

• Hofmann, Neves, Nora(2018)가 제기한, 컴팩트 순서 공간의 이중 범주가 다양체인지 여부에 대한 열린 질문을 해결하기 위해.
• 유한 및 가чёт 무한항의 연산을 사용하여 POSComp의 이중 범주의 구체적 대수적 특성화를 제공하기 위해.
• 컴팩트 순서 공간의 범주와 무한항 대수의 다양체 MC∞ 사이의 이중 동치를 수립하기 위해.
• [0,1]이 이중화 객체로서, [0,1]의 거듭제곱에서 [0,1]로의 모든 모노톤 연속 사상이 포괄되는 이중성을 유도함을 보여주기 위해.
• 다양체 MC∞가 아르키메데스 체계 완비 MC-대수의 범주와 동치임을 보여주어 이중성을 완성하기 위해.

제안 방법

• [0,1]을 이중화 객체로 삼아, 순서지향 위상공간의 범주(PreT)와 유한항 다양체 MC 사이의 이중 수반을 수립하기 위해.
• 수반의 고정 객체를 규명한다: 위상적 측면에서는 컴팩트 순서 공간, 대수적 측면에서는 아르키메데스 체계 완비 MC-대수이다.
• Cauchy 수열의 극한을 모델링하는 가чёт 무한항 연산 δ를 추가하여 유한항 다양체 MC를 무한항 다양체 MC∞로 확장하기 위해.
• MC∞에 대해 등식적 공리계를 도입하여, 대수적 구조가 컴팩트 순서 공간의 위상적 성질을 반영하도록 보장하기 위해.
• 부분표현 정리와 스톤-바이어스트라스 정리의 유사판을 사용하여, 아르키메데스 체계 완비 MC-대수에서 수반의 단위가 동형임을 증명하기 위해.
• MC∞가 [0,1]의 거듭제곱을 객체로, 모노톤 연속 사상들을 사상으로 갖는 다양체 이론의 대수 범주와 동치임을 보여주기 위해.

실험 결과

연구 질문

• RQ1 컴팩트 순서 공간의 범주 이중이 단지 준다양체가 아니라 다양체인지 여부?
• RQ2 무한항의 연산을 포함한 연산 집합과 등식적 공리계를 사용하여 이중 범주를 공리화할 수 있는가?
• RQ3 [0,1]이 POSComp와 무한항 대수의 다양체 사이의 완전한 이중 동치를 유도하는 이중화 객체로 기능하는가?
• RQ4 [0,1]의 거듭제곱에서 [0,1]로의 모든 모노톤 연속 사상의 집합이 유한 생성된 대수 이론에 의한 무한항 연산으로 완전히 포괄될 수 있는가?
• RQ5 아르키메데스 체계 완비 MC-대수의 범주가 무한항 대수의 다양체와 동치인가?

주요 결과

• 컴팩트 순서 공간의 범주 이중, 즉 POSComp^op는 무한항 다양체 MC∞와 동치이다.
• 다양체 MC∞는 이중화 객체 [0,1]에 의해 생성되며, 유한항 연산과 Cauchy 수열의 극한을 모델링하는 가чёт 무한항 연산 δ를 포함한다.
• POSComp와 MC∞ 사이의 이중 동치는 Hom(−, [0,1])의 함자에 의해 유도되며, 이 동치는 이중 수반의 고정 객체를 통해 실현된다.
• 범주 MC∞는 아르키메데스 체계 완비 MC-대수의 전부를 포함하는 부분범주와 동형이므로, MC∞는 정확히 컴팩트 순서 공간의 대수적 이중을 포괄함을 확인한다.
• MC∞의 연산들이 [0,1]에서 해석될 때, 임의의 [0,1]의 거듭제곱에서 [0,1]로의 모든 모노톤 연속 사상과 정확히 일치함을 보여, 대수적 구조의 완전성을 확인한다.
• 논문은 POSComp에서 Set으로 가는 함자 Hom(−, [0,1])가, 무한히 많은 좌표에 의존하는 δ 연산의 본질적 특성으로 인해, 유한항 다양체의 잊혀진 함자와 자연동형이 아니라고 보여준다.