[论文解读] Singular Loci of Hibi toric varieties

V. Lakshmibai, Himadri Mukherjee|arXiv (Cornell University)|Jun 18, 2007

Advanced Combinatorial Mathematics参考文献 19被引用 14

一句话总结

本文通过利用格理论数据构造基，明确描述了与有限分配格相关的Hibi仿射代数簇（即正常仿射代数簇）在奇点处的余切空间。研究证明，奇点集是若干子簇的并集，这些子簇对应于嵌入子格 $ D_{\tau} $，其中切空间的维数超过环境维数，其条件由格中链与等价类的组合性质决定。

ABSTRACT

We first construct explicit bases for the cotangent spaces at singular points on Hibi toric varieties, i.e., toric varieties associated to distributive lattices. We then determine the singular loci of these toric varieties.

研究动机与目标

• 确定Hibi仿射代数簇在奇点处余切空间的结构。
• 根据底层分配格的组合数据，刻画Hibi仿射代数簇的奇点集。
• 提供一个显式的、基于格中链与等价类的奇点判定组合准则。

提出的方法

• 构造与Hibi仿射代数簇 $ X_{\mathcal{L}} $ 相关的锥 $ \tau $ 及其对偶 $ \sigma^\vee $，并将半群代数 $ K[S_\sigma] $ 识别为 $ X_{\mathcal{L}} $ 的坐标环。
• 通过在面 $ \tau^\perp $ 外部为零的半群映射，定义每个正则轨道 $ \mathcal{O}_\tau $ 中的特殊点 $ P_\tau $，并将极大理想 $ M_{P_\tau} $ 识别为在 $ P_\tau $ 处求值映射的核。
• 引入集合 $ D_\tau = \{ \alpha \in \mathcal{L} \mid P_\tau(\alpha) \neq 0 \} $，该集合构成一个嵌入子格，决定 $ P_\tau $ 附近的局部几何结构。
• 将函数 $ F_\alpha $ 定义为：若 $ \alpha \notin D_\tau $，则 $ F_\alpha = x_\alpha $；若 $ \alpha \in D_\tau $，则 $ F_\alpha = 1 - x_\alpha $，并用其生成 $ M_{P_\tau} $。
• 构造集合 $ G_\tau(\Gamma) $，即 $ Y_\tau(\Gamma) \setminus \{\Gamma \cup E_\tau\} $ 中元素的等价类集合，其中 $ \Gamma $ 是 $ D_\tau $ 中的一个极大链，$ E_\tau $ 由在 $ \mathcal{L} \setminus D_\tau $ 中构成菱形对角线的元素组成。
• 证明 $ F_\alpha $ 在 $ M_{P_\tau}/M_{P_\tau}^2 $ 中的像与 $ \gamma \in \Gamma $ 的 $ F_\gamma $ 的像组合后构成基，从而导出切空间维数的公式。

实验结果

研究问题

• RQ1 Hibi仿射代数簇在奇点处的余切空间具有怎样的显式结构？
• RQ2 Hibi仿射代数簇的奇点集如何用其底层分配格的组合数据来描述？
• RQ3 格中何种组合条件可确保某一点位于奇点集中？
• RQ4 极大理想 $ M_{P_\tau} $ 的生成元如何反映 $ P_\tau $ 附近簇的几何性质？
• RQ5 能否仅通过格理论不变量计算正则轨道点处的切空间维数？

主要发现

• 在 $ P_\tau $ 处的余切空间有一组基，由 $ G_\tau(\Gamma) $ 中 $ \alpha $ 的 $ F_\alpha $ 的像与 $ \Gamma $ 中 $ \gamma $ 的 $ F_\gamma $ 的像组成，其中 $ \Gamma $ 是 $ D_\tau $ 中的一个极大链。
• 在 $ P_\tau $ 处的切空间维数为 $ \#G_\tau(\Gamma) + \#\Gamma $，该值决定了该点是否为奇点。
• 当且仅当 $ \#G_\tau(\Gamma) + \#\Gamma > \#\mathcal{L} $ 时，点 $ P_\tau $ 为奇点，从而给出了一个精确的组合奇点判定准则。
• 奇点集 $ \text{Sing}\,X_{\mathcal{L}} $ 是所有子簇 $ X(D_\tau) $ 的并集，其中 $ D_\tau $ 是在 $ P_\tau $ 处非零的元素构成的子格，且对所有满足维数不等式的面 $ \tau $ 成立。
• 切空间维数公式表明，当 $ M_{P_\tau}/M_{P_\tau}^2 $ 的独立生成元数量超过环境空间维数时，该簇在轨道 $ \mathcal{O}_\tau $ 上为奇点。
• 基的构造依赖于余切空间到链 $ \Gamma $ 和 $ G_\tau(\Gamma) $ 中等价类分量的直和分解，其独立性通过线性化映射的核分解得以证明。