Adjoints of Polytopes: Determinantal Representations and Smoothness

技術要約：多胞体の随伴超曲面：行列式表現と滑らかさ

問題提起
本論文は、多胞体の随伴超曲面（adjoint hypersurfaces）に対して、線形行列式表現が存在するかどうかを調査している。正の幾何学（positive geometry）の文脈において、多胞体 $P \subseteq \mathbb{P}^n$ の標準形式は $\Omega = \frac{\alpha_P(x)}{\prod l_i(x)} \mu$ で与えられる。ここで $\alpha_P(x)$ は随伴多項式である。中心となる問いは、理論物理学における散乱振幅（特にABHY associahedron）に関する探究に端を発しており、「$\alpha_P(x)$ は、線形な成分を持つ正方行列の行列式として表現できるか」というものである。著者らは、このような表現の存在と、随伴超曲面の幾何学的性質（具体的には滑らかさ）との関係を調査している。

手法
著者らは、代数幾何学、組合せ論、および計算による検証を組み合わせて用いている：

1. 幾何学的解析： 行列式表現と、超曲面上に存在する特定の部分多様体（曲線または直線配置）との関連性を利用している。具体的には、イデアル層のコホモロジー（定理3.11）および「適切な（nice）」直線配置の存在に関する基準に基づいている。
2. 組合せ論的分類： ファセット（面）超平面配置に基づいて多胞体を分類している。主要な焦点は、「単純な（simple）」配置（$i$ 個の超平面の交わりが余次元 $i$ となるもの）に置かれている。
3. 滑らかさの調査： 随伴超曲面の特異点集合を分析している。著者らは、$n \geq 4$ の場合、滑らかな随伴は一般に行列式表現を排除することを証明し、一方で $n=3$ では、滑らかさは妨げにはならないものの、組合せ論的に稀であることを示している。
4. 帰納的および再帰的構成： 多角形（$n=2$）については、部分多角体の再帰的性質を用いて、明示的な三対角対称行列を構成している。
5. 計算代数： 著者らは、滑らかさの検証、イデアル層の自由分解の計算、および特定の例に対する行列式表現の明示的な構成のために、Macaulay2を使用している。

主要な貢献と結果

• 二次元（多角形）：

  • 定理 5.1： 著者らは、任意の凸多角形の随伴多項式が、定符号で対称な三対角行列式表現を持つことを証明している。
  • 構造： 行列 $M$ のサイズは随伴の次数に等しい。その成分は線形形式であり、行列は三対角である。決定的な特徴として、主要な主小行列は、部分多角体の随伴の行列式表現に対応している。
  • 性質： この表現は実数であり、対称であり、多角形の内部において正定値である。

• 三次元（多胞体）：

  • 滑らかさの稀少性： 本論文は、$n \geq 3$ において、随伴超曲面は典型的には特異であることを確立している。具体的には、単純な多胞体でファセット数が $k \geq 9$ の場合、随伴は必然的に特異となる（命題 4.2）。滑らかな随伴を許容する単純な3D多胞体の組合せ型は、10種類しか存在しない（定理 4.5）。
  • 表現の存在： 滑らかな随伴が稀であるにもかかわらず、著者らは、最大8つのファセットを持ち、かつ単純なファセット超平面配置を持つすべての3D多胞体が、行列式表現を持つことを証明している（系 6.6）。
  • メカニズム： これは、多胞体の残留配置内にある「適切な」直線配置を特定することによって達成される。定理 6.5は、$\mathbb{P}^3$ 内の曲面が正しい次数の「適切な」直線配置を含む場合、行列式表現を持つことを示している。

• 四次元および高次元：

  • 非存在： 著者らは、次元が4に達すると、随伴超曲面は一般に行列式表現を持たないことを示している。
  • 反例： 著者らは、単純なファセット配置を持つ4D多胞体を構成し、その随伴は滑らかな超曲面となる。既知の結果（命題 3.3）により、$\mathbb{P}^4$ ($n \geq 4$) における滑らかな超曲面は、行列式表現を持つことができない。
  • 一般化： 定理 4.11は、任意の次元 $n \geq 3$ に対して、ファセット数が $N$ を超える任意の多胞体は特異な随伴を持つような閾値 $N$ が存在することを証明している。しかし、高次元における滑らかな随伴の存在（例 4.6）は、単純な多胞体であっても行列式表現が保証されないことを示唆している。

• ABHY associahedron：

  • 低次元： 著者らは、2Dおよび3DのABHY associahedronの普遍的随伴に対する「AV-表現」（主要な変数が対角線上に現れる特定の種類の行列式表現）を明示的に構成している。
  • 高次元： 定理 7.7は、次元 $n \geq 7$（$(n-3)$ 次元の associahedronに対応）の場合、普遍的随伴はAV-表現を持たないことを証明している。この証明は、レイリー差および多重アフィン多項式の分解特性を利用している。

意義と主張
本論文は、多胞体の随伴が行列式表現を持つかという問いに対し、包括的な回答を提供していると主張している：

1. 低次元における正の結果： 多角形および広範なクラスの3D多胞体（ファセット数が8以下）に対して、そのような表現が常に存在することを裏付けており、多角形に対しては構成的かつ再帰的な手法を提供している。
2. 高次元における負の結果： $n \geq 4$ では、随伴超曲面の滑らかさの可能性が主な理由となり、行列式表現の存在は保証されないことを確立している。
3. 物理学的関連性： これらの結果は、物理学の文献におけるABHY associahedronに関する具体的な問いに対処している。低次元では構造化された表現が存在する一方で、高次元における負の結果は、高次元における散乱振幅の「隠れたゼロ（hidden zeros）」が、同様に構造化された行列式の形式を通じて顕在化することはない可能性を示唆している。

著者らは、高次元の associahedronに対して特定の構造化された表現（AV-表現など）を否定してはいるものの、いかなる線形行列式表現をも厳密に否定しているわけではない、と控えめなトーンを維持している。ただし、それらが「啓発的な構造（illuminating structure）」を持つことについては懐疑的である。本研究は、組合せ幾何学と代数幾何学を橋渡しし、正の幾何学における標準形式の複雑さを分析するためのツールを提供している。