On Friday, Yau concluded his lecture series by discussing the PDE approach to constructing geometric structures, particularly Einstein metrics, and their applications to many questions in low-dimensional topology (yes, this includes the Poincaré conjecture). Yau also discussed the situation in high-dimensional topology, which appears to be completely different (and much less well understood).

Yau’s slides for this talk are available here.

In Yau’s previous talk, he discussed how one can (sometimes) construct geometric structures on complicated manifolds by gluing together structures on simpler manifolds (with boundary). This can be a powerful approach, but has a number of drawbacks:

1. It only works well when there is plenty of control on the topology. In situations such as the Poincaré conjecture, in which the only a priori topological information is that the manifold is simply connected, this technique is not very effective.
2. Gluing most naturally takes place in the homeomorphic category. If one wants to work in the diffeomorphic category, the method either does not apply or has to be substantially reworked.

In recent years it has become clear that methods from nonlinear PDE, especially nonlinear parabolic PDE, can be applied to construct geometric structures in the diffeomorphic category, even in the absence of strong topological control on the manifold; the idea is that a carefully chosen PDE can continue deforming an unknown structure until it becomes “recognizable” in some sense (e.g. it minimises or nearly minimises some functional). The difficulty is now moved into one of establishing long-time existence and control of solutions to this nonlinear PDE.

Short-time existence for parabolic equations is relatively easy, for instance by energy estimates and Sobolev embedding; however, one cannot simply iterate the short-time argument to get long-time control, because the Sobolev embedding constants depend on the geometry, which could be blowing up. It is thus necessary to seek other estimates and methods which are more independent of the evolution of the geometry; thus it is particularly useful to have bounds which depend only on the initial geometry. There are two main ways to achieve this: maximum principles (which Yau viewed as a kind of “worst case analysis” for solutions) and monotonicity formulae.

There are many geometric structures that can be constructed in this way (e.g. harmonic maps are a good example), but Yau focused primarily on Einstein metrics – Riemannian metrics whose Ricci tensor is equal to a constant multiple of the metric itself. This constant has an interpretation in general relativity as the cosmological constant for the vacuum Einstein equations, and can be positive, zero, or negative. One should clarify that in general relativity, it is the Lorentzian (signature -+++) version of the Einstein equations which is important (and much more difficult to handle analytically), whereas in geometry it is the Euclidean (signature ++++) version which is of most use.

Einstein metrics can be viewed as the higher-dimensional generalisation of the Poincaré metric for Riemann surfaces of higher genus. They are amazingly useful in low-dimensional topology, and later in this talk Yau discussed several applications of these metrics.

After choosing a suitable coordinate system (e.g. harmonic coordinates), the Einstein equations become an elliptic system (basically because the Ricci operator resembles a Laplacian when viewed in a suitable coordinate system). Thus, on a compact manifold, we expect a relatively small number of solutions (just as there are relatively few eigenfunctions of the Laplacian). But it is not at all clear whether there exists such a metric at all, particularly if one wants to prescribe the sign of the cosmological constant; Yau views this problem as a fundamental one in modern geometry.

There seem to be three known strategies for constructing Einstein metrics:

1. Variational (minimax) methods;
2. Methods assuming additional symmetry structure on the manifold (especially Kähler structure); and
3. Ricci flow.

Yau then discussed each of these three strategies in turn.

First, the variational method. Suppose we normalise all metrics to have volume 1, and then also fix the conformal class of the metric. If we minimise the total scalar curvature $\int_M R\ dg$ over all representatives in such a class, we (formally) obtain a number R, which should be attained by a constant scalar curvature metric in that class; if one then maximises that number over all conformal classes in a certain topological class, one gets another number – the Yamabe invariant – which should formally be attained by an Einstein metric (note that all Einstein metrics automatically have constant scalar curvature, which is essentially just the cosmological constant).

Thus, to obtain an Einstein metric, one has to rigorously perform two tasks: firstly, one has to minimise the total scalar curvature in a conformal class to create a constant scalar curvature metric; and then one has to maximise this over all conformal classes to obtain an Einstein metric. The first problem is the famous Yamabe problem, and was basically solved by Trudinger, Aubin, and Schoen. (Yamabe’s original argument for this problem contained some gaps.) The hardest case is when the manifold is conformally flat; here, Schoen needed to use the Green’s function of the Laplacian to make the manifold asymptotically flat, in which case the positive mass theorem could be applied – thus providing another link between the Yamabe problem and general relativity.

Unfortunately, the second problem – maximisation over conformal classes – appears to be much more difficult, although there is some recent progress in this direction by Schoen et al. and Anderson.

Yau then turned to the second major technique, which assumes additional symmetry on the underlying manifold. In the early work on general relativity, one constructed solutions to Einstein equations (e.g. the Schwarzschild solution) by assuming some global symmetry, such as rotational invariance, to effectively reduce matters to a lower dimensional (and thus simpler) problem. Here, though, Yau focused more on internal symmetries, such as holomorphic coordinates (which essentially means Kähler structure) or more generally structures with a special holonomy group. Particularly important here are the Kähler-Einstein manifolds, which are simply the Kähler manifolds whose metric obeys Einstein’s equations.

In a Kähler manifold, one can show that the cohomology class of the Ricci tensor is always equal to the first Chern class (of the canonical line bundle). Thus, a necessary condition for a Kähler manifold to have a Kähler-Einstein metric of the same Chern class is that the Chern class must have a definite sign (which would then be the sign of the cosmological constant). The famous Calabi conjecture, proven by Yau, asserts that this necessary condition is also sufficient, and furthermore that the Kähler-Einstein metric is essentially unique. As a consequence, one can show that if a Kähler manifold has negative or zero Chern class, then it has a unique Kähler-Einstein metric; the situation in positive Chern class is be significantly more complicated. For instance, for minimal models of algebraic manifolds of general type, the first Chern class is not everywhere negative, and thus has no smooth Kähler-Einstein metric; nevertheless, one can construct (either by the methods used to prove the Calabi conjecture, or by Ricci flow methods) singular Kähler-Einstein metrics, whose singular sets have some interesting structure which is still not fully understood, but does lead to some deep algebraic geometry consequences for these manifolds, as these metrics provide a rich source of invariants for these types of manifolds, which can be used to analyse algebraic or topological problems which a priori have no relationship with this metric. For instance, the spectrum of the Laplace-Beltrami operator for this metric should in principle capture a large part of the geometry of these manifolds, though nobody knows how to reconstruct the manifold from this Laplacian.

Kähler-Einstein metrics were used (together with a vanishing theorem for holomorphic sections) by Yau to determine which algebraic manifolds were Shimura varieties; roughly speaking, the Chern class has to be non-positive and a certain U(n)-irreducible component of a tensor power of the tangent bundle must have a non-trivial holomorphic section. One purely algebraic consequence of this is that any $\hbox{Gal}({\Bbb C}/{\Bbb Q})$ Galois conjugate of a Shimura variety is again a Shimura variety, a fact proven earlier by Kazhdan via representation-theoretic methods.

Kähler-Einstein metrics were also used in Yau’s proof of the Bogomolov-Miyaoka-Yau inequality $c_1(M) \cdot c_1(M) \leq 3 c_2(M)$ mentioned in Zhang’s lectures. (In fact, Yau recalled that he learnt about this problem from a colloquium of Mumford right here at UCLA, thus illustrating one of the advantages of attending colloquia.) The argument also shows when equality holds, and this fact turns out to be useful for proving the Severi conjecture (that ${\Bbb{CP}}^2$ has only one complex structure, namely the obvious one; this is sort of like a complex analogue of the Poincaré conjecture). Kähler-Einstein metrics with cosmological constant zero (i.e. Ricci-flat Kähler metrics) are also used in algebraic geometry and string theory, for instance in establishing various versions of Torelli’s theorem. For positive cosmological constant, there appears to be some relationship between these metrics and the algebraic geometric stability of the underlying manifold; the Kähler-Einstein metric seems to serve somehow as a concrete “witness” of the fact that a certain bundle is stable in the GIT sense – which is often hard to verify by purely algebraic means. This phenomenon seems to be particularly strong when the underlying manifold has some moduli space structure.

From a PDE perspective, a primary reason why Kähler metrics are much easier to work with than the more general Riemannian metrics is that the former are quite rigid; they can essentially be described by a single scalar function, and so one “only” needs to solve a scalar nonlinear PDE to construct things like Kähler-Einstein metrics. In contrast, Riemannian metrics need a tensor to be described properly, and there is a large group of diffeomorphisms that one’s analysis should be invariant under, so there are also some gauge fixing problems which cause significant difficulty.

Yau then turned to Ricci flow, which is now perhaps the most famous way to try to build (or to approach) Einstein metrics, and was introduced by Hamilton partly inspired by the previous successes of Einstein metrics to understand other geometric problems (such as the Severi conjeture). [As a side note, Yau also noted that Ricci flow had been introduced independently, and for rather different purposes, by people working in quantum gravity, but I wasn’t able to catch the full details of this.]

Yau then briefly went through the recent history of the Poincaré conjecture. (Regarding the controversies of last year, Yau’s simply remarked that this story is “longer and more complicated than some newspaper reports might have you believe.”) Hamilton’s first paper on Ricci flow established the global convergence of the Ricci flow to a round sphere when the initial metric had positive Ricci curvature, in particular establishing the Poincaré conjecture in this case; besides the local existence theory for this flow, the main tool here was the maximum principle applied to the scalar curvature. Hamilton then went on to make several other major advances on the Ricci flow approach, culminating perhaps in his establishment of the geometrisation conjecture under the additional assumption that the Ricci curvature stays bounded throughout the lifetime of Ricci flow (with surgery). This result introduces many of the tools that Perelman would also use, for instance the Li-Yau-Hamilton inequality coming from a tensor maximum principle which implies a pinching property in regions of high curvature (basically, in those regions the curvature tends to be positive rather than negative), injectivity radius estimates, rescaling arguments to classify singularities, and of course the idea of augmenting the Ricci flow with surgery. (Hamilton also used some other machinery, notably the positive mass theorem and robust (quantitative) versions of the Mostow rigidity theorem, which ended up not being used in Perelman’s final proof.)

One of the main reasons why Hamilton needed the hypothesis of bounded curvature was that he was unable to eliminate a certain singularity scenario, caused by a cigar soliton (or more precisely, this product of this soliton with a line). This scenario was eliminated by Perelman, by introducing some powerful new monotone quantities (Perelman entropy and Perelman reduced volume). Of course, once the curvature was allowed to become unbounded, the rest of the argument also had to be significantly reworked; in particular, Perelman’s analysis of singularities and construction of surgery is much more delicate, and in the case of the geometrisation conjecture there are even more additional difficulties arising from the fact that Ricci flow with surgery does not necessarily terminate in finite time. [In my opinion, another of Perelman’s great contributions is to elevate the role of scale-invariance in this problem, which had been somewhat masked in earlier work due to reliance on maximum principles. See my exposition of Perelman’s proof for more discussion.]

Yau made two general comments about the two main tools for obtaining global control for the Ricci flow, namely maximum principles and monotonicity formulae. Regarding maximum principles, he observed that using them was something of an art; one could work for years on an equation without being able to exploit a maximum principle, but once one found the proper way to do it, it could be worked out and verified within an hour; thus, the applications of such principles only looks simple in retrospect (sort of like the solution to problems in NP). Regarding monotonicity formulae, he noted that the steady-state or self-similar solutions, in particular soliton solutions, were crucial in discovering these formulae; after all, if a monotonicity formula has any chance of existing at all, the inequality must become an equality for the soliton solution. Thus, it is of interest to locate non-trivial identities for soliton solutions, as these have a chance of being converted into non-trivial inequalities for general solutions.

Yau then surveyed other recent work (involving a large number of mathematicians) in which the Ricci flow was applied to various conjectures in geometric topology. For instance, this flow was used to help show that every complete non-compact Kähler manifold with positive bisectional curvature is bi-holomorphic to ${\Bbb C}^n$; to show that every compact simply connected manifold with positive curvature operator is diffeomorphic to the sphere; and to show that compact manifolds with quarter-pinched curvature are diffeomorphic to manifolds with constant positive curvature. In Yau’s words, Ricci flow has “opened up a new era for geometric analysts to build geometric structures”.

Yau then turned to four-manifolds and higher-dimensional manifolds. For four-manifolds, we have the important tools of Donaldson theory and Seiberg-Witten theory, but many basic questions about four-manifolds remain open. For instance, regarding four-manifolds with complex structure, there are two basic ways to construct such manifolds; either by gluing together simpler manifolds, or by using the log transformation of Kodiara to convert one complex structure to another. Yau seemed to be of the opinion that these operations should somehow “generate” most of the complex structures on four-manifolds, but it seems that we are quite a way from getting such a classification at present. Yau speculated that future progress here may hinge on finding some sort of unified geometric framework which incorporates all of the known invariants of four-manifolds (the obstructions to integrable complex structures found by Kodiara from the Atiyah-Singer index theorem, the Donaldson invariants coming from moduli spaces of holomorphic vector bundles, and the Seiberg-Witten invariants).

Yau then turned to higher-dimensional manifolds, for which our understanding is less satisfactory (in part because there are fewer connections with physics). Here, structures appear to be much less rigid, with almost none of the obstructions that are present in low dimensions. For instance, there is no example known of an almost complex manifold of complex dimension 3 or higher which does not admit a complex structure, in marked contrast to the case of complex dimensions 1 and 2. (The case of the sphere $S^6$ is already a famous unsolved problem.) Yau seemed to tentatively conjecture that in fact no obstructions existed, i.e. all almost complex manifolds in three and higher complex dimensions have at least one complex structure. If this conjecture were true, it would imply that there are a very large number of non-Kähler complex geometries in higher dimensions. In particular, it seems to indicate that while Kähler geometries are rather rigid, and one cannot deform one such geometry to another while remaining in the Kähler category; however in some cases we know that we can “tunnel” from one Kähler manifold to another by deforming through non-Kähler complex geometries. There is a model example of this by Clemens and Friedman which collapses a rational curve inside a Calabi-Yau manifold into a (singular) conifold; one can then smooth out this conifold (destroying the Kähler structure, but retaining the complex structure) and then deform to another conifold, which lets one end up at a different Calabi-Yau manifold. (Yau also mentioned a mirror symmetric version of this, in which the rational curves became $S^3$s, but I didn’t understand this well.) It has been proposed by Reid that in fact all Calabi-Yau manifolds with three complex dimensions could be connected to each other by such tunneling procedures.

Because arbitrary complex structures seem to be so non-rigid in higher dimensions, Yau has been looking at various enhancements of such structures which might have a richer theory. One such candidate are balanced Hermitian metrics $\omega$, which obey the codimension one condition $d(\omega^{n-1}) = 0$. These initially arose in twistor theory and then in heterotic string theory. Strominger studied the latter setting, and proposed a package of structures (which Yau calls a “Strominger system”), namely a holomorphic vector bundle with a Hermitian Yang-Mills connection and a balanced Hermitian metric, which are connected to each other by a certain “anomaly equation”. There is some preliminary work on the existence of these systems, but it seems that this theory is still in its very early stages.

Yau also mentioned that in any dimension, the Donaldson-Uhlenbeck-Yau theory of stable holomorphic bundles for Kähler manifolds can be used to construct connections on the tangent bundle with some specified holonomy group G, but a major difficulty in using this is that these connections are not a priori torsion-free; I got the impression that there was not yet a systematic way to resolve this problem.

In closing, Yau was optimistic that further inspiration from physics, in particular from mirror symmetry, string theory, and the (future) theory of quantum gravity, would continue to show the way ahead in geometry. For instance, from dynamical considerations in physics he expected the spectral properties of various elliptic operators associated to deformations of geometric structures (e.g. the Lichnerowicz operator for Einstein manifolds) should play more of a role in the subject than they currently do.

[Update, May 19: Clarified that the Galois conjugacy of a Shimura variety was over ${\Bbb Q}$, not over the number field used to model the variety.]
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 10, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8769582509994507, "perplexity": 369.2915031508116}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2016-36/segments/1471982295494.5/warc/CC-MAIN-20160823195815-00127-ip-10-153-172-175.ec2.internal.warc.gz"}