[论文解读] Algebraic shifting of strongly edge decomposable spheres

Satoshi Murai|ArXiv.org|Sep 28, 2007

Commutative Algebra and Its Applications参考文献 17被引用 7

一句话总结

本文利用外代数和对称代数移位，刻画了强边可分解球面的代数移位复形，证明其满足在移位循环多面体复形中的包含关系。关键结果表明，此类复形在特征 0 下具有强 Lefschetz 性质，完全刻画了其一般初理想，从而解决了 Kalai 与 Sarkaria 关于单纯复形面向量的猜想的一个特例。

ABSTRACT

Recently, Nevo introduced the notion of strongly edge decomposable spheres. In this paper, we characterize the algebraic shifted complex of those spheres. Algebraically, this result yields the characterization of the generic initial ideal of the Stanley--Reisner ideal of Gorenstein* complexes having the strong Lefschetz property in characteristic 0.

研究动机与目标

• 利用外代数和对称代数移位映射 $\Delta^e$ 与 $\Delta^s$，刻画强边可分解球面的代数移位复形。
• 证明这些复形满足在循环多面体边界复形的移位复形中的包含条件。
• 在特征 0 下，完全刻画具有强 Lefschetz 性质的 Gorenstein* 复形的 Stanley–Reisner 理想的一般初理想。
• 解决 Kalai 与 Sarkaria 关于单纯复形 $g$-向量条件的猜想的一个特例。

提出的方法

• 通过外代数和对称代数移位映射 $\Delta^e$ 与 $\Delta^s$，将单纯复形变换为具有相同 $f$-向量的移位复形。
• 应用强边可分解复形的概念，通过链条件与顶点收缩递归定义。
• 在特征 0 下使用一般初理想 $\mathrm{Gin}(I_\Gamma)$，将代数移位与强 Lefschetz 性质联系起来。
• 利用 $U(\Gamma)$（次数不超过 $d/2$ 的单项式集合）与一般初理想之间的关系，重构 $\Delta^s(\Gamma)$。
• 应用对称移位复形的面已知公式，通过 $L(\Gamma)$ 与 $U(\Gamma)$ 表达，特别是公式 (14) 与 (15)。
• 依赖 [18]、[22] 与 [27] 的结果，将移位复形与 Gorenstein* 性质及强 Lefschetz 性质联系起来。

实验结果

研究问题

• RQ1 在代数移位下，强边可分解球面是否满足包含关系 $\Delta(\Gamma) \subset \Delta^s(C(n,d))$？
• RQ2 在特征 0 下，具有强 Lefschetz 性质的 Gorenstein* 复形的 Stanley–Reisner 理想的一般初理想能否被完全刻画？
• RQ3 强边可分解球面的代数移位复形 $\Delta^s(\Gamma)$ 的精确结构是什么？
• RQ4 此类复形的 $h$-向量及其对称性如何与它们的代数移位相关？
• RQ5 挤压球面的外代数移位复形是否与基域的特征无关？

主要发现

• 任意强边可分解球面 $\Gamma$ 的对称代数移位复形 $\Delta^s(\Gamma)$ 满足 $\Delta^s(\Gamma) \subset \Delta^s(C(n,d))$，从而确认了 Kalai 与 Sarkaria 猜想的一个特例。
• 此类复形的 $h$-向量是对称的：对所有 $i = 0, \dots, d$，有 $h_i(\Gamma) = h_{d-i}(\Gamma)$，表明其具有 Gorenstein* 与 Cohen–Macaulay 性质。
• Stanley–Reisner 理想 $I_\Gamma$ 的一般初理想 $\mathrm{Gin}(I_\Gamma)$ 完全由集合 $U(\Gamma)$（次数不超过 $d/2$ 的单项式）决定，其中 $L(\Gamma) = \{ux_{n-d}^t : u \in U(\Gamma), 0 \leq t \leq d - 2\deg u\}$。
• 对于挤压球面，外代数移位复形 $\Delta^e(\Gamma)$ 与基域的特征无关，该结论由命题 5.7 证明。
• 通过公式 (14) 完全确定 $\Delta^s(\Gamma)$ 的面，且 $L(\Gamma)$ 可通过 (15) 从 $U(\Gamma)$ 重构。
• 该结果在特征 0 下完全刻画了具有强 Lefschetz 性质的 Gorenstein* 复形的一般初理想，从而解决了 [22, 问题 4.5]。