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 under the supervision of 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
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 S3 → S2 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.on the arXiv.
Algorithmic aspects of
immersibility and embeddability
(with Shmuel Weinberger),
arXiv preprint arXiv:1812.09413 (December 21, 2018), submitted.
A zoo of growth functions of mapping class sets,
Journal of Topology and Analysis, to appear.
Integral and rational mapping classes
(with Shmuel Weinberger),
arXiv preprint arXiv:1802.05784 (February 15, 2018), submitted.
Plato's cave and differential forms,
arXiv preprint arXiv:1801.00335 (December 31, 2017), submitted.
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.
(with Greg Chambers, Dominic Dotterrer, and Shmuel Weinberger),
JAMS, Vol. 31 Number 4 (2018), pp 1165–1203.
Appendix: The Gromov–Guth–Whitney embedding theorem
(with Shmuel Weinberger).
- Appendix: The Gromov–Guth–Whitney embedding theorem
Volume distortion in homotopy
(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.
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”:
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:
A draft proof of “Gromov's theorem for diagrams” is available upon request.
In Spring 2018 I am teaching MATH 4507, Geometry. This is a flipped-classroom course focusing on Euclidean, spherical, and hyperbolic geometry.At the Ohio State University, I have taught:
- MATH 2255, Ordinary Differential Equations and Applications (Fall 2018)
- MATH 2568, Linear algebra (Spring 2018, two sections)
- MAT 137, Calculus! (2015–2016 and 2016–2017).
- MATH 152–153, Calculus II and III (2014–2015)
- MATH 196, Linear algebra (Winter 2014 and Spring 2012)
- MATH 195, Mathematical methods for the social sciences (a multivariable calculus class; Fall 2013, Winter 2013, Fall 2012)
- MATH 131–132, Elementary functions and calculus I and II (2011–2012)