[論文レビュー] The fundamental group of the harmonic archipelago

Paul Fabel|ArXiv.org|Jan 24, 2005

Genomics and Phylogenetic Studies参考文献 5被引用数 21

ひとこと要約

本稿は、調和の島嶋（HA）の基本群π₁(HA)について、代数的および位相的性質を精確に特定し、π₁(HA)がホワイトヘア・アーチペラゴの基本群π₁(HE)の非可算な商群であることを示している。その核は無限語関係によって記述される。主な貢献は、π₁(HA)が非可算な濃度を有するにもかかわらず、その位相的性質が非離散的であることを証明したことである。これは、野生的空間の位相的基本群に関する先行研究における曖昧さを解消するものである。

ABSTRACT

The harmonic archipelago HA is obtained by attaching a large pinched annulus to every pair of consecutive loops of the Hawaiian earring. We clarify the fundamental group pi1(HA) as a quotient of the Hawaiian earring group, provide a precise description of the kernel, show that both pi1(HA) and the kernel are uncountable, and that pi1(HA) has the indiscrete topology.

研究の動機と目的

• HAの基本群π₁(HA)の構造を明確化すること。これは、先行文献で誤って記述されていた。
• 包含写像によって誘導される全射j*: π₁(HE) → π₁(HA)の核の記述における曖昧さを解消すること。
• ホワイトヘア・アーチペラゴの基本群π₁(HE)のどの元がj*の核に属するかを完全かつ正確に特徴づけること。
• π₁(HA)が非可算であり、その大きさにもかかわらず非離散位相を有することを証明すること。
• Biss (2002)の定理8.1に含まれる誤りを是正すること。同定理は、π₁(HA)の元が有限の置換とキャンセル操作の下で同値であると誤って主張している。

提案手法

• 本稿は、自由群の逆極限を用いてπ₁(HE)をモデル化し、無限のアルファベット{ x₁, x₂, ... }上の最大に削減された語の正規列として要素を表現する。
• G^Nを、x_{n+1}を単位元に縮約する準同型の下での自由群F_{N,n}の逆極限として定義し、ホワイトヘア・アーチペラゴ内のループのホモトピー類を捉える。
• 核ker(j*)は定理7により特徴づけられる：列(w₁, w₂, ...)がker(j*)に属するための必要十分条件は、あるNについて、wₙにおけるすべてのxᵢ (i ≤ N) をx_Nに置き換えると、F_{N,n}において自明な語に縮約されることである。
• 非可算性の証明は、奇数番目のループの置換を用いてY₁内に非可算個の異なるループを構成することで行われ、それらがπ₁(HA)において異なる要素へ写されることを示す。
• π₁(HA)の非離散位相は、基点付きループ空間におけるコンパクト開位相において、自明なループの路成分が稠密であることを示すことによって確立される。
• この議論では、HA – {z_{n+1}, z_{n+2}, ...}をY^Nに変形同相することと、有限部分複体Y^M内のループによるループの一様近似を用いる。

実験結果

リサーチクエスチョン

• RQ1 π₁(HA)の正確な代数的構造は何か？ また、ホワイトヘア・アーチペラゴの基本群とはどのように関係しているか？
• RQ2 π₁(HE)のどの元が自然な全射j*: π₁(HE) → π₁(HA)の核に属するか？
• RQ3 π₁(HA)は非可算か？ もしそうならば、その非可算濃度の原因は何か？
• RQ4 π₁(HA)は非自明な位相を有するか？ もしそうならば、その位相的構造は何か？
• RQ5 π₁(HA)が非可算であるにもかかわらず、その位相的基本群が非離散的であるのはなぜか？

主な発見

• j*: π₁(HE) → π₁(HA)の核は非可算である。これは、G₃内に非可算個の異なる要素を特定の語の構成により核へ写すことで示された。
• π₁(HA)は非可算である。これは、HAの基点付きループ空間内に非可算個の異なる路成分を示すことによって証明された。
• 基本群π₁(HA)は非離散位相を有する。これは、唯一の非空開集合が群全体であることを意味する。
• 核ker(j*)は、すべてのn ≥ Nについて、あるNに対してwₙにおけるすべてのxᵢ (i ≤ N) をx_Nに置き換えると、F_{N,n}において自明な語に縮約されるような列(w₁, w₂, ...)の集合である。
• Biss (2002)が主張した「π₁(HA)の元は有限の置換とキャンセル操作の下で同値である」という主張は誤りである。これは、HAにおいて自明であるが、有限操作では縮約できない無限語を用いた反例によって示された。
• 正規単準同型ψ₁: π₁(HE) → G¹は全射でない。これは、例えば(1, x₁x₂x₁⁻¹x₂⁻¹, x₁x₂x₁⁻¹x₂⁻¹x₁x₃x₁⁻¹x₃⁻¹, ...)のような、無限回出現する文字を含む超限語を捉えられていないためである。