[논문 리뷰] Condensations in higher categories

Davide Gaiotto, Theo Johnson-Freyd|arXiv (Cornell University)|2019. 05. 23.

Algebraic structures and combinatorial models참고 문헌 34인용 수 19

한 줄 요약

이 논문은 고차 범주론적 일반화된 카루비 봉우리 구조를 도입하며, 응집 현상(Condensations)을 사용한다—이것은 양자물리학에서의 위상적 상전이를 모델링하는 수학적 프레임워크이다. 이는 고차 카루비 봉우리 구조가 절대적 극한을 실현하고 완전 이중가능한 객체를 완전히 특성화함으로써, 고립된 위상적 상태와 완전히 확장된 위상 양자장 이론(TQFT) 사이의 엄밀한 다리를 놓는다. 이는 코바르디즘 가설을 통해 이루어진다.

ABSTRACT

We present a higher-categorical generalization of the "Karoubi envelope" construction from ordinary category theory, and prove that, like the ordinary Karoubi envelope, our higher Karoubi envelope is the closure for absolute limits. Our construction replaces the idempotents in the ordinary version with a notion that we call "condensations." The name is justified by the direct physical interpretation of the notion of condensation: it encodes a general class of constructions which produce a new topological phase of matter by turning on a commuting projector Hamiltonian on a lattice of defects within a different topological phase, which may be the trivial phase. We also identify our higher Karoubi envelopes with categories of fully-dualizable objects. Together with the Cobordism Hypothesis, we argue that this realizes an equivalence between a very broad class of gapped topological phases of matter and fully extended topological field theories, in any number of dimensions.

연구 동기 및 목표

• 응집 현상(Condensations)을 고차 범주론에서의 아이디포턴트(endomorphism)의 범주론적 동반자로 사용하여, 카루비 봉우리 구조를 고차 범주론으로 일반화한다.
• 격자 해밀토니안과 결함 네트워크를 통해 고립된 위상적 상태의 물리적 기술을 위한 수학적 프레임워크를 제공한다.
• 고차 카루비 봉우리 구조가 직접 합과 응집체를 포함한 절대적 극한에 대한 닫힘 구조와 정확히 일치함을 증명한다.
• 고차 범주론에서 완전 이중가능한 객체를 응집 구조와 연관지어, 코바르디즘 가설을 통해 완전히 확장된 TQFT와 연결한다.
• 차원에 관계없이 페르미온계 및 대칭 풍부 시스템을 포함한 고립된 상태와 확장된 TQFT의 기술을 통합한다.

제안 방법

• n-응집 현상(‘n-condensations’)을 도입하여, n-범주 내에서 응집 모나드를 통해 정의된 아이디포턴트의 고차 범주론적 동반자로 사용한다.
• 응집체를 응집 모나드의 상(image)으로 구성함으로써, 고차 범주론으로 일반화된 카루비 봉우리 구조를 구현한다.
• 상태-연산자 사상(state-operator map)을 통해 단위 응집 현상(unitary condensations)을 정의함으로써, 물리적 응집 과정과 이중 모듈러의 대수적 단위성 사이의 연결 고리를 맺는다.
• 코바르디즘 가설을 사용하여, 고차 카루비 봉우리 구조 내에서 완전 이중가능한 객체가 완전히 확장된 TQFT와 정확히 대응됨을 보여준다.
• 덧셈 n-범주에서 특히 중요한 바탕이 되는, 직접 합과 응집체에 대한 코시 완비화를 나타내기 위해 기호 ΣC = Kar(Mat(BC))를 도입한다.
• 구체적인 예시들, 예를 들어 Σⁿℂ와 Σⁿ𝕂에 대해 이 프레임워크를 적용하여, 이들이 n차원의 확장된 TQFT와 교환 가능한 프로젝터 해밀토니안 시스템을 유도함을 보여준다.

실험 결과

연구 질문

• RQ1 카루비 봉우리 구조는 어떻게 고차 범주론으로 일반화되어 위상적 상전이를 모델링할 수 있는가?
• RQ2 위상적 상태에서의 물리적 응집 과정의 기초가 되는 범주론적 구조는 무엇인가?
• RQ3 응집 현상은 고차 범주론에서 절대적 극한과 완전 이중가능한 객체와 어떻게 관련되는가?
• RQ4 고차 카루비 봉우리 구조는 코바르디즘 가설을 통해 완전히 확장된 TQFT를 완전히 분류하는 데 사용될 수 있는가?
• RQ5 직접 합과 덧셈 구조는 n-범주에서 응집에 의한 완비화 과정에서 어떤 역할을 하는가?

주요 결과

• 응집 현상에 기반한 고차 카루비 봉우리 구조는 고차 범주론에서 절대적 극한에 대한 유일한 닫힘 구조이며, 고전적 카루비 봉우리의 일반화이다.
• 고차 범주론에서의 응집 현상은 결함 격자에 있는 교환 가능한 프로젝터 해밀토니안을 켜는 물리적 과정을 모델링하며, 위상적 상태와의 직접적인 연결 고리를 제공한다.
• ΣC = Kar(Mat(BC))의 구조는 특히 덧셈 n-범주에서 직접 합과 응집체에 대한 닫힘을 보장한다.
• 고차 카루비 봉우리 구조 내에서 완전 이중가능한 객체는 정확히 응집 구조에서 유래하며, 이는 완전히 확장된 TQFT와의 일대일 대응을 확립한다.
• 코바르디즘 가설을 통해, 고립된 위상적 상태와 완전히 확장된 TQFT 사이의 정확한 동치 관계를 이 프레임워크가 실현한다. 이는 모든 차원에서 성립한다.
• 체 𝕂에 대해, 범주 Σⁿ𝕂는 유한 차원 𝕂-선형 n-범주와 동치이며, Σⁿℂ의 각 객체는 잘 정의된 n차원의 확장된 TQFT를 결정한다.