[論文レビュー] Generalized Bott-Cattaneo-Rossi invariants of high-dimensional long knots

David Leturcq|arXiv (Cornell University)|Jul 2, 2019

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

ひとこと要約

この論文は、高次元の長い紐結びのボット＝カタネオ＝ロッシ（BCR）不変量を、漸近的ホモロジーRn+2と呼ばれるより広い多様体のクラスへ一般化し、伝搬形式と柔軟な図式的定義を用いる。これらの一般化された不変量が有理数であること、連結和に関して加法的であること、並進構造が存在する場合にはその選択に依存しないこと、そしてRn+2に限定されない非並進可能多様体へも連結和を用いて理論を拡張できることを確立する。

ABSTRACT

Bott, Cattaneo and Rossi defined invariants of long knots $\mathbb R^n \hookrightarrow \mathbb R^{n+2}$ as combinations of configuration space integrals for $n$ odd $\geq 3$. Here, we give a more flexible definition of these invariants. Our definition allows us to interpret these invariants as counts of diagrams. It extends to long knots inside more general $(n+2)$-manifolds, called asymptotic homology $\mathbb R^{n+2}$, and provides invariants of these knots.

研究の動機と目的

• ホモロジー球面ではあるが、必ずしも並進可能ではない(n+2)-次元多様体における長い紐結びのボット＝カタネオ＝ロッシ（BCR）不変量Zkを一般化すること。
• 配置空間積分と図式的数え上げを用いて、BCR不変量のより柔軟な定義を提示し、Rn+2に限定されない応用を可能とすること。
• 一般化された不変量が有理数であること、および並進構造が存在する場合にその選択に依存しないことを証明すること。
• 連結和と加法性を用いて、非並進可能な場合でも奇数次元の漸近的ホモロジーRn+2への不変量の拡張を実現すること。
• 不変量を配置空間における交差数の有理数係数組み合わせとしての図式的解釈を確立すること。

提案手法

• 並進可能で、コンパクト集合の外で接続 bundle が自明化された漸近的ホモロジーRn+2上での伝搬形式を用いて、一般化されたBCR不変量Zkを定義する。これはRn+2とホモロジーを共有するが、コンパクト集合の外で接続 bundle が自明化された多様体である。
• 配置空間内の鎖の交差数の有理数係数組み合わせとして不変量を表現し、図式的解釈を提供する。
• BCR図式における頂点および辺の色分けとラベル付けの仕組みを用いて、配置空間積分を定義する。
• 任意の2つの並進構造が小さな球の外でホモトープであることを示すことにより、不変量が並進構造の選択に依存しないことを証明する。
• 連結和に関する加法性を活用し、自らと連結和を取ることで、非並進可能な漸近的ホモロジーRn+2への不変量の拡張を実現する。
• n ≡1 mod 4 のとき、並進可能な漸近的ホモロジーRn+2における長い紐結びに対して、Z2を自己リンク数やアレクサンダー多項式の言葉で表現する。

実験結果

リサーチクエスチョン

• RQ1 BCR不変量は、Rn+2に限定されないがホモロジー(n+2)-球面である多様体における長い紐結びへ一般化可能か？
• RQ2 一般化されたBCR不変量は、環境多様体における並進構造の選択に依存しないか？
• RQ3 不変量は配置空間における交差数の有理数係数組み合わせとして定義可能か？
• RQ4 長い紐結びの連結和において不変量はどのように振る舞うか？
• RQ5 一般化された不変量は、自己リンク数やアレクサンダー多項式といった古典的不変量の言葉で表現可能か？

主な発見

• 一般化されたBCR不変量（Zk）は、配置空間における交差数の有理数係数組み合わせとして定義されるため、実数ではなく有理数であることが示された。
• 不変量Zkは、定理2.17で示されたように、長い紐結びの連結和に関して加法的である。
• 並進構造が存在する場合、一般化された不変量はその選択に依存しない。定理6.2により、任意の2つの並進構造が小さな球の外でホモトープであることが示された。
• n ≡1 mod 4 のとき、一般化されたZ2不変量は、並進可能な漸近的ホモロジーRn+2における長い紐結びに対して、自己リンク数またはアレクサンダー多項式の言葉で表現可能である。
• 加法性と連結和を用いることで、非並進可能な奇数次元の漸近的ホモロジーRn+2に対しても不変量が拡張可能である。
• 伝搬形式と彩色付きグラフを用いたZkの図式的定義は、不変量の柔軟かつ計算可能なフレームワークを提供する。