[論文レビュー] Polytopes and simplexes in p-adic fields

Luck Darnière|arXiv (Cornell University)|Feb 23, 2016

advanced mathematical theories参考文献 9被引用数 3

ひとこと要約

本稿では、値群 Γ^m における N を法とするほとんど連続な前セルを用いて、実多面体および単体の p-進類似物を導入し、それらの面が特殊化順序に関して根付き木をなすことを確立している。主な貢献は、任意のセルを面構造を保ちながら単形セル（モノヘドラルセル）の複体に分解することができる『モノヘドラル分割定理』であり、これは実三角形分割における重心分割に類似した、形状制御が可能な構造的分解を可能にする。

ABSTRACT

We introduce topological notions of polytopes and simplexes, the latter being expected to play in p-adically closed fields the role played by real simplexes in the classical results of triangulation of semi-algebraic sets over real closed fields. We prove that the faces of every p-adic polytope are polytopes and that they form a rooted tree with respect to specialisation. Simplexes are then defined as polytopes whose faces tree is a chain. Our main result is a construction allowing to divide every p-adic polytope in a complex of p-adic simplexes with prescribed faces and shapes.

研究の動機と目的

• 本稿の目的は、古典的な実半代数的三角形分割に類似した、p-進閉体上の半代数的集合の三角形分割理論を確立することにある。
• 本稿は、面の階層構造、面演算における閉包性、分解可能性といった重要な構造的性質を満たす、p-進多面体および単体の類似物を定義することを目的としている。
• 本稿の目的には、面構造と幾何的形状の両方を制御可能な、一様かつ柔軟な分解ツール「モノヘドラル分割」の構築が含まれる。
• 本稿は、今後の研究における半代数的 p-進集合の完全な三角形分割定理の構築に道筋を提供することを目的としている。
• 本稿は、順序や重心的概念に依存せぬ、賦値論およびプレスブルガー算術に基づく枠組みの構築に焦点を当てる。

提案手法

• 本フレームワークは、Γ^m の部分集合としての「N を法とするほとんど連続な前セル」として定義される、三角形系の線形不等式および合同式からなる。
• これらの前セルの面は特殊化順序によって定義され、その面構造が根付き木をなすことが示され、モノヘドラルセルとはその面木が鎖であるものとして定義される。
• モノヘドラル分割は、任意のほとんど連続な前セルをモノヘドラル前セルの複体に分割する再帰的分解プロセスとして構成される。
• この構成は面関係を保ち、関数 ε を用いて結果のセルの形状を制御可能であり、これは実の重心分割における形状制約に類似している。
• 本手法は、K^m から Γ^m への賦値写像 v: K^m → Γ^m による逆像との対応関係を活用し、結果を p-進設定に持ち込む。
• 証明は、面射影および補助集合に関する技術的補題に依拠し、賦値環およびプレスブルガー集合の性質を用いて定義可能性および閉包性を保証する。

実験結果

リサーチクエスチョン

• RQ1 実多面体の p-進類似物として、その面が面の階層構造（面演算における閉包性を含む）を有するように定義可能か？
• RQ2 実多面体の重心分割に類似した、面構造を保ちつつ形状制御が可能な p-進設定における分解プロセスを構築可能か？
• RQ3 面木が鎖であるようなモノヘドラル前セルは、最小の面数を持つことから、実単体の p-進類似物として適切か？
• RQ4 このような分解を、p-進半代数的幾何の枠組み内で一様的かつ定義可能に可能か？
• RQ5 関数 ε を用いて、分解後のセルの形状を制御可能か？これは実の場合と類似しているか？

主な発見

• N を法とするほとんど連続な前セルの任意の面は、再び N を法とするほとんど連続な前セルである。これにより、整合的な面の階層構造が確立される。
• 任意のこのような前セルの面は、特殊化順序に関して根付き木をなす。これは、一般に実多面体では満たされない構造的性質である。
• モノヘドラル前セルは、その面木が鎖であるものとして定義され、これは実単体の p-進類似物である。
• モノヘドラル分割定理（定理 5.5）は、任意のほとんど連続な前セルを、面構造を保つモノヘドラル前セルの複体に分解する。
• この分解により、関数 ε を用いてセルの形状を制御可能であり、各面 B に対して、セル内の点から B への射影への距離が ε で有界であることが保証される。
• 賦値写像を介して p-進設定に拡張され、K^m における「モノトピック分割」（定理 6.3）が得られ、これは今後の半代数的集合の三角形分割定理の基礎をなす。