2022 Fiscal Year Annual Research Report

p進コホモロジーとその新展開

Research Project

Project/Area Number	20H01790
Allocation Type	Single-year Grants
Research Institution	The University of Tokyo
Principal Investigator	阿部知行東京大学, カブリ数物連携宇宙研究機構, 教授 (70609289)
Project Period (FY)	2020-04-01 – 2025-03-31
Keywords	分岐理論 / エタールコホモロジー / 数論的D加群
Outline of Annual Research Achievements	本年度は前年度で出した研究成果を論文にする一年であった．まずは「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を除いて示すことができた．
Current Status of Research Progress	Current Status of Research Progress 1: Research has progressed more than it was originally planned. Reason 今年度は前年までに出た研究成果を組み合わせることで，最終的にGrothendick-Ogg-Shafarevich公式の一般化である押し出し公式を標数のtorsionを除いた部分で解決することに成功した．これはここ数年の一つの研究目標であった．ここまできれいな結果が出ることは期待しておらず，計画以上に進展していると評価できる．
Strategy for Future Research Activity	大きな目標が一つ達成されたので，今後はこれまでの手法を使った応用やその深化を目標としていく．例えば，非特異な多様体に対して特性サイクルの理論が展開されたわけだが，特異点がある多様体に対しても特性サイクルの理論が期待されている．これに対しては導来代数幾何学が大きな役割を果たすと考えている．特性サイクルは多様体に対して局所的な理論である．一方で任意の多様体は局所的には非特異な導来代数多様体と思うことができる．そのため非特異な導来代数多様体に対して同じような特性サイクルの理論が展開できれば，その底になっているべき特異多様体に対する特性サイクルの理論が展開できるわけである．また，局所イプシロン因子の理論も考えていきたいと思っている．特性サイクルは「K_0」的な研究対象であり，その上部にある「K_1」的な研究対象がイプシロン因子である．一方で局所イプシロン因子はA1安定的でないことがすぐにわかり，従来の理論で捉えるのは難しいと思われる．モジュラス付きのモチーフの理論なども近年発展してきており，それらの理論の応用も念頭に置いて研究していこうと思っている．