| 研究課題/領域番号 |
22K03334
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分12010:基礎解析学関連
|
|---|
| 研究機関 | 新潟大学 |
|---|
研究代表者 |
田島 慎一 新潟大学, 自然科学系, フェロー (70155076)
|
|---|
| 研究分担者 |
小原 功任 金沢大学, 数物科学系, 教授 (00313635)
鍋島 克輔 東京理科大学, 理学部第一部応用数学科, 准教授 (00572629)
渋田 敬史 九州産業大学, 理工学部, 准教授 (40648200)
梅田 陽子 北海道大学, 理学研究院, 准教授 (90606386)
|
|---|
| 研究期間 (年度) |
2022-04-01 – 2027-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2026年度: 520千円 (直接経費: 400千円、間接経費: 120千円)
2025年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2024年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2023年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2022年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
|
|---|
| キーワード | 特異点 / 代数解析 / 複素解析 / ホロノミーD-加群 / local cohomology / ネター作用素 / 非孤立特異点 / 変形族 / アルゴリズム / 局所コホモロジー / 特異点変形 |
|---|
| 研究開始時の研究の概要 |
特異点は現代数学の最も重要な研究対象のひとつであると考えられている。本研究では, 複素解析と代数解析の理論と計算機代数の手法を組み合わせることで, 特異点の複素解析的諸性質を研究するための新たな枠組みを創る. 変形パラメータを含むような特異点族を解析するためのアルゴリズム等を研究・開発し, さらにそれらを用いて, 特異点の複素解析学を展開する。特異点のなす集合が孤立していないような非孤立特異点を持つ超曲面やvarietyに対し, ホロノミーD-加群と呼ばれるある種の線形偏微分方程式系が定義される。本研究では, これらホロノミーD-加群の構造と特異点の諸性質の関係を研究する。
|
| 研究実績の概要 |
代数解析の理論に基づくことで, 特異点の複素解析的諸性質を研究している。特異点論では様々な不変量が重要な役割を果たすが、複素解析的な不変量を求める事は一般には困難であることが多い。そのため、特異点の解析を展開するためには複素解析的不変量を実際に求めるための計算法を確立することが必要とされている。そこで本研究では、多項式環や収束冪級数環におけるイデアルを考察し重要な解析的不変量の計算アルゴリズムの研究・開発を行っている。
孤立していないような特異点を持つ超曲面の解析においては、ホロノミーD-加群と呼ばれる偏微分方程式系を用いることが非常に有効である。先行研究により、s-parametric annihilatorと呼ばれるイデアルに対しcomprehensiveグレブナ系の理論等を適応することで、特異点のb-関数の根に付随するホロノミーD-加群を定めるイデアルのグレブナ基底を求めることが出来る。しかしこのようにして得られるグレブナ基底は非可換な偏微分作用素環のイデアルにたいするグレブナ基底であり、沢山の非常に複雑な偏微分作用素からなるため、これらを用いて偏微分方程式系としての構造を調べることは極めて困難である。本研究では、準素イデアルが定めるlocal cohomologyを複素解析の対象として扱うことで, ホロノミーD-加群の構造を解析する新たな研究手法を提唱している
D. Siersma, T. de Jongらが複素１次元の直線を特異点集合として持つ超曲面に関し、微分位相幾何的な方法を用いた先駆的な研究を行っている。本研究では、ホロノミーD-加群の解析を行うことでこれら典型的な特異点にたいし, vertical monodromyやvanishing cycleの研究を行っている。
特異点変形族に関し、付随するホロノミーD-加群のパラメータ依存性の研究を進めている。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
(1)特異点論では、特異点集合に対し横断的な超平面による切断を用いることで定義されるいわゆるBertini型の不変量が多く知られている。イデアルが変形パラメータを含む場合、このようなBeritini型不変量を求めることは困難であると見做されていた。本研究によりBertini型不変量のパラメータ依存性を求める計算法の枠組みを得た。これにより、local Euler obstructionやChern-Schwartz-MacPherson classのパラメータ依存性を求める計算アルゴリズムを構成することができた。
(2)孤立していないような特異点を持つ超曲面の特異点解析では、準素イデアルが定めるlocal cohomologyをWhiteney stratificationのstratumに台をもつ対象として複素解析的に理解することが重要である。2023年度の研究により、イデアルに対する極大独立集合の概念を用いることで、local cohomologyに対しネター作用素の概念を導入することにより、local cohomologyを複素解析の対象として取り扱うことが可能となる事を明らかにした。イデアルの準素イデアル分解が与えられていなくても、準素イデアルが孤立成分である場合はそのassociated primeが与えらていればイデアルの生成元と孤立素イデアルの情報から準素いであるのネター作用をを求めることが出来ることを証明した。準素イデアルが埋没因子である場合は、ネター作用素を直接求めることは出来ないが、準素イデアル分解の古典的な計算法のアイデアを適用することで、対応するネター作用素を求めるアルゴリズムを設計できる。これらの計算アルゴリズムをプログラム化し数式処理システムに
実装した。これにより、非孤立特異点を持つ超曲面に付随するホロノミーD-加群の代数解析の展開が可能となった。
|
| 今後の研究の推進方策 |
研究代表者と研究分担者が密に研究連絡、研究討議を行いながら共同して本研究を行う。研究に必要なアルゴリズムの考案、試作、プログラムの改良を共同で行い、計算アルゴリズムの開発を行う。これらのアルゴリズムを用いて様々な計算実験を行い、当該分野の専門家との研究討議を踏まえ、本研究を遂行する。
(1)ネター作用素の概念に基づくことで、一般次元の準素イデアルに付随するlocal cohomologuの研究をすすめる。準素イデアルが孤立成分である場合はその極大独立集合を用いた零次元化を施すことでlocal cohomologyに対するネター作用素を求めることができる。準素イデアルが埋没因子である場合に注目し、そのassociated primeの情報からネター作用素を求める計算法を研究する。これらネター作用素を積極的に用いることで孤立していない特異点に付随するホロノミーD-加群の構造を求める計算法の研究を進める。
(2)典型的な非孤立特異点を持つ超曲面に対し(1)で得た計算法を適用し、どのようなホロノミーD-加群がそれらに付随しているか実際に求める。ホロノミーD-加群の特性多様体が定めるWhitney stratificationやmonodromy構造、D. Masseyが導入したLe cycleとの関係を明らかにし特異点の複素解析を展開する。
(2)開発したプログラムを用いて非孤立特異点族に付随するホロノミーD-加群の研究を行い, 特異点変形族に対するWhitney equisingularityの研究をすすめる。
(3)ホロノミーD-加群を用いることで, 写像の特異点の研究を行う。特に, D. Mondらの研究結果や写像に対するpolar varietyやvanicing cycleに関する T. Gaffneyらの研究成果等との関連を調べる。
|
