[논문 리뷰] Glueing vertex algebras

Thomas Creutzig, Shashank Kanade외 1명|arXiv (Cornell University)|2019. 05. 31.

Algebraic structures and combinatorial models참고 문헌 54인용 수 21

한 줄 요약

이 논문은 단순 객체에서 $α$-객체로의 사상 $α$를 통해 두 개의 버텍스 연산자 대수 $\mathcal{U}$ 와 $\mathcal{V}$ 를 접합하여 conformal vertex 대수 $\alpha$ 를 구성한다. 이는 $\mathsf{A} = \bigoplus \mathsf{X} \otimes \alpha(\mathsf{X})$ 로 표현된다. 핵심 결과는 $\mathsf{A}$ 가 $\mathsf{U} \otimes \mathsf{V}$ 의 단순 conformal 확장을 갖는다 하는 것과 $\mathcal{U}$ 와 $\mathcal{V}$ 가 브라우드-역순 등가 사상 $\mathsf{X} \mapsto \alpha(\mathsf{X})^*$ 를 갖는 브라운드 텐서 범주임과 동치라는 것이다. 이 구성은 모듈 범주 자료를 통한 버텍스 대수의 확장에 대한 범주론적 기준을 제공한다.

ABSTRACT

Let $\mathsf{U}$ and $\mathsf{V}$ be vertex operator algebras with module (sub)categories $\mathcal{U}$ and $\mathcal{V}$, respectively, satisfying suitable assumptions which hold for example if $\mathcal{U}$ and $\mathcal{V}$ are semisimple rigid braided (vertex) tensor categories with countably many inequivalent simple objects. If $ au$ is a map from the set of inequivalent simple objects of $\mathcal{U}$ to the objects $\mathcal{V}$ with $ au(\mathsf{U})=\mathsf{V}$, then we glue $\mathsf{U}$ and $\mathsf{V}$ along $\mathcal{U}\boxtimes \mathcal{V}$ via $ au$ to obtain the object \[ \mathsf{A} = \bigoplus \mathsf{X} \otimes au(\mathsf{X}) \] where the sum is over all inequivalent simple objects of $\mathcal{U}$. Assuming $\mathsf{U}$ and $\mathsf{V}$ form a commuting pair in $\mathsf{A}$ in the sense that the multiplicity of $\mathsf{V}$ is $\mathsf{U}$, our main theorem is that there is a braid-reversed equivalence between $\mathcal{U}$ and $\mathcal{V}$ mapping $\mathsf{X}$ to $ au(\mathsf{X})^*$ if and only if $\mathsf{A}$ can be given the structure of a simple conformal vertex algebra that (conformally) extends $\mathsf{U}\otimes \mathsf{V}$.

연구 동기 및 목표

• 두 개의 버텍스 연산자 대수 $\mathsf{U}$ 와 $\mathsf{V}$ 를 그들의 단순 객체들 사이의 사상 $\alpha$ 를 사용하여 접합하여 새로운 버텍스 대수 $\mathsf{A}$ 를 구성하는 것.
• 접합된 대수 $\mathsf{A}$ 가 $\mathsf{U} \otimes \mathsf{V}$ 를 확장하는 단순 conformal 버텍스 대수가 되기 위한 범주론적 조건을 규명하는 것.
• 그러한 conformal 확장의 존재성과 모듈 범주 $\mathcal{U}$ 와 $\mathcal{V}$ 사이의 브라우드-역순 등가 사상 존재성 사이의 정확한 대응 관계를 설정하는 것.

제안 방법

• 단순 객체들 간의 사상 $\alpha$ 를 사용하여 $\mathsf{A} = \bigoplus \mathsf{X} \otimes \alpha(\mathsf{X})$ 를 정의한다. 여기서 합은 $\mathcal{U}$ 의 비동치 단순 객체들에 대해 이루어지며, $\alpha$ 는 $\mathcal{U}$-객체에서 $\mathcal{V}$-객체로의 사상이며 $\alpha(\mathsf{U}) = \mathsf{V}$ 를 만족한다.
• $\mathsf{U}$ 와 $\mathsf{V}$ 가 $\mathsf{A}$ 내에서 서로 상호작용을 가질 수 있도록 하는 조건을 가정하여 그 행동의 호환성을 확보한다.
• 가산 개의 단순 객체를 가진 단순적이고 강한 브라운드 텐서 범주 구조를 이용하여 잘 정의된 모듈 범주를 확보한다.
• 텐서곱과 브라운드 등가 자료를 활용하여 $\mathsf{A}$ 위에 버텍스 대수의 구조를 구성한다.
• conformal 확장의 개념을 적용하여 $\mathsf{A}$ 가 단순 conformal 버텍스 대수가 되는 조건을 규명한다.
• 모듈 범주 $\mathcal{U}$ 와 $\mathcal{V}$ 사이의 브라우드-역순 등가 사상이 존재하는 것이 $\mathsf{A}$ 가 conformal 확장을 갖는 데 필수적이고 충분한 조건임을 증명한다. 이 사상은 $\mathsf{X}$ 를 $\alpha(\mathsf{X})^*$ 로 매핑한다.

실험 결과

연구 질문

• RQ1 어떤 범주론적 조건 하에서 두 버텍스 연산자 대수 $\mathsf{U}$ 와 $\mathsf{V}$ 가 새로운 conformal 버텍스 대수 $\mathsf{A}$ 로 접합될 수 있는가?
• RQ2 단순 $\mathcal{U}$-객체에서 $\mathcal{V}$-객체로의 사상 $\alpha$ 는 $\mathsf{A}$ 를 구성하는 데 어떤 역할을 하는가?
• RQ3 $\mathsf{U} \otimes \mathsf{V}$ 의 conformal 확장이 $\mathsf{A}$ 내에 존재하는 것과 $\mathcal{U}$ 와 $\mathcal{V}$ 사이의 브라운드 등가 사상 사이의 관계는 어떠한가?
• RQ4 접합 과정에서 $\mathsf{X}$ 를 $\alpha(\mathsf{X})^*$ 로 매핑하는 브라우드-역순 등가 사상의 의미는 무엇인가?
• RQ5 접합 절차는 명시적인 버텍스 연산자에 대한 참조 없이 순수하게 모듈 범주 자료의 관점에서 기술될 수 있는가?

주요 결과

• 접합된 대상 $\mathsf{A} = \bigoplus \mathsf{X} \otimes \alpha(\mathsf{X})$ 는 $\mathsf{U}$ 와 $\mathsf{V}$ 가 $\mathsf{A}$ 내에서 상호작용을 가질 경우 단순 conformal 버텍스 대수의 구조를 지닐 수 있다.
• $\mathsf{U} \otimes \mathsf{V}$ 의 conformal 확장이 $\mathsf{A}$ 내에 존재하는 것과 $\mathcal{U}$ 와 $\mathcal{V}$ 의 모듈 범주 사이의 브라우드-역순 등가 사상 존재성은 동치이다.
• 이 브라우드-역순 등가 사상은 $\mathcal{U}$ 의 각 단순 객체 $\mathsf{X}$ 를 $\mathcal{V}$ 내의 쌍대 객체 $\alpha(\mathsf{X})^*$ 로 매핑하며, 이는 브라운드 텐서 구조와의 일致성을 보장한다.
• 이 구성은 $\mathcal{U}$ 와 $\mathcal{V}$ 가 가산 개의 단순 객체를 가지며 단순적이고 강한 브라운드 텐서 범주임을 가정할 경우 성립한다.
• 이 결과는 모듈 범주 자료를 통한 conformal 확장의 범주론적 기준을 제공하며, 버텍스 대수 이론에서 알려진 접합 구성의 일반화를 이룬다.
• $\alpha(\mathsf{U}) = \mathsf{V}$ 라는 조건은 진공 모듈러 수준에서 접합의 호환성을 보장한다.