Source author record

Niki Myrto Mavraki

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

ResearcherUnclaimed source record

math.NT math.DS math.AG

Catalog footprint

Research overview

6works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

The geometry of preperiodic points in families of maps on $\mathbb{P}^N$

We study the dynamics of algebraic families of maps on $\mathbb{P}^N$ , over the field $\mathbb{C}$ of complex numbers, and the geometry of their preperiodic points. The goal of this note is to formulate a conjectural characterization of the subvarieties of $S \times\mathbb{P}^N$ containing a Zariski-dense set of preperiodic points, where the parameter space $S$ is a quasiprojective complex algebraic variety; the characterization is given in terms of the non-vanishing of a power of the invariant Green current associated to the family of maps. This conjectural characterization is inspired by and generalizes the Relative Manin-Mumford Conjecture for families of abelian varieties, recently proved by Gao and Habegger, and it includes as special cases the Manin-Mumford Conjecture (theorem of Raynaud) and the Dynamical Manin-Mumford Conjecture (posed by Ghioca, Tucker, and Zhang). We provide examples where the equivalence is known to hold, and we show that several recent results can be viewed as special cases. Finally, we give the proof of one implication in the conjectural characterization.

preprint2022arXiv

Elliptic surfaces and intersections of adelic $\mathbb{R}$ -divisors

Suppose $\mathcal{E} \to B$ is a non-isotrivial elliptic surface defined over a number field, for smooth projective curve $B$ . Let $k$ denote the function field $\overline{\mathbb{Q}}(B)$ and $E$ the associated elliptic curve over $k$ . In this article, we construct adelically metrized $\mathbb{R}$ -divisors $\overline{D}_X$ on the base curve $B$ over a number field, for each $X \in E(k)\otimes \mathbb{R}$ . We prove non-degeneracy of the Arakelov-Zhang intersection numbers $\overline{D}_X\cdot \overline{D}_Y$ , as a biquadratic form on $E(k)\otimes \mathbb{R}$ . As a consequence, we have the following Bogomolov-type statement for the Néron-Tate height functions on the fibers $E_t(\overline{\mathbb{Q}})$ of $\mathcal{E}$ over $t \in B(\overline{\mathbb{Q}})$ : given points $P_1, \ldots, P_m \in E(k)$ with $m\geq 2$ , there exist an infinite sequence $t_n\in B(\overline{\mathbb{Q}})$ and small-height perturbations $P_{i,t_n}' \in E_{t_n}(\overline{\mathbb{Q}})$ of specializations $P_{i,t_n}$ so that the set $\{P_{1, t_n}', \ldots, P_{m,t_n}'\}$ satisfies at least two independent linear relations for all $n$ , if and only if the points $P_1, \ldots, P_m$ are linearly dependent in $E(k)$ . This gives a new proof of results of Masser and Zannier and of Barroero and Capuano and extends our earlier results. In the Appendix, we prove an equidistribution theorem for adelically metrized $\mathbb{R}$ -divisors on projective varieties (over a number field) using results of Moriwaki, extending the equidistribution theorem of Yuan.

preprint2022arXiv

Height coincidences in products of the projective line

We consider hypersurfaces in $(\mathbb{P}^1)^n$ that contain a generic sequence of small dynamical height with respect to a split map and project onto $n-1$ coordinates. We show that these hypersurfaces satisfy strong coincidence relations between their points with zero height coordinates. More precisely, it holds that in a Zariski-open dense subset of such a hypersurface $n-1$ coordinates have height zero if and only if all coordinates have height zero. This is a key step in the resolution of the dynamical Bogomolov conjecture for split maps.

preprint2016arXiv

Impossible intersections in a Weierstrass family of elliptic curves

Consider the Weierstrass family of elliptic curves $E_λ:y^2=x^3+λ$ parametrized by nonzero $λ\in\overline{\mathbb{Q}_2}$ , and let $P_λ(x)=(x,\sqrt{x^3+λ})\in E_λ$ . In this article, given $α,β\in\overline{\mathbb{Q}_2}$ such that $\fracαβ\in\mathbb{Q}$ , we provide an explicit description for the set of parameters $λ$ such that $P_λ(α)$ and $P_λ(β)$ are simultaneously torsion for $E_λ$ . In particular we prove that the aforementioned set is empty unless $\fracαβ\in\{-2,-\frac{1}{2}\}$ . Furthermore, we show that this set is empty even when $\fracαβ\notin\mathbb{Q}$ provided that $α$ and $β$ have distinct $2-$ adic absolute values and the ramification index $e(\mathbb{Q}_2(\fracαβ)~\vert~\mathbb{Q}_2)$ is coprime with $6$ . We also improve upon a recent result of Stoll concerning the Legendre family of elliptic curves $E_λ:y^2=x(x-1)(x-λ)$ , which itself strengthened earlier work of Masser and Zannier by establishing that provided $a,b$ have distinct reduction modulo $2$ , the set $\{λ\in\mathbb{C}\setminus\{0,1\}~:~(a,\sqrt{a(a-1)(a-λ)}),(b,\sqrt{b(b-1)(b-λ)})\in (E_λ)_{tors}\}$ is empty.

preprint2015arXiv

Algebraic approximations to linear combinations of powers: an extension of results by Mahler and Corvaja-Zannier

For every complex number $x$ , let $\Vert x\Vert_{\mathbb{Z}}:=\min\{|x-m|:\ m\in\mathbb{Z}\}$ . Let $K$ be a number field, let $k\in\mathbb{N}$ , and let $α_1,\ldots,α_k$ be non-zero algebraic numbers. In this paper, we completely solve the problem of the existence of $θ\in (0,1)$ such that there are infinitely many tuples $(n,q_1,\ldots,q_k)$ satisfying $\Vert q_1α_1^n+\ldots+q_kα_k^n\Vert_{\mathbb{Z}}<θ^n$ where $n\in\mathbb{N}$ and $q_1,\ldots,q_k\in K^*$ having small logarithmic height compared to $n$ . In the special case when $q_1,\ldots,q_k$ have the form $q_i=qc_i$ for fixed $c_1,\ldots,c_k$ , our work yields results on algebraic approximations of $c_1α_1^n+\ldots+c_kα_k^n$ of the form $\displaystyle \frac{m}{q}$ with $m\in \mathbb{Z}$ and $q\in K^*$ (where $q$ has small logarithmic height compared to $n$ ). Various results on linear recurrence sequences also follow as an immediate consequence. The case $k=1$ and $q_1$ is essentially a rational integer was obtained by Corvaja and Zannier and settled a long-standing question of Mahler. The use of the Subspace Theorem based on work of Corvaja-Zannier together with several modifications play an important role in the proof of our results.

preprint2013arXiv

Variation of the canonical height in a family of rational maps

Let $d\ge 2$ be an integer, let $c(t)$ be any rational map, and let $f_t(z) := (z^d+t)/z$ be a family of rational maps indexed by t. For each algebraic number $t$ , we let $h_{f_t}(c(t))$ be the canonical height of $c(t)$ with respect to the rational map $f_t$ . We prove that the map $H(t):=h_{f_t}(c(t))$ (as $t$ varies among the algebraic numbers) is a Weil height.

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.

Niki Myrto Mavraki

Research overview

Is this your work?

6 publications

The geometry of preperiodic points in families of maps on $\mathbb{P}^N$

Elliptic surfaces and intersections of adelic $\mathbb{R}$ -divisors

Height coincidences in products of the projective line

Impossible intersections in a Weierstrass family of elliptic curves

Algebraic approximations to linear combinations of powers: an extension of results by Mahler and Corvaja-Zannier

Variation of the canonical height in a family of rational maps

See the researcher in context

Building this map preview

Niki Myrto Mavraki

Research overview

Is this your work?

6 publications

The geometry of preperiodic points in families of maps on PN\mathbb{P}^NPN

Elliptic surfaces and intersections of adelic R\mathbb{R}R-divisors

Height coincidences in products of the projective line

Impossible intersections in a Weierstrass family of elliptic curves

Algebraic approximations to linear combinations of powers: an extension of results by Mahler and Corvaja-Zannier

Variation of the canonical height in a family of rational maps

See the researcher in context

Building this map preview

The geometry of preperiodic points in families of maps on $\mathbb{P}^N$

Elliptic surfaces and intersections of adelic $\mathbb{R}$ -divisors