Ir al contenido

Documat

Infinitary combinatorics in condensed mathematics and strong homology

  • Jeffrey Bergfalk [1] ; Chris Lambie-Hanson [2]
    1. [1] Departament de Matemàtiques i Informàtica, Universitat de Barcelona,Barcelona, Catalonia
    2. [2] Institute of Mathematics of the Czech Academy of Sciences, Czechia
  • Localización: Selecta Mathematica, New Series, ISSN 1022-1824, Vol. 31, Nº. 5, 2025
  • Idioma: inglés
  • DOI: 10.1007/s00029-025-01100-2
  • Enlaces
  • Resumen

    • Recent advances in our understanding of higher derived limits carry multiple implications in the fields of condensed and pyknotic mathematics, as well as for the study of strong homology. These implications are thematically diverse, pertaining, for example, to the sheaf theory of extremally disconnected spaces, to Banach–Smith duality, to the productivity of compact projective condensed anima, and to the structure of the derived category of condensed abelian groups. Underlying each of these implications are the combinatorics of multidimensionally coherent families of functions of small infinite cardinal height, and it is for this reason that we convene accounts of them together herein.

  • Referencias bibliográficas
    • 1. Artin, M., Mazur, B.: Etale homotopy, volume No. 100 of Lecture Notes in Mathematics. SpringerVerlag, Berlin-New York (1969)
    • 2. Artin, M., Grothendieck, A., Verdier, J.-L.: Theorie de Topos et Cohomologie Etale des Schemas I, volume 269 of Lecture Notes in Mathematics....
    • 3. Ásgeirsson, D.: The foundations of condensed mathematics. https://dagur.sites.ku.dk/condensedfoundations/. Accessed: 15 (August 2024)
    • 4. Avilés, A., Sánchez, F.C., Castillo, J.M.F., González, M., Moreno, Y.: Separably injective Banach spaces. Springer (2016)
    • 5. Bannister, N.: Additivity of derived limits in the Cohen model. arXiv e-prints, page arXiv:2302.07222, (February 2023)
    • 6. Bannister, N.: All you need is Aκ . arXiv e-prints, page arXiv:2506.14185, (June 2025)
    • 7. Bannister, N., Bergfalk, J., Moore, J.T.: On the additivity of strong homology for locally compact separable metric spaces. Israel J. Math....
    • 8. Bannister, N., Bergfalk, J., Moore, J. T., Todorcevic, S.: A descriptive approach to higher derived limits. Journal of the European Mathematical...
    • 9. Barwick, C., Glasman, S., Haine, P.: Exodromy. arXiv e-prints, page arXiv:1807.03281, (July 2018)
    • 10. Barwick, C., Haine, P.: Pyknotic / condensed seminar, MSRI. https://www.slmath.org/workshops/ 24809#overview_workshop. Accessed: 15 (August...
    • 11. Barwick, C., Haine, P.: Pyknotic objects, I. Basic notions. arXiv e-prints, page arXiv:1904.09966, (April 2019)
    • 12. Bergfalk, J.: Strong homology, derived limits, and set theory. Fund. Math. 236(1), 71–82 (2017)
    • 13. Bergfalk, J.: The first omega alephs: from simplices to trees of trees to higher walks. Adv. Math. 393, 108083, 74 (2021)
    • 14. Bergfalk, J.: An introduction to higher walks. Zb. Rad. (Beog.) 22(30), Selected Topics in Combinatorial Analysis Part II, 7–71 (2025)
    • 15. Bergfalk, J., Casarosa, M.: Higher limits of wider systems. arXiv e-prints, page arXiv:2507.05471, (July 2025)
    • 16. Bergfalk, J., Hrušák, M., Lambie-Hanson, C.: Simultaneously vanishing higher derived limits without large cardinals. J. Math. Log. 23(1),...
    • 17. Bergfalk, J., Lambie-Hanson, C.: The cohomology of the ordinals I: Basic theory and consistency results, (2019)
    • 18. Bergfalk, J., Lambie-Hanson, C.: Simultaneously vanishing higher derived limits. Forum Math. Pi 9, e4,31 (2021)
    • 19. Bergfalk, J., Lambie-Hanson, C., Šaroch, J.: Whitehead’s problem and condensed mathematics. arXiv e-prints, page arXiv:2312.09122, (2024)
    • 20. Boardman, J.M., Vogt, R.M.: Homotopy invariant algebraic structures on topological spaces, volume. Lecture Notes in Mathematics, vol....
    • 21. Borel, A., Moore, J.C.: Homology theory for locally compact spaces. Michigan Math. J. 7, 137–159 (1960)
    • 22. Bousfield, A.K., Kan, D.M.: Homotopy limits, completions and localizations, volume. Lecture Notes in Mathematics, vol. 304. Springer-Verlag,...
    • 23. Casarosa, M., Lambie-Hanson, C.: Simultaneously nonvanishing higher derived limits. arXiv e-prints, page arXiv:2411.15856, (November 2024)
    • 24. Cisinski, D.-C., Cnossen, B., Nguyen, K., Walde, T.: Formalization of higher categories. https://drive. google.com/file/d/1lKaq7watGGl3xvjqw9qHjm6SDPFJ2-0o/view,...
    • 25. Clausen, D., Scholze, P.: Condensed mathematics and complex geometry. https://people.mpim-bonn. mpg.de/scholze/Complex.pdf. Accessed:...
    • 26. Clausen, D., Scholze, P.: Masterclass in condensed mathematics. https://www.youtube.com/playlist? list=PLAMniZX5MiiLXPrD4mpZ-O9oiwhev-5Uq,...
    • 27. Clausen, D., Scholze, P.: Analytic stacks. https://youtu.be/YxSZ1mTIpaA?si=8PvFsTN6GSKkWaWy, (2023). Posted by Institut des Hautes...
    • 28. Conrad, B.: Cohomological descent. https://math.stanford.edu/~conrad/papers/hypercover.pdf, (2003)
    • 29. Cordier, J.-M., Porter, T.: Shape theory: Categorical methods of approximation. Ellis Horwood Series: Mathematics and its Applications....
    • 30. Cordier, J.-M.: Sur la notion de diagramme homotopiquement cohérent. Cahiers Topologie Géom. Différentielle 23(1), 93–112 (1982) Third...
    • 31. Cordier, J.-M.: Homologie de Steenrod-Sitnikov et limite homotopique algébrique. Manuscripta Math. 59(1), 35–52 (1987)
    • 32. Curtis Jr, P.C.: A note concerning certain product spaces. Arch. Math. 11, 50–52 (1960)
    • 33. Dugger, D., Hollander, S., Isaksen, D.C.: Hypercovers and simplicial presheaves. Math. Proc. Cambridge Philos. Soc. 136(1), 9–51 (2004)
    • 34. Dugger, D., Isaksen, D.C.: Topological hypercovers and A1-realizations. Math. Z. 246(4), 667–689 (2004)
    • 35. Edwards, D.A., Hastings, H.M.: Cech and Steenrod homotopy theories with applications to geometric ˇ topology, volume. Lecture Notes in...
    • 36. Eilenberg, S., Steenrod, N.: Foundations of algebraic topology. Princeton University Press, Princeton, NJ (1952)
    • 37. Eisworth, T.: Successors of singular cardinals. In Handbook of set theory. Vols. 1, 2, 3, pages 1229– 1350. Springer, Dordrecht, (2010)
    • 38. Fargues, L., Scholze, P.: Geometrization of the local langlands correspondence. https://people.mpimbonn.mpg.de/scholze/Geometrization.pdf....
    • 39. Fuchs, L.: Infinite abelian groups. Vol. II. Pure and Applied Mathematics. Vol. 36-II. Academic Press, New York-London, (1973)
    • 40. Gleason, A.M.: Projective topological spaces. Illinois J. Math. 2, 482–489 (1958)
    • 41. Goblot, R.: Sur les dérivés de certaines limites projectives. Applications aux modules. Bull. Sci. Math. 2(94), 251–255 (1970)
    • 42. Gregoric, R.: Condensed mathematics, a spring 2024 Johns Hopkins seminar. https://sites.google.com/ view/rokgregoric/seminars. Accessed:...
    • 43. Günther, B.: The use of semisimplicial complexes in strong shape theory. Glas. Mat. Ser. III 27(47(1)), 101–144 (1992)
    • 44. Günther, B.: The Vietoris system in strong shape and strong homology. Fund. Math. 141(2), 147–168 (1992)
    • 45. Halmos, P. R.: Lectures on Boolean algebras, volume No. 1 of Van Nostrand Mathematical Studies. D. Van Nostrand Co., Inc., Princeton,...
    • 46. Heyer, C., Mann, L.: 6-Functor Formalisms and Smooth Representations. arXiv e-prints, page arXiv:2410.13038, (October 2024)
    • 47. Hoyois, M.: Higher Galois theory. J. Pure Appl. Algebra 222(7), 1859–1877 (2018)
    • 48. Iversen, B.: Cohomology of sheaves. Universitext. Springer-Verlag, Berlin (1986)
    • 49. Jensen, C.U.: Les foncteurs dérivés de lim←− et leurs applications en théorie des modules, Lecture Notes in Mathematics, vol. 254. Springer-Verlag,...
    • 50. Jensen, R. B.: The fine structure of the constructible hierarchy. Ann. Math. Logic, 4:229–308; erratum, ibid. 4 (1972), 443, 1972. With...
    • 51. Johnstone, P.T.: Stone spaces, Cambridge Studies in Advanced Mathematics, vol. 3. Cambridge University Press, Cambridge (1982)
    • 52. Kashiwara, M., Schapira, P.: Categories and sheaves, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical...
    • 53. Lurie, J.: Higher topos theory, Annals of Mathematics Studies, vol. 170. Princeton University Press, Princeton, NJ (2009)
    • 54. Lurie, J.: Higher Algebra, (2017)
    • 55. Lurie, J.: Kerodon. https://kerodon.net, (2018)
    • 56. Mair, C.: Animated Condensed Sets and Their Homotopy Groups. arXiv e-prints, page arXiv:2105.07888, (May 2021)
    • 57. Mardeši´c, S., Prasolov, A.V.: Strong homology is not additive. Trans. Amer. Math. Soc. 307(2), 725– 744 (1988)
    • 58. Mardeši´c, S.: Nonvanishing derived limits in shape theory. Topology 35(2), 521–532 (1996)
    • 59. Mardeši´c, S.: Strong shape and homology. Springer Monographs in Mathematics. Springer-Verlag, Berlin (2000)
    • 60. Mardeši´c, S., Segal, J.: Shape theory: The inverse system approach, North-Holland Mathematical Library, vol. 26. North-Holland Publishing...
    • 61. Aparicio, R. M.: Condensed Mathematics: The internal Hom of condensed sets and condensed abelian groups and a prismatic construction of...
    • 62. Massey, W.S.: Homology and cohomology theory, Monographs and Textbooks in Pure and Applied Mathematics, vol. 46. Marcel Dekker Inc, New...
    • 63. Mathew, A., Emerton, M.: Condensed mathematics, a fall 2022 University of Chicago course. http:// math.uchicago.edu/~amathew/condensed22.html....
    • 64. May, J. P.,Ponto, K.: More concise algebraic topology. Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, (2012)....
    • 65. Melikhov, S. A.: Fine shape I. arXiv e-prints, page arXiv:1808.10228, (August 2018)
    • 66. Milne, J. S.: Lectures on etale cohomology (v2.21), (2013). Available at www.jmilne.org/math/
    • 67. Milnor, J.: On the Steenrod homology theory. In Novikov conjectures, index theorems and rigidity, Vol. 1 (Oberwolfach, 1993), volume 226...
    • 68. Mitchell, W.J.: I[ω2] can be the nonstationary ideal on Cof(ω1). Trans. Amer. Math. Soc. 361(2), 561–601 (2009)
    • 69. Porter, T.: On the two definitions of Ho(proC). Topology Appl. 28(3), 289–293 (1988)
    • 70. Prasolov, A.V.: Non-additivity of strong homology. Topology Appl. 153(2–3), 493–527 (2005)
    • 71. Prosmans, F.: Derived limits in quasi-abelian categories. Bull. Soc. Roy. Sci. Liège 68(5–6), 335–401 (1999)
    • 72. Rainwater, J.: A note on projective resolutions. Proc. Amer. Math. Soc. 10, 734–735 (1959)
    • 73. Rinot, A.: Jensen’s diamond principle and its relatives. In: Set theory and its applications, volume 533 of Contemp. Math., pages 125–156....
    • 74. Jacinto, J.R., Rodríguez-Camargo, J.E.: Solid locally analytic representations of p-adic Lie groups. Represent. Theory 26, 962–1024 (2022)
    • 75. Rodriguez-Camargo, J., Morgan, J.: Condensed mathematics, a fall 2023 Columbia seminar. https:// www.math.columbia.edu/~jmorgan/condensed_mathematics.html....
    • 76. Scholze, P.: Lectures on analytic geometry (all results joint with Dustin Clausen). https://people.mpimbonn.mpg.de/scholze/Analytic.pdf....
    • 77. Scholze, P.: Lectures on condensed mathematics (all results joint with Dustin Clausen). https://www. math.uni-bonn.de/people/scholze/Condensed.pdf....
    • 78. Scholze, P.: Personal communication, 2019–2024
    • 79. Sklyarenko, E.G.: Hyper(co)homology for left-exact covariant functors, and homology theory of topological spaces. Uspekhi Mat. Nauk 50(3(303)),...
    • 80. Smith, M.F.: The Pontrjagin duality theorem in linear spaces. Ann. of Math. 2(56), 248–253 (1952)
    • 81. Steenrod, N.E.: Regular cycles of compact metric spaces. Ann. of Math. 2(41), 833–851 (1940)
    • 82. Tang, J.: Profinite and solid cohomology. arXiv e-prints, page arXiv:2410.08933, (2024)
    • 83. Todorcevic, S.: Walks on ordinals and their characteristics. Progress in Mathematics, vol. 263. Birkhäuser Verlag, Basel (2007)
    • 84. Cesnaviˇ ˇ cius, K., Scholze, P.: Purity for flat cohomology. Ann. of Math. (2) 199(1), 51–180 (2024)
    • 85. Veliˇckovi´c, B., Vignati, A.: Non-vanishing higher derived limits. Commun. Contemp. Math. 26(7), 2350031, 22 (2024)
    • 86. Weibel, C.A.: An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38. Cambridge University Press,...
    • 87. Wiegand, R.: Sheaf cohomology of locally compact totally disconnected spaces. Proc. Amer. Math. Soc. 20, 533–538 (1969)
Fundación Dialnet

Mi Documat

Opciones de artículo

Opciones de compartir

Opciones de entorno