Nuclearity of induced morphisms between colimit Banach rings

About 6 years old · traced to

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

colim⁡n≤1Z{(x/r1)1/n}⟶colim⁡n≤1Z{(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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.