空間の局所化や完備化

現代の代数的トポロジーで局所化と言った場合, 2つの意味がある。1つは, ある空間の情報を一部分取り出した新しい空間を作る操作, もう1つは モデル圏のホモトピー圏を作ったり, Abel圏の derived category を作ったりするときのような, Gabirel-Zisman の意味での 圏の局所化である。

後者は, 現在では, モデル圏の局所化として扱うべきだろう。

一般の場合については, Hirschhorn の本 [Hir03] に詳しい。

各空間の局所化についても, 現在は非常に一般化された抽象的な設定で議論できるようになったが, 抽象的な局所化を学ぶ前に, まずは, CW複体の場合から始めて, 次第に空間の局所化という概念に慣れていくのがよいだろう。 このような古典的な局所化については, Fiedorowicz が type した Adams の lecture note [AF] をまず読んでみるのがよいと思う。局所化一般についての解説としては, Dwyer の [Dwy04] がある。May と Ponto の [MP12] もよい。

\(p=0\) での局所化を考えるのが有理ホモトピー論であるが, そのホモトピー型を表す代数的モデルがあることが特徴である。\(p>0\) の場合は, それ程簡単な代数的モデルはないが, Mandell [Man01] により, \(\overline {\F }_{p}\) 上の \(E_{\infty }\)-algebra 用いて \(p\)-complete homotopy type が表せることが示されている。

もちろん, 元になっている代数学での, 完備化や局所化についても知っておくとよい。 古典的な空間の局所化は, 素数 \(p\) (あるいは素数の集合) に関し局所化するものであるから, それ程代数的な知識は必要ない。しかし, 最近の安定ホモトピー論での進歩により, 代数的な操作が spectrum の圏でできるようになったことで, より一般的な局所化や完備化が spectrum の圏でも使われるようになっている。例えば, Greenlees と May の [GM92] など, である。 Greenlees と May の解説 [GM95]を見るとよい。

局所化のような, 大きな圏に対する操作を行なうときには, 集合論的な困難が共なう。そのような問題を考えるときには, Vopenka’s principle などの large cardinality axiom が有効のようである。

Bagaria, Casacuberta, Mathias, Rosicky の [Bag+15] では, Vopenka’s principle の代数的トポロジー, 特に局所化への応用として [CC06; CSS05; Cho07; RT03] が挙げられている。

その他の局所化の手法としては, 代数幾何学的な観点からの, schematization という構成がある。Toën により [Toë06] で導入された。

位相空間 \(X\) と体 \(k\) の組 \((X,k)\) に対し, \(k\) 上の affine scheme の site 上の simplicial presheaf \((X\otimes k)^{\textrm {sch}}\) を対応させるものである。 \(X\) のホモトピー型の “\(k\)-linear part” を取り出すものであり, \(k=\Q \) のときには, rational homotopy type を表わす。 よって, 局所化のモデルとして用いることができる。Katzarkov と Pantev と Toën の [KPT08] や [KPT09] で調べられている。

同様の情報を取り出すものとして, pro-algebraic homotopy type という手法 [Pri08] もある。これは nilpotent ではない空間への rational homotopy theory の拡張になっているようである。

\(\mathbb {A}^{1}\)-homotopy theory での素数に関する局所化の試みとして, Asok, Fasel, Hopkins による [AFH22] がある。

Shin [Shi] によると, Bhatt と Scholze の prismatic cohomology [BS] は, Mandell の \(p\)-adic homotopy theory と関係あるようである。

References

[AF]

J. Frank Adams and Zbigniew Fiedorowicz. Localisation and Completion with an addendum on the use of Brown-Peterson homology in stable homotopy. arXiv: 1012.5020.

[AFH22]

Aravind Asok, Jean Fasel, and Michael J. Hopkins. “Localization and nilpotent spaces in -homotopy theory”. In: Compos. Math. 158.3 (2022), pp. 654–720. arXiv: 1909 . 05185. url: https://doi.org/10.1112/s0010437x22007321.

[Bag+15]

Joan Bagaria, Carles Casacuberta, A. R. D. Mathias, and Jiřı́ Rosický. “Definable orthogonality classes in accessible categories are small”. In: J. Eur. Math. Soc. (JEMS) 17.3 (2015), pp. 549–589. arXiv: 1101.2792. url: https://doi.org/10.4171/JEMS/511.

[BS]

Bhargav Bhatt and Peter Scholze. Prisms and Prismatic Cohomology. arXiv: 1905.08229.

[CC06]

Carles Casacuberta and Boris Chorny. “The orthogonal subcategory problem in homotopy theory”. In: An alpine anthology of homotopy theory. Vol. 399. Contemp. Math. Providence, RI: Amer. Math. Soc., 2006, pp. 41–53. arXiv: math/0502329. url: http://dx.doi.org/10.1090/conm/399/07511.

[Cho07]

Boris Chorny. “Abstract cellularization as a cellularization with respect to a set of objects”. In: Categories in algebra, geometry and mathematical physics. Vol. 431. Contemp. Math. Providence, RI: Amer. Math. Soc., 2007, pp. 165–170. arXiv: math/0607126.

[CSS05]

Carles Casacuberta, Dirk Scevenels, and Jeffrey H. Smith. “Implications of large-cardinal principles in homotopical localization”. In: Adv. Math. 197.1 (2005), pp. 120–139. url: http://dx.doi.org/10.1016/j.aim.2004.10.001.

[Dwy04]

W. G. Dwyer. “Localizations”. In: Axiomatic, enriched and motivic homotopy theory. Vol. 131. NATO Sci. Ser. II Math. Phys. Chem. Kluwer Acad. Publ., Dordrecht, 2004, pp. 3–28. url: http://dx.doi.org/10.1007/978-94-007-0948-5_1.

[GM92]

J. P. C. Greenlees and J. P. May. “Completions of \(G\)-spectra at ideals of the Burnside ring”. In: Adams Memorial Symposium on Algebraic Topology, 2 (Manchester, 1990). Vol. 176. London Math. Soc. Lecture Note Ser. Cambridge: Cambridge Univ. Press, 1992, pp. 145–178. url: http://dx.doi.org/10.1017/CBO9780511526312.016.

[GM95]

J. P. C. Greenlees and J. P. May. “Completions in algebra and topology”. In: Handbook of algebraic topology. Amsterdam: North-Holland, 1995, pp. 255–276. url: http://dx.doi.org/10.1016/B978-044481779-2/50008-0.

[Hir03]

Philip S. Hirschhorn. Model categories and their localizations. Vol. 99. Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2003, pp. xvi+457. isbn: 0-8218-3279-4. url: https://doi.org/10.1090/surv/099.

[KPT08]

L. Katzarkov, T. Pantev, and B. Toën. “Schematic homotopy types and non-abelian Hodge theory”. In: Compos. Math. 144.3 (2008), pp. 582–632. arXiv: math/0107129. url: https://doi.org/10.1112/S0010437X07003351.

[KPT09]

L. Katzarkov, T. Pantev, and B. Toën. “Algebraic and topological aspects of the schematization functor”. In: Compos. Math. 145.3 (2009), pp. 633–686. arXiv: math / 0503418. url: https://doi.org/10.1112/S0010437X09004096.

[Man01]

Michael A. Mandell. “\(E_{\infty }\) algebras and \(p\)-adic homotopy theory”. In: Topology 40.1 (2001), pp. 43–94. url: http://dx.doi.org/10.1016/S0040-9383(99)00053-1.

[MP12]

J. P. May and K. Ponto. More concise algebraic topology. Chicago Lectures in Mathematics. Localization, completion, and model categories. Chicago, IL: University of Chicago Press, 2012, pp. xxviii+514. isbn: 978-0-226-51178-8; 0-226-51178-2.

[Pri08]

J. P. Pridham. “Pro-algebraic homotopy types”. In: Proc. Lond. Math. Soc. (3) 97.2 (2008), pp. 273–338. arXiv: math/0606107. url: http://dx.doi.org/10.1112/plms/pdn004.

[RT03]

J. Rosický and W. Tholen. “Left-determined model categories and universal homotopy theories”. In: Trans. Amer. Math. Soc. 355.9 (2003), pp. 3611–3623. url: http://dx.doi.org/10.1090/S0002-9947-03-03322-1.

[Shi]

Tobias Shin. Prismatic cohomology and \(p\)-adic homotopy theory. arXiv: 2107.02256.

[Toë06]

Bertrand Toën. “Champs affines”. In: Selecta Math. (N.S.) 12.1 (2006), pp. 39–135. arXiv: math/0012219. url: http://dx.doi.org/10.1007/s00029-006-0019-z.