[논문 리뷰] Functors on Posets Left Kan Extend to Cosheaves: an Erratum

Justin Curry|arXiv (Cornell University)|2019. 07. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 8

한 줄 요약

이 논문은 부분순서집합에서 코완전 범주로의 함자를 그의 아래집합 부분순서집합으로의 포함 함수에 沿해 왼쪽 칸 확장하면 코셰이프가 된다는 정확하고 자립적인 증명을 제공한다. 이 증명은 이러한 칸 확장이 기본 커버에 관해 코셰이프 조건을 만족함을 입증하며, 이는 이전에 잘못된 증명을 수정하고, 부분순서집합에서의 코셰이프 이론의 핵심 결과들이 다시 유효해지게 한다.

ABSTRACT

In this note we give a self-contained proof of a fundamental statement in the study of cosheaves over a poset. Specifically, if a functor has domain a poset and co-domain a co-complete category, then the left Kan extension of that functor along the embedding of the domain poset into its poset of down-sets is a cosheaf. This proof is meant to replace the mistaken proofs published in the author's thesis and an article on dualities exchanging cellular sheaves and cosheaves.

연구 동기 및 목표

• 이전 연구에서 부분순서집합 위의 함수의 왼쪽 칸 확장이 코셰이프가 된다고 주장한 잘못된 증명을 수정하는 것.
• 부분순서집합을 그의 아래집합 부분순서집합으로 포함시키는 함수에 沿해 왼쪽 칸 확장을 정의할 때, 그것이 코셰이프가 되는 자립적이고 엄밀한 증명을 제공하는 것.
• 특히 칸 확장을 통해 코셰이프를 구성하는 데 의존하는 코셰이프 이론의 핵심 결과들이 다시 유효해지도록 복원하는 것.
• 코셰이프 정의에 관련된 두 가지 커버 개념—기본 커버와 체흐 커버—를 도입하고 명확히 하는 것.
• 셰이프에 대한 증명을 이중화하여, 셰이프와 코셰이프 사이의 대칭성과 명확성을 확보하는 것.

제안 방법

• 칸 확장을 위한 도메인으로 부분순서집합의 아래집합의 부분순서집합을 사용하며, 원래 부분순서집합에서 이 도메인으로의 포함 함자를 사용한다.
• 기본 커브를 정의한다: 이는 두 원소의 교집합이 커버 원소들의 합집합이 되는 커버로, 위상공간의 기저 성질에 기반한다.
• 왼쪽 칸 확장의 구조를 적용하여, 확장된 함수가 기본 커버에 관해 코셰이프 조건을 만족함을 보인다.
• comma 범주에 대한 코finality 추론을 사용하여 칸 확장의 코일드를 계산하며, 이로써 원래 함수의 값과 동치임을 보인다.
• 반복된 칸 확장과 합성 성질을 사용하여 커버 위의 코일드가 원래 함수와 자연동형을 이루는 방식으로 연결한다.
• 함수 F가 comma 범주 (π₂↓p) 위에서의 코일드가 F(p)와 동형임을 보여, 코셰이프 조건이 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 부분순서집합 P에서 코완전 범주 C로의 함수 F: P → C의, P가 그의 아래집합 부분순서집합으로 포함되는 것에 따라 왼쪽 칸 확장이 아르골로프 위상에서 코셰이프가 되는가?
• RQ2 부분순서집합 위에서 코셰이프를 정의하기 위한 올바른 커버의 개념은 무엇이며, 기본 커버와 체흐 커버는 어떻게 다를까?
• RQ3 이전에 칸 확장이 코셰이프를 만든다고 주장한 증명들이 왜 실패했는가? 그리고 그에 대체할 올바른 추론은 무엇인가?
• RQ4 코셰이프에 대한 증명이 자연스럽게 이중화되어, 셰이프에 대한 대응 증명을 유도할 수 있는가?
• RQ5 왜곡된 커버 정렬 추론에 의존하지 않고, 칸 확장 구조를 어떻게 사용하여 코셰이프 조건을 복원할 수 있는가?

주요 결과

• 부분순서집합 P에서 코완전 범주 C로의 함수 F: P → C의, P가 그의 아래집합 부분순서집합으로 포함되는 것에 따라 왼쪽 칸 확장은 기본 커버에 관해 코셰이프이다.
• 증명은 comma 범주 (π₂↓p) 위에서 F의 코일드가 F(p)와 동형임을 보여, 코셰이프 조건이 성립함을 확인한다.
• 이전 논문 [3]과 [4]에서 사용된 커버의 정렬에 의존하는 증명은 잘못되었으며, 코finality와 기본 커버에 기반한 올바른 추론으로 대체되었다.
• 이 구성은 자연스럽게 이중화 가능하므로, 동일한 추론에 의해 오른쪽 칸 확장이 셰이프를 만든다는 것이 보장되며, 셰이프와 코셰이프 사이의 대칭성이 복원된다.
• 이 결과는 영속적 호몰로지와 리브 그래프와 같은 적용 분야에서 칸 확장을 통해 코셰이프를 구성하는 데의 타당성을 확인한다.
• 논문은 기본 커버—즉, 두 원소의 교집합이 커버 원소들의 합집합이 되는 커버—가 이 설정에서 코셰이프를 정의하는 데 적합한 개념임을 명확히 한다. 이는 체흐 커버보다 더 적합하다.