[论文解读] Incidence relations among the Schubert cells of equivariant Hilbert Schemes

Laurent Evain|ArXiv.org|May 23, 2000

Matrix Theory and Algorithms被引用 5

一句话总结

本文建立了在环面作用下仿射平面的等变希尔伯特概形中，Schubert胞腔之间关联关系的必要组合条件。通过为胞腔关联阶梯形与箭头系统，证明一个胞腔的闭包与另一胞腔相交，当且仅当在原始阶梯形和其对偶阶梯形上均存在兼容的箭头系统；该条件推广了经典的格拉斯曼流形关联规则，并在希尔伯特函数较小时被证明是充分的。

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.

研究动机与目标

• 理解等变希尔伯特概形中Schubert胞腔之间的关联关系，这些概形推广了格拉斯曼流形，但具有更复杂的分层结构。
• 解决弱关联问题：一个Schubert胞腔的闭包何时与另一个胞腔相交？
• 将格拉斯曼流形上的经典Schubert关联条件推广至非格拉斯曼流形的等变希尔伯特概形。
• 检验所提出的条件是否充分，特别是在先前条件失效的低复杂度情形下。

提出的方法

• 用单项式理想及其关联的阶梯形 $E \subset \mathbb{N}^2$ 表示每个Schubert胞腔，其中补集在加法下稳定。
• 在阶梯形 $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$ 仅当存在 $E$ 上的 $S$ 满足 $S(E) = F$，且存在 $E^\nu$ 上的 $S^\nu$ 满足 $S^\nu(E^\nu) = F^\nu$。
• 通过在 $k[t]$ 上显式构造平坦族验证该条件，使用如 $T_3, T_4, P_{\geq 5}$ 等理想实现关联关系。

实验结果

研究问题

• RQ1 在何种组合条件下，一个Schubert胞腔的闭包会在等变希尔伯特概形中与另一个胞腔相交？
• RQ2 等变希尔伯特概形上的关联条件与格拉斯曼流形上经典Schubert条件之间有何关系？
• RQ3 所提出的关联必要条件是否也充分，特别是在希尔伯特函数较小的情形下？
• RQ4 关联结构能否通过 $k[t]$ 上的平坦族实现几何化？
• RQ5 阶梯形与其补集之间的对偶性在决定关联关系中起何作用？

主要发现

• 本文建立了关联的必要条件：$\overline{C(E)} \cap C(F) \neq \emptyset$ 仅当存在 $E$ 上的兼容箭头系统 $S$ 满足 $S(E) = F$，且存在 $E^\nu$ 上的 $S^\nu$ 满足 $S^\nu(E^\nu) = F^\nu$。
• 在格拉斯曼流形情形下，该条件退化为经典的必要且充分关联条件，表明其一致性。
• 对于希尔伯特函数较小的情形，如 $H = (1,2,3,2,1,0,\dots)$ 且 $(a,b) = (1,-1)$，该条件既是必要也是充分的，从而实现完整关联关系的解析。
• 通过使用 $T_3, T_4, P_{\geq 5}$ 等理想，在 $k[t]$ 上显式构造了平坦族，实现了如 $(a,e)$、$(b,d)$ 和 $(d,f)$ 等关联关系，确认了该条件的几何可实现性。
• 反例表明，$E$ 和 $E^\nu$ 上的两个条件在一般情况下不等价，但各自均蕴含Yameogo（2000）的条件，表明其相关性。
• 对于 $H = (1,2,3,2,1,0,\dots)$，关联图被完全确定：$(E,F)$ 成立当且仅当 $E$ 与 $F$ 通过一条细箭头或一系列粗箭头相连，确认了该条件在此情形下的有效性。