[論文レビュー] Corks with large shadow-complexity and exotic 4-manifolds

Hironobu Naoe|arXiv (Cornell University)|Nov 14, 2017

Geometric and Algebraic Topology参考文献 17被引用数 3

ひとこと要約

この論文は、特別なシャドウ複雑性が $2n$ から $O(n^{3/2})$ の間で有界される無限族のマズール型コルク $C_{n,k}$ を構成し、異種4次元多様体が任意に大きなシャドウ複雑性を取り得ることを示している。これらのコルクを用いて、同じ複雑性の上限・下限を満たす異種対 $(W_{n,k}, W'_{n,k})$ を構成し、境界付き異種4次元多様体の最小複雑性に関する問題を解決した。

ABSTRACT

We construct an infinite family $\{ C_{n,k}\}_{k=1}^{\infty}$ of corks of Mazur type satisfying $2n\leq \mathrm{sc}^{\mathrm{sp}}(C_{n,k})\leq O(n^{3/2})$ for any positive integer $n$. Furthermore, using these corks, we construct an infinite family $\{(W_{n,k},W'_{n,k})\}_{k=1}^{\infty}$ of exotic pairs of $4$-manifolds with boundary whose special shadow-complexities satisfy the above inequalities. We also discuss exotic pairs with small shadow-complexity.

研究の動機と目的

• 制御された、大きな特別なシャドウ複雑性を持つマズール型コルクの無限族を構成すること。
• 境界付きの異種4次元多様体が任意に高いシャドウ複雑性を取り得ることを示すこと。
• 境界付きの異種4次元多様体対の最小特別シャドウ複雑性を解消すること。
• コルクおよび異種対の特別シャドウ複雑性に対する明示的な上界と下界を提示すること。

提案手法

• キルビー計算とハンドル体分解を用いて、$n+1$ 個の1ハンドルと $n+2$ 個の2ハンドルを持つコルク $C_{n,k}$ を定義する。
• キルビー図から構成された特別なシャドウポリヒドロンにおける真の頂点数を分析することで、シャドウ複雑性の上限を導出する。
• 上界 $D(n)$ は、$n$ と $\pi^2$ に関連する平方根の上限関数を含む式によって計算される。
• 下界 $2n$ は、 gleam 条件と定理2.8 を用いて境界3次元多様体のシャドウ複雑性を分析することで確立される。
• コルク $C_{n,k}$ にフレーミング $-1$ または $0$ の2ハンドルを付加することで、異種対 $(W_{n,k}, W'_{n,k})$ を構成し、異なる滑らかさ構造を生成する。
• 異種対の特別シャドウ複雑性は、$W_{n,k}$ と $W'_{n,k}$ のシャドウ構成から導かれる個々の複雑性の最大値によって有界づけられる。

実験結果

リサーチクエスチョン

• RQ1 境界付きの異種4次元多様体対の最小特別シャドウ複雑性は何か？
• RQ2 任意に大きなシャドウ複雑性を持つコルクまたは異種4次元多様体が存在し得るか？
• RQ3 コルクのシャドウ複雑性と、それによって生成される異種4次元多様体の複雑性の関係は何か？
• RQ4 境界3次元多様体の複雑性は、4次元多様体の特別シャドウ複雑性とどのように関係するか？
• RQ5 異種対の特別シャドウ複雑性は、$n$ の関数として下界づけられるか？

主な発見

• 特別シャドウ複雑性が $2n \leq \mathrm{sc}^{\mathrm{sp}}(C_{n,k}) \leq D(n)$ を満たすマズール型コルク $\{C_{n,k}\}_{k=1}^\infty$ の無限族が構成され、$D(n)$ は上限関数を含む分岐関数として明示的に与えられる。
• 上界 $D(n)$ は漸近的に $O(n^{3/2})$ であり、$n$ に対して2次未塔の速度でシャドウ複雑性が増加することを示している。
• 異種対 $(W_{n,k}, W'_{n,k})$ の特別シャドウ複雑性は $2n \leq \mathrm{sc}^{\mathrm{sp}}(W_{n,k}, W'_{n,k}) \leq D(n)$ を満たし、異種構造における大きな複雑性を確認した。
• 境界付き異種4次元多様体対の最小特別シャドウ複雑性が1または2であることが示され、コスティアノの提起した問題を解決した。
• 境界3次元多様体 $W'_{n,k}$ の特別シャドウ複雑性は $2n$ であり、これは4次元多様体の複雑性に対する下界に直接寄与する。
• この構成により、$n$ を大きくすることで特別シャドウ複雑性を任意に大きくできる境界付き異種4次元多様体が存在することが確認された。