[论文解读] Valuations on polyhedra and topological arrangements

Askold Khovanskiĭ, Valentina Kiritchenko+1 more|arXiv (Cornell University)|Jan 6, 2026

Advanced Combinatorial Mathematics被引用 0

一句话总结

一项关于在 A-多胞体上使用 Hadwiger 不变量的简单 Z^n-估价的研究，将切割同构与超平面/拓扑排列相联系并引入一个函子框架。

ABSTRACT

We revisit a classical theme of (general or translation invariant) valuations on convex polyhedra. Our setting generalizes the classical one, in a ``dual'' direction to previously considered generalizations: while previous research was mostly concerned with variations of ground fields/rings, over which the vertices of polytopes are defined, we consider more general collections of defining hyperplanes. No algebraic structures are imposed on these collections. This setting allows us to uncover a close relationship between scissors congruence problems on the one hand and finite hyperplane arrangements on the other hand: there are many parallel results in these fields, for which the parallelism seems to have gone unnoticed. In particular, certain properties of the Varchenko--Gelfand algebras for arrangements translate to properties of polytope rings or valuations. Studying these properties is possible in a general topological setting, that is, in the context of the so-called topological arrangements, where hyperplanes do not have to be straight and may even have nontrivial topology.

研究动机与目标

• 用函子化方式描述在由 Z^n 不变族 hat_A 的有理多胞体边界上简单 Z^n-估价的结构。
• 将刀叉同构问题与超平面排布及其拓扑对应物联系起来。
• 用 Hadwiger 不变量与拓扑约束描述估价的生成元与关系。
• 将 Hadwiger 框架扩展到环面及拓扑情形，包括周期消失与对偶性定律。

提出的方法

• 定义由 Z^n 不变族 hat_A 所界定的 A-多胞体族 P_hat_A 的类。
• 引入并研究与环面 T^n 中有向旗 L 相关的 Hadwiger 不变量 Upsilon_L，证明它们生成 Val(P_hat_A; Z^n)。
• 将所有简单 Z^n-估价表征为 Upsilon_L 的有理线性组合 mu_f = ∑_L f(L) Upsilon_L，系数 f(L) 属于 Q。
• 建立描述 Hadwiger 不变量之间关系的对偶性定律与周期消失条件。
• 利用函子性在不同 hat_A 通过平行平移和 Z^n-变换相关的生成元与估价之间建立联系。
• 讨论超平面可能具有非平直拓扑结构的拓扑一般化情形。

实验结果

研究问题

• RQ1 在有理 A-多胞体上，简单 Z^n-估价的完整函子化生成集合是什么？
• RQ2 如何利用 Hadwiger 不变量对不同 A-超平面排布下的估价进行分类与关联？
• RQ3 Hadwiger 不变量的依赖关系（对偶性定律、周期消失条件）如何完整描述？
• RQ4 框架如何推广到带拓扑（非直线）平面的环面/超平面排布？

主要发现

• Z^n 不变的简单估价在 P_hat_A-多胞体上的空间由 Hadwiger 不变量 Upsilon_L 生成。
• Val(P_hat_A; Z^n) 中的每个估价 mu 可表示为 mu_f = ∑_L f(L) Upsilon_L 的有理线性组合，系数 f(L) 属于 Q。
• Hadwiger 不变量之间的关系由对偶性定律与周期消失条件生成。
• Hadwiger 不变量对 hat_A 函数式依赖，能够在不同 A 间通过平行平移与 Z^n-变换实现一致的平移。
• 主定理提供一个拓扑范式，将估价、超平面排布及 toric/Varchenko–Gelfand 型代数联系起来。
• 当 hat_A 由所有有理超平面组成时，可得到已知结果的特例，同时也涵盖更广的拓扑情形。