1: \begin{abstract}

2: We associate to any given finite set of valuations on the polynomial ring in two variables over an algebraically

3: closed field a numerical invariant whose positivity characterizes the case when  the intersection of their valuation rings has maximal

4: transcendence degree over the base fields.

5: 

6: As an application, we give a criterion for when an analytic branch at infinity in the affine plane

7: that is defined over a number field in a suitable sense is the branch of an algebraic curve.

8: 

9: 

10: 

11: %Let $R:=k[x,y]$ denote the ring of polynomials in two variables over an algebraically closed field $k$.

12: %Given any finite set of valuations $S$ on $R$ that are trivial on $k$, we define

13: %$R_S = \cap_{v \in S} \{ P \in R, \, v(P) \ge 0\}$ as the intersection of the

14: %valuation rings of the elements in $S$ with $R$ and $\delta(S)$ the transcendence degree of the fraction field of $R_S$ over $k$. In this paper, we prove that whether $\delta(S)=2$ is determined by a numerical invariant.

15: %

16: %Then we apply this result to the algebraization problem of analytic curves. Roughly speaking, what we prove is as follows : Let $s_1,\cdots, s_l$ be a finite set of formal curves in $\mathbb{P}^2_k$ centred at infinity defined over a number field $K$. Suppose $s_i$'s satisfies some convergence condition w.r.t all places on $K$. Further suppose that there are infinitely may $K$ points $p$ such that when $p$ is near the line at infinity w.r.t. a place $v$, then $p$ contains in a convergence $v$-analytic curve defined by some $s_i$. Then there exists an algebraic curves such that their branches at infinity are contained in $\{s_1,\cdots,s_l\}$.

17: \end{abstract}