[논문 리뷰] *-Autonomous categories in quantum theory

Brian J. Day|arXiv (Cornell University)|2006. 05. 01.

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

한 줄 요약

이 논문은 *-자기쌍대 프로모나이드럴 범주가 양자 수학에서의 쌍대성에 대한 통합적 프레임워크를 제공함을 입증하며, 완비한 *-자기쌍대 모나이드럴 범주와의 컨볼루션은 *-자기쌍대성을 유지함을 보여준다. 양자 이론의 예시들, 즉 하위모듈라 함수, 옥토모듈라 격자, 그리고 conformal field theory를 통해 이는 물리 이론의 배경에 깔린 깊은 범주론적 쌍대성 구조를 드러낸다.

ABSTRACT

*-Autonomous categories were initially defined by M. Barr to describe a type of duality carried by many monoidal closed categories. Later they were generalised by the current author to include *-autonomous promonoidal categories. Together, these structures under "convolution" product give a clear indication of the usefulness of *-autonomy in quantum mathematics and related areas.

연구 동기 및 목표

• 양자 수학적 구조를 위한 *-자기쌍대 프로모나이드럴 범주를 *-자기쌍대 범주에 대한 일반화로 공식화하기.
• 완비한 *-자기쌍대 모나이드럴 범주와 *-자기쌍대 프로모나이드럴 범주 간의 컨볼루션으로부터 또 다른 *-자기쌍대 범주가 유도됨을 보여주기.
• 하위모듈라 함수, 옥토모듈라 격자, 그리고 conformal field theory에서의 구체적 예시들을 통해 *-자기쌍대성이 양자 이론에서 얼마나 널리 퍼져 있는지 보여주기.
• 범주론적 컨볼루션을 통한 쌍대성과 순환 대칭의 역할을 양자 및 논리적 구조에서 명확히 하기.

제안 방법

• 프로모나이드럴 구조 (p, j)와 쌍대성 함수 S를 사용하여 *-자기쌍대 범주를 일반화한 *-자기쌍대 프로모나이드럴 범주를 정의하기.
• *-자기쌍대 프로모나이드럴 범주 𝒜와 완비한 *-자기쌍대 모나이드럴 범주 𝒱에 대해 컨볼루션 곱 [𝒜, 𝒱]을 적용하여 새로운 *-자기쌍대 범주를 도출하기.
• 컨볼루션 구조를 이용해 기저 범주 𝒱 에서의 *-자기쌍대 구조를 함자 범주 [𝒜, 𝒱]로 옮기기.
• 예를 들어, 부분순서집합(예: 멱집합, 옥토모듈라 격자)과 벡터 공간 값을 갖는 프로승법 구조를 가진 유한 집합을 사용하여 구체적 예시를 구성하기.
• 예시들에서 순환 쌍대성 조건, 예를 들어 p(a,b,Sc) = p(b,c, Sa) = p(c,a, Sb)를 통해 *-자기쌍대성을 검증하기.
• 하나의 덧셈과 곱셈을 갖는 확장된 실수선 ℝ≥0∞ 와 ℝ−∞∞ 를 사용하여 하위모듈라 함수 및 볼록 함수에서의 쌍대성을 모델링하기.

실험 결과

연구 질문

• RQ1 어떻게 *-자기쌍대 범주를 양자 수학에서 프로모나이드럴 구조를 포함하도록 일반화할 수 있는가?
• RQ2 컨볼루션은 범주적 구성에서 *-자기쌍대 구조를 유지하는 데 어떤 역할을 하는가?
• RQ3 *-자기쌍대 프로모나이드럴 범주들이 양자 논리, 하위모듈라 함수, 그리고 conformal field theory에서의 쌍대성을 어떻게 통합하는가?
• RQ4 순환 쌍대성 조건(예: p(a,b,Sc) = p(b,c, Sa))은 양자 시스템에서 물리적 또는 논리적 대칭성을 어떻게 반영하는가?
• RQ5 Chu 구성과 자유 *-자기쌍대 프로모나이드럴 범주들은 프로모나이드럴 범주와 벡터 공간 간의 컨볼루션과 어떻게 관련이 있는가?

주요 결과

• 𝒜 가 *-자기쌍대 프로모나이드럴 범주이고 𝒱 가 완비한 *-자기쌍대 모나이드럴 범주이면, 컨볼루션 범주 [𝒜, 𝒱] 는 항상 *-자기쌍대이다.
• 멱집합 위의 하위모듈라 함수 예시에서 상한과 하한은 서로소 합집합에 대한 sup 및 inf 로 표현되며, 여집합에 의해 유도된 쌍대성이 존재한다.
• 옥토모듈라 격자에서는 p(a,b,c)=1 이라 함은 a∨b≤c 라는 조건을 만족하고, S 가 옥토보완성일 때 순환 쌍대성 조건 p(a,b,Sc)=p(b,c, Sa)=p(c,a, Sb) 를 만족한다.
• conformal field theory 에서는 유한 집합 𝒜 와 벡터 공간 값을 갖는 프로승법 구조 p(i,j,k)=Vij^k 를 가지며, p(i,j,Sk)=p(j,k,Si)=p(k,i,Sj) 와 p(Si,Sj,Sk)=p(i,j,k)* 를 만족하여 *-자기쌍대성이 확인된다.
• 곱셈과 ∞⊗0=0 를 갖는 ℝ≥0∞ 는 *-자기쌍대이며, 지수화에 의해 ℝ−∞∞ 와 동형이 되며, 최적화와 논리에서의 쌍대성에 대한 이중 구조를 제공한다.
• 범주를 𝒫=𝒜+𝒜^op 로의 통합을 Hedliková–Pulmannová 구성으로 수행하면 스위치 사상 S 에 의해 *-자기쌍대 범주가 되며, 이는 격자 이론과 *-자기쌍대 구조를 연결한다.