[論文レビュー] Modular functors are determined by their genus zero data

Jørgen Ellegaard Andersen, Kenji Ueno|ArXiv.org|Nov 3, 2006

Algebraic structures and combinatorial models参考文献 7被引用数 11

ひとこと要約

この論文は、モジュラー関手が、その種数0のデータによって完全に決定されることを証明している—具体的には、3つまたは4つのマークド点を持つ球面に関連するベクトル空間および構造定数である。曲線作用素を構成し、ドーン回転をそれらの作用素の線形結合として表現することで、任意のラベルλに対する種数1のS行列S(λ)が、双対性やユニタリティを仮定しないまま、種数0のデータのみから明示的に計算可能であることが示された。

ABSTRACT

We prove in this paper that the genus zero data of a modular functor determines the modular functor. We do this by establishing that the S-matrix in genus one with one point labeled arbitrarily can be expressed in terms of the genus zero information and we give an explicit formula. We do not assume the modular functor in question has duality or is unitary, in order to establish this.

研究の動機と目的

• モジュラー関手の完全な構造が、双対性やユニタリティを仮定せずに、その種数0のデータに符号化されていることを確立すること。
• 種数1のデータ（例：S行列）が種数0のデータから再構成可能かどうかという未解決問題を解消すること。
• 種数0の情報のみを用いて、1つのマークド点を持つトーラス上のS行列S(λ)の明示的公式を提供すること。
• 曲線作用素とドーン回転が、種数0のデータの観点から表現可能であることを示し、高種数の不変量の低減を可能にすること。

提案手法

• 単純閉曲線に沿ってラベル付きペアを生成し、バーティングを行うことで定義される自己準同型としての曲線作用素を導入する。
• 曲線γ上のドーン回転が、γの曲線作用素の普遍的な線形結合として表現可能であることを示し、チューブ状近傍を通じて因数分解すること。
• この線形結合の普遍性を用いて、ドーン回転が種数0のデータによって決定されることを証明する。
• 1つのマークド点を持つ種数1の曲面の写像類群の標準的表示を適用し、S(λ)が種数0のデータによって決定されることを導く。
• F行列、R行列、量子次元を含む種数0の表面からの構造定数を用いて、S(λ)の明示的公式を導出する。
• モジュラー関手の因数分解性とF行列間の普遍的関係を用い、S(λ)を種数0の不変量の言語で表現する。

実験結果

リサーチクエスチョン

• RQ1 1つのマークド点を持つトーラス上のS行列S(λ)は、種数0のデータのみから再構成可能か？
• RQ2 曲面上の曲線作用素とドーン回転は、モジュラー関手の種数0データによって完全に決定可能か？
• RQ3 双対性やユニタリティの仮定が欠落している場合、モジュラー関手の完全な構造がその種数0セクターによって決定可能かどうかに影響を与えるか？
• RQ4 F行列、R行列、および種数0の表面からの量子次元を用いて、S行列S(λ)を表す普遍的公式が存在するか？
• RQ5 曲線作用素とドーン回転の分解を用いて、種数1の曲面上の写像類群作用が、種数0のデータから完全に回復可能か？

主な発見

• 任意のモジュラー関手の種数0データは、双対性やユニタリティを仮定しない場合でも、そのすべての構造を完全に決定する。
• 1つのマークド点を持つトーラス上のS行列S(λ)は、F行列、R行列、量子次元を含む普遍的公式を用いて、種数0のデータから明示的に計算可能である。
• 任意の単純閉曲線上のドーン回転は、曲線作用素の普遍的線形結合として表現可能であり、それらの作用素自体は種数0のデータによって決定される。
• 曲線作用素は、ラベル付き曲面上でのバーティングと分割のプロセスを介して構成され、その作用はすべて種数0の不変量に符号化されている。
• S(λ)の公式は、種数1の曲面上の曲線βに沿った曲線作用素を、F行列の移動とR行列の作用の合成として表現することで導出され、最終的に種数0のデータに還元される。
• S(λ)の最終的な公式は、ラベルνの和をとる形であり、その係数はF行列の成分、R行列、および量子次元から構成されており、S(λ)が種数0のデータのみの関数であることが確認された。