[논문 리뷰] Factorization homology of enriched $\infty$-categories

David Ayala, Francis, John외 2명|arXiv (Cornell University)|2017. 10. 17.

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

한 줄 요약

이 논문은 1차원 다양체 위에서 풍부화된 $(\infty,1)$-범주에 대한 인수분해 homology를 도입하며, Hochschild homology와 위상적 Hochschild homology를 일반화한다. 대칭 단순 $\infty$-범주를 풍부화로 사용하는 프레임워크를 구축하여, 스펙트럼의 경우 원 위에서의 인수분해 homology가 위상적 Hochschild homology를 계산함을 보이며, 고차수 양자장론에 대한 분류화된 적분 형식을 실현한다.

ABSTRACT

For an arbitrary symmetric monoidal $\infty$-category $\mathcal{V}$, we define the factorization homology of $\mathcal{V}$-enriched $(\infty,1)$-categories over (possibly stratified) 1-manifolds and study some of its basic properties. In the case of spectral enrichment, we show that the value of factorization homology on a circle is topological Hochschild homology.

연구 동기 및 목표

• 풍부화된 $(\infty,1)$-범주에 대한 인수분해 homology를 $E_n$-대수를 초월해 대칭 단순 $\infty$-범주를 풍부화로 사용하여 일반화하는 것.
• Hochschild 유형 불변량이 내재한 대칭성과 구조를 포괄하는 인수분해 homology의 함의론적 프레임워크를 수립하는 것.
• 스펙트럼 풍부화의 경우 원 위에서의 인수분해 homology가 위상적 Hochschild homology를 복원함을 보여주는 것.
• 특히 풍부화된 $(\infty,n)$-범주와 수반 구조를 갖는 고차원 이론에 대한 인수분해 homology의 완전한 이론을 위한 청사진을 제공하는 것.

제안 방법

• 다양체의 범주에 대한 인수분해 체계를 활용하여, 플래그된 풍부화된 $(\infty,1)$-범주 위에서 오른쪽-완화 함수를 통한 인수분해 homology 정의.
• 공카르티esian 피브레이션 이론과 인수분해 체계를 사용하여 인수분해 homology 함의론을 모델링하는 왼쪽 수반을 구성.
• 유한 극한과 극한을 갖는 대칭 단순 $\infty$-범주에 대해 카르테시안 풍부화된 인수분해 homology 도입.
• 세갈 공간 이론과 풍부화된 $\infty$-범주 이론을 활용하여 플래그된 풍부화된 구조와 인수분해 homology를 연결.
• 대칭 단순 $\infty$-범주 $\mathcal{V}$ 내의 $E_1$-대수의 인수분해 homology를 디스크-분할 다각체 위의 코로우트로 구성.
• 스펙트럼의 $\infty$-범주일 때 원 위에서 인수분해 homology의 값이 위상적 Hochschild homology와 동치임을 증명.

실험 결과

연구 질문

• RQ1 인수분해 homology는 어떻게 $E_n$-대수에서 풍부화된 $(\infty,1)$-범주로 확장될 수 있는가?
• RQ2 대칭 단순 $\infty$-범주가 인수분해 homology 정의에 있어 풍부화로써 수행하는 역할은 무엇인가?
• RQ3 스펙트럼의 경우 원 위에서의 인수분해 homology는 어떻게 위상적 Hochschild homology를 복원하는가?
• RQ4 풍부화된 $(\infty,1)$-범주 간 오른쪽-완화 함수에 대해 인수분해 homology의 함의론적 구조는 어떠한가?
• RQ5 이 프레임워크는 결함이 있는 고차원 양자장론으로 일반화될 수 있는가?

주요 결과

• 스펙트럼 풍부화의 경우 원 위에서의 인수분해 homology는 위상적 Hochschild homology와 동치이며, 이는 THH의 기하학적 해석을 제공한다.
• 풍부화된 $(\infty,1)$-범주에 적절한 구조를 갖춘 인수분해 homology의 구성은 오른쪽-완화의 관점에서 함의론적이다.
• 유한 극한과 극한을 갖는 대칭 단순 $\infty$-범주에 대해 카르테시안 풍부화된 인수분해 homology는 잘 정의되어 있으며, 안정적인 호모토피 이론적 프레임워크를 가능하게 한다.
• 이 이론은 입력이 풍부화된 $(\infty,1)$-범주이고 출력이 전역 불변량을 코딩하는 $\infty$-범주인 분류화된 적분의 형태를 실현한다.
• 인수분해 homology의 구성은 Hochschild 유형 불변량 위의 자연스러운 $T$-행동과 호환되며, 기하학적으로 대칭성을 드러낸다.
• 이 프레임워크는 고전적 Hochschild homology를 일반화하며, 사이클로믹 트레이스를 통해 대수적 K-이론과 직접 연결되며, 자연스럽게 위상적 설정으로 확장된다.