Related papers: D-finiteness, rationality, and height III: multiva…

It is well known that algebraic power series are differentially finite (D-finite): they satisfy linear differential equations with polynomial coefficients. The converse problem, whether a given D-finite power series is algebraic or…

We consider Diophantine equations of the shape $ f(x) = g(y) $, where the polynomials $ f $ and $ g $ are elements of power sums. Using a finiteness criterion of Bilu and Tichy, we will prove that under suitable assumptions infinitely many…

Let $f$ be a convergent power series of $n$ variables having an isolated singularity at 0. For a rational number $\alpha$, setting $(X,0)=({\mathbb C}^n,0)$, we show that the length of the ${\mathcal D}_X$-module ${\mathcal D}_Xf^{-\alpha}$…

Consider the space $R_{\Delta}$ of rational functions of several variables with poles on a fixed arrangement $\Delta$ of hyperplanes. We obtain a decomposition of $R_{\Delta}$ as a module over the ring of differential operators with…

Can any element in a sufficiently large finite field be represented as a sum of two $d$th powers in the field? In this article, we recount some of the history of this problem, touching on cyclotomy, Fermat's last theorem, and diagonal…

Consider a finite field $\mathbb{F}_q$ and positive integers $d,m,r$ with $1\leq r\leq \binom{m+d}{d}$. Let $S_d(m)$ be the $\mathbb{F}_q$ vector space of all homogeneous polynomials of degree $d$ in $X_0,\dots,X_m$. Let $e_r(d,m)$ be the…

Let $\Gamma\subset \bar{\Q}^{\times}$ be a finitely generated multiplicative group of algebraic numbers, let $\alpha_1,\ldots,\alpha_m$ be non-zero algebraic numbers, and let $\varepsilon >0$ be fixed. In this paper, we prove that there…

Let $f(Y)\in K[[X_1,\dots,X_d]][Y]$ be a quasi-ordinary Weierstrass polynomial with coefficients in the ring of formal power series over an algebraically closed field of characteristic zero. In this paper we study the discriminant $D_f$ of…

This paper deals with Mellin transforms of rational functions $g/f$ in several variables. We prove that the polar set of such a Mellin transform consists of finitely many families of parallel hyperplanes, with all planes in each such family…

Let $ \mathbb{Q}\mathcal{E}_{\mathbb{Z}} $ be the set of power sums whose characteristic roots belong to $ \mathbb{Z} $ and whose coefficients belong to $ \mathbb{Q} $, i.e. $ G : \mathbb{N} \rightarrow \mathbb{Q} $ satisfies…

Let $S$ be a finite set of primes. The $S$-part $[m]_S$ of a non-zero integer $m$ is the largest positive divisor of $m$ that is composed of primes from $S$. In 2013, Gross and Vincent proved that if $f(X)$ is a polynomial with integer…

Let $\Lambda$ be a collection of partitions of a positive integer $d$ of the form $$(a_1,\cdots, a_p),\,(b_1,\cdots, b_q),\,(m_1+1,1,\cdots,1),\cdots, (m_l+1,1,\cdots,1),$$ where $(m_1,\cdots, m_l)$ is a partition of $p+q-2>0$. We prove…

We describe a solving semi-decision method based on examination of the rational structures of the generalized integrating factors of first-order ODEs. We propose a conjecture that for some family of equations of the type…

Let L be any number field or $\mathfrak{p}$-adic field and consider F:=(f_1,...,f_k) where f_i is in L[x_1,...,x_n]\{0} for all i and there are exactly m distinct exponent vectors appearing in f_1,...,f_k. We prove that F has no more than…

For any $\varepsilon > 0$ we derive effective estimates for the size of a non-zero integral point $m \in \mathbb{Z}^d \setminus \{0\}$ solving the Diophantine inequality $\lvert Q[m] \rvert < \varepsilon$, where $Q[m] = q_1 m_1^2 + \ldots +…

Given a non-singular diagonal cubic hypersurface $X\subset\mathbb{P}^{n-1}$ over $\mathbb{F}_q(t)$ with $\mathrm{char} (\mathbb{F}_q)\neq 3$, we show that the number of rational points of height at most $|P|$ is $O(|P|^{3+\varepsilon})$ for…

The Weyl modules in the sense of V.Chari and A.Pressley [CP] over the current Lie algebra on an affine variety are studied. We show that local Weyl modules are finite-dimensional and generalize the tensor product decomposition theorem from…

By using the method of iterated integral representations of series, we establish some explicit relationships between multiple zeta values and Integrals of logarithmic functions. As applications of these relations, we show that multiple zeta…

Every rational Nevanlinna function in n variables is a Cayley inner function in n + 1 variables with one variable fixed in the upper half-plane.

\noindent Let $I$ be an ideal of the ring of formal power series $\bK[[x,y]]$ with coefficients in an algebraically closed field $\bK$ of arbitrary characteristic. Let $\Phi$ denote the set of all parametrizations…