Efimov K-theory of Diamonds

Abstract

Motivated by Scholze and Fargues' geometrization of the local Langlands correspondence using perfectoid diamonds and Clausen and Scholze's work on the K-theory of adic spaces using condensed mathematics, we introduce the Efimov K-theory of diamonds. We propose a pro-diamond, a large stable (infinity,1)-category of diamonds D^{diamond}, diamond spectra and chromatic tower, and a localization sequence for diamond spectra.

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Joint Diamonds and Laver Diamonds.Miha E. Habič - 2019 - Journal of Symbolic Logic 84 (3):895-928.
Ivan Moscati, "Measuring Utility". [REVIEW]William Peden - 2019 - British Journal for the Philosophy of Science Review of Books 1:1.
Notes on Singular Cardinal Combinatorics.James Cummings - 2005 - Notre Dame Journal of Formal Logic 46 (3):251-282.
Hints Towards the Emergent Nature of Gravity.Niels S. Linnemann & Manus R. Visser - 2018 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 64:1-13.
An Extended Lachlan Splitting Theorem.Steffen Lempp & Sui Yuefei - 1996 - Annals of Pure and Applied Logic 79 (1):53-59.
Diamonds, Compactness, and Measure Sequences.Omer Ben-Neria - 2019 - Journal of Mathematical Logic 19 (1):1950002.
Emergence in Holographic Scenarios for Gravity.Dennis Dieks, Jeroen van Dongen & Sebastian de Haro - 2015 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 52 (Part B):203-216.
Diamonds, Uniformization.Saharon Shelah - 1984 - Journal of Symbolic Logic 49 (4):1022-1033.
Positive Provability Logic for Uniform Reflection Principles.Lev Beklemishev - 2014 - Annals of Pure and Applied Logic 165 (1):82-105.

Analytics

Added to PP
2021-03-11

Downloads
717 (#11,494)

6 months
189 (#2,437)

Historical graph of downloads
How can I increase my downloads?