[논문 리뷰] On cohomological Hall algebras of quivers : Yangians

Olivier Schiffmann, Éric Vasserot|arXiv (Cornell University)|2017. 05. 21.

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

한 줄 요약

이 논문은 화살표가 없는 임의의 쿠버 표현의 라그랑주 부분스택에 대한 코homological Hall 대수 $\mathbf{Y}^1$와 Maulik-Okounkov Yangian $\mathbb{Y}$ 사이에 추측적 동치를 수립하며, 그들의 쿠버 다양체의 코homology 위에서 작용하는 것을 연결하는 명시적 포함사상 $\mathbf{Y}^1 \subseteq \mathbb{Y}$를 구성한다. 주요 결과는 임의의 쿠버에 대해 이러한 대수와 그 표현 간의 정밀한 비교이다.

ABSTRACT

We consider the cohomological Hall algebra Y of a Lagrangian substack of the moduli stack of representations of the preprojective algebra of an arbitrary quiver Q, and its actions on the cohomology of quiver varieties. We conjecture that Y is equal, after a suitable extension of scalars, to the Yangian introduced by Maulik and Okounkov, and we construct an embedding of Y in the Yangian, intertwining the respective actions of both algebras on the cohomology of quiver varieties.

연구 동기 및 목표

• 쿠버 다양체의 코homology 위에서 작용하는 코homological Hall 대수 $\mathbf{Y}^1$와 Maulik-Okounkov Yangian $\mathbb{Y}$를 비교한다.
• 스칼라 확장 후 $\mathbf{Y}^1$이 Yangian $\mathbb{Y}$와 동형임을 추측한다.
• 코homology 위의 작용을 유지하는 명시적 포함사상 $\mathbf{Y}^1 \subseteq \mathbb{Y}$를 구성한다.
• 유한, 아핀, 조르던 쿠버에 대해 알려진 결과를 화살표가 없는 쿠버로 일반화한다.
• 코homological Hall 대수 작용을 통해 보편 표준 모듈의 기하적 실현을 제공한다.

제안 방법

• $\mathbf{Y}^1 = \bigoplus_v H^{G(v) \times T}_*(\Lambda^1(v))$로 정의하며, 여기서 $\Lambda^1(v)$는 전프로제크티브 대수 표현의 모듈라이 공간의 라그랑주 부분스택이다.
• 안정적 막대를 구성하고 잔여를 통해 쿠버 다양체의 코homology 위에 $\mathbf{Y}^1$의 작용을 정의한다.
• RTT 형식론과 심플렉틱 기하학을 사용하여 Borel-Moore 호모로지 위에 작용하는 Maulik-Okounkov Yangian $\mathbb{Y}$를 정의한다.
• 일반화된 헤크 대응과 $R$-행렬을 통해 $\mathbf{Y}^1 \to \mathbb{Y}$의 사상을 수립한다.
• $\mathbf{Y}^1 \subseteq \mathbb{Y}$의 포함사상이 $F_w = \bigoplus_v H^{G(w) \times T}_*(\mathfrak{M}(v,w))$ 위의 작용을 연결함을 증명한다.
• 극한 순환과 잔여 사상으로 $\mathfrak{Z}_{\varepsilon,\mathbb{G}_m}$ 위의 사이클을 안정적 막대와 $R$-행렬과 연결한다.

실험 결과

연구 질문

• RQ1 스칼라 확장 후 코homological Hall 대수 $\mathbf{Y}^1$은 Maulik-Okounkov Yangian $\mathbb{Y}$와 동형인가?
• RQ2 쿠버 다양체의 코homology 위에서 $\mathbf{Y}^1$과 $\mathbb{Y}$의 작용은 어떻게 비교되는가?
• RQ3 Yangian 작용은 헤크 대응과 안정적 막대를 통해 기하학적으로 실현될 수 있는가?
• RQ4 쿠버 다양체의 맥락에서 $R$-행렬과 안정적 막대 사이의 정밀한 관계는 무엇인가?
• RQ5 포함사상 $\mathbf{Y}^1 \subseteq \mathbb{Y}$는 보편 표준 모듈의 구조를 유지하는가?

주요 결과

• 논문은 쿠버 다양체의 코homology 위에서 작용을 연결하는 명시적 포함사상 $\mathbf{Y}^1 \subseteq \mathbb{Y}$를 구성한다.
• 안정적 막대 구성은 $R$-행렬의 기하적 실현을 제공하며, 이를 일반화된 헤크 대응과 연결한다.
• 안정적 막대의 열린 부분집합으로의 제한이 역상임을 보이며, 이는 Yangian 작용과의 호환성을 증명하는 데 핵심적이다.
• 극한 순환 $\operatorname{stab}_\varepsilon = \pm \lim_0 [\mathfrak{Z}_{\varepsilon,\mathbb{G}_m}]$은 $\mathfrak{gp}_\varepsilon$ 위에 지지되어 있으며, 그 제한은 영수준 안정적 막대의 역상과 일치한다.
• $\mathbf{Y}^1$의 $F_w$ 위 작용은 $\mathbb{Y}$의 작용과 호환되며, 제한과 역상에 대한 사이클 클래스의 호환성으로서 이를 보여준다.
• 주요 결과 4.8의 증명은 $\mathfrak{h}^\diamond_1 \cap \mathfrak{h}_1[v_1,\Lambda_\nu;w]$의 교차가 비어 있지 않음을 바탕으로 하며, 사이클 분해의 일관성을 확인한다.