[논문 리뷰] Handsaw quiver varieties and finite W-algebras

Hiraku Nakajima|arXiv (Cornell University)|2011. 07. 25.

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

한 줄 요약

이 논문은 손톱톱 퀼리어 비아리에테이션(실제로는 파라불릭 라움언 공간으로 표현되는)과 유한 W-대수의 A형에 대해 기하학적 다리를 구축하며, 손톱톱 퀼리어 비아리에테이션의 C*-고정점 집합이 A형의 그레디에이티드 퀼리어 비아리에테이션과 동형임을 보여준다. 이 동형은 단순 W-대수의 모듈을 교차 호모로지로 새롭게 기하학적으로 실현할 수 있게 하여, 카즈한-류스트라스 폴리노미얼을 1에서 평가한 결과로 표현되는 베르마 모듈의 구성 다중도에 대한 브룬단-클레쉬체프 추측의 새로운 증명을 이끌어낸다.

ABSTRACT

Following Braverman-Finkelberg-Feigin-Rybnikov (arXiv:1008.3655), we study the convolution algebra of a handsaw quiver variety, a.k.a. a parabolic Laumon space, and a finite W-algebra of type A. This is a finite analog of the AGT conjecture on 4-dimensional supersymmetric Yang-Mills theory with surface operators. Our new observation is that the C^*-fixed point set of a handsaw quiver variety is isomorphic to a graded quiver variety of type A, which was introduced by the author in connection with the representation theory of a quantum affine algebra. As an application, simple modules of the W-algebra are described in terms of IC sheaves of graded quiver varieties of type A, which were known to be related to Kazhdan-Lusztig polynomials. This gives a new proof of a conjecture by Brundan-Kleshchev on composition multiplicities on Verma modules, which was proved by Losev, in a wider context, by a different method.

연구 동기 및 목표

• 손톱톱 퀼리어 비아리에테이션과 A형 유한 W-대수 사이의 기하학적 대응을 확립함으로써, 표면 연산자가 있는 AGT 추측의 유한 대응에 기반을 두고자 한다.
• 손톱톱 퀼리어 비아리에테이션의 C*-고정점 집합의 구조를 명확히 하여, 이가 A형의 그레디에이티드 퀄리어 비아리에테이션과 동형임을 보이고자 한다.
• 그레디에이티드 퀄리어 비아리에테이션의 교차 호모로지에 관한 기존 결과를 응용하여, 유한 W-대수의 베르마 모듈 내 단순 모듈의 구성 다중도 공식을 유도하고자 한다.
• 교차 호모로지와 카즈한-류스트라스 폴리노미얼을 이용하여, 유한 W-대수의 베르마 모듈 내 구성 다중도에 관한 브룬단-클레쉬체프 추측에 대한 새로운 기하학적 증명을 제공하고자 한다.
• 앞으로 유한 W-대수의 막대곱과 마이라 변환의 기하학적 구성에 기초가 되는 퀄리어 비아리에테이션을 통한 기초를 마련하고자 한다.

제안 방법

• 기반 맵으로부터 P¹에서 부분 플라그 다양체로의 기하학을 이용하여, 손톱톱 퀄리어 비아리에테이션과 파라불릭 라움언 공간 사이의 동형을 자가 포함된 증명으로 확인한다.
• 두 다양체가 모두 퀄리어 비아리에테이션의 C*-고정점 집합으로서 나타남을 이용하여, 손톱톱 퀄리어 비아리에테이션의 C*-고정점 집합이 A형의 그레디에이티드 퀄리어 비아리에테이션과 동형임을 보인다.
• 두 손톱톱 퀄리어 비아리에테이션의 곱에서 헤크 기여를 구성하여, 컨볼루션 대수의 구조를 통해 유한 W-대수를 생성한다.
• 스타인베르크 유형의 다양체 위에 컨볼루션 대수를 정의하고, 유한 W-대수에서 이 컨볼루션 대수로의 준동형을 구성한다.
• 겔판트-츠레틴 특성의 기하학적 실현을 이용하여, 컨볼루션 대수의 표준 모듈을 유한 W-대수의 베르마 모듈과 매칭한다.
• 그레디에이티드 퀄리어 비아리에테이션의 교차 호모로지 군을 사용하여 구성 다중도를 계산하고, 아라카와의 결과를 통해 카즈한-류스트라스 폴리노미얼과 연결한다.

실험 결과

연구 질문

• RQ1 손톱톱 퀄리어 비아리에테이션의 C*-고정점 집합의 구조는 무엇이며, 이는 A형의 그레디에이티드 퀄리어 비아리에테이션과 어떻게 관련되어 있는가?
• RQ2 손톱톱 퀄리어 비아리에테이션의 컨볼루션 대수는 어떻게 A형의 유한 W-대수를 실현할 수 있는가?
• RQ3 유한 W-대수의 베르마 모듈 내 단순 모듈의 구성 다중도는 교차 호모로지로 기하학적으로 표현할 수 있는가?
• RQ4 C*-고정점 집합과 그레디에이티드 퀄리어 비아리에테이션 사이의 동형은 어떤 식으로 표현 이론적 추측의 새로운 증명을 가능하게 하는가?
• RQ5 카즈한-류스트라스 폴리노미얼을 1에서 평가한 결과와 유한 W-대수의 베르마 모듈 내 구성 다중도 사이의 정확한 관계는 무엇인가?

주요 결과

• 손톱톱 퀄리어 비아리에테이션의 C*-고정점 집합은 A형의 그레디에이티드 퀄리어 비아리에테이션과 동형이며, 이는 두 중요한 대수적 다양체 클래스 사이의 기하학적 다리를 제공한다.
• 유한 W-대수의 A형에서 단순 모듈 L(Q)이 베르마 모듈 M(P)에 포함되는 구성 다중도는 카즈한-류스트라스 폴리노미얼 P_{w_{LR}, x_{LR}}(1)과 같다. 여기서 w_{LR}과 x_{LR}은 이중 코셋 S_λ \backslash S_N / S_μ 내에서 최장 길이를 갖는 대표원이다.
• 이 결과는 이전에 로세프가 다른 방법으로 증명한 바 있는 브룬단-클레쉬체프 추측에 대한 새로운 기하학적 증명을 제공한다.
• 그레디에이티드 퀄리어 비아리에테이션의 교차 호모로지 군은 구성 다중도를 계산하며, 이러한 군은 양자 아핀 대수와 양안 대수의 표현을 제어하는 것으로 알려져 있다.
• C*-고정점 집합과 그레디에이티드 퀄리어 비아리에테이션 사이의 동형은 양자군 표현 이론에서 알려진 결과들을 유한 W-대수의 맥락으로 이전하는 데 기여한다.
• 이 구성은 기하 표현 이론의 정신에 따라 표준 모듈의 겔판트-츠레틴 특성에 대한 기하학적 해석을 제공하며, 이는 이전의 q-특성 연구를 확장한다.