10
$\begingroup$

In classical complex analysis it is easy to prove that a meromorphic function has at most one analytic continuation (on an open connected subset of $\mathbb C$, say).

The problem of non-uniqueness of analytic continuation is one of the reasons why it is not possible (if one wants a good theory) to translate the complex theory to the $p$-adic case without some modifications, and so it is one of the motivation for introducing rigid analytic variety. However, I am not able to find a precise statement that explains under which hypothesis the uniqueness of analytic continuation holds for rigid analytic varieties. So the question is the following.

Let $k$ be a non-archimedean field and let $X$ be a connected rigid analytic space over $k$. Let $f \colon X \to k$ be a rigid analytic function that vanishes on $Y$, that is an admissible subdomain of $X$. It is always true that $f$ vanishes on $X$? If this is not the case, under which assumptions it is true?

Any references will be very appreciated!

$\endgroup$
2
  • $\begingroup$ Have a look at Berkovich's book "Spectral theory and analytic geometry over non-archimedean fields", especially the end of section 3.3. $\endgroup$ Oct 9, 2012 at 16:57
  • $\begingroup$ You should also have a look at Proposition 4.2 in this article: arxiv.org/abs/1612.01924 $\endgroup$
    – user141099
    Aug 30, 2023 at 18:50

2 Answers 2

5
$\begingroup$

No: let $X$ be the union of the coordinate axes in the affine plane. As over $\mathbf{C}$, the answer is affirmative on a connected normal analytic space. Hint: prove in any rigid-analytic space that connected components are witnessed via finite linked chains of connected affinoid opens (and after thereby reducing to the affinoid case, assume smoothness if you are unfamiliar with the excellence properties of affinoid algebras).

The answer is applicable to meromorphic functions as well, but proving that requires more care (e.g., one has to first figure out how to appropriately define the concept of meromorphicity and prove some basic features of it).

$\endgroup$
3
  • 1
    $\begingroup$ Brian Conrad's papers a re a great resource for these things. Irreducible Components of Rigid Spaces is fantastic. His paper (preprint at present, I suppose) on Moishezon spaces has a bunch of stuff about meromorphic functions in the rigid context. $\endgroup$
    – Ramsey
    Oct 9, 2012 at 13:20
  • $\begingroup$ Is there a simple (I mean, without using normal rigid spaces) answer for holomorphic functions? $\endgroup$
    – Ricky
    Oct 9, 2012 at 13:57
  • 1
    $\begingroup$ @Ricky: the answer for holomorphic functions is the same, namely any connected normal complex-analytic space (or more generally, as in Ramsey's answer, any irreducible and reduced complex-analytic space). $\endgroup$
    – user27056
    Oct 9, 2012 at 18:27
3
$\begingroup$

Let me just complement xbnv's answer with a mild generalization. If $X$ is an irreducible rigid space (and let's suppose we're dealing with reduced spaces from the outset), then its normalization $\tilde{X}$ is connected and normal and is equipped with a finite surjective map $\tilde{X}\to X$. Using xbnv's answer, it follows that the statement holds for $X$ as well.

In short, if you replace "connected" by "irreducible" then you're good.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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