[论文解读] A generalization of the space of complete quadrics

Abeer Al Ahmadieh, Mario Kummer+1 more|arXiv (Cornell University)|Nov 27, 2020

Advanced Combinatorial Mathematics参考文献 3被引用 1

一句话总结

本文通过将任意齐次多项式 $ h $ 关联到一个代数簇 $ \Omega_h $，推广了完全二次型空间的理论，该簇有理同构于梯度映射 $ \nabla h $ 的图像。主要贡献是给出了 $ \Omega_h $ 为光滑的充分条件，当 $ h $ 为初等对称多项式时，该条件成立，此时 $ \Omega_h $ 是一个与广义排列多面体相关的光滑toric簇；反例表明 $ \Omega_h $ 也可能是奇异的。

ABSTRACT

To any homogeneous polynomial $h$ we naturally associate a variety $\Omega_h$ which maps birationally onto the graph $\Gamma_h$ of the gradient map $ abla h$ and which agrees with the space of complete quadrics when $h$ is the determinant of the generic symmetric matrix. We give a sufficient criterion for $\Omega_h$ being smooth which applies for example when $h$ is an elementary symmetric polynomial. In this case $\Omega_h$ is a smooth toric variety associated to a certain generalized permutohedron. We also give examples when $\Omega_h$ is not smooth.

研究动机与目标

• 将经典完全二次型理论推广至更广泛的齐次多项式类别。
• 为任意齐次多项式 $ h $ 定义一个自然的代数簇 $ \Omega_h $，其有理同构于 $ \nabla h $ 的图像。
• 建立 $ \Omega_h $ 为光滑的条件，特别是针对初等对称多项式的情形。
• 探索 $ \Omega_h $ 的几何与组合结构，包括与toric簇及排列多面体的联系。
• 提供 $ \Omega_h $ 不光滑的示例，揭示光滑性准则的边界。

提出的方法

• 将 $ \Omega_h $ 构造为齐次多项式 $ h $ 的梯度映射 $ \nabla h $ 图像的有理模型。
• 运用代数几何技术分析 $ \Omega_h $ 的奇点，并推导出光滑性的充分条件。
• 将该准则应用于初等对称多项式，证明此时 $ \Omega_h $ 成为光滑toric簇。
• 将 $ \Omega_h $ 的扇形与多项式组合结构所导出的广义排列多面体联系起来。
• 构造显式例子，表明 $ \Omega_h $ 可能不光滑，从而说明光滑性条件的必要性。

实验结果

研究问题

• RQ1 对于齐次多项式 $ h $，其关联的代数簇 $ \Omega_h $ 在何种条件下为光滑？
• RQ2 当 $ h $ 为初等对称多项式时，$ \Omega_h $ 的几何结构如何与多项式的组合结构相关联？
• RQ3 该 $ \Omega_h $ 的构造能否有意义地推广至对称矩阵行列式之外的情形？
• RQ4 广义排列多面体在描述对称多项式情形下 $ \Omega_h $ 的toric结构中起何作用？
• RQ5 是否存在自然的多项式类使得 $ \Omega_h $ 为奇异，这些奇点又具有何种几何意义？

主要发现

• 当 $ h $ 为初等对称多项式时，$ \Omega_h $ 为光滑，且此时其为光滑toric簇。
• 初等对称多项式情形下，$ \Omega_h $ 的扇形对应于一个广义排列多面体。
• 该 $ \Omega_h $ 的构造推广了经典完全二次型空间，后者对应于 $ h = \det(\text{通用对称矩阵}) $。
• 建立了 $ \Omega_h $ 光滑性的充分条件，适用于多种齐次多项式类。
• 提供了 $ \Omega_h $ 不光滑的示例，表明该条件非必要，凸显了光滑情形之外的几何复杂性。