研究課題/領域番号 |
18H01134
|
研究種目 |
基盤研究(B)
|
配分区分 | 補助金 |
応募区分 | 一般 |
審査区分 |
小区分12030:数学基礎関連
|
研究機関 | 関西学院大学 |
研究代表者 |
大杉 英史 関西学院大学, 理学部, 教授 (80350289)
|
研究分担者 |
東谷 章弘 大阪大学, 大学院情報科学研究科, 准教授 (60723385)
|
研究期間 (年度) |
2018-04-01 – 2023-03-31
|
研究課題ステータス |
完了 (2022年度)
|
配分額 *注記 |
16,120千円 (直接経費: 12,400千円、間接経費: 3,720千円)
2022年度: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2021年度: 2,080千円 (直接経費: 1,600千円、間接経費: 480千円)
2020年度: 2,080千円 (直接経費: 1,600千円、間接経費: 480千円)
2019年度: 3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2018年度: 4,030千円 (直接経費: 3,100千円、間接経費: 930千円)
|
キーワード | グレブナー基底 / 凸多面体 / トーリックイデアル / エルハート多項式 |
研究成果の概要 |
当該研究課題では,離散幾何的手法と,トーリックイデアルのグレブナー基底の理論を融合させるという斬新な計画を遂行し,整凸多面体にまつわる未解決問題に挑むと同時に新手法の開発を推進することを目的とした。研究成果として特に,単位単体のミンコフスキ和が正規性を持つことを証明し,著名な予想である小田予想がnestohedronと呼ばれるクラスについて正しいことを証明した。また,整凸多面体のδ多項式のγ-非負性について研究し,グレブナー基底の理論などを活用することによって,いくつかの重要な整凸多面体について,γ-非負性を証明した。
|
研究成果の学術的意義や社会的意義 |
Nestohedronと呼ばれる,整凸多面体の重要かつ広いクラスについて,小田忠雄氏による著名な未解決予想「非特異多面体は正規」を,グレブナー基底の理論を用いて鮮やかに証明することができた。小田予想の肯定的な解決に向けて,今回の手法を拡張したさらなる新手法の開発が期待される。また,整凸多面体のδ多項式のγ-非負性の研究については超グラフの内部多項式などとの思わぬ結び付きを見出しており,関連する分野の研究者から大きな反響があった。これらの研究成果は,離散幾何的手法と,トーリックイデアルのグレブナー基底などの代数的理論を融合した手法のさらなる発展に寄与するものである。
|