[논문 리뷰] Grothendieck topologies on a poset

Bert Lindenhovius|arXiv (Cornell University)|2014. 05. 17.

Homotopy and Cohomology in Algebraic Topology참고 문헌 11인용 수 7

한 줄 요약

이 논문은 부분순서집합(포스엣) 위의 그로텐디크 위상공간을 분류하며, 모든 이러한 위상공간이 부분집합으로부터 유도될 수 있음이 포스엣이 아르틴이안일 때이고, 그 조건을 만족할 때에만 성립함을 보여준다—즉, 공백이 아닌 내림차순으로 유도되는 부분집합이 항상 최소 원소를 가진다. 주요 기여는 아르틴이안 포스엣이 부분집합으로 생성된 그로텐디크 위상공간의 전부를 고갈함을 증명한 것으로, 이는 층 이론과 C*-대수적 구조를 통한 양자논리에의 응용을 가능하게 한다.

ABSTRACT

We investigate Grothendieck topologies (in the sense of sheaf theory) on a poset $¶$ that are generated by some subset of $¶$. We show that such Grothendieck topologies exhaust all possibilities if and only if $¶$ is Artinian. If $¶$ is not Artinian, other families of Grothendieck topologies on $¶$ exist that are not generated by some subset of $¶$, but even those are related to the Grothendieck topologies generated by subsets. Furthermore, we investigate several notions of equivalences of Grothendieck topologies, and using a posetal version of the Comparison Lemma, a sheaf-theoretic result known as the Comparison Lemma, going back to Grothendieck et al \cite{SGA4}, we calculate the sheaves with respect to most of the Grothendieck topologies we have found.

연구 동기 및 목표

• 포스엣 위의 그로텐디크 위상공간, 특히 부분집합으로 생성된 것들을 분류하기 위해.
• 포스엣 위의 모든 그로텐디크 위상공간이 부분집합으로부터 기인하는 조건을 규명하기 위해.
• 포스엣 위의 그로텐디크 위상공간을 프레임 이론에서의 핵심, 동치관계, 부분로컬과 연결하기 위해.
• 포스엣판 비교보조정리의 버전을 적용하여 이러한 위상공간 위에서의 층을 계산하기 위해.
• 결과를 양자논리에 적용하며, 특히 C*-대수와 그 교환 부분대수의 맥락에서 적용하기 위해.

제안 방법

• 포스엣 P 위에서 부분집합 X ⊆ P에 의해 생성된 그로텐디크 위상공간 J(p) = {S ∈ D(↓p) : X ∩ ↓p ⊆ S} 조건을 정의한다.
• 아르틴이안 귀납법을 사용하여 아르틴이안 포스엣 위의 모든 그로텐디크 위상공간이 부분집합으로 생성됨을 증명한다.
• 역포함 순서로 정렬된 P의 부분집합의 포스엣과 D(P)의 핵심의 집합 사이에 순서 동형을 설정한다. 여기서 D(P)는 P의 내림세트의 프레임이다.
• 그로텐디크의 비교보조정리의 포스엣판 버전을 적용하여 다양한 그로텐디크 위상공간에 대해 사이트 (P, J) 위의 층을 계산한다.
• 포스엣 P 위의 그로텐디크 위상공간과 D(P) 위의 핵심 사이의 동치를 증명하며, 이는 D(P)의 동치관계와 부분로컬과도 대응된다.
• 내림세트의 구조와 순서론적 이중성을 사용하여 핵심 j_X(A) = X → A 와 부분집합 X ⊆ P 사이의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 포스엣 P 위의 모든 그로텐디크 위상공간이 부분집합 X ⊆ P로부터 기인하는 조건은 무엇인가?
• RQ2 포스엣 위의 그로텐디크 위상공간과 내림세트의 프레임에서의 핵심, 동치관계, 부분로컬 간의 관계는 무엇인가?
• RQ3 포스엣 사이트 위의 층은 어떻게 행동하며, 포스엣판 비교보조정리의 버전을 통해 계산할 수 있는가?
• RQ4 모든 그로텐디크 위상공간이 완비인 포스엣은 무엇으로 특징지어지는가?
• RQ5 C*-대수의 교환 부분대수의 포스엣이 아르틴이안이 되는 경우는 언제이며, 이는 대수의 재구성에 어떤 함의를 갖는가?

주요 결과

• 포스엣 P가 아르틴이안이면, 유일하게 부분집합으로 생성된 그로텐디크 위상공간이 존재한다.
• 아르틴이안 포스엣에서는 X ↦ j_X의 사상이 P(P)^op에서 D(P) 위의 핵심 집합으로의 순서 동형을 이룬다.
• P 위의 모든 부분집합으로 생성된 그로텐디크 위상공간에 대한 층은 비교보조정리에 의해 D(X), 즉 X의 내림세트의 프레임과 동형이다.
• 모든 그로텐디크 위상공간이 완비일 조건은 P가 아르틴이안이어야 한다는 것과 동치이다.
• 핵심 j_X(A) = X → A 는 정확히 X로 생성된 그로텐디크 위상공간과 대응되며, P가 아르틴이안일 경우 이 대응관계는 순서 동형이다.
• D(P)의 모든 부분로컬은 어떤 부분집합 X ⊆ P에 대해 D(X)와 동형이 된다. 이는 P가 아르틴이안이어야 한다는 것과 동치이다.