[論文レビュー] On Harder-Narasimhan filtrations and their compatibility with tensor products

Christophe Cornut|arXiv (Cornell University)|Mar 23, 2017

Algebraic Geometry and Number Theory参考文献 17被引用数 11

ひとこと要約

本稿は、モジュラー格子および準Tannakian圏におけるハードラー＝ナラシムハン（HN）フィルトレーションの凸幾何的枠組みを確立し、CAT(0)距離幾何とブースマンスカラー積に基づく数値的基準を用いて、HNフィルトレーションがテンソル積と両立することを証明する。主な貢献は、HNフィルトレーションがテンソルカテゴリにおいて⊗-関手であることを保証する一般的基準を提示することであり、この基準は、フィルトレートされたベクトル空間、ノルム付きベクトル空間、およびノルム付きϕ-モジュールの3つの場合に検証されている。

ABSTRACT

We attach buildings to modular lattices and use them to develop a metric approach to Harder-Narasimhan filtrations. Switching back to a categorical framework, we establish an abstract numerical criterion for the compatibility of these filtrations with tensor products. We finally verify our criterion in three cases, one of which is new.

研究の動機と目的

• モジュラー格子と距離幾何を用いて、ハードラー＝ナラシムハンフィルトレーションの圏論的かつ幾何的基盤を提供すること。
• 準Tannakian圏におけるHNフィルトレーションがテンソル積と両立するための数値的基準を確立すること。
• 3つの主要な例（フィルトレートされたベクトル空間、ノルム付きベクトル空間、ノルム付きϕ-モジュール）においてこの基準を検証すること。
• これらの状況においてHNフィルトレーション関手が⊗-関手であることを示し、既知の結果を拡張し、一時的な証明を統一すること。
• 例におけるスロープゼロの半安定対象の部分圏のTannaka双対を探索すること。

提案手法

• 有限長のモジュラー格子 X における R-フィルトレーションの空間 F(X) を、ランク関数から導かれる距離 d を備えて導入する。
• F(X) がランク関数に依存しない位相および測地線を持つ完備な CAT(0) 距離空間であることを示す。
• 次数関数を介して F(X) に凹関数を導入し、その唯一の最小値が HN フィルトレーションを与えることを示す。
• この格子論的形式的枠組みを圏へ応用し、格子枠組みから圏論的 HN 形式的枠組みを導出する。
• CAT(0) 空間におけるブースマンスカラー積を用いて、HN フィルトレーションが ⊗-積と両立するための数値的基準を開発する。
• 代数的に閉じた体へのベースチェンジおよびゲージノルムとガロア作用の性質を用いて、3つの場合に基準を検証する。

実験結果

リサーチクエスチョン

• RQ1 HN フィルトレーションは、モジュラー格子上の凸幾何学的性質によって内因的に特徴付けられるか？
• RQ2 テンソル圏における HN フィルトレーションが ⊗-関手であるのはどのような条件下か？
• RQ3 ノルム付き ϕ-モジュールの圏における HN フィルトレーションはテンソル積と両立するか？
• RQ4 ノルム付き ϕ-モジュールの圏におけるスロープゼロの半安定対象の部分圏の Tannaka 双対は何か？
• RQ5 距離幾何を用いて、異なる圏において HN フィルトレーションとテンソル積の両立性を一様に確立できるか？

主な発見

• 有限長のモジュラー格子 X における R-フィルトレーションの空間は、ランク関数を備えた完備な CAT(0) 距離空間であり、ランク関数の選択に依存しない。
• HN フィルトレーションは、次数関数から生じる凹関数の F(X) 上での唯一の最小値として特徴付けられる。
• フィルトレートされたベクトル空間の圏における HN フィルトレーションはテンソル積と両立し、新規の手法により既知の結果を再得する。
• 局所体上のノルム付きベクトル空間の圏における HN フィルトレーションは ⊗-関手である。これは shtuka の同種類圏への応用が可能な新規の結果である。
• ノルム付き ϕ-モジュールの圏における HN フィルトレーションは ⊗-関手であり、[17] の結果を一般化し、テンソル積との両立性を確立する。
• 任意の有限体上の再帰的群 G に対して、Rep(G) から Normϕ_K への任意の忠実かつ完全な ⊗-関手は、良い関手である。つまり、その HN フィルトレーションはテンソル積と両立する。