Skip to main content
Log in

Gabriel–Zisman Cohomology and Spectral Sequences

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

Abstract

Extending constructions by Gabriel and Zisman, we develop a functorial framework for the cohomology and homology of simplicial sets with very general coefficient systems given by functors on simplex categories into abelian categories. Furthermore we construct Leray type spectral sequences for any map of simplicial sets. We also show that these constructions generalise and unify the various existing versions of cohomology and homology of small categories and as a bonus provide new insight into their functoriality.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. André, M.: Limites et fibrés. C. R. Acad. Sci. Paris, Sér. A. 260, 756–759 (1965)

    MATH  Google Scholar 

  2. Baues, H.J., Wirsching, G.: Cohomology of small categories. J. Pure Appl. Algebra 38, 187–211 (1985)

    Article  MathSciNet  Google Scholar 

  3. Beilinson, A.A.: Residues and adeles. Funct. Anal. Pril. 14(1), 44–45 (1980); English transl. in: Funct. Anal. Appl. 14(1), 34–35 (1980)

  4. Bergner, J.E., Osorno, A.M., Ozornova, V., Rovelli, M., Scheimbauer, C.I.: The edgewise subdivision criterion for 2-Segal objects. Proc. Am. Math. Soc. 148, 71–82 (2020)

    Article  MathSciNet  Google Scholar 

  5. Bousfield, A.K., Kan, D.M.: Homotopy Limits, Completions and Localizations. Lecture Notes in Mathematics, vol. 304. Springer, Berlin (1972)

    Book  Google Scholar 

  6. Brown, K.S.: Buildings. Springer, Berlin (1989)

    Book  Google Scholar 

  7. Ciblis, C., Redondo, M.J.: Cartan–Leray spectral sequence for Galois coverings of linear categories. J. Algebra 284, 310–325 (2005)

    Article  MathSciNet  Google Scholar 

  8. Cisinski, D.-C.: Images directes cohomologiques dans les catégories de modèles. Ann. Math. Blaise Pascal 10(2), 195–244 (2003)

    Article  MathSciNet  Google Scholar 

  9. Dress, A.: Zur Spektralsequenz von Faserungen. Invent. Math. 3, 172–178 (1967)

    Article  MathSciNet  Google Scholar 

  10. Dyckerhoff, T., Kapranov, M.: Higher Segal Spaces. Lecture Notes in Mathematics, vol. 2244. Springer, Berlin (2019)

    Book  Google Scholar 

  11. Fimmel, T.: Verdier duality for systems of coefficients over simplicial sets. Math. Nachr. 190, 51–122 (1998)

    Article  MathSciNet  Google Scholar 

  12. Gabriel, P., Zisman, M.: Calculus of Fractions and Homotopy Theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 35. Springer, New York (1967)

    Book  Google Scholar 

  13. Gálvez-Carrillo, I., Kock, J., Tonks, A.: Decomposition spaces, incidence algebras and Möbius inversion I: basic theory. Adv. Math. 331, 952–1015 (2018)

    Article  MathSciNet  Google Scholar 

  14. Gálvez-Carrillo, I., Neumann, F., Tonks, A.: André spectral sequences for Baues-Wirsching cohomology of categories. J. Pure Appl. Algebra 216, 2549–2561 (2012)

    Article  MathSciNet  Google Scholar 

  15. Gálvez-Carrillo, I., Neumann, F., Tonks, A.: Thomason cohomology of categories. J. Pure Appl. Algebra 217, 2163–2179 (2013)

    Article  MathSciNet  Google Scholar 

  16. Gelfand, S.I., Manin, YuI: Methods of Homological Algebra. Springer Monographs in Mathematics, 2nd edn. Springer, Berlin (2003)

    Book  Google Scholar 

  17. Goerss, P.G., Jardine, J.F.: Simplicial Homotopy Theory, Progress in Mathematics, vol. 174. Birkhäuser Verlag, Basel (1999)

    Book  Google Scholar 

  18. Grothendieck, A.: Sur quelques points d’algèbre homologique. Tôhoku Math. J. (2) 9, 119–221 (1957)

    MathSciNet  MATH  Google Scholar 

  19. Grothendieck, A.: Revêtements étales et groupe fondamental. Fasc. II: Exposés 6, 8 à 11. Séminaire de Géométrie Algébrique (SGA1), 1960/61. Troisième édition, corrigée. Publications Institut des Hautes Études Scientifiques, Paris (1963)

    Google Scholar 

  20. Huber, A.: On the Parshin–Beilinson adeles for schemes. Abh. Math. Sem. Univ. Hamburg 61, 249–273 (1991)

    Article  MathSciNet  Google Scholar 

  21. Husainov, A.A.: Homological dimension theory of small categories. J. Math. Sci. 110(1), 2273–2321 (2002)

    Article  MathSciNet  Google Scholar 

  22. Husainov, A.A.: Homology groups of cubical sets. Appl. Cat. Struct. 27, 199–216 (2019)

    Article  MathSciNet  Google Scholar 

  23. Illusie, L.: Complexe Cotangent et Déformations II. Lecture Notes in Mathematics, vol. 283. Springer, Berlin (1972)

    MATH  Google Scholar 

  24. Latch, D.M.: The uniqueness of homology for the category of small categories. J. Pure Appl. Algebra 9, 221–237 (1977)

    Article  MathSciNet  Google Scholar 

  25. MacLane, S.: Categories for the Working Mathematician, Second Edition, Graduate Texts in Mathematics, vol. 5. Springer, New York (1998)

    Google Scholar 

  26. Mitchell, B.: Rings with several objects. Adv. Math. 8, 1–161 (1972)

    Article  MathSciNet  Google Scholar 

  27. Parshin, A.N.: On the arithmetic of two-dimensional schemes I, repartitions and residues. Izv. Akad. Nauk SSSR Ser. Mat. 40(4), 736–773 (1976); English transl. in: Math. USSR Izv. 10(4), 695–729 (1976)

  28. Pirashvili, T., Redondo, M.J.: Cohomology of the Grothendieck construction. Manuscr. Math. 120, 151–162 (2006)

    Article  MathSciNet  Google Scholar 

  29. Quillen, D.: Higher algebraic \(K\)-theory. I. Algebraic \(K\)-theory, I: Higher \(K\)-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), pp. 85–147. Lecture Notes in Math. 341, Springer, Berlin (1973)

  30. Richter, B.: From Categories to Homotopy Theory, Cambridge Studies in Advanced Mathematics, vol. 188. Cambridge University Press, Cambridge (2020)

    Book  Google Scholar 

  31. Roos, J.E.: Sur les foncteurs dérivés de \(\lim \). Applications. C. R. Acad. Sci. Paris, Sér. A. 252, 3702–3704 (1961)

    MATH  Google Scholar 

  32. Schneider, P., Stuhler, U.: Representation theory and sheaves on the Bruhat–Tits building. Publ. Math. IHÉS 85, 97–191 (1997)

    Article  MathSciNet  Google Scholar 

  33. Weibel, C.: Homotopy ends and Thomason model categories. Selecta Mathematica, New ser. 7, 533–564 (2001)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Andrew Tonks.

Additional information

Communicated by M. Batanin.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Imma Gálvez-Carrillo was partially supported by Spanish Ministry of Science and Catalan government Grants PID2019-103849GB-I00, 2017 SGR 932, MTM2017-90897-REDT, MTM2016-76453-C2-2-P (AEI/FEDER, UE), MTM2015-69135-P, and Andrew Tonks by MTM2016-76453-C2-2-P (AEI/FEDER, UE) all of which are gratefully acknowledged. Frank Neumann thanks the Centre de Recerca Matemàtica (CRM) in Bellaterra, Spain for inviting him during the research programme Homotopy Theory and Higher Categories (HOCAT), where this work was initiated.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Gálvez-Carrillo, I., Neumann, F. & Tonks, A. Gabriel–Zisman Cohomology and Spectral Sequences. Appl Categor Struct 29, 69–94 (2021). https://doi.org/10.1007/s10485-020-09609-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-020-09609-7

Keywords

Navigation