Source author record

Laura DeMarco

Laura DeMarco appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

12works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

12 published item(s)

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.

preprint2016arXiv

Bifurcations, intersections, and heights

In this article, we prove the equivalence of dynamical stability, preperiodicity, and canonical height 0, for algebraic families of rational maps $f_t: \mathbb{P}^1(\mathbb{C}) \to \mathbb{P}^1(\mathbb{C})$, parameterized by $t$ in a quasi-projective complex variety. We use this to prove one implication in the if-and-only-if statement of Conjecture 1.10 in [Baker-DeMarco, 2013] on unlikely intersections in the moduli space of rational maps; we present the conjecture here in a more general form.

preprint2016arXiv

Convex shapes and harmonic caps

Any planar shape $P\subset \mathbb{C}$ can be embedded isometrically as part of the boundary surface $S$ of a convex subset of $\mathbb{R}^3$ such that $\partial P$ supports the positive curvature of $S$. The complement $Q = S \setminus P$ is the associated {\em cap}. We study the cap construction when the curvature is harmonic measure on the boundary of $(\hat{\mathbb{C}}\setminus P, \infty)$. Of particular interest is the case when $P$ is a filled polynomial Julia set and the curvature is proportional to the measure of maximal entropy.

preprint2016arXiv

Degenerations of Complex Dynamical Systems II: Analytic and Algebraic Stability

We study pairs $(f, Γ)$ consisting of a non-Archimedean rational function $f$ and a finite set of vertices $Γ$ in the Berkovich projective line, under a certain stability hypothesis. We prove that stability can always be attained by enlarging the vertex set $Γ$. As a byproduct, we deduce that meromorphic maps preserving the fibers of a rationally-fibered complex surface are algebraically stable after a proper modification. The first article in this series examined the limit of the equilibrium measures for a degenerating 1-parameter family of rational functions on the Riemann sphere. Here we construct a convergent countable-state Markov chain that computes the limit measure. A classification of the periodic Fatou components for non-Archimedean rational functions, due to Rivera-Letelier, plays a key role in the proofs of our main theorems. The appendix contains a proof of this classification for all tame rational functions.

preprint2016arXiv

KAWA 2015: Dynamical moduli spaces and elliptic curves

In these lecture notes, we present a connection between the complex dynamics of a family of rational functions $f_t: \mathbb{P}^1\to \mathbb{P}^1$, parameterized by $t$ in a Riemann surface $X$, and the arithmetic dynamics of $f_t$ on rational points $\mathbb{P}^1(k)$ where $k = \mathbb{C}(X)$ or $\bar{\mathbb{Q}}(X)$. An explicit relation between stability and canonical height is explained, with a proof that contains a piece of the Mordell-Weil theorem for elliptic curves over function fields. Our main goal is to pose some questions and conjectures about these families, guided by the principle of "unlikely intersections" from arithmetic geometry, as in [Zannier 2012]. We also include a proof that the hyperbolic postcritically-finite maps are Zariski dense in the moduli space of rational maps of any given degree $d>1$. These notes are based on four lectures at KAWA 2015, in Pisa, Italy, designed for an audience specializing in complex analysis, expanding upon the main results of [Baker-DeMarco 2013, DeMarco 2016, DeMarco-Wang-Ye 2016].

preprint2014arXiv

Torsion points and the Lattes family

We give a dynamical proof of a result of Masser and Zannier [MZ2, MZ3] about torsion points on the Legendre family of elliptic curves. Our methods also treat points of small height. A key ingredient is the arithmetic equidistribution theorem on $\mathbb{P}^1$ of Baker-Rumely, Chambert-Loir, and Favre-Rivera-Letelier. Torsion points on the elliptic curve coincide with preperiodic points for the degree-4 Lattes family of rational functions. Our main new results concern properties of the bifurcation measures for this Lattes family associated to marked points.

preprint2013arXiv

Degenerations of Complex Dynamical Systems

We show that the weak limit of the maximal measures for any degenerating sequence of rational maps on the Riemann sphere must be a countable sum of atoms. For a 1-parameter family f_t of rational maps, we refine this result by showing that the measures of maximal entropy have a unique limit on the Riemann sphere as the family degenerates. The family f_t may be viewed as a single rational function on the Berkovich projective line over the completion of the field of formal Puiseux series in t, and the limiting measure on the Riemann sphere is the "residual measure" associated to the equilibrium measure on the Berkovich line. For the proof, we introduce a new technique for quantizing measures on the Berkovich projective line and demonstrate the uniqueness of solutions to a quantized version of the pullback formula for the equilibrium measure there.

preprint2013arXiv

Special curves and postcritically-finite polynomials

We study the postcritically-finite (PCF) maps in the moduli space of complex polynomials $\mathrm{MP}_d$. For a certain class of rational curves $C$ in $\mathrm{MP}_d$, we characterize the condition that $C$ contains infinitely many PCF maps. In particular, we show that if $C$ is parameterized by polynomials, then there are infinitely many PCF maps in $C$ if and only if there is exactly one active critical point along $C$, up to symmetries; we provide the critical orbit relation satisfied by any pair of active critical points. For the curves $\mathrm{Per}_1(λ)$ in the space of cubic polynomials, introduced by Milnor (1992), we show that $\mathrm{Per}_1(λ)$ contains infinitely many PCF maps if and only if $λ=0$. The proofs involve a combination of number-theoretic methods (specifically, arithmetic equidistribution) and complex-analytic techniques (specifically, univalent function theory). We provide a conjecture about Zariski density of PCF maps in subvarieties of the space of rational maps, in analogy with the André-Oort Conjecture from arithmetic geometry.

preprint2012arXiv

The geometry of the critically-periodic curves in the space of cubic polynomials

We provide an algorithm for computing the Euler characteristic of the curves $S_p$ in the space of cubic polynomials, consisting of all polynomials with a periodic critical point of period $p$. The curves were introduced in [Milnor, Bonifant-Kiwi-Milnor], and the algorithm applies the main results of [DeMarco-Pilgrim]. The output is shown for periods $p \leq 26$.

preprint2011arXiv

Polynomial basins of infinity

We study the projection $π: M_d \to B_d$ which sends an affine conjugacy class of polynomial $f: \mathbb{C}\to\mathbb{C}$ to the holomorphic conjugacy class of the restriction of $f$ to its basin of infinity. When $B_d$ is equipped with a dynamically natural Gromov-Hausdorff topology, the map $π$ becomes continuous and a homeomorphism on the shift locus. Our main result is that all fibers of $π$ are connected. Consequently, quasiconformal and topological basin-of-infinity conjugacy classes are also connected. The key ingredient in the proof is an analysis of model surfaces and model maps, branched covers between translation surfaces which model the local behavior of a polynomial.

preprint2011arXiv

The classification of polynomial basins of infinity

We consider the problem of classifying the dynamics of complex polynomials $f: \mathbb{C} \to \mathbb{C}$ restricted to their basins of infinity. We synthesize existing combinatorial tools --- tableaux, trees, and laminations --- into a new invariant of basin dynamics we call the pictograph. For polynomials with all critical points escaping to infinity, we obtain a complete description of the set of topological conjugacy classes. We give an algorithm for constructing abstract pictographs, and we provide an inductive algorithm for counting topological conjugacy classes with a given pictograph.