[論文レビュー] The Magnus representation and homology cobordism groups of homology cylinders

Takuya Sakasai|arXiv (Cornell University)|Aug 31, 2011

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

ひとこと要約

本稿は、マグニス表現から導かれる新しい不変量を用いて、曲面および高次元多様体上のホモロジー・シリンダーのホモロジー・コボルディズム群のアーベル化を研究する。自由群のアサイクル閉包とその自己同型群を活用することで、これらのホモロジー・コボルディズム群が無限ランクの自由アーベル群に同型なアーベル化を持つことを証明し、低次元トポロジーにおける重要な構造的問題を解決するとともに、アサイクル閉包に関する新たな群論的洞察を提供する。

ABSTRACT

A homology cylinder over a compact manifold is a homology cobordism between two copies of the manifold together with a boundary parametrization. We study abelian quotients of the homology cobordism group of homology cylinders. For homology cylinders over general surfaces, it was shown by Cha, Friedl and Kim that their homology cobordism groups have infinitely generated abelian quotient groups by using Reidemeister torsion invariants. In this paper, we first investigate their abelian quotients again by using another invariant called the Magnus representation. After that, we apply the machinery obtained from the Magnus representation to higher dimensional cases and show that the homology cobordism groups of homology cylinders over a certain series of manifolds regarded as a generalization of surfaces have big abelian quotients. In the proof, a homological localization, called the acyclic closure, of a free group and its automorphism group play important roles and our result also provides some information on these groups from a group-theoretical point of view.

研究の動機と目的

• リードマイスター torsion とは異なる代替手段として、マグニス表現を用いてホモロジー・シリンダーのホモロジー・コボルディズム群のアーベル化を調査すること。
• 群論的手法を用いて、表面を超えて高次元多様体へのアーベル化の研究を拡張すること。
• 自由群のアサイクル閉包の自己同型群が無限ランクのアーベル化を持つことを確立すること。
• アサイクル閉包およびそのメタアーベル化について、新たな群論的情報を提供し、それらが有限生成でないことを示すこと。

提案手法

• マグニス表現がホモロジー・シリンダーのモノイドから行列群へのクロスホモーマーフィズムとして用いられ、ホモロジー・コボルディズム群を介して因数分解される。
• アサイクル閉包が、マグニス表現を自己同型として記述するための群論的モデルとして用いられる。
• ホモロジー的局所化技術（アサイクル閉包）が用いられ、マグニス表現を高次元多様体へ一般化する。
• 証明では、ホモロジー・コボルディズム群から自由群のアサイクル閉包の自己同型群へのエピモルフィズムを構成する。
• 鍵となるステップは、素数をパrameterとする自己同型族を用いて、アサイクル閉包の自己同型群が無限ランクのアーベル化を持つことを示すことである。
• マグニス表現から導かれる特定の多項式の既約性および次数の独立性に依拠し、それらがターゲットのアーベル群内で線形独立であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 マグニス表現は、リードマイスター torsion が提供するものとは異なる、曲面におけるホモロジー・シリンダーのホモロジー・コボルディズム群の新たなアーベル化をもたらすか？
• RQ2 マグニス表現は、高次元多様体におけるホモロジー・シリンダーへ一般化可能であり、無限ランクのアーベル化を検出可能か？
• RQ3 自由群のアサイクル閉包の自己同型群のアーベル化の構造はいかなるものか？
• RQ4 アサイクル閉包およびそのメタアーベル化は有限生成か？また、古典的自由群との比較においてどうなるか？
• RQ5 マグニス表現からの不変量と、リードマイスター torsion からの不変量（特に H-torsion）は、ホモロジー・コボルディズムの文脈でどのように関係するか？

主な発見

• 特定の高次元多様体上のホモロジー・シリンダーのホモロジー・コボルディズム群は、無限ランクの自由アーベル群に同型なアーベル化を持つ。
• 2つ以上の生成を持つ自由群のアサイクル閉包の自己同型群は、無限ランクのアーベル化を持つ。
• 2つ以上の生成を持つ自由群のアサイクル閉包は、マグニス表現における無限個の既約多項式分母によって示されるように、有限生成ではない。
• アサイクル閉包のメタアーベル化も無限生成であるが、スタリングスの定理によるノルム的商の有限生成とは対照的である。
• マグニス表現とリードマイスター torsion 不変量（特に H-torsion）は関係しており、前者は高次元一般化のためのより包括的な枠組みを提供する。
• 自由群の代数的閉包に対しても、その自己同型群および外部自己同型群が無限ランクのアーベル化を持つことが示され、同様にそのメタアーベル化が有限生成でないことが判明する。