[论文解读] 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-进半代数集的完整剖分定理铺平道路。
• 其重点在于基于赋值理论与 Presburger 算术构建框架，避免依赖顺序关系或重心概念。

提出的方法

• 该框架基于 Γ^m 的子集，称为‘模 N 的连续性较强的前胞腔’，其由模 N 的线性不等式与同余关系构成的三角系统定义。
• 这些前胞腔的面通过特化序定义，其面结构被证明在特化序下构成一棵有根树，其中单面胞腔是指其面树为链的胞腔。
• 单面划分被构造为一种递归分解过程，将任意连续性较强的前胞腔划分为一个单面前胞腔复形。
• 该构造保持了面之间的关系，并通过函数 ε 控制结果胞腔的形状，类似于实重心剖分中的形状约束。
• 该方法利用了 Γ^m 的子集与其在赋值映射 v: K^m → Γ^m 下的原像之间的对应关系，将结果转移至 p-进设置中。
• 证明依赖于关于面投影与支撑集的技术引理，利用赋值环与 Presburger 集的性质，确保可定义性与封闭性。

实验结果

研究问题

• RQ1 能否定义 p-进数中实多面体的类比，使其面形成良好行为的层级结构，包括对面对运算的封闭性？
• RQ2 能否在 p-进设置中构造一种分解过程，其效果类似于实多面体的重心剖分，同时保持面结构并实现形状控制？
• RQ3 单面前胞腔（其面树为链）是否可作为实单纯形的 p-进类比，其特征为面数最少？
• RQ4 此类分解能否在 p-进半代数几何的框架内实现统一且可定义？
• RQ5 能否通过函数 ε 控制分解后胞腔的形状，使其类似于实情况下的控制方式？

主要发现

• 任意模 N 的连续性较强的前胞腔的每个面本身也是模 N 的连续性较强的前胞腔，从而建立了良好行为的面层级结构。
• 任意此类前胞腔的面在特化序下构成一棵有根树，这一结构性质在一般实多面体中并不成立。
• 单面前胞腔被定义为面树为链的前胞腔，因此是实单纯形在 p-进数中的类比。
• 单面划分定理（定理 5.5）构造了任意连续性较强的前胞腔向单面前胞腔复形的分解，且保持了面结构。
• 该分解通过函数 ε 实现对胞腔形状的控制，确保对每个面 B，胞腔中点到其在 B 上投影的距离被 ε 有界。
• 通过赋值映射，该结果可推广至 p-进设置，得到 K^m 中的单调划分（定理 6.3），为未来半代数集的剖分定理奠定了基础。