Creating a new theory of computer algebra with duality spaces
| Project/Area Number |
23K03076
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 11010:Algebra-related
|
|---|
| Research Institution | Tokyo University of Science |
|---|
Principal Investigator |
鍋島 克輔 東京理科大学, 理学部第一部応用数学科, 准教授 (00572629)
|
|---|
| Project Period (FY) |
2023-04-01 – 2027-03-31
|
| Project Status |
Granted (Fiscal Year 2023)
|
| Budget Amount *help |
¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000)
Fiscal Year 2026: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2025: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2024: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2023: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
|
|---|
| Keywords | ネター作用素 / 代数的局所コホモロジー / グレブナー基底 / 包括的グレブナー基底 / 局所コホモロジー / 双対空間 / 計算機代数 / 特異点変形 |
|---|
| Outline of Research at the Start |
『双対空間の情報』と『素イデアル』を積極的に多項式イデアルに用い，計算機代数学の新たな理論構成をする．計算機代数学で主に用いられるイデアルの標準形または表現は，グレブナー基底という特別な生成元である場合が多い．しかしながら，グレブナー基底のみで全てを表現しようとすると，計算量と出力膨大という弊害がある．この問題を解消する一つの方法が，本研究で提案する『双対空間の情報』と『素イデアル』を用いた新たなイデアルの表現である．これによりグレブナー基底依存から開放されると共に，計算効率も改善されることが期待される．本研究では新たなイデアルの表現を導入することより，新たな枠組みの計算機代数学を創造する．
|
| Outline of Annual Research Achievements |
初年度には予定してた正次元イデアルに付随するネター作用素の計算法の確立に成功した。計算機代数学のゼロ次元化の手法を用いることにより、正次元イデアルをゼロ次元イデアルとみなし、ゼロ次元イデアルのために構成した計算法がそのまま利用可能であることを証明した。また、確立した計算法は計算機代数システムに実装した。双対空間ので計算に必須の道具であるネター作用素の構成に成功した。この研究結果は論文にまとめられすでに公開されている。
双対空間の計算に必要となる別の道具として代数的局所コホモロジーがある。原点に台を持つ代数的局所コホモロジーの計算法は研究代表者により開発されている。この方法を拡張すべく座標変換を用いて代数的局所コホモロジーを計算する方法を提案すると共に、その応用として代数的局所コホモロジーを用いたイデアルの準素分解の手法も新たに考えられた。この研究結果はポーランドのワルシャワで開催された国際会議で発表された。
ネター作用素は特異点解析に役立ち、孤立してない特異点に付随するホロノミックD加群のためのネター作用素がどのように特異点解析に役に立つのかの研究も行った。これにより、ネター作用素からの情報が特異点の性質解明に大きな効果を発揮することがいくつかの具体例により示された。
計算機代数学において必須の道具である『グレブナー基底の計算』は本研究でも頻繁に行われる。また、特異点変形の研究も念頭に置いているのでパラメータ付きグレブナー基底（包括的グレブナー基底系）の計算も本研究では頻繁に必要になる。そこで、高速にパラメータ付きグレブナー基底を計算する手法についても考察され、新たなパラメータ付きグレブナー基底計算が確立された。これはKapur-Sun-Wangのアルゴリズムと鍋島アルゴリズム、また、ゼロ次元特化型の包括的グレブナー基底系のアルゴリズムを融合したことにより構成されている。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
当初の予定通り研究が進んでいる。本研究の基盤となるのは、ネター作用素と代数的局所コホモロジーの計算である。これらの計算法はゼロ次元イデアルの場合のみしか知られておらず、まずは一般のイデアルにまで拡張することが初年度の目標であった。目標を達成しており、予想した通りの拡張が数学的に保障されると共に、その計算法は計算機に実装された。初年度から研究結果が生まれており、国際会議での研究発表と論文の掲載がされている。
包括的グレブナー基底系を計算する新たな計算法も本研究で確立され、今後の研究に大いに役立つと思われる。
|
| Strategy for Future Research Activity |
初年度に得られた結果を用いて、新たな計算機代数のイデアルを操作するアルゴリズムの考察を行う。計算機代数学の大きな利点の一つがグレブナー基底計算に代表される『イデアルの操作ができる』ことである。イデアルの和・商・共通部分・所属問題は基本的な操作でありグレブナー基底理論に基づき、現在、計算可能である。これらの操作を双対空間の情報を利用すると共に新たなデータ構造の下で別のアプローチをする。具体的には、グレブナー基底からの依存を軽くした別の計算法の可能性として『ネター作用素』と『素イデアル』のペアを用いたイデアルの計算について新たな枠組みを作る。
|
Report
(1 results)
Research Products
(12 results)
