Fedor (Fedya) Manin

2013 photo
A proof that the Earth is not simply connected
(Potosí Department, Bolivia, August 2013)

I am a Research Visiting Assistant Professor (postdoc) in mathematics at the Ohio State University. I got my PhD in 2015 at the University of Chicago, where my advisor was Shmuel Weinberger; from 2015 to 2017 I was at the University of Toronto.

email: manin.4 osu edu
   (add appropriate punctuation)
office: MA 318

Department of Mathematics
231 W. 18th Ave.
Columbus, OH 43210

Research Interests

I am broadly interested in problems in geometry and topology of a quantitative, asymptotic, computational, or stochastic nature. 20th-century topology has produced a trove of existence and classification results which reduce a large number of questions (about homotopy classes of maps, cobordisms, embeddings of manifolds, and so on) to finite algebraic computations. Nevertheless, the underlying geometric questions are often nowhere near answered. For one, these finite computations are frequently algorithmically undecidable. This typically means that the geometry of the objects in question is also extremely complex (intuitively, because if you could predict computable geometric bounds on a solution, then you could determine whether the solution exists by cycling through all possibilities.) Indeed, such geometric complexity can arise even when the underlying topological problem is trivial, as a kind of infection from a nearby undecidable problem.

Even when the spectre of logic doesn't arise, geometric complexity often arises for topological reasons. Much of my work has focused on the relationship between geometry and rational homotopy invariants of maps, a program initiated by Gromov. This turns out to have consequences, among other things, for the sizes of cobordisms between manifolds of bounded geometry and for the computational complexity of certain geometric optimization problems.

In addition to worst-case complexity, one can ask about the "typical" topology of objects with a certain amount of geometry. Here we know essentially nothing about the most basic questions, such as: what is the typical Hopf invariant of a map S3S2 with Lipschitz constant L? (One hopes that the answer is robust with respect to natural choices of measure.) This is a new kind of asymptotic question which I have become interested in more recently in collaboration with Matthew Kahle, my postdoctoral mentor.


All my papers can also be found on the arXiv.
  1. A zoo of growth functions of mapping class sets,
    accepted for publication in the Journal of Topology and Analysis.
  2. Integral and rational mapping classes
    (with Shmuel Weinberger),
    arXiv preprint arXiv:1802.05784 (February 15, 2018), submitted.
  3. Plato's cave and differential forms,
    arXiv preprint arXiv:1801.00335 (December 31, 2017), submitted.
  4. Quantitative nullhomotopy and rational homotopy type
    (with Greg Chambers and Shmuel Weinberger),
    Geometric and Functional Analysis (GAFA), Vol. 28 Issue 3 (June 2018) pp 563–588.
  5. Quantitative nullcobordism
    (with Greg Chambers, Dominic Dotterrer, and Shmuel Weinberger),
    JAMS, Vol. 31 Number 4 (2018), pp 1165–1203.
  6. Volume distortion in homotopy groups
    (based on about two-thirds of my PhD thesis, which also has some other stuff in it),
    Geometric and Functional Analysis (GAFA), Vol. 26 Issue 2 (April 2016) pp 607–679.
  7. The complexity of nonrepetitive edge coloring of graphs,
    (based on undergraduate research with Chris Umans in 2006–2007)
    arXiv preprint arXiv:0709.4497.


Like most mathematicians, I prefer to give talks on the blackboard. For very short talks, though, this can be infeasible, and so I've occasionally given slide talks.

At the 50th Spring Topology and Dynamics Conference in Waco, Texas, I highlighted a geometric group theory aspect of my paper “Volume distortion in homotopy groups”:
Directed filling functions and the groups ♢n

At the 2016 Workshop in Geometric Topology in Colorado Springs, I spoke about an ongoing project with Shmuel Weinberger studying geometric bounds on smooth and PL embeddings of manifolds:
Counting embeddings
A draft proof of “Gromov's theorem for diagrams” is available upon request.


Here is some code I wrote in Sage implementing the edgewise subdivision of a simplicial complex, due to Edelsbrunner and Grayson.


In Fall 2018 I am teaching MATH 2255, Ordinary Differential Equations and Applications, Section 0030. Materials can be found on Carmen.

In Spring 2018 I taught MATH 2568, Linear algebra, sections 0020 and 0075. Most materials for that course can be found here.

At the University of Toronto, I taught: At the University of Chicago, I taught: