2018 Fiscal Year Annual Research Report
The birth of modern trends on commutative algebra and convex polytopes with statistical and computational strategies
| Project/Area Number |
26220701
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
日比 孝之 大阪大学, 情報科学研究科, 教授 (80181113)
|
|---|
| Project Period (FY) |
2014-05-30 – 2019-03-31
|
| Keywords | 可換代数 / 凸多面体 / グレブナー基底 / 単項式イデアル / 実験計画 / 分割表 / 二項式イデアル / Ａ超幾何系 |
|---|
| Outline of Annual Research Achievements |
体K上のn変数多項式環Sの斉次イデアルIの剰余環S/Iの極小自由分解の長さはsyzygy定理からnを越えない。極小自由分解の長さpがS/Iの射影次元である。すると、S/Iのdepthはdepth(S/I) = n - pとなる（Auslander--Buchsbaum）。極小自由分解はイデアルの諸性質のほとんどの情報を含む。すると、syzygy理論のターゲットは、極小自由分解の構成に尽きる。極小自由分解に現れる次数Betti数をβ_{i,i+j}とするとき、剰余環S/Iのregularityをreg(S/I)=max{j :β_{i,i+j} ≠0}と定義する。剰余環S/Iのヒルベルト級数を分母が(1-λ)^{d}のλの有理函数と表示するとき、その分子に現れる多項式h_{S/I}(λ)をS/Iのh多項式と呼ぶ。但し、dはS/Iの次元dim(S/I)である。剰余環S/IがCohen--Macaulay環であれば、deg(h_{S/I}(λ))はreg(S/I)と一致する。研究代表者らは、正の整数sとrが与えられたとき、nを十分大きく選ぶと、deg(h_{S/I}(λ)) = s,reg(S/I) = rとなる単項式イデアルIが存在することを証明し、更に、そのような単項式イデアルがlexsegmentイデアルから選べることを示した。その後、有限単純グラフGのedgeイデアルI(G)から選べることも示した。一般に、不等式deg(h_{S/I}(λ)) - reg(S/I)≦dim(S/I) - depth(S/I)が成立するが、等号が成立するためには、S/Iの端のBetti数が唯一つとなることである。研究代表者らは、整数1≦b≦rが与えられたとき、端のBetti数がb個、reg(S/I(G)) = rとなるedgeイデアルI(G)を構成することに成功した。
|
| Research Progress Status |
平成30年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
平成30年度が最終年度であるため、記入しない。
|
