[論文レビュー] Modules over posets: commutative and homological algebra

Ezra Miller|arXiv (Cornell University)|Aug 26, 2019

Topological and Geometric Data Analysis参考文献 36被引用数 4

ひとこと要約

本稿は、順序付き集合上の加群における有限性条件「たんみさ（tameness）」を定義し、ネーター性に類似した有限の素分解、分解、およびシジージー定理を可能にする。KashiwaraとSchapiraの、錐内にミクロサポートを持つ可解層に関する2つの予想を、部分解析的可解層の導来カテゴリを通じたたんみさの解釈により証明し、任意の順序付き集合上の恒続ホモロジーに適した計算可能で位相的に解釈可能なデータ構造をもたらす。

ABSTRACT

The commutative and homological algebra of modules over posets is developed, as closely parallel as possible to the algebra of finitely generated modules over noetherian commutative rings, in the direction of finite presentations, primary decompositions, and resolutions. Interpreting this finiteness in the language of derived categories of subanalytically constructible sheaves proves two conjectures due to Kashiwara and Schapira concerning sheaves with microsupport in a given cone. The motivating case is persistent homology of arbitrary filtered topological spaces, especially the case of multiple real parameters. The algebraic theory yields computationally feasible, topologically interpretable data structures, in terms of birth and death of homology classes, for persistent homology indexed by arbitrary posets. The exposition focuses on the nature and ramifications of a suitable finiteness condition to replace the noetherian hypothesis. The tameness condition introduced for this purpose captures finiteness for variation in families of vector spaces indexed by posets in a way that is characterized equivalently by distinct topological, algebraic, combinatorial, and homological manifestations. Tameness serves both the theoretical and computational purposes: it guarantees finite primary decompositions, as well as various finite presentations and resolutions all related by a syzygy theorem, and the data structures thus produced are computable in addition to being interpretable. The tameness condition and its resulting theory are new even in the finitely generated discrete setting, where being tame is materially weaker than being noetherian.

研究の動機と目的

• 順序付き集合上の加群におけるネーター性の仮定に代わる有限性条件を構築し、恒続ホモロジーにおける有限な代数的構造を可能にする。
• 新しいたんみさ条件の下で、順序付き集合加群の素分解、提示、および分解の理論を確立する。
• ミクロサポートが与えられた錐内にある可解層に関する、KashiwaraとSchapiraの2つの予想を導来カテゴリの手法を用いて証明する。
• 特に多パラメータ設定において、任意の順序付き集合によってインデックス付けられた恒続ホモロジーのための計算可能で位相的に解釈可能なデータ構造を提供する。
• たんみさという概念を通じて、順序付き集合加群における位相的、代数的、組合せ的、ホモロジー的有限性の統合を図る。

提案手法

• たんみさ条件を、同値な位相的・代数的・組合せ的・ホモロジー的性質によって特徴づける、順序付き集合上の加群の有限性仮定として導入する。
• たんみさが成り立つ際の、上セットと下セットを用いたフリージェ提示を構築し、加群の有限表現を記述する。
• 部分解析的またはPL構造を用いた導来カテゴリにおいて、インジケータ分解（特に上セットおよび下セット分解）を構成する。
• コンパクト台付きの場合を、定理8.22を用いて有限分割に還元することで、可解層への理論の応用を構築する。
• 順序付き集合加群におけるシジージー定理を用い、たんみさの下で有限提示、分解、素分解が一貫した代数的枠組みで結びつくことを示す。
• たんみさが、定数分割と上密な順序付き集合による加群の有限符号化を示し、計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ネーター性の仮定に代わる有限性条件は、順序付き集合上の加群の代数的構造において、有限提示および分解を可能にするか？
• RQ2 任意の順序付き集合上の恒続ホモロジーは、ホモロジー類の誕生と消滅に基づく、計算可能で解釈可能なデータ構造として表現可能か？
• RQ3 たんみさと順序付き集合加群における有限素分解の存在との関係は何か？
• RQ4 導来カテゴリの枠組みを用いて、ミクロサポートが錐内にある可解層に関する予想を証明可能か？
• RQ5 たんみさは、順序付き集合加群における位相的・代数的・組合せ的・ホモロジー的有限性をどのように統合するか？

主な発見

• たんみさ条件は、ネーター性が成り立たない場合でも、順序付き集合上の加群に対して有限素分解、フリージェ提示、および分解を保証する。
• たんみさ加群におけるシジージー定理が成り立ち、有限提示、分解、素分解が一貫した代数的枠組みで結びつく。
• 本理論により、KashiwaraとSchapiraの予想3.20が証明され、コンパクト台付きPL可解層でミクロサポートが負の極錐内にある場合、有界な多面体上の定数可解層の有限直和に分解可能であることが示された。
• 本理論により、KashiwaraとSchapiraの予想3.17が証明され、ミクロサポートが負の極錐内にある部分解析的可解層は、従属する錐的区分けを有することが立証された。
• 導来カテゴリのアプローチにより、可解層に対して部分解析的インジケータ分解が得られ、局所閉な部分解析的ストラトムに有限分割され、その上でホモロジーが定数となる。
• 離散的設定において、たんみさはネーター性よりも厳密に弱い条件であるため、本理論はネーター性を満たさない加群、特に多パラメータ恒続ホモロジーに由来する加群を含むより広いクラスに適用可能である。