[논문 리뷰] First extension groups of Verma modules and $R$-polynomials

Noriyuki Abe|arXiv (Cornell University)|2010. 02. 28.

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

한 줄 요약

이 논문은 최고 가중치가 정규일 때, Verma 모듈 간 첫 번째 확장군의 차원이 Kazhdan-Lusztig R다항식의 계수와 일치함을 보여, Gabber-Joseph 추측을 해결한다. 번역 함수자와 웨일 군 작용을 이용하여, Ext¹(M(w₀λ), M(λ)) 위에 W-모듈의 구조를 구성하고, 이 구조가 쌍대 카르탕 부분대수와 미분형으로 동형임을 증명한다. 또한 dim Vₗ(x,y)가 (−1)^(ℓ(y)−ℓ(x)−1)R_{y,x}(q)에서 q의 계수와 일치함을 보이며, 정규 경우에 추측을 확인하고 번역 함수자를 통해 특이 가중치로 일반화한다.

ABSTRACT

We study the first extension groups between Verma modules. There was a conjecture which claims that the dimensions of the higher extension groups between Verma modules are the coefficients of $R$-polynomials defined by Kazhdan-Lusztig. This conjecture was known as the Gabber-Joseph conjecture (although Gebber and Joseph did not state.) However, Boe gives a counterexample to this conjecture. In this paper, we study how far are the dimensions of extension groups from the coefficients of $R$-polynomials.

연구 동기 및 목표

• Gabber-Joseph 추측을 해결하기 위해, Verma 모듈 간 첫 번째 확장군의 차원이 R다항식의 계수와 일치한다는 가정을 검증한다.
• 특이한 경우에서 추측이 실패하는 이유를 이해하고, R다항식 계수에서의 편차를 정량화한다.
• 특이 가중치를 포함한 임의의 주어진 정수 가중치에 대해 Mazorchuk의 공식 Ext¹(M(xλ), M(yλ))을 일반화한다.
• 정규 λ에 대해 Ext¹(M(w₀λ), M(λ)) 위에 W-모듈의 구조를 구성하고, 이 구조가 𝔥*와 미분형임을 보인다.
• 백단순 귀납법과 번역 함수자를 이용하여, R다항식에 대한 dim Vₗ(x,y)의 정확한 공식을 수립한다.

제안 방법

• Verma 모듈의 포함관계에 따라, Ext¹(M(xλ), M(yλ)) → Ext¹(M(w₀λ), M(λ))의 제약 사상의 상으로서 Vₗ(x,y)를 정의한다.
• 정규 λ에 대해, Vₗ(w₀,e)가 쌍대 카르탕 부분대수 𝔥*와 미분형인 W-모듈의 구조를 지닌다고 증명한다.
• ys < y 또는 ys > y에 따라, Vₗ(xs,y)에 대한 재귀 공식을 s(Vₗ(x,ys)) 및 s(Vₗ(x,y))로 설정한다.
• 특이 λ에 대해 Ext¹군을 정규 λ의 것과 연결하기 위해 번역 함수자 Tₚ^λ를 사용하며, Vₗ(x,y) 위에 전사 사상을 유도함을 보인다.
• 번역에 의해 유도된 사상의 핵을 λ의 안정자 Sₗ에 속하는 s에 대한 vₛ의 생성공간으로 식별한다.
• ℓ(x)에 대해 역순귀납법을 통해 핵심 결과를 증명하며, w₀s' ≥ x를 만족하는 반사 s'의 수와 R다항식의 차수를 비교한다.

실험 결과

연구 질문

• RQ1 정규 주어진 정수 가중치 λ에 대해, dim Ext¹(M(xλ), M(yλ))이 (−1)^(ℓ(y)−ℓ(x)−1)R_{y,x}(q)에서 q의 계수와 일치하는가?
• RQ2 λ가 특이할 경우, Ext¹(M(xλ), M(yλ))의 구조는 어떻게 변화하며, R다항식 계수에서의 편차는 무엇인가?
• RQ3 Weyl 군 작용이 Ext¹(M(w₀λ), M(λ)) 위에서 dim Vₗ(x,y)에 대한 재귀 공식 유도에 사용될 수 있는가?
• RQ4 번역 함수자 Tₚ^λ의 Ext¹ 공간 위에서의 핵은 무엇이며, 이는 정규와 특이 경우의 비교에 어떻게 영향을 미치는가?
• RQ5 사상 Ext¹(M(xλ), M(yλ)) → Ext¹(M(w₀λ), M(λ))는 단사인가? 그렇지 않다면 그 핵은 무엇인가?

주요 결과

• 정규 주어진 정수 가중치 λ에 대해, dim Vₗ(x,y)는 (−1)^(ℓ(y)−ℓ(x)−1)R_{y,x}(q)에서 q의 계수와 일치하며, 이는 정규 경우에 Gabber-Joseph 추측을 확인한다.
• 공간 Vₗ(w₀,e)는 쌍대 카르탕 부분대수 𝔥*와 미분형인 W-모듈의 구조를 지닌다. 여기서 기저 원소 vₛ는 단순 반사 s에 대응한다.
• xs > x 이고 ys < y 이면 Vₗ(xs,y) = s(Vₗ(x,ys)); ys > y 이면 Vₗ(xs,y) = Kvₛ + s(Vₗ(x,y))이다.
• 특이 λ에 대해, 번역 함수자 Tₚ^λ는 Vₗ₀(x,y) → Vₗ(x,y)로 전사 사상을 유도하며, 그 핵은 Sₗ에 속하는 s에 대한 vₛ의 생성공간과 같다.
• 사상 Ext¹(M(xλ), M(yλ)) → Ext¹(M(w₀λ), M(λ))는 단사가 아니다. x ≥ y일 때 그 핵은 Hom(M(xλ), M(λ)/M(yλ))과 미분형이다.
• 결과는 ℓ(x)에 대해 역순귀납법으로 증명되며, w₀s' ≥ x를 만족하는 s'의 수가 r_{w₀,x}와 일치함을 보이며, 이는 dim Vₗ(w₀,x)와 일치한다.