themathematicsof richardschoengeometry. the resulting fundamental theorem in geom-etry, that every...
TRANSCRIPT
-
The Mathematics ofRichard Schoen
Communicated by Christina Sormani
For permission to reprint this article, please contact:[email protected].
DOI: http://dx.doi.org/10.1090/noti1749
December 2018 Notices of the AMS 1349
-
Hubert L. Brayand William P. Minicozzi IIPrefaceFor more than forty years Richard Schoen has been aleading figure in geometric analysis, connecting ideasbetween analysis, geometry, topology, and physics in fas-cinating and unexpected ways. In 2017 Richard Schoenwas awarded the Wolf Prize for these fundamentalcontributions and for his โunderstanding of the in-terconnectedness of partial differential equations anddifferential geometry.โ In this article we survey some ofhis many fundamental ideas.
Figure 1. Schoen was the tenth of thirteen children,shown here in fourth grade at the SharpsburgElementary School, at graduation from Fort RecoveryHigh School in 1968, and at graduation summa cumlaude from the University of Dayton in 1972.
Figure 2. Rick Schoen, pictured here soon afterwinning the Guggenheim Fellowship in 1996, alsowon the Wolf Prize in 2017.
Rick Schoen was born in 1950 in Celina, Ohio. Hewas the tenth in a family of thirteen children growing
Hubert Bray is professor of mathematics at Duke University. Hisemail address is [email protected] Minicozzi is Singer Professor of Mathematics at MIT. Hisemail address is [email protected].
up on a farm (Figure 1). He enjoyed farm work and hasdescribed driving a tractor to plow the fields as โgreat forthinking.โ His mother encouraged the children in theirschooling, and his father was always inventing things. Hisolder brothers, Hal and Jim, were both math majors andinspired him to study mathematics.
In 1972 Schoen (Figure 1) graduated summa cumlaude from the University of Dayton and received anNSF Graduate Fellowship. In March 1977 Rick receivedhis PhD from Stanford University under the direction ofLeon Simon and Shing-Tung Yau and soon after receiveda Sloan Postdoctoral Fellowship. His early work was onminimal surfaces and harmonic maps. By the time Schoenreceived his PhD, he had already proven major results,including his 1975 curvature estimates paper with Simonand Yau.
In the late 1970s Schoen and Yau developed new toolsto study the topological implications of positive scalarcurvature. This work grew out of their study of stableminimal surfaces, eventually leading to their proof of thepositive mass theorem in 1979. Altogether, their workwas impressive for the way it connected neighboringfields, first using analysis to understand geometry andthen using geometry to understand physics.
Figure 3. Schoen with his collaborators on the theoryof stable minimal surfaces in manifolds of positivescalar curvature: Fischer-Colbrie and Fields MedalistYau (2015). Yau and Schoen applied stable minimalsurfaces to prove the positive mass theorem in 1979.
In the early 1980s, Schoen published a number offundamental papers on minimal surfaces and harmonicmaps. His work on minimal surfaces includes an influen-tial Bernstein theorem for stable minimal surfaces withDoris Fischer-Colbrie. Schoen met his future wife, Fischer-Colbrie, in Berkeley, where she received her PhD in 1978.They have two children, Alan and Lucy, both of whomgraduated from Stanford.
Other works from the early 1980s include an extremelyuseful curvature estimate for stable surfaces, a unique-ness theorem for the catenoid, and a partial regularity
1350 Notices of the AMS Volume 65, Number 11
-
theory for stable hypersurfaces in high dimensions withSimon. In 1982, Schoen and Karen Uhlenbeck proved thepartial regularity of energy-minimizing harmonicmaps. In1983 Schoen was awarded the very prestigious MacArthurPrize Fellowship.
Schoen is also very well known for his celebrated so-lution to the remaining cases of the Yamabe problem in1984, this time using a theorem from physics, namelythe positive mass theorem, to solve a famous problem ingeometry. The resulting fundamental theorem in geom-etry, that every smooth Riemannian metric on a closedmanifold admits a conformal metric of constant scalarcurvature, had been open since the 1960s. This work wascited in 1989 when Schoen received the Bocher Prize ofthe American Mathematical Society. His work on scalarcurvature at this time set the direction for the field forthe next twenty-five years.
Schoen was elected to the American Academy of Artsand Sciences in 1988 and the National Academy ofSciences in 1991. He has been a Fellow of the AmericanAssociation for the Advancement of Science since 1995and won a Guggenheim Fellowship in 1996. Rick waselected Vice President of the AMS in 2015. He wasawarded the Wolf Prize in Mathematics for 2017, sharedwith Charles Fefferman. In 2017 he was also awarded theHeinz Hopf Prize, the Lobachevsky Medal and Prize, andthe Rolf Schock Prize, to mention only a few of his awards.
Figure 4. Schoen with Simon at Stanford in 2018.Schoen is Simonโs most successful doctoral student,with 137 mathematical descendants.
Starting around 1990 Schoen began two major pro-grams. The first was to develop a theory of harmonicmaps with singular targets, starting with a joint paperwith Mikhail Gromov, where they used harmonic mapsto establish ๐-adic superrigidity for lattices in groups ofrank one. In a series of papers, Schoen and Nick Korevaarlaid the foundations for a general theory of mappings toNPC spaces, established the basic existence and regularityresults, and applied their theory to settle problems in anumber of areas of mathematics. The second big program
was a variational theory of Lagrangian submanifolds, in-cluding the existence and regularity theory, done in aseries of papers with Jon Wolfson.
Over the last decade, Schoen has continued to makemajor contributions to geometric analysis and generalrelativity.Amongother results ingeneral relativity, Schoenhas made fundamental contributions to the constraintequations (with Corvino and others), which dictate therangeof possible initial conditions for a spacetime, provedtheorems on the topology of higher-dimensional blackholes (with Galloway), and proved the positive masstheorem in dimensions greater than seven (with Yau). Ingeometric analysis he has several important results withSimon Brendle on Ricci flow, including the proof of thedifferentiable sphere theorem, as well as a compactnesstheorem for the Yamabe equation with Marcus Khuri andFernando Codรก Marques.
Figure 5. Schoen at the Banff International ResearchStation in 2016 with his students Pengzi Miao,Christos Mantoulidis, Daniel Pollack, AlessandroCarlotto, Sumio Yamada, Dan Lee, and Hubert Bray.
Schoen has written two books and roughly eightypapers and has solved an impressively wide varietyof major problems and conjectures. He has supervisedaround forty students and counting and has hosted manypostdocs. Even with his great success, Schoen is still oneof the hardest working people in mathematics, givingus all the distinct impression that he must love it. Hisimpact on mathematics, both in terms of his ideas andthe example he sets, continues to be tremendous.
This article contains surveys of a sampling of Schoenโsmathematical works, interspersed with personal recol-lections. Many of Schoenโs accomplishments are notsurveyed hereโthere were just too many to attempt thatfeat. Nevertheless, we hope that the reader will get a tasteof the mathematical genius that is Richard Schoen.
In the next sections, Michael Eichmair and Lan-HsuanHuang describe Schoenโs work on scalar curvature, fol-lowed by a personal note by Shing-Tung Yau about theircollaboration on the positive mass theorem. William Mini-cozzi describes the work of SchoenโUhlenbeck, followedby a personal note by Karen Uhlenbeck about their collab-oration. Rob Kusner describes Schoenโs work on classicalminimal surfaces in Euclidean space, and Fernando CodรกMarques describes his work on the Yamabe problem.
December 2018 Notices of the AMS 1351
-
Figure 6. At the June 2009 Mathematics ResearchCommunities Conference in Snowbird, Utah. First row:Catherine Williams, Vincent Bonini, Leobardo Rosales,Jeff Jauregui, Po-Ning Chen. Second row: George Lam,Jacob Bernstein, Chen-Yun Lin, Andrew Bulawa,Graham Cox, Joel Kramer, Iva Stavrov, Rick Schoen,Christine Breiner, Lan-Hsuan Huang, Michael Eichmair,Lu Wang.
Chikako Mese describes his work on harmonic maps intoNPC spaces, and Ailana Fraser describes their joint workon Steklov eigenvalues. Any of these sections may be readas its own distinct contribution.
Michael Eichmair andLan-Hsuan HuangScalar Curvature, Minimal Surfaces, and thePositive Mass TheoremHere we describe some of Richard Schoenโs early workwith Shing-Tung Yau on the use ofminimal surfaces in thestudy of three-dimensional geometry. We also describethe impact of their contributions on our own careers.
To set the stage, we briefly recall several notionsof curvature. Let (๐,๐) be a Riemannian manifold ofdimension ๐.
Let ๐ be a 2-plane in the tangent space of ๐ at ๐.The sectional curvature of ๐ may be computed from thespread of geodesics ๐พ๐ starting at ๐ with orthonormalinitial velocities ๐๐ such that ๐ = ๐1 โง ๐2:
๐พ๐(๐) = lim๐กโ0 6(๐ก โ dist(๐พ๐(๐ก), ๐พ๐(๐ก))/โ2
๐ก3 ) .
The sectional curvature is positive when these geodesicsbend together and negative when they drift apart when
Michael Eichmair is professor of mathematics at the University ofVienna. His email address is [email protected] Huang is associate professor of mathematics atthe University of Connecticut. Her email address is [email protected].
compared with Euclidean space. Starting with an or-thonormal basis ๐1,โฆ , ๐๐ of the tangent space at ๐, wecan compute the (symmetric) Ricci curvature tensor as
๐ ๐๐๐(๐๐, ๐๐) = โ๐โ ๐
๐พ๐(๐๐ โง ๐๐)
and the scalar curvature as
๐ ๐ =๐โ๐=1
๐ ๐๐๐(๐๐, ๐๐) = โ๐โ ๐
๐พ๐(๐๐ โง ๐๐).
The scalar curvature can also be computed from thedeficit between the volume ๐๐ ๐๐ of a Euclidean ballof radius ๐ > 0 and the volume of a geodesic ball๐ต๐(๐) = {๐ฅ โ ๐ โถ dist(๐ฅ, ๐) < ๐} in (๐,๐):
๐ ๐ = lim๐โ0 6(๐ + 2)(๐๐ ๐๐ โ vol(๐ต๐(๐))
๐๐ ๐๐+2) .
Thus ๐ ๐ > 0 means that a small geodesic ball in (๐,๐)has less volume than a Euclidean ball of the same radius.
Figure 7. The spatial Schwarzschild geometry, withvanishing scalar curvature, provides the prototypefor the concept of mass in general relativity. Thesphere at the neck (in red) is a stable minimal surfacecalled the horizon.
Let ฮฃ โ ๐ be a hypersurface. The variation โ๐๐ of theunit normal๐ โถ ฮฃ โ ๐๐ along a field๐ that is tangent to ฮฃmeasures how ฮฃ bends in ambient space. These variationsare recorded synthetically in a symmetric tensor on ฮฃ,
๐ดฮฃ(๐,๐) = ๐(โ๐๐,๐),called the second fundamental form. The principal curva-tures ๐1, โฆ, ๐๐โ1 of ฮฃ at a given point are the eigenvaluesof this tensor with respect to the inner product inducedon ฮฃ by ๐. Their sum
๐ปฮฃ = ๐1 +โฏ+๐๐โ1is called the mean curvature ๐ปฮฃ of ฮฃ.
We examine mean curvature more carefully. Let usassume, for definiteness, that ฮฃ is closed. Every smooth
1352 Notices of the AMS Volume 65, Number 11
-
function, ๐ โ ๐ถโ(ฮฃ), with sufficiently small ๐ถ1-normgives rise to a surface
ฮฃ๐ = {exp๐ ๐(๐)๐(๐) โถ ๐ โ ฮฃ}near ฮฃ. In fact, every surface close to ฮฃ has this form.Taylor expansion gives
area(ฮฃ๐) = area(ฮฃ) + โซฮฃ๐ปฮฃ ๐ +
12 โซฮฃ
๐ป2ฮฃ ๐2
+ 12 โซฮฃ|โฮฃ๐|2 โ (|๐ดฮฃ|2 +๐ ๐๐(๐,๐))๐2
+๐(||๐||3๐ถ1(ฮฃ)).Assume now that ฮฃ has least area among all nearby
surfaces. In particular, the first variation of area is zero.By the preceding formula, this is equivalent to
๐ปฮฃ = 0.Moreover, the second variation of area is nonnegative.In view of our expansion, this amounts to the stabilityinequality, i.e.,
โซฮฃ(|๐ดฮฃ|2 +๐ ๐๐(๐,๐))๐2 โค โซ
ฮฃ|โฮฃ๐|2
for all ๐ โ ๐ถโ(ฮฃ).In general, we call a surface minimal if its mean
curvature vanishes. Stable minimal surfaces are thosethat satisfy both the first and the second derivative testsfor least area.
Figure 8. Schoen and Yauโs famous manipulation ofthe second variation formula for a stable minimalsurface, ฮฃ, to involve the ambient scalar curvature,๐ ๐, the intrinsic Gauss curvature, ๐ ฮฃ, and the norm ofthe second fundamental form squared, |๐ด|2.
Using parallel surfaces for area comparison, where๐ โก constant, is tempting and hard to resist. It gives
โซฮฃ|๐ดฮฃ|2 +๐ ๐๐(๐,๐) โค 0.
J. Simons observed from this that there can be no stableminimal surfaces if the Ricci curvature is positive. Schoenand Yau [4] manipulated the integrand further, using theGauss equation
๐ = 2๐พฮฃ + |๐ดฮฃ|2 โ๐ป2ฮฃ + 2๐ ๐๐(๐,๐)
and the Gauss-Bonnet formula
โซฮฃ๐พฮฃ = 2๐๐(ฮฃ)
to conclude that, for a stable minimal surface,12 โซฮฃ
๐ + |๐ดฮฃ|2 โค โซฮฃ๐พฮฃ = 2๐๐(ฮฃ).
Inspecting this identity, Schoen and Yau observedthat the following two conditionsโone metric and onetopologicalโcannot hold simultaneously:
โข The scalar curvature ๐ is positive along ฮฃ.โข The genus of ฮฃ is positive; i.e., ๐(ฮฃ) โค 0.
Consider (๐,๐) where ๐ = ๐1 ร ๐1 ร ๐1 is the 3-torus. From standard results in geometricmeasure theory,among all surfaces in ๐ that are homologous to ฮฃ0 =๐1 ร ๐1 ร {point}, there is one that has least area in(๐,๐); see Figure 9. By Stokesโ theorem, this surface hasa component ฮฃ for which
โซฮฃ(๐๐1) โง (๐๐2) โ 0,
where ๐1, ๐2 are the angles on the first two factors.Assume that ฮฃ has genus zero. The restrictions of theforms ๐๐1 and ๐๐2 and consequently of ๐๐1 โง ๐๐2 areexact on ฮฃ. In particular, the latter should integrate tozero on ฮฃ. This contradiction shows that ฮฃ has positivegenus. In view of the dichotomy discussed above, theseideas of Schoen and Yau give
Theorem 1 (Schoen and Yau [3]). The 3-torus does notadmit a metric of positive scalar curvature.
Figure 9. There is a stable minimal surface ฮฃ (in red)lying in a torus ๐ (in black), which is homologous toฮฃ0 (in blue).
As shown by KazdanโWarner in 1975, a Riemannianmetricwithnonnegative scalar curvature is eitherRicci flator there is a metric with positive scalar curvature nearby.Theorem 1 is thus really a rigidity result for Riemannianmetrics of nonnegative scalar curvature. That is, every3-dimensional torus with nonnegative scalar curvature isflat.
Schoen and Yau extended these ideas in their proof ofthe positive mass theorem:
December 2018 Notices of the AMS 1353
-
Theorem 2 (Schoen and Yau [4]). Let (๐,๐) be a completeRiemannian 3-manifold that is asymptotically flat,
๐๐๐ = ๐ฟ๐๐ +๐(|๐ฅ|โ๐),
for some ๐ > 1/2, with nonnegative integrable scalar cur-vature. Then the ADM-mass of (๐,๐) is nonnegative, andit is zero if and only if (๐,๐) is flat Euclidean space.
The ADM-mass (after R. Arnowitt, S. Deser, andC. Misner),
๐๐ด๐ท๐ = lim๐โโ1
16๐๐ โซ{|๐ฅ|=๐}
3โ
๐,๐=1(๐๐๐๐๐ โ ๐๐๐๐๐)๐ฅ๐,
is a geometric invariant of (๐,๐) that measures thedeviation from Euclidean at infinity. The example ofSchwarzschild where ๐ = {๐ฅ โ โ3 โถ |๐ฅ| โฅ ๐/2} and
๐๐๐ = ๐ข4๐ฟ๐๐ with ๐ข(๐ฅ) = 1+๐
2|๐ฅ|for some ๐ > 0 is particularly important. The boundaryof ๐ is a stable minimal surface and is called the horizon.Note that the ADM-mass is equal to ๐.
Schoen and Yau first consider the special case ofharmonic asymptotics where, outside a bounded set,
๐๐๐ = ๐ข4๐ฟ๐๐ with ๐ข(๐ฅ) = 1+๐
2|๐ฅ| +๐(|๐ฅ|โ2)
and where the scalar curvature is positive everywhere.(The reduction of the proof of the positive mass theoremto the special case of such harmonic asymptotics isproven in a 1981 paper of Schoen and Yau using a densityargument.) If ๐ = ๐๐ด๐ท๐ is negative, the slab
{โฮ < ๐ฅ3 < ฮ}
is a mean-convex region for ฮ > 0 sufficiently large. SeeFigure 10.
Figure 10. In their proof of the positive masstheorem, Schoen and Yau find a least area surface, ฮฃ๐,with boundary, ๐ฮฃ๐, lying in a cylinder of radius ๐,before taking ๐ โ โ to create a complete stableminimal surface.
Schoen and Yau go ahead and construct least areasurfaces in the slab with respective boundary
๐ฮฃ๐ = {(๐ฅ1, ๐ฅ2, 0) โถ |(๐ฅ1, ๐ฅ2)| = ๐}.
As ๐ โ โ, these surfaces limit to a complete stable min-imal surface ฮฃ that is asymptotic to a horizontal plane.Since ฮฃ is unbounded, one cannot simply choose the con-stant test function 1 in the second variation inequality as
before. Schoen and Yau apply an approximation argumentinvolving a logarithmic cut-off trick to argue that, still,
โซฮฃ|๐ดฮฃ|2 +๐ ๐๐(๐,๐) โค 0.
Using the Gauss equation as before, this gives
0 < 12 โซฮฃ๐ โค โซ
ฮฃ๐พฮฃ.
The CohnโVossen inequality bounds the right-hand sideby 2๐๐(ฮฃ). Now, using that ฮฃ is asymptotic to a plane,they conclude that ๐(ฮฃ) โค 0, a contradiction.
This shows that ๐๐ด๐ท๐ โฅ 0. To characterize the case ofequality, Schoen and Yau use a perturbation argument.
These ideas of Schoen and Yau also extend to higherdimension.
Theorem 3 (Schoen and Yau [3]). Let ๐ be a closed man-ifold of dimension ๐ โค 7 so there exists a map ๐ โ ๐๐ =๐1 รโฏร ๐1 of nonzero degree. Then ๐ does not admit ametric of positive scalar curvature.
The proof is by induction on the dimension. We mayassume that ๐ โฅ 4. Using area-minimization, the stabilityinequality, and the Gauss equation as above, Schoen andYau show that there is a hypersurface ฮฃ โ ๐ that admitsa map of nonzero degree into the torus, ๐๐โ1, such that
12 โซฮฃ
(๐ + |๐ดฮฃ|2)๐2 โค โซฮฃ|โฮฃ๐|2 +
12๐ ฮฃ ๐
2
for all ๐ โ ๐ถโ(ฮฃ). Using the assumption that ๐ > 0, theyconclude that the Yamabe operator
๐ฟฮฃ = โฮฮฃ +๐โ 3
4(๐โ 2) ๐ ฮฃ
has positive first eigenvalue on ฮฃ. If ๐ข โ ๐ถโ(ฮฃ) is apositive first eigenfunction, then the scalar curvatureof the conformal metric ๐ข 4๐โ3 ๐ฮฃ on ฮฃ is positive. Thiscontradicts the induction hypothesis.
The restriction to low dimensions is on account of sin-gularities that area-minimizing hypersurfaces may form.In recent work, Schoen and Yau present a powerfulapproach that extends their ideas to all dimensions.
Schoen and Yau have introduced a watershed of ideasrelating scalar curvature, minimal surfaces, topology, andphysics. Their insights have been hugely influential, andcertainly a short survey cannot do them justice. Weconclude by sketching briefly a few examples of how theirideas have influenced our own work.
The positive mass theorem is a remarkable rigidityresult for Euclidean space: There really is no way at allto deform the Euclidean metric on a compact set whilekeeping the scalar curvature nonnegative. The followingresult due to Otis Chodosh and Eichmair establishes arelated rigidity result that was conjectured by Schoen:
Theorem 4 ([1]). The only asymptotically flat 3-manifoldthat has nonnegative scalar curvature and which containsan unbounded area-minimizing surface is flat Euclideanspace.
1354 Notices of the AMS Volume 65, Number 11
-
Figure 11. Huang, Fischer-Colbrie, and Schoen atStanford (2007). Fischer-Colbrie and Schoenโs paperโOn the structure of complete stable minimalsurfaces in 3-manifolds of positive scalar curvatureโis one of Schoenโs five most highly cited papers.
This result has already been used in the solution ofseveral other conjectures related to the geometry of 3-manifolds in joint work of Chodosh and Eichmair withAlessandro Carlotto, with Vlad Moraru, and with YuguangShi and Haobin Yu.
The reduction in the proof of the positivemass theoremto harmonic asymptotics described above illustrates howsubtle results about the geometry of asymptotically flatmanifolds can be obtained by looking at special cases.
This observation has found many useful applications.Huang studied further properties of the special classesthat play a key role in studying the geometric center ofmass, buildingon the foundationalwork for specialdatabyGerhardHuisken andYau. This workwas completed in her2009 Stanford dissertation under Schoenโs supervision.Schoen, Mu-Tao Wang, and Huang applied these ideas tostudy the angularmomentumand disproved a conjecturalmass and angular momentum inequality.
From the point of view of general relativity, asymptot-ically flat manifolds are just the beginning of the story.General initial data for the Einstein equations consists oftriplets (๐,๐, โ), where (๐,๐) is a Riemannian manifoldand โ is a symmetric (0, 2)-tensor that represents thespacetime second fundamental form of the slice (๐,๐)through the evolving spacetime.1
In joint work with Dan A. Lee and Schoen [2], theauthors proved a spacetime version of the positive masstheorem for initial data sets in dimensions โค 7. Thestrategy is modeled on that for the time-symmetric casegiven by Schoen and Yau [5]. In our case, marginallyouter trapped surfaces (MOTS) take the place of minimalsurfaces. Since MOTS do not arise as minimizers of ageometric variational problem, we depend on existence,
1See the feature on gravitational waves in the August 2017 No-tices, www.ams.org/publications/journals/notices/201707/rnoti-p684.pdf.
regularity, andcompactness results for two-sidedsurfacesฮฃ โ ๐ that solve a geometric boundary value problem ofthe form
๐ปฮฃ(๐ฅ) = ๐น(๐ฅ,๐ฮฃ(๐ฅ))for all ๐ฅ โ ฮฃ with ๐ฮฃ = ฮ. Here, ๐น โถ ๐ร๐๐ โ โ smoothand ฮ โ ๐ closed of codimension two are given. Atheory that satisfyingly extends the classical theory forarea-minimizing surfaces to this broader, nonvariationalsetting is developed in Eichmairโs thesis under Schoen atStanford in 2008. The accompanying rigidity result forMinkowski spacetime was obtained by Lee and Huang.
Figure 12. Lan-Hsuan Huang, Ailana Fraser, MichaelEichmair, Rick Schoen, Shing-Tung Yau, RobertBartnik, Mu-Tao Wang, and Xiaodong Wang inMelbourne (2010).
On a personal note, we have very fondmemories of ourtime working as doctoral students with Rick at Stanfordโ2003โ2008 (Eichmair) and 2004โ2009 (Huang). He wouldbe in the office seven days a week, typically from quiteearly in the morning until around 4 pm. (There was anongoing search for tennis partners in the departmentfor the late afternoons.) This example has rubbed off onhis PhD students too. We worked hard in a nurturingenvironment that could not have been more down-to-earth about mathematics. We aspired to be like Rick.Those years laid the foundations for our own researchcareers, and we are very grateful.
References[1] A. Carlotto, O. Chodosh, and M. Eichmair, Effective ver-
sions of the positive mass theorem, Invent. Math. 206 (2016),975โ1016. MR3573977
[2] M. Eichmair, L.-H. Huang, D. A. Lee, and R. Schoen, Thespacetime positive mass theorem in dimensions less thaneight, J. Eur. Math. Soc. 18 (2016), 83โ121. MR3438380
[3] R. Schoen and S.-T. Yau, On the structure of manifolds withpositive scalar curvature, Manuscripta Math. 28 (1979), 159โ183. MR0535700
[4] R. Schoen and S.-T. Yau, On the proof of the positive massconjecture in general relativity, Comm. Math. Phys. 65 (1979),45โ76. MR0526976
December 2018 Notices of the AMS 1355
http://www.ams.org/publications/journals/notices/201707/rnoti-p684.pdfcavRectangle
cavRectangle
cavRectangle
http://www.ams.org/mathscinet-getitem?mr=3573977http://www.ams.org/mathscinet-getitem?mr=3438380cavRectangle
http://www.ams.org/mathscinet-getitem?mr=0535700cavRectangle
http://www.ams.org/mathscinet-getitem?mr=0526976cavRectangle
-
[5] R. Schoen and S.-T. Yau, Complete manifolds with non-negative scalar curvature and the positive action conjecturein general relativity, Proc. Nat. Acad. Sci. U.S.A. 76 (1979),1024โ1025. MR0524327
Shing-Tung YauMemories of Working with Rick SchoenI am pleased to write on behalf of Rick Schoen onthe occasion of his Wolf Prize, which is clearly a well-deserved award in recognition of the tremendous insightand strength he has long demonstrated in the field ofgeometric analysis.
I have known Rick for forty-four years, and he iscertainly one of my very best friends. I am proud thatLeon Simon and I were his thesis advisors at Stanford.Together, Schoen, Leon Simon, Karen Uhlenbeck, S. Y.Cheng, Richard Hamilton, Clifford Taubes, and I madegreat strides in the 1970s in developing themodern theoryof geometric analysis. This was a truly exciting period forthe subject of differential geometry, laying the foundationfor major developments in topology, algebraic geometry,and mathematical physics over the last four decades.
Figure 13. The collaborators Yau and Schoen. Yauwrites that โmore than half of my important paperswere either written jointly with Rick or influenced byhim.โ
In the following I shall share some reminiscencesinvolving Rick that date back to the 1970s.
Both Simon and I arrived at Stanford in the fallof 1973; fortunately we had offices across the hallway
Shing-Tung Yau is William Caspar Graustein Professor of Math-ematics at Harvard University. His email address is [email protected].
from each other. Rick Schoen was just starting outas a graduate student. A trenchant observation by Rickregarding the second variation formula for area functionalfor deformation of minimal hypersurfaces in Euclideanspace led to our first collaboration, during which wemanaged to find a curvature estimate for stable minimalhypersurfaces up to dimension five. This result provideda direct proof of the famous Bernstein conjecture in thesedimensions; it also turned out to be important for laterwork on the existence of mini-max hypersurfaces in alow-dimensional compact manifold.
This papermarked the beginning of our very successfulcollaboration over the last forty years. More than half ofmy important papers were either written jointly withRick or influenced by him. We have a similar way ofapproaching problems in mathematics, and we are bothexcited by the power of nonlinear analysis in geometry,topology, and mathematical physics.
I was excited by the rigidity theorem of Mostow when Iwas a graduate student. I thought the theory of harmonicmaps could offer a good approach for replacing thequasiconformal map argument of Mostow. (This wasfinally achieved in 1991 by Jost and me and also by Mok,Young, and Siu based on the similar strategy of Calabi.) Isuggested to Rick that we explore the theory of harmonicmaps as a complement to the theory of minimal surfaces.In the period of 1974 to 1975, we studied the existenceof harmonic maps and their geometric applications.
We exploited the uniqueness theory of harmonic mapswhen the image manifolds have nonpositive curvature inorder to prove the rigidity of group actions on manifolds,reproving andgeneralizing someof theprevious theoremsinmy thesis, as well as theorems pertaining to finite groupactions on general manifolds. One extremely importantdevelopment concerned the proof of the existence ofharmonicmaps fromaRiemann surface into anymanifoldso long as there is a nontrivial map from the Riemannsurface into themanifold inducing a nontrivialmap on thefundamental group of themanifolds. This was remarkablebecause we were able to make sense of the action on thefundamental group for maps that are not necessarilycontinuous but have finite energy only.
Figure 14. Yau and Schoen with Isadore Singer in SanDiego, where they worked late into the night on theirlecture series.
1356 Notices of the AMS Volume 65, Number 11
http://www.ams.org/mathscinet-getitem?mr=0524327cavRectangle
-
We were led to believe that there should be someform of existence theorem for harmonic maps from thetwo-sphere. But before we started to work on that, wesaw an announcement by Sacks and Uhlenbeck, whohad proved such an existence theorem using ingeniousideas on treating the bubbling phenomena, and they canalso treat the case with fundamental group. A coupleof years later I, along with Siu, made use of the spheretheorem of SacksโUhlenbeck to prove the existence ofrational curves in an algebraic manifold with positivebisectional curvature. The idea rests on a study of thesecond variational formula of minimal surfaces, similarto the case I studied with Rick, as mentioned above.
Rick and I also made use of these ideas to prove thatthe three-dimensional torus does not support a metricwith positive scalar curvature. That had been a majoropen problem at the time. Our proof, in turn, led to Rickโsand my subsequent proof of the positive mass conjecturein general relativity.
This theorem started the extensive applications ofideas from geometry and geometric analysis to generalrelativity. But the flow of ideas between geometers andgeneral relativists can be very rewarding for all parties.I remembered that Hawking asked me to look into thefour-dimensional analogue of the positive mass conjec-ture, which he and Gibbons called the positive actionconjecture.
While pondering the problem posed by Hawking, Rickand I hit upon an amazing fact: the second variationalformula of a minimal hypersurface can give rise toa conformal deformation of the minimal hypersurface,thus providing a way to achieve metrics of positivescalar curvature on the hypersurfaces. This importantobservation allowed us to do dimensional reduction asa way to understand higher-dimensional manifolds withpositive scalar curvature. We were able to utilize suchideas to solve certain nonlinear equations, which arecalled the Jang equations in general relativity. Theseequations allow us, for example, to link the concept ofblack hole to mass in general spacetime. Rick and I wereable to demonstrate rigorously that if the matter densityis large in some fixed region, a black hole will form.
Since there is a regularity problem for minimal hy-persurfaces for dimensions greater than seven, we haveto restrict our theory to lower dimensions. Fortunately,about ten years ago we were able to remove the dimensionrestriction for the positive mass conjecture and also aspertains to the structure of manifolds with positive scalarcurvature.
During our attempt to solve the positive mass con-jecture, Rick and I naturally became interested in under-standing the structure of manifolds with positive scalarcurvature, which can, in turn, help us describe the struc-ture of the topology of our universe. The first thing thatRick and I did was to determine what class of topology ina three-dimensional manifold can support metrics withpositive scalar curvature. We found in early 1978 that it ispossible to preservemetrics with positive scalar curvatureamong such manifolds. And we thought that it should be
Figure 15. Richard Schoen, Robert Bartnik, LeonSimon, and Shing-Tung Yau.
possible to generalize the procedure to perform surgeryon submanifolds of codimension 3 whose normal bundleis trivial.
I gave a plenary talk at the 1978 Helsinki Congress,where I discussed some of the results that Rick andI had obtained. On my way to Helsinki, I mentionedthe surgery result to Blaine Lawson, who later workedwith Gromov, using a more straightforward argument toreproduce a similar result. These results became the keyto understanding the structure of manifolds with positivescalar curvature.
For me, working with Rick has been wonderful in somany ways. I remember that we spent the summer of1979 together in Stanford while finishing the writingof our paper on the full positive mass conjecture. Weworked during the day, often stopping to eat at a Chineserestaurant called Moon Palace. In the evening we stayedand swam in the house owned by a friend of Dorisโs, Rickโsgirlfriend and future wife. The weather was excellent, andwe really had a good time.
Rick and I also gave a lecture series in Princeton,Berkeley, and San Diego, the contents of which werepublished in two books. We often went over the substanceof these lectures a day before we delivered them. Someof the materials we presented were new, and sometimesour preparations lasted all the way to midnight andeven beyond. Unfortunately not all of the materialswere recorded or preserved. We can recall some of thestatements that we could prove but not the full proof.
Iโve so far talked mainly about some of the workthat Rick and I have done together. But he has, ofcourse, made many spectacular achievements on hisown, including the old conjecture of Yamabe, whereRick applied the positive mass conjecture in a brilliantmanner. The subject of conformal deformation becamean important area of research after this work by Rick.And he is clearly the leader of the whole field.
His proof with Brendle on the quarter-pinching ofpositively curvedmanifoldsbrought adramatic resolutionto a conjecture that had lasted for seventy years. All theseaccomplishments reveal the great insight and strength ofRick as a mathematician of tremendous originality. Rick
December 2018 Notices of the AMS 1357
-
Figure 16.Yau and Schoen look out into the future.
has had many other important successes throughout hiscareer that I could discuss here. But the work that I havediscussed already demonstrates why Rick Schoen is aresoundingly worthy recipient of the Wolf Prize.
William P. Minicozzi IISchoenโUhlenbeck Theory for Harmonic MapsIn the early 1980s Schoen andUhlenbeck proved a numberof major results on harmonic maps in two papers thatshaped the development of the field. The first paper [SU1]proved the crucial ๐-regularity, proved a sharp bound onthe Hausdorff dimension of the singular set, and gavenew insight into when singularities can occur. The secondpaper [SU2] proved complete boundary regularity andsolved the Dirichlet problem for harmonic maps. Thesepapers are extraordinarily clear and beautifully written,and the techniques remain important today.
A map ๐ข โถ ๐๐ โ ๐๐ between Riemannian manifolds isharmonic if it is a critical point for the energy functional:
๐ธ(๐ข) = โซ๐|โ๐ข|2.
This is one of the most natural geometric variationalproblems. Taking ๐๐ = โ yields the special case of har-monic functions. Alternatively, taking ๐๐ = โ yields thespecial case of geodesics parametrized by a multiple ofarclength. Taking ๐๐ = โ2 yields the special case of niceparametrizations of minimal surfaces. See Figure 17. Har-monic maps have played an important role in geometry,topology, and mathematical physics.
The energy ๐ธ(๐ข) can be defined even when ๐ข isnot smooth; it suffices to have |โ๐ข|2 defined almosteverywhere and integrable. Thus, harmonic maps canbe defined weakly, and a central question becomes theregularity of aweak solution. Apoint ๐ฅ is said to be regularif there is a neighborhood ๐ต๐(๐ฅ) where ๐ข is smooth. Thesingular set ๐ฎ is the complement of the regular set; itis automatically closed by definition. Both geodesics andharmonic functions are necessarily smooth, but general
Figure 17. The standard map from ๐ = ๐2 into thehorizon at the neck of Schwarzschild space ๐3 is aharmonic map as well as minimal.
harmonic mapsโeven ones that minimize energyโcanhave singularities.
In 1948Morrey [M] showed that energy-minimizing har-monic maps from a surface๐must be Hรถlder continuousand therefore smooth as long as๐ and๐ are smooth. Forthe next thirty-five years, there were a number of resultsproving regularity for special classes of target manifolds๐. For example, in the 1964 paper [ES, EellsโSampson]proved the existence and regularity (smoothness) of har-monic maps when the target๐ has nonpositive curvature.Hamilton solved the corresponding Dirichlet problem formanifolds with boundary.
There have been a number of great subsequent resultson harmonic maps. Hardt [H] provides a nice survey.
Figure 18. Minicozzi and Schoen in 2018.
The Size of the Singular SetThe simplest example of a singular harmonic map is themap
๐ข โถ ๐3 = ๐ต(0, 1) โ โ3 โ ๐2
1358 Notices of the AMS Volume 65, Number 11
-
defined by๐ข(๐ฅ) = ๐ฅ|๐ฅ| .
This map minimizes energy for its boundary values (e.g.,among all maps that are the identity map when restrictedto ๐๐3 = ๐2). However it is clearly not continuous at theorigin. Since it is smooth everywhere else, the singular set๐ฎ is the single point {0}. Notice that
dim(๐ฎ) = 0 = 3โ 3 = dim(๐) โ 3,so we say ๐ฎ has codimension 3.
Schoen and Uhlenbeck showed that this is whathappens in general:Theorem 5 (SchoenโUhlenbeck). If ๐ข โถ ๐๐ โ ๐๐ is energyminimizing and ๐ธ(๐ข) is finite and if ๐ข(๐) is contained ina compact subset of ๐, then
dim(๐ฎ) โค ๐โ 3.If ๐ = 3, then ๐ฎ is discrete.
An immediate corollary of Theorem 5 is that ๐ข isentirely smooth when ๐ is a 2-dimensional surface. Thisspecial case was proven in 1948 by Morrey. Around thesame time as Schoen and Uhlenbeck, Giaquinta and Giustiproved the special case of Theorem 5 when the image of๐ข is contained within a coordinate chart.
One of the central tools developed by Schoen andUhlenbeck, and an absolutely fundamental result on itsown, was the following ๐-regularity theorem:Theorem 6. There exists ๐ > 0 so that if ๐ข โถ ๐๐ โ ๐๐ isenergy minimizing on the ball ๐ต(๐, ๐) โ ๐ for some ๐ โค 1and
๐2โ๐ โซ๐ต(๐,๐)
|โ๐ข|2 โค ๐,
then ๐ข is Hรถlder continuous on ๐ต(๐, ๐/2).Schoen and Uhlenbeck actually proved something
stronger than Theorem 6: there is a uniform Hรถlderbound that depends on ๐,๐, ๐, and ๐ (and, in particular,not on ๐ข). Once the map ๐ข is continuous then higherregularity theory shows that ๐ข is smooth [S].
The quantity they estimate in Theorem 6 is the scale-invariant energy:
๐2โ๐ โซ๐ต(๐,๐)
|โ๐ข|2 = โโซ๐ต(๐,๐)
|โ๐ข|2/๐2.
It is scale invariant in the sense that it does not change ifwe change ๐ข by dilating the domain.
It follows immediately from the ๐-regularity theoremthat each singular point ๐ has the property that
๐2โ๐ โซ๐ต(๐,๐)
|โ๐ข|2 > ๐ > 0
for ๐ arbitrarily small. When๐ = 2, it follows immediatelythat there are only finitely many singular points. Namely,any ball, no matter how small, about a singular pointcontains energy at least ๐ > 0, so the number of singularpoints is at most the energy of ๐ข divided by ๐.
In higher dimensions, Schoen and Uhlenback apply acovering argument to prove that
dim(๐ฎ) โค ๐โ 2 .
Improving the dimension bound for ๐ฎ to๐โ3 requiresa more detailed blowup analysis, using monotonicity andscaling and a version of the AlmgrenโFederer dimensionreduction argument of geometric measure theory. Energy-minimizing maps have the following crucial monotonicityproperty: the scale-invariant energy is nondecreasing as afunction of ๐:
๐2โ๐1 โซ๐ต(๐,๐1)
|โ๐ข|2 โค ๐2โ๐2 โซ๐ต(๐,๐2)
|โ๐ข|2 for ๐1 < ๐2.
This monotonicity fails for a general weakly harmonicmap, though it does hold for an important class ofharmonic maps called stationary harmonic maps.
Using the monotonicity, Schoen and Uhlenbeck showthat at each ๐ there exists a tangent map,
๐ข๐ โถ ๐ต(0, 1) โ ๐๐๐ = โ๐ โ ๐,
defined by blowing up about ๐:
๐ข๐(๐ฅ) = lim๐๐โ0๐ข(exp๐(๐๐๐ฅ)).
At a regular point ๐, the tangent map ๐ข๐ is trivial:
๐ข๐(๐ฅ) = lim๐๐โ0๐ข(๐) + ๐(โ๐ข,๐๐๐ฅ) = ๐ข(๐).
In the simplest example where ๐ข(๐ฅ) = ๐ฅ/|๐ฅ|, we see thatat ๐ = 0 the tangent map is
๐ข๐(๐ฅ) = lim๐๐โ0๐ข(๐๐๐ฅ) = lim๐๐โ0
๐๐๐ฅ|๐๐๐ฅ|
= ๐ข(๐ฅ).
In general the tangent map is also homogeneous,
๐ข๐(๐ฅ) = ๐ค๐(๐ฅ/|๐ฅ|),
and ๐ค๐ โถ ๐๐โ1 โ ๐๐ is harmonic.This gives a criterion for regularity:If there are no nontrivial harmonic maps from๐๐ to ๐ for every ๐ โค ๐ โ 1, then every energy-minimizing map from ๐ต(0, 1) โ โ๐ to ๐ must besmooth.
As a consequence there is a large class of target manifolds๐ where the harmonic maps are smooth, including, forinstance, ๐ with sectional curvature ๐พ โค 0, as proven inEellsโSampson.
Boundary Regularity and the Dirichlet ProblemThe Dirichlet problem is the search for a harmonic map๐ข โถ ๐ โ ๐ with prescribed values of ๐ข โถ ๐๐ โ ๐ on theboundary of๐. In the setting where๐ is an interval this isequivalent to the problem of finding a length-minimizinggeodesic between two points. When ๐ is a surface andthe energy is, thus, conformally invariant, the Dirichletproblem is closely related to the Plateau problem forminimal surfaces. See Figure 19.
The 1982 results of Schoen and Uhlenbeck [SU1] giveinterior regularity for the solution ๐ข but say nothingabout regularity along the boundary. In 1983 Schoen andUhlenbeck [SU2] proved complete boundary regularity forenergy-minimizing maps:
December 2018 Notices of the AMS 1359
-
Figure 19. A soap film is a solution to the Dirichletproblem of finding a conformal harmonic map withprescribed boundary.
Theorem 7 (SchoenโUhlenbeck). If๐ is compact with๐ถ2,๐ผboundary, ๐ข is energy minimizing (and ๐ธ(๐ข) < โ), theimage of ๐ข is in a compact subset of ๐, and the restrictionof ๐ข to ๐๐ is ๐ถ2,๐ผ, then ๐ข is ๐ถ2,๐ผ in a neighborhood of ๐๐.
One consequence is that ๐ฎ is a compact subset ofthe interior of ๐. The boundary regularity comes fromthe nonexistence of nontrivial smooth harmonic mapsfrom the hemisphere which map the boundary to a point.Boundary regularity for surfaces was proven by Morreyin his work on the Plateau problem for minimal surfaces[M].
Using these results, Schoen and Uhlenbeck solved theDirichlet problem.
Theorem 8 (SchoenโUhlenbeck). Let ๐ be compact with๐ถ2,๐ผ boundary as in Theorem 7 and suppose that ๐๐ = โ .If ๐ฃ โถ ๐ โ ๐ has
โซ|๐ฃ|2 + |โ๐ฃ|2 < โ
and the restriction of ๐ฃ to ๐๐ is ๐ถ2,๐ผ, then there is anenergy-minimizing harmonic map ๐ข โถ ๐ โ ๐ that equals๐ฃ on ๐๐. The singular set ๐ฎ for ๐ข is a compact subset ofthe interior of ๐ and
dim(๐ฎ) โค dim(๐) โ 3.
Figure 20. Schoenโs students Andrรฉ Neves and BillMinicozzi discussing mathematics as his long-timecolleague, Brian White, listens at Stanford in 2018.
References[ES] J. Eells and J. Sampson, Harmonic mappings of Riemannian
manifolds, Amer. J. Math. 86 (1964), 109โ160 MR0164306.[H] R. Hardt, Singularities of harmonic maps, Bull. Amer. Math.
Soc. (N.S.) 34 (1997), no. 1, 15โ34. MR1397098[M] C. Morrey, The problem of Plateau on a Riemannian
manifold, Ann. of Math. (2) 49 (1948), 807โ851. MR0027137[S] R. Schoen, Analytic aspects of the harmonic map problem.
Seminar on nonlinear partial differential equations, MSRI Publ.,2, Springer, New York-Berlin, 1984, pp.321โ358. MR0765241
[SU1] R. Schoen and K. Uhlenbeck, A regularity theory for har-monic maps, J. Differential Geom. 17 (1982), no. 2, 307โ335.MR0664498
[SU2] R. Schoen and K. Uhlenbeck, Boundary regularity and theDirichlet problem for harmonic maps. J. Differential Geom. 18(1983), no. 2, 253โ268. MR0710054
Figure 21. Rick Schoen with his doctoral studentYng-Ing Lee and her doctoral students in 2015.
1360 Notices of the AMS Volume 65, Number 11
http://www.ams.org/mathscinet-getitem?mr=1397098cavRectangle
http://www.ams.org/mathscinet-getitem?mr=0027137cavRectangle
http://www.ams.org/mathscinet-getitem?mr=0765241cavRectangle
http://www.ams.org/mathscinet-getitem?mr=0664498cavRectangle
http://www.ams.org/mathscinet-getitem?mr=0710054cavRectangle
http://www.ams.org/mathscinet-getitem?mr=0164306cavRectangle
-
Karen UhlenbeckWorking with Rick SchoenThe academic year 1979โ80 at the Institute for AdvancedStudy in Princeton was a special year in differentialgeometry organized by S.-T. Yau. This year was indeedspecial for most of the participants, who met over along period of time with their colleagues. They learnedboth classic and new open problems and a new set oftechniques to apply to them. This period was a floweringof many methods of using nonlinear partial differentialequations to approach problems in topology, differentialgeometry, and algebraic geometry. S.-T. Yau was a leaderand driving force at this time. We all got to know eachother, talk mathematics, and incidentally play volleyballand establish an eating co-op. Rick and I were both inresidence for the year.
Figure 22. Schoen at IAS in 1979, where he firstbegan working with Uhlenbeck on regularity usingmonotonicity.
I had since my student days been interested in min-imization problems for maps between manifolds, andRick brought to our collaboration a knowledge of min-imal surface theory. Together we had a good workingknowledge of nonlinear elliptic PDE. We did not start outwith a deliberate goal of understanding harmonic maps,although we had seminars on them during the year. Therewere two background references we were both well aware
Karen Uhlenbeck is professor emerita at the University of Texas atAustin and visitor at the Institute for Advanced Study in Princeton.Her email address is [email protected].
of. A step in the construction of minimal surfaces inmanifolds was the solution of the Dirichlet problem forharmonic maps of domains of the plane into arbitrarymanifolds. Morreyโs regularity theorem for minimizingthe energy integral showed that the minimum of energy,which is by construction almost continuous, must lie in aHรถlder space. We had both already used harmonic mapsfrom surfaces to find minimal surfaces in manifolds. Analready classic paper by Eells and Sampson from the1960s discussed maps from an arbitrary dimensionalspace into manifolds of negative curvature, but their heatflow technique shed little light on harmonic maps into ar-bitrary manifolds from spaces of dimension greater thantwo. The standard regularity theorems only applied onceone had a continuous solution, and direct minimizationyields maps with only one derivative in ๐ฟ2.
Figure 23. Uhlenbeck with her husband, themathematician Bob Williams, in 2017.
At the very end of the year, Rick and I had an โahamomentโ and our collaboration took off. We realizedtwo things. First, the monotonicity formula for harmonicmaps, which comes from variations by diffeomorphismsof the basemanifold, showed that theminimawere almostcontinuous. Minima lie in aMorrey or Besov space. Second,on balls of small energy, we could construct a comparisonfunction to improve the estimate by smoothing out theboundary values a bit using mollifiers. So we got amodification of the classic theorem of Morrey to push usover into stronger estimates implying Hรถlder continuity.By covering and counting, we could show that the energyminimizer was smooth on the complement of a set ofHausdorff codimension 2.
In our papers, the monotonicity formula was the basisfor all our arguments. We called it the scaling inequality,which is just as good a term, but not one that becameaccepted. I wonder today that neither Rick nor I nor thereferee realized the accepted name for our basic estimate.
We also had a disagreement as to how to make theestimates. I wanted to construct a comparison minimizer,while Rick used the EulerโLagrange equations and har-monic functions into the ambient manifold. He won, asin the later steps we did not assume minimization.
This was a great starting point. Later on, work of Tianet al. on YangโMills and work of Chang and Yang on
December 2018 Notices of the AMS 1361
-
Figure 24. Uhlenbeck at the Institute for AdvancedStudy in 1995.
biharmonic maps between manifolds showed a similarresult, but it is technically tricky to carry the result furtherin those cases.
During the next year, via long distance, we were ableto refine this result. By letting the rescaling go to zero,one can easily construct a tangent map from ๐๐โ1 tothe image manifold, which has similar properties. Indimension 3, the tangent maps from ๐2 to ๐ are smooth,and approximation of the map by a tangent map showsthe singular set in ๐ consists of isolated points. Rickknew of a dimension-reducing argument of Federer ingeometric measure theory. I was very anxious aboutthis result but trusted Rickโs confidence. The final resultwas that the singular set was of finite codimension-3Hausdorff measure. We wrote two additional papers onDirichlet boundary values and minimizing maps betweenspheres. I had become interested in the reduction ofharmonic maps to ordinary differential equations usingextra symmetry, and so I was pleased to be able to includethese.
It was a pleasure toworkwith Rick. He brought valuablebackground information and consistent enthusiasm toour collaboration. The following image has stayed withme. Rick was until very recently a baseball player whoplayed regularly. I have always thought that he broughthis consistent practice of mathematics, insistence oncarrying out the game to the end, and a real team spiritfrom baseball into mathematics.
Figure 25. Uhlenbeck writes that Schoen brought โareal team spirit from baseball into mathematicsโalways โcarrying out the game to the end.โ
Rob KusnerClassical Minimal SurfacesFollowing his work with Yau on the existence of in-compressible minimal surfaces and the topology of3-manifolds of positive scalar curvature and their break-through proof of the positive mass theorem in generalrelativity, Rick Schoen turned his attention to questionsabout classical minimal surfaces in โ3.
The simplest complete minimal surface in โ3 is theplane, and early in the twentieth century S. Bernsteincharacterized it as the only entire minimal graph. Thegeneralizationof this tohigherdimensionsbecameknownas the Bernstein problem, which drove much work in thefield, culminating in the1968Annals of Mathematicspaperby Jim Simons and further explored in Rickโs 1975 debutpaper in Acta Mathematica with Leon Simon and Yau.Minimal graphs are stableโin fact, area-minimizingโhypersurfaces. Both papers make use of the stabilityinequality from the second variation formula to boundthe second fundamental form, leading to the solutionof the Bernstein problem and to the regularity of suchhypersurfaces (off a singular set of high codimension).
Even in โ3 itโs natural to ask whether the plane isthe only complete stable surface. Schoen proved thiswith Doris Fischer-Colbrie in 1980 as a corollary to theirresults on complete stable surfaces in 3-manifolds ofnonnegative scalar curvature [2]. A short proof of thisgeneralizedBernstein theoremwasalsogivenbyManfredodo Carmo and C. K. Peng around the same time.
Another classical minimal surface problem concernsthe uniqueness of the catenoid (see Figure 26). It canbe motivated by a simple experiment. Imagine dippinga pair of rings into a soap solution. If the rings are
Rob Kusner is professor of mathematics at UMass Amherst. Hisemail address is [email protected].
1362 Notices of the AMS Volume 65, Number 11
-
Figure 26. A catenoid is the only minimal surface ofrevolution (up to scaling and besides the plane).
close enough, they bound a connected least-area surface,a soap film, that is an embedded annulus (if the ringswere linked, this annulus would be embedded with a fulltwist). In 1956 Max Shiffman proved a remarkable factabout thisminimal annulus in case the boundary rings areperfectly round circles that lie in parallel planes: all theintermediate parallel planes must also meet the minimalannulus in round circles! Thismeans the resultingminimalannulus must either be part of a catenoid (in the specialcase where the boundary circles are coaxial) or be part ofa Riemann staircase (Figure 27).
Figure 27. A Riemann staircase is a minimal surfacefoliated by round circles and straight lines (thesecome in a 1-parameter family, up to scaling).
More generally, if the boundary is a pair of con-vex curves in parallel planes, then Shiffman proved anyminimal annulus bounded by them is still foliated by con-vex curves of intersection with the intermediate parallelplanes.
Could there be another nonannular compact, connectedminimal surface spanning a pair of convex curves in par-allel planes?
Surprisingly, this remains an open problem, yetโinthe spirit of the slogan โAs all physicists know, and somemathematicians believeโฆโโthe answer is conjectured (byBill Meeks) to be โNo.โ
The first answers in this direction were providedby Schoen in [4] in 1983. Applying the strong maximumprincipleofEberhardHopfandA.D.Alexandrovโs โmovingplanesโ reflection method, Schoen proved that any suchminimal surface inherits the reflection symmetries ofits boundary in the following sense: if the fundamentalpieces of the boundary are โgraphicalโ over the reflectionplanes, then so are the surface pieces. In particular, ifthere is a pair of orthogonal mirror planes carrying eachsuch boundary curve into itself, then the minimal surfaceis necessarily annular (genus 0). See Figure 28.
Figure 28. The connected minimal surface whoseboundary is a pair of squares lying in parallel planesmust be an annulus (genus 0).
Even for nonconvex boundary curves like the one inFigure 29 one can still get this graphical property for themirror symmetric pieces of the surface as long as theboundary itself is composed of graphical pieces over thecorresponding reflection plane, as in Figures 30โ31, butin that case the surface could indeed have higher genus.
Figure 29. Connected minimal surfaces with thesenonconvex boundaries are depicted in Figures 30โ31.
December 2018 Notices of the AMS 1363
-
Figure 30. This connected minimal surface is anannulus (genus 0), which is a twice-punctured sphere.
Figure 31. This connected minimal surface is atwice-punctured torus (genus 1).
Schoen then considered the case of complete minimalsurfaces without boundary; topological and geometricconditions on ends of the surface stand in for theboundary conditions. He introduced the notion of regularat infinity, meaning that each end of the minimal surfacecan be expressed as a graph having the asymptoticexpansion (with respect to suitable coordinates ๐ฅ,๐ฆ, ๐ง forโ3, with ๐ฅ2 +๐ฆ2 = ๐2)
๐ง(๐ฅ,๐ฆ) = ๐ log๐ + ๐๐ฅ+ ๐๐ฆ๐2 +๐(1๐2 ).
Physically, the logarithmic growth ๐ corresponds to thestrength of the overall soap film surface-tension forcepulling at that end; if it is nonzero, that end is asymptoticto a catenoid scaled proportionally to ๐ and is called acatenoidal end.
Using force balancing to align the ends and applyingthe Alexandrov reflection method, Schoen proved thefollowing uniqueness theorem:
Theorem 9 (Schoenโs Uniqueness Theorem [4]). The onlycomplete, connected minimal surface in โ3 with 2 ends,each regular at infinity, is the catenoid.
Adecade later, Pascal Collin removed Schoenโs โregular-ity at infinityโ hypothesis. Meanwhile Korevaar, Solomon,and the author [3] proved the soap bubble analogue of thistheorem: a complete, finite topology surface with 2 ends,properly embedded in โ3 with constant mean curvature,must be a Delaunay unduloid (as in Figure 32).
Figure 32. Korevaar, Kusner, and Solomon proved thesoap bubble analogue of Schoenโs soap filmuniqueness theorem: a complete, finite topologysurface with 2 ends, properly embedded in โ3 withconstant mean curvature, must be a Delaunayunduloid [3].
To get a sense of the amazing progressโthe discoveryof new examples and development of new methodsโsince 1983, note that Rick [4] remarked, โWhile there area number of examples of finite total curvature surfacesknown, some being regular at infinity, it is not knownwhether an embedded example exists besides the catenoidand the plane.โ Within a year, Celso Costa had mootedthis, constructing the first example of such a minimalsurface in more than two centuries!
The situation for infinite topology minimal surfaces inโ3 ismuchmore complicated. There are1-endedexampleslike the singlyperiodic Scherkminimal surfaces (Figure33)and the triply periodic Schwarz minimal surfaces ofinfinite genus. The latter can be constructed by rotatingthe โrectangular catenoidโ in Figure 28 by a half-turnabout each boundary edge. Both these examples comein families: changing the angle between the โwingsโ ofthe Scherk surfaces gives a 1-parameter family, whilechanging the edge ratio and separation of the rectanglesgives a 2-parameter family of Schwarz surfaces.
For more than two ends, there are subtle topologicalobstructions discovered by Collin, Meeks, Rosenberg, andthe author [1]: a complete, properly embedded minimalsurface in โ3 can have only countably many ends (like the
1364 Notices of the AMS Volume 65, Number 11
-
Figure 33. Infinite topology minimal surfaces includethe singly periodic Scherk surfaces. These come in a1-parameter family (up to scaling) determined by theangle between โwingsโ of the surface. We see adoubled plane or (suitably rescaled) catenoid in thelimit as the angle tends to zero.
Riemann staircase in Figure 27, which has two limit endsand countably many middle ends).
Although Schoenโs uniqueness theorem characterizesthe catenoid topologically, itโs also interesting to considera coarser, measure-theoretic characterization, in terms ofthe density at infinity:
lim๐ โโ
๐ด๐๐๐(ฮฃ โฉ ๐ต(0,๐ ))๐๐ 2 ,
where ฮฃ is the minimal surface and ๐ต(0,๐ ) is a ball ofradius ๐ in the ambient space.
Each end of a minimal surface that is regular at infinityhas density 1 at infinity, and so the catenoid has density2 at infinity. By monotonicity of area density, it can beseen that any minimal surface (besides a pair of planes)in โ3 with density 2 at infinity must be embedded.
Are there any other minimal surfaces with density 2at infinity besides the catenoid? There are! Indeed, the1-parameter family of singly periodic Scherk surfaces(see Figure 33) also do, and the catenoid appears (uponsuitable rescaling) in the limit as the โwingโ angle tendsto zero. Itโs conjectured that these are the only examples:
Conjecture 10. The catenoid and the family of singly pe-riodic Scherk surfaces are the only complete, connected,embeddedminimal surfaces inโ3 with density 2 at infinity.
Itโs not clear who should be credited with this con-jecture or even whether it is true. It first came up ina lunchtime conversation between Rick and meโtheyoungest of Rickโs students from UC Berkeleyโafter wehad all moved to UC San Diego for a few years in themid-1980s. I recall Rick being characteristically agnosticbut aware of the key issues, as if heโd thought about it forsome time, and ready to share his insights with whomeverhe thought would have a good chance of solving the prob-lem. Most of our interactions were like that, whether an
Figure 34. Kusner blowing an unduloidal soap bubble(at the end of the straw) in 2003.
hour-long phone call or a detailed handwritten letter (so1980s, long before email), dropping by his office or outfor a long lunch (preferably outdoorsโso California, sonot Massachusetts), on the volleyball or basketball court.Rick always treated me like a peer, letting me wanderand find my own way, or occasionally like a teammate,providing gentle teasing which urges you to improve andsimultaneously says he thinks youโre tough enough totake it. No wonder Rick has had so many students. Iโmgrateful to be among them.
Websites with Graphics:GANG: www.gang.umass.eduMatthiasWeber: www.indiana.edu/~minimal/archive/GeometrieWerkstatt: service.ifam.uni-hannover.de/~geometriewerkstatt/gallery/
References[1] Pascal Collin, Robert Kusner, William H. Meeks, and
Harold Rosenberg, The topology, geometry and confor-mal structure of properly embedded minimal surfaces,J. Differential Geom 67, (2004), 377โ393. MR2153082
December 2018 Notices of the AMS 1365
http://www.gang.umass.educavRectangle
http://www.indiana.edu/~minimal/archive/cavRectangle
http://service.ifam.uni-hannover.de/~geometriewerkstatt/gallery/http://service.ifam.uni-hannover.de/~geometriewerkstatt/gallery/cavRectangle
cavRectangle
http://www.ams.org/mathscinet-getitem?mr=2153082cavRectangle
-
[2] Doris Fischer-Colbrie and Richard Schoen, The structureof complete stable minimal surfaces in 3-manifolds of non-negative scalar curvature, Comm. Pure Appl. Math., 33 (1980),199โ211. MR0562550
[3] Nicholas J. Korevaar, Rob Kusner, and Bruce Solomon,The structure of complete embedded surfaces with constantmean curvature, J. Differential Geom. 30, (1989), 465โ503.MR1010168
[4] Richard M. Schoen, Uniqueness, symmetry, and embedded-ness of minimal surfaces. J. Differential Geom. 18 (1983),791โ809. MR0730928
Fernando Codรก MarquesThe Yamabe ProblemIn 1984 Richard Schoen [3] solved the remaining casesof the famous Yamabe problem with the introduction ofa remarkable idea. The Yamabe problem is the questionof whether any given compact Riemannian manifold(๐๐, ๐) admits a conformal metric ฬ๐ with constant scalarcurvature. In two dimensions the answer is affirmativedue to the uniformization theorem. In high dimensionsthe problem was proposed in 1960 by Yamabe [4], whomistakenly thought he had found a solution. Trudinger(1968) pointed out the error and fixed it when the scalarcurvature is nonpositive. The case when ๐ โฅ 6 and themanifold is not locally conformally flat was proven inimportantwork of Aubin (1976). Schoen finished the caseswhen ๐ = 3, 4, or 5 or when ๐ is locally conformally flatin any dimension by discovering a surprising connectionwith the positive mass theorem of general relativity. Werefer the reader to Lee and Parker [2] for a completeaccount of this history.
For ๐ โฅ 3, the Yamabe Problem is equivalent to findinga positive solution ๐ข โ ๐ถโ(๐) of the nonlinear ellipticpartial differential equation
(1) ฮ๐๐ขโ ๐(๐)๐ ๐๐ข+ ๐(๐)๐๐ข๐+2๐โ2 = 0,
where ฮ๐ is the Laplace operator of ๐, ๐ ๐ is the scalarcurvature of ๐,
๐(๐) = (๐โ2)4(๐โ1) ,and ๐ โ โ. Any positive solution ๐ข gives rise to aconformal metric
ฬ๐ = ๐ข 4๐โ2 ๐with constant scalar curvature ๐ ฬ๐ = ๐.
This is in fact a variational problem. One can associateto every metric ฬ๐ = ๐ข 4๐โ2 ๐ in the conformal class [๐] of ๐the EinsteinโHilbert action:
โ( ฬ๐) = ๐(๐) โซ๐ ๐ ฬ๐๐๐ฃ ฬ๐(โซ๐ ๐๐ฃ ฬ๐)๐โ2๐
.
Applying (1) and integrating by parts, we see that theEinsteinโHilbert action can also be written as
โ( ฬ๐) = โซ๐(|โ๐๐ข|2 + ๐(๐)๐ ๐๐ข2)๐๐ฃ๐
(โซ๐ ๐ข2๐๐โ2 ๐๐ฃ๐) ๐โ2๐
.
Fernando Codรก Marques is professor of mathematics at PrincetonUniversity. His email address is [email protected].
Figure 35. Schoen solved the Yamabe problem bydiscovering a surprising connection with the positivemass theorem.
This functional is clearly bounded from below. A metricฬ๐ is a critical point of โ restricted to the conformal class
[๐] if and only if ฬ๐ has constant scalar curvature.The Yamabe problem is hard because the equation
(1) has a critical exponent for the Sobolev embeddings.The Sobolev space ๐1,2(๐) is continuously embedded in๐ฟ 2๐๐โ2 (๐) and is compactly embedded in ๐ฟ๐(๐) for every
1 โค ๐ < 2๐๐โ 2 but not for ๐ =2๐
๐โ 2.
For this reason the direct method of the calculus ofvariations,which tries to extract a limit outof aminimizingsequence of the functional, is doomed to fail.
The difficulty can also be explained on the geometricside. If ฬ๐ denotes the round metric on ๐๐, then ๐โ( ฬ๐)has constant scalar curvature equal to ๐(๐ โ 1) for anydiffeomorphism๐ of the sphere. If๐ is a conformal map,then
๐โ( ฬ๐) = ๐ข4
๐โ2๐ ฬ๐for some positive solution ๐ข๐ of the Yamabe equation (1)with ๐ = ฬ๐ and ๐ = ๐(๐ โ 1). It is also possible to provethat ๐ข๐ is a minimizer of โ. The group
๐ถ๐๐๐(๐๐, ฬ๐)of conformal diffeomorphisms of the round sphere isnoncompact, and in fact for any given ๐ โ ๐๐ one can
1366 Notices of the AMS Volume 65, Number 11
http://www.ams.org/mathscinet-getitem?mr=0562550cavRectangle
http://www.ams.org/mathscinet-getitem?mr=1010168cavRectangle
http://www.ams.org/mathscinet-getitem?mr=0730928cavRectangle
-
Figure 36. Schoen with his academic grandson,Fernando Codรก Marques.
choose a sequence๐๐ โ ๐ถ๐๐๐(๐๐, ฬ๐)
such that the corresponding functions๐ข๐๐ โ 0
in compact subsets of ๐๐\{๐}, while(2) sup
๐ต๐(๐)๐ข๐๐ โ โ
as ๐ โ โ for any ๐ > 0. When condition (2) holds for somesequence of solutions ๐ข๐ we say ๐ข๐ blows up at ๐.
The usual approach to the Yamabe problem consistsof first finding a positive solution ๐ข๐ to the subcriticalequation
ฮ๐๐ขโ ๐(๐)๐ ๐๐ข+ ๐(๐)๐๐ข๐ = 0,with
๐ < ๐+ 2๐โ 2,which can be done by minimizing the correspondingfunctional and then studying the convergence of ๐ข๐ as
๐ โ ๐+ 2๐โ 2.
The Yamabe quotient of (๐,๐), defined to be theconformal invariant
๐(๐,๐) = inf{โ( ฬ๐) โถ ฬ๐ โ [๐]},plays a key role. Note that
๐(๐,๐) = inf๐ขโ๐ถโ(๐)
โซ๐(|โ๐๐ข|2 + ๐(๐)๐ ๐๐ข2)๐๐ฃ๐(โซ๐ ๐ข
2๐๐โ2 ๐๐ฃ๐) ๐โ2๐
.
One always has๐(๐,๐) โค ๐(๐๐, ฬ๐),
as canbeseenbychoosingappropriate local test functions,and when the strict inequality
๐(๐,๐) < ๐(๐๐, ฬ๐)holds, the subcritical solutions ๐ข๐ converge to a solution๐ข of (1). Hence in order to solve the Yamabe problem itsuffices to prove that
๐(๐,๐) < ๐(๐๐, ฬ๐)holds for any (๐,๐) that is not conformally equivalent tothe round sphere. If ๐ โฅ 6 and the manifold is not locallyconformally flat, Aubin proved the strict inequality byconstructing local test functions supported near a pointwhere the Weyl tensor is nonzero.
The cases when ๐ = 3, 4, 5 or when ๐ is locally con-formally flat in any dimension are more difficult becausethey require the construction of a global test function.The key insight of Schoen was to realize that the testfunction would have to be Greenโs function ๐บ๐ of theconformal Laplacian
๐ฟ๐ = ฮ๐ โ ๐(๐)๐ ๐smoothed out near its singularity ๐. One can supposescalar curvature is positive, ๐ ๐ > 0, in which case Greenโsfunction is also positive. Since
๐ฟ๐๐บ๐ = 0 outside ๐,the conformal metric
ฬ๐ = ๐บ4
๐โ2๐ ๐has zero scalar curvature. The fact that, near ๐,
๐บ๐(๐ฅ) = ๐(๐ฅ, ๐)2โ๐ + lower order termsalso implies that the metric ฬ๐ is asymptotically flat. SeeFigure 37.
Figure 37. The main idea in Schoenโs solution of theYamabe problem is to invoke an asymptotically flatmanifold obtained by blowing up the originalmanifold at a point. On the left is (๐,๐) with thepoint ๐, and on the right is the blow-up, (๐โ {๐}, ฬ๐),with an asymptotically flat end.
The mass ๐ of ฬ๐, as in the positive mass theorem,magically comes into play, and the strict inequality
๐(๐,๐) < ๐(๐๐, ฬ๐)becomes a consequence of the positivity of ๐. Theassertion that ๐ > 0 unless ฬ๐ is flat is the positive masstheorem.
In 1988, Schoen raised the question of whether thefull set of solutions to equation (1) is compact in the ๐ถ๐topology (for any ๐) when the manifold is not conformally
December 2018 Notices of the AMS 1367
-
Figure 38. Fernando Codรก Marques with his doctoraladvisor, Josรฉ Escobar, in 2003. Escobar completed hisdoctorate with Schoen in 1986 and is known in partfor his work on the Yamabe problem with boundary.
equivalent to the standard sphere. This is basically a prob-lem of establishing a priori estimates for the solutions.Schoen was motivated by a potential use of the Pohozaevidentity and the positive mass theorem as obstructionsto the blow-up phenomenon. The a priori estimates pre-dicted that the Weyl tensor and its derivatives to order[(๐ โ 6)/2] should vanish at a blow-up point.
The a priori estimates were obtained much later for๐ โค 24 in a paper [1] I wrote with Khuri and Schoen.They were known to hold for ๐ โค 7 (Druet, Y.Y Li, L.Zhang, Marques) and turned out to be false for ๐ โฅ 25(Brendle, BrendleโMarques). In 2009, Khuri, Schoen, andI [1] discovered that the Pohozaev identity leads to acertain quadratic form (there is one for every dimension๐) that is positive definite if ๐ โค 24 (it is not in higherdimensions), in which case we succeeded in proving theWeyl vanishing and the a priori estimates.
On a Personal NoteI had the privilege of learning directly from Rick duringthe academic year 2005โ2006, when I visited StanfordUniversity. It was a transformative experience in mycareer. I am indebted to him for having helped shape myvision of mathematics.
References[1] M. A. Khuri, F. C. Marques, and R. M. Schoen, A compact-
ness theorem for the Yamabe problem, J. Differential Geom.81 (2009), no. 1, 143โ196. MR2477893
[2] John M. Lee and Thomas H. Parker, The Yamabe prob-lem, Bull. Amer. Math. Soc. (N.S.) 17 (1987), no. 1, 37โ91.MR0888880
[3] Richard Schoen, Conformal deformation of a Riemannianmetric to constant scalar curvature, J. Differential Geom. 20(1984), no. 2, 479โ495. MR0788292
[4] Hidehiko Yamabe, On a deformation of Riemannian struc-tures on compact manifolds, Osaka Math. J. 12 (1960), 21โ37.MR0125546
Figure 39. In addition to his important joint workwith Schoen and Khuri on the Yamabe problem, CodรกMarques is also famous for solving the Willmoreconjecture with Andrรฉ Neves.
Chikako MeseHarmonic Maps in Singular Geometry andRigidityRick Schoen opened up a new frontier in geometric analy-sis by introducing harmonic maps in the singular settingthrough the series of papers [GS], [KS1], [KS2] writtenin collaboration with M. Gromov and N. Korevaar. Morespecifically, Rick initiated the study of harmonic mapsinto nonpositively curved metric spaces (NPC spaces)and introduced new techniques that were used to settleoutstanding questions in rigidity problems. Here we willdescribe this work and further applications.
One of the main applications of harmonic maps isin geometric rigidity. Let ๐ be a compact or a finitevolume Riemannian manifold with universal cover ๏ฟฝฬ๏ฟฝ, andlet ๐ โถ ๐1(๐) โ Isom(๐) be a homomorphism from thefundamental group of ๐ into the group of isometries ofa contractible metric space ๐. We say this setup is rigidif there exists a totally geodesic map ๐ข โถ ๏ฟฝฬ๏ฟฝ โ ๐ that is๐-equivariant:
๐ข(๐พ(๐ฅ)) = ๐(๐พ)(๐ข(๐ฅ)), โ๐พ โ ฮ, โ๐ฅ โ ๏ฟฝฬ๏ฟฝ.
Some of the most influential rigidity results concernspecial cases of this setup. In the original Mostow rigiditytheorem, ๏ฟฝฬ๏ฟฝ and ๐ are both ๐-dimensional hyperbolicmanifolds with ๐ โฅ 3, and ๐ is a discrete, faithful, andco-compact isometric action. Mostow also generalizedthis result by considering cases when ๏ฟฝฬ๏ฟฝ = ๐บ/๐พ and๐ are other symmetric spaces. The celebrated Margulissuperrigidity further extendedMostowโs work by allowing
Chikako Mese is professor of mathematics at Johns HopkinsUniversity. Her email address is [email protected].
1368 Notices of the AMS Volume 65, Number 11
http://www.ams.org/mathscinet-getitem?mr=2477893cavRectangle
http://www.ams.org/mathscinet-getitem?mr=0888880cavRectangle
http://www.ams.org/mathscinet-getitem?mr=0788292cavRectangle
http://www.ams.org/mathscinet-getitem?mr=0125546cavRectangle
-
for a more general homomorphism ๐ and established thearithmeticity of lattices ฮ in groups ๐บ when
rank(๐บ/๐พ) โฅ 2.The rank is the dimension of the maximal Euclideanspace that can be isometrically embedded in ๏ฟฝฬ๏ฟฝ = ๐บ/๐พ.Margulis also proved the higher rank non-Archimedeansuperrigidity by considering lattices in ๐-adic groupswhich, unlike their Archimedean counterpart, do notact on smooth Riemannian manifolds but instead acton BruhatโTitsโ Euclidean buildings. Euclidean buildingsform an important class of NPC spaces, which we definein the next paragraph.
Figure 40. A geodesic space ๐ is an NPC space ifevery geodesic triangle in ๐ is thinner than acomparison geodesic triangle in the Euclidean plane๐ผ2.
A complete metric space (๐,๐) is a geodesic space ifevery pair of points ๐,๐ โ ๐ is joined by a geodesic whoselength is thedistancebetween thepoints. Ageodesic space(๐,๐) is an NPC space if it also has nonpositive curvaturein the sense of triangle comparison: a geodesic trianglein ๐ with vertices ๐,๐, ๐ is thinner than a comparisongeodesic triangle in Euclidean 2-plane ๐ผ2 (as in Figure 40).More precisely, if ฬ๐, ฬ๐, ฬ๐ โ ๐ผ2 are such that๐(๐, ๐) = | ฬ๐ โ ฬ๐|, ๐(๐, ๐) = | ฬ๐ โ ฬ๐|, ๐(๐, ๐) = | ฬ๐ โ ฬ๐|,
then๐(๐๐ก, ๐) โค |((1 โ ๐ก) ฬ๐ + ๐ก ฬ๐) โ ฬ๐|,
where ๐ก โฆ ๐๐ก for ๐ก โ [0, 1] is the constant speed parame-terization of the geodesic from ๐ to ๐. The study of NPCspaces (more generally, spaces with curvature boundedfrom above by ๐ known as CAT(๐ ) spaces) was initiatedby the foundational work of A. D. Alexandrov and furtherbrought to prominence by Gromov.
Hadamard manifolds (complete and simply connectedRiemannianmanifolds with sectional curvatures boundedfrom above by 0) are examples of NPC spaces. A simpleexample of an NPC space that is not a manifold is a tripod๐ that is the union of three copies of the interval [0,โ)identified at zero, as in Figure 41. The distance betweentwo points ๐ and ๐ lying in different copies of [0,โ) isdefined to be ๐ + ๐. Note that any pair of points in ๐ iscontained in a totally geodesic isometric embedding of โinto ๐.
An ๐-dimensional Euclidean building ๐ is a morecomplicated example of an NPC space, but one can thinkof such buildings as higher-dimensional versions of the
Figure 41. The tripod, ๐, is an example of an NPCspace that is not a manifold.
tripod in the sense that these metric spaces have theproperty that any two points ๐,๐ โ ๐ are contained in animage of a totally geodesic and isometric embedding of ๐ผ๐in ๐. However, not all NPC spaces have this property.Other important examples come from different areasof mathematics, such as geometric group theory andTeichmรผller theory. For example, hyperbolic buildingsarise in the study of hyperbolic groups of Gromov, andthe WeilโPetersson completion of a Teichmรผller space ofa surface of genus โฅ 2 is an NPC space.
Korevaar and Schoen [KS1], [KS2] consider maps ๐ข โถ๐ โ ๐ from an ๐-dimensional Riemannian manifold, ๐,to an NPC space, ๐. For simplicity, we will let ๐ be acompact Lipschitz domain in Euclidean space. To defineenergy, consider the square of the difference quotient at apoint ๐ฅ โ ๐ and integrate it over unit vectors ๐ to definean ๐-approximate energy density function
๐๐(๐ฅ) = โซ๐๐โ1
(๐(๐ข(๐ฅ), ๐ข(๐ฅ + ๐๐))๐ )2๐๐(๐).
When themeasures ๐๐(๐ฅ)๐๐ฅhave uniformly bounded totalmass then they converge weakly as ๐ โ 0 to a measureof the form ๐(๐ฅ)๐๐ฅ where |โ๐ข|2 โถ= ๐(๐ฅ) is an integrablefunction. We define the energy functional by setting
๐ธ(๐ข) = โซ๐|โ๐ข|2๐๐ฅ.
In this way, one can define the Sobolev space ๐1,2(๐,๐)(and in a similar way, ๐1,๐(๐,๐) for ๐ > 1 and ๐ต๐(๐,๐)for ๐ = 1) and the notion of energy-minimizing maps.
GromovโSchoen and KorevaarโSchoen proved the ex-istence of energy-minimizing maps for the Dirichlet
December 2018 Notices of the AMS 1369
-
problem and certain equivariant problems. Of partic-ular importance to rigidity is that energy-minimizingmaps are essentially unique (e.g., a ๐-equivariant energy-minimizing map is unique if ๐ is negatively curved butmay only be unique up to parallel translation along a flatsubspace generally).
The uniqueness follows fromquadrilateral comparisoninequality (a special case of Reshetnyakโs theorem):
๐2(๐๐,๐ ,๐๐,๐) โค 12๐2(๐, ๐) + 12๐2(๐, ๐ )โ 14(๐(๐, ๐ ) โ ๐(๐, ๐))2
for the ordered sequence {๐, ๐, ๐, ๐ } โ ๐ where ๐๐ฅ,๐ฆ isthe midpoint between ๐ฅ and ๐ฆ. See Figure 42.
Figure 42. A quadrilateral comparison impliesuniqueness for energy-minimizing maps.
This in turn implies the convexity of the energyfunctional:
โซ|โ(๐ข+ ๐ฃ2 )|2๐๐ฅ โค 12 โซ |โ๐ข|
2๐๐ฅ+ 12 โซ |โ๐ฃ|2๐๐ฅ
โ 14 โซ |โ๐(๐ข,๐ฃ)|2๐๐ฅ,
where ๐ข,๐ฃ โ ๐1,2(๐,๐) and(๐ข+๐ฃ2 ) (๐ฅ) = ๐๐ข(๐ฅ),๐ฃ(๐ฆ).
Note that if ๐ข and ๐ฃ are energy minimizing, then the map๐ข+๐ฃ2 is also energy minimizing and ๐(๐ข,๐ฃ) is a constant.The uniqueness of energy-minimizing maps suggests
that if one wants to prove rigidity, then the first stepshould be to find a ๐-equivariant energy-minimizingmap and then try to prove that it is totally geodesic.(This idea is mentioned in Yauโs contribution to thisarticle as the motivating source for his work with Schoenon harmonic maps.) Indeed, building upon the workof Y.-T. Siu and K. Corlette, Gromov and Schoen usedharmonic maps in the singular setting to study the ๐-adiccase of the superrigidity problem and established non-Archimedean superrigidity and consequent arithmeticityfor lattices of certain rank-1 groups. A crucial issue in thisapplication is to understand the regularity and singularityof harmonic maps. Natural questions that arise are: Underwhat conditions are harmonic maps regular? If they arenot regular, what can we say about the structure of thesingular set?
Korevaar and Schoen proved the following regularitytheorem:
Theorem 11. An energy-minimizing map ๐ข โถ (ฮฉ,๐) โ(๐,๐) from a Lipschitz Riemannian domain into an NPCspace is locally Lipschitz continuous, where the Lipschitzconstant of ๐ข at ๐ฅ โ ฮฉ is dependent on the geometry of(ฮฉ,๐), the distance of ๐ฅ to ๐ฮฉ, and the total energy of ๐ข.
On the one hand, Lipschitz regularity is the optimalresult when the target is assumed to be only an NPC space.On the other hand, the crucial idea in GromovโSchoen[GS] is that energy-minimizing maps behave better thanin Theorem 11 when the target has a certain manifoldstructure.
For a map ๐ข โถ ฮฉ โ ๐ into an NPC space, define theregular set โ(๐ข) of ๐ข as the set of points in ฮฉ thatpossess a neighborhood mapping into an image of atotally geodesic and isometric embedding of a smoothRiemannian manifold and define the singular set ๐ฎ(๐ข) asits complement. For example, the leaf space of the verticalfoliation of the quadratic differential ๐ง๐๐ง2 on โ endowedwith the distance function defined by the vertical measureis isometric to the tripod ๐ (see Figure 43). The naturalprojection map
๐ข โถ ๐ป โ Tfrom the unit disk centered at 0 is an energy-minimizingmap. It takes any neighborhood away from the origininto at most two copies of [0,โ). Thus, ๐ข is locallya harmonic function away from the origin. The imageof any neighborhood of the origin is not a manifold.Consequently, โ(๐ข) = ๐ป\{0} and ๐ฎ(๐ข) = {0}.
Figure 43. The energy-minimizing map ๐ข takes eachleaf (drawn in blue) to its unique point in the tripod ๐.
The regularity theorem of GromovโSchoen assertssimilar behavior for harmonic maps into Euclideanbuildings.
Theorem 12. The singular set of an energy-minimizingmap ๐ข โถ ฮฉ โ ๐ from a Lipschitz Riemannian domain intoa Euclidean building is of Hausdorff codimension at least2.
This is a delicate result and depends heavily on thespecial structure of the target space. We now give an ex-ample from GromovโSchoen [GS] of a harmonic map withsingular set of codimension < 2. Unlike 2-dimensional Eu-clidean buildings, the 2-dimensional target space in thisexample has no isometric totally geodesic embedding ofโ2.
1370 Notices of the AMS Volume 65, Number 11
-
Example 13. As in Figure 44, let ฮฉ = ๐ป be the standarddisk and let ๐ = ๐ถ๐๐๐(ฮ) be the metric cone over a curveฮ of length 2๐๐ผ with vertex denoted by ๐0. If ๐ผ > 1, thereexist closed nondegenerate and disjoint intervals ๐ผ1, ๐ผ2 โฮ such that the length of each component of ฮ\ (๐ผ1 โช ๐ผ2)is at least ๐. If ๐(๐ผ๐) denotes the convex hull of ๐ผ๐ โช๐0 in๐ถ๐๐๐(ฮ), then ๐(๐ผ๐) is a sector and ๐พ = ๐(๐ผ1) โช ๐(๐ผ2) isthe convex hull of ๐ผ1 โช ๐ผ2 in ๐ถ๐๐๐(ฮ). Let
๐ข โถ ๐ป โ ๐ถ๐๐๐(ฮ)
be the energy-minimizing map such that
๐ข|๐๐ป โถ ๐๐ป โ ๐๐พ = ๐๐(๐ผ1) โช ๐๐(๐ผ2)
is a constant-speed parameterization of the join of theclosed curves ๐๐(๐ผ1) and ๐๐(๐ผ2). Observe that ๐ข(๐ป) โ ๐พsince ๐พ is geodesically convex and that ๐ป\๐ขโ1(๐0) is notconnected since๐พ\{๐0} is not connected. Since ๐ขโ1(๐0) =๐ฎ(๐ข), we conclude that
dimโ(๐ฎ(๐ข)) = dimโ(๐ขโ1(๐0)) โฅ 1.
Figure 44. The singular set ๐ฎ(๐ข) (depicted in red onthe left) of the energy-minimizing map ๐ข from a disk,๐ป2, into a cone, ๐ถ๐๐๐(ฮ), over a curve, ฮ, of lengthgreater than 2๐, with prescribed boundary (in darkblue), has Hausdorff dimension at least 1.
The key ingredient in the proof of Theorem 12 is themonotonicity property of energy-minimizing maps. Thisrelies on the monotonicity property from the SchoenโUhlenbeck theory combined with the convexity of thedistance function in an NPC space ๐. Using monotonic-ity, GromovโSchoen [GS] construct homogeneous mapsapproximating energy-minimizingmaps similar to the tan-gent maps in the SchoenโUhlenbeck theory. Furthermore,they introduce the notion of a homogeneous degree-1map๐ โถ ฮฉ โ ๐0 being effectively contained in an essentiallyregular totally geodesic subspace ๐0. The metric space๐0 is called essentially regular if any harmonic map into๐0 is well approximated near a point by a homogeneousdegree-1 map. The map ๐ being effectively contained in๐0 says that most points in the image of ๐ are sufficientlyfar away from๐\๐0. For example, the union of two copiesof [0,โ) in ๐ (which we will call ๐ฟ) is essentially regular(since it can be isometrically identified to โ), and theidentity map ๐ โถ โ โ ๐ฟ โ โ is effectively contained in๐ฟ โ ๐.
Theorem 12 is derived from the following:
Theorem 14. Let ๐0 be an essentially regular totally geo-desic subspace of ๐ and let ๐ โถ ฮฉ โ ๐0 be a homogeneousdegree 1map effectively contained in๐0 with ๐(๐ฅ0) = ๐0 โ๐0. If an energy-minimizing map ๐ข โถ ฮฉ โ ๐ is sufficientlyclose to ๐ in ๐ต๐0(๐ฅ0), then ๐ข(๐ต๐0(๐ฅ0)) โ ๐0 for some ๐0 > 0.
The proof of Theorem 14 [GS] is an analytical tourde force. It is reminiscent of the proof of the SchoenโUhlenbeck ๐-regularity theorem, but it additionally over-comes thedifficulty that there is no PDE toworkwith in thesingular setting. The idea is to inductively compare suc-cessive blow-up scalings of ๐ข with the energy-minimizingmaps into ๐0. The delicate argument combines the con-vexity property of the distance function in an NPC spacewith the properties of ๐0 and ๐.
Figure 45. Schoen (far right) with some of his PhDstudents at Park City in 2013 at the 23rd AnnualPCMI Summer Session. First row: Chikako Mese, DanLee, Xiaodong Wang. Second row: Michael Eichmair,Justin Corvino, Ailana Fraser, Hugh Bray, AlessandroCarlotto, Rick Schoen. Third row: Peter Topping(actually a student of Mario Micallef, Schoenโs firststudent).
Rickโs innovations opened up a completely new av-enue in the applications of harmonic map theory. Inparticular, in a joint work of the author with Geor-gios Daskalopoulos, Rickโs ideas were pushed forwardto approach rigidity problems that could not be previ-ously solved by othermethods: superrigidity of hyperbolicbuildings and holomorphic rigidity of Teichmรผller space.
Daskalopoulos and Mese [DM1] extended the GromovโSchoen regularity theory to include important NPC spacesother than Euclidean buildings. This result implies, asoriginally conjectured by Gromov, the superrigidity ofhyperbolic buildings. Another application concerns theWeilโPetersson completion๐ฏofTeichmรผller space๐ฏ. Theanalysis of harmonic maps into ๐ฏ is difficult because theWeilโPetersson metric is degenerate near the boundary.
Inspired by Rickโs proof of Theorem 14, in a seriesof papers that culminated in [DM2], we introduced newtechniques and proved the long-standing holomorphicrigidity conjecture of Teichmรผller space. Loosely speak-ing, we proved that the action of the mapping class group
December 2018 Notices of the AMS 1371
-
uniquely determines the Teichmรผller space as a complexmanifold. The main ingredient in the proof is the surpris-ing discovery that the WeilโPetersson completion ๐ฏ ofTeichmรผller space contains essentially regular subspacesin a sense similar to Euclidean buildings despite its non-local compactness and degenerating geometry near theboundary.
On a Personal NoteRick was a terrific thesis advisor for me at Stanford, andI have many fond memories of my time as a graduatestudent. I am grateful for his generosity, vast mathemat-ical knowledge, and many words of wisdom that he hasshared with me. Rickโs powerful ideas have guided methroughout my career as a mathematician.
References[DM1] G. Daskalopoulos and C. Mese, On the singular set