[논문 리뷰] Cyclic structures and broken cycles

Hiro TANAKA|arXiv (Cornell University)|2019. 07. 07.

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

한 줄 요약

이 논문은 고차 대수와 Fukaya 범주에서 순환 및 반순환 구조를 인코딩하기 위해 파손된 사이클과 반사이클의 스택을 사용하는 새로운 기하적 프레임워크를 제안한다. 파손된 사이클의 모듈리 스택 위의 층과 ∞-범주 내의 반순환 대상 사이의 동치를 확립함으로써 Waldhausen의 s-dot 구성의 기하적 실현을 가능하게 하며, K이론과 Fukaya 범주의 붙임에 대한 새로운 통찰을 제공한다.

ABSTRACT

We introduce a new way to encode semicyclic structures using a stack of broken cycles. (We also prove an analogue for paracyclic structures.) This was motivated not only by higher algebra but also by Fukaya-categorical considerations. We also openly speculate about some Fukaya-categorical implications. For example, this stack sees moduli of stopped Liouville disks, and hence yields another platform for gluing together Fukaya categories. We also see that Lagrangian cobordisms with multiple ends may not only serve to detect $K_0$ groups of Fukaya categories, but higher $K$-theory groups as well. Along the way, we include brief expositions of (i) basic techniques in infinity-categories and (ii) the translation between exit path categories and constructible sheaves. These may be of independent interest.

연구 동기 및 목표

• 안정적 ∞-범주에 대한 Waldhausen의 s-dot 구성에서 순환 및 반순환 구조의 기하적이고 정밀한 실현을 제공하는 것.
• 특히 2주기 경우에서 Fukaya 범주에서 이러한 구조에 대한 깔끔한 기하 모델의 부재를 해결하는 것.
• 파손된 사이클의 모듈리 스택 위의 층과 ∞-범주 내의 반순환 대상 사이의 대응을 확립하는 것.
• 정지된 Liouville 디스크와 라그랑주 코브อร督办즘을 통한 출구 경로 범주와 구조적 층을 활용하여 K이론과 Fukaya 범주의 붙임에 대한 함의를 탐색하는 것.
• 대칭적 위상수학 적용을 위한 출구 경로 ∞-범주, 구조적 층, ∞-범주 기법 간의 연결 도구를 개발하는 것.

제안 방법

• 방향성이 있는 원을 갖는 가족과 R-작용 및 이산이고 비어 있지 않은 고정점 집합을 분류하는 파라사이클의 모듈리 스택 $\mathsf{Broken}_{\circlearrowleft}$ 를 도입한다.
• 그로텐디크 구성과 칸 확장 기법을 사용하여 $\mathsf{Broken}_{\circlearrowleft}$ 위의 층과 단사 순환 범주 $\Delta_{\operatorname{cyc}}^{\operatorname{inj}}$ 의 반대 범주 위의 함자를 연결한다.
• 복합 피브레이션에서 $q_{\operatorname{cyc}}$-카르티esian 변을 이용한 국소화 기법을 적용하여, 볼록 전순서의 범주를 통한 순환 구조의 국소화 모델링을 수행한다.
• 파손된 사이클의 층 범주 $\mathsf{Broken}_{\operatorname{cyc}}$, 분할된 공간 $F^{(I)}$ 위의 구조적 층, $\Delta_{\operatorname{cyc}}^{\operatorname{surj}}$ 위의 함자 간의 등가 사슬을 수립하여 주 등가를 도출한다.
• 출구 경로 ∞-범주와 구조적 층을 활용하여 위상적 분할 구조를 범주론적 자료로 변환함으로써 순환 대상의 기하적 해석을 가능하게 한다.
• 2-세갈 공간 이론과 반순환 구조 이론을 활용하여 프레임워크를 반순환 경우로 확장하며, $\mathsf{Broken}_{\circlearrowleft}$ 에 대해서도 유사한 결과를 도출한다.

실험 결과

연구 질문

• RQ1 Waldhausen의 s-dot 구성에서 순환 및 반순환 구조는 파손된 사이클의 모듈리 스택을 통해 기하적으로 실현될 수 있는가?
• RQ2 스택 $\mathsf{Broken}_{\circlearrowleft}$ 위의 층은 ∞-범주 내의 반순환 대상과 어떻게 관련이 있는가?
• RQ3 정지된 Liouville 디스크의 모듈리 스택은 파손된 사이클의 기하 모델로 해석될 수 있으며, 이는 Fukaya 범주의 새로운 붙임 기법을 가능하게 하는가?
• RQ4 다중 끝을 갖는 라그랑주 코브르督办즘이 Fukaya 범주의 높은 K이론 군을 얼마나 잘 탐지하는가?
• RQ5 출구 경로 범주와 구조적 층은 파손된 사이클의 스택 위의 층을 특성화하는 데 어떻게 활용될 수 있는가?

주요 결과

• 모든 컴팩트 생성 ∞-범주 $\mathcal{D}$ 에 대해 자연스러운 등가 $\mathcal{S}\mathsf{hv}(\mathsf{Broken}_{\operatorname{cyc}};\mathcal{D}) \simeq \mathcal{F}\mathsf{un}((\Delta_{\operatorname{cyc}}^{\operatorname{inj}})^{\operatorname{op}}, \mathcal{D})$ 가 수립되며, 이는 파손된 사이클의 스택 위의 층이 반순환 대상을 분류함을 보여준다.
• 스택 $\mathsf{Broken}_{\circlearrowleft}$ 는 방향성이 있는 원을 갖는 가족과 R-작용 및 이산 고정점 집합을 분류하며, 볼록 전순서의 범주를 통한 코일리미트 구성에 의해 반순환 구조를 모델링함을 보였다.
• 스택 위의 I-단면의 공간은 국소 모델 $\tilde{F}^{(I)} \to F^{(I)}$ 를 통해 표현 가능하며, 이는 단면 공간의 표현 가능성을 증명하고 주 등가를 가능하게 한다.
• 저자들은 $\mathsf{Broken}_{\circlearrowleft}$ 위의 층이 분할된 공간 $F^{(I)}$ 위에서 구조적이라는 것을 증명하였으며, $F^{(I)}$ 위의 구조적 층은 출구 경로 범주 $\mathcal{E}\mathsf{xit}(F^{(I)})$ 위의 함수와 대응됨을 보였다. 이는 위상수학과 범주론을 연결한다.
• 이 프레임워크는 정지된 Liouville 디스크의 모듈리를 통한 Fukaya 범주의 붙임을 위한 기하 플랫폼을 제공하며, 라그랑주 코브르督办즘을 통한 높은 K이론 탐지에 대한 함의를 지닌다.
• 저자들은 $\widetilde{\mathsf{Conv}}$ 의 범주를 $q_{\operatorname{cyc}}$-카르티esian 변에서 국소화하여 $\Delta_{\operatorname{cyc}}^{\operatorname{surj}}$ 와의 등가를 도출하였으며, 이는 주 정리의 증명에 핵심적이다.