[論文レビュー] Birman-Hilden theory for big mapping class groups

Nestor Colin, Ruben Hidalgo+3 more|arXiv (Cornell University)|Jan 14, 2026

Geometric and Algebraic Topology被引用数 0

ひとこと要約

要約: 本論文は、全ての分岐被覆が無限型の曲面またはネガティブオイラー特性を持つ有限型の曲面間でBirman–Hilden性質を満たすことを証明し、向き可能な二重面を介して写像類群と braid 群の間の単射関係を導出します。

ABSTRACT

Let $S$ and $X$ be two connected topological surfaces without boundary, and assume that $S$ is either of infinite type or has negative Euler characteristic. In this paper, we prove that if $p:S\rightarrow X$ is a fully ramified branched covering map, then $p$ satisfies the Birman-Hilden property. This generalizes a theorem of Winarski, and the known results in the literature, to the context of surfaces of infinite type and branched covering maps of infinite degree. As an application, we show that the mapping class group (respectively, the braid group on $k$-strands) of a non-orientable surface of infinite type can be realized as a subgroup of the mapping class group (respectively, the braid group on $2k$-strands) of its orientable double cover.

研究の動機と目的

• Birman–Hilden性質を無限型の曲面および無限次数の分岐被覆へ拡張する。
• Klein曲面とAlexander法を用いて性質を証明する枠組みを構築する。
• 幾何的特徴付けと向き可能な二重被覆を通じて、写像類群と braid 群の間の単射関係を導出する。

提案手法

• Klein曲面理論、複素重複体およびSchottky重複体を用いて向き可能・非向き可能のケースを扱う。
• Alexander法を用いて問題をファイバー保存同胚の同位同値クラスへ還元する。
• Birman–Hilden性質の同値な定義を用いて主要定理（命題2.10および関連するもの）を証明する。
• 補題3.8を用いて円環/ストリップから境界を持つコンパクト曲面へ分岐被覆を記述する。
• Deck(p)、SMap(S)、LMap(X;B)を含む短い正確列を確立し、適用可能な場合には単射性を示す。

実験結果

リサーチクエスチョン

• RQ1 完全に分岐された被覆p:S→Xが無限型またはネガティブオイラー特性を持つ曲面についてBirman–Hilden性質を満たす条件はどれか。
• RQ2 非向きではないNの向き可能な二重面Sがあるとき、Map(N)をMap(S)の部分群として表現するにはどうすればよいか（特に無限型の場合）。
• RQ3 非向きまたは無限型設定における写像類群と braid 群の間のBirman–Hilden理論の単射の影響は何か。
• RQ4 幾何的特徴付けされた被覆はliftableおよび対称写像類群にどのような影響を与え、それらがアブelian商へどのように関与するか。

主な発見

• 定理1: 適切な被覆曲面間の完全に分岐された分岐被覆はBirman–Hilden性質を満たす。
• 系統的命題2に対応する補題: 同じ仮説下で正規分岐被覆および無分岐被覆もBirman–Hilden性質を満たす。
• 補題3: 幾何学的特徴付けられた被覆は、Map(X;{x})→Map(S;p^{-1}(x))の単射準同型を誘導する。
• 補足4: Σが無限型またはネガティブオイラー特性を持つ有限型の場合、Map(Σ)はSMap(Σ^{ab})とZのアベリア商をmodした同型である。
• 補足5: 非向きNとその向き可能な二重面Sの場合、自然写像Map(N)→Map(S)およびBk(N)→B2k(S)は単射である。
• 補足6: 枠組みは無限枚数のシートや非向き/向きのケースを包含し、ビッグマッピングクラス群の文脈でいくつかの既知の有限型結果を統一する。