[논문 리뷰] The combinatorics of category O for symmetrizable Kac-Moody algebras

Peter Fiebig|arXiv (Cornell University)|2003. 05. 27.

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

한 줄 요약

이 논문은 비임계 블록의 구조가 정수 웨일 군과 그 무게 위상에 대한 작용의 조합론에 의해 완전히 결정됨을 증명한다. 등가인 코xeter 체계가 매개변수 공간 위에서 동일한 작용을 할 경우 해당 카테고리가 등가가 됨을 증명함으로써, 유한 및 아핀 유형에서 비정수 블록에 대한 카즈단-루스트리그 추측을 기존의 정수 경우로 감소시킨다.

ABSTRACT

We show that the structure of blocks outside the critical hyperplanes of category O over any symmetrizable Kac-Moody algebra depends only on the corresponding integral Weyl group and its action on the parameters of the Verma modules by giving a combinatorial description of the projective objects. As an application we derive the Kazhdan-Lusztig conjecture for non-integral blocks from the integral case in finite and affine situations.

연구 동기 및 목표

• 유한 차원 단순 리 대수에서의 Soergel의 카테고리 등가 결과를 대칭가능 Kac-Moody 대수로 일반화하기.
• 임계 초평면 외부에서 카테고리 𝒪의 구조가 웨일 군과 그 무게 위상에 대한 작용에만 의존함을 보이기.
• 코인variant 대수와 이동 함수를 통해 비정수 블록의 프로젝티브 대상에 대한 조합론적 기술 수립하기.
• 등가 카테고리의 개념을 사용하여, 유한 및 아핀 유형에서 비정수 블록에 대한 카즈단-루스트리그 추측을 정수 경우로 감소시키기.

제안 방법

• 코xeter 체계 $ ({ m W}( ext{L}), { m S}( ext{L})) $ 에 대응하는 코인variant 대수 $ C = C({ m W}( ext{L}), { m S}( ext{L})) $ 를 블록 구조의 핵심 불변량으로 사용하기.
• 카테고리 𝒪 에서 $ C $-모듈러로의 함자 $ b{V} = { m Hom}(P(w_0. ext{L}), ullet) $ 를 구성하여, Hom 공간을 유지하고 이동 함수와 상호작용하도록 하기.
• 웨일 군 원소의 길이에 대한 귀납법을 사용하여, $ ext{L} $ 가 정규일 때 $ b{V} $ 가 $ { m O}_ ext{L} o C{ m -mod} $ 의 등가를 유도함을 증명하기.
• 틸팅 함자와 잘라내기 함자를 사용하여, 양의 수준에서의 등가를 음의 수준 블록으로 확장하기.
• 등가를 적용하여, 코xeter 체계의 동형에 기반해 비정수 블록에 대한 카즈단-루스트리그 추측을 정수 경우로 감소시키기.
• 기존의 정수 블록에 대한 결과들(예: Beilinson-Bernstein, Brylinski-Kashiwara, Kashiwara-Tanisaki)을 활용하여, 비정수 경우에도 추측이 성립함을 결론내기.

실험 결과

연구 질문

• RQ1 대칭가능 Kac-Moody 대수에서 임계 초평면 외부의 카테고리 𝒪의 구조는 웨일 군과 그 무게 위상에 대한 작용에만 의존하는가?
• RQ2 유한 및 아핀 유형에서 비정수 블록에 대한 카즈단-루스트리그 추측은 정수 경우로 감소할 수 있는가?
• RQ3 코인variant 대수와 이동 함수를 통해 비정수 블록의 프로젝티브 대상에 대한 조합론적 기술이 존재하는가?
• RQ4 코xeter 체계의 동형이 카테고리 𝒪 블록의 등가를 유도하는 조건은 무엇인가?
• RQ5 틸팅 함자를 사용하여, 양의 수준에서의 카테고리 등가를 음의 수준 블록으로 확장할 수 있는가?

주요 결과

• 두 코xeter 체계 $ ({ m W}( ext{L}), { m S}( ext{L})) $ 와 $ ({ m W}'( ext{L}'), { m S}'( ext{L}')) $ 가 동형이면서 무게 위상에 대한 작용이 호환될 경우, 블록 $ { m O}_ ext{L} $ 과 $ { m O}'_{ ext{L}'} $ 이 등가가 된다.
• 블록 $ { m O}_ ext{L} $ 내의 프로젝티브 대상은 코인variant 대수 $ C $ 와 웨일 군의 작용에 의해 완전히 결정되며, $ { m Hom}(P(w. ext{L}), ullet) $ 는 $ C{ m -mod} $ 로의 전사적, 충실하고 정확한 함자이다.
• 임계 초평면 외부의 정규 유한 또는 아핀 유형 블록에서는, 카즈단-루스트리그 다항식 $ P_{y,w} $ 와 $ Q_{w,y} $ 가 베르마 모듈의 단순 모듈의 구성 계열을 지배한다.
• 등가 $ { m O}_ ext{L} o { m O}'_{ ext{L}'} $ 는 베르마 모듈과 단순 모듈의 계열을 유지하므로, $ [M(x. ext{L}):L(y. ext{L})] = [M(x. ext{L}'):L(y. ext{L}')] $ 이다.
• 웨일 군이 유한하거나 아핀이고 블록이 정규일 경우, 비정수 블록에 대한 카즈단-루스트리그 추측은 대칭가능 Kac-Moody 대수에서 성립한다.
• 이 결과는 기존의 카즈단-루스트리그 추측 증명들(예: Kashiwara, Kashiwara-Tanisaki)을 정수 블록에서 비정수 블록으로 등가 카테고리의 개념을 통해 확장한다.