[論文レビュー] Rational Simplicial geometry and projective unital lattice-ordered abelian groups

Leonardo Manuel Cabrer|arXiv (Cornell University)|May 28, 2014

Advanced Algebra and Logic参考文献 11被引用数 3

ひとこと要約

本稿では、有限生成で射影的かつ単位元を持つラティス順序アーベル群の幾何的特徴づけを示しており、これは、整数点を含み、局所的有理数拡張性を満たす有理的かつ可縮な多面体 $ P \subseteq [0,1]^n $ 上の整数係数の実数値分離線形関数のなす群と同型であることを証明している。主な貢献は、既知の特徴づけの逆を示したことであり、$ P $ における位相的および算術的条件によって、このような群を完全に分類している。

ABSTRACT

A unital $\ell$-group is an abelian group equipped with a translation invariant lattice-order and with a distinguished strong unit, i.e. an element whose positive integer multiples eventually dominate every element of $G$.If $X$ is a compact subset of $R^n$, the set $M(X)$ of real-valued piecewise linear maps with integer coefficients, whose addition and lattice operations defined pointwise and whose distinguished element is the constant map $1$, is a unital $\ell$-group. In this paper we provide a geometric decription of finitely generated (regular) projective unital $\ell$-groups. We prove that a finitely unital $\ell$-group is projective if and only if it is isomorphic to $M(P)$ for some polyhedron $P$ which is rational, contractible, contains an integer point, and satisfies an elementary arithmetical-topological property.

研究の動機と目的

• 有限生成で射影的かつユニタリなラティス順序アーベル群の完全な幾何的特徴づけを提供すること。
• どの有理的多面体 $ P \subseteq [0,1]^n $ が射影的ユニタリ $\ell$-群 $\mathscr{M}(P)$ を生成するかという未解決問題を解くこと。
• $ \mathscr{M}(P) $ の射影性が、$ P $ が有理的かつ可縮的であり、整数点を含み、局所的有理数拡張性を満たすことと同値であることを証明すること。
• 従来の結果が単体の有限和に限られていたのを、一般の有理的多面体へと拡張すること。
• ムンドゥッチのリストにおける射影的MV代数の分類に関する第6の未解決問題に対する解決策を提供すること。

提案手法

• 有理的多面体 $ P \subseteq [0,1]^n $ の構造を分析するために単体幾何学と三角形分割を用いる。
• ラティス構造と群構造を保つ整数係数の分離線形写像として $\mathbb{Z}$-写像を定義する。
• 多面体 $ P $ の正則三角形分割 $ \Delta_P $ を用いて、連続な再び込み写像 $ \eta: [0,1]^n \to P $ を構成し、ラティス演算と整合性を持つようにする。
• 各頂点 $ v \in \Delta_P $ の分母関数 $ \operatorname{den}(\eta(v)) $ から導かれる重みを備えた抽象的単体複体 $ \mathfrak{W} $ を導入し、強い正則性を保証する。
• 定理4.6を応用して、$ \mathfrak{W} $ の幾何的実現 $ Q \subseteq [0,1]^k $ が $\mathbb{Z}$-再び込み写像であることを示す。
• $[0,1]^k \to P$ と $ P \to Q $ の $\mathbb{Z}$-写像の合成 $ \mu \circ \nu $ と $ \xi $ を構成し、$ (\mu \circ \nu) \circ \xi = \text{id}_P $ が成り立つことを示し、$ P $ が $\mathbb{Z}$-再び込み写像であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 どの有理的多面体 $ P \subseteq [0,1]^n $ が有限生成で射影的かつユニタリな $\ell$-群 $\mathscr{M}(P)$ を生成するか？
• RQ2 $ \mathscr{M}(P) $ が射影的であるための $ P $ における必要十分条件となる位相的および算術的条件は何か？
• RQ3 射影的ユニタリ $\ell$-群の特徴づけを、単体の有限和に限らず、一般の有理的多面体へと拡張できるか？
• RQ4 有理点から出発する有理数線分の存在（局所的有理数拡張性）は、射影性とどのように関係するか？
• RQ5 有限生成の場合に、$\mathbb{Z}$-再び込み写像の条件が射影的ユニタリ $\ell$-群を完全に特徴づけるか？

主な発見

• ユニタリ $\ell$-群 $ (G,u) $ が有限生成かつ射影的であるための必要十分条件は、ある有理的多面体 $ P \subseteq [0,1]^n $ に対して $ \mathscr{M}(P) $ と同型であることである。ここで $ P $ は以下の3条件を満たす：(i) $ P $ は可縮的であること、(ii) $ P \cap \{0,1\}^n \neq \emptyset $ であること、(iii) 任意の有理点 $ v \in P $ に対して、ある $ w \in \mathbb{Z}^n $ と $ \varepsilon > 0 $ が存在し、線分 $ \operatorname{conv}(v, v + \varepsilon(w - v)) \subseteq P $ が成り立つこと。
• 条件 (iii) は、補題3.6で示されたように、多面体 $ P $ の強い正則性と同値である。
• この結果は、従来の単体の有限和に限った特徴づけを一般の有理的多面体へと拡張したものである。
• 証明により、このような $ P $ が $[0,1]^n $ の $\mathbb{Z}$-再び込み写像であることが示され、これが射影性の核心的な代数的幾何的条件である。
• この特徴づけにより、ムンドゥッチのリストにおける射影的MV代数の分類に関する第6の未解決問題が完全に解決された。
• この結果により、ユニタリ $\ell$-群の圏が $[0,1]^n $ 内の $\mathbb{Z}$-再び込み写像の圏と双対同値であることが確認され、$ \mathscr{M}(P) $ が射影的であるのは $ P $ が $\mathbb{Z}$-再び込み写像であるときであると判明した。