[论文解读] Polytopes with mass linear functions, part I

Dusa McDuff, Susan Tolman|ArXiv.org|Jul 6, 2008

Point processes and geometric inequalities参考文献 8被引用 4

一句话总结

本文在三维以内对光滑单纯多面体上的质量线性函数进行了分类，表明非平凡的质量线性函数要么源于对称性，要么来自唯一一族三维多面体。关键结果是：仅有一族光滑三维多面体允许本质的质量线性函数（即不由对称性诱导的函数），而大多数多面体则不具有此类函数。该分类对辛拓扑流形及其辛同胚群具有几何意义，尤其涉及基本群映射的单射性。

ABSTRACT

We analyze mass linear functions $H$ on simple polytopes $\De$, where a mass linear function is an affine function on $\De$ whose value on the center of mass depends linearly on the positions of the supporting hyperplanes. We show that certain types of symmetries of $\De$ give rise to nonconstant mass linear functions on $\De$. These are called inessential; the others are essential. We also show that most polytopes do not admit any nonconstant mass linear functions. Our main result shows that there is only one family of smooth polytopes of dimension $\leq 3$ which admit essential mass linear functions. These results have geometric implications. Fix a symplectic toric manifold $(M,\om,T,Φ)$ with moment polytope $\De = Φ(M)$; let $\Symp(M,\om)$ be its group of symplectomorphisms. Any linear function $H$ on $\De$ generates a Hamiltonian $\R$ action on $M$ whose closure is a subtorus $T_H$ of $T$. We show that if the map $π_1(T_H) o π_1(\Symp(M,\om))$ has finite image, then $H$ is mass linear. Therefore, in most cases the induced map $π_1(T) o π_1(\Symp(M,\om))$ is an injection. We also show that this map does not have finite image unless $M$ is a product of projective spaces. Moreover, the inessential $H$ correspond to elements in the kernel of the map $π_1(T) o \Isom(M)$, where the Kahler isometry group $\Isom(M)\subset \Symp(M,\om)$ consists of elements that also preserve the natural compatible complex structure on $M$. Therefore if $\De$ supports no nonconstant essential mass linear $H$, the map $π_1(\Isom(M)) o pi_1(\Symp(M,\om)$ is injective.

研究动机与目标

• 对所有维度 ≤3 的光滑多面体进行分类，以确定其是否允许非平凡的质量线性函数。
• 区分由对称性产生的非本质质量线性函数与不由对称性产生的本质质量线性函数。
• 确定质量线性函数对辛拓扑流形的几何意义，特别是关于辛同胚群基本群映射的性质。
• 建立 π₁(T) → π₁(Symp₀(M,ω)) 为单射的条件。

提出的方法

• 将质量线性函数定义为在多面体 Δ 上的仿射函数，其质心依赖于支撑超平面位置的线性关系。
• 利用房间 𝒞_Δ 分析当支撑数 κ_i 变化时，Δ 的体积与矩的变化。
• 引入对称与非对称面的概念，并定义由多面体对称性产生的非本质函数。
• 分析具有两个非对称面的多面体，并在具体例子（包括三维多面体 Y_a）的背景下对质量线性函数进行分类。
• 应用关于平坦面与展开式的结果，将分类问题简化为无平坦面的多面体。
• 使用组合与几何论证，包括强面与普遍面的概念，对至多组合等价于单形乘积的四维多面体进行分类。

实验结果

研究问题

• RQ1 哪些光滑三维多面体允许非平凡的质量线性函数？
• RQ2 在光滑多面体中，本质质量线性函数（即不由对称性产生的函数）的特征是什么？
• RQ3 对于辛拓扑流形 (M,ω)，在何种条件下映射 π₁(T) → π₁(Symp₀(M,ω)) 是单射？
• RQ4 当不存在本质质量线性函数时，π₁(Isom₀(M)) → π₁(Symp₀(M,ω)) 的单射性在什么条件下成立？
• RQ5 每个所有面均为强的光滑四维多面体是否组合等价于单形的乘积？

主要发现

• 仅有一族光滑三维多面体允许本质质量线性函数——即例 1.1 中定义的 Y_a 形式——而所有多边形均不具有此类函数。
• 对于无对称面的光滑四维多面体，若所有质量线性函数均为非本质的，则该多面体组合等价于单形的乘积。
• 对于所有四维辛拓扑流形，以及六维情形（除非 M 是 ℂP² 沿 ℂP¹ 的丛），映射 π₁(T) → π₁(Symp₀(M,ω)) 是单射。
• 若多面体不支持任何本质质量线性函数，则映射 π₁(Isom₀(M)) → π₁(Symp₀(M,ω)) 是单射。
• 在四维情形下，光滑多面体上的每个质量线性函数均源于对称面或为非本质函数，这意味着除非存在对称性，否则此类函数极为稀少。
• 若一个光滑四维多面体的所有面均为普遍面且为强面，则其组合等价于单形的乘积（假设无对称面）。