[論文レビュー] 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$ が素である、コhen-Macaulayであり、ホイール多項式からなるグレブナー基底を持つことを示している。ヒルベルト系列および傾き多様体の次数は、完全マッチングと二分木的全分割を用いて組合せ的に計算され、グラフ理論およびスターリング＝ライスナー理論との深い関係が明らかになる。

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$ が素的かつ簡約的であり、コhen-Macaulayであること、およびそのヒルベルト系列と次数を組合せ論的に計算すること。
• 傾き多様体の幾何学的性質を完全マッチングや二分木的全分割といった組合せ的不変量と関連付ける。
• ホイール部分グラフの木多項式が $I_n$ を生成し、特定の項順序の下でグレブナー基底をなすことを証明する。

提案手法

• 与えられた重み付き辞書式項順序の下で、ホイール部分グラフの木多項式の初期項からモノミアルイデアル $J_n$ を構成する。
• スターリング＝ライスナー理論を用いて、$J_n$ に属さない平方自由モノミアルに対応する単体的複体 $\Delta(n)$ を関連付ける。
• $\Delta(n)$ の facet の再帰的構造を確立し、それが二分木的全分割と一対一対応することを示す。この全分割の数は二重階乗で与えられる。
• $\Delta(n)$ のシェルラブル性を証明し、これにより $J_n$ およびしたがって $I_n$ がコhen-Macaulayであることを示す。
• $\Delta(n)$ の $h$-ベクトルから導かれるヒルベルト系列の公式を用いる。ここで $h(n,k)$ は $[1,2n-4]$ 上の完全マッチングで、ちょうど $k$ 個の長いペアをもつものの数を表す。
• $J_n$ と $\sqrt{I_n}$ のコドメインと次数が等しいこと、および $J_n$ が $I_n$ のグレブナー退化であることに着目し、$I_n$ が素的であり、したがって傾き多様体をスキーム的・定義的に特徴づけることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 アフィン傾き多様体 $\tilde{\mathcal{S}}(K_n)$ の定義イデアル $I_n$ は何か？ そしてそれは素的か？
• RQ2 傾き多様体のヒルベルト系列は組合せ論的に計算可能か？ また、それは何を数えているか？
• RQ3 $I_n$ はホイール部分グラフの木多項式によって生成されるか？ また、それらはグレブナー基底をなすか？
• RQ4 傾き多様体 $\tilde{\mathcal{S}}(K_n)$ の次数は何か？ そして完全マッチングなどの組合せ的対象とどのように関係しているか？
• RQ5 イデアル $I_n$ のスターリング＝ライスナー複体はシェルラブルか？ そしてこれは傾き多様体がコhen-Macaulayであることを示唆するか？

主な発見

• アフィン傾き多様体 $\tilde{\mathcal{S}}(K_n)$ を定義するイデアル $I_n$ は素的であり、$K_n$ のすべてのホイール部分グラフの木多項式によって生成される。
• ホイール部分グラフの木多項式は、特定の重み付き辞書式順序の下で $I_n$ のグレブナー基底をなす。
• 多様体 $\tilde{\mathcal{S}}(K_n)$ の次数は $\frac{(2n-4)!}{2^{n-2}(n-2)!}$ に等しく、$[1,2n-4]$ 上の完全マッチングの数に一致する。
• 環 $R_n/I_n$ のヒルベルト系列は $\frac{\sum_{k=0}^{n-2} h(n,k) t^k}{(1-t)^{2n-3}}$ に等しく、ここで $h(n,k)$ はちょうど $k$ 個の長いペアをもつ完全マッチングの数を表す。
• スターリング＝ライスナー複体 $\Delta(n)$ はシェルラブルであるため、$R_n/I_n$ および $\tilde{\mathcal{S}}(K_n)$ はコhen-Macaulayである。
• 多様体 $\tilde{\mathcal{S}}(K_n)$ の次元は $2n-3$ であり、平面内に $n$ 個の点をアフィン変換で定義する配置空間の期待される次元と整合する。