| Project/Area Number |
22KJ0895
|
|---|
| Project/Area Number (Other) |
22J13150 (2022)
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Multi-year Fund (2023)
Single-year Grants (2022) |
|---|
| Section | 国内 |
|---|
| Review Section |
Basic Section 11010:Algebra-related
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
山口 樹 東京大学, 数理科学研究科, 特別研究員(DC2)
|
|---|
| Project Period (FY) |
2023-03-08 – 2024-03-31
|
| Project Status |
Completed (Fiscal Year 2023)
|
| Budget Amount *help |
¥1,700,000 (Direct Cost: ¥1,700,000)
Fiscal Year 2023: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2022: ¥900,000 (Direct Cost: ¥900,000)
|
|---|
| Keywords | 随伴イデアル / 純対数端末特異点 / F純特異点 / 超積 / BCM随伴イデアル / 川又対数的端末特異点 / big Cohen-Macaulay 代数 / 乗数イデアル / F-特異点論 / 正標数 |
|---|
| Outline of Research at the Start |
代数幾何学は代数方程式の零点として表される図形を研究する学問である。複素数体上の多様体が持つ特異点とフロベニウス写像を用いて定義される正標数の特異点の間には強い関連がある。MaとSchwedeはbig Cohen-Macaulay(BCM)代数と呼ばれる特殊な代数を用いて混標数を含めて標数によらず定義可能な特異点のクラスを導入した。しかし、等標数0においてはBCM特異点と既存の特異点の関係が明らかではなかった。申請者はSchoutensによる超準解析的な手法を用いて等標数0のBCM代数と特異点の関係を調べた。この研究をさらに広いクラスの特異点まで拡張することを目指している。
|
| Outline of Annual Research Achievements |
双有理幾何学は代数多様体を双有理同値に基づいて分類する分野である. 双有理幾何学における重要な特異点のクラスとして川又対数的端末特異点や対数的標準特異点などがある. 正標数では特異点解消の存在が証明されていないなどの理由で標数0と同じ手法を用いることが出来ない. そこで, フロベニウス写像を用いて特徴付けられるF特異点論が有用な理論であることが分かっている. F特異点論では, F正則特異点やF純特異点などが重要なクラスである. 標数0の問題を正標数に帰着する手法としては正標数還元が一般的である. しかし, 環の射の純性などは正標数還元によって保たれない. そこで別の手法として超準解析に着目した. Schoutens は超準的な手法を可換環論に応用し, 代数多様体の特異点を研究した. 以前の研究において私は彼の手法を拡張し, 乗数イデアルの超準的な記述を与え, 等標数0におけるある種の巨大Cohen-Macaulay代数を用いて定義したBCM判定イデアルが乗数イデアルと一致することを示した. 令和5年度の研究では上の結果を随伴イデアルの場合および稠密F純型特異点の場合に拡張した. 証明において、反標準環が有限生成な場合には正標数におけるBCM随伴イデアルが因子的判定イデアルと一致することを用いている. この応用として, 正規多様体X, 素因子DとDを成分に持たない有効Q因子Δからなるペア(X,D+Δ)のDに沿った純対数的端末特異性が純な射の下で降下すること及びQ-Gorenstein局所環の稠密F純性が純な射の下で降下することを示した. Δ=0の場合はZhuangにより既に示されており、本研究ではそれを一般化することが出来た.
|
