4
$\begingroup$

Let $K$ be a local field of characteristic zero and $X$ an affinoid rigid space over $K$. Let $U\subset X$ be an affinoid subdomain, and consider a finite family of points $\{p_{1},\cdots, p_{n}\}\subset U$. Is it true that there is a rational subdomain $V\subset X$ such that $\{p_{1},\cdots, p_{n}\}\subset V\subset U$? The Theorem of Gerritzen-Grauert, Theorem 7.3.5 in the reference, implies that this is true for a single point. I think a result like this would make sense, but I don't see a straightforward way of proving it just from the statement of the theorem. Is there a known answer, or at least any literature related to this question?

Bosch, S.; Güntzer, Ulrich; Remmert, Reinhold, Non-Archimedean analysis. A systematic approach to rigid analytic geometry, Grundlehren der Mathematischen Wissenschaften, 261. Berlin etc.: Springer Verlag. XII, 436 p. DM 168.00 (1984). ZBL0539.14017.

$\endgroup$
1
  • 1
    $\begingroup$ May I ask why you are interested in this? $\endgroup$ Jun 22 at 16:37

1 Answer 1

2
+300
$\begingroup$

Yes, this is true . You can proceed as follows. First pick finite many functions $f_1,\dots,f_m$ on $U$ such that $V(f_1,\dots,f_m)$ consists of finitely many points, including the ones you want. (For instance, if you embed $U$ into a polydisk, you can take a non-constant polynomial $P_i$ that vanishes on the $i$-th projections of your points. The family of the $P_i$'s would work.) Now, for $r >0$, consider $V_r = \{ |f_1|\le r,\dots,|f_r|\le r\}$. It is a rational (even Weierstrass) domain and, for $r$ small enough, the connected component of $V_r$ containing any $p_i$ will be contained in $U$. It remains to get rid of finitely many connected components, which you can do by intersecting with domains of the form $\{|g|\ge s\}$. The resulting domain is a rational (even Laurent) domain with the properties you want.

By the way, in the case you have only one point, the result follows from the fact that any point has a basis of neighborhoods made of Laurent domains. No need for Gerritzen-Grauert here.

$\endgroup$
1
  • $\begingroup$ Dear @JérômePoineau, thank you for your answer. I will award you the bounty. I am interested in this particular result, as I work with actions of finite groups in rigid analytic spaces. In classical algebraic geometry, results regarding the existence of affine subsets containing a finite family of points are used to work with this type of actions. I thought that it would be natural for a similar thing to happen in this context. $\endgroup$ Jun 23 at 9:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.