I am a professor of Mathematics at Caltech. I am currently also a Sloan research fellow. Previously, I completed my PhD in 2019 at Princeton University, I continued as a postdoc at UC Berkeley and was a Clay fellow from 2019 to 2024.
My research lies primarily in Differential Geometry and Geometric Analysis. I am broadly interested in the geometry of shapes. I like to find ways to measure their size, to construct optimal ones, and to understand their uniqueness and stability properties. In particular, many of my papers involve minimal surfaces and harmonic maps. Recently, I have started to explore their properties in high-dimensional spaces, and new connections with other fields like representation theory, geometric group theory and random matrices.
Here is my CV.
Email: aysong@caltech.edu
Here is a more technical summary, in reverse chronological order.
In recent projects, I have developed methods to study the shape of high-dimensional orthogonal representations of discrete groups using minimal surfaces and harmonic maps. In particular, I found connections between random matrix theory, group theory and differential geometry here and here. A surprising consequence is that random equivariant harmonic maps from Riemann surfaces to high-dimensional Euclidean spheres typically look like a hyperbolic plane. This result was applied here by M. Ancona, F. Labourie, A. Roig Sanchis and J. Toulisse to answer positively a question of S.T. Yau (Problem 101 of the 1982 problem list) about negatively curved minimal surfaces in spheres. The uniqueness of the limit of random equivariant harmonic maps into spheres was established here with R. Caniato and X.Z. Li.
I have also worked on several invariants which measure the size of manifolds and maps between manifolds, like the volume entropy, the ADM mass, the minimal volume, the symplectic capacity and the spherical volume. With C.H. Dong, we solved here a conjecture of G. Huisken and T. Ilmanen about the stability of the Euclidean 3-space among spaces with small mass. With D. Kazaras and K. Xu, we found here a counterexample to a conjecture of I. Agol, P. Storm and W. Thurston about the relation between scalar curvature and volume entropy. With K. Sackel, U. Varolgunes and J. Zhu, we quantified the nonsqueezing theorem of M. Gromov here. I established the stability of hyperbolic manifolds for the Besson-Courtois-Gallot entropy inequality here.
Since my postdoc, I have often thought about the problem of constructing optimal geometries on closed manifolds. My main proposal is to study "minimal surface geometries", whose existence theory is much more tractable compared to other standard special geometries like Einstein metrics. This is explained here, where I showed that one can naturally associate to any closed negatively curved manifold a certain minimal surface that realizes its spherical volume, an invariant invented by G. Besson, G. Courtois and S. Gallot.
During my PhD, I studied the construction of minimal surfaces via min-max variational methods developed by Almgren-Pitts and Marques-Neves. Building on this theory, I settled here the conjecture of S.T. Yau (Problem 88 of the 1982 problem list) about the existence of infinitely many minimal surfaces. With F.C. Marques, A. Neves, and with X. Zhou, we found here and here unexpected results on the spatial distribution of minimal surfaces in Riemannian manifolds. With D. Ketover and Y. Liokumovich, we solved here the conjecture of J. Pitts and J.H. Rubinstein about minimal Heegaard splittings in 3-manifolds. I also introduced combinatorial methods to control the topology of minimal surfaces here.
Area rigidity for the regular representation of surface groups, with Riccardo Caniato and Xingzhe Li, arXiv:2508.19480
Random harmonic maps into spheres, arXiv:2402.10287
Hyperbolic groups and spherical minimal surfaces, arXiv:2402.10869
Scalar curvature and volume entropy of hyperbolic 3-manifolds, with Demetre Kazaras and Kai Xu, arXiv:2312.00138
to appear in J. Eur. Math. Soc.
Entropy and stability of hyperbolic manifolds, arXiv:2302.07422
Geom. Funct. Anal., vol. 35, no. 3, pp. 877-914 (2025)
Stability of Euclidean 3-space for the Positive Mass Theorem, with Conghan Dong, arXiv:2302.07414
Invent. Math., vol. 239, no. 1, pp. 287-319 (2025)
Spherical volume and spherical Plateau problem, arXiv:2202.10636
to appear in Séminaire de théorie spectrale et géométrie
On certain quantifications of Gromov's non-squeezing theorem, with Kevin Sackel, Umut Varolgunes and Jonathan J. Zhu, arXiv:2105.00586
Geom. Topol., vol. 28, pp. 1113-1152 (2024)
Essential minimal volume of Einstein 4-manifolds, arXiv:2103.05659
Generic scarring for minimal hypersurfaces along stable hypersurfaces, with Xin Zhou, arXiv :2006.03038
Geom. Funct. Anal., vol. 31, no. 4, pp. 948-980 (2021)
Morse index, Betti numbers and singular set of bounded area minimal hypersurfaces, arXiv :1911.09166
Duke Math. J., vol. 172, no. 11, pp. 2149-2193 (2023)
On the existence of minimal Heegaard surfaces, with Daniel Ketover and Yevgeny Liokumovich, arXiv :1911.07161
A dichotomy for minimal hypersurfaces in manifolds thick at infinity, arXiv :1902.06767
Ann. Sci. Ec. Norm. Supér., vol. 56, no. 4, pp. 1085-1134 (2023)
Existence of infinitely many minimal hypersurfaces in closed manifolds, arXiv :1806.08816
Ann. of Math., vol. 197, no. 3, pp. 859-895 (2023)
Equidistribution of minimal hypersurfaces for generic metrics, with Fernando C. Marques and André Neves, arXiv :1712.06238
Invent. Math., vol. 216, pp. 423-443 (2019)
Appearance of stable spheres along the Ricci flow in positive scalar curvature, arXiv :1611.09747
Geom. Topol., vol. 23, no. 7, pp. 3501-3535 (2019)
Embeddedness of least area minimal hypersurfaces, arXiv :1511.02844
J. Differential Geom., vol. 110, no. 2, pp. 345-377 (2018)
A maximum principle for self-shrinkers and some consequences, arXiv :1412.4755