[論文レビュー] Harder-Narasimhan categories

Huayi Chen|arXiv (Cornell University)|Jun 18, 2007

Algebraic structures and combinatorial models参考文献 11被引用数 4

ひとこと要約

本稿では、Quillenの完全カテゴリーの一般化として算術的完全カテゴリーを導入し、実数（R）を添字とするハラーラー＝ナラシンハン分解の構成を可能にする。これらの分解の関手的性質を確立し、ヒルベルト的ベクトルバンドル、フィルトレートド(ϕ,N)-加群、極化された多様体上のねじれ自由な層のカテゴリーが、適切な次数関数およびランク関数のもとでハラーラー＝ナラシンハンカテゴリーであることを示す。

ABSTRACT

We propose a generalization of Quillen's exact category -- arithmetic exact category and we discuss conditions on such categories under which one can establish the notion of Harder-Narasimhan filtrations and Harder-Narsimhan polygons. Furthermore, we show the functoriality of Harder-Narasimhan filtrations (indexed by $\mathbb R$), which can not be stated in the classical setting of Harder and Narasimhan's formalism.

研究の動機と目的

• 算術的および幾何的文脈における半安定性の研究を可能にするために、Quillenの完全カテゴリーを算術的完全カテゴリーへ一般化すること。
• 実数Rを添字とするハラーラー＝ナラシンハン分解を定義し、存在を確立することにより、古典的フラグの非関手的性質を克服すること。
• このような分解が関手的であることを証明すること。これは古典的形式主義では得られない性質である。
• ヒルベルト的ベクトルバンドル、フィルトレートド(ϕ,N)-加群、ねじれ自由な層といった主な算術的および幾何的カテゴリーが、ハラーラー＝ナラシンハンカテゴリーの公理を満たすことを検証すること。
• 次数関数およびランク関数を用いて、ハラーラー＝ナラシンハン多角形および関連する確率測度を研究するための圏論的枠組みを提供すること。

提案手法

• 全順序集合Iを添字とする左連続なフィルトレーションに注目し、カテゴリーにおけるI-フィルトレーションの概念を導入する。
• 次数関数およびランク関数といった算術的構造を組み込んだ完全カテゴリーの一般化として算術的完全カテゴリーを定義する。
• 有限個の次数および勾配の集合を用いて、カテゴリーが半安定対象およびハラーラー＝ナラシンハン分解をもつための条件を確立する。
• 逐次的な最小勾配を用いてRを添字とするフィルトレーションを構成し、射の間で関手的であることを保証する。
• 3つの主要なカテゴリーにこの形式主義を適用する：(1) Spec(OK) 上のヒルベルト的ベクトルバンドル、(2) フィルトレートド(ϕ,N)-加群、(3) 体上の極化された射影的多様体上のねじれ自由な層。
• 正規化されたアラケロフ次数およびランク関数がK0上における群準同型に拡張されることを示し、ハラーラー＝ナラシンハンカテゴリーの定義を可能にする。

実験結果

リサーチクエスチョン

• RQ1 古典的なハラーラー＝ナラシンハンフラグ構成を、実数Rを添字とする関手的フィルトレーションへ一般化することは可能か？
• RQ2 算術的文脈においてハラーラー＝ナラシンハン分解の存在を保証する圏論的条件は何か？
• RQ3 古典的フラグが関手的でない状況において、ハラーラー＝ナラシンハン分解の関手的性質をどのように確立できるか？
• RQ4 ヒルベルト的ベクトルバンドルやフィルトレートド(ϕ,N)-加群といった古典的算術的および幾何的カテゴリーのうち、どのカテゴリーがハラーラー＝ナラシンハンカテゴリーの公理を満たすか？
• RQ5 正規化されたアラケロフ次数およびランク関数は、ハラーラー＝ナラシンハン分解および関連多角形の定義において果たす役割は何か？

主な発見

• 本稿では、Rを添字とし関手的であるハラーラー＝ナラシンハン分解を構成し、古典的フラグの主要な制限を解消した。
• 正規化されたアラケロフ次数およびランク関数を備えたSpec(OK) 上のヒルベルト的ベクトルバンドルのカテゴリーは、ハラーラー＝ナラシンハンカテゴリーをなす。
• 次数関数およびランク関数を備えたフィルトレートド(ϕ,N)-加群のカテゴリーもハラーラー＝ナラシンハンカテゴリーをなす。この場合、勾配0の半安定対象は可容加群に一致する。
• 体上の極化された射影的多様体上のねじれ自由な連接層のカテゴリーは、通常の次数関数およびランク関数のもとでハラーラー＝ナラシンハンカテゴリーをなす。
• 短い完全列において、正規化されたアラケロフ次数は d̃deg(E) = d̃deg(E′) + d̃deg(E′′) を満たし、K0群への準同型と整合的であることが保証される。
• この構成により、ディラック質量の線形結合として得られるR上のボレル確率測度が得られ、今後の研究においてハラーラー＝ナラシンハン多角形を研究する上で中心的な役割を果たす。