On power series of algebraic and rational functions in \(\mathbb{C}^n\) (Q1974226)

This paper studies a characteristic of the power series of algebraic and rational functions of several complex variables. In the one complex variable case, Furstenberg proved the diagonal of the power series of a rational function of two variables is an algebraic univalent function, and the author proved the converse. So a necessary and sufficient condition for a power series to be algebraic was obtained. In this paper the author generalizes this result to the several variable case, also gets a necessary and sufficient condition as follows: If the power series \[ R(z_0,z)=\sum_{\alpha_0 \geq 1,\alpha \in I_1} R_{\alpha_0,\alpha}z_0^{\alpha_0}z^\alpha, \tag{1} \] where \(I_1=\{\alpha =(\alpha_1,\dots,\alpha_n): \alpha_1 \geq 1\}, \) is rational in \(\mathbb{C}^{n+1}\), then the holomorphic function \[ \sum_{\alpha \in I_1}R_{\alpha_1,\alpha}z^\alpha \tag{2} \] defined in a neighborhood of the origin of \(\mathbb{C}^n\) is algebraic. Conversely, if the function \[ a(z)=\sum_{\alpha \in I_1}a_{\alpha}z^\alpha \tag{3} \] is a branch of an algebraic function, holomorphic in a neighborhood of the origin, then there is a rational function (1) and a unimodular \(n \times n\) matrix \(A\) with nonnegative integral elements such that for all \(\alpha\) \[ a_\alpha=R_{\beta_1,\beta}|_{\beta =\alpha A} \] If \(A\) is the identity matrix, then \(a_\alpha=R_{\alpha_1,\alpha}\), the function (3) is just a diagonal of the series (1), in general it is an \(A\)-diagonal of the series (2). With this result, a famous Eisenstein theorem for algebraicity is also generalized to the several variable case.