Constructible sheaf

Constructible sheafconstructible function は, 元々は \(\R \) や \(\bbC \) 上の algebraic variety や analytic space などに対して導入されたものである。 その文脈での文献としては, Kashiwara と Schapira の本 [KS94] の Chapter VIII がある。 Dimca の本 [Dim04] も, タイトルこそ“Sheaves in topology” であるが, constructible sheaf は, complex analytic space に対して定義されている。

Constructible sheaf の本質は, 各 stratum 上で locally constant である, ということなので, 現在では, Lurie の [Lur] の Appendix A にあるように, stratified space で考えるのがよいと思う。 その A.9 で述べられているように, exit-path category の表現との対応が, 基本的である。 その一般化が, Porta と Teyssier [PT] により得られている。 最近は, その対応は exodromy equivalence と呼ばれているようである。 Locally constant sheaf と基本群の表現の対応は monodromy で与えられるが, それを exit-path category の表現に拡張したものを exodromy というようである。

  • exodromy equivalence

そのホモトピー論的性質について書いたものは, あまり見当たらない。Lurie の [Lur] の Appendix A.2 では, locally constant sheaf の場合のホモトピー不変性について述べられている。Constructible sheaf の場合も Appendix A.5 に書かれているが, かなり制限された形である。

一般的な場合については, Haine, Porta, Teyssier の [HPT] で証明されている。

コホモロジーが constructible になる sheaf の complex から成る bounded derived category の full triangulated subcategory を constructible derive category と言ったりする。

  • constructible derived category

最近では, MacPherson や Ghrist の仕事に見られるように, 応用トポロジーでも用いられるようになった。 例えば, Curry と Ghrist と Robinson の Euler calculus に関する解説 [CGR12] を見るとよい。

References

[CGR12]

Justin Curry, Robert Ghrist, and Michael Robinson. “Euler calculus with applications to signals and sensing”. In: Advances in applied and computational topology. Vol. 70. Proc. Sympos. Appl. Math. Amer. Math. Soc., Providence, RI, 2012, pp. 75–145. arXiv: 1202.0275. url: https://doi.org/10.1090/psapm/070/589.

[Dim04]

Alexandru Dimca. Sheaves in topology. Universitext. Springer-Verlag, Berlin, 2004, pp. xvi+236. isbn: 3-540-20665-5. url: https://doi.org/10.1007/978-3-642-18868-8.

[HPT]

Peter J. Haine, Mauro Porta, and Jean-Baptiste Teyssier. The homotopy-invariance of constructible sheaves. arXiv: 2010.06473.

[KS94]

Masaki Kashiwara and Pierre Schapira. Sheaves on manifolds. Vol. 292. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. With a chapter in French by Christian Houzel, Corrected reprint of the 1990 original. Berlin: Springer-Verlag, 1994, pp. x+512. isbn: 3-540-51861-4.

[Lur]

Jacob Lurie. Higher Algebra. url: https://www.math.ias.edu/~lurie/papers/HA.pdf.

[PT]

Mauro Porta and Jean-Baptiste Teyssier. Topological exodromy with coefficients. arXiv: 2211.05004.