Source author record

Fedor Manin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GT math.AT math.DG math.MG Computational Geometry math.CO

Catalog footprint

Research overview

8works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Scalable spaces

\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are formal; indeed, scalability can be thought of as a metric version of formality. They are also characterized by particularly nice behavior from the point of view of quantitative homotopy theory. Among other results, we show that spaces which are formal but not scalable provide counterexamples to Gromov's long-standing conjecture on distortion in higher homotopy groups.

preprint2021arXiv

High-dimensional holeyominoes

What is the maximum number of holes enclosed by a $d$ -dimensional polyomino built of $n$ tiles? Represent this number by $f_d(n)$ . Recent results show that $f_2(n)/n$ converges to $1/2$ . We prove that for all $d \geq 2$ we have $f_d(n)/n \to (d-1)/d$ as $n$ goes to infinity. We also construct polyominoes in $d$ -dimensional tori with the maximal possible number of holes per tile. In our proofs, we use metaphors from error-correcting codes and dynamical systems.

preprint2020arXiv

A hardness of approximation result in metric geometry

We show that it is $\mathsf{NP}$ -hard to approximate the hyperspherical radius of a triangulated manifold up to an almost-polynomial factor.

preprint2019arXiv

Plato's cave and differential forms

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 differential algebras are closely shadowed, in a technical sense, by maps between the corresponding spaces. As a concrete application, we prove the following conjecture of Gromov: if $X$ and $Y$ are finite complexes with $Y$ simply connected, then there are constants $C(X,Y)$ and $p(X,Y)$ such that any two homotopic $L$ -Lipschitz maps have a $C(L+1)^p$ -Lipschitz homotopy (and if one of the maps is a constant, $p$ can be taken to be $2$ .) We hope that it will lead more generally to a better understanding of the space of maps from $X$ to $Y$ in this setting.

preprint2018arXiv

A zoo of growth functions of mapping class sets

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$ . This conjecture was disproved in a recent paper of the author and Weinberger; we gave an example where the `predicted' growth is $L^8$ but the true growth is $L^8\log L$ . Here we show, via a different mechanism, that the universe of possible such growth functions is quite large. In particular, for every rational number $r \geq 4$ , there is a pair $X,Y$ for which the growth of $[X,Y]$ is essentially $L^r$ .

preprint2018arXiv

Quantitative nullhomotopy and rational homotopy type

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.

preprint2017arXiv

Quantitative null-cobordism

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$ .

preprint2016arXiv

Volume distortion in homotopy groups

Given a finite metric CW complex $X$ and an element $α\in π_n(X)$ , what are the properties of a geometrically optimal representative of $α$ ? We study the optimal volume of $kα$ as a function of $k$ . Asymptotically, this function, whose inverse, for reasons of tradition, we call the volume distortion, turns out to be an invariant with respect to the rational homotopy of $X$ . We provide a number of examples and techniques for studying this invariant, with a special focus on spaces with few rational homotopy groups. Our main theorem characterizes those $X$ in which all non-torsion homotopy classes are undistorted, that is, their distortion functions are linear.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.