[論文レビュー] Mirror construction of Hecke correspondence between Nakajima quiver varieties

Siu-Cheong Lau, Ju Le Tan|arXiv (Cornell University)|Jan 20, 2026

Algebraic structures and combinatorial models被引用数 0

ひとこと要約

本論文は Nakajima クイル多様体間のヘーク対応を、局所的ミラーファンクターを適用したフレーム付きラグランジアンブレーンから生じる全純 Holomorphic Lagrangians として構成し、非 ADE クイルに対して局所的ミラーファンクターの全忠実性を証明する。

ABSTRACT

Nakajima constructed geometric representations of a deformed Kac-Moody Lie algebra using Hecke correspondences between quiver varieties. In this paper, we show that Hecke correspondences, which are holomorphic Lagrangians in products of Nakajima quiver varieties, can be obtained by applying the localized mirror construction to the morphism spaces between families of framed Lagrangian branes supported on the core of a plumbing of two-spheres. Moreover, for a non-ADE quiver, we show that the localized mirror functor is fully-faithful.

研究の動機と目的

• ヘーク対応を介した Nakajima の幾何学的表現論のシンプレクティックなカテゴリー化を動機付ける。
• ヘーク対応を Floer 理論とフレーム付きラグランジアンブレーンから生じる全純なラグランジアン部分多様体として実現する。
• Floer 理論的構成を古典的な畳み込み代数と Nakajima のクイル多様体と結びつける。

提案手法

• フレーム付きラグランジアンブレーンとその Maurer–Cartan 変形空間を導入する。
• フレーム付きラグランジアンブレーンの族に対して局所的ミラ－構成を適用し、変形空間のモース/ Floer 理論モデルを作る。
• ブレーン間の Floer 同型 HF^2 がヘーク対応を同定する holomorphic Lagrangian 部分集合 P_k に支持されることを示す。
• Maurer–Cartan クイア algebra を用いて非可換変形とミラーデータを符号化する。
• ADE および非 Dynkin 設定における局所的 HMS 同値を局所的に示す。
• 非 ADE クイルに対して局所的ミラーファンクターの全忠実性を証明する。

実験結果

リサーチクエスチョン

• RQ1 Nakajima クイル多様体間のヘーク対応をラグランジアン Floer 理論でどのように実現できるか。
• RQ2 フレーム付きラグランジアンブレーンに局所的ミラーファンクターを適用して、ヘーク対応をクイル多様体の直積の holomorphic Lagrangian として再現できるか。
• RQ3 非 ADE クイルに対する局所的ミラーの適用範囲、特に忠実性はどの程度か。
• RQ4 ADE 面における局所 HMS の現れ方とこの枠組みでの Maurer–Cartan 変形空間の役割は何か。
• RQ5 作成された holomorphic Lagrangian が古典的な畳み込み代数および Nakajima の表現論とどのように関連するか。

主な発見

• ヘーク対応は、フレーム付きラグランジアンブレーン間の Floer 理論的射影を通じて Nakajima クイル多様体の積空間内の holomorphic Lagrangian 部分多様体として現れる。
• フレーム付きブレーン間の Floer 同型 HF^2 は holomorphic Lagrangian 部分集合 P_k に支えられ、これは古典的なヘーク対応と同型である。
• フレーム付きラグランジアンブレーンの Maurer–Cartan 変形空間は Nakajima クイル多様体と同型であり、Floer 理論とクイル多様体モデuli を結びつける。
• 非 ADE クイルに対して局所的ミラーファンクターは全忠実であり、この設定で堅固な HMS 型対応を確立する。
• ADE の場合、ミラー構成された対象は pi^{-1}([0]) に結びつく holomorphic Lagrangian 部分多様体と整合し、具体的な ADE HMS 図を示す。
• 3 次元の類似例では、非可換な変形空間が Calabi–Yau であるとき局所的ミラーファンクターが自己対称的射影解を提供する。