[논문 리뷰] The classification of blocks in BGG category O

Kevin Coulembier|arXiv (Cornell University)|2019. 03. 07.

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

한 줄 요약

이 논문은 재수정 리 대수의 BGG 범주 𝒪에서 블록 간의 동치를 분류하여, 두 블록이 동치일 조건을 제시한다. 그 조건은 브루하트 순서에 따라 부분순서집합으로서의 파라보릭 몫이 서로 동형일 때이다. 주요 결과는 브루하트 순서가 블록 동치류를 완전히 결정한다는 것으로, 소르게르의 정리의 일반화이자, 서로 다른 리 종류의 블록 간에 드문 동치를 드러낸다. 예를 들어, 𝒪(A_{2n+1},A_{2n}) ≅ 𝒪(B_{n+1},B_n)이다.

ABSTRACT

We classify all equivalences between the indecomposable abelian categories which appear as blocks in BGG category O for reductive Lie algebras. Our classification implies that a block in category O only depends on the Bruhat order of the relevant parabolic quotient of the Weyl group. As part of the proof, we observe that any finite dimensional algebra with simple preserving duality admits at most one quasi-hereditary structure.

연구 동기 및 목표

• 재수정 리 대수의 BGG 범주 𝒪에 나타나는 불가약한 아벨 범주인 블록 간의 모든 동치를 분류하는 것.
• 소르게르의 정리가 코x터 군 동형에만 국한되는 바깥에서, BGG 범주 𝒪의 두 블록이 언제 동치가 되는지를 규명하는 것.
• 파라보릭 몫의 브루하트 순서가 블록 동치를 완전히 결정함을 보여주는 것, 비트리비얼 케이스에서도 성립함.
• 단순 보존 대칭을 갖는 유한차원 대수는 최대 하나의 준-헤르드라이트 작용을 갖는다는 것을 증명하는 것. 이는 핵심적인 기술적 도구이다.
• 브루하트 순서에서 유한 웨일 군의 몫 W/W'에 대한 코x터 쌍 (W, W')를 재구성함으로써, 블록 동치의 분류를 가능하게 하는 것.

제안 방법

• 단순 보존 대칭을 갖는 임의의 유한차원 대수가 최대 하나의 준-헤르드라이트 작용을 갖는다는 것을 표준 및 코표준 대상의 유일성에 기반해 증명한다.
• BGG 정리를 사용하여, 범주 𝒪의 블록에서 최고 무게 작용의 불변량으로서 브루하트 순서가 성립함을 보인다.
• 조합론적 및 부분순서집합 이론적 방법을 통해, 파라보릭 몫 W/W'에서의 브루하트 순서로부터 코x터 군과 파라보릭 부분군 (W, W')를 재구성한다.
• 유한 웨일 군의 파라보릭 몫에 대한 브루하트 순서 간의 동형을 모두 분류하며, 주로 기약 유형에 집중한다.
• 브루하트 순서 동형의 분류를 적용하여, 알려진 동치와 대칭 결과를 활용해 범주 𝒪의 어떤 블록이 동치인지 규명한다.
• 웨일 군을 기약 성분으로 분해하여, 텐서곱 동치를 활용해 분류를 기약 케이스로 축소한다.

실험 결과

연구 질문

• RQ1 BGG 범주 𝒪의 두 블록이 아벨 범주로서 언제 동치가 되는가?
• RQ2 파라보릭 몫에서의 브루하트 순서가 범주 𝒪의 블록의 구조를 어느 정도 결정하는가?
• RQ3 코x터 군 동형 이외의 방식으로, 서로 다른 리 종류의 블록 간에 비트리비얼 동치가 존재하는가?
• RQ4 유한 웨일 군에 대해, W/W'에서의 브루하트 순서로부터 쌍 (W, W')를 재구성할 수 있는가?
• RQ5 기약 유한 웨일 군에 대해, 범주 𝒪의 블록 간의 비트리비얼 동치의 완전한 목록은 무엇인가?

주요 결과

• 두 블록 𝒪(W, W')와 𝒪(U, U')는 부분순서집합 (W/W', ≤_B)과 (U/U', ≤_B)가 부분순서집합으로서 동형일 때이고, 그때만 동치이다.
• 블록 동치의 분류는 유한 웨일 군의 파라보릭 몫에서의 브루하트 순서 간 동형의 분류로 완전히 축소된다.
• 비트리비얼 동치는 특정 케이스에서만 존재한다: n ≥ 2일 때 𝒪(A_{2n+1}, A_{2n}) ≅ 𝒪(B_{n+1}, B_n), n ≥ 3일 때 𝒪(B_n, A_{n-1}) ≅ 𝒪(D_{n+1}, A_n), 𝒪(A_3, A_2) ≅ 𝒪(B_2, A_1), 그리고 𝒪(A_5, A_4) ≅ 𝒪(G_2, A_1) ≅ 𝒪(B_3, B_2).
• 최대의 특이 블록 𝒪(W, W)는 임의의 웨일 군 W에 대해 벡터 공간의 범주와 동치이며, 이는 자명하지만 보편적인 예이다.
• 단순 보존 대칭을 갖는 대수에서 준-헤르드라이트 작용의 유일성이 확립되었으며, 이는 임의의 블록 간 동치가 반드시 최고 무게 작용을 유지함을 의미한다.
• 기약 웨일 군의 경우, 블록 동치는 정확히 그 브루하트-순서된 파라보릭 몫 간의 동형과 일치하며, 이러한 동형은 매우 드물고 완전히 분류되어 있다.