[논문 리뷰] Planar algebras in braided tensor categories

André Henriques, David Penneys외 1명|arXiv (Cornell University)|2016. 07. 20.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 편평한 대각선을 갖춘 평면 대수를 편평한 브레이드된 텐서 카테고리 C 내부에서 정의한 존스의 평면 대수의 일반화로 제안한다. 텐서 순서를 표현하는 앵커 라인을 평면 끈에 부여함으로써, 저자들은 C 내부의 앵커가 있는 평면 대수와 C 위의 편평한 모듈러 텐서 카테고리 사이의 동치를 확립한다. 이 카테고리적 동치는 자가쌍대 생성자를 갖는 조건을 만족하며, 고전적인 평면 대수의 분류를 고차원 카테고리 이론으로 확장한다.

ABSTRACT

We generalize Jones' planar algebras by internalising the notion to a pivotal braided tensor category $\mathcal{C}$. To formulate the notion, the planar tangles are now equipped with additional `anchor lines' which connect the inner circles to the outer circle. We call the resulting notion an anchored planar algebra. If we restrict to the case when $\mathcal{C}$ is the category of vector spaces, then we recover the usual notion of a planar algebra. Building on our previous work on categorified traces, we prove that there is an equivalence of categories between anchored planar algebras in $\mathcal{C}$ and pivotal module tensor categories over $\mathcal{C}$ equipped with a chosen self-dual generator. Even in the case of usual planar algebras, the precise formulation of this theorem, as an equivalence of categories, has not appeared in the literature. Using our theorem, we describe many examples of anchored planar algebras.

연구 동기 및 목표

• 벡터 공간이 아닌 임의의 편평한 브레이드된 텐서 카테고리 C로 존스의 평면 대수를 일반화하기 위해.
• 평면 끈 내의 텐서 순서를 추적하는 데 사용되는 앵커 라인을 도입함으로써, 새로운 구조인 앵커가 있는 평면 대수를 정의하기 위해.
• C 내부의 앵커가 있는 평면 대수와 C 위의 편평한 모듈러 텐서 카테고리 사이에 카테고리적 동치를 확립하기 위해.
• 고전적인 평면 대수의 분류를, 이전에 문헌에 기록되지 않은 바와 같이, 완전한 카테고리적 동치로 확장하기 위해.
• 모듈러 텐서 카테고리와 그 반대로, 앵커가 있는 평면 대수의 예를 체계적으로 구성하기 위해.

제안 방법

• 내부화된 평면 대수를 정의하기 위해, 내부 원과 외부 원을 연결하는 빨간 앵커 라인을 갖춘 앵커가 있는 평면 끈을 도입하여 텐서 인자의 순서를 결정한다.
• 앵커가 있는 평면 대수의 정의는 앵커가 있는 평면 작도에서 C로의 함자로서, 끈에 대해 사상들을 할당하는 것으로 이루어진다.
• 이전 연구에서 얻은 분류된 추적 구성법을 사용하여, C 위의 모듈러 텐서 카테고리와 앵커가 있는 평면 대수 사이의 관계를 규명한다.
• 튜브 스트링 계산법과 리본 브레이드 군 작용을 이용하여, 모듈러 텐서 카테고리에서 앵커가 있는 평면 대수로의 함자를 구성한다.
• 튜브 스트링 다이어그램 계산법을 통해, 끈에 대한 사상의 할당이 브레이드 군 작용과 호환되며, 위상 불변성을 보장함을 증명한다.
• 앵커가 있는 평면 대수의 카테고리와 자가쌍대 생성자를 갖는 편평한 모듈러 텐서 카테고리의 카테고리 사이에 전사적이고 본질적으로 전사적인 대응을 확립한다.

실험 결과

연구 질문

• RQ1 어떻게 평면 대수를 벡터 공간이 아닌, 편평한 브레이드된 텐서 카테고리 C 내부에서 내재화할 수 있는가?
• RQ2 C 위의 모듈러 텐서 카테고리에서 앵커가 있는 평면 대수에 정확히 대응하는 구조는 무엇인가?
• RQ3 C 내부의 앵커가 있는 평면 대수와 C 위의 특정한 유형의 모듈러 텐서 카테고리 사이에 카테고리적 동치가 존재하는가?
• RQ4 끈에 앵커 라인이 존재할 경우, 사상의 할당과 조합 규칙이 평면 대수에서 어떻게 영향을 받는가?
• RQ5 고전적인 평면 대수의 분류(편평한 카테고리와 자가쌍대 생성자를 통한)를 내재화된 설정에서 완전한 카테고리적 동치로 확장할 수 있는가?

주요 결과

• 앵커가 있는 평면 대수는 텐서 인자의 순서를 결정하는 앵커 라인을 평면 끈에 부여함으로써 정의되며, 이는 표준 평면 대수의 일반화로서 임의의 편평한 브레이드된 텐서 카테고리 C로의 확장이다.
• 논문은 C 내부의 앵커가 있는 평면 대수와 자가쌍대 생성자를 갖는 C 위의 편평한 모듈러 텐서 카테고리 사이에 카테고리적 동치를 확립한다.
• 동치는 튜브 스트링 계산법과 분류된 추적을 사용하여 모듈러 텐서 카테고리에서 앵커가 있는 평면 대수로의 함자를 통해 구성되며, 반대로 평면 대수에서 모듈러 카테고리를 재구성함으로써 역함수를 구성한다.
• 끈에 대한 사상의 할당은 리본 브레이드 군 작용과 호환되며, 위상 불변성을 보장한다.
• 주요 결과는 고전적인 평면 대수의 분류(즉, (D,X) 쌍을 통한)를 완전한 카테고리적 동치로 일반화하며, 이는 이전에 문헌에 기록되지 않은 서술 방식이다.
• 이 틀은 모듈러 텐서 카테고리로부터 앵커가 있는 평면 대수의 예를 체계적으로 구성하고, 그 반대로도 가능하게 하며, 튜브 스트링 다이어그램 계산법과 브레이드 군 작용을 통해 이를 실현한다.