[논문 리뷰] Partial flag varieties, stable envelopes and weight functions

Richárd Rimányi, V. Tarasov외 1명|arXiv (Cornell University)|2012. 12. 26.

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

한 줄 요약

이 논문은 부분 플루이드 다양체의 코탄제ント 번들의 등변 코homology에서 안정적 에너지 맵과 양안 무게 함수 사이의 정확한 대응을 확립하며, 양안 무게 함수를 포함하는 공식을 통해 약한 곱 연산자(약한 곱)를 동적 해밀토니안과 연결한다. 주요 결과는 [MO]와 [GRTV]에서 정의된 양안 모듈러스 구조를 완전히 동일시함으로써 양자군의 기하학적 표현 이론과 등변 양자 코hom로지의 핵심 질문을 해결한다.

ABSTRACT

We consider the cotangent bundle T^*F_λof a GL_n partial flag variety, λ= (λ_1,...,λ_N), |λ|=\sum_iλ_i=n, and the torus T=(C^*)^{n+1} equivariant cohomology H^*_T(T^*F_λ). In [MO], a Yangian module structure was introduced on \oplus_{|λ|=n} H^*_T(T^*F_λ). We identify this Yangian module structure with the Yangian module structure introduced in [GRTV]. This identifies the operators of quantum multiplication by divisors on H^*_T(T^*F_λ), described in [MO], with the action of the dynamical Hamiltonians from [TV2, MTV1, GRTV]. To construct these identifications we provide a formula for the stable envelope maps, associated with the partial flag varieties and introduced in [MO]. The formula is in terms of the Yangian weight functions introduced in [TV1], c.f. [TV3, TV4], in order to construct q-hypergeometric solutions of qKZ equations.

연구 동기 및 목표

• 문제 [MO]에서 정의된 부분 플루이드 다양체의 코탄제ント 번들의 등변 코hom로지 위의 양안 모듈러스 구조를 [GRTV]에서의 양안 모듈러스 구조와 동일시하는 것.
• TV1에서 소개된 양안 무게 함수를 이용해 안정적 에너지 맵의 명시적 공식을 구성하여 qKZ 방정식을 해결하는 것.
• H^*_T(T^*\fF_{\bflambda})에서의 약한 곱 연산자(약한 곱)가 [TV2, MTV1, GRTV]에서의 동적 해밀토니안의 작용과 대응됨을 증명하는 것.
• 공동 코hom로지 무게 함수 맵을 사용하여 슈베르트 사이클 대칭성과 유사한 안정적 에너지 맵의 수직 관계를 수립하는 것.

제안 방법

• 안정적 에너지 맵 \operatorname{Stab}_\sigma 가 공통 코hom로지 무게 함수 맵 [W_\sigma] 의 스칼라 배수 c_{\boldsymbol{\lambda}} \circ [W_\sigma] 로 표현되는 공식을 유도하며, 여기서 c_{\boldsymbol{\lambda}} 은 H^*_T(T^*\fF_{\bflambda}) 내의 영이 아닌 약수이다.
• 변수 z_i 와 매개변수 h 를 포함하는 유리 함수로 정의된 대칭화된 양안 무게 함수 W_{\sigma,I} 를 사용하며, 이들의 극은 플루이드 유형 \boldsymbol{\lambda} 에 의해 제어된다.
• T-등변 코hom로지의 맥락에서 안정적 잎과 안정적 에너지 맵을 정의하기 위해 기하학적 R-행렬 이론과 침실 분할 이론을 적용한다.
• 무게 함수의 성질과 유리 함수 위의 잔여 계산을 이용해 안정적 에너지 맵의 삼각형성과 수직성을 증명한다.
• [MO]과 [GRTV]에서의 양안 작용이 무게 함수 공식을 통해 동치임을 증명하며, \oplus_{|\boldsymbol{\lambda}|=n} H^*_T(T^*\fF_{\bflambda}) 위의 양안 작용 간의 동치성을 확립한다.
• 유도된 차분 연산자들이 상호로 가환하며, [MO]의 이동 연산자와 일치하는 유리 함수 qKZ 접속을 형성함을 검증한다.

실험 결과

연구 질문

• RQ1 H^*_T(T^*\fF_{\bflambda}) 위의 안정적 에너지 맵은 양안 표현 이론에서 유래한 공동 코hom로지 무게 함수와 어떻게 관련되어 있는가?
• RQ2 H^*_T(T^*\fF_{\bflambda}) 위에서의 약한 곱 연산자(약한 곱)는 [TV2, MTV1, GRTV]에서의 동적 해밀토니안과 동일시될 수 있는가?
• RQ3 안정적 에너지 맵을 양안 무게 함수로 표현하는 정확한 대수적 공식은 무엇인가?
• RQ4 안정적 에너지 맵은 플루이드 다양체 코hom로지에서 슈베르트 사이클 대칭성과 유사한 수직 관계를 만족하는가?
• RQ5 [MO]에서의 양안 모듈러스 구조는 무게 함수와 R-행렬을 통해 [GRTV]에서 구성된 것과 동치인가?

주요 결과

• 안정적 에너지 맵 \operatorname{Stab}_\sigma 가 H^*_T(T^*\fF_{\bflambda}) 내의 영이 아닌 약수 c_{\boldsymbol{\lambda}}(\boldsymbol{\Theta}) 로 곱한 공통 코hom로지 무게 함수 맵 [W_\sigma] 와 비례함을 보이며, 이는 안정적 에너지 맵의 직접 공식을 확립한다.
• H^*_T(T^*\fF_{\bflambda}) 위에서의 약한 곱 연산자(약한 곱)가 [MO]에서 정의된 바, [TV2, MTV1, GRTV]에서의 동적 해밀토니안 X^q_{{\boldsymbol{\lambda}},i} 의 작용과 동일시됨을 확인한다.
• 안정적 에너지 맵 \operatorname{Stab}_{\operatorname{id}} 의 역행렬이 구성되며, \nu \circ \operatorname{Stab}_{\operatorname{id}} = \operatorname{Id} 를 만족함을 증명하여 그 역행성의 타당성을 확인한다.
• 최장 순열 \sigma_0 인 \operatorname{Stab}_{\operatorname{id}} 과 \operatorname{Stab}_{\sigma_0} 에 대해 수직 관계가 증명되었으며, 이는 슈베르트 사이클 대칭성과 유사하다.
• 양자 접속에서 유도된 차분 연산자들이 상호로 가환하며, [MO]의 이동 연산자와 일치하는 유리 함수 qKZ 차분 접속을 형성함을 보였다.
• 무게 함수 맵은 재귀 관계 W_{s_i,I} = \frac{z_i - z_{i+1}}{z_i - z_{i+1} + h} W_{\operatorname{id},I} + \frac{h}{z_i - z_{i+1} + h} W_{\operatorname{id},s_i(I)} 를 만족하며, 기본 케이스에서 검증되고 대칭성에 의해 일반화된다.