[論文レビュー] A systematic search of knot and link invariants beyond modular data

Colleen Delaney, Alan Tran|arXiv (Cornell University)|Jun 7, 2018

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

ひとこと要約

この論文は、$G = \mathbb{Z}_{11} \rtimes \mathbb{Z}_5$ に対するランク49のモジュラーカテゴリ $χ(\mathrm{Vec}_G^\omega)$ において、ねじれおよびリンク不変量を体系的に調査し、特に小さなねじれやリンクからの不変量が、モジュラーデータのみに依存するものよりも多くの情報を含むことを示している。主な結果は、$5_2$ ねじれおよびいくつかの他のリンクが、モジュラーデータに依存せずにこれらのカテゴリを強く区別できることであり、こうした不変量が従来のモジュラー不変量を超える強力なツールであることが明らかになった。

ABSTRACT

The smallest known example of a family of modular categories that is not determined by its modular data are the rank 49 categories $\mathcal{Z}( ext{Vec}_G^ω)$ for $G=\mathbb{Z}_{11} times \mathbb{Z}_{5}$. However, these categories can be distinguished with the addition of a matrix of invariants called the $W$-matrix that contains intrinsic information about punctured $S$-matrices. Here we show that it is a common occurrence for knot and link invariants to carry more information than the modular data. We present the results of a systematic investigation of the invariants for small knots and links. We find many small knots and links that are complete invariants of the $\mathcal{Z}( ext{Vec}_G^ω)$ when $G=\mathbb{Z}_{11} times \mathbb{Z}_{5}$, including the $5_2$ knot.

研究の動機と目的

• モジュラーデータのみでは区別できない場合に、ねじれおよびリンク不変量がモジュラーテンソルカテゴリを区別できるかどうかを調査すること。
• Mignard-Schauenburgの反例の文脈において、モジュラーデータよりも多くの情報を含む特定の小さなねじれやリンクを同定すること。
• $G = \mathbb{Z}_{11} \rtimes \mathbb{Z}_5$ に対する $\mathcal{Z}(\mathrm{Vec}_G^\omega)$ カテゴリにおいて、10交差以下のねじれおよび9交差以下のリンクについて、不変量を体系的に分析すること。
• W行列および他のリンク不変量が、穿孔された $S$ 行列に関する内在的な情報を提供し、カテゴリの区別を強化することを示すこと。

提案手法

• 著者らは、群 $G = \mathbb{Z}_{11} \rtimes \mathbb{Z}_5$ 及びそのコhomology $H^3(G; U(1))$ の表現理論を活用し、$B_3$ 内のブレード語の量子トレースを通じて、ねじれおよびリンクの量子不変量を計算する。
• ホワイトヘッドリンクから導かれる $W$ 行列——穿孔された $S$ 行列の情報を捉える不変量の行列——を用いて、その区別力の検証を行う。
• モジュラー置換は、$S$ および $T$ 行列の要素を置換を除いて保存する任意の anyon の再ラベル化として定義され、カテゴリ間での不変量の比較を可能にする。
• 群の代数的データおよびその3次コホモロジーに基づき、著者らが提供する Mathematica パッケージを用いて不変量を計算する。
• 分析は、$B_3$ におけるブレードの閉包として実現可能なリンクに限定され、$B_2$ リンク（それ自体がモジュラーデータのみで決定される）は除外される。
• Knot Cluster at UCSB などの計算ツールを用いて、5つの非同型カテゴリにわたる不変量の列挙と評価が行われる。

実験結果

リサーチクエスチョン

• RQ1 モジュラーデータが同一である場合に、ねじれおよびリンク不変量がモジュラーテンソルカテゴリを区別できるか？
• RQ2 特定の小さなねじれやリンクが、$G = \mathbb{Z}_{11} \rtimes \mathbb{Z}_5$ に対する5つのランク49の $\mathcal{Z}(\mathrm{Vec}_G^\omega)$ カテゴリを完全に区別する不変量として機能するか？
• RQ3 W行列やボロメアン輪のような不変量が、$S$ および $T$ 行列を超えてどの程度の情報を保持するか？
• RQ4 $5_2$ ねじれは、モジュラーデータに依存せずにカテゴリを区別できるか？
• RQ5 有限個のフレームドリンクが、すべてのモジュラーテンソルカテゴリに対して完全な不変量として機能できるか？

主な発見

• $5_2$ ねじれは、モジュラーデータに依存せずに、5つの非同型な $\mathcal{Z}(\mathrm{Vec}_G^\omega)$ カテゴリをすべて区別する強力な不変量である。
• 図形的8のねじれ（$4_1$）とボロメアン輪（$6^3_2$）は、モジュラーデータと組み合わせて弱く区別するが、独立しては区別しない。
• ホワイトヘッドリンクから導かれる $W$ 行列は、モジュラーデータと併用することで、5つのカテゴリを区別する強力な不変量である。
• ボロメアン輪に関しては、$B$-型 anyon にラベル付けされたすべての不変量が11に等しく、ゼロの巻き数に起因する整数値およびクエンドルカラーリングの数と整合的である。
• ボロメアン輪の不変量は、図形的8のねじれのそれと同一の性質を示し、両者とも弱くカテゴリを区別する。
• 本研究では、小さなねじれやリンクが、特に非自己双対または非アーベルカテゴリにおいて、モジュラーデータのみに比べてより多くの情報を含むことが一般的であることが確認された。