Nuclearity of induced morphisms between colimit Banach rings

From papers

For 0<r2<r1<10<r_2<r_1<1, let

Br=[?B_r=[?

be the Banach ring constructed as the non-expanding colimit of the rings Z{(x/r)1/n}\mathbb{Z}\{(x/r)^{1/n}\} under the morphisms αn,m\alpha_{n,m}. Nuclearity conjecture. The induced morphism

colimn1Z{(x/r1)1/n}colimn1Z{(x/r2)1/n}\underset{n}{\operatorname{colim}}^{\leq 1}\mathbb{Z}\{(x/r_1)^{1/n}\}\longrightarrow \underset{n}{\operatorname{colim}}^{\leq 1}\mathbb{Z}\{(x/r_2)^{1/n}\}

is nuclear for all r2<r1<1r_2<r_1<1. The claim concerns the nuclearity of transition morphisms used in the construction of the Banach-algebraic version of the Fargues–Fontaine curve; the supplied text does not indicate whether it has been proved or remains open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Oren Ben-Bassat and Kobi Kremnizer, “Fréchet Modules and Descent”, arXiv:2002.11608 (2023).

Solutions 0

No solutions have been posted yet.