[論文レビュー] Cohen-Macaulayness of triangular graphs

Hernán de Alba, Walter Carballosa+2 more|arXiv (Cornell University)|Jan 19, 2016

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

ひとこと要約

この論文は、ジョンソングラフ $J(n,2)$ あるいは $K_n$ の2トークングラフとして定義される三角形グラフ $T_n$ のコhen-Macaulay性を調査する。Reisnerの基準と計算的検証を用いて、$T_2$、$T_3$、$T_5$ がコhen-Macaulayであることを証明するが、$T_4$、$T_6$、$T_8$、および $n \geq 10$ の $T_n$ はそうではない。特性が0の体では、$T_7$ と $T_9$ に対してもコhen-Macaulayであることが示され、$n \leq 9$ については完全な分類が得られ、$n \geq 10$ についても部分的な分類が得られる。さらに、独立集合上の初等対称多項式を用いた、均質なパラメータ系（h.s.o.p.）の一般構成が導入される。

ABSTRACT

We study the Cohen-Macaulay property of triangular graphs $T_n$. We show that $T_2$, $T_3$ and $T_5$ are Cohen-Macaulay graphs, and that $T_4$, $T_6$, $T_8$ and $T_n$ are not Cohen-Macaulay graphs, for $n\geq 10$. Finally, we prove that over fields of characteristic zero $T_7$ and $T_9$ are Cohen-Macaulay.

研究の動機と目的

• 任意の体、あるいは特性が0の体上での三角形グラフ $T_n$ がコhen-Macaulayとなる $n$ の値を特定すること。
• ホモロジー的基準を用いて、小さな $n$ および $n \geq 10$ について $T_n$ のコhen-Macaulay性を分類すること。
• 任意の単純グラフの辺部分環に対して、独立集合上の対称多項式を用いて、均質なパラメータ系（h.s.o.p.）を一般に構成すること。
• 三角形グラフ $T_n$ の独立集合の構造と、その辺部分環における正則列の存在との間の関係を確立すること。

提案手法

• 三角形グラフ $T_n$ の独立集合の単体的複体のコhen-Macaulay性を確認するため、Reisnerの基準を適用する。
• 辺部分環 $R/I(G)$ のクルール次元が $G$ の独立数に等しいという事実を利用する。
• $T_n$ のサイズ $k$ の独立集合（$k=1,\dots,d$、$d$ は独立数）に対して、対称多項式を用いて明示的な正則列を計算する。
• 特性が0の体上での $T_7$ および $T_9$ のコhen-Macaulay性を、コンピュータ代数システムによる検証により確認する。
• 独立集合のサイズ $k$ における初等対称和の列が、任意のグラフに対して均質なパラメータ系をなすことを証明する。
• 根の等式 $\sqrt{\langle F_1,\dots,F_d \rangle} = \langle x_1,\dots,x_N \rangle$ に基づき、このh.s.o.p.が正則であるのは、グラフがコhen-Macaulayである場合に限ることを確立する。

実験結果

リサーチクエスチョン

• RQ1 どの $n$ の値について、三角形グラフ $T_n$ が任意の体上でコhen-Macaulayとなるか？
• RQ2 特性が0の体上でのみコhen-Macaulayとなるような特定の $n$ は存在するか？
• RQ3 グラフの独立集合から、均質なパラメータ系（h.s.o.p.）の一般構成を導くことは可能か？
• RQ4 独立集合上の対称多項式は、コhen-Macaulay性の決定にどのような役割を果たすか？
• RQ5 三角形グラフ $T_n$ の独立集合の構造は、その辺部分環における正則列の存在にどのように影響するか？

主な発見

• $T_2$、$T_3$、$T_5$ は任意の体上でコhen-Macaulayである。
• $T_4$、$T_6$、$T_8$、およびすべての $n \geq 10$ について、$T_n$ は任意の体上でコhen-Macaulayでない。
• 特性が0の体上では、$T_7$ と $T_9$ はコhen-Macaulayであることが、正則列の明示的計算により確認された。
• $T_n$ の独立数は $\lfloor n/2 \rfloor$ であり、これはその辺部分環のクルール次元を決定する。
• 任意の単純グラフの辺部分環に対して、サイズ $k$ の独立集合（$k=1$ から $d$ まで）における初等対称和として、均質なパラメータ系（h.s.o.p.）を構成できる。
• このh.s.o.p.が正則であるのは、グラフがコhen-Macaulayである場合に限り、その根は商環における最大イデアルを生成する。