[논문 리뷰] Modules Over a Chiral Algebra

Nick Rozenblyum|arXiv (Cornell University)|2010. 10. 11.

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

한 줄 요약

이 논문은 매끄러운 대수적 곡선의 임의의 거듭제곱 위에서 캐럴 대수 위의 모듈러스에 대해 종합적인 프레임워크를 제공하며, 세 가지 등가적 기술—D-모듈러스와 캐럴 브라켓, 란 공간 위의 리 대수, 인수화 대수—를 모듈러스로 일반화한다. 주요 기여는 캐럴 모듈러스가 $X^{I_0}$에서 캐럴 봉인된 관련 리 대수 위의 리 모듈러스와 동치임을 확립하는 것으로, 체발리 복합체가 대각선을 따라 쿠사인 복합체를 통해 인수화 구조를 실현함을 보여준다.

ABSTRACT

Given a chiral algebra, we study modules over an arbitrary power of a curve. We describe this category in three different ways: in terms of factorization, in terms of certain chiral operations and as modules for a lie algebra in a certain tensor category. In addition, we consider analogous questions for LIe-* algebras and factorization spaces. For factorization spaces, we give a construction of multijets in terms of a certain Weil restriction which lets us characterize counital factorizable algebraic stacks as multijets.

연구 동기 및 목표

• 캐럴 대수의 세 가지 등가적 기술—D-모듈러스와 캐럴 브라켓, 란 공간 위의 리 대수, 인수화 대수—를 곡선의 임의의 거듭제곱 위의 캐럴 대수 위의 모듈러스로 확장하는 것.
• 캐럴 대수와 리-* 대수 위에서 $X^{I_0}$ 위의 캐럴 및 리-* 모듈러스를 정의하고 연구하며, 점에 지지된 경우에서 전역 곡선으로 일반화하는 것.
• 매개변수화된 란 공간 위의 캐럴 및 $*$-텐서 구조에 대해 모듈러스 범주에서 캐럴 모듈러스를 리 모듈러스로 특성화하는 것.
• 체발리 복합체를 통해 인수화 모듈러스와 리 모듈러스 사이의 정확한 동치를 확립하여, 체발리 복합체가 대각선을 따라 쿠사인 복합체를 계산함을 보이는 것.
• 푸시포워드 함자 $r_{I_0*}$의 본질적 이미지의 특성화를 리 모듈러스 구조와 체발리 복합체 코어의 소멸 조건을 통해 제시하는 것.

제안 방법

• 매개변수화된 란 공간 $Ran_{I_0}$을 도입하고, 인수화 성질과 캐럴 연산을 통해 $X^{I_0}$ 위의 캐럴 모듈러스를 정의한다.
• 캐럴 봉인 구성법을 사용하여 캐럴 대수에 대해 리-* 대수를 부여하고, 해당 리-* 및 캐럴 모듈러스를 정의한다.
• 리 대수 $r_*(A)$가 $r_{I_0*}(M)$ 위에 작용하는 유도된 $ty$-범주 $D\text{Mod}(Ran_{I_0})$에서 체발리 복합체 구성법을 적용하며, 미분은 캐럴 곱셈 사상으로 주어진다.
• 체발리 복합체 $C_*(r_*(A), r_{I_0*}(M))$가 대각선을 따라 쿠사인 복합체로의 식별을 통해 $Ran_{I_0}$ 위의 $D$-모듈러스로서 $M$과 준동치임을 증명한다.
• 준동치와 기저 변경을 사용하여 $r_{I_0*}$를 란 공간 위의 텐서 구조 $oxtimes^*$ 및 $oxtimes^{ch}$와 연결하며, $Ran_{I_0}$ 위의 층이 모듈러스 범주를 이룸을 보인다.
• 함자 $r_{ ilde{I}*}$와 그 당김 $r_{ ilde{I}}^!$을 적용하여 전역 모듈러스를 국소 데이터와 연결하며, 대각선에 따른 분할과 다중제트 구조를 사용한다.

실험 결과

연구 질문

• RQ1 캐럴 대수의 세 가지 등가적 기술—D-모듈러스와 캐럴 브라켓, 란 공간 위의 리 대수, 인수화 대수—는 $X^{I_0}$ 위의 캐럴 대수 위의 모듈러스로 어떻게 일반화될 수 있는가?
• RQ2 캐럴 모듈러스 $X^{I_0}$와 관련 리 대수의 캐럴 봉인된 리 대수 위의 리 모듈러스 사이의 정확한 관계는 무엇인가?
• RQ3 란 공간 $Ran_{I_0}$ 위의 리 대수 $r_*(A)$의 체발리 복합체는 캐럴 모듈러스의 인수화 구조를 어떻게 실현하는가?
• RQ4 리 모듈러스 $r_*(A)$가 $X^{I_0}$에서의 푸시포워드 $r_{I_0*}$의 본질적 이미지에 속하기 위한 조건은 무엇인가?
• RQ5 캐럴 및 $*$-텐서 구조가 매개변수화된 란 공간 위의 층에 대해 캐럴 및 리-* 모듈러스를 어떻게 분류하는가?

주요 결과

• 유도된 $ty$-범주 $D\text{Mod}(Ran_{I_0})$에서의 체발리 복합체 $C_*(r_*(A), r_{I_0*}(M))$는 $X^{I_0}$ 위의 원래 캐럴 모듈러스 $M$과 준동치이며, 이 복합체는 $X^{ ilde{I}}$의 대각선을 따라 쿠사인 복합체를 계산한다.
• 리 대수 $r_*(A)$ 위의 리 모듈러스 $M$이 $r_{I_0*}$의 본질적 이미지에 속해 있는 것은 그 체발리 복합체가 $A$에 대해 인수화 모듈러스일 때에 한하여 성립하며, 이는 이미지 범주의 정확한 특성화를 제공한다.
• 푸시포워드 $r_{I_0*}$는 캐럴 $A$-모듈러스의 범주에 대해 전부 충실하며, 그 역은 체발리 복합체를 통한 쿠사인 복합체 구성에 의해 주어진다.
• 매개변수화된 란 공간 $Ran_{I_0}$ 위의 층은 캐럴 및 $*$-텐서 구조에 대해 모듈러스 범주를 이룬다. 캐럴 및 리-* 모듈러스는 이 범주 내의 리 모듈러스로 식별된다.
• 캐럴 모듈러스와 인수화 모듈러스 사이의 동치는 체발리 복합체를 통해 실현되며, 이는 다중제트 분할과 준동치를 통해 인수화 구조를 복원한다.
• 이 구성은 고전적 경우를 일반화한다. 즉, 점에 지지된 캐럴 모듈러스는 아핀 카크-무디 대수 $G_{ ilde{K}}$의 표현과 대응되며, 이제 란 공간을 통해 전역 곡선으로 확장된다.