Let $K$ be a local field and $D_K$ the open unit disk, considered as a rigid space or adic space over $K$. What is the algebra of analytic functions on $D_K$? Proposition 1.1 of this article describes functions on the punctured open disk as certain "Laurent series" (possibly with infinitely many terms of negative degree). Can we write functions on $D_K$ as power series satisfying some convergence condition?

A related question: suppose $K = k((t))$ for some field $k$. If I am not mistaken, $D_K = \text{Spa } k[[t]] \times \text{Spa } k((t))$ with the product taken in the category of adic spaces over $k$. So it seems to me that $D_K$ will have a "diagonal" $K$-point. Does this make sense?

  • 2
    $\begingroup$ The second half becomes much easier if you don't use $t$ so much: if $F$ is any non-archimedean field containing $k$ then ${\rm{Spa}}(k[\![t]\!],k[\![t]\!])\times_{{\rm{Spa}}(k,k)}{\rm{Spa}}(F,F^0)$ exists and is the (adic space associated to the) open unit disc over $F$, verified by universal property (exercise) using its "standard coordinate" (pulled back from the first factor) denoted as $t$ by abuse of notation. For $a \in F$ with $|a|<1$ there is a "classical point" cut out by the condition $t=a$. Now set $F=k(\!(t)\!)$ and $a=t\in F$ to get the diagonal point with abuse of notation. $\endgroup$ – user74230 Jan 22 '15 at 17:52
  • $\begingroup$ I should have said that $F$ contains $k$ as a discrete subfield (equivalently, $k$ lies in $F^0$). $\endgroup$ – user74230 Jan 23 '15 at 2:50

About the first part of your question:

What do you mean by "analytic function"?

If I translate "closed unit disc" by "maximal spectrum of the Tate algebra" (but they are not the same), then the open unit disc is the union of the closed discs with radius smaller than one. Let $A_\varepsilon$ denote the algebra of analytic functions on $B_\varepsilon (0)$. In our case, $A_\varepsilon$ equals the rescaled Tate algebra $K \langle \varepsilon ^{-1} T \rangle$. For $\alpha < \beta$ we get an inclusion of function algebras $A_{\beta} \subset A_{\alpha}$ and the algebra of analytic functions on $D_K$ is the (projective) limit of those.

As far as I see, rescaling does not affect whether a point only exists after a field extension. So, depending on what you mean exactly, I guess that the answer is: You can write it as a projective limit of power series algebras with convergence conditions.

  • $\begingroup$ I mean regular function: in any setup this space has a structure sheaf and I'm talking about its global sections. I'll edit the question to give a better idea of the kind of description I'm looking for. $\endgroup$ – Justin Campbell Jan 22 '15 at 17:13
  • 3
    $\begingroup$ So Jerome's question mathoverflow.net/questions/105080/… is what you are asking for? $\endgroup$ – Helene Sigloch Jan 22 '15 at 17:28

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.