[논문 리뷰] Regularity vs. constructive complete (co)distributivity

Hongliang Lai, Lili Shen|arXiv (Cornell University)|2016. 06. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 34인용 수 3

한 줄 요약

이 논문은 소량의 양자oids Q에 대해 정규 Q-분포자와 구성적으로 완전히 분배 가능한 (ccd) Q-범주 간의 범주적 동치를 수립하며, Q-distributor ϕ의 정규성과 Kϕ가 (ccd)임이 서로 동치임을 보여주며, 이는 Q가 깁스터 양자oid일 때에만 성립함을 증명한다. 주요 기여는 고전적인 정규 관계와 완전히 분배 가능한 랏의 관계를 확장하여 양자화된 범주론으로 일반화한 것으로, 기존의 선택 공리에 의존하지 않는 Theorem 1.1의 새로운 증명을 제공한다.

ABSTRACT

It is well known that a relation $φ$ between sets is regular if, and only if, $\mathcal{K}φ$ is completely distributive (cd), where $\mathcal{K}φ$ is the complete lattice consisting of fixed points of the Kan adjunction induced by $φ$. For a small quantaloid $\mathcal{Q}$, we investigate the $\mathcal{Q}$-enriched version of this classical result, i.e., the regularity of $\mathcal{Q}$-distributors versus the constructive complete distributivity (ccd) of $\mathcal{Q}$-categories, and prove that "the dual of $\mathcal{K}φ$ is (ccd) $\implies$ $φ$ is regular $\implies$ $\mathcal{K}φ$ is (ccd)" for any $\mathcal{Q}$-distributor $φ$. Although the converse implications do not hold in general, in the case that $\mathcal{Q}$ is a commutative integral quantale, we show that these three statements are equivalent for any $φ$ if, and only if, $\mathcal{Q}$ is a Girard quantale.

연구 동기 및 목표

• 정규 관계와 완전히 분배 가능한 랏을 연결하는 고전적 정리를 Q-범주와 Q-분포자의 양자화된 설정으로 확장한다.
• Q-분포자 ϕ의 정규성과 관련된 Q-범주 Kϕ의 구성적 완전 분배 가능성(ccd) 간의 동치성을 조사한다.
• ϕ의 정규성과 Kϕ의 (ccd) 간의 동치성이 성립하는 조건, 특히 가환 정수 양자일 경우를 규명한다.
• 기존의 동치성에서 선택 공리의 역할을 명확히 하기 위해 Q = 2의 경우에 대해 구성적 증명을 제공함으로써, 고전적 결과의 구성적 증명을 제공한다.
• 모든 Q-분포자에 대해 정규성과 (ccd) 간의 동치성이 성립하기 위한 Q에 대한 필요 및 충분 조건을 규명한다.

제안 방법

• Q-분포자 ϕ: A → B에 의해 유도된 칸 수반의 고정점의 완비 Q-범주인 Kϕ를 정의한다.
• Q-양자화된 얀다 임bedding Y: A → PA와 sup-사상 sup: PA → A를 사용하여, T ⊣ sup ⊣ Y의 연쇄 수반 관계를 통해 (ccd) Q-범주를 정의한다.
• 칸 수반과 Q-범주 내 고정점의 성질을 이용하여, ϕ가 정규일 경우 Kϕ가 (ccd)임을 증명한다.
• Kϕ가 op(ccd)일 경우 ϕ가 정규임을 보여주며, 이는 기술적으로 도전적이며 논문의 핵심이 되는 역방향 포함 관계를 확립한다.
• 쌍대성과 쌍대화 요소의 존재를 이용하여, 깁스터 양자oids를 쌍대화 가능성과 op(ccd)가 동치인 성질을 갖는 양자oids로 특성화한다.
• 가환 정수 양자일에 대해 이론을 적용하여, ϕ의 정규성과 Kϕ의 (ccd) 간의 동치성이 성립하는 것은 Q가 깁스터 양자oid일 때에만 성립하며, 최하위 원소를 쌍대화 요소로 사용하여 이를 증명한다.

실험 결과

연구 질문

• RQ1 모든 소량의 양자oid Q에 대해, Q-분포자 ϕ의 정규성과 관련된 Q-범주 Kϕ의 구성적 완전 분배 가능성(ccd) 간의 동치성이 성립하는가?
• RQ2 ϕ가 정규임과 Kϕ가 (ccd)임이 동치가 되기 위한 Q에 대한 조건은 무엇인가?
• RQ3 Kϕ가 op(ccd)일 경우 ϕ가 정규임을 보장하는 일반적인 성립 여부는 무엇이며, 그렇지 않다면 어떤 조건에서 성립하는가?
• RQ4 가환 정수 양자일의 경우, ϕ의 정규성과 Kϕ의 (ccd) 간의 동치성이 성립하기 위한 필요 및 충분 조건은 무엇인가?
• RQ5 정규 관계와 완전히 분배 가능한 랏을 연결하는 고전적 결과는 선택 공리 없이 구성적으로 증명할 수 있는가?

주요 결과

• 모든 소량의 양자oid Q에 대해, ϕ가 정규 Q-분포자이면 Kϕ는 (ccd)임을 보여주며, 이는 ϕ 정규 ⇒ Kϕ (ccd)의 포함 관계를 확립한다.
• 모든 소량의 양자oid Q에 대해, Kϕ가 op(ccd)이면 ϕ가 정규임을 보여주며, 이는 Kϕ op(ccd) ⇒ ϕ 정규의 역방향 포함 관계를 확립한다.
• Q가 깁스터 양자oid일 경우, 임의의 Q-분포자 ϕ에 대해 세 문장 ϕ 정규, Kϕ (ccd), Kϕ op(ccd)는 모두 상호 동치이다.
• Q = 2(두 원소 양자일)의 경우, 자레cki˘ı와 쥐–류우의 고전적 결과가 특수한 경우로 복원되며, 선택 공리에 의존하지 않는 새로운 증명을 제공한다.
• 가환 정수 양자일 Q에 대해, 모든 ϕ에 대해 ϕ의 정규성과 Kϕ의 (ccd) 간의 동치성이 성립하는 것은 Q가 깁스터 양자oid일 때에만 성립한다.
• 가환 정수 양자일 Q의 최하위 원소 ⊥이 쌍대화 요소임은 Q가 깁스터 양자oid일 때에만 성립하며, 이는 양자일의 경우 동치성을 특성화한다.