arXiv:2008.07004v2 [math.DG] 28 Aug 2020 atbac,209Mdi,Spain Madrid, 28049 Cantoblanco, nvria Aut Universidad -aladdress E-mail nvriyo aiona rie A92617 address CA E-mail Irvine, California, of University ai acaFradzadJffe Streets Jeffrey and Garcia-Fernandez Mario : : [email protected] [email protected] eeaie ic Flow Ricci Generalized nm eMdi,adIsiuod inisMatem Ciencias de Instituto and Madrid, de onoma ´ aticas, ´ 2020 Mathematics Subject Classification. 53C55, 53D18, 53E20, 53E30 Contents
Chapter 1. Introduction 1 1.1. Outline 2 1.2. On pedagogy 4 1.3. Acknowledgements 5
Chapter 2. Generalized Riemannian Geometry 7 2.1. Courant algebroids 7 2.2. Symmetries of the Dorfman bracket 12 2.3. Generalized metrics 20 2.4. Divergence operators 28
Chapter 3. Generalized Connections and Curvature 33 3.1. Generalized connections 33 3.2. Metric compatible connections 37 3.3. The classical Bismut connection 42 3.4. Curvature and the First Bianchi Identity 46 3.5. Generalized Ricci curvature 49 3.6. Generalized scalar curvature 53 3.7. Generalized Einstein-Hilbert functional 58
Chapter 4. Fundamentals of Generalized Ricci Flow 67 4.1. The equation and its motivation 67 4.2. Examples 71 4.3. Maximum principles 75 4.4. Invariance group and solitons 78 4.5. Low dimensional structure 84
Chapter5. LocalExistenceandRegularity 87 5.1. Variational Formulas 87 5.2. Short time existence 91 5.3. Curvature evolution equations 94 5.4. Smoothing estimates 101 5.5. Results on maximal existence time 104 5.6. Compactness results for generalized metrics 108
Chapter 6. Energy and Entropy Functionals 111 6.1. Generalized Ricci flow as a gradient flow 111 6.2. Expander entropy and Harnack estimate 118 6.3. Shrinking Entropy and local collapsing 122 6.4. Corollaries on nonsingular solutions 125
iii iv CONTENTS
Chapter7. GeneralizedComplexGeometry 129 7.1. Linear generalized complex structures 129 7.2. Generalized complex structures on manifolds 136 7.3. Courant algebroids and pluriclosed metrics 144 7.4. Generalized K¨ahler geometry 150 Chapter 8. Canonical Metrics in Generalized Complex Geometry 167 8.1. Connections,Torsion,andCurvature 167 8.2. Canonical metrics in complex geometry 172 8.3. Examples and rigidity results 178 Chapter 9. Generalized Ricci Flow in Complex Geometry 185 9.1. K¨ahler-Ricci flow 185 9.2. Pluriclosed flow 187 9.3. Generalized K¨ahler-Ricci flow 192 9.4. Reduced flows 199 9.5. Torsion potential evolution equations 202 9.6. Higher regularity from uniform parabolicity 204 9.7. Metric evolution equations 209 9.8. Sharpexistenceandconvergenceresults 213 Chapter 10. T-duality 221 10.1. Topological T-duality 221 10.2. T-duality and Courant algebroids 224 10.3. Geometric T-duality 227 10.4. Buscher rules and the dilaton shift 231 10.5. Einstein-Hilbert action 235 10.6. Examples 237 Bibliography 243 CHAPTER 1
Introduction
The Ricci flow is a nonlinear parabolic partial differential equation for a Rie- mannian metric that has yielded new results and insights in topology, Riemann- ian geometry, complex geometry, partial differential equations, and mathematical physics. The equation was introduced by Hamilton [92], who used it to classify compact Riemannian 3-manifolds with positive Ricci curvature. In the ensuing decades Hamilton went on to prove various results and formulate precise conjec- tures on the Ricci flow in low dimensions. The importance of Ricci flow was then permanently enshrined by Perelman, in his spectacular resolution of the Poincar`e Conjecture and Thurston Geometrization Conjecture [140, 141, 142]. Parallel to the story of Ricci flow in Riemannian geometry is that of K¨ahler- Ricci flow in complex geometry. The fundamental result of Cao [35] gave a proof of the classical celebrated theorems of Aubin-Yau [9, 186] and Yau [186] using Ricci flow. Since then the K¨ahler-Ricci flow has yielded many further results in complex geometry. In recent years the “Analytic minimal model program” of Song- Tian [154] has attracted much attention, aiming at fundamental breakthroughs in complex and algebraic geometry. A third parallel thread informs the study of Ricci flow, coming from mathematical physics. In the thesis of Friedan [68], it was observed that the Ricci flow equation arises in the context of renormalization group flow for nonlinear sigma models, and this connection was strengthened by Perelman, who noted [140] that this physical point of view loosely suggests some of his fundamental monotone quantities. More recently a natural extension of the Ricci flow equation has appeared in the context of generalized geometry, a relatively new subject drawing inspiration from Poisson geometry, complex geometry, and mathematical physics. An early appearance of this subject was the discovery of generalized K¨ahler structure in the seminal work of Gates-Hull-Roˇcek [74] in mathematical physics. Twenty years later these structures were rederived by Gualtieri [88] within the general frame- work of Hitchin’s generalized geometry program. Like generalized geometry itself, the generalized Ricci flow equation also has several different origins coming from considerations in classical geometry, complex geometry, and mathematical physics. The relationships between these points of view, and the realization that a priori different extensions of the Ricci flow equation are unified by a single equation, the generalized Ricci flow, have only been achieved recently. Thus,
The primary purpose of this book is to provide an intro- duction to the fundamental geometric, algebraic, topo- logical, and analytic aspects of the generalized Ricci flow equation.
1 2 1. INTRODUCTION
Our focus is mostly on foundational results, although we will discuss some more technical global existence and convergence results in the penultimate chapter. As the mathematical study of the generalized Ricci flow equation is more nascent, the results described inevitably fall short of the depth of results attained for the Ricci flow. However it seems apparent that such depth of results are waiting to be attained in the context of generalized geometry, beyond tautologically recapturing what is known for Ricci flow. Thus, The secondary purpose of this book is to formulate ques- tions and conjectures about the generalized Ricci flow as an invitation to the reader.
These questions and conjectures will be interspersed througout the text.
1.1. Outline We begin in Chapter 2 by introducing fundamental concepts of generalized Riemannian geometry. The starting point is to extend the smooth structure of a manifold, in the form of the Lie bracket on the tangent bundle, to new structures on the direct sum of the tangent and cotangent bundle, specifically the Dorfman and Courant brackets. These brackets come equipped with a symmetry group that includes the natural action of diffeomorphisms, but is enlarged by the action of B- fields. We then introduce generalized Riemannian metrics from the point of view of reducing the structure group of T T ∗ to a maximal compact subgroup. We show the equivalence between a generalized⊕ metric and a pair (g,b) consisting of a classical Riemannian metric and skew-symmetric two-form b. Having introduced the fundamental properties of generalized geometry, in Chap- ter 3 we introduce and analyze special generalized metrics. We begin with the theory of generalized connections, leading eventually to a derivation of natural curvature quantities associated to a generalized metric that naturally involve the curvature of the classical Bismut connection. Given this, we seek to define a class of canonical geometries through a variational principle generalizing the derivation of the classical Einstein equation. Specifically we generalize the Einstein-Hilbert action using a scalar curvature quantity natural to generalized geometry. Critical points of this functional satisfy a natural coupling of the classical Einstein equation with the equations for a harmonic three-form, again expressed naturally in terms of the Ricci curvature of the Bismut connection. With this in mind, we give the classification of Bismut-flat connections. This is a special case of a classical result of Cartan-Schouten, and we show that all examples are covered by semisimple Lie groups with bi-invariant metrics and torsion tensor determined by the Lie bracket. In Chapter 4 we introduce the generalized Ricci flow equation as a tool for con- structing canonical generalized geometric structures, specifically generalized Ein- stein structures. We first introduce the equation, as expressed in terms of both classical and generalized objects. We explain the invariance properties of the equa- tion, and introduce natural classes of solutions, illustrated with basic examples. We discuss self-similar solutions of generalized Ricci flow, called solitons, and de- rive some of their basic properties. We end by discussing special properties satisfied by generalized Ricci flow in low dimensions, and special classes of solutions that illustrate connections to further extensions of the Ricci flow equation. 1.1. OUTLINE 3
We prove the fundamental analytic properties of generalized Ricci flow in Chap- ter 5. We first show that the equation is well-posed for arbitrary initial data on compact manifolds. We then exhibit evolution equations for the Riemannian and Bismut curvature tensors, and use these to establish estimates on derivatives of curvature in the presence of bounds on the Riemannian curvature. This leads to the basic fact that the Riemannian curvature tensor must blow up at any finite time singularity of the flow. We end by recording compactness results for solutions to generalized Ricci flow. In Chapter 6 we show that generalized Ricci flow is the gradient flow for a natural energy functional. The construction leads furthermore to natural entropy functionals which are monotone along the generalized Ricci flow. As consequences of this we establish a noncollapsing result for broad classes of solu- tions to generalized Ricci flow, as well as results on the limiting behavior of certain nonsingular solutions of the flow. The remainder of the text focuses on the role of generalized Ricci flow in gen- eralized complex geometry. We start in Chapter 7, using generalized geometry to motivate and introduce generalized complex structures, natural objects which unify and extend classical complex structures as well as symplectic structures. Af- ter recording their most basic properties we describe other constructions in complex geometry and show their relationship to generalized geometry. In particular, we de- scribe pluriclosed structures (also known as strong K¨ahler with torsion structures) using generalized complex geometry. Lastly we define generalized K¨ahler geometry and discuss its basic properties and local structure. Having established the fundamental geometric properties of generalized com- plex structures, in Chapter 8 we discuss canonical metrics in the setting of gener- alized complex geometry, extending the discussion of Chapter 3. We recall basic aspects of different Hermitian connections relevant in complex, non-K¨ahler geome- try, and express the generalized Einstein equations in this setting in terms of their curvatures. In the setting of generalized K¨ahler geometry these equations can be reduced to certain scalar PDE using an extension of the classical transgression for- mula for the first Chern class. We end the chapter with a discussion of examples of and rigidity results for canonical metrics in this setting. In Chapter 9 we establish fundamental properties of the relationship between generalized Ricci flow and generalized complex geometry. We begin with the classi- cal point of view, introducing the K¨ahler-Ricci flow, then introduce the pluriclosed flow, an extension of the K¨ahler-Ricci flow to complex, non-K¨ahler geometry. We show that the pluriclosed flow is gauge-equivalent to generalized Ricci flow, and fur- thermore preserves generalized K¨ahler structure, yielding the generalized K¨ahler- Ricci flow system. We describe all of these flows directly in the language of gen- eralized geometry, and describe natural deformation classes of generalized K¨ahler structure which are preserved along the flow. We prove the short-time existence of solutions to all these equations and formulate conjectures on the sharp existence time. In the second half of this chapter we prove global existence and convergence results for the generalized Ricci flow in complex geometry. To begin we exhibit natural reductions of the generalized Ricci flow in the setting of complex geome- try, generalizing the reduction of K¨ahler-Ricci flow to a scalar equation modeled on the parabolic complex Monge-Amp`ere equation. Next we establish higher reg- ularity of the flow in the presence of uniform parabolicity estimates, generalizing 4 1. INTRODUCTION the classic estimates of Evans-Krylov and Calabi/Yau for the complex parabolic Monge-Amp`ere equation to the system of equations determined by the pluriclosed flow. We then give geometric settings where these uniform parabolicity estimates can be verified, leading to sharp global existence and convergence results for the flow. First we prove the theorem of Tian-Zhang on the sharp existence time for K¨ahler-Ricci flow. In the case of pluriclosed flow we prove global existence on com- plex manifolds admitting Hermitian metrics of nonpositive bisectional curvature, and prove exponential convergence to a flat, K¨ahler, metric on complex tori. This result includes a complete description of the generalized K¨ahler-Ricci flow, and yields a classification result for generalized K¨ahler structures on tori. We finish in Chapter 10 by describing the relationship between the generalized Ricci flow and the physical phenomenon of T-duality. While T-duality first arose in physics, we recall the relatively recent, purely mathematical, formulation of this concept, focusing on the most fundamental topological and geometric aspects. We then show that T-duality naturally transforms solutions to the generalized Ricci flow. As corollaries we immediately obtain some global existence and convergence results for the generalized Ricci flow by applying T-duality to Ricci flow solutions whose behavior is known.
1.2. On pedagogy This book assumes a working familiarity with fundamental concepts of Rie- mannian geometry, i.e. smooth manifolds, tangent/cotangent/tensor bundles, dif- ferential forms, Lie groups, Riemannian metrics, connections, and curvature. We direct the reader to e.g. [121, 122, 143, 184] for background in these areas. We also assume some mild familiarity with the language and basic results of ordinary and partial differential equations, and direct the reader to e.g. [61] for general back- ground in the area. We also assume familiarity with complex geometry, although we briefly review some of this material at a more basic level within. We refer to [47, 87, 136] for further background. Notably, we will not assume familiarity with the Ricci flow equation itself, and instead will introduce the fundamental concepts of generalized Ricci flow whole cloth, without an independent discussion of the classical Ricci flow concepts in- evitably carried within. This choice is made in part to save space, but also since by now there are many excellent introductory texts on the Ricci flow e.g. [5, 26, 50, 52, 135]. Having said all of this, we will at times refer back to and discuss results specific to the Ricci flow when it aids in exposition. Moreover, prior familiarity with the Ricci flow equation would of course help in reading this text, as would reading a Ricci flow text in parallel. Ultimately we aim to make the text self-contained given the stated prerequisites, which will of course entail some overlap with existing texts. Generalized geometry employs many structures (e.g. Dirac structures, Courant algebroids) which have a rich history and outlook of their own, independent of the role they play in generalized geometry. Moreover, generalized geometry as a subject by itself appears related to a variety of questions in algebraic geometry, Poisson geometry, mathematical physics, etc. We will make no attempt at an exhaustive exploration of these various avenues, rather focusing on the aspects which are most relevant to understanding the analysis of generalized Ricci flow. One imagines that there are likely fruitful further generalizations of Ricci flow incorporating yet more 1.3. ACKNOWLEDGEMENTS 5 structure from generalized geometry. We point out some possibilities for this as well as some preliminary results in the literature. 1.3. Acknowledgements The first named author is grateful to his collaborators Luis Alvarez´ C´onsul, Ra´ul Gonz´alez Molina, Roberto Rubio, Carl Tipler, and Carlos Shahbazi for useful conversations and insight on different aspects of this text. He would like to specially thank Nigel Hitchin and Marco Gualtieri for introducing him into the subject of generalized geometry. He would like also to thank Gil Cavalcanti, Pedram Hek- mati, Pavol Severa,ˇ Rafael Torres, Fridrich Valach, and Dan Waldram for helpful and inspiring conversations. He acknowledges support from the Spanish MICINN via the ICMAT Severo Ochoa project No. SEV-2015-0554, and under grants No. PID2019-109339GA-C32 and No. MTM2016-81048-P. The second named author is grateful to Vestislav Apostolov, Matthew Gibson, Joshua Jordan, Man-Chun Lee, Yury Ustinovskiy, and Micah Warren, for collab- orations underpinning many results in this text. Furthermore, his understanding of this subject has benefitted greatly from conversations with Jess Boling, Ryushi Goto, Paul Gauduchon, Marco Gualtieri, Nigel Hitchin, Chris Hull, and Martin Ro˘cek. He would like to thank David Streets for a careful proofreading. Finally, he would like to offer greatest thanks to Mark Stern and Gang Tian for their support, encouragement, guidance, and collaboration regarding this subject. He gratefully acknowledges support from the National Science Foundation via DMS-1454854, DMS-1301864, DMS-1006505, and from the Alfred P. Sloan Foundation.
CHAPTER 2
Generalized Riemannian Geometry
On the road to understanding Riemannian geometry from the modern point of view, one begins with the notion of a smooth manifold, and derives various objects canonically associated to the smooth structure, such as the tangent and cotangent bundles, and the Lie bracket. Geometric structure enters by assigning a Riemannian metric, which measures the lengths of vectors in the tangent bundle. This way, one can associate an energy to a smooth curve, thought of as the trajectory of a point particle moving along the manifold, which leads to geodesics and Jacobi fields. Generalized geometry changes this story in a fundamental way. Whereas vec- tors and the tangent bundle have primacy in Riemannian geometry, the starting point of generalized geometry is to put vectors and covectors on equal footing, and to treat sections of T T ∗ as the fundamental object of geometry. This leads to a new bracket structure⊕ on such sections, the Dorfman bracket, which involves a delicate combination of the classical operators of differential geometry. This point of view also inspires the definition of a generalized Riemannian metric, which mea- sures sections of T T ∗. Such generalized metrics are equivalent to a choice of a classical Riemannian⊕ metric g together with a skew-symmetric two-form b. Similar to Riemannian metrics, a generalized metric can be used to define an energy for a surface mapping into the manifold, thought of as the trajectory of a ‘string’ moving along the target space.
2.1. Courant algebroids The fundamental object underlying generalized Riemannian geometry is a Courant algebroid. These first arose in the work of Courant [55] and Dorfman [58], partly in an effort to describe the geometry of equivariant moment map level sets, and was later axiomatized by Liu, Weinstein, and Xu [130]. Before giving the general definition of Courant algebroid we begin by describing the main example, with fur- ther examples to follow. The linear algebra of T T ∗ plays a central role in the subject, and we begin with some basic definitions.⊕ Definition 2.1. Given V a vector space of dimension n, define an inner prod- uct on V V ∗ via ⊕ (2.1) X + ξ, Y + η := 1 (ξ(Y )+ η(X)) . h i 2 The inner product , is obviously symmetric and has signature (n,n), and thus determines a copy ofh Oi (n,n) consisting of endomorphisms preserving this product. Note that for an n-dimensional vector space V there is a natural decomposition
2n n n Λ (V V ∗)=Λ V Λ V ∗. ⊕ ⊗
7 8 2.GENERALIZEDRIEMANNIANGEOMETRY
n n As there is the natural determinant pairing between Λ V and Λ V ∗, this induces a 2n canonical identification of Λ (V V ∗) with R, and hence the positive real numbers correspond to a canonical orientation.⊕ The Lie group preserving both the symmetric product and this orientation will be isomorphic to SO(n,n).
Definition 2.2. Given M a smooth manifold, we denote T T ∗ := TM T ∗M. ⊕ ⊕ The Dorfman bracket on sections of T T ∗ is defined by ⊕ (2.2) [X + ξ, Y + η] = [X, Y ]+ L η i dξ. X − Y Note that this bracket restricts to the Lie bracket when acting on tangent vectors. However, some of the fundamental properties of the Lie bracket do not extend to the Dorfman bracket. We first observe that the familiar Leibniz rule still holds for the first-order differential operator [X + ξ, ] acting on sections of T T ∗. Before stating this we define the natural projection· ⊕
π : T T ∗ T, X + ξ X, ⊕ → 7→ which will be called the anchor map.
Lemma 2.3. Given a,b Γ(T T ∗) and f C∞(M), the Dorfman bracket satisfies ∈ ⊕ ∈ [a,fb]= f[a,b]+ π(a)fb.
Proof. Setting a = X +ξ,b = Y +η, we directly compute using the properties of Lie derivatives, [X + ξ,f(Y + η)] = [X,fY ]+ L fη i dξ X − fY = f[X + ξ, Y + η] + (Xf)Y + (Xf)η = f[X + ξ, Y + η] + (Xf)(Y + η), as required.
The differential operator [X + ξ, ] is furthermore compatible with the inner product , , in the following sense: · h i Lemma 2.4. Given a,b,c Γ(T T ∗), the Dorfman bracket satisfies ∈ ⊕ π(a) b,c = [a,b],c + b, [a,c] . h i h i h i Proof. Setting a = X + ξ,b = Y + η,b = Z + ζ and using the identity i[X,Y ] = [LX ,iY ] we compute [a,b],c + b, [a,c] = 1 (i ζ + i (L η i dξ)+ i η + i (L ζ i dξ)) h i h i 2 [X,Y ] Z X − Y [X,Z] Y X − Z 1 = 2 (LX iY ζ + LX iZ η) 1 = 2 iX d(ζ(Y )+ η(Z)), as required.
The main structural property of the Dorfman bracket is the Jacobi identity:
Lemma 2.5. Given a,b,c Γ(T T ∗) one has ∈ ⊕ [a, [b,c]] = [[a,b],c] + [b, [a,c]]. 2.1. COURANT ALGEBROIDS 9
Proof. Setting a = X + ξ, b = Y + η, c = Z + ζ, one has, using the identities i = [L ,i ] and L = L L L L , [X,Y ] X Y [X,Y ] X Y − Y X [[a,b],c] + [b, [a,c]] = [[X, Y ]+ L η i dξ,Z + ζ] + [Y + η, [X,Z]+ L ζ i dξ] X − Y X − Z = [[X, Y ],Z]+ L ζ i d(L η i dξ) [X,Y ] − Z X − Y + [Y, [X,Z]] + L (L ζ i dξ) i dη Y X − Z − [X,Z] = [X, [Y,Z]] + L L ζ L i dη L i dξ + i di dξ X Y − X Z − Y Z Z Y = [X, [Y,Z]] + L (L ζ i dη) i dξ X Y − Z − [Y,Z] = [a, [b,c]], as claimed.
Despite these favorable properties, unlike the Lie bracket of vector fields, the Dorfman bracket is not skew-symmetric. In fact, one can easily show that (2.3) [a,b] + [b,a]=2d a,b . h i The skew-symmetrization of the Dorfman bracket, called the Courant bracket, will be useful for some calculations.
Definition 2.6. The Courant bracket on sections of T T ∗ is defined by ⊕ [a,b] = 1 ([a,b] [b,a]). c 2 − Notice that (2.4) [a,b] = [a,b] d a,b . c − h i Furthermore, a straightforward calculation leads to the following explicit formula: [X + ξ, Y + η] = [X, Y ]+ L η L ξ + 1 d (ξ(Y ) η(X)) . c X − Y 2 − We summarize the main properties of the Courant bracket in the following lemma. Lemma 2.7. The following hold:
(1) Given a,b Γ(T T ∗) and f C∞(M), the Courant bracket satisfies ∈ ⊕ ∈ [a,fb] = f[a,b] + π(a)fb a,b df. c c − h i (2) Given a,b,c Γ(T T ∗), one has ∈ ⊕ [a, [b,c]c]c+ [c, [a,b]c]c + [b, [c,a]c]c = 1 d ( [a,b] ,c + [b,c] ,a + [c,a] ,b ) 3 h c i h c i h c i Proof. We set a = X + ξ, b = Y + η, c = Z + ζ. To prove (1), we directly compute as in Lemma 2.3 1 [X + ξ,f(Y + η)] = [X,fY ]+ L fη L ξ + d (fξ(Y ) fη(X)) c X − fY 2 − = f[X + ξ, Y + η] + (Xf)Y + (Xf)η ξ(Y )df + 1 (ξ(Y ) η(X)) df c − 2 − = f[X + ξ, Y + η] + (Xf)(Y + η) 1 (ξ(Y )+ η(X)) df c − 2 = f[X + ξ, Y + η] + (Xf)(Y + η) X + ξ, Y + η df, c − h i as required. 10 2.GENERALIZEDRIEMANNIANGEOMETRY
As for (2), using Lemma 2.3 and the fact that [ξ,c] = 0 for any closed one-form ξ, we obtain [[a,b] ,c] = [[a,b] ,c] d [a,b] ,c c c c − h c i = [([a,b] d a,b ),c] d [a,b] ,c − h i − h c i = [[a,b],c] d [a,b] ,c . − h c i Using these properties we compute
[[a,b]c,c]c + [[c,a]c,b]c + [[b,c]c,a]c = 1 ([[a,b],c] [c, [a,b]] [[b,a],c] + [c, [b,a]] + cyclic) 4 − − = 1 ([a, [b,c]] [b, [a,c]] [c, [a,b]] 4 − − [b, [a,c]] + [a, [b,c]] + [c, [b,a]] + cyclic) − = 1 ([a, [b,c]] [b, [a,c]] + cyclic) 4 − 1 = 4 ([[a,b],c] + cyclic) = 1 ([[a,b]] c] + d [a,b] ,c + cyclic) 4 c c h c i 1 = 4 ([[a,b]c,c]c + [[c,a]c,b]c + [[b,c]c,a]c +d ( [a,b] ,c + [b,c] ,a + [c,a] ,b )) , h c i h c i h c i from which the claim follows.
The structure (T T ∗, , , [, ], π) was formalized into a general definition, that of a Courant algebroid,⊕ firsth giveni in [130]. Definition 2.8. A Courant algebroid 1 is a vector bundle E M together with a nondegenerate symmetric bilinear form , a bracket [, ] on→ Γ(E), and a h i bundle map π : E TM such that, given a,b,c Γ(E) and f C∞(M), one has → ∈ ∈ (1) [a, [b,c]] = [[a,b],c] + [b, [a,c]] (2) π[a,b] = [πa,πb] (3) [a,fb]= f[a,b]+ π(a)fb (4) π(a) b,c = [a,b],c + b, [a,c] (5) [a,b]h + [b,ai ]=h a,bi , h i D h i where : C∞(M) Γ(E) denotes the composition of three maps: the exterior dif- D → ferential d acting on functions, the natural map π∗ : T ∗ E∗, and the isomorphism → E∗ E provided by the symmetric product. → In the sequel, we will abuse notation and denote by π∗ the composition of π∗ : T ∗ E∗ with the natural isomorphism E∗ E provided by the symmetric → → product. The fact that our explicit structure (T T ∗, , , [, ], π) fulfills the con- ditions of a Courant algebroid follows from Lemma⊕ 2.3,h Lemmai 2.4, Lemma 2.5, equation (2.3), and the definition of π. Note that, in this explicit situation, we have that f =2df. D We leave as an exercise to check from the previous axioms that the image of π∗ is isotropic. To finish this section, we unravel Definition 2.8 for the particular class of Courant algebroids which is of primary interest for the present book.
1We retain the term Courant algebroid despite the fact that all brackets appearing in this definition are Dorfman brackets, not Courant brackets. 2.1. COURANT ALGEBROIDS 11
Definition 2.9. A Courant algebroid is exact if it fits into an exact sequence of vector bundles π∗ π 0 T ∗ E T 0. −→ −→ −→ −→ For exact Courant algebroids notice that, by definition, the image of π∗ coin- cides with the kernel of π. Further consider an isotropic splitting σ : T E of π. → Such a splitting can be constructed by choosing an arbitrary splitting σ0 : T E, and setting → 1 (2.5) σ = σ π∗τ, 0 − 2 2 where τ Sym T ∗ is defined by τ(X, Y )= σ0X, σ0Y . Using these structures we can give∈ a classification result for exact Couranth algebroids,i incorporating the first appearance of a closed three-form H, which features prominently in generalized geometry. Proposition 2.10. Given an exact Courant algebroid E with isotropic splitting σ, the map F : T T ∗ E defined by ⊕ → 1 F (X + ξ)= σX + 2 π∗ξ is an isomorphism of orthogonal bundles, for the symmetric product (2.1). Via this isomorphism the anchor map is given by π(X + ξ) = X and the Dorfman bracket is
(2.6) [X + ξ, Y + η]H := [X + ξ, Y + η]+ iY iX H, 3 where H Λ T ∗ is a closed three-form defined by ∈ (2.7) H(X,Y,Z)=2 [σX,σY ],σZ . h i Proof. We first note that 1 1 1 1 σX + 2 π∗ξ,σY + 2 π∗η = 2 (ξ(πσY )+ η(πσX)) = 2 (ξ(Y )+ η(X)), noting that σX,σY = 0, which proves that F is an isometry. Next we transport h i the Courant algebroid structure from E to T T ∗ using F . It follows from the ⊕ definition of F that the induced anchor map on T T ∗ is π (X +ξ) := πF (X +η)= ⊕ E X and that = π∗d =2d. The induced bracket, denoted [, ] , is defined via DE E F [X + ξ, Y + η]E := [F (X + ξ), F (Y + η)] (2.8) 1 1 1 = [σX,σY ]+ 2 [σX,π∗η]+ 2 [π∗ξ,σY ]+ 4 [π∗ξ, π∗η].
It is an exercise using the axioms of a Courant algebroid to show that [π∗ξ, π∗η]=0 for any ξ, η. For the second term on the right hand side we first observe that
π[σX,π∗η] = [πσX,ππ∗η] = [πσX, 0]=0.
Thus [X, η] T ∗, and we can compute, using axiom (5), E ∈ [σX,π∗η],σZ = σX, π∗η,σZ π∗η, [σX,σZ] h i h D h ii−h i = X π∗η,Z η(π[σX,σZ]) h i− = Xη(Z) η([X,Z]) − = dη(X,Z)+ Zη(X). We conclude that
[X, η]E = LX η. 12 2.GENERALIZEDRIEMANNIANGEOMETRY
The third term of (2.8) is similar, where using axiom (5) we conclude [ξ, Y ] = [Y, ξ] +2d ξ, Y = L ξ + dξ(Y )= i dξ. E − E h i − Y − Y Finally, we decompose the first term on the right hand side of (2.8) into tangent and cotangent pieces with respect to F . From axiom (2) it follows that π[σX,σY ] = 3 [X, Y ]. We define a tensor H (T ∗)⊗ via ∈ H(X,Y,Z)=2 [σX,σY ],σZ , h i and then it follows that 1 [σX,σY ]= σ[X, Y ]+ 2 π∗H(X, Y ) It is an exercise to show that H is indeed a tensor, and moreover is totally skew- symmetric. Putting the above observations back into (2.8) shows that [X + ξ, Y + η] = [X, Y ]+ L η i dξ + i i H, E X − Y Y X as claimed. The Jacobi identity of axiom (1) for [X + ξ, Y + η]E ensures that dH = 0.
2.2. Symmetries of the Dorfman bracket A classic fact in smooth manifold theory is that the only automorphisms of the tangent bundle preserving the Lie bracket structure are given by the tangent maps associated to diffeomorphisms of the underlying manifold. In this section we prove an analogous result for T T ∗ equipped with the symmetric product (2.1) and the ⊕ Dorfman bracket, and use this to obtain Severa’sˇ classification of exact Courant algebroids [150]. In particular the symmetry group of the Dorfman bracket is enlarged to include so-called B-field transformations. These extra symmetries play a central role throughout generalized geometry. With the group of generalized diffeomorphisms at hand, we provide a different interpretation of this group by means of a two-dimensional variational problem. This leads to a first-principles derivation of the Dorfman bracket and a conceptual explanation for some of its most basic features collected in Definition 2.8. Recall that a bundle automorphism of T T ∗ is given by a pair (f, F ), where ⊕ f Diff(M) is diffeomorphism of M and F : T T ∗ T T ∗ is a vector bundle automorphism,∈ which fit into a commutative diagram⊕ → ⊕ F / T T ∗ T T ∗ ⊕ ⊕ f M / M Here, the vertical arrows denote the bundle projections. Definition 2.11. Given M a smooth manifold, a bundle automorphism (f, F ) of T T ∗ is said to be a Courant automorphism if F is orthogonal and the natural ⊕ action of (f, F ) on sections of T T ∗ preserves the Dorfman bracket. ⊕ Given a diffeomorphism f of M, we can define an orthogonal bundle automor- phism via (f, f), where f 0 (2.9) f := ∗ 1 . 0 (f ∗)− 2.2. SYMMETRIES OF THE DORFMAN BRACKET 13
It follows from naturality of the various operations in formula (2.2) that f preserves the Dorfman bracket. We next discuss a natural class of Courant automorphisms, given by (closed) B-field transformations, which are not associated to diffeomor- phisms of the manifold.
2 Definition 2.12. Given M a smooth manifold and B Λ T ∗, define the associated B-field transformation via ∈ 1 0 X eB(X + ξ)= = X + ξ + i B. B 1 ξ X 2 B Lemma 2.13. Given M a smooth manifold and B Λ T ∗, the map e is orthogonal with respect to , . ∈ h i
Proof. Given X + ξ, Y + η T T ∗ we directly compute ∈ ⊕ eB(X + ξ),eB(Y + η) = X + ξ + i B, Y + η + i B h X Y i 1 = 2 (η(X)+ iX iY B + ξ(Y )+ iY iX B) 1 = 2 (η(X)+ ξ(Y )) = X + ξ, Y + η . h i
2 Proposition 2.14. Given M a smooth manifold and B Λ T ∗, we have ∈ B B B (2.10) [e (X + ξ),e (Y + η)] = e [X + ξ, Y + η]+ iY iX dB,
B for any X + ξ, Y + η Γ(T T ∗). Consequently, the map e is an automorphism of the Dorfman bracket∈ if and⊕ only if dB =0.
2 Proof. Fix X + ξ, Y + η Γ(T T ∗) and B Γ(Λ T ∗), and then compute using the Cartan formula ∈ ⊕ ∈
B B [e (X + ξ),e (Y + η)] = [X + ξ + iX B, Y + η + iY B]
= [X + ξ, Y + η] + [X,iY B] + [iX B, Y ] = [X + ξ, Y + η]+ L i B i d(i B) X Y − Y X = [X + ξ, Y + η]+ L i B i L B + i i dB X Y − Y X Y X = [X + ξ, Y + η]+ i[X,Y ]B + iY iX dB B = e [X + ξ, Y + η]+ iY iX dB. The result follows.
Having exhibited that closed B-field transformations are Courant automor- phisms of the form (Id,eB) in Lemma 2.13 and Proposition 2.14, we now show that these, together with the differentials of diffeomorphisms (f, f), give all possible Courant automorphisms. Proposition 2.15. Let M be a smooth manifold and suppose (f, F ) is a Courant automorphism. Then F = f eB, that is, F can be expressed as a composition of a diffeomorphism and a closed◦ B-field transformation. 14 2.GENERALIZEDRIEMANNIANGEOMETRY
Proof. Since the given f is a diffeomorphism, we can define a bundle auto- 1 morphism via (f, f), as in (2.9). Setting Φ = f − F , we obtain that (Id, Φ) is also ◦ a bundle automorphism. Fixing sections a,b Γ(T T ∗) and a smooth function p, we obtain, using Lemma 2.3, that ∈ ⊕ Φ([pa,b]) = Φ (p[a,b] ((πb)p) a) − = pΦ([a,b]) ((πb)p) Φ(a). − On the other hand, again using Lemma 2.3, one has [Φ(pa), Φ(b)] = p[Φ(a), Φ(b)] (πΦ(b)p)Φ(a). − As Φ preserves the Courant bracket, the two quantities above are equal, and hence π Φ= π since a,b and p are arbitrary. On the other hand, the equality ◦ 1 2 b, Φ− dp =2 Φ(b), dp = πΦ(b)p = πbp =2 b,dp h i h i 1 implies that Φ− (and hence Φ) acts as the identity on T ∗. Together these facts imply that Id 0 Φ= , B Id 2 2 where B (T ∗)⊗ . Since Φ is also orthogonal, it follows that B Λ T ∗. Lastly, since Φ preserves∈ the Dorfman bracket, Proposition 2.14 implies tha∈ t B is closed. Thus F = f eB, as claimed. ◦ Notice that the proof of Proposition 2.15 implies that a Courant automorphism (f, F ) is automatically compatible with the anchor map, in the sense that π F = f π. ◦ ◦ Proposition 2.10 and Proposition 2.14 make clear an elementary way to construct new Courant algebroids, by ‘twisting’ the standard Dorfman bracket by a three-form H. This is key to Severa’sˇ classification of exact Courant algebroids in Theorem 2.21 below.
3 Definition 2.16. Given M a smooth manifold and H Λ T ∗, we define the ∈ H-twisted Dorfman bracket on sections of T T ∗ via ⊕ [X + ξ, Y + η]H := [X + ξ, Y + η]+ iY iX H.
3 Proposition 2.17. Given M a smooth manifold and H Λ T ∗ such that ∈ dH =0, the triple (T T ∗, , , [, ] , π) defines a Courant algebroid. ⊕ h i H Proof. Most of the axioms in the definition of Courant algebroid are routine to check. The main difficulty is to verify axiom (1). Since H is closed and the computation is local, we can assume H = dB. We note that we can rephrase equation (2.10) as
B B B B e− [e (X + ξ),e (Y + η)] = [X + ξ, Y + η]+ e− iY iX dB
= [X + ξ, Y + η]+ iY iX dB
= [X + ξ, Y + η]H . 2.2. SYMMETRIES OF THE DORFMAN BRACKET 15
Using this, Lemma 2.5, and Lemma 2.13 we compute for any a,b,c Γ(T T ∗) ∈ ⊕ [[a,b]H ,c]H + [[c,a]H ,b]H + [[b,c]H ,a]H B B B B B B B B B = e− [e [a,b]H ,e c]+ e− [e [c,a]H ,e b]+ e− [e [b,c]H ,e a] B B B B B B B B B B B B = e− [[e a,e b],e c]+ e− [[e c,e a],e b]+ e− [[e b,e c],e a]=0. The proposition follows. Our next goal is to provide a classification of exact Courant algebroids due to Severaˇ [150], which follows from Proposition 2.10 and Proposition 2.17. We first give the following abstract definition.
Definition 2.18. Given M a smooth manifold and E and E′ Courant alge- broids over M, an isomorphism between E and E′ is a pair (f, F ), where f is a diffeomorphism of M and F : E E′ is an orthogonal Courant automorphism, which fit into a commutative diagram→ F / E E′
f M / M We say that (f, F ) is small if f lies in the identity component of Diff(M). We say that E and E′ are in the same small isomorphism class if E and E′ are isomorphic via a small isomorphism. Theorem 2.19. Given M a smooth manifold, the small isomorphism classes of exact Courant algebroids on M are in one-to-one correspondence with the coho- mology group H3(M, R). Proof. Let E be an exact Courant algebroid over M. By Proposition 2.10 we can choose an isotropic splitting σ of E, such that E is isomorphic via a small isomorphism to (T T ∗, , , [, ] , π), for H the closed three-form on M given by ⊕ h i Hσ σ (2.7). To the small isomorphism class of E we want to associate the Severaˇ class [H ] H3(M, R). σ ∈ Let us check that this is well-defined. First, if σ′ is a different choice of isotropic splitting, via the orthogonal automorphism E ∼= T T ∗ induced by σ we can identify ⊕ B σ′(X)= e (X) 2 for some B Λ T ∗. Therefore, from (2.10) ∈ Hσ′ = Hσ + dB, and the class [Hσ] is independent of the choice of isotropic splitting. Let E′ be another exact Courant algebroid over M, that we can identify with (T T ∗, , , [, ] ′ , π) for a closed three-form H′ on M. If E′ is isomorphic to E ⊕ h i H there exists (f, F ): E E′ which exchanges the brackets on E and E′. Without → loss of generality, we identify E with (T T ∗, , , [, ]H , π), where we set H = Hσ. 1 ⊕ h i We denote Φ = f − F , and arguing as in the proof of Proposition 2.15 we have ◦ B that π Φ= π and that Φ acts as the identity on T ∗. Thus, Φ = (Id,e ) for some 2◦ B Λ T ∗. Since (f, F ) exchanges the brackets we obtain ∈ B 1 B B e [a,b]H = f − [fe a, fe b]H′ . 16 2.GENERALIZEDRIEMANNIANGEOMETRY
Combined with 1 f − [fa, fb]H′ = [a,b]f ∗H′ for any a,b Γ(T T ∗), we are led to ∈ ⊕ (2.11) f ∗H′ = H dB. − If E′ is in the same small isomorphism class as E, then f is in the identity component of Diff(M) and by definition there exists a one-parameter group of diffeomorphisms f generated by X Γ(T ) such that f = f . Thus, using that H is closed t ∈ 1 1 d 1 f ∗H H = f ∗Hdt = f ∗(di H)dt = db, − dt t t X Z0 Z0 1 d 2 where b = f ∗(i H)dt Λ T ∗, and we conclude that 0 dt t X ∈ R H′ = H dB′, − for B′ = f (B + b), which implies [H′] = [H]. By Proposition∗ 2.17 the map that associates to any small isomorphism class of exact Courant algebroids its Severaˇ class is surjective. Finally, if E and E′ yield the same cohomology class, taking isotropic splittings as before we obtain H = H′ +dB and therefore by Proposition 2.14 we have that E and E′ are isomorphic via the B- field transformation eB, and consequently their small isomorphism classes coincide.
As an immediate consequence of the proof of the previous theorem we obtain the following complete classification of exact Courant algebroids on a smooth manifold.
Corollary 2.20. Given M a smooth manifold, denote by Diff0(M) the compo- nent of the identity in Diff(M) and set ΓM = Diff(M)/ Diff0(M) the corresponding mapping class group. Then, the isomorphism classes of exact Courant algebroids 3 on M are in one-to-one correspondence with the quotient H (M, R)/ΓM .
Proof. By the proof of Theorem 2.19, the isomorphism classes of exact Courant algebroids on M are in one-to-one correspondence with H3(M, R)/ Diff(M). Since 3 the action of Diff 0(M) on H (M, R) is trivial, the proof follows.
Another direct consequence of the proof of Theorem 2.19 is an explicit char- acterization of the group of automorphisms (f, F ): E E of an exact Courant algebroid E over a smooth manifold M. By a choice of→ an isotropic splitting of E, we can identify E with the twisted Courant algebroid (T T ∗, , , [, ]H , π) in Proposition 2.17. To state the result, we abuse notation and⊕ denoteh ai pair (f, F ) simply by F .
3 Proposition 2.21. Given M a smooth manifold and H Λ T ∗ a closed three- form, the group of automorphisms F : E E of the twisted∈ Courant algebroid → (T T ∗, , , [, ] , π) is given by ⊕ h i H B 2 Aut(E)= f e : f Diff(M),B Λ T ∗ such that f ∗H = H dB , { ◦ ∈ ∈ − } B B′ together with the product given, for F = f e and F ′ = f e , by ◦ ′ ◦ B′+f ′∗B F F ′ = f f e . ◦ ◦ ′ ◦ 2.2. SYMMETRIES OF THE DORFMAN BRACKET 17
Proof. The characterization of the group follows from (2.11) and the proof of Theorem 2.19. Following the notation in the statement, the composition law can be obtained from H = f (f ′ (H dB′) dB). ∗ ∗ − −
Using the previous result, we can also give an explicit description of the Lie algebra of infinitesimal automorphisms of an exact Courant algebroid E. 3 Corollary 2.22. Given M a smooth manifold and H Λ T ∗ a closed three- form, the Lie algebra of the group of automorphisms of the twi∈sted Courant algebroid (T T ∗, , , [, ] , π) is given by ⊕ h i H 2 Lie Aut(E)= X + B X T, B Λ T ∗,L H = dB , { | ∈ ∈ X − } together with the Lie bracket given by
(2.12) [X + B,X′ + B′] = [X,X′]+ L B′ L ′ B. X − X Proof. Let F = f eBt be a one-parameter family in Aut(E) with F = Id . t t ◦ 0 E Taking derivatives in f ∗H = H dB at t = 0, it follows that t − t ∂ ∂ X := f , B = B ∂t t ∂t t ! t=0 ! t=0 | | 2 satisfies LX H = dB. Conversely, given X+B T Λ T ∗ satisfying LX H = dB, we define − ∈ ⊕ − F = f eBt Aut(E) t t ◦ ∈ where ft is the one-parameter family of diffeomorphisms generated by X and t Bt = fs∗Bsds. Z0 Notice that t t dB = f ∗dB ds = f ∗L Hds = H f ∗H t s s − s Xs − t Z0 Z0 and hence Ft is well-defined. To calculate the Lie bracket, by Proposition 2.21 we have −1 ∗ 1 1 B+f∗Bt (f ftf) B F − F F = f f f e − , ◦ t ◦ − ◦ t ◦ ◦ and hence the adjoint action is 1 F − (X′ + B′)= f ∗X′ + f ∗B′ L ∗ ′ B. − f X Setting F = Ft and taking derivatives in this expression we obtain (2.12). Observe that we use the convention of right invariant vector fields for the Lie bracket. We next provide a different view on the group Aut(E) in Proposition 2.21. As we will see, this is an infinite-dimensional Lie group which arises naturally from a 2-dimensional variational problem [150]. Here, we will avoid entering into any details about the theory of infinite-dimensional manifolds and Lie groups, but rather focus on formal aspects of the construction. Let M be a smooth manifold. Let Σ be a smooth compact surface (without boundary, say). To be consistent with our notation, we will denote the tangent and cotangent bundles of M by T and T ∗, while those of Σ will be denoted T Σ and T ∗Σ. Consider the infinite-dimensional 18 2.GENERALIZEDRIEMANNIANGEOMETRY space of smooth maps from Σ to M, denoted C∞(Σ,M). Given a closed three-form 3 3 H Λ T ∗ on M representing an integral cohomology class [H] H (M, Z), we can∈ define a functional ∈
(2.13) S : C∞(Σ,M) R/Z, ϕ ϕ∗H, H → 7→ ZY where Y is a three-manifold with boundary Σ and ϕ: Y M is any smooth extension of ϕ to Y . Since H is assumed to have integral periods→ over the integer homology H3(M, Z) of M, this functional is well-defined. Notice also that when H is exact, by Stokes’ Theorem the functional reduces to
SdB(ϕ)= ϕ∗B. ZΣ This functional is known in the mathematical physics literature as the Wess-Zumino term in the action of a two-dimensional Σ-model (see e.g. [80]), and lies at the core of the relation between generalized geometry and string theory. Using that H is closed and applying Stokes’ Theorem again, the variation of SH is given by
δSH (X)= ϕ∗LX H = ϕ∗iX H, ZY ZΣ where X Γ(ϕ∗T ) is identified with a vector in the tangent space of C∞(Σ,M) at ∈ ϕ, and X Γ(ϕ∗T ) denotes any extension of X along ϕ. Observe that the formula ∈ for δSH makes sense even if H does not have integral periods. Solutions of the variational problem, that is, critical points of SH , are given by maps ϕ such that for all X Γ(ϕ∗T ) there exists a one-form ξ Γ(T ∗Σ) such that ∈ ∈ ϕ∗(iX H)= dξ.
In particular, if X + ξ Γ(T T ∗) is a global section satisfying ∈ ⊕ (2.14) iX H = dξ, by pulling-back to Σ via ϕ we obtain tangent directions on the space of smooth maps along which SH is constant. A natural question is whether these ‘flat directions’ of SH arise from some symmetries of the functional. As is customary in variational problems, we will try to provide an answer by looking at the space of Lagrangian densities, given in this case by the space of closed three-forms on M 3 3 Ω (M) := H Λ T ∗ : dH =0 . cl { ∈ } Note the group of diffeomorphisms Diff(M) acts on C∞(Σ,M) via ϕ f ϕ, for f Diff(M) and we have 7→ ◦ ∈ SH (f ϕ)= Sf ∗H (ϕ). ◦ 3 This suggests a left action of Diff(M) on Ωcl(M) given by push-forward. Consider now the semi-direct product of Diff(M) by the space of two forms on M 2 = Diff(M) ⋉ Γ(Λ T ∗), G with group structure
(f,B) (f ′,B′) = (f f ′,B′ + f ′∗B). · ◦ Then, the left action of Diff(M) on Ω3 (M) extends to a -action defined by cl G (f,B) H = f (H dB). · ∗ − 2.2. SYMMETRIES OF THE DORFMAN BRACKET 19
In terms of the corresponding functionals, setting H′ = f (H dB) we have ∗ − 1 SH′ (ϕ)= SH (f − ϕ) ϕ∗(f B). ◦ − ∗ ZΣ Notice that our formula for the -action reproduces the change of a closed three- form under an isomorphism of CourantG algebroids in (2.11) and, in fact, we have the following. Proposition 2.23. Given M a smooth manifold and a closed three-form H, the isotropy group of H is isomorphic to the group of automorphisms of GH ≤ G the twisted Courant algebroid (T T ∗, , , [, ] , π). ⊕ h i H Proof. The proof is straightforward from Proposition 2.21 and the definition of the -action on Ω3 . G cl By the previous result, a Lagrangian density for our variational problem, given by a closed three-form H, determines a geometric gadget, the exact Courant alge- broid with twisted bracket, such that symmetries of SH are realized as automor- phisms of (T T ∗, , , [, ] , π). In order to interpret condition (2.14) in the present ⊕ h i H setup, we need to regard elements in Γ(T T ∗) as symmetries. For this, it is better to think in terms of the Lie algebra ⊕ 2 Lie = Γ(T Λ T ∗) G ⊕ with Lie bracket (see Corollary 2.22) [X + B ,X + B ] = [X ,X ]+ L B L B . 1 1 2 2 1 2 X1 2 − X2 1 Given H Ω3 , the Lie algebra of its isotropy group is ∈ cl Lie = X + B : d(i H + B)=0 . GH { X } Proposition 2.24. Given M a smooth manifold and a closed three-form H, the following defines a normal Lie subalgebra of Lie : GH 0 Lie = X + dξ i H : ξ T ∗ . GH { − X ∈ } Proof. Using the identity i[X,Y ] = [LX ,iY ] we calculate [X + dξ i H, Y + B] = [X, Y ]+ L B L (dξ i H) − X X − Y − X = [X, Y ]+ di B + i d(B + i H) i H d(L ξ) X X Y − [X,Y ] − Y = [X, Y ]+ d(i B L ξ) i H X − Y − [X,Y ] for any Y + B Lie and X + dξ i H Lie 0 , as required. ∈ GH − X ∈ GH To finish, we note that the normal Lie subalgebra Lie 0 ⊳ Lie is parametrized GH GH by elements in Γ(T T ∗). This vector space provides a natural representation for , via the action ⊕ G (f,B) (X + ξ)= f (X + ξ + iX B) · ∗ and there is a (right) -equivariant map GH 0 (2.15) Ψ: Γ(T T ∗) Lie : X + ξ X + dξ i H. ⊕ → GH 7→ − X We have now that the twisted Dorfman bracket is recovered via the infinitesimal action Ψ(X + ξ) (Y + η) = [X, Y ]+ L η i dξ + i i H, · X − X Y X 20 2.GENERALIZEDRIEMANNIANGEOMETRY and the Jacobi identity in Lemma 2.5 is a direct consequence of the -equivariance GH of the map Ψ. The map Ψ determines special elements X + ξ Γ(T T ∗) such ∈ ⊕ that Ψ(X + ξ) = X, that is, iX H = dξ. The geometric content of this condition is that the classical infinitesimal action of the vector field X on T T ∗ via the Lie derivative is realized through the twisted Dorfman bracket via th⊕e differential operator [X + ξ, ] . Going back to our original variational problem, elements · H X + ξ Γ(T T ∗) such that i H = dξ provide tangent directions in the space ∈ ⊕ X of smooth maps C∞(Σ,M) along which SH is constant. The condition iX H = dξ appears also naturally in the context of reduction of Courant algebroids by the action of a Lie group in [31]. 2.3. Generalized metrics Recall the definition of a classical Riemannian metric, which is a smooth choice of positive definite inner product on the tangent spaces of a smooth manifold. The geometric kernel of this fundamental object is clear, as it allows one to assign the size of a vector tangent to a manifold, and hence by integration along a curve one obtains concepts of length, and eventually notions of differentiation, curvature, etc. The forthcoming definition of a generalized metric plays a similar role, when we substitute curves–regarded as the trajectories of point particles–by maps from a surface into the manifold–regarded as the trajectories of strings. To start, we introduce generalized metrics seen through the lens of structure groups. In particular, recall that a classical Riemannian metric is equivalent to a reduction of the structure group of the tangent bundle to O(n). If we now take the bundle T T ∗ with its neutral inner product instead of the tangent bundle, then reductions⊕ of its structure group should render interesting geometries. As discussed in 2.1, the neutral inner product already reduces the structure group to O(n,n), and§ as it turns out a further reduction to O(n) O(n) will yield the right notion of “generalized metric”. Unwinding this reduction× in terms of tensor fields (see Lemma 2.37) finally yields the fundamental notion. 2.3.1. Linear algebra. We shall first consider the linear algebra of gener- alized metrics. Let V and W be real vector spaces which fit into a short exact sequence / / π / / (2.16) 0 V ∗ W V 0. We assume that W is endowed with a metric , of split signature (n,n) such that h i the image of π∗ : V ∗ W ∗ is isotropic. Furthermore, we assume that the first arrow is given by the composition→ of 1 π : V W with the isomorphism W W 2 ∗ ∗ ∗ ∼= ∗ given by the metric. We denote by O(n,n) the→ group of orthogonal transformations of W . Of course, (2.16) corresponds to the exact sequence in Definition 2.9 for a fixed point on the base manifold. Definition 2.25. A generalized metric on W is an endomorphism of W satisfying G (1) a, b = a,b , (2) hGa,bG i= a,h bi, (3) ThehG bilineari h G pairingi a,b is symmetric and positive definite. hG i As a basic consequence of the definitions, it follows that 2 = Id. G Lemma 2.26. A generalized metric on W is equivalent to either 2.3. GENERALIZED METRICS 21
(1) a choice of maximal compact subgroup O(n) O(n) O(n,n), × ≤ (2) an orthogonal decomposition W = V+ V such that the restriction of , ⊕ − h i to V+ is positive definite. Proof. A choice of maximal compact subgroup O(n) O(n) inside O(n,n) requires a choice of plane on which the neutral inner product× is positive definite. Call such a choice V+, and let V denote the neutral orthogonal complement of − V+, and note that the neutral inner product is negative definite on V . Thus (1) − implies (2). Given the orthogonal decomposition W = V+ V as in (2), we can define a positive definite inner product on W via ⊕ −
G(a,b)= a+,b+ a ,b , h iV+ − h − −iV− where a = a+ + a V+ V and similarly for b. Using the neutral inner product we can identify W−with∈ its⊕ dual,− and so identify G with an endomorphism of W , which is easily seen to satisfy the axioms of a generalized metric. G Conversely, given a generalized metric, since is real and 2 = Id it follows that the only possible eigenvalues for are 1, withG eigenspacesG V . It follows G ± ± that V+ is a maximal plane on which the neutral inner product is positive definite, yielding a maximal compact O(n) O(n) given by orthogonal transformations which commute with . Note that of course× the two constructions are inverses, with the spaces V playingG the same role in each. ± A generalized metric determines a series of useful isomorphisms and projections which we will employ in the sequel, and which clarify the relationship between the generalized metric and the classical data to be determined below. Definition 2.27. Given a generalized metric on W , define projection maps π : W V via G ± → ± π a := 1 (a a) . ± 2 ± G Since the pairing , vanishes on π∗V ∗ it follows that V V ∗ = 0 , and hence the map π : V V hash i no kernel. Since both are vector spaces± ∩ of{ dimension} n it follows that π±: V→ V is an isomorphism. ± → Definition 2.28. Given a generalized metric on W , define isomorphisms G 1 (2.17) σ := π−V : V V . ± | ± → ± Using now either σ+ or σ , we can define an isotropic splitting of (2.16) (see (2.5)) − 1 (2.18) σ = σ π∗τ , ± − 2 ± 2 where τ Sym V ∗ is defined by τ (X, Y )= σ X, σ Y . Recall that, similar to ± ∈ ± h ± ± i Proposition 2.10, the isotropic splitting σ determines an isometry F : V V ∗ W defined by ⊕ → 1 F (X + ξ)= σX + 2 π∗ξ for the symmetric product (2.1). Lemma 2.29. A generalized metric on W is equivalent to pair (g, σ), where g is a positive definite metric on V and σ G: V W is an isotropic splitting of (2.16), such that → 1 1 0 g− 1 (2.19) F − F = , F − (V )= X g(X): X V . G g 0 ± { ± ∈ } 22 2.GENERALIZEDRIEMANNIANGEOMETRY
We refer to the generalized metric determined by (g, σ) as (g, σ). G Proof. Given a generalized metric , we can construct σ as in (2.18). Notice that G 1 1 σ+(X) π∗τ+(X) σ + π∗τ ,a =0 − 2 − − 2 − for all a W , and therefore σ is independent of the choice of σ . We also have ∈ ± 0 < σ X, σ X = σ X, σ X = τ (X,X) hG + + i h + + i + for X = 0, and therefore g = τ is a positive definite metric on V . Thus, 6 + 1 F (X + g(X)) = σX + 2 π∗g(X)= σ+X 1 and therefore F − (V )= X + g(X): X V . Finally, since F is an isometry and + { ∈ } V is orthogonal to V+, (2.19) follows. Conversely, given a pair (g, σ), where g is a positive− definite metric on V and σ : V W is an isotropic splitting, it is easy to verify that defined by (2.19) is a generalized→ metric on W . G Our next goal is to make our previous discussion more explicit, writing a gener- alized metric in terms of tensors on the vector space V in (2.16). This will help us to determine the classical data which is equivalent to the specification of a generalized metric, in the geometric situation below. We fix an isotropic splitting σ0 : V W , inducing an identification → W = V V ∗, ⊕ so that σ0(X)= X and the neutral metric on W is given by (2.1). Given another isotropic splitting σ : V V V ∗, it follows that b = σ σ : V V ∗, which can → ⊕ − 0 → be identified with an element b V ∗ V ∗. The isotropic condition implies further 2 ∈ ⊗ that b Λ V ∗ and therefore ∈ σ(X)= X + b(X)= eb(X). b Thus, we can identify the isometry F : V V ∗ V V ∗ with e , that is, ⊕ → ⊕ 1 0 X F (X + ξ)= eb(X + ξ)= = X + ξ + i b. b 1 ξ X The next proposition follows now as an immediate consequence of Lemma 2.29.
Proposition 2.30. A generalized metric on V V ∗ is equivalent to a pair G ⊕ 2 (g,b) consisting of a positive definite metric g on V and b Λ T ∗, such that ∈ 1 1 1 b 0 g− b g− b g− (2.20) = e e− = − 1 1 . G g 0 g bg− b bg− − We refer to the generalized metric determined by (g,b) as (g,b). Furthermore, 2 G k k given k Λ (V ∗), we obtain a new generalized metric via k := e e− , with associated∈ pair (g,b + k). G G In terms of the previous explicit description of a generalized metric = (g,b) G G on V V ∗, we have that ⊕ V = X + (b g)X, X V , ± { ± ∈ } that the projections π : V V ∗ V in Definition 2.27 are given by ± ⊕ → ± 1 1 1 1 π (X + ξ)= (X + (b g)X)+ (ξ bg− ξ g− ξ), ± 2 ± 2 ± ± and that the linear sections σ : V V in Definition 2.28 are ± → ± σ (X)= X + (b g)X. ± ± 2.3. GENERALIZED METRICS 23
To conclude our study of the linear theory, we next characterize the tangent space to the space of generalized metrics. It will convenient to go back to the abstract setup at the beginning of this section (see (2.16)). We denote (W ) End(W ) G ⊂ the space of generalized metrics on W . Lemma 2.31. The tangent space at to the space of generalized metrics (W ) is given by G G Φ End(W ) Φ Λ2W, Φ + Φ=0 . G ∈ | ∈ G G Proof. Let be a one-parameter family of generalized metrics on W , with Gt 0 = . Denote G G d ˙ = End(W ). G dtGt ∈ t=0
Setting Φ = ˙, by Definition 2.25 it follows that GG (2.21) Φ Λ2W, Φ + Φ=0. ∈ G G It remains to show that an element Φ End(W ) satisfying (2.21) can be realized ∈ t Φ through a curve of generalized metrics. For this, consider Φt = e− 2 O(W ) and define ∈
t =Φt Φ t. G G − It is easy to see that defines a path of generalized metrics and Gt d ˙ = = 1 Φ + 1 Φ= Φ, G dt Gt − 2 G 2 G G t=0 as required.
By the second condition in (2.21), a tangent vector Φ at induces well-defined maps G
Φ V : V V+, Φ V+ : V+ V . | − − → | → − Furthermore, the first condition in (2.21) implies that Φ V+ is uniquely determined | by Φ V , thus leading us to the following result. | −
Lemma 2.32. The map Φ Φ V defines a linear isomorphism between the → | − tangent space at and Hom(V , V+). G −
Proof. By Lemma 2.31, the linear map Φ Φ V is well-defined and injective. → | − Given R+ Hom(V , V+), we can define R Hom(V+, V ) by ∈ − − ∈ − R a+,b := a+, R+b h − −i − h −i for any a+ V+ and b V . Then it follows that Φ = R+ + R End(W ) is ∈ − ∈ − − ∈ tangent to , and furthermore Φ V = R+. G | − Using Lemma 2.29 and Proposition 2.30, we unravel our previous discussion in terms of the vector space V in (2.16). By Lemma 2.29, the space of generalized metrics (W ) is in one-to-one correspondence with G (V ) (W ), M × S 24 2.GENERALIZEDRIEMANNIANGEOMETRY where (V ) denotes the space of positive definite metrics on V and (W ) denotes the spaceM of isotropic splittings σ : V W of the sequence (2.16). UponS a choice of an element (g, σ) (V ) (W ),→ the space (W ) is bijective to ∈M × S G 2 GL(V )/O(V ) Λ V ∗, × where O(V ) denotes the space of orthogonal transformations of (V,g). Thus, the tangent space at = (g, σ) can be canonically identified with G G 2 2 Sym V ∗ Λ V ∗ = V ∗ V ∗. ⊕ ∼ ⊗ Lemma 2.33. Let = (g, σ) be a generalized metric, and consider the induced G G identification W = V V ∗ as in Lemma 2.29. Given a one-parameter family of generalized metrics ⊕= (g , σ ) with = , Gt G t t G0 G 1 1 1 ˙ 1 1 d b˙ 0 g− gg˙ − g− b g− gg˙ − (2.22) ˙ = t = [1 e , 0]+ − = − − , G dtG − G g˙ 0 g˙ bg˙ 1 t=0 −
where d 2 d 2 g =g ˙ Sym V ∗, σ = b˙ Λ V ∗. dt t ∈ dt t ∈ t=0 t=0
In particular, the associated tangent vector to the space of generalized metrics in
Lemma 2.31 is 1 1 ˙ 1 ˙ g− g˙ g− bg− (2.23) Φ = = 1 . GG b˙ gg˙ − − −
Proof. Using the identification W = V V ∗ induced by σ, following the notation in Lemma 2.30 we can write = (g ⊕,b ) for Gt G t t 2 (g ,b ) (V ) Λ V ∗ t t ∈M × and b0 = 0. Then, (2.22) follows easily taking derivatives in expression (2.20). We leave (2.23) to the reader.
Remark 2.34. Given Φ End(W ) satisfying (2.21) it is an exercise to verify ∈2 2 that there exists (g, ˙ b˙) Sym V ∗ Λ V ∗ such that (2.23) holds. ∈ ⊕ Given a generalized metric and a tangent vector Φ, using the isomorphism G σ : V V in (2.17) combined with the map π : V+ V we can regard the − → − → homomorphism Φ V in Lemma 2.32 as an element | −
π Φ V σ End(V ). ◦ | − ◦ − ∈ Then, using (2.23) we have the following. Lemma 2.35. Let = (g, σ) be a generalized metric. Given a tangent vector Φ as in (2.23), we haveG G 1 ˙ (2.24) π Φ V σ (X)= g− (g ˙(X) b(X)). ◦ | − ◦ − −
Proof. Using the identification W = V V ∗ induced by σ we have σ (X)= X g(X), and the proof follows from (2.23).⊕ − − 2.3. GENERALIZED METRICS 25
2.3.2. Generalized metrics on manifolds. We next turn to the geometry, by introducing the notion of generalized metric on a smooth manifold M. Consider the exact Courant algebroid (T T ∗, , , [, ], π) studied in 2.1. ⊕ h i § Definition 2.36. Given M a smooth manifold, a generalized metric on T T ∗ ⊕ is an endomorphism Γ(End T T ∗) satisfying G ∈ ⊕ (1) (X + ξ), (Y + η) = X + ξ, Y + η , (2) hG(X + ξ),G Y + η =i X h+ ξ, (Y + η)i, (3) ThehG bilinear pairingi h (X + ξG), Y + η iis symmetric and positive definite. hG i Relying on Lemma 2.26, a generalized metric provides a reduction of the O(n,n)-bundle of frames of T T ∗ to a maximal compact O(n) O(n), thus show- ing that generalized metrics are⊕ natural analogues of ordinary met× rics (regarded as reductions of the frame bundle of M to the orthogonal group O(n)). The details of the following lemma are left to the reader.
Lemma 2.37. A generalized metric on T T ∗ is equivalent to either ⊕ (1) a reduction of the bundle of frames of T T ∗ to a maximal compact subgroup O(n) O(n) O(n,n), ⊕ × ≤ (2) an orthogonal bundle decomposition T T ∗ = V+ V such that the restriction of , to V is positive definite.⊕ ⊕ − h i + We will use the same notation for the bundle maps π , σ , σ as in the linear theory. The next proposition is fundamental to the study of± gene± ralized geometry, indicating the classical data which is equivalent to the specification of a generalized metric. In particular, a generalized metric is seen equivalent to a classical Riemann- ian metric g, together with a b-field. We have already seen closed b-fields playing a role as symmetries of the Courant bracket in 2.2, whereas here the associated b-field is not closed, and plays a nontrivial role in§ determining relevant associated geometric quantities. The proof of the following is straightforward from Proposition 2.30. Proposition 2.38. Given M a smooth manifold, a generalized metric on G T T ∗ uniquely determines a pair (g,b) consisting of a Riemannian metric on M ⊕ 2 and two-form b Γ(Λ T ∗). Conversely, such a pair (g,b) determines via ∈ G 1 1 1 b 0 g− b g− b g− = e e− = − 1 1 . G g 0 g bg− b bg− − We refer to the generalized metric determined by (g,b) as (g,b). Furthermore, 2 G k k given k Γ(Λ T ∗), we obtain a new generalized metric via k := e e− , with associated∈ pair (g,b + k). G G By Proposition 2.29, a generalized metric determines an isotropic splitting G on T T ∗ given by ⊕ σ(X)= eb(X)= X + b(X), and therefore a preferred presentation of the Dorfman bracket on Γ(T T ∗): ⊕ b b b e− [e (X + ξ),e (Y + η)] = [X, Y ]+ L η i dξ + i i db. X − Y Y X We also obtain a preferred representative db of the (trivial) Severaˇ class of the exact Courant algebroid (T T ∗, , , [, ], π). This situation extends naturally to the case of generalized metrics⊕ on generalh i exact Courant algebroids, as considered in Definition 2.9. 26 2.GENERALIZEDRIEMANNIANGEOMETRY
Definition 2.39. Given M a smooth manifold and an exact Courant algebroid E over M, a generalized metric on E is a bundle endomorphism Γ(End E) satisfying G ∈ (1) a, b = a,b , (2) hGa,bG i= a,h bi, (3) ThehG bilineari h G pairingi a,b is symmetric and positive definite. hG i The analogue of Proposition 2.38 for the case of a general exact Courant al- gebroid is provided by the following proposition. The proof follows directly from Lemma 2.29. Recall that an isotropic splitting σ : T E determines an isometry → F : T T ∗ E defined by ⊕ → 1 F (X + ξ)= σX + 2 π∗ξ for the symmetric product (2.1). Proposition 2.40. Given M a smooth manifold and an exact Courant alge- broid E over M, a generalized metric is equivalent to pair (g, σ), where g is a positive definite metric on M and σ : GT E is an isotropic splitting of (2.16), such that → 1 1 0 g− 1 F − F = , F − (V )= X g(X): X T . G g 0 ± { ± ∈ } Consequently, a generalized metric determines a preferred presentation of the Dorf- man bracket on Γ(E), 1 F − [F (X + ξ), F (Y + η)] = [X, Y ]+ L η i dξ + i i H, X − Y Y X where H is a preferred representative of the Severaˇ class of E, given by H(X,Y,Z)=2 [σX,σY ],σZ . h i Given a generalized metric on an exact Courant algebroid E over M, our next goal is to characterize the groupG of generalized isometries, that is, the group of Courant automorphisms F : E E which preserve the generalized metric. Us- ing the isotropic splitting induced→ by , E is isomorphic to the twisted Courant G algebroid (T T ∗, , , [, ]H , π), whose automorphism group has been characterized in Proposition⊕ 2.21.h i Proposition 2.41. Let = (g, σ) be a generalized metric on an exact Courant algebroid E over M. The groupG ofG generalized isometries of , defined as the group of Courant automorphisms F : E E which preserve theG generalized metric, is given by →
f : f Diff(M), such that f ∗H = H, f ∗g = g Aut(E) { ∈ }⊂ 3 ˇ where H Ωcl(M) is the preferred representative of the Severa class of E deter- mined by ∈. G Proof. Consider the isomorphism E ∼= (T T ∗, , , [, ]H , π) given by the generalized metric . With this identification, by Lemma⊕ h 2.29)i we have G 0 g 1 = − . G g 0 By Proposition 2.21, a general element f eB Aut(E) preserves , that is, ◦ ∈ G f eB = f eB, ◦ ◦ G G◦ ◦ 2.3. GENERALIZED METRICS 27 if and only if
1 1 1 (f ∗g)− (B(X)+ ξ)= g− ξ, (f ∗g)(X)= B(g− ξ)+ g(X) for all X +ξ Γ(T T ∗). Setting e.g. ξ = 0 this implies f ∗g = g, and consequently ∈ ⊕ B = 0, as claimed. Returning again to Proposition 2.21 it follows that f ∗H = H.
Remark 2.42. With the notation in Proposition 2.38, the action of F = f eB on is ◦ G 1 F F − = (f g,f B). ◦G◦ G ∗ ∗ In particular, by Lemma 2.33 the infinitesimal action of X + B Lie Aut(E) is given by ∈ 1 1 1 g− B g− (LX g)g− (X + B) = − 1 . · G LX g Bg− − To finish this section, we show that a generalized metric determines an energy G functional S on the space of smooth maps C∞(Σ,M) from a surface Σ into our target manifoldG M. This functional can be thought of as an analogue of the energy functional which associates the length squared to a parametrized curve on M, leading to the notion of distance and geodesics in Riemannian geometry. Morally, 1 S can be similarly used to define a pseudo-metric on the space of loops C∞(S ,M) ofGM, by extremizing the energy with prescribed boundary components. We will follow our discussion at the end of 2.2. Let M be an oriented smooth§ manifold. Let Σ be a smooth compact surface (oriented and without boundary, say). Consider the infinite-dimensional space of smooth maps C∞(Σ,M). Let (E, ) be an exact Courant algebroid over M endowed with a generalized metric . By LemmaG 2.40, determines a Riemannian metric g G 3 G 3 and a closed three-form H Λ T ∗ on M. We will assume that [H] H (M, Z). We ∈ ∈ fix a Riemannian metric η on Σ with volume dVη. Then, we can define a functional
1 2 (2.25) S : C∞(Σ,M) R/Z, ϕ dϕ dVη + ϕ∗H. G → 7→ 2 | | ZΣ ZY 2 Here, dϕ denotes the norm squared of dϕ Γ(Σ,T ∗Σ ϕ∗T ) with respect to | | ∈ ⊗ the metric η∗ ϕ∗g and Y is a three-manifold with boundary Σ and ϕ: Y M is any smooth⊗ extension of ϕ to Y . This functional is known in the mathematical→ physics literature as the Polyakov action with Wess-Zumino term in the action of a two-dimensional Σ-model (see e.g. [80]). Note that the second summand in the definition of S corresponds to the functional SH in 2.2. Our next result shows that the criticalG points of S provide an interesting generalization§ of the harmonicity G condition for maps ϕ C∞(Σ,M). ∈ Proposition 2.43. The critical points ϕ C∞(Σ,M) of the functional S are the solutions of the equation ∈ G
1 ∗ ϕ + ϕ∗g− H, dV =0, ∇ ∇ η η where ∗ is the rough Laplacian for the product of Levi-Civita connections of η ∇ ∇ 1 1 and g, and ϕ∗g− H, dVη η Γ(ϕ∗T ) denotes the product of ϕ∗g− H Γ(ϕ∗T 2 ∈ ∈ ⊗ Λ T ∗Σ) with dVη with respect to η. 28 2.GENERALIZEDRIEMANNIANGEOMETRY
Proof. A calculation in coordinates shows that the functional S can be al- ternatively written as G
1 2 S (ϕ)= ϕ dVη + ϕ∗H. G 2 |∇ | ZΣ ZY This follows simply from the fact that action of the Levi-Civita connection on functions coincides with the exterior differential. Then, the variation of S along G X Γ(ϕ∗T ), identified with a vector in the tangent space of C∞(Σ,M) at ϕ, is given∈ by
δS (X)= ϕ, X dVη + ϕ∗iX H G h∇ ∇ i ZΣ ZΣ 1 = ∗ ϕ, X dV + ϕ∗g− H,X dV dV , h∇ ∇ i η ⊗ η η ZΣ ZΣ as claimed.
2.4. Divergence operators As we have seen in the previous section, natural notions in generalized geometry are described in terms of the O(n,n)-bundle of frames of T T ∗. Starting with its definition as a reduction to a maximal compact subgroup,⊕ a generalized metric is a posteriori seen to be equivalent to a classical Riemannian metric g together G with a b-field. Since the neutral metric on T T ∗ is fixed in this geometry, how does generalized geometry keep track of conformal⊕ rescalings of the classical metric associated to ? In this section we answer this question, by means of the following device introducedG in [70]. Definition 2.44. Let E be an exact Courant algebroid over a smooth manifold M. A divergence operator on E is a differential operator div: Γ(E) C∞(M) satisfying → (2.26) div(fe)= π(e)(f)+ f div(e), for all e Γ(E) and f C∞(M). ∈ ∈ As a consequence of the Leibniz rule (2.26), the divergence operators on E form an affine space modeled on Γ(E), since if we fix a divergence operator div, any other divergence operator div′ is given by
div′ = div + e, h ·i for some e Γ(E). The following result shows that this space is always non-empty. ∈ Lemma 2.45. Let E be an exact Courant algebroid over M. Given a connection on T , one obtains a divergence operator on E via ∇ div∇(e)=tr π(e), ∇ where π : E T is the anchor map. → Proof. This follows from a simple calculation:
div∇(fe)= f div∇(e)+tr df π(e)= f div∇(e)+ π(e)(f). ⊗ 2.4. DIVERGENCE OPERATORS 29
More explicitly, consider an isotropic splitting σ : T E and the induced → identification E = T T ∗, with anchor map ⊕ π(X + ξ)= X. Then, it follows that, for e = X + ξ,
div∇(e)=tr X. ∇ Assuming now that is torsion-free, so that tr X = tr ( L ), and that ∇ ∇ ∇X − X there exists a density µ Γ( det T ∗ ) preserved by , we obtain ∈ | | ∇ div∇(e)µ = LX µ, which recovers the standard notion of divergence for the vector field π(e)= X. In particular, for any choice of metric g on M we can choose its Levi-Civita connection and the associated Riemannian density µg, obtaining a divergence operator ∇ g g g div (e)µ = LX µ . Definition 2.46. Given a generalized metric on an exact Courant algebroid E, define its Riemannian divergence as G g Lπ(e)µ divG (e)= , µg where g is the Riemannian metric associated to in Lemma 2.40, and µg is the associated Riemannian density. G The relation between divergence operators and conformal geometry appears via the notion of Weyl structure [67]. Recall that a conformal structure on a smooth C manifold M is a set of Riemannian metrics, such that if g,g′ there exists a ∈ C smooth function f C∞(M) such that ∈ f g′ = e g. Definition 2.47. Let be a conformal structure on a smooth manifold M. A Weyl structure is a map C W : Γ(T ∗) f C → such that W (e g)= W (g) df for all g and f C∞(M). − ∈C ∈ Let us fix an exact Courant algebroid E over M, and denote by (E) the space of generalized metrics on E. By Lemma 2.40, there is a bijection G (E) = (T ) (E), G ∼ M × S where (T ) and (E) denote the space of Riemannian metrics on M and the space ofM isotropic splittingsS of E, respectively. Given (g, σ) (T ) (E), we denote (g, σ) the associated generalized metric. Our next∈ result M shows× S that a divergenceG operator provides a natural analogue of a Weyl structure in the context of generalized geometry. Lemma 2.48. Let div be a divergence operator on E. Define
W : (E) Γ(E): div divG, G → G 7→ − where divG is the Riemannian divergence of (see Definition 2.46). Then, G W ( (ef g, σ)) = W ( (g, σ)) n df, G G − h i for any (g, σ) (T ) (E) and any f C∞(M). ∈M × S ∈ 30 2.GENERALIZEDRIEMANNIANGEOMETRY
Proof. Consider the identification E = T T ∗ given by = (g, σ). Then, n f ef g f g ⊕ G G setting ′ = (e g, σ) we have µ = e 2 µ and therefore G G n f g ′ 2 LX (e µ ) n divG (X + ξ)= n = divG(X + ξ)+ 2 df(X) = divG(X + ξ)+ n df, X . e 2 f µg h i
Our next goal is to understand a natural compatibility condition between a generalized metric and a divergence operator, which plays an important role in the definition of the generalized Ricci flow. Given a generalized metric on E and e Γ(E) we define an endomorphism G ∈ [e, ] End(E), G ∈ by [e, ](e′) := [e, e′] [e,e′]. G G − G It is an easy exercise, using axiom (3) of the Dorfman bracket in Definition 2.8, to check that [e, ] indeed defines a tensor. G Definition 2.49. Given a generalized metric on E, we say that e Γ(E) is an infinitesimal isometry if [e, ] = 0. G ∈ G Lemma 2.50. Let be a generalized metric on E. Then, e Γ(E) is an infinitesimal isometry ifG and only if ∈
LX g =0, dξ = iX H, where e = X + ξ via the identification E = T T ∗ given by . ⊕ G Proof. Consider the identification E = T T ∗ given by = (g, σ), so that e = X + ξ. Using the notation in 2.2, we have⊕ (see (2.15) andG RemarkG 2.42) § 1 1 1 g− (dξ iX H) g− (LX g)g− [e, ]=Ψ(X + ξ) = − − 1 , G · G LX g (dξ iX H)g− − − and the result follows. Remark 2.51. Following the discussion in 2.2, an infinitesimal isometry pro- § vides a flat direction for the Wess-Zumino functional SH in (2.13). We introduce the following compatibility condition. Definition 2.52. Let E be an exact Courant algebroid over M. A pair ( , div) is compatible if W ( ) is an infinitesimal isometry of , that is, G G G [W ( ), ]=0. G G As a straightforward consequence of Lemma 2.40 and Lemma 2.50 we obtain the following characterization of compatible pairs ( , div). G Proposition 2.53. Let E be an exact Courant algebroid over M. Then, ( , div) is a compatible pair if and only if G 1 div = divG + σ(X)+ π∗ξ, 2 · where = (g, σ) and G G LX g =0, dξ = iX H. 2.4. DIVERGENCE OPERATORS 31
An interesting class of infinitesimal isometries, and hence of compatible pairs, is provided by closed 1-forms, that is, given by X = 0 and dξ = 0. More invariantly, this condition can be expressed in terms of the anchor map as [W ( ), ]=0, π(W ( )) =0. G G G This class of compatible pairs, associated to closed one-forms on the manifold, will be formally introduced in Definition 3.40 (see also Definition 3.48), and further studied in 3.6 and 3.7. § §
CHAPTER 3
Generalized Connections and Curvature
Having established the fundamental properties of generalized metrics, we turn to the question of connections and curvature. The fundamental theorem of Rie- mannian geometry states that for each Riemannian metric there is a unique linear connection which is compatible with the metric and torsion-free. Here the story is more complicated, once one observes that the condition of having zero torsion does not determine a metric-compatible generalized connection uniquely. The relevant connections in generalized Riemannian geometry will be related to certain classi- cal connections on the tangent bundle, which in most cases will have nontrivial torsion. We analyze the curvature of these connections from the generalized and classical points of view, eventually leading to the definition of the generalized Ricci and scalar curvatures. In particular, we will study in detail the classical Bismut connection, a metric compatible connection with totally skew-symmetric torsion, deriving formulas for the curvature of this connection as well as Bianchi identities. With these fundamental concepts at hand, we turn to the task of defining canonical generalized geometries. For this, we seek to extend the classical Ein- stein equation to the setting of generalized geometry. By coupling the classical Einstein-Hilbert action to the torsion we motivate an Einstein-like equation from a variational point of view, and give nontrivial examples of generalized Einstein struc- tures. In particular, we will prove that all Bismut-flat connections are associated to bi-invariant metrics on semisimple Lie groups.
3.1. Generalized connections We start with the study of connections in the setting of generalized geometry. In the spirit of treating a Courant algebroid E as the generalized tangent bundle, we want to not only differentiate sections of E, but we want to differentiate them in the tangent as well as cotangent ‘directions’. Parallel to the notion of orthogonal affine connection in Riemannian geometry, we introduce next the concept of generalized connection, which allows us to differentiate sections of E along directions in E, in a way compatible with the inner product , . The study of generalized connections was initiated in [3], and largely expandedh ini [69, 70, 89, 109]. Definition 3.1. A generalized connection on an exact Courant algebroid E is a first-order differential operator
D : Γ(E) Γ(E∗ E) → ⊗ which satisfies the Leibniz rule and is compatible with , , i.e. h i Da(fb)= π(a)(f)b + fDab, (3.1) π(a) b,c = D b,c + b,D c . h i h a i h a i 33 34 3. GENERALIZED CONNECTIONS AND CURVATURE
We will use the notation D b = a,Db for the natural pairing between elements in a h i E∗ and elements in E. Lemma 3.2. Given E an exact Courant algebroid, the space of generalized con- nections is a nonempty affine space modeled on the vector space
Γ(E∗ o(E)), ⊗ where o(E)= Φ End(E): Φ, = , Φ . { ∈ h i −h i} Proof. Fix a standard orthogonal connection E on E, and then one can check that the formula ∇ (3.2) D b = E b a ∇π(a) defines a generalized connection on E. The proof that the difference of two gen- eralized connections lies in Γ(E∗ o(E)) is a straightforward exercise using the axioms (3.1). ⊗ Example 3.3. Using Proposition 2.10, choose an isotropic splitting σ : T E, → with corresponding isomorphism F : E T T ∗. Fix an affine connection on → ⊕ ∇ T , with connection ∗ naturally induced on T ∗ by enforcing ∇ X(α(Y )) = α( Y ) + ( ∗ α)(Y ). ∇X ∇X Then it is straightforward to check that the connection E = ∗ ∇ ∇ ⊕ ∇ on T T ∗ is orthogonal with respect to , , and thus will define a generalized con- nection⊕ via (3.2). Finally, pulling-back Dh ivia F , we obtain the desired generalized connection on E. Definition 3.4. Given E an exact Courant algebroid and D a generalized connection on E, the torsion TD of D is defined by (3.3) T (a,b,c)= D b D a [a,b],c + D a,b , D h a − b − i h c i for any a,b,c Γ(E). ∈ Using the axiomatic definition of Courant algebroid and the Leibniz rule for a generalized connection (see Definition 2.8 and Definition 3.1), one can easily 3 prove that formula (3.3) defines a three-tensor TD Γ(E⊗ ). Another elementary calculation using that D is compatible with , shows∈ that, indeed, h i 3 (3.4) T Γ(Λ E∗). D ∈ Further computations show that this definition is equivalent to other formulations which have appeared (eg. [3, 89]). Rather than giving an abstract proof of the sym- metries of the generalized torsion, we derive these by means of an explicit formula in the next result. We will use σ(a,b,c) to denote sum over cyclic pertumutations on a,b,c.
Lemma 3.5. Given M a smooth manifold let E = T T ∗ with H-twisted ⊕ E Dorfman bracket (2.6). Let be an affine connection on M, and let = ∗. o ∇ E ∇ ∇⊕∇ Given χ Γ(E∗ (E)), the torsion of D = π( ) + χ is given by ∈ ⊗ ∇ · 1 TD(a,b,c)= T (πa,πb),c + χab,c H(πa,πb,πc) . (3.5) h ∇ i h i− 6 σ(a,b,c) X 3.1. GENERALIZED CONNECTIONS 35
0 E Proof. Denoting D = π( ), we have that ∇ · T (a,b,c)= T 0 (a,b,c)+ χ b χ a,c + χ a,b D D h a − b i h c i = T 0 (a,b,c)+ χ b,c , D h a i σ(Xa,b,c) where we have used that χba,c = χbc,a . Setting now a = X + ξ, b = Y + η, c = Z + ζ, we define h i −h i N := D0b D0a [a,b] a − b − = T (X, Y )+ X∗ η Y∗ ξ LX η + iY dξ iY iX H. ∇ ∇ − ∇ − − It follows that
T 0 (a,b,c)= N,c + D a,b D h i h c i = N,c + E a,b h i h∇Z i 1 1 = N,c + η( X)+ i ( ∗ ξ) h i 2 ∇Z 2 Y ∇Z = N,c + 1 η( X) 1 ξ( Y )+ 1 i d(ξ(Y )) h i 2 ∇Z − 2 ∇Z 2 Z 1 = H(X,Y,Z)+ T (πa,πb),c + X∗ η Y∗ ξ LX η + iY dξ,c − 2 h ∇ i h∇ − ∇ − i + 1 η( X) 1 ξ( Y )+ 1 i d(ξ(Y )) 2 ∇Z − 2 ∇Z 2 Z 1 = H(X,Y,Z)+ T (πa,πb),c + Z X X Z,b + Y Z Z Y,a − 2 h ∇ i h∇ − ∇ i h∇ − ∇ i + 1 i d(η(Z)) + 1 i d(ξ(Y )) 1 i d(ξ(Z)) 1 i L η + 1 i i dξ 2 X 2 Z − 2 Y − 2 Z X 2 Z Y 1 = H(X,Y,Z)+ T (πa,πb),c + Z X X Z,b + Y Z Z Y,a − 2 h ∇ i h∇ − ∇ i h∇ − ∇ i + 1 (L i i L )η + 1 (i L L i )ξ 2 X Z − Z X 2 Z Y − Y Z = 1 H(X,Y,Z)+ T (πa,πb),c + T (πb,πc),a + T (πc,πa),b , − 2 h ∇ i h ∇ i h ∇ i as claimed. The last part of the statement follows from the standard symmetry T (X, Y )= T (Y,X) for the torsion of an affine connection on T . ∇ − ∇ ∇ With the previous result at hand, we can provide some Lie theoretic motiva- tion for Definition 3.4. Suppose for a moment that we have an abstract Courant algebroid E and assume that M is just one point. Then, the axioms in Definition 2.8 tell us that E is a quadratic Lie algebra, that is, a Lie algebra endowed with an invariant bilinear form , . In this setup, a generalized connection is simply an h i element χ E∗ o(E) and the torsion ∈ ⊗ T (a,b,c)= χ b,c 1 [a,b],c χ h a i− 3 h i σ(Xa,b,c) 3 measures the difference in Λ E∗ between the total skew-symmetrization of χ and the canonical Cartan three-form on the quadratic Lie algebra E. In order to study torsion-free generalized connection compatible with a general- ized metric in the next section, we finish this section with a detailed analysis of the space of generalized connections with fixed torsion, and its relation with divergence 3 operators in Definition 2.44. Let T be an element in Γ(Λ E∗), and consider the set T of generalized connections on E with fixed torsion T D T . D ⊂ D 36 3. GENERALIZED CONNECTIONS AND CURVATURE
Lemma 3.6. Given E a Courant algebroid and D a connection with torsion T . The space T is an affine space modeled on D
3 (3.6) Σ = χ Γ(E⊗ ): χ(a,b,c)= χ(a,c,b), χ(a,b,c)=0 . ∈ − σ(Xa,b,c) Proof. Exercise . Remark 3.7. The space Σ admits a canonical splitting (3.7) Σ = Σ Γ(E), 0 ⊕ where e Γ(E) corresponds to the mixed symmetric tensor χe defined by ∈ χe(a,b,c)= a,b e,c e,b a,c h ih i − h ih i and the orthogonal complement of Γ(E) is given by
2n (3.8) Σ = χ Σ: χ(e , e , )=0 . 0 ∈ i i · i=1 n X o Here, 2n is the rank of E (twice the dimension ne of the smooth manifold M), e { i} is an orthogonal local frame for E and the ei are sections of E defined so that e , e = δ . { } h i j i ij More explicitly, given an arbitrary element χ Γ(E∗ o(E)) we have a unique e ∈ ⊗ decompositione e (3.9) χ = χ0 + χ , where χe b = a,b e e,b a a h i − h i with 1 2n e = χ e . 2n 1 ei i i=1 − X It follows by construction that χ χe Σ . − ∈ 0 e e The E∗-valued skew-symmetric endomorphism χ in the decomposition (3.9) is reminiscent of the ‘1-form valued Weyl endomorphisms’ in conformal geometry, which appear in the variation of a metric connection with fixed torsion upon a e conformal change of the metric. Similarly, our E∗-valued Weyl endomorphisms χ enable us to deform a generalized connection D with fixed torsion T inside the space T . For later applications in this work, it is important to study the interaction Dbetween the space T and the notion of divergence operator. This will allow us to ‘gauge-fix’ the WeylD degrees of freedom in the space of generalized connections T corresponding to Γ(E) in (3.7). The basic observation is that any generalized connectionD determines a divergence operator as in 2.4. Given this, one can show that the divergence constrains the Weyl degrees of freedom§ in the space generalized connections with fixed torsion, as required. Definition 3.8. The divergence operator of a generalized connection D on E is div (a)=tr Da C∞(M). D ∈ 3.2. METRIC COMPATIBLE CONNECTIONS 37
3 Lemma 3.9. Given E an exact Courant algebroid fix T Γ(Λ E∗) and div : Γ(E) ∈ → C∞(M) a divergence operator on E. Then T (div) := D T = T, div = div T D { ∈ D | D D } ⊂ D is an affine space modeled on Σ0, as defined in (3.8).
T Proof. Given D′,D , we denote D′ = D + χ with χ Σ (see (3.6)). Then, we have ∈ D ∈ 2n div ′ (a) = div (a) χ e ,a . D D − h ei i i i=1 X e Decomposing χ = χ + χe as in (3.9), for e Γ(E), we obtain 0 ∈ 2n χ e = (2n 1)e. ei i − i=1 X e Imposing now divD′ = divD = div, implies e = 0, which concludes the proof.
3.2. Metric compatible connections In this section we prove an analogue in generalized geometry of the Fundamen- tal Lemma of Riemannian geometry, that is, the existence of a unique torsion-free connection compatible with a given metric. In generalized geometry there is always the freedom to choose a compatible torsion-free generalized connection, that we will constrain via the Weyl gauge fixing mechanism introduced in Lemma 3.9. This will lead us to the definition of canonical operators in the next sections, providing a weak analogue of the Fundamental Lemma. Throughout this section we fix an exact Courant algebroid E over a smooth manifold M and a generalized metric . Ideas in this direction appeared originally in [89, 100]. Our discussion here followsG closely [70]. Definition 3.10. A generalized connection D on E is compatible with if G D 0. G ≡ Equivalently, this condition will hold if
D(Γ(V )) Γ(E∗ V ). ± ⊂ ⊗ ± Thus, the space of -compatible generalized connections on E, which we denote ( ), is an affine spaceG modeled on D G Γ(E∗ o(V+)) Γ(E∗ o(V )). ⊗ ⊕ ⊗ − Such a connection is thus determined by four first-order differential operators + D : Γ(V+) Γ(V ∗ V+),D+− : Γ(V ) Γ(V+∗ V ), − → − ⊗ − → ⊗ − + D+ : Γ(V+) Γ(V+∗ V+),D− : Γ(V ) Γ(V ∗ V ), → ⊗ − − → − ⊗ − satisfying the Leibniz rule (formulated in terms of the projections π ). The opera- ± tors D± are called pure type, whereas the operators D± are called mixed type. We furthermore± say that the torsion of such a connection D∓ is of pure type if 3 3 TD Γ(Λ V+∗ Λ V ∗). ∈ ⊕ − 38 3. GENERALIZED CONNECTIONS AND CURVATURE
The next lemma shows that the mixed-type operators D± are fixed, if we vary a generalized connection D inside ( ) while preserving the∓ torsion T . And D G D furthermore when the torsion is of pure-type then D± are uniquely determined by the generalized metric and the bracket on E. ∓ 3 Lemma 3.11. Let D ( ) with torsion T Γ(Λ E∗). ∈ D G ∈ (1) If D′ ( ) and TD′ = T , then (D′)± = D±. ∈ D G ∓ ∓ (2) Furthermore, T is of pure-type if and only if the mixed-type operators D± are ∓
(3.10) Da b+ = [a ,b+]+,Da+ b = [a+,b ] . − − − − − Proof. Given a,b,c Γ(E), we have ∈ (3.11) T (a ,b+,c+) = (Da b+ [a ,b+],c+), − − − − and therefore (2) follows. To prove (1), we subtract from (3.11) the analogous expression for TD′ (a ,b+,c+). − The second part of the previous lemma provides a weak analogue of the Koszul formula in Riemannian geometry. The canonical mixed-type operators (3.10) were first considered in [100] and further studied in [89], and relate to the following classical connections with skew-symmetric torsion. n 3 Definition 3.12. Let (M ,g,H) be a Riemannian manifold and H Λ T ∗. The Bismut connections associated to (g,H) are defined via ∈ 1 (3.12) ± Y,Z = Y,Z H(X,Y,Z), ∇X h∇X i± 2 where denotes the Levi-Civita connection of g. These are the unique metric- compatible∇ connections with torsion H. ± Our next goal is to show that the canonical mixed type operators in Lemma 3.11 are determined by the classical Bismut connections associated to the generalized metric via Proposition 2.40, first observed in [100, Theorem 2]. Thus, the Bismut connection plays a fundamental role in generalized Riemannian geometry. To see this, we will work with the explicit presentation of the Courant algebroid E given by . Recall that determines an isometry F : T T ∗ E (Proposition 2.40), andG for any X TGwe have isomorphisms σ : T ⊕ V →given by (see Definition 2.28) ∈ ± → ± F (X gX)= σ X. ± ± We need the following basic identity. Lemma 3.13. Given a generalized metric on E, consider the associated closed 3 G three-form H Λ T ∗ and isometry F : T T ∗ E in Proposition 2.40. Then, one has the equality∈ ⊕ → 1 (3.13) F − [σ X, σ+Y ] = [X, Y ]+ iY iX H + LX iY g + LY iX g diX iY g. − − Proof. We directly compute, using (2.17) and the definition of the twisted Courant bracket, 1 F − [σ X, σ+Y ] = [X gX,Y + gY ]H − − = [X, Y ] + [X,i g] [i g, Y ]+ i i H Y − X Y X = [X, Y ]+ L i g 1 di i g + L i g 1 di i g + i i H X Y − 2 X Y Y X − 2 Y X Y X = [X, Y ] + (L i g + L i g di i g)+ i i H. X Y Y X − X Y Y X 3.2. METRIC COMPATIBLE CONNECTIONS 39
Proposition 3.14. Given a generalized metric on E, consider the associated 3 G closed three-form H Λ T ∗ with associated Bismut connections ±. Then one has the equality ∈ ∇
± Y = π [σ X, σ Y ] . ∇X ◦ ∓ ± ±
Proof. Let (X, Y )= π [σ X, σ+Y ]+. We first compute N ◦ − (fX,Y )= π π+[fσ X, σ+Y ] N ◦ − = π π+ (f[σ X, σ+Y ]+ Y fσ X σ X, σ+Y f) ◦ − − − h − i D = fπ π+[σ X, σ+Y ] ◦ − = f (X, Y ). N Next we obtain
(X,fY )= π π+[σ X,fσ+Y ] N ◦ − = π π+ (f[σ X, σ+Y ] + ((πσ X)f)σ+Y σ X, σ+Y f) ◦ − − − h − i D = fπ π+[σ X, σ+Y ] + (Xf)π π+σ+Y ◦ − ◦ = f (X, Y ) + (Xf)Y. N This implies that does indeed define a linear connection on T . We next show that this connectionN is metric compatible. First observe using Proposition 2.40 that
(3.14) g( (X, Y ),Z)= σ+ (X, Y ), σ+Z = π+[σ X, σ+Y ], σ+Z . N h N i h − i Then we can compute, using Proposition 2.40 and also Property (5) of Definition 2.8,
π+[σ X, σ+Y ], σ+Z + π+[σ X, σ+Z], σ+Y h − i h − i = [σ X, σ+Y ], σ+Z + [σ X, σ+Z], σ+Y h − i h − i = π(σ X) σ+Y, σ+Z σ X, σ+Z , σ+Y − h i − hD h − i i σ+Z, σ X, σ+Y − h D h − ii = X σ Y, σ Z h + + i = Xg(Y,Z), which yields the claim comparing against (3.14). It remains to compute the torsion tensor. First, arguing as in (3.14) we have T (X,Y,Z)= g( (X, Y ) (Y,X) [X, Y ],Z) N − N − (3.15) = π+ ([σ X, σ+Y ] [σ Y, σ+X]) , σ+Z g([X, Y ],Z) h − − − i− = [σ X, σ+Y ] [σ Y, σ+X], σ+Z g([X, Y ],Z). h − − − i− Now, using Lemma 3.13, and observing that the final three terms in (3.13) are symmetric, we obtain
[σ X, σ+Y ] [σ Y, σ+X], σ+Z = 2 [X, Y ]+ iY iX H, σ+Z h − − − i h i (3.16) = 2 σ [X, Y ]+ i[X,Y ]g + iY iX H, σ+Z − = g([ X, Y ],Z)+ H(X,Y,Z). Using (3.16) in (3.15) yields the claim T = H, and so the result follows. 40 3. GENERALIZED CONNECTIONS AND CURVATURE
To proceed further, we must analyze the space of torsion-free -compatible generalized connections, which we denote G 0( )= ( ) 0. D G D G ∩ D Proposition 3.15. Given a generalized metric on a Courant algebroid E, there exists a torsion-free generalized connection on EG compatible with . G Proof. We construct first a -compatible generalized connection D on E G which has torsion of pure-type. For this, we define the mixed-type operators D± by (3.10). To define the pure-type operators, we choose arbitrary metric connections∓ + on V+ and − on V , and set ∇ ∇ − Da b := ± b . e e ± ± ∇π(a±) ± 0 Finally, we define our torsion-free generalizede connections D by explicitly removing the torsion, that is 1 D0 = D T , − 3 D where we use the metric , to regard h· ·i o o TD Γ(V+∗ (V+)) Γ(V ∗ (V )). ∈ ⊗ ⊕ − ⊗ − Note that the pure-type condition on T implies that D0 is still -compatible. D G Given a generalized metric, the torsion-free condition does not determine a compatible generalized connection uniquely. Unlike in Riemannian geometry, the generalized Levi-Civita connections form an affine space, modeled on the pure-type mixed symmetric 3-tensors + Σ Σ−, ⊕ where 3 Σ± = Γ(V ⊗ ) Σ, ± ∩ and Σ is as in (3.6). There are canonical splittings
(3.17) Σ± =Σ0± Γ(V ), ⊕ ± where the first summand corresponds to ‘trace-free’ elements, in analogy with (3.7). + + o To see this, fix ei an orthonormal local frame for V+. Given χ Γ(V+∗ (V+)), set { } ∈ ⊗ n 1 + e+ := χe+ ei . n 1 i i=1 − X Then, on V+ the splitting (3.17) corresponds to the following direct sum decompo- sition
+ + e+ (3.18) χ = χ0 + χ+ , + where χ0 is such that n + + (χ ) + e =0, 0 ei i i=1 X and (3.19) (χe+ ) b = a ,b e e ,b a . + a+ + h + +i + − h + +i + 3.2. METRIC COMPATIBLE CONNECTIONS 41
Example 3.16. Using the above discussion we can produce finally an explicit example of a torsion-free generalized connection compatible with a generalized met- ric. Let be a generalized metric on an exact Courant algebroid E over a manifold G M of dimension n. The generalized metric induces an isomorphism E = T T ∗, ∼ ⊕ where the twisted bracket on T T ∗ is given by a closed 3-form H in the Severaˇ class of E in H3(M, R). Via this⊕ isomorphism, the generalized metric takes the simple form: V = X g(X): X T , ± { ± ∈ } where g is the Riemannian metric induced by the isomorphism π V+ : V+ T . Using Lemma 3.11 and Proposition 3.14, we see that the initial| step→ of the construction is forced upon us, where we must use the Bismut connections ± to define the mixed type operators. As in the proof of Proposition 3.15, we∇ must choose metric compatible connections to define the pure-type operators, and it is natural to still use the Bismut connections. Doing so we obtain the Gualtieri-Bismut connection DB, introduced in [89], with pure-type operators πDB σ Y = + Y, σ+X + ∇X B πDσ X σ Y = − Y. − − ∇X By construction this connection is compatible with , and has torsion TDB = π H + π H. Following the proof of Proposition 3.15,G we construct a torsion- ∗V+ ∗V | | − free generalized connection D0 0(V ) from DB by ∈ D + 0 B 1 D = D T B . − 3 D A computation shows that this has pure-type operators πD0 σ Y = +1/3Y, σ+X + ∇X 0 1/3 πDσ X σ Y = − Y, − − ∇X 1/3 where ± denotes the metric connection with skew-symmetric torsion (cf. (3.12)) ∇ 1/3 1 ± Y,Z = Y,Z H(X,Y,Z). ∇X h∇X i± 6 D E To finish this section, we introduce the space of torsion-free metric connections compatible with a fixed divergence operator div, that is, (3.20) 0( , div) = D ( ) T =0, div = div . D G { ∈ D G | D D } This space of connections plays an important role in the definition of the generalized Ricci tensor. By Lemma 3.9, 0( , div) is an affine space modeled on D G + Σ Σ−. 0 ⊕ 0 In the next result we show that 0( , div) is non-empty. Recall from Definition D G 2.46 that a generalized metric has an associated Riemannian divergence divG. Lemma 3.17. Let ( , div) be a pair given a generalized metric and a di- G G vergence operator div on E. Denote divG div = e+, + e , , for e V . Then, − h ·i h − ·i ± ∈ ± 0 0 0 (1) D ( , divG ), where D is defined as in Example 3.16. ∈ D G 42 3. GENERALIZED CONNECTIONS AND CURVATURE
(2) D 0( , div), where ∈ D G 0 1 e+ e− (3.21) D = D + χ+ + χ , n 1 − − and χe± are defined as in (3.19). ± Proof. To prove (1), consider the Levi-Civita connection of the Riemannian ∇ metric g induced by and the generalized connection D′ = ∗ as in Example 3.3. Then, a simple calculationG shows that ∇ ⊕ ∇ g LX µ div ′ (e)=tr X = . D ∇ µg 0 Applying now [69, Proposition 3.6] it follows that D′ and D differ by a totally skew-symmetric element in Γ(E o(E)) and therefore div ′ = div 0 . ⊗ D D As for (2), we choose an orthogonal frame ei for E with dual frame ei and calculate { } { }
div (e′)= e ,D e D h i ei i i X 1 e+ 1 e− e0 = divD (e′)+ ei, (χ+ )ei e′ + ei, (χ )ei e′ n 1 h i n 1 h − i i i − X − X 1 = divG(e′)+ ee,e π e ,e′ e ,e′ ee, π e n 1 h i +ih + i i − h + ih i + ii i − X 1 e e + ei,e π ei,e′ e ,e′ ei, π ei n 1 h −ih − i − h − ih − i i − X = divG(e′) ee+,e′ e ,e′ e − h i − h − i = div(e′). The proof follows from the decomposition (3.17), which shows that D is torsion-free and metric compatible.
3.3. The classical Bismut connection Proposition 3.14 shows that the Bismut connection, as presented in Definition 3.12, plays a fundamental role in generalized Riemannian geometry. In this sec- tion we pause for a moment in the development of the general theory, in order to present some basic features of this classical object. It is interesting to observe that Bismut naturally came across this connection in the context of index theory prob- lems in complex non-K¨ahler geometry. We note here that historically this family of connections was considered by Yano [185] in his study of manifolds with an almost product structure. Remarkably, Cartan-Schouten [37, 36] also encountered these connections in their study of Riemannian manifolds admitting an “absolute parallelism”, i.e. a flat metric compatible connection. In particular they showed that, beyond classical flat Riemannian metrics, the only examples are semisimple Lie groups with bi-invariant metric and torsion determined canonically by the Lie algebra structure, as well as an exceptional example on S7. In the Lie group case the torsion is skew-symmetric and closed, thus fitting naturally into our setting, whereas the exceptional S7 example has nonclosed torsion. We will go back to this interesting class of examples in 3.7. § 3.3. THE CLASSICAL BISMUT CONNECTION 43
Our first result gives a formula for the curvatures of the Bismut connection in terms of the Riemann curvature tensor. Throughout this section will denote ∇ 3 the Levi-Civita connection of a fixed Riemannian metric g. Given H Λ T ∗, we will denote by + the associated Bismut connection as in Definition 3.12.∈ We will denote by Rm+∇, Rc+, and R+, the curvature tensor, the Ricci tensor, and the scalar curvature of +, respectively. Similarly, we will use the notation Rm, Rc, and R ∇ for the curvatures associated to the metric via . We denote by d∗ the adjoint of the exterior differential acting on differential forms∇ with respect to the metric g. n 3 Proposition 3.18. Let (M ,g,H) be a Riemannian manifold with H Λ T ∗, dH =0. Then ∈ Rm+(X,Y,Z,W ) = Rm(X,Y,Z,W ) + 1 H(Y,Z,W ) 1 H(X,Z,W ) 2 ∇X − 2 ∇Y (3.22) 1 H(X, W ),H(Y,Z) + 1 H(Y, W ),H(X,Z) , − 4 h i 4 h i + 1 2 1 Rc = Rc H d∗H, − 4 − 2 R+ = R 1 H 2 , − 4 | | where (3.23) H2(X, Y ) := XyH, Y yH = H(X,e ,e )H(Y,e ,e ). h i i j i j i,j X Proof. It suffices to establish the first formula for local normal coordinate vectors, i.e. X Y (p) = 0 and [X, Y ] = 0 etc. Using the definition of the Bismut connection we∇ thus directly compute Rm+(X,Y,Z,W ) = + +Z + + Z + Z, W ∇X ∇Y − ∇Y ∇X − ∇[X,Y ] = D ( +Z), W + 1 H(X, +Z, W ) E ∇X ∇Y 2 ∇Y ( + Z), W 1 H(Y, + Z, W ) − ∇Y ∇X − 2 ∇X 1 1 1 1 1 = ( Z + g− H(Y,Z, )), W + H(X, Z + g− H(Y,Z, ), W ) ∇X ∇Y 2 · 2 ∇Y 2 · 1 1 1 1 1 ( Z + g− H(X,Z, ))W H(Y, Z + g− H(X,Z, ), W ) − ∇Y ∇X 2 · − 2 ∇X 2 · = Rm(X,Y,Z,W )+ 1 H(Y,Z,W ) 1 H(X,Z,W ) 2 ∇X − 2 ∇Y 1 H(X, W ),H(Y,Z) + 1 H(Y, W ),H(X,Z) , − 4 h i 4 h i as required. Taking the trace of this with respect to the first and fourth indices, we obtain + + Rc (Y,Z) = Rm (ei,Y,Z,ei) = Rm(e ,Y,Z,e )+ 1 H(Y,Z,e ) 1 H(e ,Z,e ) i i 2 ∇ei i − 2 ∇Y i i 1 H(e ,e ),H(Y,Z) + 1 H(Y,e ),H(e ,Z) − 4 h i i i 4 h i i i 1 2 1 = Rc(Y,Z) H (Y,Z) d∗H(Y,Z), − 4 − 2 as required. A final trace, using that the trace of d∗H is zero, yields the formula for the scalar curvature. The classical Bianchi identities in Riemannian geometry reflect the diffeomor- phism invariance of the curvature tensor. More general forms of these identities 44 3. GENERALIZED CONNECTIONS AND CURVATURE hold for connections with torsion as well (cf. [114, Theorem 5.3]), and play a fun- damental role in the study of the generalized Ricci flow. We begin with an identity on the divergence operator acting on the tensor H2, and then prove the Bianchi identity for connections with torsion.
n 3 Lemma 3.19. Given (M ,g) a Riemannian manifold and H Λ T ∗, dH =0, one has ∈
2 1 2 mn div H = H (d∗H) H . i 6 ∇i | | − imn Proof. We choose local normal coordinates for g at some point and compute, suppressing some appearances of the metric tensor and using that H is closed
div H2 = H2 j ∇i ij = (H H ) ∇i imn jmn = (d∗H) H + H H − mn jmn imn∇i jmn = (d∗H) H + H ( H H + H ) − mn jmn imn ∇j imn − ∇m ijn ∇n ijm 1 2 = (d∗H) H + H 2H H , − mn jmn 2 ∇j | | − imn∇i jmn where in the last line we rearranged indices. Comparing the third and fifth lines above yields that H H = 1 H 2, and so the lemma follows. imn∇i jmn 6 ∇j | |
n 3 Proposition 3.20. Given (M ,g) a Riemannian manifold and H Λ T ∗, dH =0, one has ∈
(3.24) R+(X, Y )Z = H(H(X, Y ),Z) + ( + H)(Y,Z) , ∇X σ(X,Y,Z) σ(X,Y,Z) X X and
(3.25) ( + R)(Y,Z)+ R+(H(X, Y ),Z) =0, ∇X σ(X,Y,Z) X and
0= ( + H)(Y,Z,U)+2g(H(X, Y ),H(Z,U)) ∇X (3.26) σ(X,Y,Z) X ( +H)(X,Y,Z), − ∇U and
R+(X,Y,Z,U) R+(Z,U,X,Y )= 1 +H(X,Y,Z). (3.27) − − 2 ∇U σ(X,Y,Z,UX )
Proof. The first two formulas are exercises. The third formula follows from dH(X,Y,Z,U)= ( + H)(Y,Z,U)+2g(H(X, Y ),H(Z,U)) ( +H)(X,Y,Z), ∇X − ∇U σ(X,Y,Z) X 3.3. THE CLASSICAL BISMUT CONNECTION 45 and dH = 0. To show the fourth we first rewrite (3.24) using (3.26)
0= R+(X,Y,Z,U) g(H(H(X, Y ),Z),U) + H(Y,Z,U) − − ∇X σ(X,Y,Z) X = R+(X,Y,Z,U) g(H(X, Y ),H(Z,U)) + H(Y,Z,U) − − ∇X σ(X,Y,Z) X = R+(X,Y,Z,U)+ g(H(X, Y ),H(Z,U)) +H(X,Y,Z) − ∇U σ(X,Y,Z) X Summing this over cyclic permutation of the entries yields 0= R+(X,Y,Z,U)+ R+(Z,X,Y,U)+ R+(Y,Z,X,U) +H(X,Y,Z) − ∇U + R+(U,X,Y,Z)+ R+(Y,U,X,Z)+ R+(X,Y,U,Z) +H(U,X,Y ) − ∇Z + R+(Z,U,X,Y )+ R+(X,Z,U,Y )+ R+(U,X,Z,Y ) +H(Z,U,X) − ∇Y + R+(Y,Z,U,X)+ R+(U,Y,Z,X)+ R+(Z,U,Y,X) + H(Y,Z,U) − ∇X + g(H(X, Y ),H(Z,U)) + g(H(U,X),H(Y,Z)) σ(X,Y,ZX ) σ(U,X,YX ) + g(H(Z,U),H(X, Y )) + g(H(Y,Z),H(U,X)). σ(Z,U,XX ) σ(Y,Z,UX ) One observes that the first and third columns of curvature terms collectively cancel, as do the terms of type H2, yielding 0=2R+(X,Z,U,Y ) 2R+(U,Y,X,Z) − +H(X,Y,Z) +H(U,X,Y ) +H(Z,U,X) + H(Y,Z,U). − ∇U − ∇Z − ∇Y − ∇X The result follows.
Our next result (cf. [18] Theorem 1.6) gives an analogue of the first Bianchi identity for Levi-Civita connection, which relates the curvature tensors of the Bis- + mut connections and −. ∇ ∇ n 3 Proposition 3.21. Let (M ,g) be a Riemannian manifold and fix H Λ T ∗, dH =0. Then ∈
+ R (X,Y,Z,W )= R−(Z,W,X,Y ).
Proof. Using the formula for the Bismut curvature in Proposition 3.18 sepa- rately for ± and the symmetry of the Riemann curvature tensor we see ∇ + R (X,Y,Z,W ) R−(Z,W,X,Y ) − = 1 ( H(Y,Z,W ) H(X,Z,W )+ H(W, X, Y ) H(Z,X,Y )) 2 ∇X − ∇Y ∇Z − ∇W + 1 ( H(X, W ),H(Y,Z) + H(Y, W ),H(X,Z) 4 − h i h i + H(Z, Y ),H(W, X) H(W, Y ),H(Z,X) ) h i − h i 1 = 2 dH(X,Y,Z,W ) = 0, as required. 46 3. GENERALIZED CONNECTIONS AND CURVATURE
3.4. Curvature and the First Bianchi Identity We turn next to the study of curvature quantities in generalized geometry. We fix an exact Courant algebroid E over a smooth manifold M. Definition 3.22. Let be a generalized metric on E, and D a metric compati- ble generalized connection.G Associated to D there are the two generalized curvature operators o D± Γ(V ∗ V ∗ (V )), R ∈ ± ⊗ ∓ ⊗ ± defined by + (a+,b )c+ = Da+ Db c+ Db Da+ c+ D[a ,b ]c+, RD − − − − − + −
− (a ,b+)c = Da Db+ c Db+ Da c D[a ,b ]c . RD − − − − − − − − − + − In general, the curvatures of a torsion-free generalized connection are not an invariant of the generalized metric , but rather depend on D via the choice of pure-type operators. We illustrate thisG with the following example. Example 3.23. Consider the torsion-free metric compatible connection D0 constructed in Example 3.16. We choose a one-form ϕ on M and use this to deform D0 to a different torsion-free metric connection, via deformation of the associated divergence operator (see Definition 3.8). We set ϕ = π ϕ using the orthogonal projections π : E V and define ± ± ± → ± 0 1 ϕ+ ϕ− D = D + χ+ + χ , n 1 − ϕ± − where χ are defined as in (3.19). By Lemma 3.17, D is torsion-free and metric compatible,± and the associated divergence is g LX µ 1 div (e) = div 0 (e) ϕ, e = ϕ(X) D D − h i µg − 2 for e = X + ξ T T ∗. Being torsion-free, by Lemma 3.11 the generalized connection D is completely∈ ⊕ determined by the corresponding pure-type operators, given in this case by
+1/3 1 1 πD σ Y = Y + (g(X, Y )g− ϕ ϕ(Y )X), σ+X + ∇X 2(n 1) − (3.28) − 1/3 1 1 πDσ+X σ Y = − Y + (g(X, Y )g− ϕ ϕ(Y )X). − ∇X 2(n 1) − − + We are now ready to calculate the curvature of D following [69] (e.g. for D). First, we have R
1/3 + 1 + 1 1 + D D σ Z = σ Z + g(X, Z)g− ϕ ϕ( Z)X , σ+X σ−Y + + ∇X ∇Y 2(n 1) ∇Y − 2(n 1) ∇Y − − + 1/3 1 + 1 1 + D D σ Z = σ Z ϕ(Z) X + g(X,Z)g− ϕ σ−Y σ+X + + ∇Y ∇X − 2(n 1) ∇Y 2(n 1) ∇Y − −
1 1 1 i d(ϕ(Z))X + i d(g(X,Z))g− ϕ . − 2(n 1) Y 2(n 1) Y − − ! Using the equality
[σ+X, σ Y ] = [X, Y ] g( X Y + Y X, )+ H(X,Y, ) − − ∇ ∇ · · 3.4. CURVATURE AND THE FIRST BIANCHI IDENTITY 47 we also obtain
1 1 D[σ+X,σ−Y ]σ+Z = σ+ [X,Y ]Z + g− H(2[X, Y ]+ X Y + Y X,Z, ) ∇ 6 ∇ ∇ ·
1 1 1 g− H(g− H(X,Y, ),Z, ) − 6 · · 1 g 1 ϕ(Z)([X, Y ] X Y + g− H(X,Y, )) − 4(n 1) − ∇Y − ∇X · − 1 + (g(Z, [X, Y ] X Y )+ H(X,Y,Z))ϕ . 4(n 1) − ∇Y − ∇X − ! Finally, the identity ( H)(Y,Z, )= (H(Y,Z, )) H( Y,Z, ) H(Y, Z, ) ∇X · ∇X · − ∇X · − ∇ · leads us to the following expression for the curvature + πR (σ+X, σ Y )σ+Z D − (3.29) 1 1 + + = R(X, Y )Z (g(X,Z)g− ϕ i ( ϕ)X) − 2(n 1) ∇Y − Z ∇Y − where e
1 1 1 R(X, Y )Z = R(X, Y )Z + g− ( X H)(Y,Z, ) ( Y H)(X,Z, ) 2 ∇ · − 6 ∇ ·
e 1 1 1 1 + H(X,g− H(Y,Z, ), ) H(Y,g− H(X,Z, ), ) 12 · · − 12 · ·
1 1 H(Z,g− H(X,Y, ), ) . − 6 · · ! + 1/3 The tensor R is a hybrid of the second covariant derivatives for , , and −, and can be identified with the generalized curvature of D0. More∇ invariantly,∇ it∇ can be written ase 1/3 + + 1/3 1/3 + R(X, Y )Z = Z Z + + Z Z. X Y Y X X − Y ∇ ∇ − ∇ ∇ ∇∇Y − ∇∇X From the previouse formulae, it is transparent that the generalized curvature oper- ators ± depend on the choice of torsion-free compatible connection D. RD Our next goal is to define curvature quantities which only depend on the gen- eralized metric . Before we address this question in 3.5, we prove an algebraic property of the curvaturesG of a torsion-free generalized conne§ ction, that we will use later in Lemma 3.44. Proposition 3.24 (First Bianchi identity). Let D be a torsion-free generalized connection compatible with V+. Then, for any e ,a ,b ,c Γ(V ) we have ± ± ± ± ∈ ± (3.30) ± (a ,e )b ,c =0. hRD ± ∓ ± ±i σ(Xa,b,c) Proof. We argue for + , as the other case is symmetric. We decompose RD + (a+,e )b+,c+ = I + J + K, hRD − i σ(Xa,b,c) 48 3. GENERALIZED CONNECTIONS AND CURVATURE where
I = Da+ ([e ,b+]+),c+ , h − i σ(Xa,b,c)
J = [e ,Da+ b+],c+ , − h − i σ(Xa,b,c) K = D b ,c . − h [a+,e−] + +i σ(Xa,b,c) Using that TD = 0 and formula (3.3) we have
K = Db+ [a+,e ],c+ [[a+,e ],b+],c+ + Dc+ [a+,e ],b+ −h − i − h − i h − i σ(Xa,b,c)
= [a+,e ],Db+ c+ Dc+ b+ [[a+,e ],b+],c+ h − − i − h − i σ(Xa,b,c) π(b+)( [a+,e ],c+ )+ π(c+)( [a+,e ],b+ ), − h − i h − i where in the last equality we used the compatibility between D and , . Using again this last property, we also have h· ·i
I = π(a+)( [e ,b+],c+ ) [e ,b+],Da+ c+ , h − i − h − i σ(a,b,c) X
J = π(e )( [a+,b+],c+ )+ [e ,c+],Da+ b+ , − − h i h − i σ(a,b,c) X where in the last equality we used property (C4) of the bracket (see Definition 2.8)). From this, using property (C5) of the bracket, which implies [e ,a+]= [a+,e ], we obtain − − −
I + J + K = [[a+,e ],b+],c+ + [[b+,e ],a+],c+ [[c+,e ],a+],b+ −h − i h − i − h − i + π(b+)( [c+,e ],a+ ) π(a+)( [c+,e ],b+ ) π(c+)( [b+,e ],a+ ) h − i − h − i − h − i π(e )(TD(a+,b+,c+)) π(e )( [a+,b+],c+ ). − − − − h i Finally, using again (C5) we have an equality
π(c+)( [e ,b+],a+ )= c+, [a+, [e ,b+]] + [[e ,b+],a+] , h − i h − − i and from TD = 0 we conclude
I + J + K = [[e ,a+],b+] + [a+, [e ,b+]] [e , [a+,b+]],c+ , h − − − − i which vanishes by the Jacobi identity (property (C1)). The algebraic Bianchi identity (3.30) for torsion-free generalized connections is a remarkable property, as their construction typically involves standard connections with skew-torsion in the tangent bundle of M. Recall from Proposition 3.20 that a torsionful connection on a manifold satisfies complicated Bianchi identities which involve first-order derivatives of its torsion, as well as quadratic terms in H. To illustrate this, we compare now the generalized curvature operator in Example 3.23 with the curvature of the torsionful generalized connection DB in Example 3.16. Proposition 3.25. Given a generalized metric on E, let DB denote the associated Gualtieri-Bismut connectionG in Example 3.16. One has
π ±B (σ X, σ Y )σ Z = Rm±(X, Y )Z, RD ± ∓ ± ∼ 3.5. GENERALIZED RICCI CURVATURE 49 where Rm± denotes the curvature of the standard Bismut connection in (3.22).
Proof. The proof follows as an exercise from Example 3.16.
3.5. Generalized Ricci curvature Different approaches to the definition of the generalized Ricci tensor and scalar curvature can be found in [23, 53, 70, 86, 109, 151, 152] (see also references therein). In [53, 69, 110, 152] the authors gave a treatment of generalized con- nections and curvature and their relationship to supergravity theories. To proceed with our approach to the Ricci tensor in generalized geometry following [70], we introduce next the definition of Ricci tensor for a metric-compatible generalized connection.
Definition 3.26. Let be a generalized metric on E. The Ricci tensors G cD± Γ(V ∗ V ∗) of a generalized metric-compatible connection D ( ) are definedR ∈ by ∓ ⊗ ± ∈ D G
c± (a ,b ) = tr(e ± (e ,a )b ), R D ∓ ± ± → RD ± ∓ ± for e Γ(V ). ± ∈ ±
Our next result investigates the variation of the Ricci tensors when we de- form a torsion-free generalized connection in ( ), while preserving the pure-type condition of the torsion and the divergence (seeD G Definition 2.44).
Proposition 3.27. Let ( , div) be a pair given by a generalized metric and a G divergence operator on E. Let D,D′ ( ) with divergence div = div = div ′ . ∈ D G D D If TD = 0 and TD′ is of pure-type then cD± = cD±′ . In particular, cD± = cD±′ 0 R R R R for any pair D,D′ ( , div) (see (3.20)). ∈ D G
+ Proof. Without loss of generality we will argue for c , since the case − R D RD is analogous. Setting χ = D′ D, the condition divD = divD′ combined with TD′ being of pure-type imply that−
+ χ = χ + χ−, where (see (3.17))
3 χ± = χ0± + σ± Σ0± Λ (V ). ∈ ⊕ ± 50 3. GENERALIZED CONNECTIONS AND CURVATURE
+ n Let ei i=1 an orthonormal frame for V+. Given e Γ(V ) we calculate { } ± ∈ ± (3.31) n + + + + c ′ (a ,b+)= ei , R ′ (ei ,a )b+ R D − h D − i i=1 X n + + + + + = cD(a ,b+)+ ei ,χ + (Da− b+) Da− (χ + b+) χ + b+ R − h ei − ei − [ei ,a−]+ i i=1 Xn + + + + + = cD(a ,b+)+ χ + ei ,Da− b+ + χ + b+,Da− ei R − − h ei i h ei i i=1 X + + + + + ιπ(a−)d χ + ei ,b+ χ + ei ,b+ h ei i − h [a−,ei ]+ i n + + + + + = cD(a ,b+)+ χ + b+, [a ,ei ] χ + ei ,b+ , R − h ei − i − h [a−,ei ]+ i i=1 Xn + + + + + = cD(a ,b+)+ (χ0 )e+ b+, [a ,ei ]+ (χ0 )[a ,e+] ei ,b+ R − h i − i − h − i + i i=1 X n + + 3 where have used i=1 χ + ei = 0, Lemma 3.11, and that σ± Λ V . To conclude, ei ∈ ± given x M and a V x, using the previous formula we shall prove that ∈ P− ∈ −| + + c ′ (a ,b+)= c (a ,b+), R D − R D − + + and hence the statement will follow since cD′ and cD are bilinear. For this, we construct a special orthonormal frame in orderR to evaluateR formula (3.31). Choose + + an orthonormal frame ei around x for V+ which satisfies Da− ei = 0 at x. This frame can constructed{ } by smooth extension of the parallel transport for the connection D+ along a curve starting at x with initial velocity π(a ). The proof − + − + now follows from the previous formula, using that [a ,ei ]+ = Da− ei . The last part of the statement follows from Lemma 3.9. −
Definition 3.28. Let ( , div) be a generalized metric and a divergence operator div on the exact CourantG algebroid E. The Ricci tensorsG
c± Γ(V ∗ V ∗) R ∈ ∓ ⊗ ± of the pair ( , div) are defined by c± = cD± for any choice of generalized con- nection D G ( , div). This is well-definedR R by Proposition 3.27. ∈ D G In the next result we calculate the variation of the Ricci tensors c± when we fix the generalized metric and vary the divergence operator div. RecallR from Definition 2.46 that a generalizedG metric has an associated Riemannian divergence divG.
Lemma 3.29. Let ( , div) be a pair as in Definition 3.28. Denote divG div = e, , for e Γ(E). Then,G setting e = π e, we have − h ·i ∈ ± ± + + c ( , div)(a ,b+)= c ( , divG )(a ,b+) [e+,a ],b+ , R G − R G − − h − i c−( , div)(a+,b )= c−( , divG )(a+,b ) [e ,a+],b . R G − R G − − h − −i 3.5. GENERALIZED RICCI CURVATURE 51
+ 0 Proof. We argue for c , as the other case is symmetric. Let D ( , divG) R + ∈ D G and D ( , div) as in Lemma 3.17. Let e n be an orthonormal frame for ∈ D G { i }i=1 V+. Then, + c ( , div)(a ,b+) R G − + = c (a ,b+) R D − + = c 0 (a ,b+) R D − n 1 + e+ 0 0 e+ e+ + + + + ei , (χ+ )e (Da− b+) Da− ((χ+ )e b+) (χ+ )[e ,a ] b+ n 1 h i − i − i − + i − i=1 X n + 1 + + = c ( , divG)(a ,b+)+ χ + ei , [a ,b+]+ R G − n 1 − h ei − i i=1 − X e+ + e+ + e+ + + + + + (χ+ )e b+, [a ,ei ]+ + ιπ(a−)d (χ+ )e ei ,b+ + (χ+ )[a ,e ] ei ,b+ h i − i h i i h − i + i + = c ( , divG)(a ,b+) e+, [a ,b+] + ιπ(a )d e+,b+ + C R G − − h − i − h i + = c ( , divG)(a ,b+)+ [a ,e+],b+ + C, R G − h − i where n 1 e+ + e+ + C = (χ+ )e+ b+, [a ,ei ]+ + (χ+ )[a ,e+] ei ,b+ . n 1 h i − i h − i + i i=1 − X Arguing as in the proof of Proposition 3.27, we can now choose a point x M and + + ∈ ei which satisfies [a ,ei ]+ = 0 at x. Thus, C = 0 and the statement follows from{ } axiom (5) in Definition− 2.8.
Our next result provides an explicit formula for the Ricci tensors c± associated to a pair ( , div). We follow the notation in Definition 2.46 and LemmaR 3.29. G Proposition 3.30. Let ( , div) be a pair as in Definition 3.28. Denote divG div = G − e, , and set ϕ = g(πe , ) T ∗. Then, one has h ·i ± ± · ∈ + 1 2 1 + c (σ X, σ+Y )= Rc H d∗H + ϕ+ (X, Y ), (3.32) R − −4 − 2 ∇ 1 2 1 c−(σ+X, σ Y )= Rc H + d∗H −ϕ (X, Y ). R − −4 2 − ∇ − Proof. First, observe that c±( , divG) = c±B by Proposition 3.27. Now, R G R D by Proposition 3.25 we have that cD±B can be identified with the Ricci tensor for the classical Bismut connection inR (3.22). More precisely, we have
1 2 1 c±B (σ X, σ Y )= Rc H d∗H (X, Y ). R D ∓ ± −4 ∓ 2 Applying now Lemma 3.29, we obtain
c±(σ X, σ Y ) := c±( , div)(σ X, σ Y ) R ∓ ± R G ∓ ± 1 2 1 = Rc H d∗H (X, Y ) [e , σ X], σ Y . −4 ∓ 2 − h ± ∓ ± i The statement follows from 1 [e , σ X], σ Y = σ ± (g− ϕ ), σ Y h ± ∓ ± i − h ±∇X ± ± i 1 = g( ± (g− ϕ ), Y )= ( ±ϕ )(X, Y ). ∓ ∇X ± ∓ ∇ ± 52 3. GENERALIZED CONNECTIONS AND CURVATURE
We leave as an exercise to recover formula (3.32) by taking traces in (3.29), when e T ∗. ∈ The Ricci tensors c± of a pair ( , div) can be assembled naturally into an endomorphism of E, whichR we will callG the generalized Ricci tensor. Definition 3.31. Given a pair ( , div) as in Definition 3.28, define the gener- alized Ricci tensor via G + c( , div) = c c− End(E), R G R − R ∈ where c± = c±( , div) are regarded as maps c± : V V ∗ ∼= V using the inducedR metricR on VG . R ∓ → ± ± ± Recall the compatibility condition for pairs ( , div) introduced in Definition G 2.52, which states that e Γ(E), defined by e, = divG div, is an infinitesimal isometry of , that is, ∈ h i − G [e, ]=0. G so Our next result proves that the generalized Ricci tensor is an element of (E) ∼= Λ2E End(E) if and only if ( , div) is a compatible pair. This structural property of the⊂ Ricci tensor in generalizedG geometry is strongly reminiscent of the symmetric property of the Ricci tensor in Riemannian geometry. In particular, it implies that the two Ricci tensors c± contain the same information and, furthermore, that we can regard c( , div)R as a tangent vector to the space of generalized metrics (see Lemma 2.31).R G This is the basic principle which will allow us to define the generalized Ricci flow in the next chapter. Lemma 3.32. Let ( , div) be as in Definition 3.28. Then, we have G c( , div) = c( , div) . G ◦ R G −R G ◦ G Furthermore, c( , div) so(E) R G ∈ if and only if ( , div) is a compatible pair in the sense of Definition 2.52. G Proof. The first part of the statement follows directly by Definition 3.31 and Lemma 2.32. As for the second part, identify V = T via the anchor map π. Regard ± ∼ c± T ∗ T ∗ and consider the decomposition c± = h± + k± into symmetric Rand skew-symmetric∈ ⊗ parts. Then, the property cR( , div) so(E) is equivalent to R G ∈ + + (3.33) h = h−, k = k−. − Using formula (3.32) it follows immediately that c( , divG ) so(E). Finally, setting c := c( , div), Lemma 3.29 implies that R G ∈ R R G c(a),b + a, c(b) hR i h R i + + = c (a ,b+)+ c (b ,a+) c−(a+,b ) c−(b+,a ) R − R − − R − − R − = [e+,a ],b+ [e+,b ],a+ + [e ,a+],b + [e ,b+],a − h − i − h − i h − −i h − −i = [e+,a ],b+ [e+,b ],a+ + [e,a+],b + [e,b+],a − h − i − h − i h −i h −i [e+,a+],b [e+,b+],a − h −i − h −i = [e+,a ],b+ [e+,b ],a+ + [e,a+],b + [e,b+],a − h − i − h − i h −i h −i + a+, [e+,b ] + b+, [e+,a ] h − i h − i = [e,a+],b + [e,b+],a . h −i h −i 3.6. GENERALIZED SCALAR CURVATURE 53 and therefore c so(E) if and only if [e, ] = 0. R ∈ G
Remark 3.33. By Lemma 3.32, the generalized Ricci tensor c( , divG ) as- sociated naturally to a generalized metric is an element in so(RE).G From the classical point of view, this tensor incorporatesG the Ricci curvatures of both Bismut connections (associated to H). The more general quantity c( , div) considered here, with varying divergence± operator div, plays an importantR roleG in the interplay between the generalized Ricci flow and pluriclosed flow in Chapter 9, as well as T-duality in Chapter 10. Remark 3.34. When the divergence div in Proposition 3.30 is such that e = 4df, for some smooth function f (so that ϕ+ = ϕ = 2df), the pair ( , div) is automatically compatible (see Proposition 2.53).− In− this case, the two naturalG quantities h and k which arise from the generalized Ricci tensor agree exactly with the leading order term in α′ expansion of the so-called β-functions for the graviton and antisymmetric tensor fields in the sigma model approach to type II string theory [34]. This establishes an identification between the 1-loop renormalization group flow of this physical theory and the generalized Ricci flow in the next chapter.
3.6. Generalized scalar curvature In this section we define a notion of scalar curvature in generalized geometry, following the approach from [53, 70], using Dirac operators and their associated Lichnerowicz formulae. Throughout this section we will assume that the smooth manifold M is endowed with a spin structure. This assumption can be removed either working locally, or considering the approach to the generalized scalar curva- ture in [152] via the Schr¨odinger-type operator introduced in [138] (see (6.1)). Let be a generalized metric on an exact Courant algebroid E. G Let CL(V+) and CL(V ) denote the bundles of complex Clifford algebras of V+ and V , respectively, defined− by the relation − (3.34) v v = v, v · h i for v V , and , given by the restriction of the neutral pairing to V . Via the isometries∈ ±π : V h i (T, g), where g is the Riemannian metric associated± to , we can fix complex± spinor→ bundles± S for the orthogonal bundles V . We assumeG that ± ± S+ (resp. S ) is associated to the fixed spin principal bundle given by the spin structure on−M, for a choice of irreducible representation of the complex Clifford n n algebra on n-dimensional Euclidean space (R ,g0) (resp. (R , g0)) (see [120], and note the different convention for the relation (3.34) in the Cliffor− d algebra). In order to define the generalized scalar curvature, we need to further study the Koszul-type formula in Lemma 3.11. The freedom in the construction of a torsion- free generalized connection compatible with the generalized metric corresponds to the choice of pure-type operators G
+ D+ : Γ(V+) Γ(V+∗ V+),D− : Γ(V ) Γ(V ∗ V ). → ⊗ − − → − ⊗ − We define next a pair of Dirac-type operators which are independent of these choices, once we fix a divergence operator div on E (see Lemma 3.9). For any choice of such connection, and via the isometries π : V (T,g), the operators D± can be identified with standard metric connections on± (T,g→ ) and induce canonically± 54 3. GENERALIZED CONNECTIONS AND CURVATURE spin connections
S+ S− (3.35) D+ : Γ(S+) Γ(V+∗ S+),D : Γ(S ) Γ(V ∗ S ). → ⊗ − − → − ⊗ − Recall that we denote by 0( ) the space of torsion-free generalized connections compatible with , while D0( G, div) 0( ) denotes the subspace compatible with a given divergenceG operatorD div.G ⊂ D G Definition 3.35. With the assumptions above, given a generalized connection D 0( ), define a pair of Dirac-type operators ∈ D G + D/ : Γ(S+) Γ(S+), D/ − : Γ(S ) Γ(S ), → − → − given explicitly by n S ± ± D/ α = ei± D ± α, · ei i=1 X n for α Γ(S ), and a choice of orthonormal basis ei± i=1 of V , i.e. such that ∈ ± { } ± e±,e± = δ . i j ± ij + Lemma 3.36. The Dirac operators D/ and D/ − are independent of the choice of generalized connection D 0( , div). ∈ D G Proof. Let D ( , div) and consider a torsion-free -compatible general- ∈ D G 0 G ized connection D′ = D + χ ( ) with ∈ D G + + χ = χ + χ− Σ Σ−. ∈ ⊕ Using the decomposition in (3.18) there exists e Γ(V ) such that ± ∈ ± e± χ± = χ0± + χ . ± Then, we obtain
divD′ = div (n 1) e+, (n 1) e , − − h ·i − − h − ·i 3 and therefore divD′ = div implies e+ = e = 0. Define σ Γ(Λ E∗) by − ∈ σ(e ,e ,e )= χ e ,e , 1 2 3 h e1 2 3i and note that the total skew-symmetrization c.p.(σ) vanishes, since D′ and D are + torsion-free. Decomposing σ = σ + σ− in pure-types, the result follows from 1 D/ ′± = D/ ± c.p.(σ±)= D/ ±. − 2
Remark 3.37. In [70], the canonical Dirac operators D/ ± are defined using twisted spinor bundles (for a choice of root of det S∗ ). This twist is required to ± ensure a canonical choice of the spin connections DS± on more general Courant algebroids, but it is not necessary in our setting. ± 1/3 Consider the metric connections ± and ± on (T, g) associated to the ∇ ∇ ± generalized metric , as in Example 3.16. We will abuse notation and let ± 1/3 G ∇ and ± also denote the spin connections induced on a given spinor bundle for ∇ 1/3 g. Furthermore, by / ± we mean the cubic Dirac operator, that is, the Dirac ± ∇ 1/3 operator associated to ± . We will use the following Lichnerowicz-type formula for the cubic Dirac operator∇ due to Bismut [18] (see also [1, Theorem 6.2]). Note the different sign convention for the Clifford algebra relations (3.34). 3.6. GENERALIZED SCALAR CURVATURE 55
Lemma 3.38. The spinor Laplacian ( ±)∗ ± and the square of the cubic Dirac 1/3 2 ∇ ∇ operator / ± are related by ∇ 2 1/3 1 1 2 / ± ( ±)∗ ± = R H . ∇ − ∇ ∇ ∓4 ± 48| | The following lemma provides the structural property for the definition of the generalized scalar curvatures. Observe that the canonical mixed-type operators associated to in Lemma 3.11 induce canonical spin connections as in (3.35) G S+ S− D : Γ(S+) Γ(V ∗ S+),D+ : Γ(S ) Γ(V+∗ S ). − → − ⊗ − → ⊗ − We follow the notation in Definition 2.46, Lemma 3.29, and Lemma 3.36. Proposition 3.39. Let ( , div) be a pair given by a generalized metric and G G a divergence operator div on the exact Courant algebroid E. Denote divG div = − e, , and set ϕ = g(πe , ) T ∗. Then, for any spinor η Γ(S ) one has h ·i ± ± · ∈ ∈ ± S 2 D/ ± η DS± ∗DS± η ± − ∓ ∓ (3.36) 1 1 2 2 = R H 2d∗ϕ ϕ +2dϕ 4 g±−1ϕ η. ∓ 4 − 12| | ∓ ± − | ±| ± ± ∇ ± ! Proof. We derive a formula for 2 + S+ S+ ∗ S+ := D/ + D D , S − − − + using Lemma 3.38. A similare formula for −, defined as replacing + by , follows from the analogue of Lemma 3.38 forS the opposite CliffordS algebra relations−
(3.34). Via the isommetry π V+ : V+ (T,g),e we have | → 2 + = / + ∗ + S ∇ − ∇ ∇ acting on sections of the fixede spinore bundle for g, where is as in (3.28): ∇ +1/3 1 1 X Y = Y + (g(X, Y )g− ϕ+ ϕe+(Y )X). ∇ ∇X n 1 − − Let e1,...,ene be a local orthonormal frame for (T,g). An endomorphism A End({T ) satisfies} ∈ n A = g(Ae ,e )ei e , i j ⊗ j i,j=1 X j i j so 1 for e the dual frame of ej . Since e ej e ei (T ) embeds as 2 ej ei in the{ Clifford} bundle Cl(T ),{ an} endomorphism⊗ −A so⊗(T )∈ corresponds to ∈ 1 A = g(Ae ,e )e e Cl(T ). 4 i j j i ∈ i,j X Then, given a local spinor η, we have 1 η = +1/3η + ϕ (e )e e η ei ϕ (e )e e η ej ∇ ∇ 4(n 1) + j j i ⊗ − + i j i ⊗ i,j − X e 56 3. GENERALIZED CONNECTIONS AND CURVATURE and hence,
+1/3 1 / η = / η + ϕ (e )e e e η ϕ (e )e e e η ∇ ∇ 4(n 1) + j i j i − + i j j i i,j − X e +1/3 1 = / η + ϕ (e )(2δ e e )e η ϕ (e )e η ∇ 4(n 1) + j ij − j i i − + i i i,j − X +1/3 1 = / η ϕ η. ∇ − 2 + From this, we calculate
2 +1/3 2 1 1 1 / η = / η e +1/3(ϕ η) ϕ e +1/3η + ϕ 2η ∇ ∇ − 2 j∇ej + − 2 + j ∇ej 4| +| j j X X e +1/3 2 1 1 1 = / η e ( +1/3ϕ )η (e ϕ + ϕ e ) +1/3η + ϕ 2η ∇ − 2 j ∇ej + − 2 j + + j ∇ej 4| +| j j X X 2 +1/3 1 +1/3 +1/3 1 2 = / η (ie ϕ+)ej ekη −1 η + ϕ+ η, ∇ − 2 k ∇ej − ∇g ϕ+ 4| | Xj,k 2 +1/3 1 1 1 2 = / η + (d∗ϕ )η (dϕ )η + ϕ η ∇ 2 + − 2 + 4| +| 1 1 H(e ,g− ϕ ,e )e e η −1 η − 12 j + k j k − ∇g ϕ+ Xj,k 1 1 H(g− ϕ ,e ,e )e e η − 24 + j k k j Xj,k 2 +1/3 1 1 1 2 + = / η + (d∗ϕ+)η (dϕ+)η + ϕ+ η −1 η, ∇ 2 − 2 4| | − ∇g ϕ+ j j where we used that e α+αe =2α(ej ) for any α T ∗, combined with the standard formulae ∈
d∗α = i α, − ej ∇ej j X α(e ,e )= 1 dα(e ,e )+ 1 (i α + i α). ∇ j k 2 j k 2 ek ∇ej ej ∇ek The proof follows now from Lemma 3.38.
Observe that the right hand side of (3.36) defines a differential operator of order 1 acting on spinors. The degree zero part of this operator has a scalar component and a component of degree two, the latter given by dϕ . If we insist in defining a scalar out of (3.36), there are two natural conditions∓ forced± upon us. The first condition is that ±−1 is a natural operator, depending only on ( , div), so ∓∇g ϕ± G that it can be absorbed in the left hand side of (3.36). This is achieved provided that πe = 0, which implies ϕ+ = ϕ and (see Lemma 3.11 and Proposition 3.14) − − S± ±−1 = ±−1 De . ∇g ϕ± −∇g ϕ∓ ≡− ∓ Given this, the second condition is that e = ϕ T ∗ satisfies dϕ = 0. As observed in [70], this pair of conditions relate naturally∈ to the theory of Dirac generating operators on Courant algebroids introduced in [3, 150]. 3.6. GENERALIZED SCALAR CURVATURE 57
Definition 3.40. Let ( , div) be a pair given by a generalized metric and a divergence operator div on theG exact Courant algebroid E. We say that ( G, div) is G closed if e Γ(E), defined by divG div = e, , satisfies πe = 0 and de = 0. ∈ − h ·i By Proposition 2.53, it follows immediately that if ( , div) is closed, then it is a compatible pair in the sense of Definition 2.52. We areG ready to introduce our definition of the scalar curvatures for a closed pair ( , div). G Definition 3.41. Let ( , div) be a closed pair on the exact Courant algebroid E. The generalized scalar curvatureG
= ( , div) C∞(M) S S G ∈ of the pair ( , div) is defined by G + := − S S − S where C∞(M) are defined by the following Lichnerowicz type formulae S± ∈ 2 1 + S+ S+ ∗ S+ S+ := D/ + D D De , −2S − − − − − (3.37) 2 1 S− S S / − ∗ − S− − := D D+ D+ De+ . −2S − − − This is well-defined by Lemma 3.11, Lemma 3.36, and Proposition 3.39 Remark 3.42. More explicitly, if ( , div) is a closed pair and we denote G divG div = ϕ, , for a closed one-form ϕ Γ(T ∗), one has − h i ∈ 1 2 1 2 (3.38) = R H d∗ϕ ϕ . S − 12| | − − 4| | An important fact that we will use later in 3.7 is that ( , div) does not coincide § S G with the trace of the Ricci tensors c± in (3.32). Note also that we can regard (3.37) as a local formula on M, soR that there is no obstruction for the existence of the spinor bundles. Therefore we can define the generalized scalar curvature for exact Courant algebroids over any smooth manifold. Remark 3.43. When the divergence div in Proposition 3.30 is such that e = 4df, for some smooth function f (so that ϕ+ = ϕ =2df), the generalized scalar curvature is given by − − 1 (3.39) = R H 2 + 4∆f 4 f 2, S − 12| | − |∇ | 2 where ∆f = d∗df = tr f. Formula (3.39) agrees exactly with the leading − g ∇ order term in α′ expansion of the so-called β-function for the dilaton field in the sigma model approach to type II string theory [34] (cf. Remark 3.34). We finish this section with an alternative point of view on the Ricci tensor, using the canonical Dirac operators as above (formula (3.40) below corrects a factor of two in the statement of [70, Lemma 4.7], taking into account the different normalization for the Dirac operators).
Lemma 3.44. Assume that M is positive-dimensional. Let V+ E be a gener- alized metric and let div be a divergence operator on E. Then the generalized⊂ Ricci tensors in Definition 3.28 can be calculated by
r± 1 S / ± S± S± / ± ± (3.40) ιa∓ c± η = D Da∓ Da∓ D ei± D ± η, ± 2 R · − − · [ei ,a∓]∓ i=1 X 58 3. GENERALIZED CONNECTIONS AND CURVATURE where η Γ(S ) and a Γ(V ). ∈ ± ∓ ∈ ∓ Proof. We give a complete proof for c+, as the other case is symmetric. It is easy to see that the right hand side ofR (3.40) is tensorial in a Γ(V ). + ∓ ∈ ∓ To evaluate (3.40), we choose an orthogonal frame ei for V+ around x M + { } ∈ which satisfies Da− ei = 0 at the point x. This frame can constructed as in the proof of Proposition 3.27, by smooth extension of the parallel transport for the V -connection D+ along a curve starting at x with initial velocity π(a ). With the conventions− above− we have − r± S / ± ± [D ,Da− ]η ei± D ± η − · [ei ,a∓]∓ x i=1 | Xn + + + + = ei (De Da− Da− De D[e ,a ])η · i − i − i − i=1 Xn + + + = ei (ei ,a ) η · RD − · i=1 X = 1 tr(d+ + (d+,a )) η 2 → RD − · 1 + + + + + + + (c.p.ijk (ei ,a )ej ,e )ei ej e η, − 2 hRD − k i · · k · i EH(g)= Rg dVg, ZM is a second order diffeomorphism invariant functional, whose critical points in the Riemannian setting, n 3, satisfy Rc 0, and are dubbed Einstein metrics. This functional and the≥ attendant Einstein≡ metrics were discovered in the early 3.7. GENERALIZED EINSTEIN-HILBERT FUNCTIONAL 59 20th century and have played a central role in the development of Riemannian geometry and general relativity. By means of our analysis in generalized geometry we will introduce a more general, flexible class of metrics which can yield useful geometric structure on a wider class of manifolds. To begin we consider a certain generalization of the Einstein-Hilbert functional for generalized metrics. Definition 3.46. Let E be an exact Courant algebroid on an oriented smooth manifold M. Define the generalized Einstein-Hilbert functional for a generalized metric via G ( ) := ( )dV = R 1 H 2 dV . EH G S G g g − 12 | |g g ZM ZM Here we abuse of the notation and denote ( ) := ( , divG) (see Definition 3.41). As we show in the next proposition, theS criticalG pointS G equation is naturally expressed in terms of the generalized scalar curvature ( ) and the generalized S G Ricci tensor c( ) := c( , divG) (see Definition 3.31). R G R G Proposition 3.47. Let E be an exact Courant algebroid over an oriented smooth manifold M n, with n 3. A generalized metric on E is a critical point for the generalized Einstein-Hilbert≥ functional if and onlyG if c( )= 1 ( ) . GR G 2 S G G Equivalently, in terms of the associated pair (g,H), the critical points of the func- tional are given by solutions of the equation Rc+ 1 Rg 1 H 2 g =0. − 2 − 12 | | Proof. The proof involves computing variation formulas for the different pieces of the integrand, and these are carried out in 5.1 below. Specifically, using Lemmas 5.2, 5.3 and 5.4, and applying the divergence§ theorem one derives d (g ,b )= ( ∆ tr h + div div h h, Rc ) ds EH s s { − g − h i s=0 ZM 1 2 H,dK 3 h,H2 + R 1 H 2 1 tr h dV − 12 h i− − 12 | | 2 g g 1 2 1 1 2 3 o = h, Rc + 4 H + 2 R 12 H g 2 d∗H,K dVg. M − − | | − h i Z nD E o Thus this variation vanishes for all choices of (h,K) if and only if 1 2 1 1 2 Rc H R H g =0, d∗H =0. − 4 − 2 − 12 | | The first part of the statement follows combining Proposition 3.30, equation (3.38), and Lemma 2.33. As for the second part, by Proposition 3.18, the vanishing of d∗H is equivalent to vanishing of the skew-symmetric part of Rc+. We reinterpret the scalar piece of the first equation in terms of the Bismut scalar curvature to obtain the equivalent equation Rc+ 1 Rg 1 H 2 g =0, − 2 − 12 | | as required. 60 3. GENERALIZED CONNECTIONS AND CURVATURE Observe the strong analogy between the critical point equation for this func- tional, formulated in the generalized geometry language, and the classical Einstein equation. While these generalized Einstein metrics are of interest, it turns out to be more useful to adopt a more flexible functional, where we allow for the divergence operator to vary independent of the generalized metric. Following the definition of the scalar curvature in Definition 3.41, we introduce the class of compatible pairs ( , div) of main interest. G Definition 3.48. Let ( , div) be a pair given by a generalized metric and a divergence operator div on anG exact Courant algebroid E. We say that ( G, div) is G exact if e Γ(E), defined by divG div = e, , satisfies πe = 0 and e = 2df for ∈ − h ·i some smooth function f C∞(M). ∈ Being a special case of the closed pairs in Definition 3.40, an exact pair ( , div) is automatically compatible in the sense of Definition 2.52. Exact pairs areG closely related to the notion of density in the smooth manifold M. For our purposes it will be sufficient to assume that the manifold M is orientable and deal with the case of volume forms. Given a volume form µ on M, there is an associated divergence operator on the exact Courant algebroid E defined by (cf. 2.46) L µ divµ(e)= πe . µ Given now a generalized metric on E we can write G f µ = e− dVg for some smooth function f C∞(M), and therefore we obtain ∈ µ divG (e′) div (e′)= π(e′)f = 2df, e′ − h i µ for any e′ Γ(E). Therefore ( , div ) is exact. Conversely, any exact pair ( , div) is of the form∈ div = divµ, forG some volume form µ uniquely determined upG to a positive multiplicative constant. Definition 3.49. Let E be an exact Courant algebroid on an oriented smooth manifold M. Define the generalized Einstein-Hilbert functional for exact pairs ( , divµ) via G ( , divµ)= ( , divµ)µ EH G S G (3.41) ZM 1 2 2 f = R H + 2∆ f f e− dV . − 12| |g g − |∇ |g g ZM The last explicit formula in (3.41) follows directly from (3.38) taking ϕ =2df. Using the identity f f 2 f ∆ (e− )= e− f e− ∆ f g |∇ |g − g and integration by parts, we obtain the more amenable formula µ 1 2 2 f (3.42) ( , div )= R H + f e− dV . EH G − 12| | |∇ |g g ZM This functional is known in the mathematical physics literature as the low energy string effective action in the sigma model approach to type II string theory [34]. It will play a key role as an energy functional for the generalized Ricci flow in Chapter 6. 3.7. GENERALIZED EINSTEIN-HILBERT FUNCTIONAL 61 Theorem 3.50. Given E an exact Courant algebroid over a smooth manifold M of dimension n 3. Then, an exact pair ( , divµ) is a critical point for the generalized Einstein-Hilbert≥ functional if and onlyG if (3.43) c( , divµ)=0, ( , divµ)=0. R G S G Proof. We postpone the proof of the variation until Lemma 6.7, and apply µs formula (6.6) directly. Let ( s, div ) be a curve of exact pairs. In terms of the G µs classical data (gs,bs,µs) given by ( s, div ) (see Lemma 2.33 and Proposition 2.38) we have G ∂ ∂ ∂ g = h, b = k, µ = ( 1 tr h φ)µ. ∂s s ∂s s ∂s s 2 g − s=0 s=0 s=0 µs Thus, the tangent vector to ( s , div ) at s = 0 is given by (see Lemma 2.31) G ∂ ( , divµs ) = ( Φ, d(2φ tr h)). ∂s Gs G − − g s=0 Applying formula (6.6) and formula (3.32), d µs 1 2 2 1 ( , div )= Rc + H f,h + ( d∗H fyH) , k ds EH Gs − 4 − ∇ 2 − − ∇ s=0 ZM 1 2 2 1 f + R H + 2∆f f tr h φ e− dV − 12 | | − |∇ | 2 g − g f 1 fi = c, Φ e− dV + tr h φ e− dV , hR G i g S 2 g − g ZM ZM and hence the statement follows. It is not difficult to see that any critical point of the generalized Einstein-Hilbert functional on a compact manifold has necessarily vanishing three-form H = 0 and constant f. This follows taking the trace in the Ricci tensor Rc+ and comparing with the formula for the generalized scalar curvature (see the proof of [70, Propo- sition 5.8]). Thus, Ricci flat and scalar flat pairs ( , divµ) reduce to the classical Einstein metrics on a compact manifold. The situationG is more interesting if we consider solutions of (3.43) for closed pairs ( , div), as in Definition 3.40, rather than exact, as illustrated in the next example.G Example 3.51. Consider the compact four-dimensional manifold M = S3 S1. We use the Lie group structure given by identifying × M = SU(2) U(1). ∼ × Consider generators for the Lie algebra su(2) R = e ,e ,e ,e , ⊕ h 1 2 3 4i such that de1 = e23, de2 = e31, de3 = e12, de4 =0, j j ij i j for e the dual basis, satisfying e (ek)= δjk, and the notation e = e e and similarly.{ } We take k R and define a left-invariant three-form ∧ ∈ H = ke123. − This corresponds to a constant multiple of the pull-back of the Cartan three-form on the SU(2) factor, and hence it is bi-invariant and closed. Thus, it defines an equivariant exact Courant algebroid on E = T T ∗, with Dorfman bracket twisted ⊕ 62 3. GENERALIZED CONNECTIONS AND CURVATURE by H. To define a closed pair ( , div), we fix x R a non-zero constant, and define the bi-invariant metric G ∈ g = k(e1 e1 + e2 e2 + e3 e3 + x2e4 e4), ⊗ ⊗ ⊗ ⊗ and the closed form ϕ = xe4. − Then we define our pair ( , div) taking the generalized metric determined by g and the standard isotropicG splitting T E, and the divergence G ⊂ div = divG ϕ, . −h i We leave as an exercise to check that this pair satisfies the equations (3.43). As a hint, observe that g is the product of invariant metrics on the simple group SU(2) and the Abelian group U(1). Then, arguing as in Proposition 3.53 below it follows that ± are flat. Thus, (3.43) reduces to check that (see (3.32) and (3.38)) ∇ 1 2 1 2 ±ϕ =0, H d∗ϕ ϕ =0. ∇ 6| | − − 4| | As we will see in Chapter 6, by considering variations of which fix a back- ground volume element, the critical point equation no longerEH includes the scalar curvature vanishing, and we obtain an Euler equation determined only by the vanishing of the generalized Ricci tensor. We thus adopt the following general definition: Definition 3.52. Given an exact Courant algebroid E over a smooth manifold M n, we say that a generalized metric , with compatible divergence operator div, is generalized Einstein if G c( , div) = 0. R G It is elementary to see that a special case of such metrics occurs for ( , divG), where the associated pair (g,H) has vanishing classical Bismut Ricci tensor.G To finish this section we give examples of generalized Einstein metrics. A basic source of Einstein metrics in Riemannian geometry arises from the famous uni- formization theorem. This classical result classifies complete metrics with constant sectional curvature, showing they are all quotients of the three classical model spaces n n of the round sphere (S ,gSn ), the flat Euclidean plane (R ,gEucl) and hyperbolic n space (H ,gHyp). In generalized geometry, the presence of torsion gives a wider class of examples. In the examples below we will always have div = divG, so that the generalized Einstein equation reduces to asking for the classical Bismut Ricci tensor to vanish, which will in particular be satisfied when the Bismut connection is flat. We begin with the explicit construction of flat generalized metrics on simple Lie groups. Proposition 3.53. Let G be a Lie group with bi-invariant metric g. Define connections ± as the unique metric connections with torsion T (X, Y )= [X, Y ], ∇ ± acting on left-invariant vector fields. Then ± are flat. ∇ Proof. Recall that left-invariant vector fields on a Lie group with bi-invariant metric g satisfy g([X, Y ],Z)= g(X, [Y,Z]). 3.7. GENERALIZED EINSTEIN-HILBERT FUNCTIONAL 63 Using this, a direct calculation shows that the Levi-Civita connection takes the form Y = 1 [X, Y ]. ∇X 2 Furthermore, it follows that the tensor H(X,Y,Z) := g(T (X, Y ),Z) is skew-symmetric, since it is obviously skew-symmetric in X and Y , while H(X,Z,Y )= g(T (X,Z), Y )= g([X,Z], Y ) ± = g([Z,X], Y )= g(Z, [X, Y ]) = H(X,Y,Z). ∓ ∓ − Thus we can express the connection with torsion T as 1 1 1 ± Y,Z = Y,Z + H(X,Y,Z)= [X, Y ],Z [X, Y ],Z . ∇X h∇X i 2 2 h i± 2 h i + It is clear that X− Y,Z vanishes identically, and is thus flat. For , this formula easily yields ∇ ∇ R(X, Y )Z = ( Z) ( Z) Z ∇X ∇Y − ∇Y ∇X − ∇[X,Y ] = [Y,Z] [X,Z] [[X, Y ],Z] ∇X − ∇Y − = [X, [Y,Z]] [Y, [X,Z]] [[X, Y ],Z] − − = 0, by the Jacobi identity. We next give the classification of generalized Riemannian metrics with vanish- ing Bismut curvature. As discussed above, this result was originally established in the work of Cartan-Schouten [37, 36], who proved a more general statement classifying Riemannian manifolds admitting an absolute parallelism. More recently a short proof of this theorem which does not rely on the classification of symmet- ric spaces was given by Agricola-Friedrich [2]. We provide an adaptation of their proof in our setting which is significantly simplified due to the fact that we already assume the torsion is skew-symmetric and closed. Theorem 3.54. Let (M n,g,H) be a complete simply-connected Riemannian manifold with dH = 0 such that the Bismut connection associated to (g,H) is flat. Then (M n,g) is isometric to a product of simple Lie groups with bi-invariant 1 metrics g, and g− H(X, Y )= [X, Y ] on left-invariant vector fields. ± Proof. For convenience we set (σ )(X,Y,Z,U)= H(X, Y ),H(Z,U) . H h i σ(X,Y,ZX ) First note that since the connection is flat, combining (3.24) and (3.26) and using that dH = 0 we obtain (3.44) 0= dH(X,Y,Z,V )= σ (X,Y,Z,U) ( +H)(X,Y,Z). H − ∇U Inserting this identity back into (3.26) yields σH = 0 (Exercise). Comparing against (3.44) we see that +H = 0. A further elementary computation shows + 1 ∇ + that H H = 2 σH = 0, thus H = 0. Having shown H = 0, Proposition 3.18 yields∇ − ∇ ∇ ∇ Rm(X,Y,Z,W )= 1 ( H(X, W ),H(Y,Z) H(Y, W ),H(X,Z) ) 4 h i − h i 64 3. GENERALIZED CONNECTIONS AND CURVATURE In particular, the sectional curvatures satisfy 1 H(X, Y ) 2 K(X, Y )= | | 0. 4 X 2 Y 2 X, Y 2 ≥ | | | | − h i This implies a splitting of the torsion tensor in the presence of a metric splitting. In particular, if the metric splits as a product M = M1 M2 g = g1 g2, then for × 2 ⊕ Xi TMi unit we obtain 0 = K(X1,X2) = H(X1,X2) , hence H = H1 H2. Thus∈ we may reduce to analyzing the case that| (M,g) is irreducible.| ⊕ Now fix an orthonormal basis ei for some point p M. Since is flat, by parallel transport we can extend this{ to} a global orthonormal∈ frame on∇M. By the identity [ei,ej]= T + (ei,ej). − ∇ it follows directly that e are Killing fields and also { i} 0= H(e ,e ,e )= e ( [e ,e ],e ), ∇ei j k l − i h j k li in other words the functions [ei,ej ],el are constant. Thus ei are the basis for a Lie algebra. The correspondingh simply-connectedi Lie group{ is} a simple, compact Lie group isometric to (M,g). We next turn to low dimensional examples, and in the next proposition give a classification of solutions in dimension n = 3. Proposition 3.55. Let (M 3,g,H) be a generalized Einstein three-manifold. 3 Then there exists λ R such that H = λdVg, and (M ,g) is isometric to a space form with either zero∈ sectional curvature if λ =0, and positive sectional curvature otherwise. Proof. From the generalized Einstein equation we know that H is harmonic. But since H Λ3 and M is three-dimensional this means that ∈ 0= d H = d H , ∗ dVg hence H λ, as claimed. Given this it follows that H2 =2λ2g, and hence by the dVg ≡ vanishing of Rc+ we obtain + 1 2 λ2 Rc = Rc + 4 H = 2 g. Hence g is an Einstein metric. Expressing the Ricci curvature in terms of an orthonormal frame, one observes that R1212 + R1313 = R2121 + R2323 = R3131 + R3232, which implies that R1212 = R1313 = R2323. Since this holds for an arbitrary orthonormal frame it follows that the metric has constant sectional curvature, and so g is a space form, as claimed. Example 3.56. Note that in the previous proposition that a generalized Ein- stein structure can be associated to a classical Einstein metric with nonzero Einstein 3 constant. In particular, consider the example of (S ,gS3 ), the three sphere with the round metric of constant sectional curvature 1. This metric is Einstein, in g 3 particular Rc S = 2gS3 . Now set H = 2dVg. This is a parallel three-form, and a direct calculation shows that H2 = 8g, and hence it follows that Rc+ 0, and ≡ so the structure (gS3 ,H) is generalized Einstein. This example is actually Bismut flat, and is left-invariant on the Lie group S3, in line with Theorem 3.54. 3.7. GENERALIZED EINSTEIN-HILBERT FUNCTIONAL 65 ni Example 3.57. Given (Mi ,gi,Hi), i = 1, 2 two generalized Einstein struc- tures, we form a product from these structures as follows. First set M = M M , 1 × 2 with canonical projection maps π : M M . We furthermore set g = π∗g + π∗g i → i 1 1 2 2 and H = π1∗H1 + π2∗H2. It is easily checked that this gives another generalized Einstein structure. This allows us to form our first nontrivial example, namely 3 1 1 we take (S ,g 3 , dV ) and (S ,g 1 , 0), both generalized Einstein (see Example S 2 gS3 S 3.56), and so the resulting product structure is a nontrivial generalized Einstein structure. This example plays a central role in the study of generalized Einstein structures in complex geometry, as we will see in Chapter 8. Note also that not 3 1 only is the product metric π1∗gS3 +π2∗gS1 not an Einstein metric, but S S cannot admit any Einstein metric by the Hitchin Thorpe inequality (cf. [98, 177× ]). Question 3.58. A classical result of Alekseevskii-Kimelfeld [4] establishes that a homogeneous Riemannian manifold M = G/K with zero Ricci curvature is locally Euclidean, and so isometric to a product of a Euclidean space with a flat torus. An elementary proof of this fact was given by B´erard-Bergery ([14]) which we briefly recount here. Using Cheeger-Gromoll splitting [43, Theorem 5], the space splits as a product of a compact homogeneous Ricci flat space with a flat Euclidean space. Using the Bochner argument on the compact piece, it follows that all Killing fields are parallel. Thus there is a global parallel frame and so the compact piece is flat. Does this result extend to generalized setting? That is, given (M n,g,H) a homo- geneous Riemannian manifold with H invariant and zero Bismut-Ricci curvature, is the associated Bismut connection flat? CHAPTER 4 Fundamentals of Generalized Ricci Flow Having established fundamental properties of generalized geometry, and some basic notions and examples of canonical structures in generalized geometry, it is natural to ask the question, Which manifolds admit canonical generalized geometries, and how can we construct them? As stated this question is quite broad, and we cannot expect satisfying answers without further restrictions. In the context of Riemannian geometry, Hamilton introduced a powerful tool, the Ricci flow, for approaching these questions in a broad, principled, way. Ricci flow is an evolution equation for Riemannian metrics taking the form ∂ g = 2 Rc . ∂t − The basic philosophy underpinning the Ricci flow equation is at once elementary and profound. This equation is meant to be interpreted as a heat equation for Riemannian metrics, where one expects the curvature to smooth out and become in a certain sense uniform, eventually yielding a canonical Riemannian metric, say an Einstein metric, as a limit. The generalized Ricci flow seeks to adapt this same philosophy to the setting of generalized geometry, and can be expressed in the language of generalized geometry as 1 ∂ − = 2 c( ). G ∂tG − R G As we will see, this is a kind of heat equation which deforms generalized metrics, at least in principle, towards a canonical structure, say a generalized Einstein metric. From this basic starting point we will show in the remainder of the text that the generalized Ricci flow equation is rich with geometric structure, broad enough to encompass meaningful geometric and topological questions, and yet tame enough to yield global existence results. 4.1. The equation and its motivation In this section we give various definitions and equivalent formulations of gen- eralized Ricci flow, of increasing conceptual complexity. To begin we give the equations first from the point of view of classical objects in Riemannian geometry. 4.1.1. Classical formulation. n 3 Definition 4.1. Given M a smooth manifold, H Λ T ∗, dH = 0, we say 0 ∈ 0 that a one-parameter family (gt,bt) of pairs of Riemannian metrics and two forms 67 68 4. FUNDAMENTALS OF GENERALIZED RICCI FLOW is a solution of generalized Ricci flow if, setting H = H0 + dbt, one has ∂ 1 2 g = 2Rc+ 2 H , (4.1) ∂t − ∂ b = d∗H. ∂t − g As discussed in Chapter 3, this system first appeared in physics literature from the study of renormalization group flow [34], with the first mathematical results appearing in [138, 157]. From a naive point of view this flow is a natural coupling of the Ricci flow equation with a degenerate heat equation for a two-form. To get a feeling for the generalized Ricci flow, we recall some basic aspects of parabolic equations. Consider the initial value problem for a section u of some smooth vector bundle E over M with connection , ∇ ∂u = aij (t, x, u, u) u + f(t, x, u, u), (4.2) ∂t ∇ ∇i∇j ∇ u(0) = u0. Here of course the right hand side should be defined by some coordinate invariant operators, and the equation (4.2) is to be interpreted in some coordinate chart. Definition 4.2. The equation (4.2) is parabolic at (u,x,t) if aij (x, t, u, u) > 0 ∇ in the sense of bilinear forms. The standard theory of parabolic partial diffferential equations gives that for any initial data u0 on a compact manifold such that (4.2) is parabolic at all points (u0, x, 0), there exists ǫ> 0 and a solution to (4.2) on [0,ǫ). For more context and further results in these areas we direct the reader to [61, 82, 126]. Due to the issue of gauge invariance, the generalized Ricci flow is not a strictly parabolic equation. However, the resemblance of generalized Ricci flow to a heat equation can be seen in the next lemma. 3 Lemma 4.3. Fix M a smooth manifold, H Λ T ∗, dH = 0, and (g ,b ) 0 ∈ 0 t t a solution of generalized Ricci flow. Assuming dg∗b = 0, in harmonic coordinates centered at a point (p0,t0), the generalized Ricci flow is expressed as ∂ ∂2g g = gkl ij + Q (g,∂g,H ,∂b), ∂t ij ∂xk∂xl 1 0 ∂ ∂2b b = gkl ij + Q (g,∂g,H ,∂b)+ Q (g, b, ∂2g), ∂t ij ∂xk∂xl 2 0 3 where the quantities Qi denote quadratic expressions in the arguments. Proof. By [143, Lemma 49] we know that at the center of a harmonic coor- dinate chart one has ∂2g Rc = 1 gkl ij + Q(g,∂g) ij − 2 ∂xk∂xl for some quadratic expression Q(g,∂g) in first derivatives of g. As the term H2 in the definition of generalized Ricci flow is expressed as a quadratic in H0 and first 4.1. THE EQUATION AND ITS MOTIVATION 69 derivatives of b, the first claimed equation follows. As we have assumed dg∗b = 0, we can furthermore express ∂ b = d∗ (H + db) ∂t ij − g 0 = ∆db + Q(g,∂g,H0) ∂2b = gkl ij + Q (g,∂g,H ,∂b)+ Q (g, b, ∂2g), ∂xk∂xl 2 0 3 as claimed. Thus we see that in special coordinates for g, together with the divergence-free condition for b, the generalized Ricci flow appears to be a strictly parabolic equation. The choice of coordinates and imposition of dg∗b = 0 relate to the gauge-invariance of the flow, explored more in 4.4, and exploited in the proof of short-time existence § of the flow in Chapter 5. For instance, the condition dg∗b = 0 corresponds to a choice of gauge-fixing rendering bL2-orthogonal to the infinitesimal action of inner B-field symmetries, given by the image of T ∗ via (2.15), in the space of generalized metrics (see Remark 2.42). In a slight abuse of terminology, the one-parameter family of pairs (gt,Ht = H0 + dbt) will also be referred to as a solution of generalized Ricci flow. In the next lemma we record the evolution equation for H. n 3 Lemma 4.4. Given M a smooth manifold, H0 Λ T ∗, dH0 =0, and (gt,bt) a solution of generalized Ricci flow, one has ∈ ∂ ∆ H = 0. ∂t − d,gt Proof. Using the flow equations of (4.1) and the fact that H0 is closed we compute ∂ ∂ H = (H0 + db)= dd∗ H = ∆d,g H, ∂t ∂t − gt t as required. Remark 4.5. The tensor H2 is positive semidefinite, thus it follows that a solution to generalized Ricci flow is automatically a supersolution of Ricci flow, i.e. ∂ g 2 Rc . ∂t ≥ − Many results have appeared in recent years concerning Ricci flow supersolutions (cf. for instance [96, 115, 133, 175]), and thus all such results automatically apply for generalized Ricci flow. 4.1.2. Generalized formulation. It is useful to express the generalized Ricci flow directly in terms of the language of generalized geometry. To begin we give an elementary lemma which expresses the generalized Ricci flow in terms of the curvature of the Bismut connection. n 2 Lemma 4.6. Fix M a smooth manifold and H Λ T ∗, dH = 0. Then 0 ∈ 0 (gt,bt) is a solution of generalized Ricci flow if and only if ∂ (g b)(X, Y )= 2 Rc+(X, Y ), ∂t − − 70 4. FUNDAMENTALS OF GENERALIZED RICCI FLOW where Rc+ denotes the Ricci curvature tensor associated to the Bismut connection + 1 1 = + g− H. ∇ ∇ 2 Proof. This follows directly from the evolution equations (4.1) and the for- mulas for the symmetric and skew-symmetric parts of the Bismut Ricci curvature exhibited in Proposition 3.18. These formulations make it clear that the generalized Ricci flow equations in- volve precisely the data of a generalized metric on an exact Courant algebroid, namely a Riemannian metric and a skew-symmetric two-form. Furthermore, it is clear from Lemma 4.6 that the fixed points of the generalized Ricci flow are pre- cisely Bismut Ricci-flat structures. It is thus natural to express the flow equations directly in these terms, which is carried out next. We fix a generalized metric 0 on an exact Courant algebroid E over the smooth manifold M. Using the splittingG determined by (see Proposition 2.40), we can G0 identify E = T T ∗ endowed with the H0-twisted Courant bracket. Given now a one-parameter family⊕ of generalized metrics on E, via Proposition 2.38 we can Gt identify t with a one-parameter family of pairs (gt,bt). Recall from Lemma 2.33 that we haveG the following explicit formula for the derivative of along the family Gt 1 1 1 1 ∂ g− h g− kg− (4.3) − = 1 , G ∂tG k hg− − − where ∂ ∂ g = h, b = k. ∂t ∂t 1 Notice that − = by definition of generalized metric. It is also important to observe thatG (4.3) isG written in the isotropic splitting induced by the metric . Gt To state the next result, we denote c( )= c( , divG) the generalized Ricci tensor associated to a generalized metricR G viaR itsG Riemannian divergence (see Definition 3.31 and Definition 2.46). G Proposition 4.7. Given (E, [, ], , ) M an exact Courant algebroid, a one- parameter family of generalized metricsh i → satisfies Gt 1 ∂ (4.4) − = 2 c( ) G ∂tG − R G if and only if the one-parameter family of pairs (gt,bt) determined by t and the initial splitting associated to satisfies generalized Ricci flow. G G0 Proof. Notice that c( ) defines a tangent vector to the space of generalized metrics at by LemmaR 2.31G and Lemma 3.32. Then, (4.4) follows directly from Lemma 2.35,G Lemma 4.6, and Proposition 3.30. Remark 4.8. The condition c( ) = c( ) in Proposition 3.30 shows that we can alternatively write theGR generalizedG −R RicciG flowG as (see [70, 162]) ∂ = [ c( ), ]. ∂tG R G G 4.2. EXAMPLES 71 4.2. Examples Before delving into the analysis of generalized Ricci flow, we record some fun- damental examples which give context to the analysis to follow and also indicate the role the torsion tensor H plays in affecting the qualitative behavior of the flow. We first record some terminology for certain kinds of entire solutions. Definition 4.9. We say that a solution (gt,Ht) to generalized Ricci flow is (1) ancient if it is defined on M ( , 0), (2) immortal if it is defined on M× −∞(0, ), (3) eternal if it is defined on M ×( ,∞ ). × −∞ ∞ 3 Example 4.10. Consider (S ,gS3 ) the three-dimensional sphere with round metric of constant sectional curvature 1. As noted in Example 3.56, this metric g 3 satisfies Rc S = 2gS3 . What is more, due to the scale invariance of the Ricci λg 3 tensor, for any λ > 0 one has Rc S = 2g 3 . Fix now a constant η R and let S ∈ H = ηdV . Note that for any pair of the form (g,H) = (λg 3 , ηdV ) one has gS3 S gS3 η2 2 3 that d∗H = d∗ ηdVg 3 = 0, and H =2 2 gS , hence g λgS3 S λ B g 1 2 1 1 η2 (4.5) Rc = Rc H d∗H = 2 2 g 3 . − 4 − 2 g − 2 λ S We now construct solutions to the generalized Ricci flow within this ansatz, i.e. 3 (gt,Ht) = (λtgS , ηtdVgS3 ). Using (4.5), we see that it will always be the case that ∂ ∂t η = 0, and so our flow reduces to the evolution of λ, which we obtain from (4.1) and (4.5) via 2 ∂ ∂ 1 2 η0 λ g 3 = (λg 3 )= 2Rc+ H = 4+ g 3 , ∂t S ∂t S − 2 − λ2 S which implies ∂ η2 (4.6) λ = 4+ 0 . ∂t − λ2 Here the analysis splits into two cases, whose behavior is markedly different. ∂ In particular, in the case η0 = 0, we simply obtain ∂t λ = 4, and so the solution λ0 − to the flow exists on the time interval [0, 4 ), with explicit solution (gt,Ht) = ((λ0 4t)gS3 , 0). Note that, as H = 0 along the flow, the generalized Ricci flow has reduced− to the classical Ricci flow equation, and this example indicates one of the basic qualitative behaviors of the Ricci flow, namely that the round sphere shrinks homothetically at a constant rate until its diameter goes to zero at the finite λ0 time 4 . This solution in fact can be extended for all negative times, giving a basic example of an ancient solution. In the case η0 = 0, i..e when the H field is present, the generalized Ricci flow behaves quite differently.6 In particular, we see in this case that there is a η0 unique fixed point of (4.6), namely when λ = | 2 | . Furthermore, this fixed point η0 ∂ η0 is attractive in the sense that for λ < | 2 | one has ∂t λ > 0 and for λ > | 2 | one ∂ has ∂t λ < 0. Elementary calculus arguments show that for any choice of λ0, the η0 solution to (4.6) exists on [0, ), and λt converges as t to the value | 2 | . Thus we see a striking difference in∞ the qualitative behavior→ in ∞ this example depending on the presence of H, where in some rough sense the presence of H attenuates the otherwise singular behavior of the flow, turning what was once a finite time 72 4. FUNDAMENTALS OF GENERALIZED RICCI FLOW singularity into a flow with infinite existence time and convergence at infinity. One may argue that, in the case when H = 0, a simple rescaling in space and time to normalize the volume along the flow suffices to recover global existence and convergence at infinity to gS3 , but nonetheless this example gives a sense of what can be expected conjecturally in more general cases, where the overall behavior η0 is not as elementary. We note that, if λ | 2 | > 0 initially, the solution extends backwards in time to be an eternal solution,− otherwise it will only be immortal. 3 Example 4.11. Consider (M ,gHyp) a compact hyperbolic 3-manifold with constant sectional curvature 1. Then RcgHyp = 2g . Fix a constant η R − − Hyp ∈ 3 and let H = ηdVgHyp . Note that for any pair of the form (g,H) = (λgS , ηdVgS3 ) 2 2 η one has that d H = d ηdV = 0, and H =2 2 gHyp, hence g∗ λg∗ Hyp gHyp λ 2 B g 1 2 1 1 η (4.7) Rc = Rc H d∗H = 2 2 g . − 4 − 2 g − − 2 λ Hyp We now construct solutions to the generalized Ricci flow within this ansatz, i.e. (gt,Ht) = (λtgHyp, ηtdVgHyp ). Using (4.7), we see that it will always be the case ∂ that ∂t η = 0, and so our flow reduces to the evolution of λ, which we obtain from (4.1) via ∂ ∂ η2 λ g = (λg )= 2Rc+ 1 H2 = 4+ 0 g , ∂t Hyp ∂t Hyp − 2 λ2 Hyp which implies ∂ η2 λ =4+ 0 . ∂t λ2 It follows from elementary arguments that for arbitrary λ0 > 0 this solution exists λt for [0, ), and λt is asymptotic to 4t in the sense that limt t = 4. These solutions∞ extend backwards to be immortal, but are not eternal→∞ solutions. We now address the issue of how to appropriately renormalize this flow to obtain some form of convergence. In particular, we set g H g = t , H = t , t t t t and define a new time parameter via s = log t. Then we compute e e ∂ ∂ g ∂g g g = t t = t = 2Rc+ 1 H2 g = 2 Rcg + 1 H2 g, ∂s ∂t t ∂t − t − 2 − − e 2 − where the last equality follows since the Ricci tensor is scale invariant, as is the e quantity He2. A similar calculation yields e e ∂ H = ∆ H H. ∂s d − Thus this scaling has the effect of adding normalizing terms to the original equa- e e e e tions. Since H was fixed under the original flow, it follows easily that H 0, λ → whereas since t approaches 4, we will obtain g 4g . t → Hyp e Example 4.12. The presence of the torsion term H will of course not remove all singular behavior. One only expects the terme H to prevent the collapse of the length of vectors v for which vyH = 0, a condition which is difficult to verify in general along a solution to the flow, but6 which we can illustrate with a simple exam- 3 1 ple. In particular, as in Example 3.56, on S , the structure (g,H) = (g 3 , dV ) S 2 gS3 4.2. EXAMPLES 73 is generalized Einstein, and so a fixed point of generalized Ricci flow. However, 3 3 1 consider M = S S , with g = π g 3 + π g 3 , and H = π (dV ). Elementary 1∗ S 2∗ S 2 1∗ gS3 arguments show that× the generalized Ricci flow with this initial condition will be- have as the product of the solutions on the factors of S3. In particular, the first factor will remain fixed as it is generalized Einstein, and the second factor will homothetically shrink to a point in finite time as described in Example 4.10. Example 4.13. A classical singularity model of the Ricci flow is the shrinking cylinder, which models regions of Ricci flow experiencing a neckpinch singularity. Let M = Sn R, and consider the one-parameter family of metrics × 2 g = 2(n 1)tg n ds , t − − S ⊕ 2 defined for t < 0. Since Rc n = (n 1)g n and the metric ds is flat, it follows gS − S that gt is a solution of Ricci flow. Thus this solution is ancient, and is meant to model a collapsing neck. The dynamics of necks under generalized Ricci flow can be quite different depending on the dimension and the choice of H. First consider S2 R, let × H dV 2 ds, fix constants φ,ψ > 0 and consider a metric g of the form ≡ S ∧ 2 g = φg 2 ψds . S ⊕ Note that the Ricci tensor for any such metric is Rc = gS2 . Further direct computation shows that for these choices of g and H one has 2 1 1 2 2 H = φ− ψ− g 2 φ− ds . S ⊕ As H is harmonic with respect to any metric in the given ansatz, the generalized Ricci flow can thus be reduced to the system of ODE ∂ 1 1 1 φ = 2+ φ− ψ− , ∂t − 2 ∂ 1 2 ψ = φ− . ∂t 2 We leave as an exercise to show that, for any positive initial values of φ and ψ, the solution to this system of ODEs exists on a time interval of the form [0, ), where ∞ lim φ =0, lim ψ = . t t →∞ →∞ ∞ In other words, the neck can still collapse, although it takes infinitely long to do so. 3 On the other hand if we consider S R, with H = dVS3 and g = λgS3 ds2, then the solution to generalized Ricci× flow will split according to the product⊕ structure, and the dynamics of the S3 portion are the same as those described in the case of S3 in Example 4.10, and thus the neck stabilizes, yielding convergence to a cylindrical metric. To finish this section we analyze the generalized Ricci flow of all left-invariant 3 metrics on S ∼= SU(2). Before doing this we set up some general remarks on the generalized Ricci flow of left-invariant structures on compact semisimple Lie groups. First, as the unique left-invariant representative of any cohomology class is harmonic with respect to any left-invariant metric, it follows that H will remain fixed along any such solution. Furthermore, as indicated by the example of round 74 4. FUNDAMENTALS OF GENERALIZED RICCI FLOW S3 above, the initial cohomology class chosen for H can have a significant effect on the qualitative behavior of the generalized Ricci flow. In fact, even for the case of Ricci flow (H 0), there is not a general picture of the behavior of Ricci flow in this setting. However,≡ as described in Proposition 3.53, there are canonical Bismut- flat structures given by the unique bi-invariant metric g together with torsion H = g([ , ], ). ± · · · Conjecture 4.14. Let G denote a compact semisimple Lie group with bi- invariant metric g . Given g0 a left-invariant metric and ∞ H0 = g ([ , ], ), ± ∞ · · · the generalized Ricci flow with initial condition (g ,H ) exists on [0, ) and con- 0 0 ∞ verges to the Bismut-flat structure (g ,H0). ∞ Example . 3 4.15 We prove Conjecture 4.14 in the case of S ∼= SU(2). Recall we constructed generalized Ricci flat structures on SU(2) S1 in Example 3.51, using a left-invariant frame. Here we choose a slightly different× frame, in particular we choose left-invariant vector fields X1,X2,X3 such that [X ,X ]= 2X , [X ,X ]= 2X , [X ,X ]= 2X . 1 2 − 3 2 3 − 1 3 1 − 2 Such a basis is called a Milnor frame, and we refer to [134] for further information on the geometry of left-invariant metrics on Lie groups. This frame induces a global coframe µi , and we can consider left-invariant metrics of the form { } g = Aµ1 µ1 + Bµ2 µ2 + Cµ3 µ3. ⊗ ⊗ ⊗ The bi-invariant metrics occur exactly when A = B = C. An exercise shows that the only nonvanishing components of the Ricci tensor are 2 Rc(X ,X )= A2 (B C)2 , 1 1 BC − − 2 Rc(X ,X )= B2 (C A)2 , 2 2 CA − − 2 Rc(X ,X )= C2 (A B)2 . 3 3 AB − − Furthermore we can compute, up to a positive multiple, H = µ1 µ2 µ3, 0 ∧ ∧ and hence associated to g and H0 we have that the only nonvanishing components 2 of H0 are 2 2 2 H2(X ,X )= , H2(X ,X )= , H2(X ,X )= . 0 1 1 BC 0 2 2 CA 0 3 3 AB As remarked above, the generalized Ricci flow with initial condition (g0 = g,H0) will preserve Ht = H0 for all times. It follows from the above computations that the flow reduces to the following system of ODE for the positive numbers A, B, C: 1 A˙ = 4A2 + 4(B C)2 +1 , BC − − 1 B˙ = 4B2 + 4(C A)2 +1 , CA − − 1 C˙ = 4C2 + 4(A B)2 +1 . AB − − 4.3. MAXIMUM PRINCIPLES 75 Without loss of generality we can asssume A0 B0 C0. A computation shows that ≤ ≤ d C A (C A)=4 − B2 (A + C)2 +1 . dt − ABC − This can be used to show that At Bt Ct for all times such that the solution is defined. Furthermore, we observe that≤ ≤ 1 1 2 A˙ B− C− 4A +1 , ≥ − so a uniform positive lower bound for A is preserved for all times. We can also compute d C A 2 1 (4.8) − = 8A− B− (C A) (C + A B) 0. dt A − − − ≤ It follows that there is a uniform constant λ > 0 such that C λA. Using this estimate we furthermore obtain ≤ A 1 λ2 C˙ 8+4 + 4+ . ≤ − B AB ≤− C2 It follows that there is a uniform upper bound for C. With the uniform lower bound for A and upper bound for C in place, it follows that the solution to the ODE is defined for all t> 0. Returning to (4.8), it follows that there is a uniform constant δ > 0 so that d C A C A − δ − , dt A ≤ − A and the solution converges exponentially to A = B = C , a multiple of the bi-invariant metric. ∞ ∞ ∞ It would be interesting to carry out a similar analysis for left-invariant solutions of generalized Ricci flow in other classes of Lie groups, which help us to understand qualitative properties of the equations. The case of nilpotent Lie groups has been studied in [139] (see also [21, 59] in the setting of pluriclosed flow in Chapter 9). 4.3. Maximum principles Moving beyond homogeneous examples, the most basic tool in analyzing second order elliptic and parabolic partial differential equations in general is the maximum principle, and these tools are crucial in understanding generalized Ricci flow. In this section we record statements and some proofs of elliptic and parabolic maximum principles on manifolds. Proposition 4.16. Let (M n,g) be a compact connected Riemannian manifold and suppose u C∞(M) satisfies ∈ Lu := ∆u + X u 0, · ≤ where X Γ(T ) is a vector field. Then u is constant. ∈ n Proposition 4.17. Let (M ,gt) be a compact manifold with a one-parameter family of Riemannian metrics. Suppose u C∞(M [0,T )) satisfies ∈ × ∂ ∆ u 0. ∂t − gt ≤ 76 4. FUNDAMENTALS OF GENERALIZED RICCI FLOW Then sup u sup u M t ≤ M 0 ×{ } ×{ } for all t [0,T ). ∈ Proof. Fix ǫ > 0, and set u := u ǫ(1 + t). One obviously has that ǫ − supM 0 uǫ < supM 0 u =: λ. We will show that supM t uǫ < λ, which ×{ } ×{ } ×{ } will finish the proposition by sending ǫ to zero. If this claim was false, there exists a point such that u λ. Since M is compact, we can choose (x, t) M (0,T ) ǫ ≥ ∈ × such that uǫ(x, t) = λ, and uǫ(y,s) λ for all y M, 0 s t. Hence (x, t) is a spacetime maximum for u on M ≤ [0,t], and so∈ it follows≤ that≤ ∆ u 0 and ǫ × gt ǫ ≤ ∂ u 0 at (x, t). We conclude that, at (x, t) we have ∂t ǫ ≥ ∂ 0 u ∆ u ǫ< 0, ≤ ∂t ǫ ≤ gt ǫ − a contradiction. Hence supM t uǫ < λ for all t [0,T ), and the proposition follows. ×{ } ∈ For various applications one needs to consider more general reaction-diffusion equations beyond sub/supersolutions of the heat equation. We next formalize a general class of equations which suffices for our purposes. n Definition 4.18. Given (M ,gt) a smooth manifold with a smooth one-parameter family of Riemannian metrics, Xt Γ(T ) a smooth one-parameter family of vector fields and F : R [0,T ) R which∈ is continuous in t and locally Lipschitz in x, define the associated× semi-linear→ heat operator via ∂ Lu := u ∆ u X u F (u,t). ∂t − gt − t − n Proposition 4.19. Let (M ,gt) be a compact manifold with a one-parameter family of Riemannian metrics. Suppose L is a semi-linear heat operator as in Definition 4.18, and suppose u, v C2(M [0,T )) satisfy ∈ × Lv Lu, sup (v u) 0. ≤ M 0 − ≤ ×{ } Then sup (v u) 0 M t − ≤ ×{ } for all t [0,T ). ∈ Proof. We set w(x, t) = u(x, t) v(x, t), and aim to show that w 0 at all points. Fix a time τ [0,T ). Since the− function F is locally Lipschitz in≥ space and the region M [0, τ]∈ is compact, there exists a constant K such that × F (u(x, t),t) F (v(x, t),t) K u(x, t) v(x, t) . | − |≤ | − | for all (x, t) M [0, τ]. Now fix ǫ> 0 and let ∈ × w (x, t)= u(x, t) v(x, t)+ ǫe2Kt. ǫ − 4.3. MAXIMUM PRINCIPLES 77 Using the given differential inequalities we compute ∂w ǫ ∆w + X, w F (u,t)+ F (v,t)+2Kǫe2Kt ∂t ≥ ǫ h ∇ ǫi− ∆w + X, w K w +2Kǫe2Kt. ≥ ǫ h ∇ ǫi− | | If ever wǫ = 0, then arguing as in Proposition 4.17 we can choose a point (x0,t0) such that wǫ(x0,t0)=0 and (x0,t0) realizes the minimum for wǫ on M [0,t0]. 2Kt0 ∂w×ǫ Note then that at the point (x0,t0), w = ǫe , wǫ = 0, ∆wǫ 0, ∂t 0. Thus we conclude − ∇ ≥ ≤ ∂w 0 ǫ Kǫe2Kt0 +2Kǫe2Kt0 Kǫe2Kt0 > 0, ≥ ∂t ≥− ≥ a contradiction. Thus wǫ > 0 for all ǫ> 0 and thus w 0 on M [0, τ], finishing the proof. ≥ × We end this section with the fundamental observation that if H vanishes at the initial time of a solution to generalized Ricci flow, then it vanishes for all time t > 0, and the one-parameter family of metrics evolves by the Ricci flow. This justitifes the terminology of “generalized Ricci flow,” and yields the important philosophical point that, without special assumptions on H, in the most general setting the results must be extensions of those for Ricci flow. However as we have already seen there are geometrically natural settings where the presence of H has important qualitative effects on the behavior of the flow. n Proposition 4.20. Let M be a smooth compact manifold and suppose (gt,Ht) is a solution to generalized Ricci flow satisfying H0 0. Then for all t such that the flow is defined, H 0, and ≡ t ≡ ∂ g = 2 Rc, ∂t − that is, gt is a solution to Ricci flow. Proof. Suppose the solution exists on [0,T ), fix some τ K := sup Rmg . M [0,τ] | | × Using Lemma 4.4 and the Bochner formula (cf. 5.20 below) we obtain the differen- tial inequality ∂ ∆ H 2 CK H 2 . ∂t − | | ≤ | | CKt 2 ∂ In particular, if we define Φ := e− H , we easily obtain ∂t ∆ Φ 0. Applying the maximum principle (Proposition| | 4.17) we see that for− all t ≤[0, τ] one has ∈ CKt 2 CKt 2 sup e− H sup e− H =0, M t | | ≤ M 0 | | ×{ } ×{ } and so H vanishes on [0, τ]. This argument applies for arbitrary τ 4.4. Invariance group and solitons A fundamental feature of many evolution equations in geometry is the presence of an infinite dimensional invariance group. For instance, the Ricci tensor of a Riemannian metric is diffeomorphism covariant, and so diffeomorphisms can act on solutions to the Ricci flow, preserving the equation. More generally, one can pull a solution to Ricci flow back by a family of time-dependent diffeomorphisms. It is natural to consider this as equivalent to the original flow, as the corresponding time slices are isometric. However, the resulting flow equation now includes a Lie derivative term corresponding to the variation of the family of diffeomorphisms. This circle of ideas is relevant to the generalized Ricci flow as well. As discussed in 2.2, the relevant symmetry group includes B-field transformations. By letting a time-dependent§ family of symmetries act on a solution to generalized Ricci flow one produces a more general flow equation which includes modification by Lie derivative terms as well as a closed two-form. 4.4.1. Gauge-fixed generalized Ricci flow. To begin we recall the deriva- tion of the gauge-fixed Ricci flow equation from the Ricci flow. We say that g = gt satisfies the gauge-fixed Ricci flow if there exists a one-parameter family of vector fields Xt Γ(T ) such that gt = (φt) gt is a solution of the Ricci flow, where φt is ∈ ∗ the one-parameter family of diffeomorphisms generated by Xt e ∂ X φ = φ . t ◦ t ∂t t Using the naturality of the of the Ricci tensor under diffeomorphisms, the gauge- fixed Ricci flow is equivalent to ∂ ∂ g = φt g LXt g = 2φt Rc(g)= 2 Rc(g) ∂t ∗ ∂t − ! − ∗ − and we obtain thee equation e ∂ (4.9) g = 2Rc+L g. ∂t − Xt Following this line of thought, we can define a gauge-fixed version of generalized Ricci flow. Definition 4.21. Given E an exact Courant algebroid, a one-parameter family of generalized metrics satisfies the gauge-fixed generalized Ricci flow if there Gt exists a one-parameter family of generalized diffeomorphisms Ft Aut(E) such that ∈ 1 = (Ft) = Ft tFt− G ∗G G is a solution of the generalized Ricci flow. e 3 Proposition 4.22. Given H Λ T ∗ such that dH = 0, consider the exact 0 ∈ 0 Courant algebroid E = (T T ∗, , , [, ] , π). Then, a one-parameter family of ⊕ h i H0 generalized metrics t satisfies the gauge-fixed generalized Ricci flow if and only if there exists a familyG of vector fields X and B Λ2 satisfying t t ∈ d (Bt + iXt H0)=0, 4.4. INVARIANCE GROUP AND SOLITONS 79 such that the associated one-parameter family of pairs (gt,bt) satisfies ∂ 1 2 g = 2Rc+ 2 H + LX g (4.10) ∂t − ∂ b = d∗H B + L b. ∂t − g − X Proof. Using the naturality of the generalized Ricci tensor c, we first observe that the generalized Ricci flow equation is equivalent to R 1 ∂ 1 ∂ 1 t− = Ft − + − ζt = 2Ft c( )= 2 c( ) G ∂tG ∗ G ∂tG G · G! − ∗R G − R G where ζ e denotese the infinitesimal left action of the Lie algebra elemente t · G 1 ∂ ζ = F − F Lie Aut(E). t t ∂t t ∈ Thus, = is a solution of the gauge-fixed generalized Ricci flow if and only if G Gt there exists a one-parameter family of infinitesimal automorphisms ζt Lie Aut(E) such that ∈ 1 ∂ 1 (4.11) − = 2 c( ) − ζ . G ∂tG − R G − G t · G We use now E = (T T ∗, , , [, ]H0 , π) to write this condition explicitly. We have (see Corollary 2.22) ⊕ h i Lie Aut(E)= X + B L H = dB = X + B d(i H + B)=0 . { | X 0 − } { | X 0 } A one-parameter family ζ = X + B Lie Aut(E) can be integrated to t t t ∈ F = φ eBt Aut(E) t t ◦ ∈ where φt is the one-parameter family of diffeomorphisms generated by Xt and t Bt = φs∗Bsds. Z0 Now, if = (g,b) as in Proposition 2.38, it follows that G G Ft (g,b)= (φt g, φt (b + Bt)), ∗G G ∗ ∗ and therefore 1 1 1 1 g− LXt g g− (LXt b Bt)g− − ζt = − − − 1 , G · G LXt b Bt LXt gg− − where the previous formula is written in the isotropic splitting given by the metric . From this, we conclude that the gauge-fixed generalized Ricci flow is given by Gt ∂ 1 2 g = 2Rc+ 2 H + LXt g, (4.12) ∂t − ∂ b = d∗H B + L b, ∂t − g − t Xt where H = H0 + db, as required. Remark 4.23. Note that in the formulation above, Bt is not necessarily closed. It is possible to rephrase the above gauge-fixed equation in terms of the action of a closed B-field. Namely set k = B i H + d(i b). t − t − Xt 0 Xt 80 4. FUNDAMENTALS OF GENERALIZED RICCI FLOW Then B + L b = k + i H + i db = k + i H, − t Xt t Xt 0 Xt t Xt and we obtain the following alternative description of the flow: ∂ 1 2 g = 2Rc+ 2 H + LXt g, (4.13) ∂t − ∂ b = d∗H + i H + k . ∂t − g Xt t We will at times refer to this as (Xt, kt)-gauge-fixed generalized Ricci flow. Observe that in either formulation the evolution of the three-form is ∂ ∂ H = (H + db)= dd∗H + L H. ∂t ∂t 0 − g Xt It turns out that it is possible to interpret the gauge-fixed flow naturally in terms of the generalized Ricci tensor c+ associated to a particular choice of di- vergence operator. R Proposition 4.24. Let E be an exact Courant algebroid over a smooth man- ifold M. Let Xt be a one-parameter family of vector fields Xt on M. Then, a one-parameter family of generalized metrics satisfies Gt 1 ∂ + − π = 2 c ( , div) π , G ∂tG◦ − − R G ◦ − where div = divG + 2i g , , if and only if the one-parameter family of pairs (g ,b ) h Xt t i t t determined by t and the initial splitting associated to 0 satisfies the (Xt, kt)- gauge-fixed generalizedG Ricci flow (4.13) with k = d(i Gg ). t − Xt t Proof. Let ϕ T ∗ a one-form. From Proposition 3.30, the generalized Ricci + ∈ tensor c with divergence div = divG 2ϕ, is given by R − h i + 1 2 1 1 1 1 c (σ X, σ+Y )= Rc H + Lϕ♯ g d∗H + dϕ iϕ♯ H (X, Y ), R − − 4 2 − 2 2 − 2 where we have used the identity + 1 1 1 ϕ = L ♯ g + dϕ i ♯ H. ∇ 2 ϕ 2 − 2 ϕ + Setting ϕ = iXt gt and identifying the generalized Ricci tensor c with a map + − R c : V V+, the statement follows combining equation (4.13) with Lemma R2.35. − → For the case of a gradient vector field the divergence div = divG + 2iXt gt, is exact (see Definition 3.48) and we can express the gauge-fixed generalizedh Riccii flow (4.13) as generalized Ricci flow with divergence operator. Proposition 4.25. Let E be an exact Courant algebroid over a smooth mani- fold M. Let ft be a one-parameter family of functions on M. Then, a one-parameter family of generalized metrics satisfies Gt 1 ∂ µt − = 2 c( , div ), G ∂tG − R G ft where µt = e− dVgt , if and only if the one-parameter family of pairs (gt,bt) deter- mined by t and the initial splitting associated to 0 satisfies the ( ft, 0)-gauge- fixed generalizedG Ricci flow (4.13). G −∇ 4.4. INVARIANCE GROUP AND SOLITONS 81 µ Proof. Recall from Definition 3.48 that div t = divG 2df, . Thus, by − h i Proposition 4.24 and Lemma 3.32, t satisfies generalized Ricci flow with diver- µt G gence operator div as above if and only if (gt,bt) satisfies (4.13) with (Xt, kt)= ( f , 0). −∇ t 4.4.2. Generalized Ricci solitons. In understanding geometric evolution equations, a key role is played by the fixed points of the equation in determining the possible existence and regularity behavior of the flow. Initially we would say that the fixed points of the equation must satisfy c 0, and so are generalized Ricci flat structures. More generally though, it isR possible≡ for the flow to evolve along a one-parameter family of Courant symmetries, so that while the pairs (g,H) are indeed evolving, at each time slice they are geometrically indistinguishable, and these solutions are called solitons. To begin we recall the derivation of the Ricci soliton equations. In particular, Ricci solitons arise as special solutions of the gauge-fixed Ricci flow, upon impos- ing two conditions: the first is that gt evolves in a self-similar way, that is, by homotheties via the canonical dilation of a fixed metric g = (1 2tλ)g. t − Here λ 1, 0, 1 is a constant which determines the character of the soliton. Second is∈ that {− } 1 X = − X t 1 2λt for a vector field X which is constant in time.− From these conditions and (4.9), we get the Ricci soliton equation 1 Rc + 2 LX g = λg, which is expanding, steady, or shrinking depending on whether λ = 1, 0, 1, respec- tively. − To adapt these ideas to generalized Ricci flow, we first observe that the space of generalized metrics is not invariant under scaling. However, we can define a canonical variation which corresponds to scaling the underlying metric. Definition 4.26. Let λ 1, 0, 1 . The canonical variation of a generalized metric on E is given by ∈ {− } G 1 1 0 (1 2tλ)− g− t,λ = − G (1 2tλ)g 0 − in the splitting determined by . Note that G 1 2tλ 0 t,λ = − 1 GG 0 (1 2tλ)− − is the canonical dilation in the splitting determined by . G Definition 4.27. Given (E, [, ], , ) an exact Courant algebroid, we say that is a generalized Ricci soliton if thereh existsi λ 1, 0, 1 such that the canonical Gvariation solves the gauge-fixed generalized∈ Ricci {− flow} (4.11) with Gt,λ 1 ζ = − (X + B), t 1 2λt − where X +B Lie Aut(E) is constant in time. We again call the soliton expanding, steady, or shrinking∈ depending on whether λ = 1, 0, 1, respectively. − 82 4. FUNDAMENTALS OF GENERALIZED RICCI FLOW Proposition 4.28. Given (E, [, ], , ) an exact Courant algebroid, suppose is a generalized Ricci soliton. If λ = 0h,i then H 0 and the associated metric Gg is an expanding or shrinking Ricci6 soliton. If λ ≡= 0 then one has the equivalent equations 0= Rc 1 H2 + 1 L g, − 4 2 X (4.14) 1 1 0= d∗H B, 2 g − 2 for B satisfying d(B + iX H)=0. Thus, in particular, 0= 1 ∆ H + 1 L H. − 2 d 2 X Proof. Applying the equations (4.12), we see that is a generalized Ricci soliton if there exists λ 1, 0, 1 such that G ∈ {− } 1 λg = Rc H2 + 1 L g, −4(1 2λt)2 2 X − 1 0= d∗H B , 1 2λt g − − for all t, where X + B Lie Aut(E). If λ = 0 then we obtain ∈ 6 1 λg = Rc+ 2 LX g, H =0, that is, it is a Ricci soliton in the usual sense. The claimed equations (4.14) in the case λ = 0 follow directly, and by taking the exterior derivative of the second equation of (4.14) we obtain the final claimed equation. Remark 4.29. Thus we see that in our formulation, shrinking and expanding generalized Ricci solitons automatically have vanishing torsion. This arises in part because there is no obviously natural way to introduce a scaling of the b-field associated to a generalized metric. Nonetheless, in taking certain rescalings or reparameterizations of generalized Ricci flow, it is reasonable to consider flows for which the pairs (g,H) might both scale homothetically (cf. Definition 6.30 below for nonsingular solutions). Although, we are only aware of rigidity results showing that solitons for such flows automatically have H 0. ≡ Remark 4.30. The dilation t,λ in Definition 4.26 has appeared in [54] under the name of conformal change. HereGG we make the observation that, in order to be invariant, this transformation depends upon a choice of isotropic splitting on E. By adapting the point of view of Remark 4.23, it is possible to give a slightly different formulation for the generalized Ricci soliton equations which involve the action of a closed B-field instead. We state this as an equivalent definition, as it is a consequence of the above discussion. Definition 4.31. Given (E, [, ], , ) an exact Courant algebroid, a generalized metric is a steady generalized Riccih solitoni if there exists a vector field X and a closed two-formG k such that 0= Rc 1 H2 + 1 L g, − 4 2 X (4.15) 1 1 0= 2 dg∗H + 2 iX H + k. We furthermore say that the soliton is gradient if there exists a smooth function f such that X = f. ∇ 4.4. INVARIANCE GROUP AND SOLITONS 83 Question 4.32. Bryant has shown the existence of steady Ricci solitons with rotational symmetry [28]. Are there examples of steady generalized Ricci solitons with rotational symmetry and nontrivial torsion H? One fundamental consequence of Perelman’s energy formula for Ricci flow is that compact steady solitons for Ricci flow are automatically gradient. As we will see below in Chapter 6, by adapting these energy functionals to generalized Ricci flow, we can show that steady generalized Ricci solitons on compact manifolds are automatically gradient, and moreover satisfy k = 0. It is an interesting question to probe the possibilities for X and k in the noncompact setting. We end this section with some further structural results on solitons. First, we show that generalized Ricci solitons satisfy fundamental differential equations which generalize the fact that Einstein manifolds automatically have constant scalar curvature using the Bianchi identity. Proposition 4.33. Let (M n,g,H,f) be a gradient generalized Ricci soliton with k =0. Then (1) R 1 H 2 + ∆f =0, − 4 | | (2) R 5 H 2 + f 2 =0, ∇ − 12 | | |∇ | (3) R 1 H 2 + 2∆f f 2 =0. ∇ − 12 | | − |∇ | Proof. The first equation follows by tracing the first equation of (4.15) with g. For the second we begin by differentiating and applying (4.15) to yield 5 2 2 5 2 i R 12 H + f = iR 12 i H +2 i j f j f (4.16) ∇ − | | |∇ | ∇ − ∇ | | ∇ ∇ ∇ = R 5 H 2 + 1 H2 2 Rc f. ∇i − 12 ∇i | | 2 − ij ∇j But, using the Bianchi identity and property (1) we obtain R = 1 H 2 ∆f ∇i 4 ∇i | | − ∇i = 1 H 2 f + Rc f 4 ∇i | | − ∇j ∇i∇j ij ∇j (4.17) = 1 H 2 + Rc 1 H2 + Rc f 4 ∇i | | ∇j − 4 ij ij ∇j = 1 H 2 + 1 R 1 (divH2) + Rc f 4 ∇i | | 2 ∇i − 4 i ij ∇j = 1 H 2 1 (div H2) +2Rc f, 2 ∇i | | − 2 i ij ∇j where the last line follows by combining the R terms and multiplying by 2. Also, using Lemma 3.19 and the skew-symmetric piece∇ of the soliton equation we obtain 1 2 1 2 1 mn (div H )i = i H + (d∗H) Himn (4.18) − 2 − 12 ∇ | | 2 = 1 H 2 1 H2 f. − 12 ∇i | | − 2 ij ∇j Plugging (4.17) and (4.18) into (4.16) yields the second claim. Taking twice the gradient of (1) and subtracting (2) gives claim (3). Remark 4.34. For the third equation in Proposition 4.33 it is possible to give a more conceptual argument using the functional to be introduced in Chapter 6. In particular, we know that a generalizedF steady soliton is a critical point for λ, but by definition the relevant f extremizes the -functional, thus by deforming f F 84 4. FUNDAMENTALS OF GENERALIZED RICCI FLOW 1 2 2 by R 12 H + 2∆f f and perturbing the metric by scaling to preserve the unit volume− | condition,| − the |∇ claim| of Proposition 4.33 (3) follows from (6.6). In the next result we prove that compact steady gradient Ricci solitons are Einstein. Recall that, as a consequence of Perelman’s energy formula for Ricci flow, compact steady solitons for Ricci flow are automatically gradient. Thus any compact Ricci soliton is Einstein. However, there are compact steady generalized Ricci solitons with nontrivial H and nontrivial f (cf. Remark 8.28). This shows that the class of steady generalized Ricci solitons is strictly larger than the class of generalized Ricci flat structures. Proposition 4.35. Compact steady gradient Ricci solitons are Einstein. Proof. In the case of H 0 we have the simplified soliton equation ≡ Rc + 2f = 0. ∇ Taking the divergence of this equation and using the Bianchi identity yields 0= 1 R + ( f) 2 ∇j ∇i ∇j ∇i = 1 R + ∆f Rp f 2 ∇j ∇j − iji∇p = 1 R + ∆f + Rcp f. 2 ∇j ∇j j ∇p Using the first item of Proposition 4.33 yields 0= 1 R R + Rcp f. 2 ∇j − ∇j j ∇p Rearranging and taking another divergence yields ∆R = 2 Rcp f ∇j j ∇p = R, f +2 Rc, 2f h∇ ∇ i ∇ 2 = R, f 2 Rc h∇ ∇ i− | | R, f . ≤ h∇ ∇ i Since M is compact, R is constant by the strong maximum principle (Proposition 4.16). 4.5. Low dimensional structure In this section we consider the generalized Ricci flow in dimensions n = 2, 3, where the low dimensionality gives extra structure which renders the flow easier to study. In dimension n = 2 there are no nontrivial three-forms, and thus we expect that the flow must reduce to Ricci flow. We formalize this in the next proposition. 2 3 Proposition 4.36. Let M be a Riemann surface, fix 0= H Λ T ∗ = 0 , 0 ∈ { } and let (gt,bt) be a solution to generalized Ricci flow on M. Then (gt,bt) satisfies ∂ ∂ (4.19) g = 2Rc = Rg, b =0. ∂t − − ∂t In other words, g is a solution of Ricci flow and b b . t t ≡ 0 3 Proof. Since the manifold is two dimensional, Λ T ∗ = 0 , and so Ht 0 for { } ∂ ≡ all t. Comparing against the generalized Ricci flow system we see that ∂t b = 0 and ∂ g = 2 Rc. Also in two dimensions Rc = 1 Rg, finishing the lemma. ∂t − 2 4.5. LOW DIMENSIONAL STRUCTURE 85 Remark 4.37. A complete picture of the Ricci flow on compact Riemann sur- faces was first completed by Chow/Hamilton [49, 93]. In all cases, the volume- normalized flow converges exponentially fast to a constant scalar curvature metric g . Later a different proof using energy methods from conformal geometry was given∞ by Struwe [174]. Using this result, and being slightly overpedantic, we could observe that the generalized Ricci flow converges up to a generalized gauge trans- formation to (g , 0), where by an overall b-field action we can set b to zero. ∞ 3 In dimension n = 3, all three-forms are closed, and Λ T ∗ is a rank 1 bundle, thus we can reduce the tensor H to an equivalent scalar function. We formalize this and derive the relevant evolution equations in the next proposition. 3 3 Proposition 4.38. Let M be a three-manifold, fix H Λ T ∗ and let (g ,b ) 0 ∈ t t be a solution of generalized Ricci flow on M. Define φ C∞(M) by t ∈ Ht φt = . dVgt Then ∂ g = 2Rc+φ2g, ∂t − ∂ φ = ∆φ + Rφ 3 φ3. ∂t − 2 Proof. By direct computations in normal coordinates and expressing dVg = dx1 dx2 dx3 one obtains ∧ ∧ H2 = H H gprgqs =2φ2g , H 2 =6φ2. ij ipq jrs ij | | Furthermore we can differentiate, using the generalized Ricci flow equation and Lemma 5.2, ∂ ∂ H φ = ∂t ∂t dVg ∆ H ∂ H = d 1 tr g dV − 2 g ∂t dV g g = ∆φ + R 1 H 2 φ − 4 | | = ∆φ + Rφ 3 φ3, − 2 where the penultimate line follows since, using that ⋆dVg = 1, ∆ H = (d⋆d⋆)(φdV )= d ⋆ dφ = ⋆ d∗dφ = ∆φdV . d − g − − g If we impose some symmetries on the underlying structure, it turns out that we can realize other naturally occurring geometric evolution equations as special cases of generalized Ricci flow. Proposition 4.39. Let S1 P M 2 be a principal S1 bundle, and suppose → → (gt,θt) is a solution to ∂ g = 2Rc+2F 2, (4.20) ∂t − ∂ θ = d∗F. ∂t − g 86 4. FUNDAMENTALS OF GENERALIZED RICCI FLOW Let gt = gt θt θt, and Ht = Ft θt. Then (gt,Ht) is a solution of generalized Ricci flow on⊕ P .⊗ ∧ Proof. The proof relies on several basic computations, which are left as ex- ercises. First, the Ricci tensor of a metric g = g θ θ on P is expressed in natural block diagonal form as ⊕ ⊗ 1 2 1 Rc 2 F 2 d∗F Rc = 1− 1 2 . d∗F F 2 4 | | Furthermore, for H = F θ, we obtain ∧ 2F 2 0 H2 = . 0 F 2 | | Putting these computations together and using the definition of g shows that g satisfies the metric component of generalized Ricci flow. A further computation shows that dg∗ (F θ) = dg∗F θ. Since M is two dimensional we thus obtain ∧ ∧ ∂ ∂ H = F θ = d∗F θ + F ( d∗F )= d∗F θ = d∗H, ∂t ∂t ∧ − g ∧ ∧ − g − g ∧ − g as required. The system of equations (4.20) is a natural coupling of the Ricci flow with the Yang-Mills flow for a U(1) principal connection. This system is thus called Ricci Yang-Mills flow, and was introduced in [173, 187] (up to a scalar factor on the F 2 term which can be fixed by rescaling the fiber metric). We see here that in the case of U(1) gauge group (or U(1) U(1)), the flow is a special case of generalized Ricci flow. This point of view×···× is useful in understanding the relationship of generalized Ricci flow to T -duality in Chapter 10. Further results on the global existence and convergence properties of (4.20) appeared in [158, 159]. Some related equations motivated by considerations in mathematical physics have appeared in [62, 97] Yet a different viewpoint on the equations (4.20) is as generalized Ricci flow on a transitive Courant algebroid on M 2 obtained by reduction of the (twisted) exact Courant algebroid T P T ∗P , as defined in [70]. This follows directly from the fact that any three-form⊕ on M 2 identically vanishes, and suggests that generalized Ricci flow is a robust geometric flow which is preserved under natural geometric operations on Courant algebroids such as generalized reduction [31] or T-duality (see Chapter 10). For stationary points of the flow, the preservation of the Ricci flat condition under generalized reduction has been proved in [12]. We leave the general case, concerning generalized Ricci flow, as an open question. CHAPTER 5 Local Existence and Regularity In this chapter we address basic aspects of the existence and regularity of generalized Ricci flow. We saw in Lemma 4.3 that, with special gauge choices made, the generalized Ricci flow appears to be a nonlinear parabolic system of equations. Our first goal is to rigorously prove short-time existence of generalized Ricci flow with arbitrary smooth initial data on compact manifolds, using the method of gauge fixing. Given this we approach the question of how long the solution can be extended, and what the obstructions are to global existence. We begin by deriving evolution equations for the Riemannian and Bismut curvatures, which lead to smoothing estimates in the presence of a bound on the Riemannian curvature tensor. Using this we can show that the Riemannian curvature must blow up at any finite time singularity of generalized Ricci flow, first established in [157]. We end the chapter with a general discussion of the theory of compactness of sequences of solutions of generalized Ricci flow, omitting most of the technical detail. 5.1. Variational Formulas We record here elementary variational formulas related to Riemannian metrics, the Riemannian curvature tensor, and the Bismut curvature tensor, necessary for what follows. Remark 5.1. We note here a notational convention we will use in several places. In particular, given tensors A and B on a Riemannian manifold (M n,g), we let A⋆B denote any tensor derived from A B by raising and lowering indices using g and taking contractions. ⊗ n Lemma 5.2. Given (M ,g) a Riemannian manifold and gs a one-parameter family of metrics such that ∂ g = h, g = g, ∂s s 0 s=0 then ∂ dV = 1 (tr h) dV . ∂s gs 2 g g s=0 Proof. Recall the local coordinate formula dV = det g (s)dx dx . gs ij 1 ∧···∧ n Also, for a one-parameter family of positive definite symmetric matrices As with ∂ ∂ p 1 variation ∂s s=0 As = B, one has ∂s s=0 det(As) = det(A0) tr A0− B . Combining 87 88 5. LOCAL EXISTENCE AND REGULARITY these facts yields ∂ ∂ dV = det g (s)dx dx ∂s gs ∂s ij 1 ∧···∧ n s=0 s=0 1 q 1 = det gij tr g− h dx1 dxn 2√det gij ∧···∧ 1 = 2 (trg h) dVg, as required. n Lemma 5.3. Given (M ,g) a Riemannian manifold and gs a one-parameter family of metrics such that ∂ g = h, g = g, ∂s s 0 s=0 ∂ H = dK, H = H, ∂s 0 s=0 then ∂ H 2 = 3 h,H2 +2 dK,H . ∂s | | − h i s=0 Proof. Computing in local coordinates and using the symmetries of H and g we see that ∂ ∂ H 2 = gi1j1 gi2j2 gi3j3 H H ∂s | | ∂s i1i2i3 j1j2j3 s=0 s=0 i1k lj1 i2j2 i3j3 i1j1 i2j2 i3j3 = 3 g hklg g g Hi1i2i3 Hj1j2j3 +2g g g (dK) Hj1j2j3 − i1i2i3 = 3 h,H2 +2 dK,H , − h i as required. n Lemma 5.4. Given (M ,g) a Riemannian manifold and gs a one-parameter family of metrics such that ∂ g = h, g = g, ∂s s 0 s=0 then ∂ ( )k = 1 gkl ( h + h h ) , ∂s ∇ ij 2 ∇i jl ∇j il − ∇l ij s=0 ∂ l 1 ql p p Rijk = 2 g i khjq i qhjk j khiq + j qhik Rijkhpq Rijq hkp , ∂s s=0 ∇ ∇ − ∇ ∇ − ∇ ∇ ∇ ∇ − − h i ∂ R = 1 gqi( h + h ) ∆h tr h ∂s jk 2 ∇i∇j kq ∇i∇k jq − jk − ∇j ∇k g s=0 ∂ R = ∆ trg h + div div h h, Rc . ∂s − − h i s=0 5.1. VARIATIONAL FORMULAS 89 Proof. We fix a point p M and choose normal coordinates for g at p. Using k ∈ that ∂igjk(p)=Γij (p) = 0, we directly obtain ∂ ∂ ( )k = 1 gkl (∂ g + ∂ g ∂ g ) ∂s ∇gs ij ∂s 2 i jl j il − l ij s=0 s=0 1 kl = g (∂ihjl + ∂j hil ∂lhij ) 2 − = 1 gkl ( h + h h ) , 2 ∇i jl ∇j il − ∇l ij as required. For the variation of the curvature tensor we recall the coordinate formula and k differentiate, again using the vanishing of ∂igjk(p) and Γij (p), to yield ∂ ∂ Rl = ∂ Γl ∂ Γl +Γp Γl Γp Γl ∂s ijk ∂s i jk − j ik jk ip − ik jp s=0 s=0 1 ql ql = ∂ i g ( j hkq + khjq qhjk) ∂j g ( ihkq + khiq qhik) 2 ∇ ∇ − ∇ − ∇ ∇ − ∇ 1 ql = g [ i j hkq + i khjq i qhjk j ihkq j khiq + j qhik] 2 ∇ ∇ ∇ ∇ − ∇ ∇ − ∇ ∇ − ∇ ∇ ∇ ∇ = 1 gql h h h + h Rp h Rp h , 2 ∇i∇k jq − ∇i∇q jk − ∇j ∇k iq ∇j ∇q ik − ijk pq − ijq kp h i where the last line follows using the definition of the curvature tensor. Given this, the variational formula for the Ricci tensor follows directly by con- tracting. Finally we use this formula to obtain the variation of scalar curvature via ∂ ∂ R = gjkR ∂s ∂s jk s=0 s=0 jp qk 1 jk qi = g hpqg Rjk + g g ( i j hkq + i khjq) ∆hjk j k trg h − 2 ∇ ∇ ∇ ∇ − − ∇ ∇ = ∆ tr h + div div h h, Rc , − g − h i as required. n Lemma 5.5. Given (M ,g) a Riemannian manifold and (gs,Hs) a one-parameter family such that ∂ ∂ g = h, g = g, H = dK, H = H, ∂s s 0 ∂s s 0 s=0 s=0 Furthermore set A = h + K. Then ∂ k + = 1 gkl +A + +A +A + 1 gkl Hp A + Hp A + Hp A ∂s ∇ ij 2 ∇i jl ∇j li − ∇l ji 2 − ij lp il jp jl pi s=0 l l l ∂ + l + ˙ + + ˙ + p ˙ + R = i j + Hij , ∂s ijk ∇ ∇ jk − ∇ ∇ ik ∇ pk s=0 i i i ∂ + + ˙ + + ˙ + p ˙ + Rjk = i j + Hij , ∂s ∇ ∇ jk − ∇ ∇ ik ∇ pk s=0 i i i ∂ + + jk + ˙ + + ˙ + p ˙ + R = h, Rc + g i j + Hij . ∂s − ∇ ∇ jk − ∇ ∇ ik ∇ pk s=0 90 5. LOCAL EXISTENCE AND REGULARITY Proof. We use the formula from Definition 3.12, expressed in components as + k k 1 kl (Γ )ij =Γij + 2 Hijlg , then apply the result of Lemma 5.4 to obtain ∂ ∂ + = 1 gkl ( h + h h )+ 1 H gkl ∂s ∇s 2 ∇i jl ∇j il − ∇l ij ∂s 2 ijl (5.1) s=0 s=0 1 kl 1 kl 1 kp ql = g ( ihjl + j hil lhij )+ dK ijlg Hijlg hpqg , 2 ∇ ∇ − ∇ 2 − 2 Using the definition of the Bismut connection, we see that h = ∂ h Γl h Γl h ∇i jk i jk − ij lk − ik jl = ∂ h (Γ+)l 1 H gpl h (Γ+)l 1 H gpl h i jk − ij − 2 ijp lk − ik − 2 ikp jl = +h + 1 Hp h + 1 Hp h . ∇i jk 2 ij pk 2 ik jp Hence h + h h = +h + +h +h ∇i jl ∇j il − ∇l ij ∇i jl ∇j il − ∇l ij + 1 gpq (H h + H h + H h + H h H h H h ) 2 ijp ql ilp jq jip ql jlp iq − lip qj − ljp iq = +h + +h +h + gpq (H h + H h ) . ∇i jl ∇j il − ∇l ij ilp jq jlp iq Similarly we have (dK) = K + K + K ijl ∇i jl ∇l ij ∇j li = +K + +K + +K ∇i jl ∇l ij ∇j li 1 p p p p p p + 2 Hij Kpl + HilKjp + HliKpj + Hlj Kip + HjlKpi + HjiKlp = +K + +K + +K + Hp K + Hp K + Hp K ∇i jl ∇l ij ∇j li ij pl il jp lj ip Plugging these computations into (5.1) yields the first equality. Next, using the definition of the curvature tensor, we differentiate the general coordinate formula to yield (5.2) ∂ + l ∂ + l + l + l + p + l + p R ijk = ∂i(Γ )jk ∂j (Γ )ik + (Γ )ip(Γ )jk (Γ )jp(Γ )ik ∂s s=0 ∂s s=0 − − n o ˙ + l ˙ + l ˙ + l + p B l ˙ + p = ∂i(Γ ) ∂j (Γ ) + (Γ ) (Γ ) + (Γ ) (Γ ) jk − ik ip jk ip jk (Γ˙ +)l (Γ+)p (Γ+)l (Γ˙ +)p − jp ik − jp ik = +(Γ˙ +)l + (Γ+)p (Γ˙ +)l +(Γ˙ +)l (Γ+)p (Γ˙ +)l ∇i jk ij pk − ∇j ik − ji pk = +(Γ˙ +)l +(Γ˙ +)l + Hp (Γ˙ +)l , ∇i jk − ∇j ik ij pk + as required. Taking the trace over i and l yields the variation for Rjk. + jk + Lastly, using that R = g Rjk, we obtain ∂ ∂ R+ = gjkR+ ∂s ∂s jk s=0 s=0 ∂ = g jph gqkR+ + gjk R+ − pq jk ∂s jk s=0 i i i + jk + ˙ + + ˙ + p ˙ + = h, Rc + g i j + Hij , − ∇ ∇ jk − ∇ ∇ ik ∇ pk as required. 5.2. SHORT TIME EXISTENCE 91 5.2. Short time existence In this section we establish the fundamental fact that for smooth initial data on a compact manifold, there exists a smooth solution to the generalized Ricci flow on some small time interval depending on the initial data. As we will show in this section, the generalized Ricci flow equation is a degenerate parabolic equation, and so the classical theorems concerning short-time existence of nonlinear parabolic evolution equations do not directly apply. Many geometric evolution equations en- counter this obstacle, with the degeneracies of the equation arising from an infinite dimensional group of symmetries acting on solutions to the flow. The resolution of this issue is via the “DeTurck method”, where the large symmetry group is broken via the explicit introduction of extra terms tangent to the group action which render the new equation strictly parabolic. As such, one can now apply classical results to obtain a short-time solution to this flow. By construction, the extra terms can be removed via an application of the group action, producing finally a solution to the desired evolution equation. In the case of Ricci flow, the relevant group is the diffeomorphism group of the underlying manifold. As we have seen in 2.2, the symmetry group in generalized geometry is enlarged to include b-field transformations,§ which indeed preserve the generalized Ricci flow. Thus our proof exploits this enlarged group, but structurally follows the outline described above precisely. Theorem 5.6. Let (E, [, ], , ) M be an exact Courant algebroid over a compact manifold M. Given hai generalized→ metric on E, there exists ǫ > 0 and G0 a unique smooth solution t to generalized Ricci flow with initial condition 0 on [0,ǫ). G G Proof. Step 1: Short time existence of gauge-fixed flow The first step is to construct a solution of the gauge-fixed generalized Ricci flow, specifically the metric equation of (4.13) and the induced equation on H, for a particular choice of X and k = 0. Let g0 denote the Riemannian metric determined by 0. We will work in the splitting of E determined by 0. Given a metric g we defineG the vector field G X := X(g,g )=tr ( g g0 ) , 0 g ∇ − ∇ which is expressed in components as Xi = gpq (Γg)i (Γg0 )i . pq − pq This vector field is precisely the one used in showing short-time existence of so- lutions to Ricci flow, but we note here that it admits a natural interpretation in generalized geometry as the difference of divergence operators associated to and (cf. 2.4). Now define the differential operator G G0 § (g,H) := 2Rc+ 1 H2 + L g. O1 − 2 X(g,g0) We proceed to compute the symbol of in phases. We fix one-parameter families O1 (gt,bt) such that d d ds s=0 gs = h, ds s=0 H = dK. We first observe that the variation of 2 Rc is already contained in Lemma 5.4. Also, the dependence of the term H2 on−g is algebraic, and thus its linearization is 92 5. LOCAL EXISTENCE AND REGULARITY a zeroth order operator which we can ignore. To address the Lie derivative term, we fix normal coordinates for g at some point p M we compute ∈ d (L g)= d Xkg + Xkg ds s=0 X(g,g0) ds s=0 ∇i kj ∇j ki d k k = ∂iX gkj + Γ(g) ⋆X + ∂j X gki + Γ(g) X ds s=0 ∗ 1 pq 1 pq = ∂i g ( phqj + qhpj j hpq) + ∂j g ( phqi + qhpi ihpq) 2 ∇ ∇ − ∇ 2 ∇ ∇ − ∇ = 1 gpq ( h + h + h + h h h ) 2 ∇i∇p qj ∇i∇q pj ∇j ∇p qi ∇j ∇q pi − ∇i∇j pq − ∇j ∇i pq = div h + div h tr h + l.o.t, ∇i j ∇j i − ∇i∇i g where “l.o.t” denotes any term involving at most one derivative of h or K. Com- bining this calculation with Lemma 5.4, we obtain that (5.3) d (g ,H) = ∆ h + l.o.t. ds s=0 O1 s d On the other hand, examining it is clear that the only dependence on b occurs 1 in the term H2, which is first-orderO in b, and hence one immediately obtains (5.4) d (g,H ) = l.o.t. ds s=0 O1 s Next, let (g,H) := ∆ H + L H. O2 d X(g,g0) We compute, using the Bochner formula, (5.5) d (g,H ) = ∆K + l.o.t. ds s=0 O2 s Also, note that the variation of with respect to g will be a certain second- O2 order differential operator, due to the second derivative terms appearing in ∆dH and LX(g,g0)H. However, the precise form of this operator is not relevant to the argument. In particular, combining this observation with (5.3)-(5.5) we obtain h ∆ 0 h σ D ( , ) = . (g,H) O1 O2 K ⋆ ∆ K This shows that the system of equations ∂ 1 2 g = 1(g,H)= 2Rc+ 2 H + LX(g,g0)g (5.6) ∂t O − ∂ H = (g,H) = ∆ H + L H ∂t O2 d X(g,g0) is strictly parabolic. Applying the general result on existence of short-time solutions to strictly parabolic evolution systems on compact manifolds, we conclude that there exists ǫ> 0 and a unique solution to (5.6) on [0,ǫ). Remark 5.7. An alternative proof of the short-time existence of generalized Ricci flow could possibly be obtained directly from the gauge-fixed flow (4.10), for X as above and B = dξ i H for a suitable one-parameter family of one-forms t − Xt 0 ξt T ∗. This gauge fixing by inner symmetries of the exact Courant algebroid is very∈ natural, and we expect that it would provide a conceptual explanation of Lemma 4.3. Step 2: Gauge modification to solve generalized Ricci flow 5.2. SHORT TIME EXISTENCE 93 Fix G0 a generalized metric, with associated pair (g0,H0). By the arguments of Step 1, there exists ǫ> 0 and a solution to (5.6) on [0,ǫ). We must perform a dif- feomorphism gauge transformation to properly gauge-fix the system. In particular, we define a one-parameter family of diffeomorphisms φt via ∂ φ = X(g ,g ) φ (5.7) ∂t t − t 0 ◦ t φ0 = Id . Now let gt := φt∗gt Ht = φt∗H. We first compute ∂ ∂ ∂ g = φ∗ g + (φ∗ (g )) ∂t t t ∂t t ∂s t+s t s=0 1 2 −1 = φt∗ 2Rc+ H + LX(gt,g0)g L (φt∗gt) − 2 − (φt )∗X(gt,g0) 2 = 2 Rc + 1 H , − g 2 2 where the quantity H naturally employs the metric g. Next we compute ∂ ∂ ∂ H = φ∗ H + φ∗ H ∂t t t ∂t t ∂s t+s t s=0 1 = φt∗ ∆d,gH + LX(g,g 0)H L(φ− ) X(g ,g )φt∗(Ht) − t ∗ t 0 = ∆d, gH. We can now recover the 2-form potential b by direct integration. That is, we are given b0 and define bt via ∂ bt = d∗ H. ∂t − gt It follows directly by comparing the evolution equations that H0 + dbt = Ht for all t. Thus we have proved that (gt, bt) is a solution to generalized Ricci flow, as claimed. Step 3: Uniqueness via coupled harmonic map heat flow A beautiful trick for establishing uniqueness of the Ricci flow equation reverses the above procedure, by connecting solutions to the Ricci flow to the appropriately gauge-fixed Ricci flow. The subtlety is to discover the appropriate gauge transfor- mation, which arises by expressing the ODE defining φt in terms of the metric g, after which it follows that φt is a solution to the harmonic map heat flow. In particular, given (gt, bt) a solution to generalized Ricci flow, let φt be the one-parameter family of diffeomorphisms which is the unique solution to ∂ φ = ∆ φ (5.8) ∂t t gt,g0 t φ0 = Id . Here ∆gt,g0 denotes the harmonic map Laplacian with source metric gt and target metric g0. As this is a strictly parabolic equation and M is compact, solvability of 94 5. LOCAL EXISTENCE AND REGULARITY this equation for some short-time ǫ > 0 follows. A fundamental computation (cf. [52] Remark 2.50) shows that, letting Id denote the identity map of M, 1 −1 (5.9) ∆gt,g0 φt = ∆(φ )∗g ,g Id = X((φt− )∗gt, g0). t t 0 − Now set 1 gt = (φt− )∗gt 1 Ht = (φt− )∗Ht A standard computation using the generalized Ricci flow equation and (5.9) shows that gt satisfies the gauge-fixed generalized Ricci flow of (5.6). i i To finish the uniqueness argument, we suppose (gt, bt), i = 1, 2, are two so- lutions to generalized Ricci flow with the same initial data. These have induced i torsions Ht. By employing the gauge-fixing procedure described above, we pro- i i duce two solutions (gt,Ht ) of the gauge-fixed system (5.6) with the same initial data. This system is strictly parabolic, and enjoys uniqueness of solutions, thus 1 2 1 2 gt = gt ,Ht = Ht for all times where either is defined. As discussed above, we can i now interpret the relevant diffeomorphisms used to gauge-fix, φt, as solutions to the i 1 2 ODE (5.7). Since the two metrics gt agree, it follows that φt = φt for all relevant 1 2 1 2 ∂ 1 ∂ 2 times, and thus gt = gt , Ht = Ht for all times t. It follows then that ∂t bt = ∂t bt 1 2 for all times, and thus bt = bt for all t. Remark 5.8. For various applications in geometry and mathematical physics it would be desirable to study the generalized Ricci flow on complete, noncompact spaces. In this setting even short-time existence is a delicate issue, and examples such as a cylinder with arbitrarily small necks pinched at infinity suggest that a general short-time existence result should not be attainable. With some form of control over the initial metric, say bounded curvature, it seems likely that the flow should admit short-time solutions, as is known in the case of Ricci flow [153]. Uniqueness of these solutions within the class of solutions with bounded curvature was established in [44], (cf. [116]). 5.3. Curvature evolution equations Fundamental to the study of generalized Ricci flow is to understand the evo- lution of quantities determined by the associated curvature tensors. Though the Bismut connection is in many ways the most relevant connection, the evolution of the Riemannian curvature is relevant for some applications. As we will see, while the key aspect of the proof of Theorem 5.6 was overcoming the lack of strict parabolicity of the equation, all gauge-invariant quantities such as curvature, tor- sion, and their derivatives, will obey strictly parabolic equations. The reason for this difference is because of the extra differential identity satisfied by curvature, namely the Bianchi identity, a manifestation of its gauge-invariance. 5.3.1. Riemannian curvature evolution. 5.3. CURVATURE EVOLUTION EQUATIONS 95 Lemma 5.9. Let (E, [, ], , ) M be an exact Courant algebroid. Given t a solution to generalized Riccih flow,i → one has G ∂ ∆ Rm = 2 (Q Q Q + Q ) ∂t − ijkl jikl − ijkl − ikjl iljk R Rc R Rc R Rc R Rc − qjkl iq − iqkl jq − ijql kq − ijkq lq + 1 H2 H2 H2 + H2 + R H2 + R H2 . 4 ∇i∇k jl − ∇i∇l jk − ∇j ∇k il ∇j ∇l ik ijkq ql ijql kq where (5.10) Qijkl := Rpijq Rpklq . ∂ 1 2 Proof. We insert the evolution equation ∂t g = 2Rc+ 2 H into the varia- tional formula of Lemma 5.4, and compute the two terms− separately. Formulaically this takes the form ∂ ∂ p ∂ Rm = Rm g + Rmp g ∂t ijkl ∂t pl ijk ∂t (5.11) ijk pl p = 2 Rc + 2H2 g + Rmp 2 Rc + 1 H2 . ∇ ∇ ijk pl ijk − pl 2 pl n o First, the contribution of the Ricci tensor yields (5.12) p 2 Rc g = Rc Rc Rc + Rc Rp Rc Rp Rc . ∇ ijk pl − ∇i∇k jl −∇i∇l jk −∇j∇k il ∇j ∇l ik − ijk pl − ijl kp h i To see that the second derivative terms above are really ∆ Rm in disguise, we need to use the Bianchi identity. In particular, using several applications of the Bianchi identity, commuting derivatives and noting the definition of Q (5.10) we see (5.13) ∆R = R ijkl ∇p∇p ijkl = R R − ∇p∇j pikl − ∇p∇i jpkl = R R R R R R R R R − ∇j ∇p pikl − jppq qikl − jpiq pqkl − jpkq piql − jplq pikq R R R R R R R R R − ∇i∇p jpkl − ipjq qpkl − ippq jqkl − ipkq jpql − iplq jpkq = R Rc R + R (R + R ) Q + Q − ∇j ∇p klpi − jq qikl jpiq plqk pklq − jkil jlik R + R (R + R ) Rc R + Q Q − ∇i∇p kljp ipjq qlpk qklp − iq jqkl ikjl − iljk = R + R Rc R + Q Q Q + Q ∇j ∇l pkpi ∇j ∇k lppi − jq qikl jilk − jikl − jkil jlik + R + R Rc R + Q Q + Q Q ∇i∇l pkjp ∇i∇k lpjp − iq jqkl ijkl − ijlk ikjl − iljk = Rc + Rc + Rc Rc + Rc R + Rc R − ∇j ∇l ki ∇j ∇k li ∇i∇l kj −∇i∇k lj jq iqkl iq qjkl + 2 (Q Q + Q Q ) . ijkl − jikl ikjl − iljk Next, plugging directly into the result of Lemma 5.4 we simply record 2 2 p 1 2 2 2 2 H gpl = i kHjl i lHjk j kHil + j lHik (5.14) ∇ ijk 4 ∇ ∇ − ∇ ∇ − ∇ ∇ ∇ ∇ 2 2 Rijkq H Rijlq H . − ql − kq Combining (5.11)-(5.14) yields the claim. 96 5. LOCAL EXISTENCE AND REGULARITY Lemma 5.10. Let (E, [, ], , ) M be an exact Courant algebroid. Given t a solution to generalized Ricci flow,h i → one has G ∂ ∆ Rc = 2 Rm Rc 1 H2 Rc Rc 1 H2 ∂t − ◦ − 4 − ◦ − 4 + 1 ∆H2 2 H 2 + div H2 . 4 − ∇ | | ∇◦ h i Proof. We return to Lemma 5.4 to directly compute ∂ ∂ Rc = Ri ∂t jk ∂t ijk i = 2 Rc + 2H2 ∇ ∇ ijk (5.15) 1 gqi Rp 2Rc+ 1 H2 + Rp 2Rc+ 1 H2 − 2 ijk − 2 pq ijq − 2 kp i p p = 2 Rc + 2H2 + R Rci Rc Rc ∇ ∇ ijk ijk p − j pk 1 p 2 i 1 p 2 R (H ) + Rc (H )kp. − 4 ijk p 4 j Next we simplify, commuting derivatives and applying the second Bianchi identity, (5.16) i 2 Rc = gqi [ Rc + Rc + Rc Rc ] ∇ ijk −∇i∇k jq ∇i∇q jk ∇j ∇k iq −∇j∇q ik qi = ∆Rcjk + j kR j (div Rc) g i k Rcjq ∇ ∇ − ∇ k − ∇ ∇ = ∆Rc + 1 R gqi Rc gqiRp Rc gqiRp Rc jk 2 ∇j ∇k − ∇k∇i qj − kij pq − kiq jp = ∆Rc + 1 R (div Rc) Rp Rci Rcp Rc jk 2 ∇j ∇k − ∇k j − kij p − k pj = ∆Rc Rp Rci Rcp Rc . jk − kij p − k pj Also we simplify by commuting derivatives, i 2H2 = 1 gqi H2 H2 H2 + H2 ∇ ijk 4 ∇i∇k jq − ∇i∇q jk − ∇j ∇k iq ∇j ∇q ik = 1 ∆H2 1 H 2 + 1 (div H2) + 1 gqi H 2 4 jk − 4 ∇j ∇k | | 4 ∇j k 4 ∇i∇k jq = 1 ∆H2 1 H 2 + 1 (div H2) + 1 gqi H2 4 jk − 4 ∇j ∇k | | 4 ∇j k 4 ∇k∇i jq (5.17) 1 qi p 2 1 qi p 2 + 4 g Rkij (H )pq + 4 g Rkiq Hjp = 1 ∆H2 H 2 + (div H2) + (div H2) 4 jk − ∇j ∇k | | ∇j k ∇k j h qi p 2 qi p 2 +g Rkij (H )pq + g Rkiq Hjp . i Combining (5.15)-(5.17) yields the result. Lemma 5.11. Let (E, [, ], , ) M be an exact Courant algebroid. Given t a solution to generalized Ricci flow,h i → one has G ∂ ∆ R = ∆R 1 ∆ H 2 + 1 div div H2 +2 Rc, Rc 1 H2 . ∂t − − 2 | | 2 − 4 Proof. We leave as an exercise to derive this from Lemma 5.10. Here we derive the result directly from the variation formula for scalar curvature in Lemma 5.3. CURVATURE EVOLUTION EQUATIONS 97 5.4. Specifically, plugging the generalized Ricci flow equation into the variation formula and applying Bianchi identities and Lemma 3.19 yields ∂ R = ∆ tr 2Rc+ 1 H2 + div div 2Rc+ 1 H2 Rc, 2Rc+ 1 H2 ∂t − g − 2 − 2 − − 2 = ∆R 1 ∆ H 2 + 1 div div H2 +2 Rc, Rc 1 H2 , − 2 | | 2 − 4 as claimed. Lemma 5.12. Let (E, [, ], , ) M be an exact Courant algebroid. Given t a solution to generalized Ricci flow,h i → one has G k ∂ k k+2 2 j 2 k j ∆ Rm = H + Rm +H ⋆ − Rm, ∂t − ∇ ∇ ∇ ∇ j=0 X ∂ 2 2 ∆ k Rm = 2 k+1 Rm + k+2H2 ⋆ k Rm ∂t − ∇ gt − ∇ gt ∇ ∇ k j 2 k j k + Rm +H ⋆ − Rm ⋆ Rm . ∇ ∇ ∇ j=0 X Proof. We compute, using the result of Lemma 5.9, ∂ ∂ k Rm = (∂ + Γ) ... (∂ + Γ) Rm ∂t∇ ∂t { } k 1 − j ∂ k 1 j k ∂ = Γ ⋆ − − Rm + Rm ∇ ∂t ∇ ∇ ∂t j=0 X k 1 − j 2 k 1 j k ⋆2 2 2 2 = Rc +H ⋆ − − Rm + ∆ Rm + Rm + Rm ⋆H + H ∇ ∇ ∇ ∇ ∇ j=0 X k k k+2 2 j 2 k j = ∆Rm+ H + Rm +H ⋆ − Rm ∇ ∇ ∇ ∇ j=0 X k k k+2 2 j 2 k j = ∆ Rm + H + Rm +H ⋆ − Rm, ∇ ∇ ∇ ∇ j=0 X where the last line follows by commuting derivatives. This yields the first equation, and the second follows as an elementary exercise, noting that the terms arising from the variation of the inner product yield more terms of the form j = 0 in the final sum. 98 5. LOCAL EXISTENCE AND REGULARITY Lemma 5.13. Let (E, [, ], , ) M be an exact Courant algebroid. Given t a solution to generalized Ricci flow,h i → one has G k k ∂ k j k j j 2 k j ∆ H = Rm ⋆ − H + H ⋆ − H, ∂t − ∇ ∇ ∇ ∇ ∇ j=0 j=1 X X k ∂ k 2 k+1 2 j k j k ∆ H = 2 H + Rm ⋆ − H⋆ H ∂t − ∇ gt − ∇ ∇ ∇ ∇ j=0 X k j 2 k j k + H ⋆ − H⋆ H. ∇ ∇ ∇ j=1 X Proof. We compute, using the result of Lemma 4.4 and the Bochner formula, ∂ ∂ kH = (∂ + Γ) ... (∂ + Γ) H ∂t∇ ∂t { } k 1 − j ∂ k 1 j k ∂ = Γ ⋆ − − H + H ∇ ∂t ∇ ∇ ∂t j=0 X k 1 − j 2 k 1 j k = Rc +H ⋆ − − H + (∆H + Rm ⋆H) ∇ ∇ ∇ ∇ j=0 X k 1 k k − j+1 2 k 1 j j k j = ∆H + Rm +H ⋆ − − H + Rm ⋆ − H ∇ ∇ ∇ ∇ ∇ j=0 j=0 X X k k k j k j j 2 k j = ∆ H + Rm ⋆ − H + H ⋆ − H, ∇ ∇ ∇ ∇ ∇ j=0 j=1 X X where in the last line we have reindexed one sum and commuted derivatives. This proves the first formula, and again we leave the derivation of the second equation as an exercise. 5.3.2. Bismut curvature evolution. Lemma 5.14. Let (M n,g) be a smooth manifold with closed three-form H. Then ∆+R+ = + + Rc+ + + + Rc+ + + + Rc+ + + Rc+ ijkl − ∇j ∇l ik ∇j ∇k il ∇i ∇l jk −∇i ∇k jl Rc+ R+ R+ R+ Q+ + Q+ − jq qikl − jpiq pqkl − jkil jlik R+ R+ Rc+ R+ + Q+ Q+ − ipjq qpkl − iq jqkl ikjl − iljk + ( + +(H2)) + ( +(H ⋆ R+)), T1 ∇ ∇ T2 ∇ 5.3. CURVATURE EVOLUTION EQUATIONS 99 where + + + Qijkl = Rpijq Rpklq , ( + +H2) = + + H H + + H H , T1 ∇ ∇ ijkl ∇i ∇p kpq ljq − ∇j ∇p kpq liq σX(kpl) σX(kpl) ( +(H ⋆ R+)) = T2 ∇ ijkl + Hq R+ + Hq R+ + Hq R+ − ∇p ij qpkl pi qjkl jp qikl + + Hq R+ + Hq R+ + Hq Rc+ Rc+ H + R+ H + R+ H ∇j pk qlpi lp qkpi kl qi − kq qli pklq pqi pkiq plq +R+ H + R+ H Rc+ H pliq qkp plkq iqp − lq ikq + + Hq R+ + Hq R+ Hq Rc+ + Rc+ H R+ H R+ H ∇i pk qljp lp qkjp − kl qj kq qlj − pklq pqj − pkjq plq R+ H R+ H + Rc+ H . − pljq qkp − plkq jqp lq jkq Proof. We work in local coordinates. Also, we drop the superscript on the connection and curvature for notational simplicity, with all objects in this proof associated to the Bismut connection. First we note that, using that H is closed we can simplify formula (3.27) to R R = 1 ( H + H + H + H ) ijkl − klij 2 ∇k ilj ∇j kil ∇l jki ∇i ljk 1 = H + H (d∇H) ∇k ilj ∇l jki − 2 kilj = H + H + H H (5.18) ∇k ilj ∇l jki kip ljp σX(kil) = H + H + H H . ∇j kil ∇i ljk jkp ilp σX(jki) Using Proposition 3.20 and (5.18) we obtain, with all objects associated to the Bismut connection, (5.19) ∆R = R ijkl ∇p∇p ijkl = R R Hq R Hq R Hq R ∇p −∇j pikl − ∇i jpkl − ij qpkl − pi qjkl − jp qikl = R R R R R R R R R − ∇ j ∇p pikl − jppq qikl − jpiq pqkl − jpkq piql − jplq pikq R R R R R R R R R − ∇i∇p jpkl − ipjq qpkl − ippq jqkl − ipkq jpql − iplq jpkq Hq R + Hq R + Hq R − ∇p ij qpkl pi qjkl jp qikl = R + H + H + H H − ∇j ∇p klpi ∇k pli ∇l ikp kpq liq σX(kpl) R H H H H − ∇i∇p kljp − ∇k plj − ∇l jkp − kpq ljq σX(kpl) Rc R R R Q + Q − jq qikl − jpiq pqkl − jkil jlik R R Rc R + Q Q − ipjq qpkl − iq jqkl ikjl − iljk Hq R + Hq R + Hq R . − ∇p ij qpkl pi qjkl jp qikl 100 5. LOCAL EXISTENCE AND REGULARITY We next analyze the highest order terms appearing in the first line of the final equality above. First, R = R R Hq R Hq R Hq R ∇p klpi − ∇l pkpi − ∇k lppi − pk qlpi − lp qkpi − kl qppi = Rc Rc Hq R Hq R Hq Rc . ∇l ki −∇k li − pk qlpi − lp qkpi − kl qi Next R = R R Hq R Hq R Hq R ∇p kljp − ∇l pkjp − ∇k lpjp − pk qljp − lp qkjp − kl qpjp = Rc + Rc Hq R Hq R + Hq Rc . − ∇l kj ∇k lj − pk qljp − lp qkjp kl qj Next H = H R H R H R H ∇p∇k pli ∇k∇p pli − pkpq qli − pklq pqi − pkiq plq = d∗H R H R H R H − ∇k li − pkpq qli − pklq pqi − pkiq plq = (Rc Rc ) R H R H R H . ∇k li − il − pkpq qli − pklq pqi − pkiq plq Next H = H R H R H R H ∇p∇l ikp ∇l∇p ikp − pliq qkp − plkq iqp − plpq ikq = d∗H R H R H R H − ∇l ik − pliq qkp − plkq iqp − plpq ikq = (Rc Rc ) R H R H R H . ∇l ik − ki − pliq qkp − plkq iqp − plpq ikq Next H = H R H R H R H ∇p∇k plj ∇k∇p plj − pkpq qlj − pklq pqj − pkjq plq = d∗H R H R H R H − ∇k lj − pkpq qlj − pklq pqj − pkjq plq = (Rc Rc ) R H R H R H . ∇k lj − jl − pkpq qlj − pklq pqj − pkjq plq Lastly H = H R H R H R H ∇p∇l jkp ∇l∇p jkp − pljq qkp − plkq jqp − plpq jkq = d∗H R H R H R H − ∇l jk − pljq qkp − plkq jqp − plpq jkq = (Rc Rc ) R H R H R H . ∇l jk − kj − pljq qkp − plkq jqp − plpq jkq Inserting the above computations into (5.19) gives the result. Lemma 5.15. Let (E, [, ], , ) M be an exact Courant algebroid. Given t a solution to generalized Ricci flow,h i → one has G ∂ k + = gkl + Rc+ + + Rc+ + Rc+ + gkl Hp Rc+ Hp Rc+ Hp Rc+ . ∂t ∇ ij − ∇i lj ∇j il −∇l ij ij pl − il pj − jl ip Proof. Using the result of Lemma 4.6 expressed in terms of the notation of Lemma 5.5, we have sym A = 2(Rc+) + 2(Rc+)skew ij − ij ij = Rc+ Rc+ + Rc+ Rc+ − ij − ji ij − ji = 2 Rc+ − ji Plugging this into the result of Lemma 5.5 gives the result. 5.4. SMOOTHING ESTIMATES 101 Proposition 5.16. Let (E, [, ], , ) M be an exact Courant algebroid. Given a solution to generalized Ricci flow,h i one→ has Gt ∂ ∆+ R+ = R+ ⋆ R+ + + +(H2)+ +(H ⋆ R+). ∂t − ijkl ∇ ∇ ∇ Proof. Using Lemma 5.5 and the result of Lemma 5.15 we obtain ∂ ∂ R+ = (R+)q g ∂t ijkl ∂t ijk ql q q q + ˙ + + ˙ + p ˙ + + q Sym = i j + Hij gql 2(R )ijk (Rc )ql ∇ ∇ jk − ∇ ∇ ik ∇ pk − = + + Rc+ + + Rc+ + Rc+ + Hq Rc+ Hq Rc+ Hq Rc+ ∇i − ∇j lk ∇k jl −∇l jk jk lq − jl kq − kl qj + + Rc+ + + Rc+ + Rc+ + Hq Rc+ Hq Rc+ Hq Rc+ − ∇j − ∇i lk ∇k il −∇l ik ik lq − il kq − kl qi + Hp + Rc+ + + Rc+ + Rc+ + Hr Rc+ Hr Rc+ Hr Rc+ ij − ∇p kl ∇k lp −∇l kp pk lr − pl kr − kl rp 2(R+)q (RcSym) − ijk ql 19 =: Ai. i=1 X We first simplify A + A = glp + + + + Rc+ = R+ Rc+ +R+ Rc+ . 1 7 ∇j ∇i − ∇i ∇j kp ijkq qp ijpq kq Next using Lemma 5.14 we have A + A + A + A = ∆+R+ + Rc+ R+ + R+ R+ + Q+ Q+ 2 3 8 9 ijkl jq qikl jpiq pqkl jkil − jlik + R+ R+ + Rc+ R+ Q+ + Q+ ipjq qpkl iq jqkl − ikjl iljk ( 2(H2)) ( (H ⋆ R)). − T1 ∇ − T2 ∇ The claimed formula now follows, with the precise forms of the different expressions implicit by the formulas above. Question 5.17. A fundamental property of the Ricci flow is that the holonomy of the Levi-Civita connection is preserved along the flow [95]. While the holonomy can reduce in singular or infinite time limits, it will not reduce in finite time for smooth solutions [117]. It is natural to ask if there is a similar behavior for the generalized Ricci flow, namely, if there is a natural notion of holonomy in generalized geometry which is preserved along the flow. Due to the lack of a canonical Levi- Civita connection in generalized geometry (see Chapter 3), it is not even completely clear what the correct notion of holonomy should be. A possible candidate is given by the holonomy of the classical Bismut connection. 5.4. Smoothing estimates A fundamental property of the heat equation on Rn is the concept of “smooth- ing,” namely that a solution with low regularity becomes instantaneously smooth and moreover obtains uniform estimates on all derivatives in terms of the elapsed time. This is a very general feature of parabolic equations, where typically in the nonlinear setting some kind of a priori control is needed before the smoothing ef- fect can take over. As a nonlinear degenerate parabolic equation, the generalized 102 5. LOCAL EXISTENCE AND REGULARITY Ricci flow exhibits this behavior, where a bound on the curvature tensor implies a smoothing effect for all derivatives of the curvature. This result sets the stage for obtaining long time existence results for the flow, indicating that a bound on the curvature tensor suffices to completely control the flow, which we prove in the next section. Theorem 5.18. Let (E, [, ], , ) M be an exact Courant algebroid with M h i → α compact. Let t be a solution to generalized Ricci flow on [0,T0], 0 < T0 K satisfying G ≤ (5.20) sup Rm + H + H 2 K. M [0,T0] | | |∇ | | | ≤ × n o Given k N, there exists C = C(n,k,α) such that ∈ k k+1 k CK (5.21) sup Rm + H + H H k/2 . M [0,T0] ∇ ∇ | | ∇ ≤ t × Proof. We begin with the case k = 1. Consider the test function 2 F = t Rm 2 + 2H + P Rm 2 + Q H 2 , |∇ | ∇ | | |∇ | where P 1 is to be chosen below. Combining Lemmas 5.12, 5.13, and the Cauchy- Schwarz inequality≥ yields 1 ∂ 2 2 3 2 j 2 1 j ∆ F = t 2 Rm + H ⋆ Rm + Rm +H ⋆ − Rm ⋆ Rm ∂t − − ∇ ∇ ∇ ∇ ∇ ∇ j=0 X 2 2 3 2 j 2 j 2 j 2 2 j 2 + t 2 H + Rm ⋆ − H⋆ H + H ⋆ − H⋆ H − ∇ ∇ ∇ ∇ ∇ ∇ ∇ j=0 j=1 X X 2 2 + (1 2P ) Rm + (1 2P ) 2H − |∇ | − ∇ 2 2 2 + P H ⋆ Rm + Rm ⋆ Rm ⋆(Rm + H ) ∇ 1 j 1 j 2 + P Rm ⋆ − H⋆ H + H ⋆H⋆ H ∇ ∇ ∇ ∇ ∇ j=0 X 1 3 2 j 2 1 j t C H H Rm + C Rm Rm + H − Rm Rm ≤ ∇ | | |∇ | |∇ | | | ∇ ∇ |∇ | j=0 X 2 2 j 2 j 2 j 2 2 j 2 3 2 + Rm − H H + H − H H 2 H ∇ ∇ ∇ ∇ ∇ ∇ − ∇ j=0 j=1 X X 2 P Rm 2 P 2H + P 2H2 Rm + Rm 3 + Rm 2 H 2 − |∇ | − ∇ ∇ | | | | | | | | + P Rm H 2 + Rm H H + H2 H H . | | |∇ | |∇ | | | |∇ | ∇ | | |∇ | Applying 5.20 and the arithmetic-geometric mean we obtain ∂ 2 P ∆ F Rm 2 (CKt P )+ 2H CKt + CPK3(1 + tK). ∂t − ≤ |∇ | − ∇ − 2 5.4. SMOOTHING ESTIMATES 103 α Using that t K , we can choose P large with respect to universal constants and α to obtain ≤ ∂ ∆ F CK3. ∂t − ≤ Applying the maximum principle on this time interval we obtain, for t α , ≤ K sup F sup F + CK3t CK2(1 + α). M t ≤ M 0 ≤ ×{ } ×{ } This finishes the proof for the case k = 1. We now prove the inductive step. Assuming the result holds for all values p k 1, define ≤ − k 1 2 2 − 2 2 F = tk k Rm + k+1H + tjP j Rm + j+1H . ∇ ∇ j ∇ ∇ j=0 X We will derive the relevant differential inequality for F in stages. First of all we apply Lemmas 5.12 and 5.13 to obtain, for times t> 0, (5.22) ∂ 2 2 ∆ k Rm + k+1H ∂t − ∇ ∇ k k+1 2 k +2 2 k j 2 k j k 2 Rm + H ⋆ Rm + Rm +H ⋆ − Rm ⋆ Rm ≤ − ∇ ∇ ∇ ∇ ∇ ∇ j=0 X k+1 k+1 k+2 2 j k+1 j k+1 j 2 k+1 j k+1 2 H + Rm ⋆ − H⋆ H + H ⋆ − H⋆ H. − ∇ ∇ ∇ ∇ ∇ ∇ ∇ j=0 j=1 X X We now estimate some terms in (5.12), using the induction hypothesis. First (5.23) k k+2 2 k k+2 k+1 j k+2 j k H ⋆ Rm C H H + H H + H − H Rm ∇ ∇ ≤ ∇ | | ∇ |∇ | ∇ ∇ ∇ j=2 X 1 2 2 2 2 k+2H + C H 2 k Rm + CK k+1H + k Rm ≤ 2 ∇ | | ∇ ∇ ∇ K K k + C (j 1) /2 (k+1 j)/2 Rm t − t − ∇ 3 1 2 2 2 K k+2H + CK k +1H + k Rm + C . ≤ 2 ∇ ∇ ∇ tk 104 5. LOCAL EXISTENCE AND REGULARITY Similarly we estimate (5.24) k+1 j k+1 j k+1 Rm ⋆ − H⋆ H ∇ ∇ ∇ j=0 X k 1 k+1 k − j k+1 j k+1 C Rm H + Rm H + Rm − H H ≤ ∇ | | ∇ |∇ | ∇ ∇ ∇ j=0 X 2 2 2 2 1 k+1 Rm + C H 2 k+1H + CK k Rm + k+1H ≤ 2 ∇ | | ∇ ∇ ∇ K K k+1 2 + C j/2 ( k j)/2 H t t − ∇ 3 2 2 2 K 1 k+1 Rm + CK k Rm + k+1H + C . ≤ 2 ∇ ∇ ∇ tk We leave as an elementary exercise to estimate the two remaining terms of (5.22) using the induction hypothesis via (5.25) k 3 j 2 k j k k 2 k+1 2 K Rm +H ⋆ − Rm ⋆ Rm CK Rm + H + C , ∇ ∇ ∇ ≤ ∇ ∇ tk j=0 X k+1 3 j 2 k+1 j k+1 k 2 k+1 2 K H ⋆ − H⋆ H CK Rm + H + C . ∇ ∇ ∇ ≤ ∇ ∇ tk j=1 X Plugging (5.23) - (5.25) into (5.22) yields the differential inequality (5.26) ∂ 2 2 ∆ k Rm + k+1H ∂t − ∇ ∇ 3 2 2 2 2 K k+1 Rm k+2 H + CK k+1H + k Rm + C . ≤ − ∇ − ∇ ∇ ∇ tk Using this differential inequality, we can choose the constants Pj by an elementary induction argument to arrive at the differential inequality ∂ ∆ F CK3, ∂t − ≤ α α for all times t K . Applying the maximum principle on the time interval [0, K ] yields the estimate≤ sup F sup F + CK3t CK2(1 + α), M t ≤ M 0 ≤ ×{ } ×{ } which after rearranging yields the required estimate. 5.5. Results on maximal existence time Having established the general short-time existence of solutions to generalized Ricci flow on compact manifolds, the natural follow-up question is, how far can this solution be extended? As we have seen in Example 4.10, the maximal interval of 5.5.RESULTSONMAXIMALEXISTENCETIME 105 existence can certainly be finite. In this section we provide a basic criterion for de- termining the singular time of a solution to generalized Ricci flow, namely showing that at a singular time for generalized Ricci flow, the norm of the Riemann curva- ture tensor must blow up. Verifying global existence of a solution to generalized Ricci flow thus reduces to establishing a bound on the Riemann curvature tensor. n 3 Lemma 5.19. Let M be a smooth manifold. Given H Λ T ∗ and g a Rie- mannian metric on M, one has ∈ 2 H2 1 H 4 . g ≥ n | |g 2 Proof. From the definition (3.23) it is clear that H is a positive semidefinite two tensor, and that one has tr H2 = H 2. Using the orthogonal decomposition g | | 2 ◦2 1 2 H = H + n trg H g into tracefree and diagonal tensors, we obtain 2 2 2 ◦2 1 2 H g = H + n trg H g 2 ◦2 1 2 2 2 = H + 2 tr H g n g | |g g 2 = H◦2 + 1 H 4 n | |g g 1 H 4 , ≥ n | |g as required. Proposition 5.20. Let (E, [, ], , ) M be an exact Courant algebroid. Let be a solution to generalized Riccih flowi → on [0, α ] such that Gt K sup Rm K. α M [0, ] | |≤ × K Then there exists a constant C = C(n) such that for all t [0, α ], ∈ K sup t H 2 C max α, 1 . M t | | ≤ { } ×{ } Proof. Combining Lemma 4.4 with the Bochner formula and the estimate of Lemma 5.19 yields the differential inequality ∂ ∂ H 2 = 2 ∆ H,H 3 g ,H2 ∂t | | h d i− ∂t = 2 ∆H + Rm ⋆H,H 3 2Rc+ 1 H2 ,H2 h i− − 2 2 = ∆ H 2 2 H 2 + Rm ⋆H ⋆2 3 H2 | | − |∇ | − 2 2 2 2 4 ∆ H 2 H + CK H 3 H , ≤ | | − |∇ | | | − 2n | | where C depends only on n. As a direct consequence we obtain, using that t α , ≤ K ∂ ∆ t H 2 (1 + CtK) H 2 3 t H 4 ∂t − | | ≤ | | − 2n | | C max α, 1 H 2 3 t H 4 ≤ { } | | − 2n | | H 2 C max α, 1 3 t H 2 . ≤ | | { }− 2n | | 106 5. LOCAL EXISTENCE AND REGULARITY 2 2C max α,1 We note that at any point where t H 3n{ } =: C1, the right hand side is 2 | | ≥ nonpositive. Since supM 0 t H is obviously zero, it follows from the maximum ×{ } | | α principle that the estimate supM t C1 is preserved for t [0, K ]. ×{ } ≤ ∈ Proposition 5.21. Let (E, [, ], , ) M be an exact Courant algebroid with M compact. Suppose is a solutionh toi → generalized Ricci flow on [0, α ] such that Gt K sup Rm K. α M [0, ] | |≤ × K Then there exists a constant C = C(n) such that for all t [0, α ], ∈ K sup t H C max α, 1 . M t |∇ |≤ { } ×{ } Proof. Combining Lemma 4.4 with the Bochner formula we obtain ∂ ∂ ∂ H = H + H ∂t∇ ∂t∇ ∇ ∂t = Rc 1 H2 ⋆H + (∆H + Rm ⋆H) ∇ − 4 ∇ = ∆ H + Rm ⋆ H + ( Rm + H⋆H) ⋆ H. ∇ ∇ ∇ ∇ A further calculation then yields, using Lemma 5.19, ∂ ∂ H 2 = 2 H, H ∂t |∇ | ∂t∇ ∇ ij kl 2Rc+ 1 H2 gklgpqgrs +3 2Rc+ 1 H2 gij gpqgrs H H − − 2 − 2 ∇i kpr∇j lqs = 2 ∆n H + Rm ⋆ H + ( Rm + H⋆H ) ⋆ H, H o h ∇ ∇ ∇ ∇ ∇ i + Rm ⋆ H⋆2 1 (H2)ij gklgpqgrs + 3(H2)klgij gpqgrs H H ∇ − 2 ∇i kpr∇j lqs 2 ∆ H 2 2 2H + C Rm H 2 + Rm H H + C H 2 H 2 ≤ |∇ | − ∇ | | |∇ | |∇ | | | |∇ | | | |∇ | where C depends only on n. As a direct consequence we obtain, using that t α , K and applying Proposition 5.20, ≤ ∂ ∆ t H 2 1+ CtK + Ct H 2 H 2 + t Rm 2 ∂t − |∇ | ≤ | | |∇ | |∇ | C max α, 1 H 2 + t Rm 2 . ≤ { } |∇ | |∇ | 2 2C max α,1 We note that at any point where t H 3n{ } =: C1, the right hand side is 2 | | ≥ nonpositive. Since supM 0 t H is obviously zero, it follows from the maximum ×{ } | | 2 α principle that the estimate supM t t H C1 is preserved for t [0, K ]. ×{ } | | ≤ ∈ n Lemma 5.22. Let M be a smooth manifold, and suppose (gt,Ht) is a smooth one-parameter family of pairs on [0,T ), T < , such that for any m ,m N, ∞ 1 2 ∈ ∂m2 ∂m2 sup m1 g + m1 H < . m2 m2 M [0,T ) ∇ ∂t ∇ ∂t ∞ × Then there exists a smooth pair (gT ,HT ) such that (g ,H ) (g ,H ) t t → T T in the C∞ topology. 5.5.RESULTSONMAXIMALEXISTENCETIME 107 Proof. First we establish the existence of the limiting metric gT . Fix a vector V T M, 0 t t C(T t1). ≤ − This shows that limt T gt(V, V ) exists, and by polarization we obtain gT = limt T gt. → → With this uniform equivalence of g established we can obtain the limit HT . In particular we fix V,X,Y T M, 0 t t C(T t1). ≤ − This shows limt T H(V,X,Y ) exists, defining a continuous 3-form HT . → Showing strong convergence to and regularity of (gT ,HT ) requires inductively proving stronger estimates on the derivatives of g and H with respect to some fixed background connection. These technical details are identical to that for Ricci flow, and we refer the reader to ([51] Proposition 6.48) for the proof. Theorem 5.23. Let (E, [, ], , ) M be an exact Courant algebroid. Given a generalized metric, let T h iR → denote the maximal extended real G0 ∈ >0 ∪ {∞} number such that the solution to generalized Ricci flow with initial condition 0 exists smoothly on [0,T ). If T < , then G ∞ lim sup sup Rm = . t T M t | | ∞ → ×{ } Proof. We argue by contradiction, and suppose that (5.27) lim sup sup Rm = K < . t T M t | | ∞ → ×{ } Fix some 0 <δ