[论文解读] The slopes determined by n points in the plane

Jeremy L. Martin|ArXiv.org|Feb 10, 2003

Commutative Algebra and Its Applications参考文献 9被引用 4

一句话总结

本文研究了平面上 $n$ 个点所确定的斜率族的代数与组合结构，证明由 $K_n$ 中刚性圈的树多项式生成的理想 $I_n$ 是素理想、Cohen-Macaulay 理想，并且在特定项序下其 Gröbner 基由轮图多项式构成。通过完美匹配与二元完全分拆的组合方法，计算了斜率族的 Hilbert 系数与次数，揭示了其与图论及 Stanley-Reisner 理论的深层联系。

ABSTRACT

Let $m_{12}$, $m_{13}$, ..., $m_{n-1,n}$ be the slopes of the $\binom{n}{2}$ lines connecting $n$ points in general position in the plane. The ideal $I_n$ of all algebraic relations among the $m_{ij}$ defines a configuration space called the {\em slope variety of the complete graph}. We prove that $I_n$ is reduced and Cohen-Macaulay, give an explicit Gröbner basis for it, and compute its Hilbert series combinatorially. We proceed chiefly by studying the associated Stanley-Reisner simplicial complex, which has an intricate recursive structure. In addition, we are able to answer many questions about the geometry of the slope variety by translating them into purely combinatorial problems concerning enumeration of trees.

研究动机与目标

• 刻画平面上处于一般位置的 $n$ 个点所确定的斜率向量参数化代数簇。
• 确定完全图 $K_n$ 的仿射斜率族的定义理想 $I_n$。
• 证明 $I_n$ 是素理想、约化理想且为 Cohen-Macaulay 理想，并通过组合方法计算其 Hilbert 系数与次数。
• 将斜率族的几何性质与完美匹配、二元完全分拆等组合不变量联系起来。
• 证明轮图子图的树多项式生成 $I_n$，且在特定项序下构成 Gröbner 基。

提出的方法

• 在分次字典序下，从轮图子图的树多项式的首项构造一个单项式理想 $J_n$。
• 利用 Stanley-Reisner 理论，将一个单纯复形 $\Delta(n)$ 关联到 $J_n$，其面对应于不在 $J_n$ 中的平方自由单项式。
• 建立 $\Delta(n)$ 的面的递归结构，证明其与二元完全分拆一一对应，而后者由双阶乘数出。
• 证明 $\Delta(n)$ 的可壳性，从而推出 $J_n$ 乃至 $I_n$ 是 Cohen-Macaulay 理想。
• 利用 $\Delta(n)$ 的 $h$-向量导出的 Hilbert 系数公式，其中 $h(n,k)$ 计数 $[1,2n-4]$ 上恰好有 $k$ 个长对的完美匹配。
• 利用 $J_n$ 与 $\sqrt{I_n}$ 的余维数与次数相等，且 $J_n$ 是 $I_n$ 的 Gröbner 退化，得出 $I_n$ 是素理想，且方案意义下定义了斜率族。

实验结果

研究问题

• RQ1 仿射斜率族 $\tilde{\mathcal{S}}(K_n)$ 的定义理想 $I_n$ 是什么？它是素理想吗？
• RQ2 斜率族的 Hilbert 系数能否通过组合方法计算？它计数的是什么？
• RQ3 理想 $I_n$ 是否由轮图子图的树多项式生成？它们在特定项序下是否构成 Gröbner 基？
• RQ4 斜率族 $\tilde{\mathcal{S}}(K_n)$ 的次数是多少？它与完美匹配等组合对象有何关系？
• RQ5 理想 $I_n$ 的 Stanley-Reisner 复形是否可壳？这是否意味着斜率族是 Cohen-Macaulay 的？

主要发现

• 定义仿射斜率族 $\tilde{\mathcal{S}}(K_n)$ 的理想 $I_n$ 是素理想，且由 $K_n$ 的所有轮图子图的树多项式生成。
• 轮图子图的树多项式在特定分次字典序下构成 $I_n$ 的 Gröbner 基。
• 斜率族 $\tilde{\mathcal{S}}(K_n)$ 的次数为 $\frac{(2n-4)!}{2^{n-2}(n-2)!}$，等于 $[1,2n-4]$ 上完美匹配的数量。
• 环 $R_n/I_n$ 的 Hilbert 系数为 $\frac{\sum_{k=0}^{n-2} h(n,k) t^k}{(1-t)^{2n-3}}$，其中 $h(n,k)$ 计数恰好有 $k$ 个长对的完美匹配。
• Stanley-Reisner 复形 $\Delta(n)$ 是可壳的，因此 $R_n/I_n$ 与 $\tilde{\mathcal{S}}(K_n)$ 均为 Cohen-Macaulay 理想。
• 簇 $\tilde{\mathcal{S}}(K_n)$ 的维数为 $2n-3$，与平面上 $n$ 个点在仿射变换下的配置空间的预期维数一致。