[论文解读] Inscribing a regular crosspolytope

Роман Карасев|ArXiv.org|May 16, 2009

Point processes and geometric inequalities参考文献 12被引用 10

一句话总结

该论文通过涉及群作用和向量丛欧拉类的拓扑方法，证明了当 d 为奇素数幂时，任何非角凸体在 ℝᵈ 中均可内接一个正则正单纯形。关键结果通过等变拓扑与上同调障碍理论，将 Knaster 型问题推广至高维正单纯形。

ABSTRACT

In this paper we prove that it is possible to inscribe a regular crosspolytope (multidimensional octahedron) into a smooth convex body in $\mathbb R^d$, where $d$ is an odd prime power. Some generalizations of this statement are also proved.

研究动机与目标

• 确立在 ℝᵈ 中的光滑或凸体上可内接正则正单纯形的条件。
• 将 Knaster 问题推广至高维正单纯形的情形。
• 解决当 d 为奇素数幂时，非角凸体与光滑超曲面上正单纯形的内接问题。
• 通过群作用与上同调，特别是表示的欧拉类，提供一种拓扑障碍理论证明。

提出的方法

• 将内接问题约化为从 K×SO(d) 到 ℝ²ᵈ 的 G-等变映射的零点集问题，其中 G=(ℤₚ)ᵏ 作用于框架空间。
• 在 ℝ²ᵈ 中定义坐标 (sᵢ, tᵢ)，将目标空间分解为由 tᵢ 张成的子空间 U 和由 sᵢ 张成的子空间 W，形成商空间。
• 利用 Künneth 公式计算欧拉类 e(f) = u × e(s_W)，其中 u 为球体的基本类，e(s_W) 为 G-表示 W 的欧拉类。
• 通过证明表示 W = ℝ[G]/ℝ 无平凡直和项，从而证明其在 H^{d−1}(BG) 中的欧拉类 e(s_W) 非零。
• 应用从 H_G^*(EG) 到 H_G^*(SO(d)) 的拉回映射 p* 的单性，以保持障碍类的非平凡性。
• 通过紧致性与形变论证处理非严格凸性及非凸超曲面，将 H 变形为椭球体，从而显式计算障碍。

实验结果

研究问题

• RQ1 当 d 为奇素数幂时，是否任何非角凸体在 ℝᵈ 中均可内接正则正单纯形？
• RQ2 正交基的 Knaster 问题是否蕴含高维中正则正单纯形的内接性？
• RQ3 何种拓扑障碍阻止或允许此类内接正单纯形的存在？
• RQ4 群作用 (ℤₚ)ᵏ 在框架空间上的作用如何与正单纯形的对称性及解的存在性相关？
• RQ5 该内接结果能否推广至与 Sᵈ⁻¹ 同胚的非凸光滑超曲面？

主要发现

• 当 d 为奇素数幂时，任何非角凸体在 ℝᵈ 中均可内接正则正单纯形。
• 此类内接正单纯形的存在性由表示 W = ℝ[G]/ℝ 在 H^{d−1}(BG) 中的非零欧拉类障碍保证。
• 障碍类 e(f) = u × e(s_W) 非零，意味着关联的 G-等变映射的零点集非空。
• 光滑超曲面 H 上内接正单纯形的族的维数至少为 (d−1)(d−2)/2。
• 通过形变至椭球体，该结果对光滑嵌入 Sᵈ⁻¹ 的情形也成立，而不仅限于凸体的边界。
• 非角条件至关重要；若无此条件，内接正单纯形可能退化为一点。