BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Jonah Gaster contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph 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.
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.