Durov's thesis on algebraic geometry over generalized rings looks extremely intriguing: it promises to unify scheme based and Arakelov geometry, even in singular cases, as well as including geometry over the tropical semiring. The analytic notions in Arakelov geometry seem to appear naturally, as a consequence of rephrasing the construction of $\mathbb{Z}_p$ in terms of maximal compact subgroups of $GL(n, \mathbb{Q}_p)$, and carrying this construction to $GL(n, \mathbb{R})$. A proposed construction of the field with one element $\mathbb{F}_1$ and its finite extensions also appear in the thesis.

Given these premises, I'd want to understand more of Durov's work. But Durov has left mathematics to found Telegram, and I am not sure about the status of his work. Since my background on arithmetic geometry is limited, and I am not currently in the university, I have troubles evaluating the impact of this approach, and I would like to know more before delving into a 568 pages thesis.

Has this theory been developed after he left mathematics? Did anyone find applications outside the theory itself? What is the point of view of people working in "classical" Arakelov geometry?

**EDIT** I had incorrectly assumed that after founding Telegram, Durov had left mathematics, but as @FedorPetrov points out, he is still active. Yet the question still stands: what is the status of this approach to Arakelov geometry? Is he (or other people) still developing it? Were there any results unrelated to generalized rings proved using this theory? I do not have access to his recent papers, but judging from the first page, his focus seems to have shifted somehow

1more comment