Forester's lattices and small non-Leighton complexes

この論文は、単一の 2 次元胞を持つ複体と同相な複体 K と、K と共通かつ非有限な被覆を持つ複体 L の構成を示すものである。

要約

この論文は、数学の「トポロジー（位相幾何学）」という分野、特に「図形とそのつながり方」を研究する面白い発見について書かれています。

専門用語を避け、**「迷路」や「タペストリー（織物）」**の例えを使って、何が起きたのかをわかりやすく説明しましょう。

1. 物語の舞台：レイトンの定理と「双子の迷路」

まず、背景にある有名なルール（レイトンの定理）から話を始めます。

• 昔のルール： 「もし、2 つの異なる小さな迷路（グラフ）が、同じ大きな迷路（共通の被覆）から作られているなら、それら 2 つの小さな迷路は、必ず同じ大きさの小さな迷路（有限な共通被覆）から作られているはずだ」というルールがありました。

  • これは、2 つの異なるパズルピースが、同じ巨大なパズルから来ているなら、それらは互いに似ている（共通の小さな部分を持てる）はず、という直感に合います。

• 今回の発見： しかし、この論文の著者たちは、「2 次元の図形（壁や面がある迷路）」の世界では、このルールが破れることを示しました。

  • 2 つの異なる図形（K と L）があり、これらは同じ巨大な迷路から作られています。
  • しかし、これら 2 つの図形が、「同じ大きさの小さな迷路」から作られることはあり得ないのです。
  • これを「非レイトン・ペア（Leighton の定理に反するペア）」と呼びます。

2. 登場する 2 つの図形（K と L）

著者たちは、この「破れたルール」を実証する 2 つの図形を作りました。

図形 K：シンプルだが、実は複雑な「1 枚の紙」

• 見た目： 1 つの頂点（点）と、1 つの大きな「2 次元の面（紙）」だけから成る、とてもシンプルな図形です。
• 正体： しかし、この紙の貼り方（ルール）が少し特殊で、実は「2 つの面」に分けて考えることもできる図形です。
• 特徴： この図形 K は、数学的に「1 つの規則（関係式）」だけで説明できるグループ（群）を持っています。

図形 L：少し大きいが、K と「双子」の関係

• 見た目： 黒と白の 2 つの点、いくつかの線、そして 4 つの面（A, B, C, D）から成る、少し複雑な図形です。
• 関係： この L は、K とは形もルールも異なりますが、**「同じ巨大な迷路（Universal Covering）」**から作られています。
  • 想像してみてください。K と L は、同じ巨大なタペストリー（織物）を切り取った、全く異なる柄の断片のようなものです。

3. なぜ「同じ大きさの小さな迷路」にはなれないのか？

ここがこの論文の核心です。なぜ K と L は、同じ大きさの共通の図形から作れないのでしょうか？

• 鍵となる「音階」の違い：
  各図形には、その中を歩くための「ルール（群）」が潜んでいます。

  • 図形 K のルールは「BS(2, 4)」という特殊なリズムを持っています。
  • 図形 L のルールは「BS(4, 16)」というリズムに似ていますが、実は**「調和しない（非可換）」**のです。
  • 例え話： K のリズムは「2 拍子と 4 拍子の組み合わせ」で、L のリズムは「4 拍子と 16 拍子の組み合わせ」です。これらは、どれだけ細かく刻んでも（有限の倍数にしても）、完全に一致するリズムにはなりません。
  • 数学的に言うと、これらは**「互いに有限の倍数では一致しない」**（incommensurable）という状態です。

• 結論：
  2 つの図形が「同じ大きさの小さな迷路」を持てるためには、その内部のルールが互いに「倍数関係」で結ばれている必要があります。しかし、K と L のルールは、どんなに細かく切っても、決して一致しない「異なる音階」を持っているため、共通の小さな迷路を作ることは不可能なのです。

4. 驚きのポイント：「1 枚の紙」から「2 枚の紙」への魔法

この論文の最も面白い発見は、**「1 つの面（2 次元セル）」**を持つ図形 K が、実は「非レイトン・ペア」の片方になり得たことです。

• 以前は、このような不思議な現象を起こすには、少なくとも 2 つの面が必要だと考えられていました。
• しかし著者たちは、「1 つの面」の図形 Kを、単に**「1 本の線を引いて面を 2 つに分割する」**という単純な操作（細分化）を行うことで、この不思議な現象を引き起こす図形に変えることに成功しました。
• 意味： 「形を少し変える（線を引く）だけで、図形の根本的な性質（共通の迷路を持てるかどうか）が劇的に変わる」という、直感に反する驚くべき事実を突き止めました。

まとめ：この論文が伝えたかったこと

1. 2 次元の世界では、直感が裏切られる。 2 つの図形が同じ巨大な迷路から来ているのに、同じ大きさの小さな迷路を持てないことがある。
2. シンプルさの限界。 「1 つの面」を持つ図形でも、この不思議な現象は起きる。
3. ルールの重要性。 図形の形（見た目）ではなく、その中にある「数学的なルール（群）」の違いが、図形の運命（共通の迷路を持てるか）を決める。

この研究は、数学の基礎的な部分（トポロジーと群論）において、私たちが「図形」と「そのつながり」についてもっと深く理解する必要があることを示唆しています。まるで、同じ布地から作られた 2 つの服が、実は全く異なるパターンで裁断されており、決して同じサイズの服にはなり得ない、という不思議な世界の話なのです。

技術概要

論文要約：Forester's Lattices and Small Non-Leighton Complexes

1. 研究の背景と問題設定

1.1 レイトンの定理とその反例

レイトンの定理（Leighton's Theorem, 1982） は、有限グラフのペアが共通のカバー（被覆）を持つならば、それらは有限な共通カバーを持つことを保証する。この定理はグラフ理論において確立されているが、2 次元 CW 複体（セル複体）への拡張は成り立たないことが知られている。

2 次元 CW 複体の場合、「共通のカバーを持つが、有限な共通カバーを持たない（非レイトン）ペア」が存在する。これまでに以下の例が構築されてきた：

• 各複体に 6 個の 2 次元セルを含む例（Wisdom, 1996/2007）。
• 4 個の 2 次元セルに削減された例（Jankiewicz-Wise, 2009）。
• 2 個の 2 次元セルに削減された例（Dergacheva-Klyachko, 2023/2024）。

1.2 未解決の問題

現在の未解決問題は、**「1 つの 2 次元セルしか持たない複体を含む非レイトンペアが存在するか」**という点である。

• 両方の複体が 1 つの 2 次元セルを持つ場合、あるいは少なくとも片方が 1 つの場合の存在は不明。

本論文は、このオープン問題に対して**「ほぼ肯定的な回答（almost answer）」**を与えることを目的としている。具体的には、一方の複体が「1 つの 2 次元セルを持つ複体と同相（homeomorphic）」であるような非レイトンペア $(K, L)$ を構成する。

---

2. 主要な結果と貢献

2.1 構成された非レイトンペア $(K, L)$

著者らは、以下の性質を持つ 2 つの CW 複体 $K$ と $L$ を構成した。

1. 共通カバーの存在: $K$ と $L$ は同型な普遍被覆（universal covering）を持つ。
2. 有限共通カバーの不在: $K$ と $L$ は有限な共通カバーを持たない（非レイトンペア）。
3. セル数の最小化と特異性:
   • 複体 $K$: 2 個の 2 次元セルを含むが、1 個の 2 次元セルを持つ複体と同相である。
     • 具体的には、バウムスラッグ - ソリター群 $BS(2, 4)$ の標準的な 1 点付与複体と同相。
     • 重要な点：$BS(2, 4)$ 自体はレイトン複体（非レイトンペアのメンバーにはなり得ない）であるが、その 2 次元セルを 1 つの辺で分割して 2 つのセルに分割した結果、非レイトン複体 $K$ が得られる。これは、セルの細分化が劇的な効果（レイトン性の喪失）をもたらす最初の例である。
   • 複体 $L$: 4 個の 2 次元セルを含む（ただし、3 個のセルを持つ複体と同相）。
4. 群論的性質:
   • $\pi_1(K)$ は 1 関係子群（one-relator group）$BS(2, 4)$ である。
   • $\pi_1(L)$ は 1 関係子群と可公度（commensurable）である（具体的には $BS(4, 16)$ と可公度）。
   • 有限被覆を適切に取れば、$\pi_1(K)$ が 1 関係子群で、$\pi_1(L)$ の有限指数部分群が 1 関係子群となるような非レイトンペアが存在することが示される。

2.2 既存定理との対比

Bridson-Shepherd の定理（およびその拡張）によれば、非レイトンペアの両方の基本群は自由群（または仮想的自由群）にはなり得ない。本論文の結果は、この制約の下で、**「1 関係子群」**というより広いクラスにおいて非レイトンペアが実現可能であることを示している。

---

3. 手法と証明の概要

本論文の証明は、Max Forester の論文 [Fo24] の議論に基づいており、以下の 2 段階で構成される。

3.1 有限共通カバーを持たないことの証明（基本群の非可公度性）

2 つの複体が有限な共通カバーを持つための必要十分条件は、それらの基本群が**可公度（commensurable）**であること（すなわち、有限指数部分群同士が同型であること）である。

1. 複体 $K$ の基本群:
   • 定義より $\pi_1(K) \cong BS(2, 4) = \langle c, d \mid c^2 d = c^4 \rangle$。
2. 複体 $L$ の基本群:
   • 定義されたセル構造から計算すると、$\pi_1(L)$ は特定の表示を持つ。
   • Tietze 変換とシュライヤー横断（Schreier transversal）を用いて、$\pi_1(L)$ の有限指数部分群 $H$（指数 2）を計算する。
   • 結果として、$H$ は $BS(4, 16)$ の有限指数部分群 $\tilde{H}$ と同型であることが示される。
   • したがって、$\pi_1(L)$ は $BS(4, 16)$ と可公度。
3. 結論:
   • 既知の結果（CKZ21, Fo24）により、$BS(2, 4)$ と $BS(4, 16)$ は非可公度（incommensurable）である。
   • したがって、$\pi_1(K)$ と $\pi_1(L)$ は非可公度であり、$K$ と $L$ は有限な共通カバーを持たない。

3.2 普遍被覆が同型であることの証明（Forester の格子構造）

両複体の普遍被覆が同型であることを示すために、Forester が導入したバウムスラッグ - ソリター複体 $X_{2,4}$ を用いる。

1. $X_{2,4}$ の構造:
   • 正則な有向木 $T$（各頂点から出る辺が 2 本、入る辺が 4 本）と実数直線 $\mathbb{R}$ の直積 $T \times \mathbb{R}$ に相当する。
   • 各辺 $e$ に $(\gamma(e), \delta(e)) \in \{0, 1\}^2$ のラベルが割り当てられ、セルの貼り付け規則が定義される。
2. 被覆写像の構成:
   • $X_{2,4} \to K$: 木 $T$ のすべての頂点を $K$ の 1 つの頂点に写し、辺と 2 次元セルのラベル（$c, d, z$ など）をパリティ（偶奇）に基づいて割り当てる。
   • $X_{2,4} \to L$: 木 $T$ の頂点を「黒」と「白」に 2 色塗り分け、$L$ の 2 つの頂点（黒と白）に対応させる。辺とセルの写像は、頂点の色と辺のラベル $(\gamma, \delta)$、および整数パラメータ $i$ に基づいて詳細に定義される（図 3, 図 4 参照）。
3. 検証:
   • 定義された写像が局所的に同型であり、かつ $K$ と $L$ への被覆となっていることを確認する。
   • 特に、$L$ におけるセル $A, B, C, D$ が、$X_{2,4}$ のバンド構造（band）によってどのように被覆されるかを記述し、完全な被覆であることを示す。

---

4. 意義と結論

4.1 学術的意義

• 非レイトンペアの最小化: 2 次元セルの数を削減する試みの新たなマイルストーン。特に、片方の複体が「1 つの 2 次元セルと同相」という極限に近い状態での非レイトン性の発見は重要。
• セル細分化の驚異的効果: 元々レイトンであった複体（$BS(2, 4)$ の標準複体）を、単に 2 次元セルを分割するだけで非レイトン複体に変化させる例は初めて。これは、複体の位相的性質がセルの分割にどのように敏感に反応するかを示している。
• 群論的洞察: 基本群が 1 関係子群である場合でも非レイトンペアが存在し得ることを示し、Bridson-Shepherd 定理の境界を明確にした。

4.2 残された課題

本論文は「片方が 1 次元セルと同相」な例を提供したが、**「両方の複体が 1 つの 2 次元セルを持つ非レイトンペア」**の存在については依然として未解決である。また、両方の基本群が 1 関係子群である非レイトンペアの存在も未解決のままである。

4.3 まとめ

著者らは、Forester の格子構造（Forester's lattices）を巧みに利用し、基本群の非可公度性と普遍被覆の同型性を同時に満たす、極めてコンパクトな非レイトン複体ペア $(K, L)$ を構築した。この結果は、2 次元 CW 複体の被覆理論におけるレイトンの定理の限界をさらに深く理解するための重要なステップである。