arXiv research

The thesis defines and proves invariants for manifolds of bounded geometry.

Study quantifies convergence of Alexandrov spaces without collapsing.

Study contact 3-manifolds using sub-Riemannian geometry, proving new properties of their Lipschitz homotopy groups.

This work focuses on important step in quantitative topology: given homotopic mappings from $S^m$ to $S^n$ of Lipschitz constant $L$, build the (asymptotically) simplest homotopy between them (meaning having the least Lipschitz constant). The present paper resolves this problem for the first case where Hopf invariant p…

We introduce the notion of good coverings of metric spaces, and prove that if a metric space admits a good covering, then it has the same locally Lipschitz homotopy type as the nerve complex of the covering. As an application, we obtain a Lipschitz homotopy stability result for a moduli space of compact Alexandrov spac…

This paper refines homotopy theory for cubical sets and uniform spaces.

An $e^ε$-Lipschitz and co-Lipschitz map, as a metric analogue of an $ε$-Riemannian submersion, naturally arises from a sequence of Alexandrov spaces with curvature uniformly bounded below that converges to a space of only weak singularities. In this paper we prove its homotopy lifting property and its homotopy stabilit…

We construct a smooth compact n-dimensional manifold Y with one point singularity such that all its Lipschitz homotopy groups are trivial, but Lipschitz mappings Lip(S^n,Y) are not dense in the Sobolev space W^{1,n}(S^n,Y). On the other hand we show that if a metric space Y is Lipschitz (n-1)-connected, then Lipschitz …

We provide a sufficient condition for the nontriviality of the Lipschitz homotopy group of the Heisenberg group, $π_m^{Lip}(H_n)$, in terms of properties of the classical homotopy group of the sphere, $π_m(S^n)$. As an application we provide a new simplified proof of the fact that $π_n^{Lip}(H_n)\neq 0$, $n=1,2,...$, a…

Lipschitz and horizontal maps from an $n$-dimensional space into the $(2n+1)$-dimensional Heisenberg group $\H^n$ are abundant, while maps from higher-dimensional spaces are much more restricted. DeJarnette-Hajłasz-Lukyanenko-Tyson constructed horizontal maps from $S^k$ to $\H^n$ which factor through $n$-spheres and sh…

We prove that the multiplication maps $\mathbb{s}^n \times \mathbb{s}^n \rightarrow \mathbb{s}^n$ ($n = 1, 3, 7$) for unit complex, quaternion and octonion numbers are, up to isometries of domain and range, the unique Lipschitz constant minimizers in their homotopy classes. Other geometrically natural maps, such as pro…

Study the landscape of Lipschitz functions between manifolds using persistent homology.

Given a Hopf fibration of a round sphere by parallel great subspheres, we prove that the projection map to the base space is, up to isometries of domain and range, the unique Lipschitz constant minimizer in its homotopy class. Similarly, given a Hopf fibration of a round sphere by parallel great circles, we view a unit…

Study 2D spaces with curvature, focusing on structure and approximations.

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 …

Maps and measures on surfaces link best Lipschitz and least gradient functions.

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 constructi…

Given a compact orientable surface of negative Euler characteristic, there exists a natural pairing between the Teichmueuller space of the surface and the set of homotopy classes of simple loops and arcs. The length pairing sends a hyperbolic metric and a homotopy class of a simple loop or arc to the length of geodesic…

In the 1970s and again in the 1990s, Gromov gave a number of theorems and conjectures motivated by the notion that the real homotopy theory of compact manifolds and simplicial complexes influences the geometry of maps between them. The main technical result of this paper supports this intuition: we show that maps of di…

A new method calculates the minimum volume swept by a sphere's homotopy in 3D space.

We estimate the second order linking invariants of Lipschitz maps from an n-dimensional ellipse. The estimate uses a new directionally-dependent version of the isoperimetric inequality for cycles inside the ellipse. Using this work, we prove new lower bounds for the k-dilation of maps from one ellipse to another.

The paper studies optimal maps between hyperbolic surfaces, focusing on their rigidity and obstructions.

We estimate the linear isoperimetric constants of an n-dimensional ellipse. Using these estimates and a technique of Gromov, we estimate the Hopf and linking invariants of Lipschitz maps from ellipses to round spheres. Using these estimates, we give a lower bound for the k-dilation of degree non-zero maps between ellip…

Let $M$ be a closed symplectic manifold of dimension $2n$ with non-ellipticity. We can define an almost Kähler structure on $M$ by using the given symplectic form. Hence, we have a $\G=π_1(M)$-invariant almost Kähler structure on the universal covering, $\ti M$, of $M$. Using Darboux coordinate charts, we globally defo…

For each right-angled hexagon in the hyperbolic plane, we construct a one-parameter family of right-angled hexagons with a Lipschitz map between any two elements in this family, realizing the smallest Lipschitz constant in the homotopy class of this map relative to the boundary. As a consequence of this construction, w…

The study proves a gap theorem for CAT(0) spaces with a constant below 1/(6√π).

Let S be a compact surface, and M be the double of a handlebody. Given a homotopy class of maps from S to M inducing an isomorphism of fundamental groups, we describe a canonical uniformly lipschitz retraction of the sphere graph of M to the arc graph of S. We also show that this retraction is a uniformly bounded dista…

The paper proves existence of minimal homotopies for immersed planar curves.

This paper investigates analytic properties of maps between hyperbolic surfaces, focusing on best Lipschitz maps and geodesic laminations.

Study limits of curved spaces with boundaries.

Let $X$ and $Y$ be finite complexes. When $Y$ is a nilpotent space, it has a rationalization $Y \to Y_{(0)}$ which is well-understood. Early on it was found that the induced map $[X,Y] \to [X,Y_{(0)}]$ on sets of mapping classes is finite-to-one. The sizes of the preimages need not be bounded; we show, however, that as…

Uniform covers with a finite-dimensional nerve are rare (i.e., do not form a cofinal family) in many separable metric spaces of interest. To get hold on uniform homotopy properties of these spaces, a reasonably behaved notion of an infinite-dimensional metric polyhedron is needed; a specific list of desired properties …

In this paper we prove that if we consider the standard real metric on simplicial rooted trees then the category Tower-Set of inverse sequences can be described by means of the bounded coarse geometry of the naturally associated trees. Using this we give a geometrical characterization of Mittag-Leffler property in inve…

We develop some basic Lipschitz homotopy technique and apply it to manifolds with finite asymptotic dimension. In particular we show that the Higson compactification of a uniformly contractible manifold is mod $p$ acyclic in the finite dimensional case. Then we give an alternative proof of the Higher Signature Novikov …

Let $l : Σ\to X$ be a weakly Lagrangian map of a compact orientable surface $Σ$ in a Kähler surface $X$ which is area minimizing in its homotopy class of maps in $W^{1,2}(Σ, X)$, the Sobolev space of maps of square integrable first derivative. Schoen and Wolfson showed such $l$ is Lipschitz, and it is smooth excep…

The paper introduces new functors for cohomology groups of manifolds.

Study stretch laminations in hyperbolic 3-manifolds via circle-valued maps.

Neural networks are dense among Lipschitz functions with fixed Lipschitz constant.

Suppose $X$ and $Y$ are finite complexes, with $Y$ simply connected. Gromov conjectured that the number of mapping classes in $[X,Y]$ which can be realized by $L$-Lipschitz maps grows asymptotically as $L^α$, where $α$ is an integer determined by the rational homotopy type of $Y$ and the rational cohomology of $X$. Thi…

Constructs a map with prescribed local Lipschitz constants on a subset of a manifold.

Maps between certain Lipschitz manifolds are isometries if they preserve volume.

The paper is devoted to the variational analysis of the Willmore, and other L^2 curvature functionals, among immersions of 2-dimensional surfaces into a compact riemannian m-manifold (M^m,h) with m>2. The goal of the paper is twofold, on one hand, we give the right setting for doing the calculus of variations (includin…

Abstract: Lipschitz homeomorphisms are deformed using Perelman's methods.

We compute the local Lipschitz constant of ReLU networks precisely.

The study examines the limitations of bi-Lipschitz Normalizing Flows in approximating certain distributions.

Novikov conjecture reduced to Lipschitz cohomology of groups.

We examine the impact of learning Lipschitz continuous models in the context of model-based reinforcement learning. We provide a novel bound on multi-step prediction error of Lipschitz models where we quantify the error using the Wasserstein metric. We go on to prove an error bound for the value-function estimate arisi…

New MIP formulations for neural network Lipschitz constant estimation.