Simplicial Presheaves

Simplicial presheaf とは, simplicial set に値を持つ presheaf のことである。Presheaf の category での simplicial object と言っても同じことである。

ホモトピー論的な視点で重要な仕事として, Jardine の [Jar86; Jar87] がある。Jardine による発見は, simplicial に考えると, sheaf の条件は simplicial presheaf の category 上の model structure として表すことができるということである。

  • simplicial presheaf の category の projective model structure と injective model structure
  • site 上の simplicial presheaf の category の Jardine による model structure

その後, その Jardine の model structure は, projective model structure や injective model structure の hypercover に関する Bousfield localization であることも示されている。Dugger, Hollander, Isaksen の [DHI04] など。

これらは, motivic homotopy theory で重要な役割を果している事実であるが, そのための simplicial presheaf の category の model structure には様々な選択肢がある。 Voevodsky の lecture notes [VRØ07] には, 次のものが挙げられている。

最近では, simplicial presheaf は, 複素多様体の文脈でも [Gla+22; Gla+24] などで使われている。

References

[Bla01]

Benjamin A. Blander. “Local projective model structures on simplicial presheaves”. In: \(K\)-Theory 24.3 (2001), pp. 283–301. url: https://doi.org/10.1023/A:1013302313123.

[DHI04]

Daniel Dugger, Sharon Hollander, and Daniel C. Isaksen. “Hypercovers and simplicial presheaves”. In: Math. Proc. Cambridge Philos. Soc. 136.1 (2004), pp. 9–51. arXiv: math/0205027. url: https://doi.org/10.1017/S0305004103007175.

[DRØ03]

Bjørn Ian Dundas, Oliver Röndigs, and Paul Arne Østvær. “Motivic functors”. In: Doc. Math. 8 (2003), pp. 489–525.

[Dug01]

Daniel Dugger. “Universal homotopy theories”. In: Adv. Math. 164.1 (2001), pp. 144–176. arXiv: math/0007070. url: http://dx.doi.org/10.1006/aima.2001.2014.

[Gla+22]

Cheyne Glass, Micah Miller, Thomas Tradler, and Mahmoud Zeinalian. “The Hodge Chern character of holomorphic connections as a map of simplicial presheaves”. In: Algebr. Geom. Topol. 22.3 (2022), pp. 1057–1112. arXiv: 1905.07674. url: https://doi.org/10.2140/agt.2022.22.1057.

[Gla+24]

Cheyne Glass, Micah Miller, Thomas Tradler, and Mahmoud Zeinalian. “Chern character for infinity vector bundles”. In: Algebr. Geom. Topol. 24.9 (2024), pp. 4939–4990. arXiv: 2211.02549. url: https://doi.org/10.2140/agt.2024.24.4939.

[Isa05]

Daniel C. Isaksen. “Flasque model structures for simplicial presheaves”. In: \(K\)-Theory 36.3-4 (2005), 371–395 (2006). arXiv: math/0401132. url: https://doi.org/10.1007/s10977-006-7113-z.

[Jar06]

J. F. Jardine. “Intermediate model structures for simplicial presheaves”. In: Canad. Math. Bull. 49.3 (2006), pp. 407–413. url: https://doi.org/10.4153/CMB-2006-040-8.

[Jar86]

J. F. Jardine. “Simplicial objects in a Grothendieck topos”. In: Applications of algebraic \(K\)-theory to algebraic geometry and number theory, Part I, II (Boulder, Colo., 1983). Vol. 55. Contemp. Math. Amer. Math. Soc., Providence, RI, 1986, pp. 193–239. url: https://doi.org/10.1090/conm/055.1/862637.

[Jar87]

J. F. Jardine. “Simplicial presheaves”. In: J. Pure Appl. Algebra 47.1 (1987), pp. 35–87. url: http://dx.doi.org/10.1016/0022-4049(87)90100-9.

[Voe10]

Vladimir Voevodsky. “Homotopy theory of simplicial sheaves in completely decomposable topologies”. In: J. Pure Appl. Algebra 214.8 (2010), pp. 1384–1398. arXiv: 0805.4578. url: https://doi.org/10.1016/j.jpaa.2009.11.004.

[VRØ07]

Vladimir Voevodsky, Oliver Röndigs, and Paul Arne Østvær. “Voevodsky’s Nordfjordeid lectures: motivic homotopy theory”. In: Motivic homotopy theory. Universitext. Springer, Berlin, 2007, pp. 147–221. url: https://doi.org/10.1007/978-3-540-45897-5_7.