[論文レビュー] The structure of a solvmanifold's Heegaard splittings

Daryl Cooper, Martin Scharlemann|ArXiv.org|Mar 31, 1998

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

ひとこと要約

この論文は、可定向3次元ソルボイド多様体の非可約ヘーガード分解をホモトピー型で分類する。強い非可約性とハイパーオイドローマルインボリューション理論を用いて、モノドロミーのトレースが±3で、行列の形 [[±m, -1], [0, 1]] に共役である場合、m ≥ 4 ならば genus 2 で、すべての分解がホモトピー型で同値であり、m = 3 ならば、ちょうど2つの非ホモトピー型の分解が存在する。それ以外の場合は、genus 3 の弱可約な分解であり、ホモトピー型で一意である。

ABSTRACT

We classify isotopy classes of irreducible Heegaard splittings of solvmanifolds. If the monodromy of the solvmanifold can be expressed as a 2 x 2 matrix with 0 in the lower right hand corner (as always is true when the absolute value of the trace is 3), then any irreducible splitting is strongly irreducible and of genus two. If furthermore the absolute value of the trace is 4 or greater, then any two such splittings are isotopic. If the absolute value of the trace is 3 then, up to isotopy, there are exactly two irreducible splittings, their associated hyperelliptic involutions commute, and the product of the involutions is the central involution of the solvmanifold. If the monodromy cannot be expressed as a 2 x 2 matrix with 0 in the lower right hand corner, then the splitting is weakly reducible, of genus three and unique up to isotopy.

研究の動機と目的

• 可定向3次元ソルボイド多様体におけるすべての非可約ヘーガード分解のホモトピー型を分類すること。
• ソルボイド多様体のモノドロミー行列に基づいて、その分解の genus とホモトピー型を特定すること。
• ハイパーオイドローマルインボリューションおよびその積が、非ホモトピー型の分解を区別する役割を果たすことを分析すること。
• 共通化結果の確立：同じモノドロミーのトレースを持つソルボイド多様体は、有限被覆を介して仮想的に共通化可能である。

提案手法

• カソンとゴードンによる強い非可約性の概念を用いて、分解を分析する。
• 特に m=3 の場合に非ホモトピー型の分解を区別するために、ハイパーオイドローマルインボリューション理論を適用する。
• モノドロミー行列 L = [[±m, -1], [0, 1]] の構造を用いて、トレースと m に基づいて分解を分類する。
• インボリューションがトーラスバンドル構造に作用する様子と、その普遍被覆への上昇を分析する。
• SL(2,Z) 内の共通化議論と双曲幾何学を用いて、トレースが仮想的共通化を決定することを示す。
• 2つのハイパーオイドローマルインボリューションの積が中心的インボリューションであるという事実を活用し、これは恒等写像とホモトピー型でない。

実験結果

リサーチクエスチョン

• RQ1 ソルボイド多様体のヘーガード分解は、いつ強い非可約性を示し、いつ弱可約性を示すか？
• RQ2 ソルボイド多様体における非可約ヘーガード分解の genus は、何によって決定されるか？
• RQ3 なぜモノドロミーのトレースが ±3 で m=3 のとき、ちょうど2つの非ホモトピー型の genus 2 分解が存在するのか？
• RQ4 ハイパーオイドローマルインボリューションおよびその積は、非ホモトピー型の分解を区別するためにどのように役立つか？
• RQ5 どのような条件下で、2つのソルボイド多様体が有限被覆を介して仮想的に共通化可能か？

主な発見

• モノドロミー行列が [[±m, -1], [0, 1]] に共役で m ≥ 4 である場合、任意の非可約ヘーガード分解は強い非可約性を示し、genus 2 であり、すべてのこのような分解はホモトピー型で同値である。
• m = 3 の場合、ちょうど2つの非ホモトピー型の非可約ヘーガード分解が存在し、それらに関連するハイパーオイドローマルインボリューションは可換であり、その積は中心的インボリューションである。
• モノドロミーが上記の形で表せない場合、非可約分解は弱可約であり、genus 3 であり、ホモトピー型で一意である。
• m=3 の場合の2つのハイパーオイドローマルインボリューションの積は中心的インボリューション −I であり、これは恒等写像とホモトピー型でないため、分解が非ホモトピー型であることが証明される。
• モノドロミー行列のトレースが等しい |m| ≥ 3 である2つのソルボイド多様体は、仮想的に共通化可能である：それぞれが他方の有限被覆と同相である。
• モノドロミー行列のトレースは、ソルボイド多様体の仮想的共通化類を決定する。