[論文レビュー] Incidence relations among the Schubert cells of equivariant Hilbert Schemes

Laurent Evain|ArXiv.org|May 23, 2000

Matrix Theory and Algorithms被引用数 5

ひとこと要約

この論文は、トーラス作用下のアフィン平面の等変Hilbertスキームにおけるシューベルト細胞の間の接続に関する必要条件を組合せ論的に確立する。各細胞に階段と矢印系を関連させることで、ある細胞の閉包が他方の細胞と交わるための条件は、元の階段および双対階段の両方で整合性を持つ矢印系が存在することであることを示す。この条件は古典的グレイスマン多様体の接続則を一般化し、小さなHilbert関数に対しては十分条件であることが証明されている。

ABSTRACT

Let HH_{ab}(H) be the equivariant Hilbert scheme parametrizing the zero dimensional subschemes of the affine plane k^2, fixed under the one dimensional torus T_{ab}={(t^{-b},t^a), t\in k^*} and whose Hilbert function is H. This Hilbert scheme admits a natural stratification in Schubert cells which extends the notion of Schubert cells on Grassmannians. However, the incidence relations between the cells become more complicated than in the case of Grassmannians. In this paper, we give a necessary condition for the closure of a cell to meet another cell. In the particular case of Grassmannians, it coincides with the well known necessary and sufficient incidence condition. There is no known example showing that the condition wouldn't be sufficient.

研究の動機と目的

• シューベルト細胞の間の接続関係を理解すること。これはグレイスマン多様体を一般化するが、より複雑な層化構造を持つ。
• 弱い接続問題に取り組むこと：あるシューベルト細胞の閉包が他方の細胞と交わるのはいつか？
• 古典的グレイスマン多様体におけるシューベルト接続条件を、非グレイスマン的等変Hilbertスキームへ一般化すること。
• 提案された条件が十分条件であるかどうかを検証すること。特に、従来の条件が失敗する低複雑度のケースにおいて検証すること。

提案手法

• 各シューベルト細胞を単項イデアルとその関連する階段 $E \subset \mathbb{N}^2$ で表し、補集合が加法に関して安定であることを仮定する。
• 階段 $E$ 上に矢印系 $S$ を定義する。各 $p \in E$ は制約を満たす $f_p \in \mathbb{N}^2$ に写像され、整合性を持つ。
• 各 $p$ を $f_p$ に置き換えることで、$S(E)$ を新たな階段とし、整合性により階段構造を保つ。
• 双対階段 $E^\nu$ を導入し、$E^\nu$ 上に双対矢印系 $S^\nu$ を定義する。$S^\nu(E^\nu) = F^\nu$ となるようにし、$F$ との接続を保証する。
• 条件を次のように定式化する：$\overline{C(E)} \cap C(F) \neq \emptyset$ となるのは、$S(E) = F$ を満たす $E$ 上の $S$ と、$S^\nu(E^\nu) = F^\nu$ を満たす $E^\nu$ 上の $S^\nu$ が存在する場合に限る。
• $k[t]$ 上の平坦族を明示的に構成することで、この条件を検証する。$T_3, T_4, P_{\geq 5}$ などのイデアルを用いて、$(a,e)$, $(b,d)$, $(d,f)$ といった接続関係を実現する。

実験結果

リサーチクエスチョン

• RQ1 等変Hilbertスキームにおけるシューベルト細胞の閉包が他方と交わるのは、どのような組合せ論的条件下か？
• RQ2 等変Hilbertスキームにおける接続条件は、グレイスマン多様体における古典的シューベルト条件とどのように関係するか？
• RQ3 提案された接続に関する必要条件は、特に小さなHilbert関数のケースにおいても十分条件となるか？
• RQ4 $k[t]$ 上の平坦族を用いて、接続構造を幾何的に実現できるか？
• RQ5 階段とその補集合の双対性は、接続関係を決定づける上で果たす役割は何か？

主な発見

• 論文は、接続に関する必要条件を確立した：$\overline{C(E)} \cap C(F) \neq \emptyset$ となるのは、$S(E) = F$ を満たす $E$ 上の整合性を持つ矢印系 $S$ と、$S^\nu(E^\nu) = F^\nu$ を満たす $E^\nu$ 上の $S^\nu$ が存在する場合に限る。
• グレイスマン多様体の場合、この条件は古典的で必要十分な接続条件に還元され、一貫性が確認された。
• $H = (1,2,3,2,1,0,\dots)$ で $(a,b) = (1,-1)$ のような小さなHilbert関数に対しては、この条件は必要かつ十分であり、完全な接続関係の解明が可能になった。
• $k[t]$ 上の平坦族を $T_3, T_4, P_{\geq 5}$ などのイデアルを用いて明示的に構成し、$(a,e)$, $(b,d)$, $(d,f)$ といった接続関係を実現することで、条件の幾何的実現可能性が確認された。
• 反例により、$E$ と $E^\nu$ における2つの条件は一般には同値でないことが示されたが、それぞれはYameogo（2000）の条件を含意しており、その関連性が裏付けられた。
• $H = (1,2,3,2,1,0,\dots)$ の場合、接続図は完全に特定された：$(E,F)$ が成り立つのは、$E$ と $F$ が細い矢印で結ばれているか、または太い矢印の列で結ばれている場合に限る。これにより、このケースにおける条件の有効性が確認された。