[論文レビュー] On the Hanna Neumann Conjecture

Toshiaki Jitsukawa, Bilal Khan+1 more|ArXiv.org|Feb 1, 2003

Mathematical Dynamics and Fractals参考文献 18被引用数 4

ひとこと要約

本稿は、ハナ・ニューマン予想に対するモノモルフィズムに基づく新規アプローチを提示し、自由群の任意の有限生成部分群 $H, K$ に対して、$H,K$ または $H^{-},K$ が予想を満たすことを証明している。ここで $H^{-}$ はすべての生成子を反転するものである。さらに、$F_2$ に反例が存在するならば、すべての分岐頂点が次数3であり、同じ局所構造を持つ必要があることが示され、反例の探索空間が著しく狭められる。

ABSTRACT

The Hanna Neumann conjecture states that if F is a free group, then for all nontrivial finitely generated subgroups H,K <= F, rank(H intersect K) - 1 <= [rank(H)-1] [rank(K)-1]. Where most papers to date have considered a direct graph theoretic interpretation of the conjecture, here we consider the use of monomorphisms. We illustrate the effectiveness of this approach with two results. First, we show that for any finitely generated groups H,K <= F either the pair H,K or the pair H^{-}, K satisfy the Hanna Neumann conjecture--Here {-} denotes the automorphism which sends each generator of F to its inverse. Next, using particular monomorphisms from F to F_2, we obtain that if the Hanna Neumann conjecture is false then there is a counterexample H,K < F_2 having the additional property that all the branch vertices in the foldings of H and K are of degree 3, and all degree 3 vertices have the same local structure or ``type''.

研究の動機と目的

• 従来のグラフ理論的フォールディング手法の代わりにモノモルフィズムを用いてハナ・ニューマン予想を扱うことを目的とする。
• 自由群の任意の有限生成部分群 $H,K$ に対して、$(H,K)$ または $(H^{-},K)$ の少なくとも一方が予想を満たすことを証明すること。
• もし $F_2$ に反例が存在するならば、すべての次数3の分岐頂点が同一の局所構造を持つ必要があることを示すこと。
• 潜在的な反例にかかる構造的制約を同定することで、予想の検証の複雑さを低減すること。

提案手法

• 著者らは、非自明な固定点をもたない $F_2$ 上の長さを保つ自己同型 $\sigma$ と、生成子を $a w_a a$ および $b w_b b$ の形の語に写像するモノモルフィズム $\tau$ を定義する。
• 彼らはスタリングスのフォールディング手順を用いて部分群をグラフとして表現し、頂点の次数と種別を分析することで、ランクおよび交差性の性質を計算する。
• 彼らは N-自己準同型の概念を導入し、このような写像がフォールディング中に分岐頂点の局所構造を保存することを証明し、異なる分岐領域間のフォールディングを防ぐ。
• 特定の自己準同型 $\phi_0$ を定義し、$a^{\phi_0} = a^2$, $b^{\phi_0} = [a,b]$ とし、次数3の頂点が $C_{b^{-1}}$ 型の頂点に写ることを示す。
• 生成子 $a_i$ を $a^i b a^i$ に写像するモノモルフィズム $\psi$ を $\phi_0$ と合成し、部分群を変換して得られるグラフ構造を分析する。
• この変換の下で、比 $\delta(H',K') = 1$ が成り立つことを証明し、変換後の部分群に対して予想が成立することを示す。

実験結果

リサーチクエスチョン

• RQ1 ハナ・ニューマン予想は、標準的なグラフフォールディング技法の代わりにモノモルフィズムを用いて証明可能か？
• RQ2 自由群の任意の有限生成部分群のペア $H,K$ に対して、$(H,K)$ または $(H^{-},K)$ の少なくとも一方が予想を満たすか？
• RQ3 $F_2$ における潜在的な反例が満たすべき構造的制約は何か？
• RQ4 変換 $\psi\phi_0$ を用いることで、一般の予想を一様な頂点タイプを持つ場合に還元可能か？

主な発見

• 本稿は、自由群の任意の有限生成部分群 $H,K$ に対して、$H,K$ または $H^{-},K$ がハナ・ニューマン予想を満たすことを証明している。ここで $H^{-}$ はすべての生成子を反転するものである。
• 反例が $F_2$ に存在するならば、$H$ および $K$ のフォールディングにおけるすべての次数3の分岐頂点が同一の局所構造（「タイプ」）を持つ必要があることが確立された。
• 変換 $\psi\phi_0$ を用いることで $\delta(H',K') = 1$ が得られ、これは変換後の部分群に対して予想が成立することを意味する。
• 自己準同型 $\phi_0$ は、$\Gamma_H$ 内のすべての次数3の頂点を $\Gamma_{H^{\phi_0}}$ 内の $C_{b^{-1}}$ 型の頂点に写し、$H$ のランクを保存する。
• モノモルフィズム $\psi\phi_0$ はランクを保存し、変換後の部分群が正規化された形で不等式が等号で成り立つことを保証する。
• 本稿は、N-自己準同型が異なる分岐頂点近傍からのエッジ間のフォールディングを引き起こさないことを示し、局所構造を保存する。