[論文レビュー] Rational polyhedra and projective lattice-ordered abelian groups with order unit

Leonardo Manuel Cabrer, Daniele Mundici|ArXiv.org|Jul 17, 2009

Algebraic Geometry and Number Theory参考文献 3被引用数 4

ひとこと要約

本稿は、特定の性質を備えた有理多面体（可縮性、立方体の頂点の包含、互いに素な頂点分母をもつ正則な三角形分割）と関連付けることにより、有限生成で射影的かつ単位的ラティス順アーベル群の位相的・幾何的特徴付けを確立する。代数的トポロジーと弱Oda予想の解法を用いて、このような群が射影的であることの必要十分条件が、それらに対応する多面体がこれらの条件を満たすことであることを証明し、有限生成射影的単位的ℓ群の分類を拡張する。

ABSTRACT

An l-group G is an abelian group equipped with a translation invariant lattice order. Baker and Beynon proved that G is finitely generated projective iff it is finitely presented. A unital l-group is an l-group G with a distinguished order unit, i.e., an element u in G whose positive integer multiples eventually dominate every element of G. While every finitely generated projective unital l-group is finitely presented, the converse does not hold in general. Classical algebraic topology (a la Whitehead) will be combined in this paper with the Włodarczyk-Morelli solution of the weak Oda conjecture for toric varieties, to describe finitely generated projective unital l-groups.

研究の動機と目的

• 有限生成で単位的ℓ群が射影的であるための必要十分条件を同定すること。
• 単位的ℓ群と有理多面体との関連を介して代数的K理論と代数的トポロジーを結びつけること。
• 可縮性や崩壊可能性などの位相的不変量を用いて、有限生成射影的単位的ℓ群の分類を拡張すること。
• Włodarczyk-Morelliによる弱Oda予想の解法を、ラティス順群の文脈におけるトーリック多様体に適用すること。
• 特定の幾何的・算術的制約を満たす有理多面体へのホメオモルフィズムによって、このような群の最大スペクトル空間を特徴付けること。

提案手法

• 単位的ℓ群と[0,1]^nにおける有理多面体上への分かちがけ線形関数の制限との対応関係を用いる。
• Whiteheadの代数的トポロジーの定理を応用し、射影性が可縮性や崩壊可能性といった位相的性質と関連することを示す。
• Włodarczyk-Morelliによる弱Oda予想の解法を用いて、ラティス順群の文脈における正則ファンとトーリック多様体を分析する。
• 単位的ℓ群の最大スペクトル空間と関連する有理多面体との間のホメオモルフィズムαを導入し、位相的および算術的条件を移行する。
• 強正則な三角形分割と有理点の分母の概念を用いて、離散的極大イデアルの構造を特徴付ける。
• 再帰的写像および変形再帰写像の概念を用いて、多面体上の可縮性および崩壊可能性条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 有限生成で単位的ℓ群が射影的であるための幾何的および位相的条件は何か？
• RQ2 有理点の算術的性質、特にその分母は、関連するℓ群の代数的構造とどのように関係するか？
• RQ3 n次元立方体の頂点の存在が、単位的ℓ群の射影性を保証するために果たす役割は何か？
• RQ4 有理多面体の三角形分割が崩壊可能であれば、それに対応する単位的ℓ群は射影的とみなせるか？
• RQ5 可縮性や単連結性といった位相的不変量が、射影的単位的ℓ群の最大スペクトル空間をどの程度特徴付けるか？

主な発見

• 単位的ℓ群が有限生成で射影的であることの必要十分条件は、関連する有理多面体Pが可縮的であり、[0,1]^nの頂点を含み、かつ各最大単体の頂点の分母が互いに素である正則な三角形分割を持つことである。
• 1次元の有理多面体に対しては、可縮性、頂点の包含、および分母が互いに素な三角形分割という3条件が、射影性の必要十分条件である。
• 有理多面体Pが崩壊可能な三角形分割を持ち、頂点条件および分母が互いに素である条件を満たすならば、それに対応する単位的ℓ群は射影的である。
• 有限生成で射影的単位的ℓ群の最大スペクトル空間は、3つの主要な条件を満たす有理多面体にホメオモルフィックであり、この空間は可縮的である。
• ℓ群内の各離散的極大イデアルのランクは、それに対応する有理点の分母に丁度一致する。
• 最大スペクトル空間と多面体との間のホメオモルフィズムαは、位相的および算術的構造を保ち、代数的および幾何的設定間での条件の移行を可能にする。