Related papers: Bounds on Systoles and Homotopy Complexity

It is known that hyperbolic spaces have strict negative type, a condition on the distances of any finite subset of points. We show that they have strong negative type, a condition on every probability distribution of points (with integrable…

We introduce the theory of strong homotopy types of simplicial complexes. Similarly to classical simple homotopy theory, the strong homotopy types can be described by elementary moves. An elementary move in this setting is called a strong…

This paper is part of a series of papers about homotopy theory of strict $n$-categories. In the first paper of this series, we gave conditions that guarantee the existence of a Thomason model category structure on the category of strict…

This paper collects some important formulas on hyperbolic volume. To determine concrete values of volume function is a very hard question requiring the knowledge of various methods. Our goal to give a non-elementary integral on the volume…

Let M be a hyperbolic n-manifold whose cusps have torus cross-sections. In arXiv:0901.0056, the authors constructed a variety of nonpositively and negatively curved spaces as "2\pi-fillings" of M by replacing the cusps of M with compact…

We prove Poisson approximation results for the bottom part of the length spectrum of a random closed hyperbolic surface of large genus. Here, a random hyperbolic surface is a surface picked at random using the Weil-Petersson volume form on…

We consider an entropy-type invariant which measures the polynomial volume growth of submanifolds under the iterates of a map, and we establish sharp uniform lower bounds of this invariant for the following classes of symplectomorphisms of…

This paper introduces a rigorous computer-assisted procedure for analyzing hyperbolic 3-manifolds. This technique is used to complete the proof of several long-standing rigidity conjectures in 3-manifold theory as well as to provide a new…

We prove that the covolume of any quasi-arithmetic hyperbolic lattice (a notion that generalizes the definition of arithmetic subgroups) is a rational multiple of the covolume of an arithmetic subgroup. As a corollary, we obtain a good…

Let M:=(M^{4},\om) be a 4-dimensional rational ruled symplectic manifold and denote by w_{M} its Gromov width. Let Emb_{\omega}(B^{4}(c),M) be the space of symplectic embeddings of the standard ball B^4(c) \subset \R^4 of radius r and of…

We extend the homotopy theories based on point reduction for finite spaces and simplicial complexes to finite acyclic categories and $\Delta$-complexes, respectively. The functors of classifying spaces and face posets are compatible with…

We survey several mathematical developments in the holonomy approach to gauge theory. A cornerstone of this approach is the introduction of group structures on spaces of based loops on a smooth manifold, relying on certain homotopy…

We suggest a method of computing volume for a simple polytope $P$ in three-dimensional hyperbolic space $\mathbb{H}^3$. This method combines the combinatorial reduction of $P$ as a trivalent graph $\Gamma$ (the $1$-skeleton of $P$) by…

Many introductions to homotopy type theory and the univalence axiom gloss over the semantics of this new formal system in traditional set-based foundations. This expository article, written as lecture notes to accompany a 3-part mini course…

We find an upper bound for the entropy of a systolically extremal surface, in terms of its systole. We combine the upper bound with A. Katok's lower bound in terms of the volume, to obtain a simpler alternative proof of M. Gromov's…

A fundamental result by Gromov and Thurston asserts that, if M is a closed hyperbolic n-manifold, then the simplicial volume |M| of M is equal to vol(M)/v_n, where v_n is a constant depending only on the dimension of M. The same result also…

We show that if $M$ is any closed, orientable hyperbolic $3$-manifold with ${\rm vol}\ M\le3.69$, we have ${\rm dim}\ H_1(M;{\bf F}_2)\le7$. This may be regarded as a qualitative improvement of a result due to Culler and Shalen, because the…

Let $(X,\omega)$ be a compact K\"ahler manifold. We prove the existence and uniqueness of solutions to complex Monge-Amp\`ere equations with prescribed singularity type. Compared to previous work, the assumption of small unbounded locus is…

In this note we consider the following conjecture: given any closed symplectic manifold $M$, there is a sufficiently small real positive number $\rho$ such that the open ball of radius $\rho$ in the Hofer metric centered at the identity on…

We compute in this note the full homotopy type of the space of symplectic embeddings of the standard ball $B^4(c) \subset \R^4$ (where $c= \pi r^2$ is the capacity of the standard ball of radius $r$) into the 4-dimensional rational…