[論文レビュー] The Combinatorial Norm of a Morphism of Schemes

Feng-Wen An|ArXiv.org|Jan 17, 2008

Topological and Geometric Data Analysis参考文献 17被引用数 3

ひとこと要約

本稿では、スキームの圏からグラフの圏への共変関手を導入し、スキームの準同型に組合せ的不変量（例えば、組合せ的ノルム）を割り当てる。主な貢献は、グラフ論的長さおよび特化構造を用いて準同型の挙動を定量化する組合せ的ノルムの定義であり、ノルム ≤1 である準同型は、分類的スキームにおける単射性および長さ保存性によって特徴づけられる。

ABSTRACT

In this paper we will prove that there exists a covariant functor from the category of schemes to the category of graphs. This functor provides a combination between algebraic varieties and combinatorial graphs so that the invariants defined on graphs can be introduced to algebraic varieties in a natural manner. By the functor, we will define the combinatorial norm of a morphism of schemes. Then we will obtain some properties of morphisms of norm not great than one. The topics discussed here can be applied to study the discrete Morse theory on arithmetic schemes and Kontsevich's theory of graph homology.

研究の動機と目的

• 代数幾何学（スキーム）とグラフ理論との間の関手的ブリッジを確立し、グラフ不変量を代数的概型へと移すことを目的とする。
• グラフ論的長さおよび特化関係を用いて、スキームの準同型の構造的複雑さを測る指標としての組合せ的ノルムを定義し、その分析を行うこと。
• ノルム ≤1 である準同型を特徴づけ、特にそのような準同型が単射または長さ保存的である条件を同定すること。
• 離散モース理論およびコンツェビッチのグラフホモロジーを算術的スキームに適用するための基礎的道具を整えること。

提案手法

• スキームの圏からグラフの圏への共変関手 Γ を構成し、各スキーム X に対して、その点を頂点とし、特化関係を表す辺を持つグラフ Γ(X) を割り当てる。
• 準同型 f:X→Y の組合せ的ノルム ||f|| を、すべての点のペアについて Γ(Y) におけるグラフ距離と Γ(X) における距離の比の上界として定義する。
• 分類的スキームおよび長さ関数 l(x) を用いて Γ(X) における距離を定義・計算し、特化鎖と整合性を持つようにする。
• スパ型準同型およびレベル分離写像の概念を用い、ファイバーの挙動を制御し、準同型下でのグラフ構造の保存を保証する。
• 分類的スキームでは、一般点 ξ に対して l(ξ,x) = dim X − l(x) が成り立つことを利用し、位相的次元とグラフ論的距離を関連付ける。
• 背理法を用いて準同型の単射性を証明する：x≠y に対して f(x)=f(y) であると仮定すると、長さ保存性および特化鎖において矛盾が生じる。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、準同型構造を保存し、グラフ不変量の移譲を可能にするスキームからグラフへの関手を構成できるか？
• RQ2 スキームの準同型の組合せ的ノルムとは何か？そして、グラフ距離および特化関係の観点から、その準同型の挙動をどのように定量化できるか？
• RQ3 ノルム ≤1 である準同型はどのような条件下で成立するか？この文脈において、単射性と長さ保存性の関係は何か？
• RQ4 組合せ的ノルムフレームワークは、算術的スキームにおける離散モース理論およびコンツェビッチのグラフホモロジー理論に応用可能か？
• RQ5 分類的性質は、長さ関数およびノルム計算におけるグラフモデルの整合性を保証するために果たす役割は何か？

主な発見

• スキームの圏からグラフの圏への共変関手 Γ が存在し、各スキーム X に対して、その点を頂点とし、特化関係を表す辺を持つグラフ Γ(X) を割り当てる。
• 準同型 f:X→Y の組合せ的ノルム ||f|| は、Γ(Y) におけるグラフ距離と Γ(X) における距離の比の上界として定義され、任意の非負整数値をとる。
• 準同型 f:X→Y がノルム ≤1 であるための必要十分条件は、それが単射かつ Sp型であることであり、定理 2.7 で示されている。
• 分類的スキーム間の長さ保存的準同型は、それがレベル分離的かつ Sp型であれば単射である。これは定理 2.8 で確立されている。
• Y が有限次元であり、f:X→Y が単射である場合、f が長さ保存的であれば ||f||=1 が成り立つ。これは系 2.10 により示されている。
• Γ(Spec(ℤ)) は木（一般点を中核とするスターダム型）であるが、これとは逆に、以前の図版ではその構造が誤って描かれていた。