| 研究課題/領域番号 |
20J00088
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 国内 |
|---|
| 審査区分 |
小区分11010:代数学関連
|
|---|
| 研究機関 | 大阪大学 |
|---|
研究代表者 |
淺井 聡太 大阪大学, 情報科学研究科, 特別研究員(PD)
|
|---|
| 研究期間 (年度) |
2020-04-24 – 2023-03-31
|
| 研究課題ステータス |
完了 (2022年度)
|
| 配分額 *注記 |
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2022年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2021年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2020年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
|
|---|
| キーワード | 多元環 / Grothendieck群 / 標準分解 / 2項準傾複体 / 非rigid領域 / 数値的ねじれ対 / TF同値 |
|---|
| 研究開始時の研究の概要 |
体上の有限次元多元環の実Grothendieck群はEuclid空間とみなすことができ、Kingの安定性条件により部屋構造が入る。この部屋構造の部屋はKoenig-Yang対応に現れる完全導来圏の2項準傾複体と一対一に対応するなど、実Grothendieck群の部屋構造から多元環の圏論的性質を多く読み取れると期待される。本研究では、特殊双列多元環や円分箙Hecke多元環など、いくつかのクラスの多元環について、組合せ論的情報から部屋構造を決定するアルゴリズムの構築を目指す。また、Koenig-Yang対応など、既存の研究結果を無限次元多元環の場合に拡張することにも取り組む。
|
| 研究実績の概要 |
今年度も、引き続き、有限次元多元環の有限生成射影加群圏のGrothendieck群について、考察を行った。最も大きな結果として、Derksen-Feiによる先行研究で提示された、Grothendieck群の元の標準分解に関する問いを、否定的に解決したことが挙げられる。
その問いは、「Grothendieck群の元θが直既約であり自分自身と直和できないとき、θの正の整数倍も必ず同様の性質を満たすか」というものである。上記の性質は、遺伝的多元環などでは成立することが知られているが、一般の多元環では未解決の状況が続いていた。この重要な問いについて、私は反例を発見した。具体的には、Feiの先行研究をもとに、3-Kronecker箙多元環の特定の加群による自明拡大として得られる多元環を考え、ある直既約な元θが自分自身と直和できないにもかかわらず、2θがθと平行でない2つの元に直和分解されることを証明した。これは伊山修氏との共同研究の結果の一つとして、プレプリントを近日更新する予定である。
また、Brustle-Smith-Treffingerによる実数係数Grothendieck群の部屋構造についても、研究を進めた。各2項前準傾複体Uについて、その直既約因子が定める錐の近傍N_Uを、私は以前の研究で具体的に定義した。この近傍は有理多面錐であり、今年度私は、2項前準傾複体と半煉瓦の関係を用いることで、面構造を詳しく調べることができた。具体的には、N_Uの余次元1の各面から、Uの直既約因子への自然な写像を構成した。こちらは上記の伊山修氏との共同研究から派生・分離した研究であるが、大半は私の成果である。
今年度公開できた成果は、既存の研究結果の改訂が中心になってしまったことは、反省点であるが、いずれも重要な結果であり、今後の研究に役立てていきたい。
|
| 現在までの達成度 (段落) |
令和4年度が最終年度であるため、記入しない。
|
| 今後の研究の推進方策 |
令和4年度が最終年度であるため、記入しない。
|
