BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Gregory R. Chambers 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
A geodesic flower is a finite collection of geodesic loops based at the same point $p$ that satisfy the following balancing condition: The sum of all unit tangent vectors to all geodesic arcs meeting at $p$ is equal to the zero vector. In particular, a geodesic flower is a stationary geodesic net. We prove that in every complete non-compact manifold with locally convex ends there exists a non-trivial geodesic flower.
In this article, we prove that if $(M,g)$ is a genus $G$ orientable surface with a single boundary component $S^1$, and if $(D,g_0)$ is a disc such that interior points are connected by unique geodesics and $$d_{(D,g_0)}(x,y) \geq d_{(M,g)}(x,y)$$ for all $x,y \in \partial M = \partial D$, then $$(1 + \frac{2 G}π) \textrm{Area}(M,g) \geq \textrm{Area}(D,g_0).$$
We show that if $γ$ is a Jordan curve in $\mathbb{R}^2$ which is close to a $C^2$ Jordan curve $β$ in $\mathbb{R}^2$, then $γ$ contains an inscribed square. In particular, if $κ> 0$ is the maximum unsigned curvature of $β$ and there is a map $f$ from the image of $γ$ to the image of $β$ with $||f(x) - x|| < \frac{1}{10 κ}$ and $f \circ γ$ having winding number $1$, then $γ$ has an inscribed square of positive sidelength.
Suppose that $M$ is a hyperbolic surface of genus $g$ and with $n$ cusps. Then we can find a pants decomposition of $M$ composed of simple closed geodesics so that each curve is contained in a ball of diameter at most $C\sqrt{g + n}$, where $C$ is a universal constant.
This article investigates when homotopies can be converted to monotone homotopies without increasing the lengths of curves. A monotone homotopy is one which consists of curves which are simple or constant, and in which curves are pairwise disjoint. We show that, if the boundary of a Riemannian disc can be contracted through curves of length less than $L$, then it can also be contracted monotonously through curves of length less than $L$. This proves a conjecture of Chambers and Rotman. Additionally, any sweepout of a Riemannian $2$-sphere through curves of length less than $L$ can be replaced with a monotone sweepout through curves of length less than $L$. Applications of these results are also discussed.
We prove a stability estimate, with the optimal quadratic error term, for the Coulomb energy of a set in $\mathbb{R}^n$ with $n \geq 3$. This estimate extends to a range of Riesz potentials.
In \cite{GrOrang}, Gromov asks the following question: given a nullhomotopic map $f:S^m \to S^n$ of Lipschitz constant $L$, how does the Lipschitz constant of an optimal nullhomotopy of $f$ depend on $L$, $m$, and $n$? We establish that for fixed $m$ and $n$, the answer is at worst quadratic in $L$. More precisely, we construct a nullhomotopy whose \emph{thickness} (Lipschitz constant in the space variable) is $C(m,n)(L+1)$ and whose \emph{width} (Lipschitz constant in the time variable) is $C(m,n)(L+1)^2$. More generally, we prove a similar result for maps $f:X \to Y$ for any compact Riemannian manifold $X$ and $Y$ a compact simply connected Riemannian manifold in a class which includes complex projective spaces, Grassmannians, and all other simply connected homogeneous spaces. Moreover, for all simply connected $Y$, asymptotic restrictions on the size of nullhomotopies are determined by rational homotopy type.
For a given null-cobordant Riemannian $n$-manifold, how does the minimal geometric complexity of a null-cobordism depend on the geometric complexity of the manifold? In [Gro99], Gromov conjectured that this dependence should be linear. We show that it is at most a polynomial whose degree depends on $n$. This construction relies on another of independent interest. Take $X$ and $Y$ to be sufficiently nice compact metric spaces, such as Riemannian manifolds or simplicial complexes. Suppose $Y$ is simply connected and rationally homotopy equivalent to a product of Eilenberg-MacLane spaces: for example, any simply connected Lie group. Then two homotopic L-Lipschitz maps $f, g : X \rightarrow Y$ are homotopic via a $CL$-Lipschitz homotopy. We present a counterexample to show that this is not true for larger classes of spaces $Y$.