[論文レビュー] 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$ に対して、その勾配写像 $\nabla h$ のグラフに双有理的に写像する多様体 $\Omega_h$ を関連付けることにより、完全二次形式の空間の一般化を提案する。主な貢献は、$\Omega_h$ が滑らかであるための十分条件を特定することであり、特に $h$ が初等対称多項式である場合には $\Omega_h$ は滑らかなトーリック多様体となり、一般化された置換体と関連する。一方、反例により $\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$ に対して、$\nabla h$ のグラフに双有理的である自然な多様体 $\Omega_h$ を定義すること。
• 特に初等対称多項式の場合に $\Omega_h$ が滑らかである条件を確立すること。
• $\Omega_h$ の幾何的・組合せ的構造（特にトーリック的および置換体的関係）を探索すること。
• 反例を提示し、$\Omega_h$ が滑らかでない場合の境界を明らかにすること。

提案手法

• $h$ が斉次多項式であるとき、$\nabla h$ のグラフの双有理的モデルとして $\Omega_h$ を構成すること。
• 代数幾何の技法を用いて $\Omega_h$ の特異点を解析し、滑らかさの十分条件を導出すること。
• その基準を初等対称多項式に適用し、$\Omega_h$ が滑らかなトーリック多様体となることを示すこと。
• $\Omega_h$ のファンが多項式の組合せ的性質から生じる一般化された置換体に対応することを関連させること。
• $\Omega_h$ が滑らかでない具体例を構成し、滑らかさ条件の必要性を示すこと。

実験結果

リサーチクエスチョン

• RQ1 斉次多項式 $h$ に対して関連する多様体 $\Omega_h$ が滑らかであるための条件は何か？
• RQ2 $\Omega_h$ の幾何が、特に $h$ が初等対称多項式である場合に、多項式の組合せ論とどのように関係するか？
• RQ3 対称行列の行列式に対応する場合に限らない、$\Omega_h$ の構成をより一般化して意味的に意味を持つように拡張できるか？
• RQ4 一般化された置換体は、対称多項式に対する $\Omega_h$ のトーリック構造を記述する上で果たす役割は何か？
• RQ5 $\Omega_h$ が特異的となる自然な多項式のクラスは存在するか？ そして、これらの特異点はどのような意味を持つのか？

主な発見

• 初等対称多項式 $h$ の場合、多様体 $\Omega_h$ は滑らかであり、このとき滑らかなトーリック多様体である。
• 初等対称多項式に対する $\Omega_h$ のファンは、一般化された置換体に対応する。
• $\Omega_h$ の構成は、$h = \det(\text{一般の対称行列})$ に対応する古典的な完全二次形式の空間を一般化する。
• $\Omega_h$ の滑らかさに関する十分条件が確立され、さまざまなクラスの斉次多項式に適用可能である。
• $\Omega_h$ が滑らかでない例が提示され、この基準が必要条件ではないこと、および滑らかでない場合の幾何的複雑性が浮き彫りになる。