Conformal Geometry on Four Manifolds ICM Emmy Noether Lecture ICM 2018, Rio de Janeiro, Brazil Sun-Yung Alice Chang ∗ §0. Introduction This is the lecture notes for the author’s Emmy Noether lecture at 2018, ICM, Rio de Janeiro, Brazil. It is a great honor for the author to be invited to give the lecture. In the lecture notes, the author will survey the development of conformal geometry on four dimensional manifolds. The topic she chooses is one on which she has been involved in the past twenty or more years: the study of the integral conformal invariants on 4-manifolds and geometric applications. The development was heavily influenced by many earlier pioneer works; recent progress in conformal geometry has also been made in many different directions, here we will only present some slices of the development. The notes is organized as follows. In section 1, we briefly describe the prescribing Gaussian curvature problem on compact surfaces and the Yamabe problem on n-manifolds for n 3; in both cases some second order ≥ PDE have played important roles. In section 2, we introduce the quadratic curvature polynomial σ2 on compact closed 4- manifolds, which appears as part of the integrand of the Gauss-Bonnet-Chern formula. We discuss its algebraic structure, its connection to the 4-th order Paneitz operator P4 and its associated 4-th order Q curvature. We also discuss some variational approach to study the curvature and as a geometric application, results to characterize the diffeomorphism type of 4 2 (S ,gc) and (CP ,gFS) in terms of the size of the conformally invariant quantity: the integral arXiv:1809.06339v1 [math.DG] 17 Sep 2018 of σ2 over the manifold. In section 3, we extend our discussion to compact 4-manifolds with boundary and intro- duce a third order pseudo-differential operator P3 and 3-order curvature T on the boundary of the manifolds. In section 4, we shift our attention to the class of conformally compact Einstein (abbre- viated as CCE) four-manifolds. We survey some recent research on the problem of “filling in” a given 3-dimensional manifold as the conformal infinity of a CCE manifold. We relate the concept of ”renormalized” volume in this setting again to the integral of σ2. ∗Research of Chang is supported in part by NSF Grant DMS-1509505 1 In section 5, we discuss some partial results on a compactness problem on CCE manifolds. We believe the compactness results are the key steps toward an existence theory for CCE manifolds. The author is fortunate to have many long-term close collaborators, who have greatly contributed to the development of the research described in this article – some more than the author. Among them Matthew Gursky, Jie Qing, Paul Yang and more recently Yuxin Ge. She would like to take the chance to express her deep gratitude toward them, for the fruitful collaborations and for the friendships. §1. Prescribing Gaussian curvature on compact surfaces and the Yamabe problem In this section we will describe some second order elliptic equations which have played important roles in conformal geometry. On a compact surface (M,g) with a Riemannian metric g, a natural curvature invariant associated with the Laplace operator ∆ = ∆g is the Gaussian curvature K = Kg. Under the 2w conformal change of metric gw = e g, we have 2w ∆w + K = K w e on M. (1.1) − g The classical uniformization theorem to classify compact closed surfaces can be viewed as finding solution of equation (1.1) with K w 1, 0, or 1 according to the sign of K dv . g ≡ − g g Recall that the Gauss-Bonnet theorem states R 2π χ(M) = Kgw dvgw , (1.2) ZM where χ(M) is the Euler characteristic of M, a topological invariant. The variational func- tional with (1.1) as Euler equation for Kgw = constant is thus given by Moser’s functional ([72], [73]) dvgw J [w]= w 2dv +2 Kwdv Kdv log M . (1.3) g |∇ | g g − g dv ZM ZM ZM R M g There is another geometric meaning of the functional J which influencesR the later devel- opment of the field, that is the formula of Polyakov [80] det ( ∆) J [w]=12π log − g (1.4) g det ( ∆) − gw ! for metrics gw with the same volume as g; where the determinant of the Laplacian det ∆g is defined by Ray-Singer via the “regularized” zeta function. In [74], (see also Hong [64]), Onofri established the sharp inequality that on the 2-sphere J[w] 0 and J[w] = 0 precisely for conformal factors w of the form e2wg = T ∗g where T is ≥ 0 0 a Mobius transformation of the 2-sphere. Later Osgood-Phillips-Sarnak ([75], [76]) arrived at the same sharp inequality in their study of heights of the Laplacian. This inequality also plays an important role in their proof of the C∞ compactness of isospectral metrics on compact surfaces. n On manifolds (M ,g) for n greater than two, the conformal Laplacian Lg is defined as L = ∆ + c R where c = n−2 , and R denotes the scalar curvature of the metric g. g − g n g n 4(n−1) g An analogue of equation (1.1) is the equation, commonly referred to as the Yamabe equation (1.5), which relates the scalar curvature under conformal change of metric to the background 4 metric. In this case, it is convenient to denote the conformal metric asg ˆ = u n−2 g for some positive function u, then the equation becomes n+2 n−2 Lgu = cn Rˆ u . (1.5) The famous Yamabe problem to solve (1.5) with Rˆ a constant has been settled by Yamabe [87], Trudinger [85], Aubin [4] and Schoen [82]. The corresponding problem to prescribe scalar curvature has been intensively studied in the past decades by different groups of mathematicians, we will not be able to survey all the results here. We will only point out that in this case the study of Rˆ = c, where c is a constant, over class of metricsg ˆ in the conformal class [g] with the same volume as g, is a variational problem with respect to the functional Fg[u] = M n Rgˆdvgˆ for any n 3. Again the sign of the constant c agrees with the sign of the Yamabe invariant ≥ R M Rgˆdvgˆ Y (M,g) := inf n−2 . (1.6) gˆ∈[g] (Rvol gˆ) n §2. σ2 curvature on 4-manifold §2a definition and structure of σ2. We now introduce an integral conformal invariant which plays a crucial role in this paper, namely the integral of σ2 curvature on four-manifolds. To do so, we first recall the Gauss-Bonnet-Chern formula on closed compact manifold (M,g) of dimension four: 1 1 8π2χ(M)= W 2dv + (R2 3 Ric 2)dv , (2.1) 4| g| g 6 g − | g| g ZM ZM where χ(M) denotes the Euler characteristic of M, Wg denotes the Weyl curvature, Rg the scalar curvature and Ricg the Ricci curvature of the metric g. In general, the Weyl curvature measures the obstruction to being conformally flat. More precisely, for a manifold of dimension greater or equals to four, Wg vanishes in a neighborhood of a point if an only if the metric is locally conformal to a Euclidean metric; i.e., there are local coordinates such that g = e2w dx 2 for some function w. Thus for example, the standard n | | round metric g on the sphere S has W c 0. c g ≡ In terms of conformal geometry, what is relevant to us is that Weyl curvature is a pointwise 2w conformal invariant, in the sense that under conformal change of metric gw = e g, Wgw = −2w 2 2 | | e W , thus on 4-manifold W w dv w = W dv ; this implies in particular that the first | g| | g | g | g| g term in the Gauss-Bonnet-Chern formula above g W 2dv → | |g g ZM is conformally invariant. For reason which will be justified later below, we denote 1 σ (g)= (R2 3 Ric 2) (2.2) 2 6 g − | g| and draw the conclusion from the above discussion of the Gauss-Bonnet-Chern formula that g σ (g)dv → 2 g ZM is also an integral conformal invariant. This is the fundamental conformal invariant which will be studied in this lecture notes. We begin by justifying the name of “σ2” curvature. On manifolds of dimensions greater than two, the Riemannian curvature tensor Rm can be decomposed into the different components. From the perspective of conformal geometry, a natural basis is the Weyl tensor W , and the Schouten tensor, defined by R A = Ric g. g g − 2(n 1) − The curvature tensor can be decomposed as 1 Rm = W A g. g g ⊕ n 2 g ∧ − 2w Under conformal change of metrics gw = e g, since the Weyl tensor W transforms by scaling, only the Schouten tensor depends on the derivatives of the conformal factor. It is thus natural to consider σk(Ag), the k-th symmetric function of the eigenvalues of the Schouten tensor Ag, as curvature invariants of the conformal metrics. n−2 When k = 1, σ1(Ag)= Trg Ag = 2(n−1) Rg, so the σ1-curvature is a dimensional multiple of the scalar curvature. When k = 2, σ (A )= λ λ = 1 ( Tr A 2 A 2), where the λs are the eigenvalues 2 g i<j i j 2 | g g| −| g| of the tensor Ag. For a manifold of dimension 4, we have P 1 σ (g)= σ (A )= (R2 3 Ric 2).