[論文レビュー] Polyhedral Surfaces in Wedge Products

Thilo Rörig, Günter M. Ziegler|ArXiv.org|Aug 21, 2009

Advanced Combinatorial Mathematics参考文献 7被引用数 4

ひとこと要約

本稿では、部分直接積を一般化し、 wreath 積を双対化する新しい構成として、多面体のウェッジ積を導入する。ウェッジ積の多角形および単体は、型 {p,2q} の組合せ的に正則な多面体的曲面を含み、高次元の実現空間を有するため、R³ への射影により、{p,4} の場合に少なくとも 6p 個のモジュライが得られ、幾何的変形の豊かさと双対曲面の実現が可能になる。

ABSTRACT

We introduce the wedge product of two polytopes. The wedge product is described in terms of inequality systems, in terms of vertex coordinates as well as purely combinatorially, from the corresponding data of its constituents. The wedge product construction can be described as an iterated ``subdirect product'' as introduced by McMullen (1976); it is dual to the ``wreath product'' construction of Joswig and Lutz (2005). One particular instance of the wedge product construction turns out to be especially interesting: The wedge products of polygons with simplices contain certain combinatorially regular polyhedral surfaces as subcomplexes. These generalize known classes of surfaces ``of unusually large genus'' that first appeared in works by Coxeter (1937), Ringel (1956), and McMullen, Schulz, and Wills (1983). Via ``projections of deformed wedge products'' we obtain realizations of some of the surfaces in the boundary complexes of 4-polytopes, and thus in R^3. As additional benefits our construction also yields polyhedral subdivisions for the interior and the exterior, as well as a great number of local deformations (``moduli'') for the surfaces in R^3. In order to prove that there are many moduli, we introduce the concept of ``affine support sets'' in simple polytopes. Finally, we explain how duality theory for 4-dimensional polytopes can be exploited in order to also realize combinatorially dual surfaces in R^3 via dual 4-polytopes.

研究の動機と目的

• 新しい構成である多面体のウェッジ積を定義し、部分直接積を一般化し、wreath 積を双対化すること。
• p 辺形と (q−1)-単体のウェッジ積が、型 {p,2q} の組合せ的に正則な多面体的曲面 Σp,2q を含むことを示すこと。
• 変形されたウェッジ積の射影を通じて、R³ 内でのこれらの曲面の幾何的実現を提供すること。
• 単純多面体におけるアフィンサポート集合を用いて、このような曲面の高次元実現空間（モジュライ）を確立すること。
• 4-多面体における双対性を活用し、型 {4,p} の双対曲面 Σp,4* を実現する構成を拡張すること。

提案手法

• 明示的な線形不等式系を用いて、2つの多面体のウェッジ積を定義し、面および頂点構造に対する正確な制御を可能にする。
• 明示的な頂点座標と組合せ的記述を用いて、反復的直接積として C_p ⋈ Δ_{q−1} のウェッジ積を構成する。
• C_p ⋈ Δ_{q−1} の2次元スケルトン内に、型 {p,2q} の正則かつ等倍の曲面をなす特定の部分複体 Σp,2q を同定する。
• Perles の補題を用いて、高次元ウェッジ積を R⁵ に射影し、q=2 の場合に下側のヒルに直交射影することでさらに R³ に射影する。
• 単純多面体におけるアフィンサポート集合の概念を導入し、実現空間の次元の下界を評価する。
• 4-多面体における双対性を活用し、双対射影を通じて型 {4,p} の双対曲面 Σp,4* を R³ に実現する。

実験結果

リサーチクエスチョン

• RQ1 ウェッジ積の構成は、高 genus で対称的な構造を有する R³ 内の新しい正則な多面体的曲面の族を生じるか？
• RQ2 これらの曲面の実現は、独立な変形（モジュライ）をいくつ許容するか、そしてその数を定量化できるか？
• RQ3 曲面 Σp,4 は 4-多面体の射影を通じて R³ に実現可能か？ また、その射影は曲面の構造を保存するか？
• RQ4 アフィンサポート集合は、射影された多面体的曲面の実現空間の次元を推定する上で果たす役割は何か？
• RQ5 4-多面体における双対性を用いて、組合せ的に双対な曲面 Σp,4* を R³ に実現可能か？

主な発見

• p 辺形と 1-単体（辺）のウェッジ積は、2p 次元の単純多面体 W_{p,1} を生成し、その2次元スケルトン内に型 {p,4} の正則曲面 Σp,4 を含む。
• 曲面 Σp,4 は構造を保存する直交射影により R³ に射影可能であり、3次元空間内での実現が得られる。
• Σp,4 の実現空間には少なくとも 6p 個の独立モジュライが存在し、W_{p,1} 内のサイズ 2p のアフィンサポート集合により確立された。
• 型 {4,p} の双対曲面 Σp,4* は、双対 4-多面体の射影を通じて R³ に実現可能であり、4次元多面体における双対性を活用している。
• q>2 かつ p>3 の場合、W_{p,q−1} から R⁴ への曲面 Σp,2q の射影は、位相的障害により存在しない。p=3 の場合は未解決のまま残っている。
• アフィンサポート集合の使用は、射影された多面体的曲面のモジュライ数の下界を一般に評価するための有効な手法を提供する。