[논문 리뷰] Field theories, stable homotopy theory and Khovanov homology

Po Hu, Daniel Kriz외 1명|arXiv (Cornell University)|2012. 03. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 21

한 줄 요약

이 논문은 연결성 있는 K-이론인 $k$에 대한 $k$-모듈의 리파라미터화를, 모듈라 함수에서 $k$-모듈로 가는 실현 함자와 함께 사용하여 카호바노프 호모로지의 $k$-모듈 리파라미터화를 구성한다. 엘멘도르프-만델의 군oids로 부등식된 다중범주에 대한 기계장치를 활용하여, 저자들은 카호바노프의 $\mathrm{sl}_2$-호모로지가 안정 호모토피 이론적 불변량으로 올라가는 정규 다중함수를 수립한다. 결국 $H\mathbb{Z}$-스매싱을 통해 기존의 카호바노프 체인 복합체와의 호환성을 보여준다.

ABSTRACT

In this paper, we discuss two topics: first, we show how to convert 1+1-topological quantum field theories valued in symmetric bimonoidal categories into stable homotopical data, using a machinery by Elmendorf and Mandell. Then, we discuss, in this framework, two recent results (independent of each other) on refinements of Khovanov homology: our refinement into a module over the connective k-theory spectrum and a stronger result by Lipshitz and Sarkar refining Khovanov homology into a stable homotopy type.

연구 동기 및 목표

• 모듈라 함수에서 $k$-모듈로 가는 실현 함자를 사용하여, 연결성 있는 K-이론인 $k$에 대한 카호바노프 호모로지의 $k$-모듈 리파라미터화를 구성하는 것.
• 엘멘도르프-만델의 기계장치를 통해 코버디즘 다중범주에서 $k$-모듈로의 $\star$-함수를 정규적으로 올리는 다중함수를 개발하는 것.
• 결과로 얻어진 불변량이 $H\mathbb{Z}$와 텐서곱을 취했을 때 원래의 카호바노프 호모로지 체인 복합체를 회복하는 것.
• 카호바노프의 구성 뒤에 있는 기하학적 및 범주론적 구조를, 그것이 대칭 스펙트럼으로의 릿츠 2-함수임으로써 밝혀내는 것.
• 초기에는 스핀 구조가 필요했으나 최종적으로 불필요하게 된 이론적 역설을 해결하는 것.

제안 방법

• 모듈라 함수와 코버디즘 구조를 공리화하기 위해 $\star$-범주(군oids로 부등식된 다중범주이며, 보편적인 $n$-항 연산을 가진 것)의 사용.
• 엘멘도르프-만델의 기계장치를 적용하여, $\star$-범주 $\mathcal{Q}$의 분류 공간에서 $k_{\mathcal{C}}$-모듈로의 다중함수를 구성하는 것.
• 스핀 $1+1$-코버디즘 범주 $\mathcal{A}_s^A$에서의 모듈라 함수의 구성으로, 이후 비스핀 형태로 단순화된다.
• 카호바노프의 TQFT가 유한 집합의 대칭 이중모나드 범주로의 릿츠 2-함수임으로서 식별되고, 이는 대칭 스펙트럼으로 올려진다.
• 결과로 얻은 $k$-모듈 불변량을 $H\mathbb{Z}$로 스매싱하여 [6]의 제4.2절에서의 등가성에 의해 카호바노프 체인 복합체를 회복하는 것.
• 단순체 실현이 엘멘도르프-만델 기계장치와 호모토피 코일림을 공유함을 이용하여 체인 복합체와의 호환성을 보장하는 것.

실험 결과

연구 질문

• RQ1 카호바노프 호모로지가 연결성 있는 K-이론인 $k$에 값이 있는 안정 호모토피 이론적 불변량으로 올라갈 수 있는가?
• RQ2 모듈라 함수가 유한 차원 $\mathbb{C}$-벡터 공간에 값이 있을 때, 그로부터 $k$-모듈로 가는 정규 실현 함자가 존재하는가?
• RQ3 중간 단계에서는 필요했지만 최종적으로 불필요해진 스핀 구조는 왜 제거될 수 있었는가?
• RQ4 엘멘도르프-만델 기계장치는 코버디즘의 다중범주적 구조와 $\star$-연산과 어떻게 상호작용하는가?
• RQ5 결과로 얻은 $k$-모듈 리파라미터화가 $H\mathbb{Z}$와 텐서곱을 취했을 때 원래의 카호바노프 호모로지로 복구되는가?

주요 결과

• 엘멘도르프-만델의 기계장치를 사용하여, $\mathcal{C}$-값을 가진 모듈라 함수를 갖는 모든 $\mathcal{Q}$-범주에서, $M: B_2\mathcal{Q} \to k_{\mathcal{C}}\text{-modules}$의 정규 다중함수를 구성한다.
• $M_{X_1} \wedge_{k_{\mathcal{C}}} \cdots \wedge_{k_{\mathcal{C}}} M_{X_n} \to M_{X_1 \star \cdots \star X_n}$의 사상은 등가이며, 이는 목표 범주에서의 $\star$-구조를 반영한다.
• 초기 표준 코버디즘 범주 $\mathcal{A}$에서의 시도가 실패했음에도 불구하고, 카호바노프 호모로지를 $k$-모듈 불변량으로 리파라미터화하는 데 성공한다.
• 스핀 구조 요구 조건은 초기 모듈라 함수에서는 필수적이었지만, 최종 불변량에서는 상쇄되어 비스핀 리파라미터화로 이어진다.
• $H\mathbb{Z}$로 스매싱한 $k$-모듈 불변량은 호몰로지가 카호바노프 호모로지와 동형인 체인 복합체를 얻으며, 원래 이론과의 일관성을 확인한다.
• 카호바노프의 구성 뒤에 있는 기하 원리는 리프시츠와 사르카르의 작업을 통해, 카호바노프의 구성이 통합된 코버디즘 범주 $\mathcal{A}_K$ 안에 존재한다는 것이 명확해진다.