Timeline for Is Mazur's analogy between arithmetic and topology formal, in any sense?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 4, 2022 at 16:16 | vote | accept | Matthew Niemiro | ||
| Jan 3, 2022 at 8:11 | history | became hot network question | |||
| Jan 3, 2022 at 1:38 | answer | added | Will Sawin | timeline score: 15 | |
| Jan 3, 2022 at 1:21 | comment | added | D.-C. Cisinski | Exodromy, as developped by Barwick, Glasman and Haine is a rather systematic way to relate arithmetic and topology; see arXiv:1807.03281. It does not explain Mazur's analogy in full yet, but it certainly goes in this direction. This is a great refinement of methods that have been used successfully to study existence of rational points or $0$-cycles over number fields, in the work of Harpaz, Schlank, Skorobogatov and Wittenberg (around the Hasse principle, Gauss-Manin obstruction...); see e.g. arXiv:1409.0993 or arXiv:1802.09605. | |
| Jan 3, 2022 at 0:56 | history | edited | Matthew Niemiro | CC BY-SA 4.0 |
deleted 119 characters in body
|
| Jan 3, 2022 at 0:53 | comment | added | Wojowu | It's probably not any more formal than the (much more well-studied, and easier to search up) function field analogy. A dream would be some equivalence of categories between appropriate objects, but I don't think anything like that is known. | |
| S Jan 3, 2022 at 0:11 | review | First questions | |||
| Jan 3, 2022 at 1:01 | |||||
| S Jan 3, 2022 at 0:11 | history | asked | Matthew Niemiro | CC BY-SA 4.0 |