Source author record

Sarah Koch

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

ResearcherUnclaimed source record

math.DS math.GT math.AG math.CV

Catalog footprint

Research overview

8works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Realizing polynomial portraits

It is well known that the dynamical behavior of a rational map $f:\widehat{\mathbb C}\to \widehat{\mathbb C}$ is governed by the forward orbits of the critical points of $f$ . The map $f$ is said to be postcritically finite if every critical point has finite forward orbit, or equivalently, if every critical point eventually maps into a periodic cycle of $f$ . We encode the orbits of the critical points of $f$ with a finite directed graph called a ramification portrait. In this article, we study which graphs arise as ramification portraits. We prove that every abstract polynomial portrait is realized as the ramification portrait of a postcritically finite polynomial, and classify which abstract polynomial portraits can only be realized by unobstructed maps.

preprint2016arXiv

A disconnected deformation space of rational maps

Let $f:(\mathbb{P}^1,P)\to(\mathbb{P}^1,P)$ be a postcritically finite rational map with postcritical set $P$ . William Thurston showed that $f$ induces a holomorphic pullback map $σ_f:\mathcal{T}_P\to\mathcal{T}_P$ on the Teichmüller space ${\mathcal T}_P:=\mathrm{Teich}(\mathbb{P}^1,P)$ . If $f$ is not a flexible Lattès map, Thurston proved that $σ_f$ has a unique fixed point. In his PhD thesis, Adam Epstein generalized Thurston's ideas and defined a deformation space associated to a rational map $f:(\mathbb{P}^1,A)\to (\mathbb{P}^1,B)$ where $A \subseteq B$ , allowing for maps $f$ which are not necessarily postcritically finite. By definition, the deformation space $\mathrm{Def}_B^A(f)\subseteq \mathcal{T}_B$ is the locus where the pullback map $σ_f:\mathcal{T}_B\to\mathcal{T}_A$ and the forgetful map $σ_A^B:\mathcal{T}_B\to\mathcal{T}_A$ agree. Using purely local arguments, Epstein showed that $\mathrm{Def}_B^A(f)$ is a smooth analytic submanifold of $\mathcal{T}_B$ of dimension $|B-A|$ . In this article, we investigate the question of whether $\mathrm{Def}_B^A(f)$ is connected. We exhibit a family of quadratic rational maps for which the associated deformation spaces are disconnected; in fact, each has infinitely many components.

preprint2015arXiv

Computing dynamical degrees

The dynamical degrees of a rational map $f:X\dashrightarrow X$ are fundamental invariants describing the rate of growth of the action of iterates of $f$ on the cohomology of $X$ . When $f$ has nonempty indeterminacy set, these quantities can be very difficult to determine. We study rational maps $f:X^N\dashrightarrow X^N$ , where $X^N$ is isomorphic to the Deligne-Mumford compactification $\overline {\mathcal M}_{0,N+3}$ . We exploit the stratified structure of $X^N$ to provide new examples of rational maps, in arbitrary dimension, for which the action on cohomology behaves functorially under iteration. From this, all dynamical degrees can be readily computed (given enough book-keeping and computing time). In this article, we explicitly compute all of the dynamical degrees for all such maps $f:X^N\dashrightarrow X^N$ , where $\mathrm{dim}(X^N)\leq 3$ and the first dynamical degrees for the mappings where $\mathrm{dim}(X^N)\leq 5$ . These examples naturally arise in the setting of Thurston's topological characterization of rational maps.

preprint2014arXiv

Roots, Schottky semigroups, and a proof of Bandt's Conjecture

In 1985, Barnsley and Harrington defined a ``Mandelbrot Set'' $\mathcal{M}$ for pairs of similarities --- this is the set of complex numbers $z$ with $0<|z|<1$ for which the limit set of the semigroup generated by the similarities $x \mapsto zx$ and $x \mapsto z(x-1)+1$ is connected. Equivalently, $\mathcal{M}$ is the closure of the set of roots of polynomials with coefficients in $\lbrace -1,0,1 \rbrace$ . Barnsley and Harrington already noted the (numerically apparent) existence of infinitely many small ``holes'' in $\mathcal{M}$ , and conjectured that these holes were genuine. These holes are very interesting, since they are ``exotic'' components of the space of (2 generator) Schottky semigroups. The existence of at least one hole was rigorously confirmed by Bandt in 2002, and he conjectured that the interior points are dense away from the real axis. We introduce the technique of traps to construct and certify interior points of $\mathcal{M}$ , and use them to prove Bandt's Conjecture. Furthermore, our techniques let us certify the existence of infinitely many holes in $\mathcal{M}$ .

preprint2013arXiv

An analytic construction of the Deligne-Mumford compactification of the moduli space of curves

In 1969, P. Deligne and D. Mumford compactified the moduli space of curves. Their compactification is a projective algebraic variety, and as such, it has an underlying analytic structure. Alternatively, the quotient of the augmented Teichmueller space by the action of the mapping class group gives a compactification of the moduli space. We put an analytic structure on this compact quotient and prove that with respect to this structure, it is canonically isomorphic (as an analytic space) to the Deligne-Mumford compactification.

preprint2012arXiv

Pullback invariants of Thurston maps

Associated to a Thurston map $f: S^2 \to S^2$ with postcritical set $P$ are several different invariants obtained via pullback: a relation on the set of free homotopy classes of curves in $S^2- P$ , a linear operator on the free $\R$ -module generated by these homotopy classes of curves, a virtual endomorphism on the pure mapping class group, an analytic self-map of an associated Teichmueller space, and an analytic self-correspondence on an associated moduli space. Viewing all of these objects as invariants of $f$ , we investigate harmonious relationships between their properties.

preprint2011arXiv

Böttcher coordinates

A well-known theorem of Böttcher asserts that an analytic germ f:(C,0)->(C,0) which has a superattracting fixed point at 0, more precisely of the form f(z) = az^k + o(z^k) for some a in C^*, is analytically conjugate to z->az^k by an analytic germ phi:(C,0)->(C,0) which is tangent to the identity at 0. In this article, we generalize this result to analytic maps of several complex variables.

preprint2011arXiv

On Thurston's pullback map

Let f: P^1 \to P^1 be a rational map with finite postcritical set P_f. Thurston showed that f induces a holomorphic map σ_f of the Teichmueller space T modelled on P_f to itself fixing the basepoint corresponding to the identity map (P^1, P_f) \to (P^1, P_f). We give explicit examples of such maps f showing that the following cases may occur: (1) the basepoint is an attracting fixed point, the image of σ_f is open and dense, and the map σ_f is a covering map onto its image; (2) the basepoint is a superattracting fixed point, σis surjective, and σis a ramified Galois covering, (3) σ_f is constant.

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.