[论文解读] The Euler characteristic of a polyhedron as a valuation on its coordinate vector lattice

Andrea Pedrini|arXiv (Cornell University)|Sep 14, 2012

Advanced Algebra and Logic参考文献 4被引用 5

一句话总结

本文通过证明在紧致多面体上的连续分段线性函数的向量格上，欧拉-庞加莱示性数是唯一的vl-赋值，建立了欧拉示性数对哈德维格特征定理的类比。它证明了该泛函是唯一对每个vl-施瓦茨基帽（该格的特殊基元素）赋予值1的泛函，从而通过函数空间的代数与格论性质表征了欧拉示性数。

ABSTRACT

A celebrated theorem of Hadwiger states that the Euler-Poincaré characteristic is the the unique invariant and continuous valuation on the distributive lattice of compact polyhedra in R^n that assigns value one to each convex non-empty such polyhedron. This paper provides an analogue of Hadwiger's result for finitely presented unital vector lattices (i.e. real vector spaces with a compatible lattice order, also known as Riesz spaces). The vector lattice of continuous and piecewise (affine) linear real-valued functions on a compact polyhedron, with operations defined pointwise from the vector lattice R, is a finitely presented unital vector lattice; and it is a non-trivial fact that all such vector lattices arise in this manner, to within an isomorphism. Each function in such a vector lattice can be written as a linear combination of a subset of distinguished elements that we call vl-Schauder hats. We prove here that the functional that assigns to each non-negative piecewise linear function on the polyhedron the Euler-Poincaré characteristic of its support is the unique vl-valuation (a special class of valuations on vector lattices) that assigns one to each vl-Schauder hat of the vector lattice.

研究动机与目标

• 将哈德维格对紧致多面体上欧拉-庞加莱示性数的特征刻画推广到连续分段线性函数的单位向量格的设定中。
• 在有限表示的单位向量格背景下，定义并研究vl-赋值——满足正性和格相容性条件的特殊赋值。
• 证明多面体的欧拉-庞加莱示性数等于其坐标向量格上唯一赋予每个vl-施瓦茨基帽值1的vl-赋值。
• 通过三角剖分和基函数，建立向量格∇(P)的代数结构与拓扑不变量χ(P)之间的对应关系。

提出的方法

• 将vl-赋值定义为向量格V上的实值函数ν，满足ν(0)=0，对格运算具有可加性（V1–V2），在加法下保持非负性（V3），且当元素不相交时与格减法相容（V4）。
• 构造紧致多面体P上连续分段线性实值函数的单位向量格∇(P)，采用逐点运算。
• 通过P的三角剖分引入vl-施瓦茨基帽作为∇(P)的特殊基，其中每个帽函数在单形上具有紧支集，并在顶点处取最大值。
• 证明任意非负分段线性函数f ∈ ∇(P)+可表示为来自同一三角剖分的互异vl-施瓦茨基帽的有限和。
• 利用归纳法和格恒等式，证明任意在∇(P)+上满足对每个vl-施瓦茨基帽赋值1的pc-赋值ν+，必满足ν+(f) = α+(f)，其中α+是f支集的欧拉示性数。
• 通过α(f) = α+(f+) − α+(f−)将正泛函α+从∇(P)+扩展为∇(P)上的完整vl-赋值，证明其唯一性并代数表征欧拉示性数。

实验结果

研究问题

• RQ1 能否将哈德维格对欧拉-庞加莱示性数作为紧致多面体上唯一不变且连续的赋值的特征刻画，重新表述为向量格理论的语言？
• RQ2 多面体上连续分段线性函数的向量格在编码如欧拉示性数等拓扑不变量中起什么作用？
• RQ3 在∇(P)中是否存在一个规范基函数系，使得欧拉示性数成为唯一对每个基元素赋值1的泛函？
• RQ4 vl-赋值的格论公理在分段线性函数的背景下如何与拓扑不变量相关联？

主要发现

• 紧致多面体P的欧拉-庞加莱示性数χ(P)等于向量格∇(P)上唯一赋予每个vl-施瓦茨基帽值1的vl-赋值。
• ∇(P)+中的每个非负分段线性函数可表示为来自P的同一三角剖分的互异vl-施瓦茨基帽的有限和，且该赋值在这些分解下具有可加性。
• 泛函α(f) = α+(f+) − α+(f−)将∇(P)+上的正赋值α+唯一扩展为∇(P)上的完整vl-赋值，且该扩展唯一。
• 证明依赖于vl-施瓦茨基帽和的上确界与下确界的格恒等式，表明(Σ_{i=0}^{m-1} h_i) ∧ h_m = Σ_{i=0}^{m-1} k_i，其中某些导出函数k_i为vl-施瓦茨基帽或零。
• 集合{2k_0, ..., 2k_{n-1}}构成一个细化三角剖分中的互异vl-施瓦茨基帽，确认导出函数在格运算下保持基结构。
• 该结果通过有限表示的单位向量格结构，对欧拉示性数给出了深刻的代数表征，将哈德维格定理推广至Riesz空间的设定。