[논문 리뷰] A simple approach to geometric realization of simplicial and cyclic sets

Amnon Besser|ArXiv.org|2003. 05. 18.

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

한 줄 요약

이 논문은 유한 부분순서집합(포스트)에서 단위구간으로의 순서를 유지하는 사상들을 통해 단체적 및 순환적 집합의 기하적 실현을 제시하며, 표준 단체에 자연스럽고 위상적인 해석을 제공한다. 주요 기여는 순서론적 기반을 바탕으로 함의적으로 확장되는 함의적이고 곱을 보존하는 기하적 실현을 제공하며, 주기적 포스트를 사용해 순환적 집합으로 자연스럽게 확장된다. 특히, $[[n]]$의 순환적 실현이 $|\Delta_n| \times S^1$와 위상동형임을 보여, 순서론적 기반을 통해 단체적 이론과 순환적 이론을 통합한다.

ABSTRACT

This is the same version that was previously only on my home page. We give a description of geometric realization which makes it evident that it commutes with products. A similar approach is used to treat cyclic sets. Our approach is similar to those of Drinfeld and Grayson.

연구 동기 및 목표

• 기하적 실현이 호모토피 이론에서 전통적으로 정당화되지 않은 표준 단체의 자연스럽고 조합론적으로 기반을 둔 설명을 제공하기 위해.
• 단위구간에서 유한 포스트로의 순서를 유지하는 사상의 공간을 사용하여, 단체적 집합에 대한 기하적 실현 함의를 곱과 가환시키는 것을 목적으로 한다.
• 순환적 집합으로의 프레임워크 확장을 위해, 차수 $k$를 가진 자유 $\mathbb{Z}^k$-작용을 갖는 주기적 포스트(ppset)를 순환적 맥락에서 포스트의 일반화로 도입하기 위해.
• 콘느의 순환 범주가 차수 1 주기적 포스트의 부분범주와 순서동형임을 보여, 순환적 이론과 단체적 이론을 통합하기 위해.
• 원의 작용과 ppset 사상에 대한 위상적 구조를 사용하여, 순환적 집합의 기하적 실현이 곱을 보존함을 증명하기 위해.

제안 방법

• 유한 포스트 $P$의 기하적 실현을 단위구간 $I = [0,1]$에서 $P$로의 상한 상전이성과 순서를 유지하는 사상들의 공간으로 정의하며, 거리 위상수학적 위상을 부여한다.
• 이 실현 함의가 포스트 위상에서 자연스럽게 표준 단체적 집합 $\mathcal{S}(P)$와 이sovolumetric임을 보이며, $\mathcal{S}([n]) = \Delta_n$임을 확인한다.
• 순환적 집합을 모델링하기 위해, $k$를 차수로 하는 자유 $\mathbb{Z}^k$-작용을 갖는 주기적 포스트(ppset)를 도입한다.
• ppset $P$의 순환적 실현을 $\mathbb{Z}$-등변성과 순서를 유지하는 $\mathbb{R}$에서 $P$로의 사상들의 공간으로 정의하며, 작용에 의해 모듈로 취한다.
• 실수 함수의 정수부와 분수부를 이용하여 표준 순환 $n$-단체 $[[n]]$의 실현과 $|\Delta_n| \times S^1$ 사이의 위상동형을 구성한다.
• 대각 원의 작용을 통해 $||\mathcal{C}(P) \times \mathcal{C}(Q)|| \cong ||\mathcal{C}(P)|| \times ||\mathcal{C}(Q)||$임을 보여, 순환적 실현 함의가 곱과 가환함을 증명한다.

실험 결과

연구 질문

• RQ1 표준 단체의 기하적 실현을 임의의 가정 없이 자연스럽고 순서론적으로 해석할 수 있는가?
• RQ2 단지 순서를 유지하는 사상과 위상수학적 기반으로만 단체적 집합의 기하적 실현이 곱과 가환함을 보일 수 있는가?
• RQ3 순환적 집합에 대한 포스트의 적절한 범주론적 일반화는 무엇이며, 이를 통해 기하적 실현 이론이 어떻게 지원되는가?
• RQ4 콘느의 순환 범주는 차수 1 주기적 포스트의 부분범주와 순서동형인가?
• RQ5 순환적 집합의 기하적 실현이 곱을 보존하는가? 만약 그렇다면, 이 구조는 어떻게 표현되는가?

주요 결과

• 유한 포스트 $P$의 기하적 실현은 $I = [0,1]$에서 $P$로의 순서를 유지하고 상한 상전이성을 갖는 사상들의 공간으로 자연스럽게 식별되며, 컴act-open 위상수학적 위상이 부여된다.
• 포스트 $P$에 관련된 단체적 집합 $\mathcal{S}(P)$의 기하적 실현은 $P$ 자체의 실현과 위상동형이 되며, 자연스러운 대응 관계를 확립한다.
• 표준 순환 $n$-단체 $\tilde{\Delta}_n$는 $|\Delta_n| \times S^1$로 기하적 실현되며, 원은 $|\Delta_n|$에 자명하게 작용한다.
• 콘느의 순환 범주는 양의 아르키메데스적 구조를 갖는 차수 1 주기적 포스트의 전체 부분범주와 순서동형이다.
• 양의 아르키메데스적 컴팩트한 ppset $P$는 $[[n]]$과 위상동형이며, $n+1 = |\mathbb{Z} \backslash P|$임을 만족한다. 이는 이러한 대상의 분류를 제공한다.
• 순환적 집합의 기하적 실현은 곱을 보존한다: $||\mathcal{C}(P) \times \mathcal{C}(Q)|| \cong ||\mathcal{C}(P)|| \times ||\mathcal{C}(Q)||$이며, 이는 대각 원의 작용을 통해 이루어진다.