[논문 리뷰] Logarithmic tensor category theory, III: Intertwining maps and tensor product bifunctors

Yi-Zhi Huang, James Lepowsky외 1명|arXiv (Cornell University)|2010. 12. 19.

Algebraic structures and combinatorial models참고 문헌 9인용 수 50

한 줄 요약

이 논문은 정점 대수 위의 강한 $\tilde{A}$-계급화된 일반화된 모듈러의 맥락에서 $P(z)$- 및 $Q(z)$-상호연결 맵과 그에 관련된 텐서곱 이함수를 도입하고 철저히 정의하여 로그적 텐서 카테고리 이론의 기초 프레임워크를 수립한다. 주요 기여는 보편 성질과 쌍대성에 기반하여 $P(z)$- 및 $Q(z)$-텐서곱의 존재성 간의 동치를 증명함으로써, 향후 연구에서 결합성 동형사상과 브레이드된 텐서 카테고리 구조를 구축하는 데 길을 열었다.

ABSTRACT

This is the third part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part III), we introduce and study intertwining maps and tensor product bifunctors.

연구 동기 및 목표

• 정점 대수 위의 강한 계급화된 일반화된 모듈러의 맥락에서 $P(z)$- 및 $Q(z)$-상호연결 맵의 개념을 체계화한다.
• 보편 성질과 상호연결 맵을 사용하여 $P(z)$- 및 $Q(z)$-텐서곱 이함수를 정의한다.
• 쌍대성과 콘트라그레디언트 모듈러 구성에 기반하여 $P(z)$- 및 $Q(z)$-텐서곱의 존재성 간의 동치를 수립한다.
• 후속 논문에서 결합성 동형사상과 브레이드된 텐서 카테고리 구조를 구축하기 위한 범주론적 기초를 마련한다.

제안 방법

• 일반화된 자카비 항등식(식 4.4)과 ${\frak{sl}}(2)$-브라켓 관계(4.5)를 통해 $P(z)$-상호연결 맵을 도입하여 계급화 호환성을 확보한다.
• 보편 성질을 사용하여 $P(z)$-상호연결 맵을 표현하는 보편 대상으로서의 $P(z)$-텐서곱 이함수를 정의한다.
• 쌍대성에 기반하여 $P(z)$- 및 $Q(z)$-텐서곱 간의 관계를 규명하며, $W_1 \boxtimes_{P(z)} W_2$와 $W_1 \boxtimes_{Q(z^{-1})} W_2$가 일반화된 $V$-모듈러로서 서로 동형임을 보인다.
• 콘트라그레디언트 모듈러 이론과 $e^{zL(1)}$ 및 $e^{-z^{-1}L(1)}$의 작용을 활용하여 행렬 계수를 연결하고 보편 맵의 유일성을 증명한다.
• $Q(z^{-1})$-텐서곱의 보편 성질을 적용하여, $Q(z^{-1})$-텐서곱이 존재한다면 $P(z)$-텐서곱도 존재함을 보인다.
• 콘트라그레디언트 맵과 $e^{zL(1)}$ 코너지에 기반한 자연스러운 동형사상에 의해 $P(z)$-텐서곱의 구조가 $Q(z)$-텐서곱의 구조와 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 두 개의 강한 $\tilde{A}$-계급화된 일반화된 $V$-모듈러에 대한 $P(z)$-텐서곱은 어떤 조건에서 존재하는가?
• RQ2 $P(z)$- 및 $Q(z)$-상호연결 맵은 어떻게 관련되어 있으며, 그 동치성에서 쌍대성의 역할은 무엇인가?
• RQ3 $P(z)$-텐서곱과 $Q(z^{-1})$-텐서곱 이함수 간의 정확한 관계는 무엇인가?
• RQ4 $P(z)$- 및 $Q(z)$-텐서곱의 보편 성질이 일반화된 $V$-모듈러의 범주에서 유일성과 호환성을 어떻게 보장하는가?
• RQ5 $P(z)$- 및 $Q(z)$-텐서곱 이함수를 보편적으로 구성할 수 있는 구조적 조건은 무엇이며, 이는 어떤 방식으로 결합성 동형사상의 개발을 가능하게 하는가?

주요 결과

• Corollary 4.52에 의해, 두 개의 강한 $\tilde{A}$-계급화된 일반화된 $V$-모듈러에 대한 $P(z)$-텐서곱이 존재하는 것은 $Q(z)$-텐서곱이 존재하는 것과 동치임을 보였다.
• $P(z)$-텐서곱 이함수는 일반화된 $V$-모듈러로서 $Q(z^{-1})$-텐서곱 이함수와 동형이지만, 상호연결 맵은 기하학적으로 다르다.
• $P(z)$-텐서곱의 보편 성질은 유일한 모듈러 맵 $\bar{\theta}^{P(z)}$가 존재하여 $I = \bar{\theta}^{P(z)} \boxtimes_{Q(z^{-1})}$를 만족함으로써 특징지어지며, 이는 유일성을 보장한다.
• $P(z)$-텐서곱의 구성은 $e^{z^{-1}L(1)}$ 및 $e^{-z^{-1}L(1)}e^{i\theta L(0)}$ 연산자의 가역성에 의존하며, 이는 관련된 쌍대화의 전사성을 보장한다.
• 보편 맵의 유일성 증명은 이중 맵이 모든 $w_{(1)} \boxtimes_{P(z)} w_{(2)}$ 에서 0이 되므로 맵 자체가 0임을 보여, 유일성을 증명한다.
• $V$와 $W$(또는 $W$와 $V$)의 $P(z)$-텐서곱은 $W$ 자체와 동형이므로, 이 텐서 구조에서 $V$가 항등원으로 작용함을 보여준다.