[논문 리뷰] Meromorphic tensor categories

Yan Soibelman|ArXiv.org|1997. 09. 19.

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

한 줄 요약

이 논문은 매끄러운 텐서 범주를 의사-텐서 범주의 일반화로 제안하며, 대칭군 작용 대신 브레인드군 작용과 매개변수 공간 위의 연산의 층을 사용한다. 이는 유리수, 매끄러운, 또는 해석적 결합 및 교환 조건을 갖는 범주적 구조에 대한 프레임워크를 제안하며, 양자군, 이심성 대수, G-버전 대수에 응용된다. 이는 표현 이론과 초등 이론에서 비결합성 또는 매개변수 의존성 있는 대수적 연산에 대한 통합된 공리적 접근을 제공한다.

ABSTRACT

We introduce the notion of meromorphic tensor category and illustrate it in several examples. They include representations of quantum affine algebras, chiral algebras of Beilinson and Drinfeld, G-vertex algebras of Borcherds, and representations of GL over a local field. Hopefully the formalism will accomodate various tensor structures arising in relation to the quantized Knizhnik-Zamolodchikov equations and deformed CFT

연구 동기 및 목표

• 표준적인 결합성이 실패하는 경우에, 유리수, 매끄러운, 또는 해석적 결합 및 교환 조건을 갖는 범주적 구조에 대한 공리적 프레임워크를 개발하는 것.
• 연산 집합을 매개변수 공간 위의 층(또는 매끄러운 절단)로 바꿈으로써 의사-텐서 범주를 일반화하는 것.
• 대칭군 작용 대신 브레인드군 작용을 연산에 도입하여 브레인드 또는 이심성 범주적 구조를 모델링하는 것.
• 양자 아핀 대수, GL(n,F)의 적절한 표현, 고전적 및 q-변형 이심성 대수, G-버전 대수와 같은 예에 대한 범주적 기초를 제공하는 것.
• 특히 버전 대수와 초등 이론의 맥락에서 '유리수 결합성'의 개념을 통합하고 형식화하는 것.

제안 방법

• 간선 압축을 사상으로 갖는 레이블된 평면 트리의 범주를 사용하여 엄격한 모나이드 2-오퍼레이드를 정의한다.
• 트리 $T$ 에 따라 인덱싱된 연산 집합 $P_T(\{X_i\}, Y)$ 의 가족을 통해 ${\cal T}$-의사-모나이드 범주를 정의한다. 이는 2-오퍼레이드의 사상 $f$ 에 대해 함자적 사상 $\phi_f$ 를 갖는다.
• 트리의 병합에 따라 연산을 접합하는 것을 코딩하는 복합 사상 $\Phi$ 를 구성하며, 2-오퍼레이드의 구조와의 전이성 보장.
• 대칭군 작용 대신 브레인드군 작용을 연산에 도입하여 브레인드 또는 이심성 구조를 모델링하며, 대칭 모나이드 범주를 일반화한다.
• 군 다양체(예: $G^n$) 위의 유리함수 또는 매끄러운 함수의 층을 사용하여 연산을 표현함으로써, $G^n$ 의 조르기 열린 부분집합에서의 유리수 결합성 조건을 가능하게 한다.
• 이 프레임워크를 적용하여 의사-텐서 범주에서의 리 대수를 정의하며, $Lie^*$-대수와 약한 이심성 대수를 구분하고, 이심성 대수를 자연스러운 단위를 갖는 특수한 경우로 간주한다.

실험 결과

연구 질문

• RQ1 표준적인 결합성이 실패할 때, 군 작용이 있는 대수적 구조에서 유리수 또는 매끄러운 결합성을 어떻게 공리화할 수 있는가?
• RQ2 매개변수 의존성 있는 연산과 브레인드군 대칭성을 포함하는 대칭 모나이드 범주의 범주적 일반화는 무엇인가?
• RQ3 어떻게 이심성 대수와 버전 대수를 매끄러운 의사-브레인드 범주에서의 대수로 재해석할 수 있는가?
• RQ4 q-변형 이심성 대수는 $q^n$ 에서 특이성을 갖는 행렬값 함수를 갖는 매끄러운 ${\bf C}^*$-범주에서 브레인드 구조로 형식화될 수 있는가?
• RQ5 지역 바이라소르 군은 어떤 역할을 하여 G-버전 대수를 매끄러운 의사-텐서 G-범주에서의 결합 대수로 구성하는가?

주요 결과

• 논문은 매끄러운 텐서 범주를 의사-텐서 범주의 일반화로 제안하며, 대칭군 작용 대신 연산의 층과 브레인드군 작용을 사용한다.
• 유리수 결합성을 위해, 대수적 군 $G$ 에 대해 $G^n$ 에서의 연산의 호환성 조건을 요구함으로써 프레임워크를 제공한다. 이 경우 결합성은 $G^n$ 의 조르기 열린 부분집합에서 성립한다.
• G-버전 대수의 구성은 매끄러운 의사-텐서 $G$-범주에서의 결합 대수로 해석되며, 연산은 $v^g = \exp(zL_{-1})v$ 로 정의된다.
• 이심성 대수는 자연스러운 단위를 갖는 약한 이심성 대수로 특징지어지며, ${\cal D}$-모듈 이론을 통해 임의의 곡선 위로 버전 대수를 일반화한다.
• 이 프레임워크는 유한차원 양자 아핀 대수의 표현과 $GL(n,\mathbf{F})$ 의 적절한 표현과 같은 알려진 예들을 동일한 범주적 구조 아래 통합한다.
• 논문은 q-변형 이심성 대수가 $q^n$ 에서 특이성을 갖는 함수를 갖는 매끄러운 ${\bf C}^*$-범주에서 브레인드 리 대수로 모델링될 수 있으며, 이는 버전 대수의 국소성 개념을 확장한다.