[論文レビュー] 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

ひとこと要約

本稿は、コンパクトな多面体上の連続な区分線形関数のベクトルラティスにおけるEuler-Poincaré特性の唯一のvl-値関数としての特徴づけを示すことにより、Hadwigerの特徴づけ定理の類似を確立する。この関数は、ラティスの特徴づけられた基底要素であるvl-Schauderハット関数各々に値1を割り当てる唯一の関数であることが示され、関数空間の代数的およびラティス的性質によってEuler特性が特徴づけられる。

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.

研究の動機と目的

• コンパクトな多面体上の連続な区分線形関数の単位的ベクトルラティスの設定において、Euler-Poincaré特性のHadwiger特徴づけを拡張すること。
• 有限生成な単位的ベクトルラティスの文脈において、正の性質およびラティスの整合性を満たす特別な値関数であるvl-値関数を定義し、それらを研究すること。
• 多面体のEuler-Poincaré特性が、各vl-Schauderハットに値1を割り当てる座標ベクトルラティス上の唯一のvl-値関数に等しいことを示すこと。
• 三角形分割と基底関数を用いて、ベクトルラティス ∇(P) の代数的構造とトポロジカル不変量 χ(P) の間の対応を確立すること。

提案手法

• vl-値関数を、ベクトルラティス V における実数値関数 ν として定義する。ここで ν(0)=0 を満たし、(V1–V2) のラティス演算に関する加法性、(V3) 加法における正の性質、および (V4) 要素が互いに素である場合のラティス減法との整合性を満たす。
• コンパクトな多面体 P 上の連続な区分線形実数値関数の単位的ベクトルラティス ∇(P) を、点ごとの演算を用いて構成する。
• vl-Schauderハット関数を、P の三角形分割に基づいて定義される ∇(P) の特徴づけられた基底として導入する。各ハット関数は単体上に台を持ち、頂点で最大値をとる。
• 任意の非負の区分線形関数 f ∈ ∇(P)+ が、P の共通の三角形分割からの相異なるvl-Schauderハット関数の有限和として表現可能であることを証明する。
• 帰納法とラティス恒等式を用いて、∇(P)+ 上の任意のpc-値関数 ν+ が各vl-Schauderハットに1を割り当てているならば、ν+(f) = α+(f) が成り立つことを示す。ここで α+ は f の台のEuler特性である。
• 正の関数 α+ を α(f) = α+(f+) − α+(f−) により ∇(P) 全体に拡張し、これがvl-値関数として一意的であることを証明し、Euler特性を代数的に特徴づける。

実験結果

リサーチクエスチョン

• RQ1 HadwigerのEuler-Poincaré特性に関する特徴づけ（コンパクトな多面体上での一意的不変かつ連続な値関数としての特徴づけ）を、ベクトルラティス理論の観点から再定式化できるか？
• RQ2 多面体上の連続な区分線形関数のベクトルラティスが、Euler特性のようなトポロジカル不変量をどのように表現しているか？
• RQ3 ∇(P) に、Euler特性が各基底要素に値1を割り当てる唯一の関数として現れるような、標準的な関数の基底が存在するか？
• RQ4 vl-値関数のラティス的公理が、区分線形関数の文脈におけるトポロジカル不変量とどのように関係しているか？

主な発見

• コンパクトな多面体 P のEuler-Poincaré特性 χ(P) は、ラティスの各vl-Schauderハットに値1を割り当てる、ベクトルラティス ∇(P) 上の唯一のvl-値関数に等しい。
• ∇(P)+ 内の任意の非負の区分線形関数は、P の共通の三角形分割からの相異なるvl-Schauderハット関数の有限和として表現可能であり、その値関数はこのような分解に関して加法的である。
• 関数 α(f) = α+(f+) − α+(f−) により、∇(P)+ 上の正の値関数 α+ が ∇(P) 全体に一意的に拡張され、この拡張はvl-値関数である。
• 証明は、vl-Schauderハット関数の和の上限および下限に関するラティス恒等式に依拠しており、(Σ_{i=0}^{m-1} h_i) ∧ h_m = Σ_{i=0}^{m-1} k_i を満たす。ここで k_i は、適切に導かれた関数であり、vl-Schauderハット関数または0である。
• 集合 {2k_0, ..., 2k_{n-1}} は、精錬された三角形分割における相異なるvl-Schauderハット関数から成り、導関数がラティス演算の下でも基底構造を保つことが確認される。
• 本結果により、有限生成な単位的ベクトルラティスの構造を通じて、Euler特性の深い代数的特徴づけが確立され、Hadwigerの定理がRiesz空間の文脈に一般化された。