[論文レビュー] Classifying compact 4-manifolds via generalized regular genus and G-degree

María Rita Casali, Paola Cristofori|arXiv (Cornell University)|Dec 3, 2019

Geometric and Algebraic Topology参考文献 30被引用数 8

ひとこと要約

本稿は、PL 4次元多様体を表す5色付きグラフから導かれる2つの組合せ的不変量—一般化 regular 位数とG次数—を用いて、コンパクトな4次元多様体を分類する。すべてのコンパクトなPL 4次元多様体で一般化 regular 位数 ≤1 または G次数 ≤18 のものは完全に分類され、境界が空集合または連結な場合に限り、位数 ≤2 および G次数 ≤24 への拡張がなされる。

ABSTRACT

(d+1)-colored graphs, i.e. edge-colored graphs that are (d+1)-regular, have already been proved to be a useful representation tool for compact PL d-manifolds, thus extending the theory (known as crystallization theory) originally developed for the closed case. In this context, combinatorially defined PL invariants play a relevant role. The present paper focuses in particular on generalized regular genus and G-degree: the first one extending to higher dimension the classical notion of Heegaard genus for 3-manifolds, the second one arising, within theoretical physics, from the theory of random tensors as an approach to quantum gravity in dimension greater than two. We establish several general results concerning the two invariants, in relation with invariants of the boundary and with the rank of the fundamental group, as well as their behaviour with respect to connected sums. We also compute both generalized regular genus and G-degree for interesting classes of compact d-manifolds, such as handlebodies, products of closed manifolds by the interval and D^2-bundles over S^2. The main results of the paper concern dimension 4, where we obtain the classification of all compact PL manifolds with generalized regular genus at most one, and of all compact PL manifolds with G-degree at most 18; moreover, in case of empty or connected boundary, the classifications are extended to generalized regular genus two and to G-degree 24.

研究の動機と目的

• エッジ色付きグラフから導かれる組合せ的不変量を用いた、コンパクトな4次元多様体の分類を拡張すること。
• 基本群や境界構造などの位相的不変量と関連して、一般化 regular 位数とG次数の挙動を調査すること。
• ハンドル体、区間との積、S² 上のD²-バンドルを含む、4次元多様体の主要なクラスについて、これらの不変量を計算すること。
• 一般化 regular 位数が1以下でG次数が18以下のコンパクトなPL 4次元多様体の完全な分類を確立すること。
• 境界が空集合または連結な場合に限り、一般化 regular 位数2およびG次数24への分類を拡張すること。

提案手法

• コンパクトなPL 4次元多様体の表現ツールとして5色付きグラフ（5-正則エッジ色付きグラフ）を用い、閉じていない場合へのクラスタリゼーション理論の拡張を行う。
• グラフが正則に埋め込まれる曲面の genus に基づいて定義される一般化 regular 位数およびG次数の不変量を用い、多様体を組合せ的に分類する。
• グラフの連結和と、区間との積およびS² 上のD²-バンドルのための5色付きグラフの構成を用いて、不変量を計算する。
• G次数と一般化 regular 位数の関係、特に不等式 $\mathcal{D}_G(N) \geq \frac{4!}{2} \cdot \overline{\mathcal{G}}(N) = 12 \cdot \overline{\mathcal{G}}(N)$ を用いて、境界を導出する。
• G-複雑度とクラスタリゼーション理論の既知の結果を用い、閉じた3次元多様体における $\mathcal{D}_G(M)$ を計算し、$M \times I$ に拡張する。
• 4色付き部分グラフの genus 貢献に基づいて導出された、$M \times I$ を表す5色付きグラフ $\tilde{\Gamma}$ についての公式 $\omega_G(\tilde{\Gamma}) = 6 \cdot \mathcal{D}_G(M)$ を活用する。

実験結果

リサーチクエスチョン

• RQ1 一般化 regular 位数が1以下のコンパクトなPL 4次元多様体はどれか？
• RQ2 G次数が18以下のコンパクトなPL 4次元多様体はどれか？
• RQ3 一般化 regular 位数とG次数は、連結和や境界に関してどのように振る舞うか？
• RQ4 Euler類がさまざまな値をとるS² 上のD²-バンドルのG次数の値は何か？
• RQ5 閉じた3次元多様体 $M$ のG次数を用いて、$M \times I$ のG次数を上界で抑えられるか？

主な発見

• 一般化 regular 位数が1以下のすべてのコンパクトなPL 4次元多様体は完全に分類され、$S^4$、$S^3 \times I$、$S^2 \times D^2$、$\mathbb{Y}_1^4$ およびそれらの連結和が含まれる。
• G次数が18以下のすべてのコンパクトなPL 4次元多様体は完全に分類され、$S^4$、$S^3 \times I$、$S^2 \times D^2$、$\mathbb{Y}_1^4$ およびそれらの連結和が含まれる。
• 境界が空集合または連結な多様体に対しては、分類が一般化 regular 位数2およびG次数24に拡張され、$\mathbb{Y}_1^4 \# \mathbb{Y}_1^4$、$\mathbb{Y}_1^4 \# \tilde{\mathbb{Y}}_1^4$、および $\tilde{\mathbb{Y}}_1^4 \# \tilde{\mathbb{Y}}_1^4$ が含まれる。
• Euler類 $c=2$ の $\mathbb{D}^2$-バンドルのG次数は正確に24であり、$c \geq 3$ の場合、$30 \leq \mathcal{D}_G(\xi_c) \leq 12c$ を満たす。
• $L(3,1) \times I$ のG次数は正確に30であり、$\mathcal{D}_G(M \times I) \leq 6 \cdot \mathcal{D}_G(M)$ による上界から計算され、この場合に等号が成り立つ。
• 任意の閉じた3次元多様体 $M$ で、G-複雑度を実現するクラスタリゼーションを持つものについて、$\mathcal{D}_G(M \times I) = 6 \cdot \mathcal{D}_G(M)$ が成り立つ。