Quasimaps to Nakajima varieties as critical loci

技術要約：クリティカル・ロカスとしての準マップから中島多様体へ

問題提起
本論文は、射影直線 $\mathbb{P}^1$ から中島キバー多様体 $X$ への準マップ（quasimap）のモジュライ空間に対し、明示的かつ標準的な構成を与えるという問題に取り組んでいる。具体的には、$\mathbb{P}^1$ の特異な点 $\infty \in \mathbb{P}^1$ を固定された点 $p \in X$ へ写すような準マップ $f: \mathbb{P}^1 \to X$ の部分空間に焦点を当てている。準マップのモジュライ空間自体は定義されているが、著者は、インスタントン・モジュライ空間におけるADHM構成や、ハンソー（handsaw）キバー多様体とフラッグ多様体への準マップとの同一性に類似した、明示的なポテンシャル関数のクリティカル・ロカス（臨界集合）としての記述を求めている。

手法
著者は、準マップのデータとキバー表現の間の相互作用を利用した、ベイリンソン・対角分解（Beilinson resolution of the diagonal）およびコホモロジー的基底変換を用いた2段階の構成を採用している。

1. 準マップからキバー表現へ:
   基底スキーム $B$ 上の準マップの族に対し、著者は $B \times \mathbb{P}^1$ 上の普遍束 $V_i$ の導来押し出しを用いて、以下のベクトル束 $U_i$ および $F_i$ を定義する：

   • $U_i = R^1 p_* (V_i(-1))$
   • $F_i = R^1 p_* (V_i(-2))$
     $\mathbb{P}^1$ 上の座標 $z$（$\mathcal{O}(1)$ の切断とみなす）を用いて、著者は射 $\zeta_i: F_i \to U_i$ を構成し、$V_i$ を $\zeta_i - z\pi_i$ の核として特定する。ここで $\pi_i$ は射影である。準マップの切断（$B_2, B_3, I, J$）は、これらの新しい束の間の射を誘導する。準マップの仮の点における安定性は、これらの構成が特定の可換図式を満たす、定義されたベクトル束および射を与えることを保証する。

2. キバー表現から準マップへ:
   逆に、特定の拡大された空間 $R(v, w; d)$ におけるキバー表現から出発して、著者はキバーのデータ（$B_1, I$）と座標 $z$ を含む行列の核として、 $B \times \mathbb{P}^1$ 上の束 $V_i$ を定義する。ポテンシャル関数 $W_p$ に対するクリティカル・ロカスの条件（$dW_p = 0$）は、誘導された射（$B_2, B_3, I, J$）が、下束 $V_i$ 上でウェルディファインドであり、かつ準マップに求められるモーメント写像の方程式を満たすことを保証する。

3. ポテンシャル関数:
   本構成の核心は、拡大されたキバーの表現の空間上で定義される明示的なポデンシャル関数 $W_p$ である。このキバーは、元の頂点とエッジに加え、新しい頂点 $U_i$（次数を表す）と、それらと元のフレーミングおよび頂点空間とを結ぶ特定の矢印を含む。関数は以下のように与えられる：
   $$W_p = \text{tr}(B_1[B_2, B_3]) + \text{tr}(J_2(B_2I - I\xi_2)) + \text{tr}(J_3(B_3I - I\xi_3)) + \text{tr}(I\iota\alpha)$$
   ここで、$(\xi_2, \xi_3, \iota, \jmath)$ は点 $p$ に対応する固定されたキバーのデータである。

主要な結果
主要な結果は定理 2.1であり、これは以下の代数スタックの同型を確立している：
$$QM^p_d(X) \simeq MX(p, d)$$
ここで、

• $QM^p_d(X)$ は、次数 $d$ で $f(\infty) = p$ を満たす $\mathbb{P}^1$ から $X$ への安定な準マップのモジュライ空間である。
• $MX(p, d)$ は、商スタック $[R(v, w; d)^{st} / (GL(U) \ltimes \text{Hom}(U, V))]$ 上のポテンシャル $W_p$ のクリティカル・ロカスである。

この証明は、これら2つの空間の間の明示的な逆射 $\Psi$ と $\Phi$ を構成し、それらが必要な安定性と可換性の条件を満たすことを検証することによって行われる。

具体的な貢献と例

• 明示的なクリティカル・ロカスの記述: 本論文は、準マップ空間をクリティカル・ロカスとして具体的に実現しており、これは当該の空間に自然な導来拡張（derived enhancement）と $(-1)$ シフトされたシンプレクティック構造（[PTVV13]の意味において）を与える。
• ヒルベルト・スキームのケース: $X = \text{Hilb}^n(\mathbb{C}^2)$ の特定のケースにおいて、この構成はパンダールピアンデ・トーマス（Pandharipande-Thomas）の安定なペアのモジュライ空間の明示的なクリティカル・ロカス記述を与える。
• ハンソー・キバー多様体の回収: セクション 3.3.1 において、著者は、構成を部分フラッグ多様体の余接束（$X = T^*(GL_n/P)$）に特殊化することで、中島 [Nak11] によって記述された「ハンソー・キバー多様体」を回収できることを示す。これは、非簡約な部分の商群によるゲージ固定を行い、クリティカル・ロカスにおける特定の方程式を解いて冗長な矢印を排除することによって達成される。

意義と主張
著者は、この構成が「合理的に標準的（reasonably canonical）」であり、準マップの空間を明示的な関数のクリティカル・ロカスとして提示していると主張している。主な意義は、準マップ空間の導来構造を明示的に記述できる点にあり、これは随伴論文 [BT26] で詳細に述べられている。

本論文は、非簡約群 $GL(U) \ltimes \text{Hom}(U, V)$ による商が、キバー表現の文脈においてはやや非標準的な特徴であることを認めている。しかし、部分フラッグの例に見られるように、非標準的な選択（ゲージ固定）を行うことで、これを $GL(U)$ のみの商と交換できることも述べている。本稿は、同型と明示的な構成を確立するための短いノートとして提示されており、今後の共同研究における幾何学的表現論へのさらなる展開が期待される。