| 研究課題/領域番号 |
23K20202
|
|---|
| 補助金の研究課題番号 |
20H01790 (2020-2023)
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 基金 (2024)
補助金 (2020-2023) |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分11010:代数学関連
|
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
阿部 知行 東京大学, カブリ数物連携宇宙研究機構, 教授 (70609289)
|
|---|
| 研究期間 (年度) |
2020-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2024年度)
|
| 配分額 *注記 |
12,740千円 (直接経費: 9,800千円、間接経費: 2,940千円)
2024年度: 2,210千円 (直接経費: 1,700千円、間接経費: 510千円)
2023年度: 2,730千円 (直接経費: 2,100千円、間接経費: 630千円)
2022年度: 2,210千円 (直接経費: 1,700千円、間接経費: 510千円)
2021年度: 2,860千円 (直接経費: 2,200千円、間接経費: 660千円)
2020年度: 2,730千円 (直接経費: 2,100千円、間接経費: 630千円)
|
|---|
| キーワード | 分岐理論 / D加群 / 正標数 / エタールコホモロジー / 消滅隣体 / 特性サイクル / 数論的D加群 / 無限圏 / モチビックコホモロジー / エタール・コホモロジー / p進コホモロジー |
|---|
| 研究開始時の研究の概要 |
本研究はp進コホモロジー論の技術を数論幾何学に応用することを目的としている．これまでにp進コホモロジー論の基本定理であるアイソクリスタルの準安定還元定理で用いられる手法を応用してl進コホモロジーの分岐理論と呼ばれる正標数特有の現象の理解に近づくことができた．これはl進コホモロジーの超局所解析の理論を構築するという夢の一部として現れるべき現象である．超局所解析の理論はイプシロン因子の計算を可能にするべきであり，遠い将来的には高次元多様体の“ラングランズ対応”にも応用が期待できると思っており，極めて挑戦的な課題である．
|
| 研究実績の概要 |
本年度は前年度で出した研究成果を論文にする一年であった．まずは「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安定的でないことがすぐにわかり，従来の理論で捉えるのは難しいと思われる．モジュラス付きのモチーフの理論なども近年発展してきており，それらの理論の応用も念頭に置いて研究していこうと思っている．
|
