We first introduce the class of quasi-algebraically stable meromorphic maps of $¶^k.$ This class is strictly larger than that of algebraically stable meromorphic self-maps of $¶^k.$
Then we prove that all maps in the new class enjoy a recurrent property. In particular, the algebraic degrees for iterates of these maps can be computed and their first dynamical degrees are always algebraic integers.
In this paper, we prove that the ratio of the modulus of the iterates of two points in an escaping Fatou component may be bounded even if the orbit of the component contains an infinite modulus annulus sequence and this case cannot happen when the maximal modulus of the meromorphic function is large enough. Therefore, we extend the related results for entire functions to ones for meromorphic functions with infinitely many poles. And we investigate the fast escaping Fatou components of meromorphic functions defined in [44] in terms of the Nevanlinna characteristic instead of the maximal modulus…
This article deals with the multiple values and algebraic dependences problem of meromorphic mappings sharing moving hyperplanes in projective space. We give some algebraic dependences theorems for meromorphic mappings sharing moving hyperplanes without counting multiplicity, where all zeros with multiplicities more than a certain number are omitted. Basing on these results, some unicity theorems regardless of multiplicity for meromorphic mappings in several complex variables are given. These results are extensions and strong improvements of some recent results.
We prove the algebraic version of a conjecture of C. Sabbah on the existence of the good formal structure for meromorphic flat connections on surfaces after some blow up.
A special class of autonomous algebraic differential equations is studied. No equations in the class have any entire transcendental solutions. In a sense, for almost all equations in the class, transcendental meromorphic solutions can also be excluded. With substantially fewer exceptional equations, transcendental solutions are either elliptic or of the form f(z) = g(exp(cz)) with g rational and c constant.
In this paper, we prove some difference analogue of second main theorems of meromorphic mapping from Cm into an algebraic variety V intersecting a finite set of fixed hypersurfaces in subgeneral position. As an application, we prove a result on algebraically degenerate of holomorphic curves intersecting hypersurfaces and difference analogue of Picard's theorem on holomorphic curves. Furthermore, we obtain a second main theorem of meromorphic mappings intersecting hypersurfaces in N-subgeneral position for Veronese embedding in Pn(C) and a uniqueness theorem sharing hypersurfaces.
We prove the rank one case of Skolem's Conjecture on the exponential local-global principle for algebraic functions and discuss its analog for meromorphic functions.
We show that for any transcendental meromorphic function $f$ there is a point $z$ in the Julia set of $f$ such that the iterates $f^n(z)$ escape, that is, tend to $\infty$, arbitrarily slowly. The proof uses new covering results for analytic functions. We also introduce several slow escaping sets, in each of which $f^n(z)$ tends to $\infty$ at a bounded rate, and establish the connections between these sets and the Julia set of $f$. To do this, we show that the iterates of $f$ satisfy a strong distortion estimate in all types of escaping Fatou components except one, which we call a plane-filli…
We construct a canonical Green current T_f for every quasi-algebraically stable meromorphic self-map f of CP^k such that its first dynamical degree λ_1(f) is a simple root of its characteristic polynomial and that λ_1(f) > 1. We establish a functional equation for T_f and show that the support of T_f is contained in the Julia set of f, which is thus non empty.
It is shown that the difference equation \begin{equation}\label{abseq} (Δf(z))^2=A(z)(f(z)f(z+1)-B(z)), \qquad\qquad (1) \end{equation} where $A(z)$ and $B(z)$ are meromorphic functions, possesses a continuous limit to the differential equation \begin{equation}\label{abseq2} (w')^2=A(z)(w^2-1),\qquad\qquad (2) \end{equation} which extends to solutions in certain cases. In addition, if (1) possesses two distinct transcendental meromorphic solutions, it is shown that these solutions satisfy an algebraic relation, and that their growth behaviors are almost same in the sense of Nevanlinna under so…
We study one variable meromorphic functions mapping a planar real algebraic set $A$ to another real algebraic set in the complex plane. By using the theory of Schwarz reflection functions, we show that for certain $A$, these meromorphic functions must be rational. In particular, when $A$ is the standard unit circle, we obtain an one dimensional analog of Poincaré(1907), Tanaka(1962) and Alexander(1974)'s rationality results for $2m-1$ dimensional sphere in $\mathbb{C}^m$ when $m\ge 2$.
A proper or singular abelian mapping from $C^n$ to $\bar\C^n$ is parametrized by $n$ meromorphic functions with at most $2n$ periods. We develop the existence and structure theorems of the classical theory of an abelian mapping purely on the basis of its defining functional equation, the so-called algebraic addition theorem (AAT), with no appeal to any representation as quotients of theta functions. We offer two new proofs of the periodicity of a nonrational mapping admitting an AAT. We also prove by new arguments the existence of a rational group law on an associated algebraic variety, and th…
In this paper, we establish a uniqueness theorem for algebraically nondegenerate meromorphic maps of C^m into C P^n and slowly moving hypersurfaces Q_j in C P^n, j=1,...,q in (weakly) general position, where q depends effectively on n and on the degrees d_j of the hypersurfaces Q_j.
We establish pointwise growth estimates for the spherical derivative of solutions of the first order algebraic differential equations. A generalization of this result to higher order equations is also given. We discuss the related question of when for a given class $X$ of meromorphic functions in the unit disc, defined by means of the spherical derivative, and $m \in \mathbb{N} \setminus \{1\}$, $f^m\in X$ implies $f\in X$. An affirmative answer to this is given for example in the case of $\mathord{\rm UBC}$, the $α$-normal functions with $α\ge1$ and certain (sufficiently large) Dirichlet type…
We give a criterion under which one can obtain a good decomposition (in the sense of Malgrange) of a formal flat connection on a complex analytic or algebraic variety of arbitrary dimension. The criterion is stated in terms of the spectral behavior of differential operators, and generalizes Robba's construction of the Hukuhara-Levelt-Turrittin decomposition in the one-dimensional case. As an application, we prove the existence of good formal structures for flat meromorphic connections on surfaces after suitable blowing up; this verifies a conjecture of Sabbah, and extends a result of Mochizuki…
In this paper, a non-integrated defect relation for meromorphic maps from complete Kähler manifolds $M$ into smooth projective algebraic varieties $V$ intersecting hypersurfaces located in $k$-subgeneral position is proved. The novelty of this result lies in that both the upper bound and the truncation level of our defect relation depend only on $k$, $\dim_{\,\mathbb{C}}(V)$ and the degrees of the hypersurfaces considered. In addition, this defect relation recovers Hirotaka Fujimoto [Theorem 1.1; MR0884636 (88m:32049); Japan. J. Math. (N.S.) 11 (1985), no. 2, 233-264.] when subjected to the sa…
Let $M$ be a smooth compact $CR$ manifold of $CR$ dimension $n$ and $CR$ codimension $k$, which has a certain local extension property $E$. In particular, if $M$ is pseudoconcave, it has property $E$. Then the field $\Cal K(M)$ of $CR$ meromorphic functions on $M$ has transcendence degree $d$, with $d\leq n+k$. If $f_1, f_2, \hdots , f_d$ is a maximal set of algebraically independent $CR$ meromorphic functions on $M$, then $\Cal K(M)$ is a simple finite algebraic extension of the field $\Bbb C(f_1, f_2, \hdots, f_d)$ of rational functions of the $f_1, f_2, \hdots , f_d$. When $M$ has a project…
Meromorphic solutions of first-order differential equations with rational exponential coefficients
Institute of Applied Mathematics, Shenzhen Polytechnic University（深圳职业技术大学应用数学研究所）；School of Mathematics and Information Science, Guangzhou University（广州大学数学与信息科学学院）；School of Basic and General Education, Guangzhou University of Software（广州软件学院基础与通识教育学院）
Let $M$ be a complete Kähler manifold, whose universal covering is biholomorphic to a ball $\mathbb B^m(R_0)$ in $\mathbb C^m$ ($0<R_0\le +\infty$). Our first aim in this paper is to study the algebraic dependence problem of differentiably meromorphic mappings. We will show that if $k$ differentibility nondegenerate meromorphic mappings $f^1,\ldots,f^k$ of $M$ into $\mathbb P^n(\mathbb C)\ (n\ge 2)$ satisfying the condition $(C_ρ)$ and sharing few hyperplanes in subgeneral position regardless of multiplicity then $f^1\wedge\cdots\wedge f^k\equiv 0$. For the second aim, we will show that there …
In this paper, we introduce certain $n$-th order nonlinear Loewy factorizable algebraic ordinary differential equations for the first time and study the growth of their meromorphic solutions in terms of the Nevanlinna characteristic function. It is shown that for generic cases all their meromorphic solutions are elliptic functions or their degenerations and hence their order of growth are at most two. Moreover, for the second order factorizable algebraic ODEs, all the meromorphic solutions of them (except for one case) are found explicitly. This allows us to show that a conjecture proposed by …
We introduce the notion of a meromorphic group, weakening somewhat Fujiki's definition We prove that a meromorphic group is meromorphically an extension of a complex torus by a linear algebraic group, generalizing results in [Fujiki, 1978]. A special case of this result, as well as one of the ingredients in the proof, is that a strongly minimal "modular" meromorphic group is a complex torus, answering a question of Hrushovski. As a consequence, we show that a simple compact complex manifold has algebraic and Kummer dimension zero if an only if its generic type is trivial.
Motivated by an example, due to Voisin, of a smooth simply-connected projective variety with trivial canonical class and cyclic Picard group, admitting a meromorphic endomorphism of high degree, we study meromorphic fibrations on certain varieties with trivial canonical class. We show (theorem 2.1) that any nontrivial meromorphic fibration of a variety with trivial canonical class and cyclic Picard group is in varieties of general type. Therefore, Voisin's endomorphism cannot preserve a fibration, at least in the generic case. As this example is symplectic, we study meromorphic fibrations on s…
Let $X$ be a compact Kähler manifold and let $f:X\rightarrow X$ be a dominant rational map which is 1-stable. Let $λ_1$ and $λ_2$ be the first and second dynamical degrees of $f$. If $λ_1^2>λ_2$, then we show that $λ_1$ is a simple eigenvalue of $f^*:H^{1,1}(X)\rightarrow H^{1,1}(X)$, and moreover the unique eigenvalue of modulus $>\sqrt{λ_2}$. A variant of the result, where we consider the first spectral radius in the case the map $f$ may not be 1-stable, is also given. An application is stated for bimeromorphic selfmaps of 3-folds. In the last section of the paper, we prove analogs of the ab…
Let M be a complex nilmanifold, that is, a compact quotient of a nilpotent Lie group endowed with an invariant complex structure by a discrete lattice. A holomorphic differential on M is a closed, holomorphic 1-form. We show that $a(M)\leq k$, where $a(M)$ is the algebraic dimension $a(M)$ (i.e. the transcendence degree of the field of meromorphic functions) and $k$ is the dimension of the space of holomorphic differentials. We prove a similar result about meromorphic maps to Kahler manifolds.
A class of discrete equations is considered from three perspectives corresponding to three measures of the complexity of solutions: the (hyper-) order of meromorphic solutions in the sense of Nevanlinna, the degree growth of iterates over a function field and the height growth of iterates over the rational numbers. In each case, low complexity implies a form of singularity confinement which results in a known discrete Painlevé equation.
We consider the dynamics of a meromorphic map on a compact kahler surface whose topological degree is smaller than its first dynamical degree. The latter quantity is the exponential rate at which its iterates expand the cohomology class of a kahler form. Our goal in this article and its sequels is to carry out a conjectural program for constructing and analyzing a natural measure of maximal entropy for each such map. Here we take the first step, converting information about the linear action of the map on cohomology to invariant currents with special geometric structure. We also give some exam…
In this paper, we study the growth, in terms of the Nevanlinna characteristic function, of meromorphic solutions of three types of second order nonlinear algebraic ordinary differential equations. We give all their meromorphic solutions explicitly, and hence show that all of these ODEs satisfy the {\it classical conjecture} proposed by Hayman in 1996.
An exp-algebraic curve consists of a compact Riemann surface $S$ together with $n$ equivalence classes of germs of meromorphic functions modulo germs of holomorphic functions, $\HH = \{ [h_1], \cdots, [h_n] \}$, with poles of orders $d_1, \cdots, d_n \geq 1$ at points $p_1, \cdots, p_n$. This data determines a space of functions $\OO_{\HH}$ (respectively, a space of $1$-forms $Ω^0_{\HH}$) holomorphic on the punctured surface $S' = S - \{p_1, \cdots, p_n\}$ with exponential singularities at the points $p_1, \cdots, p_n$ of types $[h_1], \cdots, [h_n]$, i.e., near $p_i$ any $f \in \OO_{\HH}$ is …
Let $f$ be an algebraically nondegenerate meromorphic mapping from $\mathbb C^m$ into $\mathbb P^n(\mathbb C)$ and let $Q_1,...,Q_q$ be $q$ hypersurfaces in $\mathbb P^n(\mathbb C)$ of degree $d_i$, in $N-$subgeneral position. In this paper, we will prove that, for every $ε>0$, there exists a positive integer $M$ such that $$||\ (q-(N-n+1)(n+1)-ε) T_f(r)\le\sum_{i=1}^q\frac{1}{d_i}N^{[M]}(r,f^*Q_i)+o(T_f(r)).$$ Moreover, an explicit estimate for $M$ is given. Our result is an extension of the previous second main theorem for the mappings and moving hyperplanes or moving hypersurfaces.
We show that any dominant meromorphic self-map f of a compact Kaehler manifold X is an Artin-Mazur map. More precisely, if P_n(f) is the number of its isolated periodic points of period n (counted with multiplicity), then P_n(f) grows at most exponentially fast with respect to n and the exponential rate is at most equal to the algebraic entropy of f. Further estimates are given when X is a surface. Among the techniques introduced in this paper, the h-dimension of the density between two arbitrary positive closed currents on a compact Kaehler surface is obtained.
We prove in this article that given a linearly concave domain $D$ in the projective space $\Bbb{CP}^{n}$, a 1-dimensional comlex analytic set $V$ in $D$, and a meromorphic 1-form $ϕ$ on $V$, $V$ is a subset of an algebraic variety of $\Bbb{CP}^{n}$ and $ϕ$ is the restriction to $V$ of an algebraic 1-form on $\Bbb{CP}^{n}$ if and only if the Abel transform $A(ϕ\wedge [V])$ of the analytic current $ϕ\wedge [V]$ is an algebraic 1-form on $(\Bbb{CP}^{n})*$, where an algebraic 1-form on $\Bbb{CP}^{n}$ is a meromorphic 1-form defined on a ramified analytic covering of $\Bbb{CP}^{n}$. This result has…
We study upper bounds for the counting function of common zeros of two meromorphic functions in various contexts. The proofs and results are inspired by recent work involving greatest common divisors in Diophantine approximation, to which we introduce additional techniques to take advantage of the stronger inequalities available in Nevanlinna theory. In particular, we prove a general version of a conjectural "asymptotic gcd" inequality of Pasten and the second author, and consider moving targets versions of our results.
We extend the Dinh-Sibony notion of densities of currents to the setting where the ambient manifold is not necessarily Kähler and study the intersection of analytic sets from the point of view of densities of currents. As an application, we introduce the notion of exotic periodic points of a meromorphic self-map. We then establish the expected asymptotic for the sum of the number of isolated periodic points and the number of exotic periodic points for holomorphic self-maps with a simple action on the cohomology groups on a compact Kähler manifold. We also show that the algebraic entropy of mer…
