[論文レビュー] Tight triangulations of some 4-manifolds

Basudeb Datta, Nitin Singh|arXiv (Cornell University)|Jul 26, 2012

Geometric and Algebraic Topology参考文献 7被引用数 6

ひとこと要約

この論文は、21、26、41 頂点の 4 次元多様体に対して、K"uhnel の面ベクトルに関する下界に等号を達成する、きつい強最小の三角形分割を構成する。これは、$S^3 \times S^1$ および $S^3 \mathbin{\#} S^1$ の非自明な直和に相当し、素数位数の自己同型群を有する。構成法は組合せデザインと巡回的対称性を用い、Walkup のクラス $\mathcal{K}(4)$ の 2-隣接型メンバーを実現し、未達成の頂点数におけるこのような多様体の存在を証明する。

ABSTRACT

Walkup's class ${\cal K}(d)$ consists of the $d$-dimensional simplicial complexes all whose vertex links are stacked $(d-1)$-spheres. According to a result of Walkup, the face vector of any triangulated 4-manifold $X$ with Euler characteristic $χ$ satisfies $f_1 \geq 5f_0 - 15/2 χ$, with equality only for $X \in {\cal K}(4)$. Kühnel observed that this implies $f_0(f_0 - 11) \geq -15χ$, with equality only for 2-neighborly members of ${\cal K}(4)$. For $n = 6, 11$ and 15, there are triangulated 4-manifolds with $f_0=n$ and $f_0(f_0 - 11) = -15χ$. In this article, we present triangulated 4-manifolds with $f_0 = 21, 26$ and 41 which satisfy $f_0(f_0 - 11) = -15χ$. All these triangulated manifolds are tight and strongly minimal.

研究の動機と目的

• 6、11、15 頂点の既知のケースを超えて、4 次元多様体のきつい強最小の三角形分割のリストを拡張すること。
• 21、26、41 項目の K"uhnel の不等式 $f_0(f_0 - 11) = -15\chi$ の等号条件を満たす 4 次元多様体の明示的三角形分割を構成すること。これは、$S^3 \times S^1$ および $S^3 \mathbin{\#} S^1$ の非自明な直和に対応する。
• このような多様体が素数位数の自己同型群 $\mathbb{Z}_p$（$p = -\chi/2$）を伴い、その存在を示すこと。また、きつさと強最小性を確認すること。

提案手法

• 頂点集合への巡回群作用と 6 要素部分集合の交わる族を用い、$\overline{\mathcal{K}}(5)$ の隣接型メンバーとして 5 次元単体的複体 $A^5_{21}, B^5_{21}, B^5_{26}, A^5_{41}$ を構成する。
• 5 複体の双対グラフを用いて、これらの複体の境界として 4 次元多様体の三角形分割 $M^4_{21}, N^4_{21}, N^4_{26}, M^4_{41}$ を定義する。
• 得られた 4 次元多様体の三角形分割が $\mathcal{K}^*(4)$ に属することを確認する。すなわち、すべての頂点リンクがスタックド 3 次元球面であることを示す。
• Effenberger の結果を適用し、可定向の場合には $\mathbb{Q}$-きつさ、非可定向の場合には $\mathbb{Z}_2$-きつさを確認する。
• Bagchi と Datta の結果を用いて、任意の体 $\mathbb{F}$ に対して $\mathbb{F}$-きつい複体が $\mathcal{K}(4)$ に属する場合、強最小性が保証されることを確認する。
• simpcomp などの計算ツールを用いて自己同型群と位相的不変量を検証する。

実験結果

リサーチクエスチョン

• RQ1 21、26、41 頂点の 4 次元多様体について、K"uhnel の境界 $f_0(f_0 - 11) = -15\chi$ における等号を満たすきつい強最小の三角形分割を構成できるか？
• RQ2 このような三角形分割が、オイラー標数の絶対値が素数である $S^3 \times S^1$ および $S^3 \mathbin{\#} S^1$ の直和に対して存在するか？
• RQ3 これらの多様体が自己同型群 $\mathbb{Z}_p$（$p = -\chi/2$ が素数）を伴い実現可能か？
• RQ4 構成された三角形分割は $\mathbb{Q}$-きついか、$\mathbb{Z}_2$-きついか、強最小性を満たすか？
• RQ5 構成に用いられた 5 複体の双対グラフは木であるか？これにより 5 複体がスタックドボールであることが保証されるか？

主な発見

• $S^3 \times S^1)^{\#8}$ の 21 項目の三角形分割を構成した。これは $\mathbb{Q}$-きつで、強最小であり、自己同型群は $\mathbb{Z}_7$ である。
• $S^3 \mathbin{\#} S^1)^{\#8}$ の 21 項目の三角形分割を構成した。これは $\mathbb{Z}_2$-きつで、強最小であり、自己同型群は $\mathbb{Z}_7$ である。
• $S^3 \mathbin{\#} S^1)^{\#14}$ の 26 項目の三角形分割を構成した。これは $\mathbb{Z}_2$-きつで、強最小であり、自己同型群は $\mathbb{Z}_{13}$ である。
• $S^3 \times S^1)^{\#42}$ の 41 項目の三角形分割を構成した。これは $\mathbb{Q}$-きつで、強最小であり、自己同型群は $\mathbb{Z}_{41}$ である。
• すべての構成された三角形分割は等式 $f_0(f_0 - 11) = -15\chi$ を満たしており、$\mathcal{K}(4)$ の 2-隣接型メンバーであることが確認された。
• 各三角形分割の完全な自己同型群は $\mathbb{Z}_p$ に同型であり、$p = -\chi/2$ が素数である。この群は頂点に推移的に作用する。