Timeline for Clausen–Scholze's Theorem 9.1 of Analytic.pdf, in view of light condensed sets, AKA is the Liquid Tensor Experiment easier now?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 22 at 20:32 | vote | accept | David Roberts♦ | ||
| Mar 22 at 13:38 | comment | added | Peter Scholze | I don't find the (suspected!) characterization mentioned in 2. very compelling. So I still feel unenlightened about liquid real vector spaces. | |
| Mar 22 at 2:58 | comment | added | David Roberts♦ | Cool, thanks. Even if computing the completion functor for light liquid real vector spaces is not easier, does the characterisation in 2. seem to give any conceptual clarity? I'm thinking, for instance, on the insight that the LTE gave on the proof of Thm 9.1. I guess one has to face the hard reality that the analysis that feeds into the machine will have a hard kernel somewhere that simply cannot be reduced. | |
| Mar 21 at 14:49 | history | answered | Peter Scholze | CC BY-SA 4.0 |