BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Jonah Gaster appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In response to Sanki-Vadnere, we present a short proof of the following theorem: a pair of simple curves on a hyperbolic surface whose complementary regions are disks has length at least half the perimeter of the regular right-angled $(8g-4)$-gon.
A collection $ Δ$ of simple closed curves on an orientable surface is an algebraic $ k $-system if the algebraic intersection number $\langle α,β\rangle$ is equal to $k $ in absolute value for every $ α, β\in Δ$ distinct. Generalizing a theorem of [MRT14] we compute that the maximum size of an algebraic $k$-system of curves on a surface of genus $g$ is $2g+1$ when $g\ge 3$ or $k$ is odd, and $2g$ otherwise. To illustrate the tightness in our assumptions, we present a construction of curves pairwise geometrically intersecting twice whose size grows as $g^2$.
We introduce the notion of a bicollapsible 2-complex. This allows us to generalize the hyperbolicity of one-relator groups with torsion to a broader class of groups with presentations whose relators are proper powers. We also prove that many such groups act properly and cocompactly on a CAT(0) cube complex.
We present effective methods to compute equivariant harmonic maps from the universal cover of a surface into a nonpositively curved space. By discretizing the theory appropriately, we show that the energy functional is strongly convex and derive convergence of the discrete heat flow to the energy minimizer, with explicit convergence rate. We also examine center of mass methods, after showing a generalized mean value property for harmonic maps. We feature a concrete illustration of these methods with Harmony, a computer software that we developed in C++, whose main functionality is to numerically compute and display equivariant harmonic maps.
In the previous paper [GLM2018], we showed that the theory of harmonic maps between Riemannian manifolds may be discretized by introducing triangulations with vertex and edge weights on the domain manifold. In the present paper, we study convergence of the discrete theory to the smooth theory when taking finer and finer triangulations. We present suitable conditions on the weighted triangulations that ensure convergence of discrete harmonic maps to smooth harmonic maps. Our computer software Harmony implements these methods to computes equivariant harmonic maps in the hyperbolic plane.
We show that any set of distinct homotopy classes of simple closed curves on the torus that pairwise intersect at most $k$ times has size $k + O(\sqrt{k} \log k)$. Prior to this work, a lemma of Agol, together with the state of the art bounds for the size of prime gaps, implied the error term $O(k^{21/40})$, and in fact the assumption of the Riemann hypothesis improved this error term to the one we obtain $O(\sqrt{k} \log k)$. By contrast, our methods are elementary, combinatorial, and geometric.
Two seemingly different properties of 2-complexes were developed concurrently as criteria for the nonpositive immersion property: 'good stackings' and 'bislim structures'. We establish an equivalence between these properties by introducing a third property 'invariant staggerings' mediating between them.
Combining McShane's identity on a hyperbolic punctured torus with Schmutz's work on the Markov Uniqueness Conjecture (MUC), we find that MUC is equivalent to the identity \begin{equation} \sum_{n=1}^\infty \, \left( 3- L_n \right) \, = \, 4 - φ- \sqrt 2 \end{equation} where $L_n$ is the $n$th Lagrange number and $φ=\frac{1+\sqrt5}2$ is the golden ratio.
With an eye towards studying curve systems on low-complexity surfaces, we introduce and analyze the $k$-Farey graphs $\mathcal{F}_k$ and $\mathcal{F}_{\leqslant k}$, two natural variants of the Farey graph in which we relax the edge condition to indicate intersection number $=k$ or $\le k$, respectively. The former, $\mathcal{F}_k$, is disconnected when $k>1$. In fact, we find that the number of connected components is infinite if and only if $k$ is not a prime power. Moreover, we find that each component of $\mathcal{F}_k$ is an infinite-valence tree whenever $k$ is even, and $\mathrm{Aut}(\mathcal{F}_k)$ is uncountable for $k>1$. As for $\mathcal{F}_{\leqslant k}$, Agol obtained an upper bound of $1+\min\{p:p\text{ is a prime}>k\}$ for both chromatic and clique numbers, and observed that this is an equality when $k$ is either one or two less than a prime. We add to this list the values of $k$ that are three less than a prime equivalent to $11\ (\mathrm{mod}\ 12)$, and we show computer-assisted computations of many values of $k$ for which equality fails.
Let $γ$ be an essential closed curve with at most $k$ self-intersections on a surface $\mathcal{S}$ with negative Euler characteristic. In this paper, we construct a hyperbolic metric $ρ$ for which $γ$ has length at most $M \cdot \sqrt{k}$, where $M$ is a constant depending only on the topology of $\mathcal{S}$. Moreover, the injectivity radius of $ρ$ is at least $1/(2\sqrt{k})$. This yields linear upper bounds in terms of self-intersection number on the minimum degree of a cover to which $γ$ lifts as a simple closed curve (i.e. lifts simply). We also show that if $γ$ is a closed curve with length at most $L$ on a cusped hyperbolic surface $\mathcal{S}$, then there exists a cover of $\mathcal{S}$ of degree at most $N \cdot L \cdot e^{L/2}$ to which $γ$ lifts simply, for $N$ depending only on the topology of $\mathcal{S}$.
Przytycki has shown that the size $\mathcal{N}_{k}(S)$ of a maximal collection of simple closed curves that pairwise intersect at most $k$ times on a topological surface $S$ grows at most as a polynomial in $|χ(S)|$ of degree $k^{2}+k+1$. In this paper, we narrow Przytycki's bounds by showing that $$ \mathcal{N}_{k}(S) =O \left( \frac{ |χ|^{3k}}{ ( \log |χ| )^2 } \right) , $$ In particular, the size of a maximal 1-system grows sub-cubically in $|χ(S)|$. The proof uses a circle packing argument of Aougab-Souto and a bound for the number of curves of length at most $L$ on a hyperbolic surface. When the genus $g$ is fixed and the number of punctures $n$ grows, we can improve our estimates using a different argument to give $$ \mathcal{N}_{k}(S) \leq O(n^{2k+2}) . $$ Using similar techniques, we also obtain the sharp estimate $\mathcal{N}_{2}(S)=Θ(n^3)$ when $k=2$ and $g$ is fixed.
The random graph is an infinite graph with the universal property that any embedding of $G-v$ extends to an embedding of $G$, for any finite graph. In this paper we show that this graph embeds in the curve graph of a surface $Σ$ if and only if $Σ$ has infinite genus, showing that the curve system on an infinite genus surface is "as complicated as possible".
Let $S_g$ denote the closed orientable surface of genus $g$. We construct exponentially many mapping class group orbits of collections of $2g+1$ simple closed curves on $S_g$ which pairwise intersect exactly once, extending a result of the first author and further answering a question of Malestein-Rivin-Theran. To distinguish such collections up to the action of the mapping class group, we analyze their dual cube complexes in the sense of Sageev. In particular, we show that for any even $k$ between $\lfloor g/2 \rfloor$ and $g$, there exists such collections whose dual cube complexes have dimension $k$, and we prove a simplifying structural theorem for any cube complex dual to a collection of curves on a surface pairwise intersecting at most once.
We provide linear lower bounds for $f_ρ(L)$, the smallest integer so that every curve on a fixed hyperbolic surface $(S,ρ)$ of length at most $L$ lifts to a simple curve on a cover of degree at most $f_ρ(L)$. This bound is independent of hyperbolic structure $ρ$, and improves on a recent bound of Gupta-Kapovich. When $(S,ρ)$ is without punctures, using work of Patel we conclude asymptotically linear growth of $f_ρ$. When $(S,ρ)$ has a puncture, we obtain exponential lower bounds for $f_ρ$.
Certain classes of 3-manifolds, following Thurston, give rise to a 'skinning map', a self-map of the Teichmüller space of the boundary. This paper examines the skinning map of a 3-manifold M, a genus-2 handlebody with two rank-1 cusps. We exploit an orientation-reversing isometry of M to conclude that the skinning map associated to M sends a specified path to itself, and use estimates on extremal length functions to show non-monotonicity and the existence of a critical point. A family of finite covers of M produces examples of non-immersion skinning maps on the Teichmüller spaces of surfaces in each even genus, and with either 4 or 6 punctures.