| 研究課題/領域番号 |
20H01790
|
|---|
| 配分区分 | 補助金 |
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
阿部 知行 東京大学, カブリ数物連携宇宙研究機構, 教授 (70609289)
|
|---|
| 研究期間 (年度) |
2020-04-01 – 2025-03-31
|
| キーワード | 分岐理論 / エタールコホモロジー / 数論的D加群 |
|---|
| 研究実績の概要 |
本年度は前年度で出した研究成果を論文にする一年であった．まずは「localization system」と「reversible coefficient」という二つの情報を定義する．localization systemというのは大雑把にはFという層とその部分層F_0の組で都合の良い条件を満たすものであり，reversible coefficientというのはHという無限層であり，無限圏的な情報を持つものである．これらの抽象的な情報とさらにF_0からHへの射が与えられたとする．この時主結果は自然にFからHへの射に延長できることを主張する．この延長定理は純粋に無限圏論的な主張であり，最終的にはホモトピー論，または組み合わせ論的な議論を用いて示される．
より深い部分はlocalization systemとreversible coefficientの具体的な構成である．Xという正標数の多様体が与えられたときエタール層の理論からlocalization systemが自然に構成される．このためにこれまでにすでに論文にしたKedlayaの準安定還元定理の類似の議論など深い議論を必要としている．一方でreversible coefficientはモチビック・コホモロジーの理論から出てくるものであり，こちらもこれまでに構成した跡射の理論などを必要とし全く自明ではない．localization systemの定義はそこまで複雑ではないものの，最終的な定義に落ち着くまでに多くの失敗が必要で苦労した部分である．無限圏的な抽象論が適用できるように定義をすることは難しいことではないが，実際にそれが我々の必要とする状況下で使えるように調整するのがとても大変であった．結果として特性サイクルの押し出し公式をp-torsionを除いて示すことができた．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
1: 当初の計画以上に進展している
理由
今年度は前年までに出た研究成果を組み合わせることで，最終的にGrothendick-Ogg-Shafarevich公式の一般化である押し出し公式を標数のtorsionを除いた部分で解決することに成功した．これはここ数年の一つの研究目標であった．ここまできれいな結果が出ることは期待しておらず，計画以上に進展していると評価できる．
|
| 今後の研究の推進方策 |
大きな目標が一つ達成されたので，今後はこれまでの手法を使った応用やその深化を目標としていく．例えば，非特異な多様体に対して特性サイクルの理論が展開されたわけだが，特異点がある多様体に対しても特性サイクルの理論が期待されている．これに対しては導来代数幾何学が大きな役割を果たすと考えている．特性サイクルは多様体に対して局所的な理論である．一方で任意の多様体は局所的には非特異な導来代数多様体と思うことができる．そのため非特異な導来代数多様体に対して同じような特性サイクルの理論が展開できれば，その底になっているべき特異多様体に対する特性サイクルの理論が展開できるわけである．
また，局所イプシロン因子の理論も考えていきたいと思っている．特性サイクルは「K_0」的な研究対象であり，その上部にある「K_1」的な研究対象がイプシロン因子である．一方で局所イプシロン因子はA1安定的でないことがすぐにわかり，従来の理論で捉えるのは難しいと思われる．モジュラス付きのモチーフの理論なども近年発展してきており，それらの理論の応用も念頭に置いて研究していこうと思っている．
|
