[论文解读] Newton polyhedra and Poisson structures from certain linear Hamiltonian circle actions

Ágúst S. Egilsson|ArXiv.org|Nov 18, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用 4

一句话总结

本论文通过不变多项式的牛顿多面体，构建了线性哈密顿圈作用轨道空间上的相容泊松结构。通过分析这些多面体的组合性质，利用希尔伯特嵌入在模型空间上显式构造泊松括号，即使在最小有限嵌入维数下也实现了相容性——解决了关于具有相容泊松结构的有限维模型空间的开放问题。

ABSTRACT

In this paper we first describe the geometry of the Newton polyhedra of polynomials invariant under certain linear Hamiltonian circle actions. From the geometry of the polyhedra, various Poisson structures on the orbit spaces of the actions are derived and Poisson embeddings into model spaces, for the orbit spaces, are constructed. The Poisson structures, on respective source and model space, are compatible even for the minimum possible (embedding) dimension of the model spaces. This is, in particular, important since it is still an open question if, in general, there exist finite dimensional model spaces with Poisson structures compatible with the actions and the usual nondegenerate Poisson structure on the source spaces.

研究动机与目标

• 解决一个长期开放的问题：是否存在与轨道空间泊松结构及原始辛结构均相容的有限维模型空间。
• 通过放宽从辛源空间出发的要求，推广轨道空间上泊松结构的构造方法。
• 建立一种系统方法，利用不变多项式的牛顿多面体几何性质推导轨道空间上的泊松结构。
• 证明兼容泊松结构可在模型空间的最小可能嵌入维数下实现。
• 构建显式的泊松嵌入到模型空间，确保通过希尔伯特嵌入映射时泊松结构得以保持。

提出的方法

• 利用线性哈密顿圈作用下不变多项式的牛顿多面体，在 2k−1 维空间中定义凸有理多面锥。
• 应用希尔伯特嵌入将轨道空间映射到更高维的模型空间，保持泊松结构。
• 通过牛顿多面体的面结构在模型空间上定义泊松括号，特别利用指标子集 ℎ 和 𝒗 生成子锥。
• 使用生成元 d_i e_i + d_j e̅_j 及涉及 ε_ij 的关系，在目标空间上显式构造泊松括号，确保与原始结构相容。
• 利用 ι 在 n⊥ 与 ℐ⊥ 之间的同构关系，将不变单项式的格点结构与多面体的几何性质联系起来。
• 引入从轨道空间泊松括号到模型空间的提升过程，利用希尔伯特嵌入保持括号结构。

实验结果

研究问题

• RQ1 能否在保持与原始泊松结构相容的前提下，将哈密顿圈作用轨道空间上的泊松结构嵌入到有限维模型空间？
• RQ2 支持相容泊松结构的此类模型空间的最小可能维数是多少？
• RQ3 不变多项式的牛顿多面体的组合性质如何决定轨道空间及其模型上泊松括号的结构？
• RQ4 当权重 n₁,…,nₖ 满足什么条件时，半群 S_{n₁,…,nₖ} 具有恰好 k² 个生成元的最小希尔伯特基？
• RQ5 在扩展作用中引入额外的平方自由生成元，如何影响泊松结构及其在更高维模型空间中的嵌入？

主要发现

• 本文在最小可能的有限嵌入维数下，构建了轨道空间及其模型空间上的相容泊松结构，解决了长期存在的开放问题。
• 当权重生成最小希尔伯特基时，牛顿多面体的极射线由 k² 个向量 d_i e_i + d_j e̅_j（i ≠ j）张成。
• 模型空间上的泊松括号显式给出为 {X_{pq}, X_{st}}_ε^𝕋 = -2i(ε_pt d_p^q d_t^s {X_sq}^I - ε_sq d_q^p d_s^t {X_pt}^ii)，其中 I 和 ii 依赖于索引是否属于子集 ℎ。
• 当 ℎ = ∅ 时，提升后的泊松结构退化为例5中的乘积泊松括号，与原始权重无关。
• 在扩展空间（权重为 n₁,…,nₖ,d,…,d）上，提升后的泊松结构同时包含乘积泊松结构与定理3中的结构，满足雅可比恒等式条件 ∘learrowleft{{a,b}_A,c}_B + ∘learrowleft{{a,b}_B,c}_A = 0。
• ℂ^{2k} 上的实泊松结构处处的秩至少为 2k，其中 {z_i, z̅_i}^𝕋 = -2i z_i z̅_i 且 {z_{k+i}, z̅_{k+i}}^𝕋 = -2i（i=1,…,k）。