[논문 리뷰] Quiver Varieties and Yangians

Michela Varagnolo|arXiv (Cornell University)|2000. 05. 30.

Algebraic structures and combinatorial models인용 수 19

한 줄 요약

이 논문은 대칭 카크 무디 대수(모든 ADE 유형 포함)에 대해 양안 대수의 기하적 실현을 퀴버 다양체를 사용하여 구성함으로써 나카지마의 추측을 증명한다. 컨볼루션 곱을 통해 이들 다양체의 $\tilde{G}_\mathbf{w}$-동차 호모로지와 양안 대수 사이의 호모토피를 수립하여, 양안 대수와 양자 아핀 대수의 유한차원 표현 이론이 동치임을 보인다.

ABSTRACT

We prove a conjecture of Nakajima (for type A the result was announced by Ginzburg- Vasserot) giving a geometric realization, via quiver varieties, of the Yangian of type ADE (and more in general of the Yangian associated to every symmetric Kac-Moody Lie algebra). As a corollary we get that tthe characters of the simple finite dimensional representations of the quantized affine algebra and that of the yangian coincide.

연구 동기 및 목표

• 대칭 카크 무디 대수에 대해 나카지마의 양안 대수 기하적 구성에 대한 추측을 증명하기 위해.
• 양안 대수의 표현 이론과 양자화된 아핀 대수의 표현 이론 사이의 대응을 수립하기 위해.
• 컨볼루션 곱을 갖춘 퀴버 다양체의 동차 호모로지로 양안 대수의 기하적 실현을 제공하기 위해.
• 양안 대수와 양자 아핀 대수의 유한차원 표현 이론이 서로 동형임을 보여주기 위해.

제안 방법

• 정의 관계가 교환자와 세르 관계를 포함하는 $x^{\pm}_{k,r}, h_{k,r}$에 의해 생성되는 $\mathbb{C}[\hbar]$ 위의 결합 대수로 양안 대수 $\mathbb{Y}_\hbar(\mathfrak{Lg})$를 구성한다.
• 퀴버 다양체 $T(\mathbf{v},\mathbf{w})$를 기하적 프레임워크로 사용하며, $G_\mathbf{v}$-작용에 대한 $\mu^{-1}(0)^s$ 안의 안정 삼중항의 몫으로 정의된다.
• 피복의 곱 $Z(\mathbf{v}^1,\mathbf{v}^2;\mathbf{w}) = T(\mathbf{v}^1,\mathbf{w}) \times_\pi T(\mathbf{v}^2,\mathbf{w})$의 동차 호모로지에 컨볼루션 곱의 구조를 도입하며, $\tilde{G}_\mathbf{w} = G_\mathbf{w} \times \mathbb{C}^\times$-작용을 수반한다.
• 대칭 함수와 $\hbar$에 대한 유리수 계수를 포함하는 명시적 공식을 사용하여, $\mathbb{C}[\hbar,t_1,\dots,t_w]^{S_v \times S_{w-v}}$ 위의 작용을 통해 $x^{\pm}_r$ 및 $h_r$ 연산자를 정의한다.
• $\mathfrak{sl}_2$의 경우 잔여 적분과 대칭 함수 항등식을 사용하여 정의 관계(특히 (1.3)과 (1.4))를 직접 계산으로 검증한다.
• 나카지마의 $\Psi_\mathbf{w}$ 사상( $\mathbb{U}_q(\mathfrak{Lg})$ 에서 동차 $K$-이론으로의 사상)을 사용하여 표현 범주를 비교하고, 양안 대수와 양자 아핀 대수의 유한차원 표현 이론이 동치임을 결론짓는다.

실험 결과

연구 질문

• RQ1 대칭 카크 무디 대수에 대해 양안 대수 $\mathbb{Y}_\hbar(\mathfrak{Lg})$ 는 퀴버 다양체를 통해 기하적 실현이 가능한가?
• RQ2 양안 대수는 컨볼루션 곱을 갖춘 퀴버 다양체의 동차 호모로지로 실현될 수 있는가?
• RQ3 양안 대수와 양자 아핀 대수 $\mathbb{U}_q(\mathfrak{Lg})$ 의 유한차원 표현 이론은 동형인가?
• RQ4 양안 대수의 드린펠트 생성자들은 퀴버 다양체의 동차 호모로지 위에 어떻게 작용하는가?
• RQ5 주어진 기하적 구성 아래에서 양안 대수와 양자 아핀 대수의 표현 범주 사이의 정확한 대응은 무엇인가?

주요 결과

• 논문은 임의의 대칭 카크 무디 대수에 대해 양안 대수 $\mathbb{Y}_\hbar(\mathfrak{Lg})$ 가 컨볼루션 곱을 갖춘 퀴버 다양체의 동차 호모로지와 동형임을 증명한다.
• 특히 (1.5)의 세르 관계를 포함한 양안 대수의 정의 관계는 $\mathfrak{sl}_2$의 경우에 대해 명시적 공식을 사용한 기하적 검증을 통해 확인된다.
• 양안 대수 생성자 $x^{\pm}_r, h_r$ 의 동차 호모로지 위의 작용은 $\hbar$에 대한 유리함수로 주어지며, 대칭 함수 위의 작용에 대한 명시적 공식 (5.1)과 (5.2)가 제공된다.
• 동차 호모로지 위의 컨볼루션 곱은 양안 대수의 구조를 실현하며, $\tilde{G}_\mathbf{w}$-동차성은 대수적 관계와의 호환성을 보장한다.
• 양안 대수 $\mathbb{Y}_\hbar(\mathfrak{Lg})$ 와 양자 아핀 대수 $\mathbb{U}_q(\mathfrak{Lg})$ 의 유한차원 표현 이론은 동치이며, 나카지마의 사상에 의해 범주 $\mathfrak{C}$ 와 $\mathfrak{D}$ 를 비교함으로써 확인된다.
• 범주 $\mathfrak{C}$ 와 $\mathfrak{D}$ 의 단순 유한차원 모듈러의 특성치는 각각 $\mathbb{U}(\mathfrak{g})$-모듈러와 $\mathbb{U}_q(\mathfrak{g})$-모듈러로서 일치하며, 표현론적 동치성을 확인한다.