[論文レビュー] A $G$-family of quandles and handlebody-knots

Atsushi Ishii, Masahide Iwakiri+2 more|arXiv (Cornell University)|May 9, 2012

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

ひとこと要約

本稿では、ハンドルbody-knot理論と局所移動に基づく群構造を有する代数的系である$G$-ファミリーの quandle を導入し、ハンドルbody-knotに対して非アーベル quandle コホロロジー不変量を構成する。この不変量は、$5_3$、$6_5$、$6_{11}$、$6_{12}$ において以前に未知であった鏡像性を検出でき、同型な補空間を持つ$6_{14}$ と $6_{15}$ をも区別する。既存の不変量を一般化し、群作用によって複数の quandle を統一的に取り扱うフレームワークを提供する。

ABSTRACT

We introduce the notion of a $G$-family of quandles which is an algebraic system whose axioms are motivated by handlebody-knot theory, and use it to construct invariants for handlebody-knots. Our invariant can detect the chiralities of some handlebody-knots including unknown ones.

研究の動機と目的

• ハンドルbody-knot理論および三価グラフ図の局所移動に由来する、$G$-ファミリーの quandle という新しい代数的枠組みを構築すること。
• 従来の不変量が失敗する場合でも、鏡像性を検出可能なハンドルbody-knot用の quandle コホロロジー不変量を構成すること。
• 群作用によって複数の quandle を統一的に取り扱う非アーベル枠組みを導入することで、既存の quandle コホロロジー不変量を一般化すること。
• $G$-ファミリーの quandle に対してホモロジー理論を提供し、コホロロジー類および不変量の効率的計算を可能にする。

提案手法

• ハンドルbody-knotの局所移動に由来する公理を満たす、各$g \in G$に対応する二項演算$*^g$を備えた集合$X$として$G$-ファミリーの quandle を定義する。
• ハンドルbody-knot図の彩色を可能にする、$X \times G$に定義された関係$(x,g)*(y,h) = (x*^h y, h^{-1}gh)$を備えた関連する quandle を構成する。
• 群重み付き演算を持つタプルによって生成されるチェーン複体を用いて、$G$-ファミリーの quandle に対するホモロジー理論を定義する。
• $G$-ファミリーのコホロロジー類を用いて彩色に重みを割り当て、ハンドルbody-knot$H$に対して非アーベルコホロロジー不変量$\Phi_{\theta}^{\text{hom}}(H)$を構成する。
• 群不変性を活用し、ノサカの研究に示されるように、$G$-不変な群コホロロジー類から$G$-ファミリー内のコホロロジー類を誘導する。
• 新しい不変量が、[7]で定義されたアーベル不変量$\Phi_{\theta}^{\text{I}}(H)$を、二つのチェーン複体のホモロジー群の同型写像によって一般化することを証明する。

実験結果

リサーチクエスチョン

• RQ1 ハンドルbody-knot図の局所移動を反映する公理を持つ$G$-ファミリーの quandle を構成可能か？
• RQ2 得られた quandle コホロロジー不変量は、従来の不変量が失敗するハンドルbody-knotの鏡像性を検出可能か？
• RQ3 同型な基本群をもつ$6_{14}$ と $6_{15}$ のようなハンドルbody-knotを、新しい不変量が区別可能か？
• RQ4 新しい不変量は、[7]で定義されたアーベル quandle コホロロジー不変量の一般化であるか？
• RQ5 $G$-ファミリーの quandle に付随する quandle は、ハンドルbody-knot不変量のための一貫した彩色およびコホロロジー重み割り当てを可能にするか？

主な発見

• $G$-ファミリーの quandle の構成は、群作用によって複数の quandle を同時に取り扱う統一的枠組みを提供する。
• quandle コホロロジー不変量は、$5_3$、$6_5$、$6_{11}$、$6_{12}$ の鏡像性を検出し、これらは以前は鏡像であることが未知であった。
• 補空間の基本群が同型であるにもかかわらず、$6_{14}$ と $6_{15}$ を区別する。
• 関連する quandle $X \times G$ は一貫した彩色を可能とし、非アーベルコホロロジー不変量の定義を可能にする。
• 新しい不変量は、[7]のアーベル不変量$\Phi_{\theta}^{\text{I}}(H)$を、二つのチェーン複体のホモロジー群の同型写像によって一般化する。
• $G$-不変な群コホロロジー類から$G$-ファミリー内のコホロロジー類を誘導することで、計算のオーバーヘッドを低減し、不変量の効率的計算が可能になる。