[論文レビュー] Absolute algebra and Segal's Gamma sets

Alain Connes, Caterina Consani|arXiv (Cornell University)|Feb 19, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用数 8

ひとこと要約

本稿は、セガールの$Γ$-集合が絶対代数の包括的枠組みを提供することを確立している。具体的には、球面スペクトルから導かれる${\mathbb{S}}$-代数（$Γ$-集合を介して形式化されたもの）が、モノイド、半環、ハイパー環、およびアラケロフ幾何におけるモナドの構成を包含・一般化することを示している。主な結果は、スモッシュ積$H{\mathbb{Z}}\wedge H{\mathbb{Z}}$が$H{\mathbb{Z}}$に同型でないことを示しており、${\mathbb{S}}$-代数枠組みにおける非自明な構造を示している。これは、以前の手法における${\mathbb{Z}}\otimes_{{\mathbb{F}}_1}{\mathbb{Z}}$の自明性とは対照的である。

ABSTRACT

We show that the basic categorical concept of an S-algebra as derived from the theory of Segal's Gamma-sets provides a unifying description of several constructions attempting to model an algebraic geometry over the absolute point. It merges, in particular, the approaches using monoids, semirings and hyperrings as well as the development by means of monads and generalized rings in Arakelov geometry. The assembly map determines a functorial way to associate an S-algebra to a monad on pointed sets. The notion of an S-algebra is very familiar in algebraic topology where it also provides a suitable groundwork to the definition of topological cyclic homology. The main contribution of this paper is to point out its relevance and unifying role in arithmetic, in relation with the development of an algebraic geometry over symmetric closed monoidal categories.

研究の動機と目的

• モノイド、半環、ハイパー環、およびモナドといった、絶対代数の異なるアプローチを、1つの圏論的枠組みに統合すること。
• セガールの$\Gamma$-集合から導かれる${\mathbb{S}}$-代数が、絶対点上の幾何に自然かつ厳密な基礎を提供することを示すこと。
• アセンブリ写像を、点付き集合上のモナドから${\mathbb{S}}$-代数への関手的構成として定義し、ダウロフのモナドに基づくアプローチを拡張すること。
• アラケロフコンパクト化$\overline{{\rm Spec}\,{\mathbb{Z}}}}$に自然な${\mathbb{S}}$-代数の層構造を備えることで、新たな幾何的解釈を可能にすること。
• スモッシュ積$H{\mathbb{Z}}\wedge H{\mathbb{Z}}$が非自明であることを確立し、${\mathbb{Z}}\otimes_{{\mathbb{F}}_1}{\mathbb{Z}}$の自明性と対照させることで、${\mathbb{S}}$-代数枠組みにおけるより豊かな構造を明らかにすること。

提案手法

• 著者たちは、セガールの$\Gamma$-集合から導かれる${\mathbb{S}}$-代数（離散的$\Gamma$-環としての枠組み）を用いて、絶対代数における構成を統合する。
• アセンブリ写像を、点付き集合上の任意のモナドに${\mathbb{S}}$-代数を関手的に割り当てる構成として定義し、ダウロフのモナドに基づく幾何の一般化を行う。
• ${\mathbb{S}}$-代数のスモッシュ積は、特に$H{\mathbb{B}}$および$H{\mathbb{Z}}$に対して、$\Gamma$-集合上のデイ畳み込み積を用いて分析する。
• $H{\mathbb{Z}}(k_+)$の構造は${\mathbb{Z}}^k$（基点が0）と特定され、$\alpha, \beta, \gamma: 2_+ \to 1_+$の3つの写像の作用が、$\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}}$の$\Gamma$-集合構造の分析に用いられる。
• 非単射性を示すことで矛盾を導出する：$\rho: (\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}})(2_+) \to (\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}})(1_+)^2$は単射でないが、$H{\mathbb{Z}}$の対応する写像は全単射であるため、非同型性が証明される。
• ホモトピー的推論により裏付けられる：$\pi_*(\underline{H{\mathbb{Z}}} \wedge \underline{H{\mathbb{Z}}})$は非自明（$H_*(\underline{H{\mathbb{Z}}}, \mathbb{Z})$に同型）であり、$\pi_*(\underline{H{\mathbb{Z}}})$とは対照的で、スペクトルレベルでの非同型性が確認される。

実験結果

リサーチクエスチョン

• RQ1 セガールの$\Gamma$-集合に基づく${\mathbb{S}}$-代数は、モノイド、半環、ハイパー環、およびモナドといった、絶対代数の多様なアプローチを統合できるか？
• RQ2 アセンブリ写像は点付き集合上のモナドと${\mathbb{S}}$-代数の間にどのように関手的に関係し、アラケロフ幾何において何の意味を持つのか？
• RQ3 なぜスモッシュ積$H{\mathbb{Z}}\wedge H{\mathbb{Z}}$は$H{\mathbb{Z}}$に同型でないのか？これは絶対代数の構造にどのような意味を持つのか？
• RQ4 アラケロフコンパクト化$\overline{{\rm Spec}\,{\mathbb{Z}}}}$に自然に${\mathbb{S}}$-代数の層を備えられるか？また、これによりどのような幾何的構造が誘導されるか？
• RQ5 ${\mathbb{S}}$-代数の理論は、トポロジカルな循環ホモロジーおよび安定ホモトピー圏とどのように関係するか？

主な発見

• ${\mathbb{S}}$-代数$H{\mathbb{Z}}$は非自明な自己同型を持たないため、$H{\mathbb{Z}}\wedge H{\mathbb{Z}} \to H{\mathbb{Z}}$の同型が存在するならば、それは一意的である。
• アセンブリ写像$\alpha_{H{\mathbb{Z}}, H{\mathbb{Z}}}$は全射であり、もし$H{\mathbb{Z}}\wedge H{\mathbb{Z}}$が$H{\mathbb{Z}}$に同型ならば、合成写像$\mu \circ \psi$は${\mathbb{Z}}$の全射自己準同型、よって自己同型である。
• $\rho: (\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}})(2_+) \to (\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}})(1_+)^2$は、$(t_1 - 1)(t_2 - 1)$の倍数を加えることで$\alpha$および$\beta$の像が保存されるため、単射でない。一方、$H{\mathbb{Z}}$の対応する写像は全単射である。
• この非単射性により、$\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}}$は$H{\mathbb{Z}}$に同型でないことが証明され、$H{\mathbb{Z}}\wedge H{\mathbb{Z}} \cong H{\mathbb{Z}}$の仮定に矛盾する。
• $\underline{H{\mathbb{Z}}} \wedge \underline{H{\mathbb{Z}}}$のホモトピー群は、エイレンバーグ＝マクレインスペクトル$\underline{H{\mathbb{Z}}}$の整数ホモロジーに同型であり、正の次数で非自明だが有限である。これはスペクトルレベルでの非同型性を確認する。
• $\overline{{\rm Spec}\,{\mathbb{Z}}}}$上の構造層$\mathcal{O}_{\overline{{\rm Spec}\,{\mathbb{Z}}}}}$は自然に${\mathbb{S}}$-代数であり、各アラケロフ除数はそれ上の層の加群を定義する。1パラメータ群の弱く可逆な層は、フロベニウス対応則と一致する。