[論文レビュー] Primary decomposition over partially ordered groups

Ezra Miller|arXiv (Cornell University)|Jul 31, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 4

ひとこと要約

本稿は、有限個の面をもつ閉で多面体的な正の錐を持つ、部分順序付きアーベル群上の加群に対して、有限の初等分解を確立する。この一般性の中で、面、コプライアリ加群、局所化ファンクターといった概念を導入することで、ダウンセット有限な加群が、標準的かつ有限な初等分解をもつことを証明する。これは、古典的な単項イデアル理論を連続的かつ非離散的状況へ一般化するものである。

ABSTRACT

Over any partially ordered abelian group whose positive cone is closed in an appropriate sense and has finitely many faces, modules that satisfy a weak finiteness condition admit finite primary decompositions. This conclusion rests on the introduction of basic notions in the relevant generality, such as closedness of partially ordered abelian groups, faces and their coprimary modules, and finiteness conditions as well local and global support functors for modules over partially ordered groups.

研究の動機と目的

• 離散的かつ有限生成な設定を超えて、連続的・非離散的な部分順序付きアーベル群上の初等分解理論を拡張すること。
• 正の錐が閉である部分順序付き群の文脈において、コプライアリ加群および面を定義し、特徴づけること。
• この一般化された設定において、有限な初等分解を可能にする十分条件（ダウンセット有限性）を確立すること。
• 加群構造を保つ局所化およびサポートファンクターを構築し、コプライアリ要素の関手的分離を可能にすること。
• 非離散的状況における初等分解の最小性の欠如を解消するため、幾何的障害を同定すること。

提案手法

• 正の錐が位相的に閉かつ有限個の面をもつ部分順序付きアーベル群の概念を導入する。
• 面を、正の錐の部分モノイドであり、同時にダウンセットであるものとして定義し、環境群を変更せずに局所的解析を可能にする。
• 面に沿った加群に対する局所化ファンクターを構成し、加群構造を保ちながらコプライアリ要素の関手的同定を可能にする。
• 直接和としてのダウンセット加群の有限包を保証するための有限性仮定として、ダウンセット有限性を導入する。
• 部分順序群加群におけるシジージー定理を適用し、有限性条件と加群の構造的性質との関係を関係づける。
• 定理3.10および推論3.11によるダウンセットのコプライアリ成分への標準的分解を、加群レベルの初等分解の基盤とする。

実験結果

リサーチクエスチョン

• RQ1 非離散的かつ部分順序付きアーベル群上の加群に対し、初等分解を一般化することは可能か？
• RQ2 部分順序付き群の正の錐にどのような条件を課すと、加群の有限初等分解が保証されるか？
• RQ3 任意の部分順序付き群上で、加群構造を保つように局所化およびサポートファンクターを定義する方法は何か？
• RQ4 非有限生成または非離散な部分順序付き群上では、なぜ初等分解の最小性が失われるのか？
• RQ5 正の錐の面の幾何的性質は、初等分解の構造にどのような役割を果たすか？

主な発見

• 有限個の面をもつ多面体的で部分順序付きの半群上のダウンセット有限加群は、すべてコプライアリ部分加群への有限初等分解をもつ。
• 初等分解は標準的かつ関手的であり、環境加群を変更せずにコプライアリ要素を同定する局所化およびサポートファンクターに依存する。
• 加群が有限生成でも離散的でもない場合、初等分解の最小性の欠如は、幾何的障害（たとえば、ダウンセットの境界に面の平行移動がないこと）に起因する。
• $\Bbbk[\partial Q_{+}]$ という $\mathbb{R}^3$ 内の右円錐上の加群は反例を提供する：無限個の面をもつため、有限初等分解をもたない。
• ダウンセット有限性は、単項イデアル代数の文脈において、たわみ性（tameness）よりも弱く、ノエター的条件よりも強い。
• この理論は、多項式環上の単項イデアルの古典的初等分解理論を、$\mathbb{R}^n$-階層付き加群および実指数多項式環上の連続的状況へ一般化する。