Topological groupoids with involution and real algebraic stacks

技術的概要：対合を備えた位相群群と実代数スタック

問題提起
本論文は、実代数スタックに関連する実モジュライ空間の位相を研究する際の課題に取り組む。実代数多様体 $X$ の実点集合 $X(\mathbb{R})$ の位相は、スミス・トム不等式（$X(\mathbb{R})$ のコホモロジーと $X(\mathbb{C})$ のコホモロジーとの関係を記述する）を通じてよく理解されているが、この枠組みは一般的なモジュライ問題に対しては機能しない。アーベル多様体や曲線のモジュライなど多くの場合において、実モジュライ空間は粗モジュライ空間の実点集合と一致しない。その結果、対合を備えた空間に対する標準的な位相的手法では不十分である。著者らは、特に位相空間における固定点の概念を位相群群へと一般化することにより、これらのモジュライ問題に内在するスタック的な構造を処理可能な位相的枠組みを開発することを目的としている。

方法論
著者らは位相的な視点を採用し、実デルイニュ・マンフォード（DM）スタックの代数幾何学を、対合を備えた位相群群の言語へと翻訳している。

1. 位相 G-群群: 著者らは、対合 $\sigma$ を備えた位相群群 $\mathcal{X} = [R \rightrightarrows U]$ を（ここで $G \cong \mathbb{Z}/2$）、位相 G-群群 と定義する。この構造は、対合を備えた位相空間を一般化するものである。
2. 固定点集合の構成: 方法論上の中心的な貢献は、そのような群群に対する固定点集合 $|\mathcal{X}^G|$ の定義である。粗空間の単純な固定点集合とは異なり、$|\mathcal{X}^G|$ は特定の「固定点群群」$\mathcal{X}^G$ の同型類の集合として定義される。$\mathcal{X}^G$ の対象は、$x \in U$ および $\sigma(\phi) \circ \phi = \text{id}$ を満たす同型写像 $\phi: x \xrightarrow{\sim} \sigma(x)$ であるような対 $(x, \phi)$ である。
3. 実スタックとの比較: 著者らは、実 DM スタックと位相 G-群群との間の対応を確立する。実 DM スタック $\mathcal{X}$ に対して、自然な反正則対合を備えた位相群群 $\mathcal{X}_{\mathbb{C}} = [R(\mathbb{C}) \rightrightarrows U(\mathbb{C})]$ を構成する。彼らは、この群群の固定点集合が、実点の群群 $\mathcal{X}(\mathbb{R})$ と標準的に同値であることを証明する。
4. 位相的解析: 本論文は、位相群群の「開同値」の性質を利用して、位相的不変量（粗空間の位相など）がエタール表示の選択に依存しないことを示す。これにより、実点集合の局所的な解析が可能となる。
5. スミス・トムの一般化: 著者らは、固定点集合のコホモロジーを全空間のコホモロジーで抑えるスミス・トム不等式が群群に対して成り立つかどうかを調査する。彼らは、オートモーフィズムを無視するため、粗空間 $|\mathcal{X}|$ に対しては単純な不等式が成立しないことを示す。そして、オートモーフィズムを符号化する慣性群群 $\mathcal{I}\mathcal{X}$ を用いた修正された予想を提案する。

主要な貢献と結果

• 定理 1.4（位相の同相写像）: 著者らは、$\mathbb{R}$ 上有限型の分離型デルイニュ・マンフォード・スタック $\mathcal{X}$ に対して、関連する位相群群の固定点集合 $|\mathcal{X}^G|$ と実点の同型類の集合 $|\mathcal{X}(\mathbb{R})|$ との間の全単射が同相写像であることを証明する。ここで、$|\mathcal{X}^G|$ は固定点群群からの商位相を持ち、$|\mathcal{X}(\mathbb{R})|$ は実解析位相を持つ。この結果は、実スタックの位相を研究するための厳密な枠組みとして位相群群を用いることを正当化する。
• 定理 1.5（実点集合写像の構造）: オートモーフィズム群の位数が一定である分離型 DM スタック $\mathcal{X}$ に対して、実点集合 $|\mathcal{X}(\mathbb{R})|$ から粗モジュライ空間の実点集合 $M(\mathbb{R})$ への写像は、その像上で開写像かつ位相的被覆であることが示される。この結果は、多様体における解析的局所作業に類似して、位相群群構造を通じて「ユークリッド局所的」に作業することに基づいている。
• 予想 1.6（群群に対するスミス・トム）: 本論文は、一般化されたスミス・トム不等式を定式化する。それは、位相 G-群群 $\mathcal{X}$ に対して、固定点集合のコホモロジーの次元が、慣性 粗空間のコホモロジーの次元によって抑えられると予想する：
  $$\dim H^*(|\mathcal{X}^G|, \mathbb{Z}/2) \leq \dim H^*(|\mathcal{I}\mathcal{X}|, \mathbb{Z}/2)$$
  著者らは、$|\mathcal{X}|$ を用いた単純な上限が（分類スタック $B\Gamma$ などで）失敗することを指摘する。
• 命題 1.8（分類スタックに対する検証）: 対合を備えた有限群 $\Gamma$ の分類群群 $B\Gamma$ に対して、この予想が検証される。証明は、位相的不等式を群論的な主張 $\#H^1(G, \Gamma) \leq \#(\Gamma/\Gamma)$（ここで右辺は共役類の数）に帰着させる。この不等式は、軌道・安定化子論法を用いて証明される。
• 群群コホモロジーのバリエーション: 本論文は、群群コホモロジーを用いた補完的なアプローチを探求する。群群コホモロジーはしばしば無限次元であるが、$B\Gamma$ とその固定点集合に対するベッチ数の部分和の比率は、ポアンカレ級数から導かれる有理数値に収束することに言及する。これにより、これらの比率に対する一様な上限の存在に関する問い 5.6 が提起される。

重要性
本論文は、主に実代数スタックのための位相的枠組みを確立する 2 部構成シリーズの第 1 部として、その重要性を主張している。

• 枠組みの妥当性確認: 対合を備えた位相群群が、実モジュライ空間を研究するための自然かつ厳密な設定を提供し、実点集合の正しい位相を捉えられないことが多い粗モジュライ空間の限界を克服することを示している。
• 基礎的結果: 実解析位相が固定点群群の商位相と一致することを証明（定理 1.4）することにより、著者らは将来の計算に必要な位相的な基礎を提供している。
• 新しい不等式: 群群に対するスミス・トム型予想（予想 1.6）の定式化は、実代数幾何学における新たな方向性を示唆しており、実点集合の「大きさ」は単に複素点集合だけでなく、複素慣性スタックによっても制御されることを示唆している。
• 検証: 分類スタックに対する予想の検証（命題 1.8）は、単純な不等式が失敗する非自明なスタック的な状況において提案された不等式が成立することを確認する重要なテストケースとして機能する。

著者らは明示的に、一般のスタックに対する $|\mathcal{X}(\mathbb{R})|$ の位相を計算する技術の開発と、代数設定における予想の完全な検証は、後続の論文 [AGF25] の主題であると述べている。