[論文レビュー] The average dual surface of a cohomology class and minimal simplicial decompositions of infinitely many lens spaces

Ed Swartz|arXiv (Cornell University)|Oct 8, 2013

Advanced Combinatorial Mathematics参考文献 10被引用数 9

ひとこと要約

本稿では、単体的ポセットにおけるコhomology類に対応する離散的正規表面の平均オイラー標数を導入し、それが三角形分割のfベクトルにのみ依存することを証明する。特に、$2k = qr + 1$ を満たすレンズ空間 $L(2k,q)$ に適用することで、最小の単体的ポセット（結晶化）が正確に $4(q + r)$ 個の単体を持つことが示され、無限個の3次元多様体に対して未解決であった問題が解決される。

ABSTRACT

Discrete normal surfaces are normal surfaces whose intersection with each tetrahedron of a triangulation has at most one component. They are also natural Poincaré duals to 1-cocycles with $\ZZ/2\ZZ$-coefficients. For a fixed cohomology class in a simplicial poset the average Euler characteristic of the associated discrete normal surfaces only depends on the $f$-vector of the triangulation. As an application we determine the minimum simplicial poset representations, also known as crystallizations, of lens spaces $L(2k,q),$ where $2k=qr+1.$ Higher dimensional analogs of discrete normal surfaces are closely connected to the Charney-Davis conjecture for flag spheres.

研究の動機と目的

• $2k = qr + 1$ を満たすレンズ空間 $L(2k,q)$ の最小の単体的ポセット（結晶化）表現を特定すること。
• 固定されたコhomology類 $[\phi] \in H^1(\Delta; \bbZ/2\bbZ)$ に対応する離散的正規表面の平均オイラー標数が、三角形分割のfベクトルにのみ依存することを確立すること。
• 離散的正規表面およびその双対性の枠組みを単体的ポセットへ拡張し、それらをフラッグ球体に関するチャニー＝デービス予想と結びつけること。
• コhomologicalおよび組合せ的技法を用いて、無限個の非分解的3次元多様体の最小三角形分割問題を解決すること。

提案手法

• 各単体と高々1つの成分で交わる表面を離散的正規表面と定義し、1コサイクルの $\bbZ/2\bbZ$-ポアンカレ双対として定式化する。
• 固定されたコhomology類 $[\phi] \in H^1(\Delta; \bbZ/2\bbZ)$ 内のすべてのコサイクルにわたる離散的正規表面の平均オイラー標数を導入し、それが $\sum_{j=0}^d (-1/2)^j f_j$ に等しいことを証明する。
• fベクトルの公式を用いて、非自明なコhomology類に対応する離散的正規表面のオイラー標数を評価する。
• レンズ空間 $L(2k,q)$（$2k = qr + 1$）にその評価を適用し、非可定向な表面の埋め込み定理（BredonとWoodの定理）を活用する。
• 可定向成分（球面を除く）はオイラー標数を増加させず、ホモロジー的議論により球面成分が除外されることを示す。
• 不等式 $4f_0 - f_3 \leq 8\chi(S_\psi)$ と $\chi(S_\psi)$ の最大値 $\leq (4 - q - r)/2$ を組み合わせ、下界 $f_3 \geq 4(q + r)$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 $2k = qr + 1$ のとき、レンズ空間 $L(2k,q)$ の単体的ポセットによる三角形分割（結晶化）における最小の単体数は何か？
• RQ2 固定されたコhomology類に対応する離散的正規表面の平均オイラー標数は、三角形分割のfベクトルにどのように依存するか？
• RQ3 特定の多様体構造に依存しないコhomologicalおよび組合せ的不変量を用いて、$L(2k,q)$ の最小結晶化を特定できるか？
• RQ4 単体的ポセットにおける離散的正規表面は、ベッチ数や埋め込み障害といった位相的不変量をどの程度反映するか？
• RQ5 離散的正規表面の平均オイラー標数は、フラッグ球体に関するチャニー＝デービス予想とどのように関係するか？

主な発見

• 固定されたコhomology類 $[\phi] \in H^1(\Delta; \bbZ/2\bbZ)$ に対応する離散的正規表面の平均オイラー標数は、単体的ポセット $\Delta$ のfベクトルにのみ依存し、$\sum_{j=0}^d (-1/2)^j f_j$ で与えられる。
• 任意の $L(2k,q)$（$2k = qr + 1$）の最小結晶化において、単体数は正確に $4(q + r)$ 個であり、既知の構成と一致し、最小性が証明される。
• レンズ空間 $L(2k,q)$ 内の非可定向な離散的正規表面の最大可能オイラー標数は、BredonとWoodの埋め込み定理に従い、$\frac{4 - q - r}{2}$ である。
• $L(2k,q)$ 内の離散的正規表面の可定向成分は、球面を除いてオイラー標数を増加させず、ホモロジー的議論により球面成分は除外される。
• $4f_0 - f_3 \leq 8\chi(S_\psi)$ と $\chi(S_\psi)$ の上界を組み合わせることで、下界 $f_3 \geq 4(q + r)$ が得られ、最小性が証明される。
• この結果により、$L(2k,1)$ の標準的結晶化が最小であることが確認され、$2k = qr + 1$ を満たすすべての $L(2k,q)$ に拡張され、この無限族に対する最小三角形分割問題が解決される。