[論文レビュー] Small braids having a big Ultra Summit Set

Maxim Prasolov|ArXiv.org|May 30, 2009

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

ひとこと要約

この論文は、$ n $本のストランド上で、$ \alpha_n = \sigma_1\sigma_2^{-1}\sigma_3\sigma_4^{-1}\cdots\sigma_{n-1}^{(-1)^n} $ と定義される剛性のある擬アイソア型ブレイドの族を構成し、その超頂点集合（USS）のサイズが $ 2^{\lfloor (n-2)/2 \rfloor} $ 以上であることを証明する。これにより、ブレイド群の共役アルゴリズムにおけるUSSサイズの多項式的有界性に関する未解決問題に対して否定的な答えが得られる。すなわち、剛性のある擬アイソア型ブレイドのUSSサイズは、ストランド数およびブレイド長に関して多項式的には有界ではない。この結果は、左正規形およびバーマン＝コウ＝リーンの表現における剛性の構造的解析と明示的計算に基づいて確立される。

ABSTRACT

In [J.Birman, V.Gebhardt, J.Gonzalez-Meneses, Conjugacy in Garside groups I: cyclings, powers and rigidity] authors asked: (open question 2) is the size of USS of a rigid pseudo-Anosov braid is bounded above by some polynomial in the number of strands and the braid length? We answer this question in the negative.

研究の動機と目的

• Birman, Gebhardt, および González-Meneses (2003) が提起した未解決問題2を解決すること。すなわち、剛性のある擬アイソア型ブレイドの超頂点集合（USS）のサイズがストランド数およびブレイド長に関して多項式的有界であるかどうかを問うものである。
• 奇数 $ n \geq 3 $ に対して、剛性および擬アイソア型であることが保証される具体的なブレイド族 $ \alpha_n $ を構成し、多項式的有界性の予想に対する反例を提供すること。
• 左正規形およびサイクリング操作の構造的・計算的解析を用いて、USSサイズが $ n $ に関して指数関数的に成長すること、具体的には少なくとも $ 2^{\lfloor (n-2)/2 \rfloor} $ に達することを示すこと。
• バーマン＝コウ＝リーン表現への拡張を行い、奇数 $ n $ に対して、USSが少なくとも $ 2^{(n-1)/2} $ 個の剛性ブレイドを含むことを示し、代替のブレイド群表現においても指数的下界が成立することを確認すること。

提案手法

• 論文は、隣接交換関係 $ \sigma_i $ の正負が交互に続く積としてブレイド $ \alpha_n $ を定義し、分析に適した特定の構造を保証する。
• サイクリングおよびデシクリング操作が左正規形を保存することを示すことにより、$ \alpha_n $ が剛性であることを証明する。この際、サイクリング後の最初の因子とその共役化された最初の因子が可換である条件を用いる。
• 基本的単語 $ \delta $ の作用によって得られる異なる共役を数えることにより、USSのサイズに下界を与える。この共役は、共役作用の下で異なる左正規形を生成する。
• 擬アイソア型の性質の証明は背理法に基づく。$ \alpha_n $ が周期的または可約であると仮定すると、正負の生成子の数の不均衡、あるいは三本のストランドの還元におけるストランドの連結性の構造に矛盾が生じる。
• バーマン＝コウ＝リーン表現を用いて、バンド生成子 $ (t\ s) $ および降下サイクル $ (n_1\ n_2\ \cdots\ n_m) $ を導入し、ブレイドを再表現し、剛性およびUSSサイズの解析を行う。
• González-Menesesが開発したプログラムによる計算的検証により、$ n = 3 $ から $ 11 $ まででUSSサイズが確認され、指数的下界を支持する。

実験結果

リサーチクエスチョン

• RQ1 剛性のある擬アイソア型ブレイドの超頂点集合（USS）のサイズは、ストランド数およびブレイド長に関して多項式的有界であるか？
• RQ2 ストランド数に関してUSSサイズが指数関数的に成長するような、剛性のある擬アイソア型ブレイドを構成できるか？
• RQ3 ブレイド群のバーマン＝コウ＝リーン表現においても、USSサイズは指数的に大きく保たれるか？
• RQ4 ブレイドのどの構造的性質が、剛性と指数的USSサイズの両方を保証するか？
• RQ5 生成子の数のカウントとストランドのリンク構造のパターンを用いて、背理法によりブレイドの擬アイソア型性を証明できるか？

主な発見

• $ \alpha_n = \sigma_1\sigma_2^{-1}\sigma_3\sigma_4^{-1}\cdots\sigma_{n-1}^{(-1)^n} $ は、すべての $ n \geq 3 $ に対して剛性である。これは、サイクリングが左正規形を保存するためである。
• ブレイド $ \alpha_n $ の超頂点集合（USS）のサイズは、少なくとも $ 2^{\lfloor (n-2)/2 \rfloor} $ 以上であり、これは超多項式的下界を提供する。
• 奇数 $ n \geq 3 $ に対して、$ \alpha_n $ は擬アイソア型である。これは背理法により示され、生成子の正負の数の不均衡により周期的ではあり得ず、三本のストランド還元における全体のストランド連結性により可約でもない。
• バーマン＝コウ＝リーン表現において、奇数 $ n $ に対して $ \alpha_n $ のUSSは少なくとも $ 2^{(n-1)/2} $ 個の剛性ブレイドを含む。これは、代替のブレイド群表現においても指数的下限が成立することを確認する。
• $ n = 3 $ から $ 11 $ までの計算結果により、USSサイズが正確に $ \frac{3 - (-1)^n}{2} \cdot n \cdot 3^{n-3} $ に一致することが確認され、指数的下限を支持する。