Profinite Objects

“有限なもの”の成す圏の pro-object を profinite object という。最も一般的なのは, 有限群の圏の pro-object である profinite group だろう。

• profinite group

Profinite group は Galois theory や étale homotopy theory など, 様々な場面で登場するので, 本もいくつか出ている。 Ribes の [Rib70], Shatz の [Sha72], Wilson の [Wil98] などがある。Dixon と du Sautoy と Mann と Segal の本 [Dix+99] は pro-\(p\) group に関するものである。 最も最近のものは, Ribes と Zalesskii の [RZ10] だろうか。

他には, Serre の Galois cohomology の本 [Ser94] の最初にもまとめがあるし, Lenstra の Galois category に関する lecture note [Len08] には, 演習問題も含んだ解説がある。

他の代数的構造に対しても profinite 版が定義できる。 例えば, Mazel-Gee と Peterson と Stapleton [MPS] は profinite ring の 圏を含む piped ring の圏を定義している。

• profinite ring

有限集合に基いた幾何学的な対象は finite space ぐらいであるが, simplicial set を使えば, profinite simplicial set は定義できる。各次数で有限集合になっている simplicial set の圏の pro-object である。あるいは, profinite set の圏での simplicial object と思ってもよい。 Quick [Qui08; Qui11] はそのようなものを profinite space と呼んでいる。

• profinite space

その homotopy theory を展開するためには, profinite homotopy type の概念が必要になる。最初に考えたのは Artin と Mazur [AM86] なのだろうか。もちろん, profinite space の model category や \((\infty ,1)\)-category などが考えられればもっとよい。後者については, やはり Lurie が [Lur] の中で考えている。

Carchedi, Scherotzke, Sibilla, Talpo は [Car+] の中で topological stack の profinite homotopy type を考えている。その動機は, log scheme の profinite homotopy type を考えることであるが。

References

[AM86]

M. Artin and B. Mazur. Etale homotopy. Vol. 100. Lecture Notes in Mathematics. Reprint of the 1969 original. Springer-Verlag, Berlin, 1986, pp. iv+169. isbn: 3-540-04619-4.

[Car+]

David Carchedi, Sarah Scherotzke, Nicolò Sibilla, and Mattia Talpo. Kato-Nakayama spaces, infinite root stacks, and the profinite homotopy type of log schemes. arXiv: 1511.00037.

[Dix+99]

J. D. Dixon, M. P. F. du Sautoy, A. Mann, and D. Segal. Analytic pro-\(p\) groups. Second. Vol. 61. Cambridge Studies in Advanced Mathematics. Cambridge: Cambridge University Press, 1999, pp. xviii+368. isbn: 0-521-65011-9. url: http://dx.doi.org/10.1017/CBO9780511470882.

[Len08]

Hendrik W. Lenstra. Galois theory for schemes. 2008. url: http://websites.math.leidenuniv.nl/algebra/GSchemes.pdf.

[Lur]

Jacob Lurie. Derived Algebraic Geometry XIII: Rational and \(p\)-adic Homotopy Theory. url: https://www.math.ias.edu/~lurie/papers/DAG-XIII.pdf.

[MPS]

Aaron Mazel-Gee, Eric Peterson, and Nathaniel Stapleton. A Relative Lubin-Tate Theorem via Meromorphic Formal Geometry. arXiv: 1308.5435.

[Qui08]

Gereon Quick. “Profinite homotopy theory”. In: Doc. Math. 13 (2008), pp. 585–612. arXiv: 0803.4082.

[Qui11]

Gereon Quick. “Continuous group actions on profinite spaces”. In: J. Pure Appl. Algebra 215.5 (2011), pp. 1024–1039. arXiv: 0906.0245. url: http://dx.doi.org/10.1016/j.jpaa.2010.07.008.

[Rib70]

Luis Ribes. Introduction to profinite groups and Galois cohomology. Queen’s Papers in Pure and Applied Mathematics, No. 24. Kingston, Ont.: Queen’s University, 1970, pp. iii+316.

[RZ10]

Luis Ribes and Pavel Zalesskii. Profinite groups. Second. Vol. 40. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Berlin: Springer-Verlag, 2010, pp. xvi+464. isbn: 978-3-642-01641-7. url: http://dx.doi.org/10.1007/978-3-642-01642-4.

[Ser94]

Jean-Pierre Serre. Cohomologie galoisienne. Fifth. Vol. 5. Lecture Notes in Mathematics. Berlin: Springer-Verlag, 1994, pp. x+181. isbn: 3-540-58002-6.

[Sha72]

Stephen S. Shatz. Profinite groups, arithmetic, and geometry. Annals of Mathematics Studies, No. 67. Princeton, N.J.: Princeton University Press, 1972, pp. x+252.

[Wil98]

John S. Wilson. Profinite groups. Vol. 19. London Mathematical Society Monographs. New Series. New York: The Clarendon Press Oxford University Press, 1998, pp. xii+284. isbn: 0-19-850082-3.