[論文レビュー] Combinatorial Lie bialgebras of curves on surfaces

Moira Chas|ArXiv.org|May 22, 2001

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用数 5

ひとこと要約

この論文は、境界を持つ曲面上の閉曲線の自由ホモトピー類のベクトル空間におけるゴールドマン＝トゥラエフ Lie bialgebra 構造を、短縮された巡回語を用いて組合せ的アルゴリズムで計算する手法を提示する。単純で分離しない曲線に対して、括弧の項の数が他曲線との最小交差数に一致することを証明し、トゥラエフの単純曲線のコブラケットによる特徴付けに関する予想に対して計算的反例を提示する。一方で、曲線とその逆元との括弧による代替的特徴付けを提案する。

ABSTRACT

Goldman and Turaev found a Lie bialgebra structure on the vector space generated by non-trivial free homotopy classes of curves on a surface. When the surface has non-empty boundary, this vector space has a basis of cyclic reduced words in the generators of the fundamental group and their inverses. We give a combinatorial algorithm to compute this Lie bialgebra on this vector space of cyclic words. Using this presentation, we prove a generalization of Goldman's result relating the bracket to disjointness of curve representatives when one of the classes is simple. We exhibit some examples we found by programming the algorithm which answer negatively Turaev's question about the characterization of simple curves in terms of the cobracket. Further computations suggest an alternative characterization of simple curves in terms of the bracket of a curve and its inverse. Turaev's question is still open in genus zero.

研究の動機と目的

• 自由ホモトピー類の曲線を基本群のアルファベットとその逆元に関する短縮された巡回語として表現し、境界付き曲面上でのゴールドマン＝トゥラエフ Lie bialgebra の計算に完全に組合せ的なアルゴリズムを開発すること。
• トゥラエフが予想したように、コブラケットの消えることが単純曲線を特徴付けるかどうかを調査すること。
• 曲線とその逆元との括弧に基づく、単純曲線を特徴付ける代替の代数的不変量を探索すること。
• 曲線とその逆元との括弧の項数と最小自己交差数の間の数量的関係について、計算的証拠を提供すること。
• ゴールドマンの「交差しないことと括弧の消えること」の結果を、項数と最小交差数を含む数量的記述に拡張すること。

提案手法

• 自由ホモトピー類の曲線を、基本群のアルファベットとその逆元に関する短縮された巡回語として表現する。
• 部分語のペアと語構造に埋め込まれた交差データに基づき、組合せ的演算（特に Lie 括弧とコブラケット）を定義する。
• 括弧とコブラケットの計算を、幾何的実現を一切用いずに、部分語のペア（LP1 と LP2）の集合を用いてアルゴリズム的に実行する。
• アルゴリズムを計算機上で実装し、曲線の単純性や交差不変量に関する予想の検証に用いる。
• 曲線とその逆元との括弧を計算し、項数を最小自己交差数と比較する。
• 球面に3つの穴があいたものやトーラスに2つの穴があいたものなどの表面に対して、理論的結果を網羅的な計算で検証する。

実験結果

リサーチクエスチョン

• RQ1 一つの曲線が単純である場合、その他の曲線との括弧における項の数が、代表元間の最小交差点数に等しいか。
• RQ2 非単純曲線に対して、自由ホモトピー類のコブラケットが消えることはあり得るか。これはトゥラエフの予想に反する。
• RQ3 曲線とその逆元との括弧がゼロであることは、曲線が単純曲線の複数形であることにちょうど同値か。
• RQ4 括弧 [α, α⁻¹] における項の数が、α の最小自己交差数の2倍に等しいか。
• RQ5 整数 n, m ≠ 0 に対して、αⁿ と αᵐ の括弧が、α の最小自己交差数を特定するのに利用可能か。

主な発見

• 単純で分離しない曲線に対して、任意の他の曲線との括弧における項の数は、それらの代表元間の最小交差点数に等しい。
• プログラムにより、トゥラエフの予想に対する明示的な反例が発見された：すべての負オイラー標数かつ正の genus を持つ表面において、コブラケットが消えるが単純曲線の倍数でない曲線が存在する。
• 3つの穴があいた球面では、周縁曲線を除き、長さ ≤16 のすべての巡回語のコブラケットは非ゼロである。
• 2つの穴があいたトーラスでは、長さ ≤15 のすべての巡回語に対して、[α, α⁻¹] における項の数は α の最小自己交差点数の2倍に等しい。
• 計算的証拠により、[αⁿ, αᵐ] における項の数が 2|m·n| 倍の α の最小自己交差数に等しいという予想が支持される。
• 曲線とその逆元との括弧は、単純性を検出する強力な候補不変量を提供し、トゥラエフのコブラケット条件の代替案である可能性を示唆する。