Fix a complete nonarchimedean field equipped with a fixed norm, with residue field . Let be a -affinoid algebra in the sense of classical rigid geometry. Here’s a funny definition I learned recently.
Definition. A surjection is distinguished if the associated residue norm equals the supremum seminorm . A -affinoid algebra is distinguished if it admits a distinguished surjection from a Tate algebra.
Being distinguished imposes some obvious conditions on : since the supremum seminorm is a norm iff is reduced, it certainly it implies
1) is reduced.
Since any residue norm takes values in , it also implies
2) .
If is stable (which holds if is discretely valued or algebraically closed), then the converse is true: 1) and 2) imply that is distinguished. Since 2) is automatic for algebraically closed, we see that any reduced -affinoid is distinguished if is algebraically closed. It is also true that if is a distinguished surjection, then is surjective. Moreover, if satisfies 2), or is not discretely valued, then a surjection is distinguished iff is surjective. Either way, if is distinguished then is a tft -algebra.
All of this can be found in section 6.4.3 of BGR.
Question 1. If is reduced, is there a finite extension such that is distinguished as an -affinoid algebra?
This should be easy if it’s true. I didn’t think much about it.
Now suppose is distinguished, and let be its reduction to a finite type -algebra. As usual we have the specialization map . It is not hard to see that if is a principal open, then is a Laurent domain in . Much less obvious is that for any open affine , the preimage is an affinoid subdomain such that is distinguished and . This is buried in a paper of Bosch.
Loosely following Bosch, let us say an affinoid subdomain is formal if it can be realized as for some open affine . Now let be a reduced quasicompact separated rigid space over . Let us say a finite covering by open affinoids is a formal cover if
1) all are distinguished, and
2) for each , the intersection , which is automatically affinoid, is a formal affinoid subdomain in and in .
This is a very clean kind of affinoid cover: we can immediately build a formal model for by gluing the tft formal affines along their common formal affine opens . Moreover, the special fiber of this formal model is just the gluing of the schemes along the affine opens .
Question 2. For a reduced qc separated rigid space over , is there a finite extension such that admits a formal affinoid cover?
Hi David,
Question 1) is true whenever A is absolutely reduced, i.e., for every complete field extension $K^\prime$ of $K$, the base change $A^\prime := A \widehat{\otimes}_K K^\prime$ is reduced. See Lemma 2.7 in https://link.springer.com/article/10.1007/BF02052727 . In fact, in this case, there exists a finite Galois extension $L/K$ such that $A \otimes_K L$ is distinguished. See Lemma 1.3 in https://arxiv.org/pdf/2309.14542.pdf. Every smooth affinoid algebra of pure dimension is absolutely reduced.
I am not sure about the second question.
Arun
LikeLike