[논문 리뷰] Condensation inversion and Witt equivalence via generalised orbifolds

Vincentas Mulevičius|arXiv (Cornell University)|2022. 06. 06.

Homotopy and Cohomology in Algebraic Topology인용 수 8

한 줄 요약

이 논문은 모듈러 융합 카테고리(MFCs)에서 일반화된 오비폴드를 통한 오비폴드 구성이 웃팅 등가를 유도함을 증명하며, 특정 오비폴드 데이터를 사용하여 응집 과정을 역으로 뒤집을 수 있음을 보여준다. 논문은 '리본 프로베누스' 함자를 도입하고, 명시적인 역 응집을 구성하여 결과적으로 얻어진 MFC가 원래 MFC와 동치임을 보이며, 이는 관계 $\mathcal{C} \sim \mathcal{C}_{\mathbb{A}}$가 정확히 웃팅 등가임을 증명한다.

ABSTRACT

In Mulevičius-Runkel, arXiv:2002.00663, it was shown how a so-called orbifold datum $\mathbb{A}$ in a given modular fusion category (MFC) $\mathcal{C}$ produces a new MFC $\mathcal{C}_{\mathbb{A}}$. Examples of these associated MFCs include condensations, i.e. the categories $\mathcal{C}_B^\circ$ of local modules of a separable commutative algebra $B\in\mathcal{C}$. In this paper we prove that the relation $\mathcal{C} \sim \mathcal{C}_{\mathbb{A}}$ on MFCs is the same as Witt equivalence. This is achieved in part by providing one with an explicit construction for inverting condensations, i.e. finding an orbifold datum $\mathbb{A}$ in $\mathcal{C}_B^\circ$ whose associated MFC is equivalent to $\mathcal{C}$. As a tool used in this construction we also explore what kinds of functors $F\colon\mathcal{C} ightarrow\mathcal{D}$ between MFCs preserve orbifold data. It turns out that $F$ need not necessarily be strong monoidal, but rather a `ribbon Frobenius' functor, which has weak monoidal and weak comonoidal structures, related by a Frobenius-like property.

연구 동기 및 목표

• 모듈러 융합 카테고리에서의 오비폴드 구성과 웃팅 등가 사이의 정확한 연결 고리를 확립하기 위해.
• 응집된 카테고리에서 원래 카테고리를 복원할 수 있는 오비폴드 데이터를 구성하여 응집 문제의 역 문제를 해결하기 위해.
• 오비폴드 데이터를 보존하는 MFC 간의 함수의 범주를 규명하고, 강한 모노이드 함수의 개념을 일반화하기 위해.
• 약한 모노이드 및 약한 코모노이드 구조를 가지며 프로베누스 조건으로 연결된 새로운 종류의 함수인 '리본 프로베누스' 함수를 도입하고 연구하기 위해.
• 위상적 순서와 에이타론 응집의 맥락에서 응집 과정을 뒤집는 데 위한 완전한 프레임워크를 제공하기 위해.

제안 방법

• 모듈러 융합 카테고리 $\mathcal{C}$에서 오비폴드 데이터 $\mathbb{A}$를 사용하여 일반화된 오비폴드 구성으로 새로운 MFC $\mathcal{C}_{\mathbb{A}}$를 구성한다.
• 핵심 기술적 도구는 약한 모노이드 및 약한 코모노이드 구조를 가지며 프로베누스 유사 호환 조건을 만족하는 '리본 프로베누스' 함수의 도입이다.
• 논문은 이러한 함수가 오비폴드 데이터를 보존함을 증명하여, 오비폴드 구조가 카테고리 간에 전달될 수 있음을 보여준다.
• 응집된 카테고리 $\mathcal{C}_B^\circ$에서 명시적인 오비폴드 데이터 $\mathbb{A}$를 구성하여 $\mathcal{C}_{\mathbb{A}} \simeq \mathcal{C}$임을 보이며, 이는 응집 과정을 역전시킴을 의미한다.
• 웃팅 등가의 증명은 이 구성으로 유도된 관계 $\mathcal{C} \sim \mathcal{C}_{\mathbb{A}}$가 MFC의 카테고리에서 웃팅 등가의 공리들을 만족함을 보여서 기반을 둔다.
• 프레임워크는 분리 가능한 가환 대수 $B \in \mathcal{C}$의 응집에 적용되어 원래 카테고리를 역오비폴드 데이터를 통해 복원한다.

실험 결과

연구 질문

• RQ1 모듈러 융합 카테고리에서 일반화된 오비폴드를 통한 오비폴드 구성은 웃팅 등가에 해당하는 관계를 유도하는가?
• RQ2 응집된 카테고리에서 잘 정의된 오비폴드 데이터를 사용하여 모듈러 융합 카테고리 내의 응집 과정을 역전시킬 수 있는가?
• RQ3 모듈러 융합 카테고리 간의 어떤 종류의 함수가 오비폴드 데이터를 보존하는가? 이는 강한 모노이드 함수의 개념을 어떻게 일반화하는가?
• RQ4 오비폴드 구성과 가환성을 유지하기 위해 함수가 만족해야 할 구조는 무엇이며, 이는 프로베누스 성질과 어떻게 관련되는가?
• RQ5 원래 모듈러 융합 카테고리를 응집된 형태에서 오비폴드 데이터를 통해 정규화할 수 있는 방법이 존재하는가?

주요 결과

• 일반화된 오비폴드 구성으로 유도된 관계 $\mathcal{C} \sim \mathcal{C}_{\mathbb{A}}$는 정확히 웃팅 등가이다.
• 응집된 카테고리 $\mathcal{C}_B^\circ$에서 명시적인 역 오비폴드 데이터 $\mathbb{A}$를 구성하여 $\mathcal{C}_{\mathbb{A}} \simeq \mathcal{C}$임을 보였으며, 이는 응집이 역전시 가능함을 증명한다.
• 오비폴드 데이터를 보존하는 함수의 범주는 '리본 프로베누스' 함수로 특징지어지며, 이는 약한 모노이드 및 약한 코모노이드 구조를 가지며 프로베누스 조건으로 연결된다.
• 역 응집의 구성은 분리 가능한 가환 대수 $B$가 모듈러 융합 카테고리 $\mathcal{C}$에 속해 있는 한 임의의 경우에 대해 유효하며, 기존 결과를 일반화한다.
• 프레임워크는 위상적 순서와 에이타론 응집 맥락에서 응집 과정을 뒤집는 데 있어 완전하고 체계적인 방법을 제공한다.
• 논문은 MFC 내 응집과 오비폴드 구성 간에 완전한 대칭성을 확립하며, 웃팅 등가가 그 기초 등가 관계임을 증명한다.