Properties of Extended Robba Rings

We extend the analogy between the extended Robba rings of p-adic Hodge theory and the one-dimensional affinoid algebras of rigid analytic geometry, proving some fundamental properties that are well known in the latter case. In particular, we show that these rings are regular and excellent. The extended Robba rings are of interest as they are used to build the Fargues-Fontaine curve.