Roland Roeder
Roland Roeder

Ph.D. (2005) Cornell University

First Position
Dissertation
Advisor:
Research Area:
Abstract: In a recent paper, John H. Hubbard and Peter Papadopol study the dynamics of the Newton map, $N:\mathbb{C}^2 \rightarrow \mathbb{C}^2$, for finding the common zeros of two quadratic equations P(x,y) = 0 and Q(x,y) = 0. The map N has points of indeterminacy, critical curves, and invariant circles that are nonuniformly hyperbolic. Most of the work in their paper is spent resolving the points of indeterminacy of N, and creating a compactification of $\mathbb{C}^2$ in a way that is both compatible with the dynamics of N and that has "tame'' topology. This part of their work requires two very technical tools called Farey Blowups and Realoriented blowups. In a different direction, Hubbard and Papadopol show that the basin of attraction for each of the four common zeros of P and Q is path connected. However, most further questions about the topology of these basins of attraction remain a mystery.
The dynamics of N is much simpler if the common roots of P and Q lie on parallel lines, for instance when P(x,y) = x(x – 1) = 0 and $Q(x,y) = y^2+Bxyy=0$. The first component of N depends only on x, while the second component depends on both x and y. Many of the complexities described by Hubbard and Papadopol disappear: one must still do an infinite sequence of blowups in order to make N a well defined dynamical system, but one can avoid the Farey Blowups and the Realoriented blowups.
Let $r_1$ and $r_2$ be the roots in the line x = 0 and $r_3$ and $r_4$ be the roots in the line x =1 and let $W(r_1), W(r_2), W(r_3)$ and $W(r_4)$ be the corresponding basins of attraction of under iteration of $N$ after this infinite sequence of blowups has been performed. There is a symmetry exchanging $r_1$ with $r_2$ and exchanging $r_3$ with $r_4$, but for a given B the pair $(r_1, r_2)$ behaves differently from the pair $(r_3, r_4)$. More specifically, one pair "attracts'' the points of indeterminacy of N, and the other does not. We consistently make the restriction that $B \in \Omega = \{1B < 1\}$ which guarantees that the pair $(r_1, r_2)$ attracts the points of indeterminacy.
We will prove that $H_1(\overline{W(r_1)})$ and $H_1(\overline{W(r_2)})$ are infinitely generated for every $B \in \Omega$. There is an invariant circle within the line x =1 that is superattracting in the xdirection and hyperbolically repelling in the line x =1. Let $W_1$ be the superstable "manifold'' corresponding to this invariant circle. For the values of $B\in \Omega$ for which $W_1$ intersects the critical value parabola $C(x,y) = 0$, $H_1(\overline{W(r_3)})$ and $H_1(\overline{W(r_4)})$ are infinitely generated. For all other $B \in \Omega$, $H_1(W(r_3))$ and $H_1(W(r_4))$ are trivial.
In addition, for the parameter values B that are not in the bifurcation locus—which is exceptional in the sense of Baire's Theorem—the statements above remain true if we replace the closures of the basins with the basins themselves.