[論文レビュー] Geometrically bounding 3-manifold, volume and Betti number

Jiming Ma, Fangting Zheng|arXiv (Cornell University)|Apr 10, 2017

Geometric and Algebraic Topology参考文献 16被引用数 4

ひとこと要約

本稿は、線形に接続されたドデカヘドロンの小被覆理論と、Kolpakov、Martelli、Tschantzの結果を用いて、任意の正の整数 $n$ に対して、第一ベッチ数が奇数で、体積が $16nv$（$v \approx 4.3062$ は正規の直角をもつ双曲的ドデカヘドロンの体積）であるような、無限に多くの閉じた双曲的3次元多様体を構成する。これらの多様体は、完全測地的双曲的4次元多様体を幾何的に境界付ける。主な貢献は、各 $n$ に対して、体積 $16nv$ の幾何的に境界付ける3次元多様体が少なくとも $ olimits\lceil(5n+3)/2\rceil$ 個存在することを示したことである。これにより、体積あたりのこのような多様体の数が、少なくとも線形に増加することを示している。

ABSTRACT

It is well known that an arbitrary closed orientable $3$-manifold can be realized as the unique boundary of a compact orientable $4$-manifold, that is, any closed orientable $3$-manifold is cobordant to zero. In this paper, we consider the geometric cobordism problem: a hyperbolic $3$-manifold is geometrically bounding if it is the only boundary of a totally geodesic hyperbolic 4-manifold. However, there are very rare geometrically bounding closed hyperbolic 3-manifolds according to the previous research [11,13]. Let $v \approx 4.3062\ldots$ be the volume of the regular right-angled hyperbolic dodecahedron in $\mathbb{H}^{3}$, for each $n \in \mathbb{Z}_{+}$ and each odd integer $k$ in $[1,5n+3]$, we construct a closed hyperbolic 3-manifold $M$ with $β^1(M)=k$ and $vol(M)=16nv$ that bounds a totally geodesic hyperbolic 4-manifold. The proof uses small cover theory over a sequence of linearly-glued dodecahedra and some results of Kolpakov-Martelli-Tschantz [9].

研究の動機と目的

• 双曲的3次元多様体が完全測地的双曲的4次元多様体を幾何的に境界付ける条件について未解決の問題に取り組むこと。
• 第一ベッチ数と体積が指定された閉じた双曲的3次元多様体の明示的族を構成し、それらがこのような4次元多様体を境界付けること。
• 体積あたりの幾何的に境界付ける3次元多様体の数が、少なくとも線形に増加することを示し、このような例の希少性に反する。

提案手法

• 線形に接続された $n$ 重のドデカヘドロンの上に小被覆理論を適用し、トポロジーを制御された3次元多様体を構成する。
• $\mathbb{Z}_2^k$-彩色をドデカヘドロンの面に施し、小被覆を定義し、軌道多面体の $h$-ベクトルを用いてベッチ数を計算する。
• Kolpakov、Martelli、Tschantzが得た完全測地的境界をもつ双曲的4次元多様体に関する結果を応用する。
• 接続されたドデカヘドロンの系列におけるベッチ数の再帰的関係を用いて、$[1, 5n+3]$ の範囲の奇数のベッチ数を持つ多様体を生成する。
• $\mathbb{Z}_2^3$-彩色を1つのドデカヘドロンに施し、1から7までのすべての奇数のベッチ数を実現する。
• $\mathbb{Z}_2^3$-彩色と自然な $\mathbb{Z}_2^4$-拡張を組み合わせることで、完全測地的境界をもつ必要な4次元双曲的多様体を構築する。

実験結果

リサーチクエスチョン

• RQ1 整数の $\eta$-不変量をもつ双曲的3次元多様体は、完全測地的双曲的4次元多様体を幾何的に境界付けるか？
• RQ2 同じ体積をもつ幾何的に境界付ける3次元多様体は、いくつ存在するか？
• RQ3 第一ベッチ数が指定された奇数で、体積が指定された閉じた双曲的3次元多様体を、体系的に構成できるか？

主な発見

• 各 $n \in \mathbb{Z}_+$ および各奇数 $k \in [1, 5n+3]$ に対して、$\beta^1(M) = k$ かつ $\mathrm{vol}(M) = 16nv$ となる閉じた双曲的3次元多様体 $M$ が存在する。ここで $v \approx 4.3062$ は、正規の直角をもつ双曲的ドデカヘドロンの体積である。
• 体積 $16nv$ の幾何的に境界付ける3次元多様体の数は、少なくとも $\lceil(5n+3)/2\rceil$ 個存在する。これは、体積 $\leq x$ の幾何的に境界付ける3次元多様体の数を表す関数 $f_b(x)$ が、少なくとも線形に増加することを示している。
• 構成は、線形に接続されたドデカヘドロンの上での小被覆に依拠しており、$\mathbb{Z}_2^3$-彩色とその $\mathbb{Z}_2^4$-拡張が用いられている。
• 得られる3次元多様体のベッチ数は、接続されたドデカヘドロンの数と彩色パラメータに関する再帰的関係を用いて体系的に制御されている。
• 1つのドデカヘドロンに施された明示的な $\mathbb{Z}_2^3$-彩色が、1から7までのすべての奇数のベッチ数を実現する。
• 構成された3次元多様体が完全測地的双曲的4次元多様体を境界付けることが証明されており、幾何的境界付ける性質が確認されている。