[論文レビュー] The quadratic isoperimetric inequality for mapping tori of free group automorphisms II: The general case

Martin R. Bridson, Daniel Groves|ArXiv.org|Oct 10, 2006

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

ひとこと要約

本稿では、有限生成自由群の自己同型の写像トーラスに対して、二次の等周不等式を確立する。前人研究の正の自己同型への拡張を、改良された相対的トレイントラック写像と、新しい概念である「ビーズ」を用いて一般の場合にまで拡大する。主な貢献は、ヴァン・カンペン図の通路の底辺に沿ったビーズの数に対する線形境界の確立であり、幾何的・アルゴリズム的議論と組み合わせることで、このような群における語問題が非決定的二次時間で解けることが示される。

ABSTRACT

If F is a finitely generated free group and ϕis an automorphism of F then the mapping torus of ϕadmits a quadratic isoperimetric inequality. This is the third and final paper in a series proving this theorem. The first two were math.GR/0211459 and math.GR/0507589.

研究の動機と目的

• 任意の有限生成自由群の自己同型の写像トーラスが二次の等周不等式を満たすことを証明すること。
• 正の自己同型の場合の証明戦略を一般の場合に拡張するため、ヴァン・カンペン図における構造的単位としての「ビーズ」を導入・分析すること。
• ヴァン・カンペン図における通路の底辺に沿ったビーズの数に対する線形境界を確立すること。これは等周不等式の中心的な幾何的推定である。
• 幾何群論における先行研究に基づき、このような群における共役問題が解けることを示すこと。
• 括弧付けと幾何的境界を用いて、自由群に沿った拡張群における語問題に対して非決定的二次時間アルゴリズムを提供すること。

提案手法

• 改良された相対的トレイントラック写像と「ビーズ」を基本的構成要素として用いることで、正の自己同型の場合の証明戦略を適応する。
• 「ビーズ」を正のケースにおける単一の辺（文字）の一般化として定義し、ビードド・デコンポジション定理を用いてその存在と構造的制御を証明する。
• ピンサー補題とチーム長さの境界を用いて、特異点が存在しないスタック図において、ヴァン・カンペン図の幾何を制御する。
• 幾何的非効率性を補うために「ボーナス・スキーム」を実装し、スタック図におけるt-辺の不在に対応するための修正を加える。
• スタック図（通路の単純な系列からなる特別なクラス）の構造を活用して、主要な境界におけるt-辺への依存を排除し、分析を単純化する。
• 等周問題を、ビーズの数の上限を求める問題に還元する。ここで、ビーズ長は一様に有界ではないが、その数は有界であるという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 有限生成自由群の任意の自己同型の写像トーラスに対し、正の自己同型に限らない二次の等周不等式を確立できるか？
• RQ2 一般の自己同型の文脈において、「ビーズ」は単一の辺（文字）の構造的置換としてどのように機能するか？
• RQ3 正の自己同型の証明フレームワークに、非正の自己同型およびそれに関連するトレイントラック写像を扱うために必要な修正は何か？
• RQ4 ビーズ長にグローバルな有界性がない状況でも、ヴァン・カンペン図の幾何的制御をどのように維持できるか？
• RQ5 得られた幾何的境界を用いて、自由群に沿った拡張群における語問題を非決定的二次時間で解けるか？

主な発見

• 任意の有限生成自由群 $F$ と自己同型 $ ho$ に対して、写像トーラス $F times_ ho bZ$ は二次の等周不等式を満たす。
• 任意のヴァン・カンペン図における通路の底辺に沿ったビーズの数に対する線形境界が存在する。これは中心的な幾何的推定である。
• $F times_ ho bZ$ における共役問題は解ける。これは、デーン関数が $n^2$ で有界であることの結果である。
• このような群における語問題は、$t$-完全括弧付けと定数 $K = K( ho, bB)$ を用いて表される非決定的二次時間アルゴリズムを有する。
• スタック図（ヴァン・カンペン図の特別なクラス）では、$t$-辺が幾何的境界に与える寄与を排除できるため、分析が単純化され、ピンサー補題の直接適用が可能になる。
• 証明は、ビーズの数が $|d riangle|$ に対して線形であることの確認に帰着され、スタック図における $t$-辺への依存性の欠如にもかかわらず、ボーナス・スキームとチーム長さの境界が有効に機能することを示す。