Source author record

Fedor Pakovich

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
4topics
1close collaborators

Published work

7 publications

preprint2022arXiv

Invariant curves for endomorphisms of P1×P1\mathbb P^1\times \mathbb P^1

Let A1,A2∈C(z)A_1, A_2\in \mathbb C(z) be rational functions of degree at least two that are neither Lattès maps nor conjugate to z±nz^{\pm n} or ±Tn.\pm T_n. We describe invariant, periodic, and preperiodic algebraic curves for endomorphisms of (P1(C))2(\mathbb P^1(\mathbb C))^2 of the form (z1,z2)→(A1(z1),A2(z2)).(z_1,z_2)\rightarrow (A_1(z_1),A_2(z_2)). In particular, we show that if A∈C(z)A\in \mathbb C(z) is not a "generalized Lattès map", then any (A,A)(A,A)-invariant curve has genus zero and can be parametrized by rational functions commuting with AA. As an application, for AA defined over a subfield KK of C \mathbb C we give a criterion for a point of (P1(K))2(\mathbb P^1(K))^2 to have a Zariski dense (A,A)(A, A)-orbit in terms of canonical heights, and deduce from this criterion a version of a conjecture of Zhang on the existence of rational points with Zariski dense forward orbits. We also prove a result about functional decompositions of iterates of rational functions, which implies in particular that there exist at most finitely many (A1,A2)(A_1, A_2)-invariant curves of any given bi-degree (d1,d2).(d_1,d_2).

preprint2022arXiv

Tame rational functions: Decompositions of iterates and orbit intersections

Let AA be a rational function of degree at least two on the Riemann sphere. We say that AA is tame if the algebraic curve A(x)−A(y)=0A(x)-A(y)=0 has no factors of genus zero or one distinct from the diagonal. In this paper, we show that if tame rational functions AA and BB have orbits with infinite intersection, then AA and BB have a common iterate. We also show that for a tame rational function AA decompositions of its iterates A∘d,A^{\circ d}, d≥1,d\geq 1, into compositions of rational functions can be obtained from decompositions of a single iterate A∘NA^{\circ N} for NN big enough.

preprint2016arXiv

Polynomial semiconjugacies, decompositions of iterations, and invariant curves

We study the functional equation A∘X=X∘BA\circ X=X\circ B, where A,A, BB, and XX are polynomials over C\mathbb C. Using previous results of the author about polynomials sharing preimages of compact sets, we show that for given BB its solutions may be described in terms of the filled-in Julia set of BB. On this base, we prove a number of results describing a general structure of solutions. The results obtained imply in particular the result of Medvedev and Scanlon about invariant curves of maps F: C2→C2F:\,\mathbb C^2 \rightarrow \mathbb C^2 of the form (x,y)→(f(x),f(y))(x,y)\rightarrow (f(x),f(y)), where ff is a polynomial, and a version of the result of Zieve and Müller about decompositions of iterations of a polynomial.

preprint2015arXiv

Minimum Degree of the Difference of Two Polynomials over Q\mathbb Q. Part II: Davenport-Zannier pairs

In this paper we study pairs of polynomials with a given factorization pattern and such that the degree of their difference attains its minimum. We call such pairs of polynomials Davenport--Zannier pairs, or DZ-pairs for short. The paper is devoted to the study of DZ-pairs with rational coefficients. In our earlier paper, in the framework of the theory of dessins d'enfants, we established a correspondence between DZ-pairs and weighted bicolored plane trees. These are bicolored plane trees whose edges are endowed with positive integral weights. When such a tree is uniquely determined by the set of black and white degrees of its vertices, it is called unitree, and the corresponding DZ-pair is defined over Q\mathbb Q. In our earlier paper, we classified all unitrees. In this paper, we compute all the corresponding polynomials. In the final part of the paper we present some additional material concerning the Galois theory of DZ-pairs and weighted trees.

preprint2014arXiv

Solution of the parametric center problem for the Abel differential equation

The Abel differential equation y′=p(x)y2+q(x)y3y'=p(x)y^2+q(x)y^3 with p,q∈R[x]p,q\in \mathbb R[x] is said to have a center on a segment [a,b][a,b] if all its solutions, with the initial value y(a)y(a) small enough, satisfy the condition y(b)=y(a)y(b)=y(a). The problem of description of conditions implying that the Abel equation has a center may be interpreted as a simplified version of the classical Center-Focus problem of Poincaré. The Abel equation is said to have a "parametric center" if for each ε∈R\varepsilon \in \mathbb R the equation y′=p(x)y2+εq(x)y3y'=p(x)y^2+\varepsilon q(x)y^3 has a center. In this paper we show that the Abel equation has a parametric center if and only if the antiderivatives P=∫p(x)dx,P=\int p(x) dx, Q=∫q(x)dxQ=\int q(x) dx satisfy the equalities P=P~∘W, P=\widetilde P \circ W,\ Q=Q~∘WQ=\widetilde Q\circ W for some polynomials P~,\widetilde P, Q~,\widetilde Q, and WW such that W(a)=W(b)W(a)=W(b). We also show that the last condition is necessary and sufficient for the "generalized moments" ∫abPidQ\int_a^b P^id Q and ∫abQidP\int_a^b Q^id P to vanish for all i≥0.i\geq 0.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.