[논문 리뷰] A new construction of the semi-infinite BGG resolution

Sergey Arkhipov|ArXiv.org|1996. 05. 29.

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

한 줄 요약

이 논문은 아핀 리 대수의 준무한 BGG 해상에 대한 새로운 구성법을 제시한다. 이는 아핀 웨일 군에 의해 색인화된 꺾임 함수와 반정규 이중모듈을 사용하여 이루어지며, 버마 모듈에 이러한 함수를 적용함으로써 얻어진 꺾임 BGG 해상은 인덕티브 시스템을 이룬다. 이 시스템의 극한은 와키모토 모듈의 복합체로서 준무한 BGG 해상이 된다.

ABSTRACT

We introduce the techniques of semiregular bimodules over a Lie algebra with respect to a Lie subalgebra. Using this techniques in the case of affine Lie algebras we introduce twisting functors on the categories of modules. These functors are enumerated by elements of the affine Weyl group corresponding to the chosen affine Lie algebra and map Verma modules to so called twisted Verma modules. Applying twisting functors to the BGG resolution of an integrable simple module we obtain a sequence of complexes called the twisted BGG resolutions. We show that the twisted BGG resolutions form an inductive system of complexes. It turns out that the limit complex of the inductive system is exactly the semi-infinite BGG resolution introduced by B. Feigin and E. Frenkel and consisting of direct sums of Wakimoto modules.

연구 동기 및 목표

• 아핀 리 대수의 맥락에서 준무한 BGG 해상의 새로운 대수적 프레임워크를 개발하는 것.
• 리 대수의 부분대수에 대해 반정규 이중모듈을 사용하여 모듈 범주에 대한 꺾임 함수를 정의하고 연구하는 것.
• 꺽임 BGG 해상과 준무한 BGG 해상 간의 연결 고리를 인덕티브 극한 구성법을 통해 확립하는 것.
• 꺽임 해상의 극한 복합체가 와키모토 모듈을 포함하는 준무한 BGG 해상과 동형임을 보여주는 것.
• 함수론적이고 범주론적인 방법을 통해 준무한 BGG 해상의 개념적이고 구조적인 이해를 제공하는 것.

제안 방법

• 리 대수의 부분대수에 대해 반정규 이중모듈의 개념을 도입하여 모듈 범주 연산을 용이하게 하는 것.
• 아핀 리 대수의 모듈 범주에 대해 아핀 웨일 군의 원소에 의해 색인화된 꺾임 함수를 정의하는 것.
• 이 함수들을 버마 모듈에 적용하여 꺾임 버마 모듈을 생성함으로써 표준 버마 모듈 구성의 일반화를 이루는 것.
• 꺽임 버마 모듈의 복합체로서 꺾임 BGG 해상을 구성하고, 체인 복합체의 시퀀스를 형성하는 것.
• 꺽임 BGG 해상이 복합체 간 포함 또는 사상 맵에 의해 유도되는 인덕티브 시스템을 이룬다는 것을 보이는 것.
• 이 시스템의 인덕티브 극한을 취하여 준무한 BGG 해상을 얻으며, 이는 와키모토 모듈의 직합으로 이루어져 있음을 보여주는 것.

실험 결과

연구 질문

• RQ1 버마 모듈에 대한 함수론적 연산을 통해 준무한 BGG 해상을 체계적으로 구성할 수 있는가?
• RQ2 아핀 웨일 군은 꺾임 함수를 통해 모듈 범주의 자동형사상 생성에 어떤 역할을 하는가?
• RQ3 꺽임 BGG 해상은 인덕티브 시스템으로 조직화될 수 있으며, 그 극한이 준무한 해상이 되는가?
• RQ4 와키모토 모듈은 꺾임 해상의 극한에서 자연스럽게 어떻게 나타나는가?
• RQ5 반정규 이중모듈은 꺾임 함수의 정의와 행동을 제어하는 데 어떤 의미를 지니는가?

주요 결과

• 아핀 웨일 군에 의해 색인화된 꺾임 함수는 버마 모듈을 꺾임 버마 모듈로 매핑하며, 새로운 모듈을 체계적으로 생성하는 방법을 제공한다.
• 꺽임 BGG 해상의 시퀀스는 인덕티브 시스템을 이룬다. 즉, 연속하는 복합체들 사이에 호환 가능한 사상이 존재한다.
• 꺽임 BGG 해상의 인덕티브 극한은 페이진과 프렌켈이 정의한 준무한 BGG 해상과 동형이다.
• 극한 복합체는 와키모토 모듈의 직합으로 실현되며, 이는 와키모토 모듈이 준무한 해상에서 구조적 역할을 한다는 것을 확인한다.
• 이 구성은 이전의 기하학적 또는 코homological 방법과 독립적인 새로운 함수론적 유도를 제공한다.
• 반정규 이중모듈의 사용은 꺾임 함수의 청결한 대수적 표현을 가능하게 하여, 아핀 리 대수의 표현 이론에서 범주론적 명료성을 향상시킨다.