Arxiv:2106.13716V1 [Math.DG] 25 Jun 2021 H Svr Co Rgam O Ete Feclec Nrd (CE R&D’ in Author Excellence Third of the Centres EUR2020-112265

Home , Jan Arnoldus Schouten

arXiv:2106.13716v1 [math.DG] 25 Jun 2021 h Svr co rgam o ete fEclec nRD (CE R&D’ in author Excellence third of The Centres EUR2020-112265. for and PID2019-109339GA-C32 Programme Ochoa ‘Severo the nqeeso ¨he,Rcifltmtiso ie ope manifold, complex given a on metrics c Kähler, Ricci-flat of uniqueness eodKalrmnflst oegnrlstig ncmlxgeome complex in settings ( general inter manifold been more has have to there Kähler results years manifolds recent profound beyond in These and physics, data. and initial mathematics and arbitrary existence with global metric showing flat Kähler-Ricci flow, using theorem this r ayntrlHriincnetosi hsstig n eewe here supe and of setting, physics this the in [62]) ap connections in ([11], metrics connection Hermitian and These natural [11], many [30]. non-Kähler manifolds are surfaces of complex theory compact index all on exist metrics h erci lrcoe if pluriclosed is metric the hsi aua eeaiaino h Kähler condition the of generalization natural a is This 1 NON-K ( Date h aaiYuTerm[9 ie entv nwrt h question the to answer definitive a gives [69] Theorem Calabi-Yau The M h rtato sprilyspotdb h pns iityo Scie of Ministry Spanish the by supported partially is author first The ,teeeit nqesc erci vr ¨he ls.Later Kähler class. every in metric such unique a exists there 0, = ) ue1,2021. 17, June : Abstract. e lbleitnersls npriua nalcmlxnon-Kähle algeb complex Courant all holomorphic on on particular des in metrics new results, dimension Hermitian a existence of to no global terms leads do new which in also class reformulation flow Chern This closed first topologica vanishing many metrics. with infinitely Hermitian-Einstein dimension exhibit every we Mumford-Takem in these implies manifolds using This and Hermitian-Einstein. obstructions, ity Bismut as a solutions co non- Courant holomorphic this to complex, associated reinterpret an of We on setting equation physics. Hermitian-Einstein the mathematical to in independently metrics Calabi-Yau arise of extension ral lsicto fgnrlzdKalrsrcue nteespaces. metr these Bismut-flat on a Kähler structures to generalized flow of pluriclosed classification of convergence and existence AI ACAFRADZ OHAJRA,ADJFRYSTREET JEFFREY AND JORDAN, JOSHUA GARCIA-FERNANDEZ, MARIO HE AAIYUGOER N LRCOE FLOW PLURICLOSED AND GEOMETRY CALABI-YAU AHLER M ¨ 2 n J , κ let ) emta,puilsdmtiswt aihn imtRcifr iean a give form Bismut-Ricci vanishing with metrics pluriclosed Hermitian, ≥ .O ope aiod hc di imtfltmtisw hwglobal show we metrics Bismut-flat admit which manifolds complex On 0. g eoeaHriinmti ihKähler form with metric Hermitian a denote H := 1. ∇ B − Introduction = d c ,dH ω, ∇ 1 + 2 1 g − 1 H, 0 = dω sspotdb NSF-1454854. by supported is . ,adfrisac pluriclosed instance for and 0, = 21-094S n ne grants under and X2019-000904-S) c hc ntr ie a gives turn in which ic, s netnigti theory this extending in est gbod n hsrefer thus and lgebroid, dto ntrso the of terms in ndition ¨ he aiod,and Kähler manifolds, ufcso Kodaira of surfaces r c n noain through Innovation, and nce plctosthroughout applications l itntcomplex distinct lly ovrec oaRicci- a to convergence r.Gvnacomplex a Given try. rpino pluri- of cription ω erntrlyi the in naturally pear t lp stabil- slope oto ou nteBismut the on focus di Bismut admit t od,implying roids, hwn htwhen that showing = smer.There rsymmetry. feitneand existence of s gJ a 1]proved [18] Cao esythat say We . S atu- 2 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

where denotes the Levi-Civita connection of g. This is a Hermitian connection, and as ∇ such determines a representative of c1(M) via ρ = 1 tr ΩBJ Λ2(M). B 2 ∈ This is a natural Ricci-type curvature which coincides with the usual Ricci form in case g is K¨ahler. We say that a pluriclosed metric is Bismut Hermitian-Einstein (the reason for this terminology will be explained below) if ρ 0. B ≡ Expressed in terms of the usual Ricci curvature, this equation is equivalent to

1 2 1 Rc H + L ♯ g = 0, − 4 2 θ d∗H dθ + i ♯ H = 0, − θ 2 where H (X,Y ) = iX H, iY H , and θ = Jd∗ω is the Lee form. This equation is thus a generalization of theh Calabi-Yaui condition to complex, non-Kähler geometry. Furthermore, in the compact case it follows that Bismut Hermitian-Einstein metrics automatically satisfy a generalized Ricci soliton equation (cf. Proposition 2.6) Rc 1 H2 + 2f = 0, − 4 ∇ d∗H + i f H = 0. ∇ These match the equations of motion in compactifications of type II supergravity [17]. Taking inspiration from the Calabi-Yau Theorem, a natural initial question is whether 1 the condition c1(M) = 0 guarantees the existence of a Bismut Hermitian-Einstein metric . Already in the first nontrivial dimension n = 2 we see a number of new issues arise, and the answer is emphatically no. First, it follows from a theorem of Gauduchon-Ivanov [28] (cf. [27, Theorem 8.26]) that the only non-Kähler solutions occur on standard Hopf surfaces, where (up to finite quotients) the metric is isometric to the product metric gS3 gS1 . Since all minimal non-Kähler complex surfaces of Kodaira dimension κ 0 have vanishing× first Chern class, they are thus examples showing that one cannot guarantee≥ existence in general. Furthermore, there exist pluriclosed metrics which are generalized Ricci solitons on nonstandard Hopf surfaces ([55, 60]), which fit into a smooth family with the example just described. A complete existence theory should naturally incorporate such solitons. Our first step in tackling these subtleties is to reformulate the Bismut Hermitian-Einstein condition using the tools of generalized geometry. Note that every pluriclosed metric deter- ˇ 1 2,0 2,0 mines a class [∂ω] in the first Cech cohomology group H (Λcl ) of the sheaf Λcl of closed (2, 0)-forms on M. Such a class corresponds to an isomorphism class of exact holomorphic Courant algebroids [36], which are holomorphic vector bundles fitting into an exact sequence

∗ π π 1,0 0 T ∗ T 0 −→ 1,0 −→ Q −→ −→ and satisfying further axioms (cf. Definition 3.1). Furthermore, the structure of the holomorphic vector bundle is given by a twisted ∂-operator determined by ∂ω [11]. Pluriclosed metrics with a fixed torsion class [√ 1τ] H1(Λ2,0) can be identified with pairs (ω, β), − ∈ cl 1We note that we mean here and throughout vanishing as a de Rham class, as opposed to a Bott-Chern class. See [64] for a review of non-Kähler Calabi-Yau geometries assuming c1 = 0 in Bott-Chern sense. NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 3 where τ ∂ω = dβ, and using this description we determine a generalized Hermitian metric on via− (see Lemma 3.16) Q g + β β glk √ 1β glp G = ij ik jl − ip . √ 1β gpk glk − − jp ! Building on this, we give an adapted presentation of ([11, Theorem 2.9]), which shows that the Chern connection of the Hermitian metric G is equivalent in a canonical way to the Bismut connection of g, yielding explicit relationships between their curvature tensors. Specifically, letting ΩG denote the Chern curvature of G, we set SG = √ 1tr ΩG End( ). g − ω ∈ Q G As it turns out, the tensor Sg is in a natural sense equivalent to the Bismut-Ricci form, and in particular SG 0 ρ 0. g ≡ ⇐⇒ B ≡ It follows that the existence of Bismut Hermitian-Einstein metrics requires Mumford-Takemoto slope stability of the associated holomorphic Courant algebroid. The precise statement below is Corollary 4.5. Going further we use this abstract slope stability obstruction to give a concrete obstruction in terms of holomorphic maps in Theorem 4.7 and Corollary 4.9. As a consequence we give the first examples in complex dimension n 3 of compact complex manifolds which do not admit Bismut Hermitian-Einstein metrics,≥ in fact we give infinite families in every dimension (cf. Examples 4.10, 4.11). We state this for emphasis as our first main theorem: Theorem 1.1. In every dimension there exist infinitely many complex manifolds with vanishing first Chern class which do not admit a Bismut Hermitian-Einstein metric. Returning to the question of constructibility of solutions, and recalling the construction of Calabi-Yau metrics using Kähler-Ricci flow, it is natural to construct Bismut Hermitian- Einstein metrics by means of a geometric flow. With the goal of constructing canonical geometries on complex manifolds in mind, the third author and Tian introduced a natural geometric flow of pluriclosed metrics, called pluriclosed flow [57]. This equation is expressed in terms of a pair (ω, β) as above via ∂ ∂ ω = ρ1,1, β = ρ2,0. ∂t − B ∂t − B This equation is strictly parabolic, and admits short-time solutions with arbitrary initial data on compact manifolds. Global existence and convergence results in various geometric settings have appeared in [6, 7, 8, 13, 23, 52, 53, 54]. Using the discussion above, we see that it is possible to equivalently formulate pluriclosed flow in terms of a family of generalized Hermitian metrics G on , which satisfy Q 1 ∂ G G− G = S . ∂t − g Viewed this way, pluriclosed flow bears a formal similarity to the Hermitian-Yang-Mills flow [21], although here there is further nonlinearity due to the fact that the time-dependent G metric g is used to take the trace defining Sg , whereas a background metric is used in HYM flow. Precursors of this formulation of pluriclosed flow appeared in [51, 40], where the equation was shown to hold locally. The key point in producing a general, global formula is 4 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

the use of the twisted ∂-operator on . Restricting to the setting of vanishing first Chern class, and in view of the nonexistenceQ phenomena discussed above, two natural questions emerge. First, if a Bismut Hermitian-Einstein metric exists, does the flow always converge to it? Second, if no Bismut Hermitian-Einstein metric exists, what geometric singularities does the flow encounter? To address the first question, let us restrict to what so far gives the only known examples of non-Kähler Bismut Hermitian-Einstein structures, namely when the associated Bismut connection is flat. First note that by the classical results of Cartan-Schouten ([19, 20] cf. also [1]), it follows that the universal cover of such a manifold is isometric as a Riemannian manifold to a simply connected Lie group equipped with bi-invariant metric and flat Cartan connection. The low-dimensional compact examples give some of the first known examples of complex, non-Kähler manifolds. The classic Hopf/Boothby metric on standard Hopf surfaces is Bismut-flat (cf. Example 2.7), as are the standard metrics on Calabi-Eckmann spaces (cf. Example 2.8). These are special cases of the construction of Samelson [49], who showed generally that any compact Lie group of even dimension admits left-invariant complex structures compatible with a bi-invariant metric, and that these structures are Bismut-flat (cf. also [2]). It was shown recently in [68] that all compact Bismut-flat Hermitian manifolds are covered by these ‘Samelson spaces’. Our second main theorem gives a definitive picture of the global existence and convergence of pluriclosed flow on such backgrounds:

2n Theorem 1.2. Let (M ,ωF ,J) be a compact Bismut-flat manifold. Given ω0 a pluriclosed metric so that [∂ω ] = [∂ω ] H2,1, the solution to pluriclosed flow with initial data ω 0 F ∈ ∂ 0 exists on [0, ) and converges to a Bismut-flat metric ω . ∞ ∞ In view of our description of pluriclosed flow in terms of metrics on holomorphic Courant algebroids, the hypothesis [∂ω ] = [∂ω ] H2,1 is natural, as then the solution to pluriclosed 0 F ∂ flow exists on a fixed holomorphic Courant∈ algebroid with the same underlying holomorphic vector bundle as our given background flat metric. In many concrete cases, however, we obtain a complete description of the global existence and convergence by exploiting the structure of the underlying cohomologies. This is the case for instance in Examples 2.7 and 2.8 below, where we obtain a complete description of the global existence and convergence of the flow with arbitrary initial data on standard Hopf surfaces and Calabi-Eckmann spaces, in particular confirming part (1) of Conjecture 7.6 of [56]. Furthermore, we illustrate several higher dimensional examples of compact Lie groups where Theorem 1.2 can be applied. From a PDE perspective Theorem 1.2 illustrates interesting behavior. Pluriclosed metrics are described locally by a (1, 0)-form, and pluriclosed flow admits a reduction to a quasilinear degenerate parabolic system of equations for a (1, 0)-form (cf. [51]). Such systems tend to exhibit local singularities, such as the classic neckpinch singularities of Ricci flow and mean curvature flow, and yet Theorem 1.2, describing the global behavior with arbitrary initial data on certain backgrounds, shows that such behaviors cannot occur for pluriclosed flow. From a more geometric point of view, we note that while recently there have been some results on geometric flows of non-Kähler metrics converging to rigid, Kähler metrics (cf. [41, 51, 65]), or converging to interesting non-Kähler metrics assuming a certain symmetric ansatz ([45, 50]), Theorem 1.2 seems to be the first result showing that a natural class of non-Kähler metrics is globally attractive for a geometric flow with arbitrary initial data. NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 5

The proof of Theorem 1.2 relies principally on the formulation of pluriclosed flow in terms of the associated generalized Hermitian metric G described above. Using this we derive extensions of the parabolic Schwarz Lemma for Kähler-Ricci flow to the setting of pluriclosed flow, which now have reaction terms expressed in terms of the Chern curvature of a chosen background metric on , which in turn is equivalent to the Bismut curvature of a background pluriclosed metric g.Q Assuming the background metric has vanishing Bismut curvature, this leads to uniform equivalence of the time-dependent metrics Gt, and furthermore to a Calabi/Yau type estimate for the Chern connection of G. After this uniform C∞ estimates follow from Schauder theory, leading to global existence of the flow. The a priori estimates imply subconvergence of the flow to a Bismut-flat metric along some sequence of times, and further maximum principle arguments set up against the background of this subsequential limit show convergence of the flow line. Turning to the second question above, we can ask what geometric singularities pluriclosed flow encounters on manifolds with vanishing first Chern class but which do not admit a Bismut Hermitian-Einstein metric. As discussed above, the first such examples occur for minimal non-Kähler complex surfaces of Kodaira dimension κ 0. We use our methods above to prove the definitive long-time existence result in this settin≥ g: Theorem 1.3. Let (M 4,J) be a minimal non-Kähler surface of Kodaira dimension κ 0. ≥ Given ω0 a pluriclosed metric on M, the solution to pluriclosed flow with initial condition ω exists on [0, ). 0 ∞ The proof follows similar lines to Theorem 1.2 as described above, relying on a priori estimates for the metric derived from the Schwarz lemma. It follows from Kodaira’s results on elliptic fibrations that such manifolds are finitely covered by holomorphic principal T 2- fibrations over Riemann surfaces, and after passing to the relevant cover we use the fibration structure to obtain estimates over the horizontal components of the metric. Using then special properties of the Bismut curvature tensor of a background T 2-invariant metric, we are able to derive maximum principles leading to uniform control over the whole metric. This confirms the ‘cone conjecture’ [59, Conjecture 5.2] for these manifolds. It is expected that blowdown limits at infinity for this flow converge in Gromov-Hausdorff sense to the base of the fibration equipped with a constant curvature metric (resp. to a point) when κ = 1 (resp. κ = 0). This has been confirmed for T 2-invariant initial data in [50] (cf. Remark 5.12). Theorem 1.2 also has applications to generalized Kähler (GK) geometry [36]. A GK structure is a triple (g,I,J) consisting of a Riemannian metric g compatible with two integrable complex structures I and J, with Kähler forms ωI and ωJ satisfying dc ω = H = dc ω , dH =0. I I − J J A key example of generalized Kähler structure occurs for Bismut-flat structures. In particular, if we fix G a compact Lie group with bi-invariant metric g, and let I and J denote left- and right-invariant complex structures compatible with g, then the triple (g,I,J) is generalized Kähler [36]. Furthermore, there always exist infinite dimensional families of local deformations of a given generalized Kähler structure using natural classes of Hamiltonian flows [10, 33]. These families are analogous to Kähler classes, and it is natural to seek classification of generalized Kähler structures up to equivalence via these deformations. Given this, it is natural to ask if a left-invariant complex structure I as above can be part of an ‘exotic’ generalized Kähler structure, where J does not arise via the construction above, up 6 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

equivalence by Hamiltonian flow. We note that already on the torus this question is non- trivial due to the construction of nonstandard orthogonal complex structures on flat tori in complex dimension n 3 [14]. From this perspective,≥ the question of the topology of this space is loosely analogous to questions on the uniqueness of symplectic structures, in particular conjectures on whether the space of symplectic structures on a hyperKähler four-manifold is connected, for which geometric flow methods have been proposed (cf. [22]). More generally, the flow method has been employed in various settings to understand the global structure of natural classes of geometric structures (e.g. [9, 16, 44]). It turns out that the pluriclosed flow provides a very natural approach to understanding the nonlinear space of generalized Kähler structures. As shown in [58], the pluriclosed flow furthermore preserves the generalized Kähler condition, when coupled to an evolution equation for one of the complex structures. This is called generalized Kähler-Ricci flow, and is expressed in terms of the Kähler form ωJ , a one-parameter family β Λ2,0, and a one-parameter family of complex structures I as J ∈ J

∂ J 1,1 ∂ J 2,0 ∂ ωJ = (ρB) , βJ = (ρB) , I = Lθ♯ θ♯ I, ∂t − ∂t − ∂t I − J

where θJ = Jd∗ωJ is the Lee form of the Hermitian structure (g,J), with θI defined similarly. In particular, the metrics ωJ are evolving by pluriclosed flow, and so Theorem 1.2 applies to give a global description of the space of generalized Kähler structures on Bismut-flat backgrounds.

2n Corollary 1.4. Let (M ,ωF ,J) be a compact Bismut-flat manifold. If (g,I,J) is a generalized Kähler structure on M such that [∂ω ] = [∂ω ] H2,1, then the solution to generalized J F ∈ ∂ Kähler-Ricci flow with this initial condition exists on [0, ) and converges to a Bismut-flat structure (g ,I ,J). In particular, I is biholomorphic∞ to a complex structure compatible with a Bismut-flat∞ ∞ metric.

As a concrete example, we use Corollary 1.4 to classify all generalized Kähler structures on standard Hopf surfaces (cf. Example 2.7). Here is an outline of the rest of the paper. We begin in §2 by recalling background results from Hermitian geometry, and discuss general results on Bismut Hermitian-Einstein metrics. In §3 we expound upon ideas of Bismut (cf. [11] §IIb), describing pluriclosed metrics in a fixed Aeppli class on M in terms of generalized Hermitian metrics G on the canonically associated holomorphic Courant algebroid, with twisted ∂-operator. Furthermore, we derive explicit formulas relating the Chern curvature of G to the Bismut curvature tensor of g. This provides an explicit connection to Hermitian-Yang-Mills theory, and we use this in §4 to provide slope-stability obstructions to the existence of Bismut Hermitian-Einstein metrics, and the existence of manifolds with c1 = 0 which do not admit Bismut Hermitian-Einstein metrics. We turn in §5 to the implications for pluriclosed flow. We first observe an extension of the Schwarz Lemma to the setting of holomorphic Courant algebroids. Using this, we obtain natural parabolic differential inequalities for the generalized Hermitian metric along solutions to pluriclosed flow, leading then to the proofs of the global existence and convergence results. Acknowledgements: We thank Raúl González Molina and Dan Popovici for useful discus- sions. NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 7

2. Background 2.1. Pluriclosed metrics. Let (M 2n,J) be a complex manifold. A Riemannian metric on (M,J) is Hermitian if g(JX,JY ) = g(X,Y ) for X,Y T M. Given a Hermitian metric g 1,1 ∈ we define the associated Kähler form ω ΛR by ∈ ω(X,Y )= g(JX,Y ). A Hermitian metric g on (M,J) is called pluriclosed if 2√ 1∂∂ω = ddcω =0, − where dc = √ 1(∂ ∂) is the conjugate differential, and in particular dcω = dω(J, J, J). Notice that a pluriclosed− − Hermitian metric canonically defines a pair of cohomological− classes [ω] H1,1, [∂ω] H2,1 ∈ A ∈ ∂ which play a significant role in the present work. Here Hp,q and Hp,q denote the Dolbeault ∂ A and Aeppli cohomology groups of (M,J), respectively, the latter being defined by Ker ∂∂ :Λp,q Λp+1,q+1 Hp,q := → . A ∂α + ∂γ α + γ Λp 1,q Λp,q 1 | ∈ − ⊕ − A Hermitian manifold (M,g,J) has a canonical one-parameter family of Hermitian connections [32], i.e. connections for which g and J are parallel. This line of canonical connections is uniquely determined by the following two classical connections. Definition 2.1. Let (M 2n,g,J) be a Hermitian manifold. Let denote the Levi-Civita connection associated to g. The Chern connection is defined by ∇ C Y,Z = Y,Z 1 dω(JX,Y,Z). ∇X h∇X i − 2 The Bismut connection is defined by B Y,Z = Y,Z 1 dcω(X,Y,Z). ∇X h∇X i − 2 2n ′ Given a Hermitian connection ′ on (M ,g,J), we let R∇ denote the associated (3, 1)- curvature tensor. That is, ∇ ′ R∇ (X,Y )Z = ′ ( ′ Z) ′ ( ′ Z) ′ Z. ∇X ∇Y −∇Y ∇X −∇[X,Y ] We furthermore adopt the standard notation for the (4, 0)-curvature tensor,

′ ′ R∇ (X,Y,Z,W )= R∇ (X,Y )Z, W . D E Definition 2.2. Let (M 2n,g,J) be a Hermitian manifold endowed with the Bismut connec- B B B tion , and set R = R∇ . Define the first Ricci curvature ρ via ∇ B 1 B ρB(X,Y ) := 2 R (X,Y )Jei, ei ,

where ei is any orthonormal basis for the tangent space at a given point. { } To ﬁnish this section, we recall a classical curvature identity which is crucial to our discussion. In particular, there is a relationship between the curvature tensor of the Bismut B connection , and that of the metric compatible connection −, deﬁned by ∇ ∇ 1 c (2.1) − Y,Z = Y,Z + d ω(X,Y,Z). ∇X h∇X i 2

8 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

Proposition 2.3. (cf. [11, Theorem 1.6]) Let (M 2n,g,J) be a pluriclosed manifold. Then, − setting R− = R∇ , one has B R (X,Y,Z,W )= R−(Z,W,X,Y ). 2.2. Bismut Hermitian-Einstein metrics. In this subsection we record some fundamental points regarding Bismut Hermitian-Einstein metrics. We begin by formally stating the definition. Definition 2.4. Given a complex manifold (M 2n,J), a pluriclosed metric g on M is Bismut Hermitian-Einstein if ρ 0. B ≡ To better understand this condition, we first give a reformulation in terms of the Rie- mannian Ricci tensor, using an identity for the Bismut curvature. Proposition 2.5. [27, Proposition 8.10] Let (M 2n,g,J) be a pluriclosed manifold, with c H = d ω, and θ = d∗ω J is the Lee form. Then − − ◦ 1,1 1 2 1 ρ ( ,J )= Rc H + L ♯ g, B · · − 4 2 θ 2,0+0,2 1 1 1 ρ ( ,J )= d∗H + dθ i ♯ H. B · · − 2 2 − 2 θ From this proposition it follows that Bismut Hermitian-Einstein structures satisfy a natural coupling of the classic Einstein equation and the equation for a harmonic three-form. Moreover, it follows that they are automatically steady generalized Ricci solitons (cf. [27, Ch. 4, Proposition 8.14]). We next record a further consequence arising from the variational theory of the generalized scalar curvature functional (Perelman -functional for generalized Ricci flow). F Proposition 2.6. Suppose (M 2n,J) is a compact complex manifold, and g is a pluriclosed f/2 Bismut Hermitian-Einstein metric. Let u = e− C∞(M) be the first eigenfunction of the 2 ∈ Schrödinger operator 4∆ + R 1 H . Then − − 12 | | Rc 1 H2 + 2f = 0 (2.2) − 4 ∇ d∗H + i f H = 0. ∇ 1 ♯ Consequently, the vector fields V = 2 θ f and IV are both Killing and holomorphic and V satisfies −∇ (2.3) 1 dθ i H =0. 2 − V Furthermore, if V vanishes identically then g is Kähler Ricci-flat. c Proof. Given g as in the statement, define H = d ω and θ = d∗ω J as above. Let (gt,Ht) denote the solution to generalized Ricci flow with− initial data− (g,H◦ ). By the identities of Proposition 2.5, one has (gt,Ht)=(φt∗g,φt∗H), where φt is the one-parameter family of diffeomorphisms generated by θ♯. Due to the monotonicity formula for the functional along generalized Ricci flow (cf. [27, Proposition 6.8, Corollary 6.11]), the existenceF of f satisfying (2.2) as claimed follows. Combining now equation (2.2) with Proposition 2.5, V must be Killing and furthermore it satisfies (2.3). Arguing now as in the proof of [61, Proposition 4.1], the second equation in (2.2) implies 2,0 1,1 (LV ω) =0=(LIV ω) . NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 9

1,1 Using that V is Killing, it follows that LV I = 0, and hence LIV ω = (LIV ω) = 0. Thus, since IV is also holomorphic, we conclude that LIV g = 0. Finally, if V vanishes identically then one has θ = df. Since g is pluriclosed, if we assume n> 2 it follows from [39, Theorem 1.3] that g is Kähler.− In the case n = 2, by the conformal transformation law for the Lee form the conformally related Hermitian metric ef g is Kähler. But by the uniqueness of the Gauduchon metric in a fixed conformal class, it follows that, after possibly modifying f by a constant, g = ef g and so f 0. Thus for any choice of n the metric g is Kähler, and Ricci flat. ≡

As noted in the introduction, the system of equations (2.2) are the same as the equations of motion in compactifications of type II supergravity [17]. Classification results for solutions to this more general soliton system on complex surfaces have appeared recently in [55, 60], with a new class of complete solutions arising from an extension of the Gibbons-Hawking ansatz recently appearing [61]. The starting point is the observation that the vector field V = 1 θ♯ f is real holomorphic, and JV is Killing (cf. [61, Proposition 4.1]). It 2 −∇ is interesting to notice that the Killing condition LV g = 0 combined with (2.3) yields a generalized isometry on an exact Courant algebroid determined by the torsion H (cf. [27, Proposition 2.53]). 2.3. Bismut-flat structures. An important class of Bismut Hermitian-Einstein structures occurs when the associated Bismut connection is actually flat. As a matter of fact, Bismut- flat manifolds are the only known examples of non-Kähler Bismut Hermitian-Einstein metrics to the present day. In this section we recall fundamental results on the structure of compact pluriclosed Bismut-flat manifolds. We will also provide concrete examples where Theorem 1.2 and Corollary 1.4 apply. To begin we recall two basic examples, namely the standard Hopf surfaces, and Calabi-Eckmann threefolds. Example 2.7. Given complex numbers α, β satisfying α β < 1, we obtain a Hopf surface via | |≤| | M = C2 0 / (z , z ) (αz , βz ) . αβ \{ } h 1 2 → 1 2 i For any α, β this is a complex manifold diffeomorphic to S3 S1. We furthermore say that it is standard if α = β . In this case there is a natural pluriclosed× metric known as the Hopf/Boothby metric| | defined| | by the invariant Kähler form on C2 0 by \{ } √ 1 ωHopf = − (dz1 dz1 + dz2 dz2) . z 2 ∧ ∧ | | This metric is the unique (up to scaling) bi-invariant Hermitian metric for S3 S1 = SU(2) 1,1 × ∼ × U(1), and the associated Bismut connection is flat. Recall also that hA (Mαβ) = 1 (see the proof of [3, Theorem 3.3]) and that the Aeppli class of a pluriclosed Hermitian metric on a compact complex surface is non-zero (see e.g. [46]). Therefore, given any pluriclosed metric ω on Mαβ one has [ω] = λ[ωHopf] for 0 < λ R, where the positivity of λ follows e.g. ∈ 2,1 by integration on a holomorphic curve (cf. below). Using now that [∂ω] H factorizes ∂ through the natural map ∈ H1,1 H2,1 :[ω] [∂ω], A → ∂ 7→ we have that Theorem 1.2 applies giving convergence of the pluriclosed flow to a Bismut-flat structure for any initial data. Due to the classification by Gauduchon-Ivanov [28] (cf. also 10 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

[27, Theorem 8.26]), it follows that ωHopf is the unique Bismut-flat metric in its Aeppli class, thus the limiting metric is a scalar multiple of the Hopf metric. The Hopf metric above is part of two distinct types generalized Kähler structures. In the first case, the second compatible complex structure I is obtained by modifying the complex 2 structure on C such that (z1, z2) are holomorphic coordinates. Note that, so defined, I is also Hermitian with respect to gHopf = ωHopf(,J). Furthermore, I and J have opposite orientations and they satisfy [I,J] = 0. The possible generalized Kähler structures of the form (gHopf,I,J) where I and J induce opposite orientations are classified in [5, Theorem 3]. In the second case [36], consider the compatible complex structure I′ defined by the holomorphic (2, 0)-form

Ω ′ =(z dz + z dz ) (z dz z dz ). I 1 1 2 2 ∧ 1 2 − 2 1 Then (gHopf,I′,J) is a generalized Kähler structure whose associated Poisson tensor σ = 1 [I,J] is generically nondegenerate but degenerates along the pair of elliptic curves z = 2 { 1 0 , z2 =0 . The possible generalized Kähler structures of the form (gHopf,I,J) where I and J}induce{ the} same orientation form a finite dimensional family and are classified by twistor constructions in [31] (cf. also [48]). Now suppose we have an arbitrary generalized Kähler structure (M,g,I,J) where (M,J) ∼= Mαβ. Applying now Corollary 1.4 and the discussion above, the generalized Kähler Ricci flow with initial data (g,I,J) exists for all times and converges to a generalized Kähler structure (gHopf,I ,J) with I biholomorphic to I. Thus the generalized Kähler-Ricci flow ∞ ∞ deforms all generalized Kähler structures on Mαβ to the space of GK structures of the form (gHopf,I,J). Therefore, a classification of generalized Kähler structures of the form (g,I,J) where (M,J) ∼= Mαβ follows from [5, 31]. Example 2.8. Consider C2 0 C2 0 endowed with the C-action given by \{ } × \{ } γ √ 1γ γ(z,w)=(e z, e − w). This action is free and proper, the quotient space (M,J) is diffeomorphic to S3 S3, and this is an example of a Calabi-Eckmann space. Furthermore M is the total space× of a holomorphic T 2 fibration over CP1 CP1. This is the product of the standard Hopf fibrations π : S3 CP1. Let ξ denote the× canonical vector fields associated to this fibration on the i → i two factors, with µi the associated canonical connections satisfying dµi = πi∗ωFS. Note that the complex structure further satisfies Jξ1 = ξ2. We consider the Kähler form associated to the product of round metrics, namely

ω = π∗ω + π∗ω + µ µ . 1 FS 2 FS 1 ∧ 2 It follows that

dω = dµ µ µ dµ = π∗ω µ µ π∗ω , 1 ∧ 2 − 1 ∧ 2 1 FS ∧ 2 − 1 ∧ 2 FS hence c H = d ω = dω(J, J, J)= π∗ω µ π∗ω µ . − 1 FS ∧ 1 − 2 FS ∧ 2 It is clear then that the geometric structure is that of a product of two copies of the S3 factor of the Hopf metric, and furthermore that dH = 0. It can be checked that (M,J,ω) ♯ 1 is indeed Bismut-ﬂat, and that θ , where θ = 2 (µ1 + µ2), is a Killing ﬁeld which further preserves H. We refer to [27, Example 8.35] for− further details on the geometry. NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 11

1,1 For the Calabi-Eckmann threefold one has hA = 1 (see the proof of [3, Proposition 3.4]). Furthermore, it follows by integrating over the T 2 fibers that for an arbitrary pluriclosed metric on M one has 1,1 0 = [ω′] H , 6 ∈ A and hence there exists λ> 0 so that [ω′]= λ[ω]. Arguing now as in Example 2.7, we obtain that 2,1 [∂ω′]= λ[∂ω] H , ∈ ∂ and hence Theorem 1.2 applies giving global existence and convergence of the pluriclosed flow to a Bismut-flat structure for any initial data. These examples are both covered by the general construction of Samelson [49], which we recall next. Let G denote a compact connected real Lie group of dimension 2n. We fix a bi- invariant metric , on the Lie algebra g := Lie G inducing a bi-invariant metric g on G. Any h i choice of integrable left-invariant complex structure JL on G compatible with g determines a Bismut-flat structure on G, with Bismut torsion given by the Cartan three-form H(X,Y,Z)= dc ω(X,Y,Z)= g([X,Y ],Z), − JL for any triple of left-invariant vector fields X,Y,Z on G. Furthermore, denote by JR the right-invariant extension of the almost complex structure induced by JL on g. Then, the triple (g,JL,JR) is a natural generalized Kähler structure on G [36]. In particular, Example 2.7 can be recovered from this construction for G = SU(2) U(1), while Example 2.8 can × be recovered taking G = SU(2) SU(2) (for suitable choices of JL). To the knowledge of the authors,× in general there is no available calculation of the cohomology groups H2,1 and H1,1 in the construction of Samelson. Hence our argument in ∂ A the previous two examples, which grants the global existence of the pluriclosed flow for any initial data, does not apply directly. Note that, for G compact and simply connected, a calculation of the Dolbeault cohomology for an arbitrary left-invariant complex structure was undertaken in [47, Proposition 5.9]. In order to discuss a pair of concrete examples, we need a more explicit description of Samelson’s construction. An integrable left-invariant complex structure on G compatible with g is equivalent to a choice of complex Lie subalgebra s gc := g C ⊂ ⊗ satisfying s g = 0 , dimC s = n, s, s =0, ∩ { } h i where the last condition means that s is isotropic with respect to the C-linear extension of , . This data is actually equivalent to a choice of maximal torus T G with Lie algebra t, andh i a choice of isotropic subspace ⊂ a tc := t C ⊂ ⊗ such that a t = 0 (see e.g. [47]). ∩ { } Example 2.9. Consider G = SU(3) endowed with the bi-invariant metric g given by minus the Killing form. Let JL be a g-compatible integrable left-invariant complex structure on G with associated maximal torus T 2 G and (isotropic) one-dimensional abelian subalgebra ⊂ a tc. ⊂ Then, there is an isomorphism of bigraded algebras [47, Section 4] , 3 H∗ ∗(G,J ) = Λ∗ u ,u C[u ]/ u ∂ L ∼ h 0,1 2,1i ⊗ 1,1 h 1,1i 12 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

where up,q has bi-degree (p, q) . In particular H2,1(G,J ) = C u = C. ∂ L ∼ h 2,1i ∼ Therefore, Theorem 1.2 applies giving convergence of the pluriclosed flow to a Bismut-flat structure for any initial data ω0 such that (2.4) [∂ω ] R [∂ω] C. 0 ∈ >0 · ⊂ Similarly, applying Corollary 1.4, the generalized Kähler Ricci flow with such initial data (g0,I0,JL) exists for all times and converges to a generalized Kähler structure (g ,I ,JL) ∞ ∞ with Bismut flat metric g and I biholomorphic to I0. ∞ ∞ Example 2.10. Consider G = SO(9) endowed with the bi-invariant metric g given by minus the Killing form. Choose a maximal torus T 4 G and an orthonormal basis for its Lie algebra ⊂ t = e , e , e , e . h 1 2 3 4i Consider the union of twelve lines in P(tc) defined by the equations 2 6 xj =0, xj =0, j j X X c c where x = j xjej t . A choice of such line determines an isotropic subspace a t with no real points, and hence∈ it defines a g-compatible integrable left-invariant complex⊂ structure P JL on G. Then, there is an isomorphism of bigraded algebras [47, p. 149] , 4 4 4 4 H∗ ∗(G,J ) = Λ∗a∗ Λ∗(u ,u ) C[u , v ]/ u + v ,u v ∂ L ∼ ⊗ 2,1 5,6 ⊗ 1,1 1,1 h 1,1 1,1 1,1 1,1i where up,q has bi-degree (p, q) and the elements in a∗ have bi-degree (0, 1). In particular H2,1(G,J ) = C u = C. ∂ L ∼ h 2,1i ∼ Therefore, Theorem 1.2 and Corollary 1.4 apply also in this example, for any initial data ω0 such that (2.4) is satisfied.

3. Pluriclosed metrics and holomorphic Courant algebroids In this section we show that a pluriclosed Hermitian structure yields a natural notion of Hermitian metric G on a holomorphic Courant algebroid. We then use diﬀerent methods to rederive a striking relationship–originally observed in [11]–between the curvature of the Chern connection associated to G and the curvature of the Bismut connection associated to the underlying pluriclosed structure. Our results extend the study of metrics on holomorphic Courant algebroids initiated in [25, 26, 51]. 3.1. Holomorphic Courant algebroids. Let (M,J) be a complex manifold. We denote by M and C the sheaves of holomorphic functions and C-valued constant functions on M, respectively.O Deﬁnition 3.1. A holomorphic Courant algebroid is a holomorphic vector bundle (M,J) together with a nondegenerate holomorphic symmetric bilinear form , , a holomor-Q → phic vector bundle morphism π : T 1,0 called anchor map, and a Dorfmanh i bracket on holomorphic sections of , that is,Q a → homomorphism of sheaves of C-modules Q [ , ]: C , · · Q ⊗ Q → Q satisfying, for u,v,w and φ , ∈ Q ∈ OM NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 13

(D1): [u, [v,w]] = [[u, v],w] + [v, [u,w]], (D2): π([u, v]) = [π(u), π(v)], (D3): [u,φv]= π(u)(φ)v + φ[u, v], (D4): π(u) v,w = [u, v],w + v, [u,w] , h i h i h i (D5): [u, v] + [v,u]=2π∗d u, v . h i We will denote a holomorphic Courant algebroid ( , , , [ , ], π) simply by . Using the Q h i · · Q isomorphism , : ∗ we obtain a holomorphic sequence h i Q → Q ∗ π π 1,0 (3.1) T ∗ T . 1,0 −→ Q −→ Definition 3.2. We will say that is exact if (3.1) induces an exact sequence of holomorphic vector bundles Q ∗ π π 1,0 (3.2) 0 T ∗ T 0. −→ 1,0 −→ Q −→ −→ A complete classification of exact holomorphic Courant algebroids was obtained by Gualtieri in [36]. Let us summarize the result which we will use. 2,0 Theorem 3.3. Let (M,J) be a complex manifold. Denote by Λcl the sheaf of closed (2, 0)- forms on M. Then, the set of isomorphism classes of exact holomorphic Courant algebroids ˇ 1 2,0 on M is bijective to the first Cech cohomology H (Λcl ). Furthermore, there is a vector space isomorphism Ker d:Λ3,0+2,1 Λ4,0+3,1+2,2 (3.3) H1(Λ2,0) = → . cl ∼ Im d:Λ2,0 Λ3,0+2,1 → 2,0 1,0 A one-cocycle for the sheaf Λcl determines local data for gluing the model T T1∗,0 by means of holomorphic B-field transformations. On the other hand, a representative⊕ of a cohomology class in the right hand side of (3.3) yields a convenient global description of a holomorphic Courant algebroid. Definition 3.4. Let (M,J) be a complex manifold. Given τ Λ3,0+2,1, dτ = 0, we denote by ∈ 1,0 = T T ∗ Qτ ⊕ 1,0 the exact holomorphic Courant algebroid with Dolbeault operator τ ∂ (X + ξ)= ∂X + ∂ξ i τ 2,1, − X symmetric bilinear form (3.4) X + ξ,X + ξ = ξ(X), h i bracket on holomorphic sections given by [X + ξ,Y + η] = [X,Y ]+ ∂(η(X)) + i ∂η i ∂ξ + i i τ 3,0, τ X − Y Y X and anchor map π(X + ξ) = X. It is not difficult to check that τ so defined satisfies the axioms in Definition 3.1. Q The holomorphic Courant algebroids of our main interest arise via a reduction mechanism from an exact Courant algebroid in the smooth category. Recall that a smooth exact Courant algebroid E over a smooth manifold M is given by an exact sequence π∗ π 0 T ∗M E T M 0. −→ −→ −→ −→ 14 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

satisfying a set of axioms analogous to those in Definition 3.2. A choice of isotropic splitting of the previous sequence determines uniquely a closed real three-form H Λ3 and an isomorphism ∈ E = T M T ∗M, ∼ ⊕ such that the symmetric bilinear form , is as in (3.4), the anchor map is π(X + ξ) = X, and the bracket is given by h i [X + ξ,Y + η] = [X,Y ]+ L η i dξ + i i H. H X − Y Y X Consider the smooth complex Courant algebroid E C, with Courant structure given by ⊗ the C-linear extensions of the symmetric bilinear form , , the bracket [ , ]H , and the anchor map π. h i · · Definition 3.5. Let E be a smooth exact Courant algebroid over a complex manifold (M,J). A lifting of T 0,1 to E C is an isotropic, involutive subbundle ℓ E C mapping isomor- phically to T 0,1 under⊗ the C-linear extension of the anchor map π⊂: E ⊗ C T C. ⊗ → ⊗ A lifting relates to the complex Courant algebroid E C as a Dolbeault operator relates to a smooth complex vector bundle, in the sense that it⊗ enable us to construct a Courant algebroid in the holomorphic category out of E C. More precisely, following [36] we consider the reduction of E C by ℓ given by the orthogonal⊗ bundle ⊗ := ℓ⊥/ℓ, Qℓ where ℓ⊥ is the orthogonal complement of ℓ with respect to the symmetric pairing on E C. 0,1 ⊗ Since ℓ is a lifting of T the kernel of π ℓ⊥ is T1∗,0, and therefore ℓ is an extension of the | Q form (3.2). The Dolbeault operator on is defined as follows: given s a smooth section of Qℓ ℓ, we define Q ℓ ˜ ∂X s = [X, s˜] mod ℓ 0,1 where X T , X˜ is the unique lift of X to ℓ, ands ˜ is any lift of s to a section of ℓ⊥. The ∈ ℓ ℓ Jacobi identity for the Dorfman bracket on E C implies that ∂ ∂ = 0 and that it induces ⊗ ◦ a Dorfman bracket on the holomorphic sections of ℓ. Our next goal is to make the previous constructionQ more explicit by choosing an isotropic splitting of E. For a proof of the next result we refer to [27]. Lemma 3.6. Let (M,J) be a complex manifold. Given H Λ3 a closed real three-form, 0 ∈ dH =0, consider the exact Courant algebroid (T T ∗, , , [, ] , π) as above. Then, a lifting 0 ⊕ h i H0 ℓ (T T ∗) C ⊂ ⊕ ⊗ 0,1 1,1 2 of T is equivalent to a pair (ω, b), where ω ΛR and b Λ , satisfying ∈ ∈ (3.5) H = dcω db. 0 − − More explicitly, given (ω, b) satisfying (3.5) the lifting is b+√ 1ω 0,1 0,1 0,1 (3.6) ℓ = ℓ(ω, b) := e − (X ), X T , { ∈ } and, conversely, any lifting is uniquely expressed in this way. Remark 3.7. Notice that the inclusion E E C defines a compact form in the sense of [25, Definition 5.4]. Hence, the analogy between⊂ ⊗ liftings of T 0,1 and Dolbeault operators suggests that the previous result can be regarded as a Chern correspondence in our setting. We refer to [25] for further insights on this relation in a more general setup. NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 15

Our next result gives an explicit formula for the exact holomorphic Courant algebroid associated to a lifting ℓ(ω, b). Lemma 3.8. Let (M,J) be a complex manifold endowed with an exact Courant algebroid 0,1 (T T ∗, , , [, ]H0 , π) as above. Let ℓ(ω, b) be a lifting of T as in Lemma 3.6. Then, using the⊕ notationh i in Deﬁnition 3.4, there is a canonical isomorphism

ℓ(ω,b) = 2√ 1∂ω. Q ∼ Q − Proof. We have b+√ 1ω 1,0 ℓ(ω, b)⊥ = e − (T ) T ∗ ℓ ⊕ 1,0 ⊕ and therefore there is a smooth bundle isomorphism 1,0 ℓ(ω,b) T T1∗,0 (3.7) Q → ⊕ b+√ 1ω [e − Y + η] Y + η. 7→ The agreement of the pairing and the anchor map with the ones on 2√ 1∂ω is straightfor- Q − ward. Let us now express the Dolbeault operator in terms of (3.7). Given X T 0,1 and 1,0 ∈ Y + η T T ∗ , we have ∈ ⊕ 1,0 b+√ 1ω b+√ 1ω [e − X, e − Y + η] b+√ 1ω 1,0 = e − [X,Y ] + L η + i i (H + db + √ 1dω) mod ℓ X Y X 0 − b+√ 1ω = e − ∂ Y + i ∂η i i (2√ 1∂ω), mod ℓ X X − X Y − which recovers the Dolbeault operator in Definition 3.4 when τ = 2√ 1∂ω. Similarly, for 1,0 − X + ξ,Y + η holomorphic sections of T T ∗ , we find ⊕ 1,0 b+√ 1ω b+√ 1ω b+√ 1ω [e − X + ξ, e − Y + η]= e − [X,Y ]+ L η i dξ + i i (2√ 1∂ω) X − Y Y X − b+√ 1ω = e − [X,Y ]+ L η i dξ + i ∂ξ X − Y Y b+√ 1ω = e − [X,Y ]+ ∂(η(X)) + i ∂η i ∂ξ X − X as claimed. Remark 3.9. With the notation of Lemma 3.6 one has that ddcω = 0 and hence a choice of lifting ℓ (T T ∗) C yields a well-defined Aeppli class ⊂ ⊕ ⊗ [ω] H1,1. ∈ A 1,1 ′ In fact, if ℓ and ℓ′ are liftings such that [ω] = [ω′] HA , then it follows that ℓ ∼= ℓ . To see this, notice that ∈ Q Q 1,0 0,1 ω′ = ω + ∂ξ + ∂η 1,0 implies ∂ω′ = ∂ω d∂ξ . Our claim follows combining Lemma 3.8 with Theorem 3.3. − 3.2. Generalized Hermitian metrics. We introduce next a new ingredient, namely, generalized metrics, which will lead us naturally to the study of Hermitian metrics on exact holomorphic Courant algebroids. Recall that a generalized metric on a smooth exact Courant algebroid E is given by an orthogonal decomposition

E = V+ V ⊕ − such that the restriction of the ambient metric to V+ (resp. V ) is positive deﬁnite (resp. negative deﬁnite). Recall also that a generalized metric determines− uniquely a Riemann 16 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

metric g on M and an isotropic splitting of E. In particular, it has an associated isomorphism E = (T T ∗, , , [, ] , π) for a uniquely determined closed three-form H, such that ∼ ⊕ h i H (3.8) V = X g(X),X T . ± { ± ∈ } The basic interaction between generalized metrics and complex geometry is provided by the following definition. Definition 3.10. Let (M,J) be a complex manifold endowed with a smooth exact Courant algebroid E. We say that a generalized metric E = V+ V is compatible with J if ⊕ − ℓ = e V C, π(e) T 0,1 E C { ∈ + ⊗ ∈ } ⊂ ⊗ is a lifting of T 0,1. Using the splitting of E determined by the generalized metric, it is not difficult to see that Definition 3.10 implies that g is Hermitian and furthermore √ 1ω 0,1 ℓ = e − T where ω = gJ is the associated Hermitian form. Applying now Lemma 3.6 we obtain the following. Lemma 3.11. Let (M,J) be a complex manifold endowed with a smooth exact Courant algebroid E. A generalized metric E = V+ V is compatible with J if and only if the associated Riemannian metric g is Hermitian⊕ and− furthermore (3.9) H = dcω. − In particular g is pluriclosed. Given a compatible generalized metric, we can find an alternative presentation of the associated holomorphic Courant algebroid ℓ = 2√ 1∂ω (see Lemma 3.8) which will naturally Q ∼ Q − endow this bundle with a Hermitian metric. To see this, note that V+⊥ = V implies that − ℓ⊥ =(V C) ℓ. − ⊗ ⊕ Therefore, as a smooth orthogonal bundle is canonically isomorphic to Qℓ ℓ := ℓ⊥/ℓ = V C. Q ∼ − ⊗ Definition 3.12. Let (M,J) be a complex manifold endowed with a smooth exact Courant algebroid E and a compatible generalized metric E = V+ V . Then, the induced generalized Hermitian metric G on is defined by ⊕ − Qℓ G([s1], [s2]) = 2 π s1, π s2 − h − − i for [sj] ℓ⊥/ℓ and π : ℓ⊥ V C the orthogonal projection. ∈ − → − ⊗ We are ready to prove the main result of this section, where we calculate the Chern connection of the induced generalized Hermitian metric G in terms of the connection − associated to the underlying pluriclosed structure (see (2.1)). This result provides an interpretation∇ of [11, Theorem 2.9] in the language of holomorphic Courant algebroids. Proposition 3.13. Let (M,J) be a complex manifold endowed with a smooth exact Courant algebroid E and a compatible generalized metric E = V+ V . Then, the Chern connection of the associated generalized Hermitian metric G on is⊕ given− by Qℓ C (3.10) iX Gs = π [σ+X, π s] ∇ − − NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 17 C via the isomorphism ℓ ∼= V . Here, σ+X = X +g(X) is the inverse of the isomorphism π : V T . MoreQ explcitly,− ⊗ via the identification V T , the Chern connection is given V+ + ∼= by| → −

1 1 c (3.11) − Y = Y + g− d ω(X,Y, ). ∇X ∇X 2 · Proof. Observe that the right hand side of (3.10) defines an orthogonal connection on V , − which can be identified with − via the isomorphism π V− : V T (see e.g. [27, Proposition ∇ | − → 3.14]). Therefore, − extends C-linearly to a G-unitary connection on V C. By the ∇ − ⊗0,1 abstract definition of the Dolbeault operator on ℓ, we inmediately see that ( −) coincides ℓ Q ∇ with ∂ . In our next result we calculate an explicit formula for the generalized Hermitian metric G in terms of the isomorphism ℓ = 2√ 1∂ω in Lemma 3.8. Q ∼ Q − Lemma 3.14. Let (M,J) be a complex manifold endowed with a smooth exact Courant algebroid E and a compatible generalized metric E = V+ V . Then, the orthogonal isomorphism C ⊕ − ψ : 2√ 1∂ω V induced by Lemma 3.8 is given by Q − → − ⊗ √ 1ω 1 √ 1ω 1 ψ(X + ξ)= e − X e− − g− ξ. − 2 Consequently, 1 ψ∗G(X + ξ,X + ξ)=2g(X, X)+(2g)− (ξ, ξ).

Proof. The ﬁrst part follows from

√ 1ω √ 1ω 1 1 √ 1ω 1 √ 1ω 1 ψ(X + ξ)= e − X + π ξ = e − X + (ξ g− ξ)= e − X e− − g− ξ. − 2 − − 2 The second part is a straightforward calculation and is left to the reader. For our applications it will be convenient to fix a background exact holomorphic Courant algebroid and generalized Hermitian metric. This motivates the following definition, which is inspired by [24, 25]. Definition 3.15. Let (M,J) be a complex manifold endowed with an exact holomorphic Courant algebroid . A generalized Hermitian metric on is given by a triple (E,V+,ϕ), where Q Q (1) E is an exact Courant algebroid over M, (2) V E is a generalized metric compatible with J, + ⊂ (3) ϕ: ℓ is an isomorphism of holomorphic Courant algebroids inducing the iden- tityQ on→M Q. Observe that a generalized Hermitian metric (E,V ,ϕ) on induces a generalized Her- + Q mitian metric G′ on ℓ as in Definition 3.12. Therefore, via the isomorphism ϕ we obtain a Hermitian metric Q

G = ϕ G′ ∗ on compatible with the orthogonal structure. By abuse of notation, we will also call G a generalizedQ Hermitian metric. We next unravel the previous deﬁnition in terms of the model in Deﬁnition 3.4. 18 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

Lemma 3.16. Let (M,J) be a complex manifold, and τ Λ3,0+2,1, dτ = 0. Then, there 0 ∈ 0 is a one to one correspondence between the set of generalized Hermitian metrics on 2√ 1τ0 and Q − ω + β ω > 0, dβ = τ ∂ω Λ1,1 Λ2,0. | 0 − ⊂ R ⊕ Furthermore, the generalizedn Hermitian metric G = ϕo G′ is given by ∗ 1 G(X + ξ,X + ξ)=2g(X, X)+(2g)− (ξ +2√ 1β(X), ξ 2√ 1β(X)). − − − Proof. The pair (E,V+) determines ω > 0 and an isomorphism E = (T T ∗, , , [, ]H ) c ∼ ⊕ h i for H = d ω. By Lemma 3.8, ℓ ∼= 2√ 1∂ω and, by Theorem 3.3, the isomorphism ϕ: − corresponds to Q Q − Qℓ → Qτ0 2√ 1β 1,0 1,0 ϕ = e− − : T T ∗ T T ∗ ⊕ 1,0 → ⊕ 1,0 2,0 for β Λ satisfying 2√ 1dβ = 2√ 1τ0 2√ 1∂ω. The last part of the statement is now straightforward∈ from Lemma− 3.14.− We refer− to− [25] for further details. Remark 3.17. For our applications to the pluriclosed ﬂow, we will need to ﬁx an initial pluriclosed Hermitian metric g and a background pluriclosed metric g′. We will not require that the associated holomorphic Courant algebroids 2√ 1∂ω and 2√ 1∂ω′ are isomorphic, but the weaker condition of being isomorphic as holomorphicQ − orthogoQnal− bundles. In practice, this boils down to the explicit condition

(3.12) ∂β = ∂ω′ ∂ω − for some β Λ2,0 or, equivalently, ∈ 2,1 [∂ω] = [∂ω′] H (X). ∈ ∂ One can easily see that a pair (ω, β) as in (3.12) defines a generalized Hermitian metric in the exact holomorphic Courant algebroid 2√ 1∂ω′+2√ 1∂β, that is, the twisting of 2√ 1∂ω′ Q − − Q − by the d-closed (3, 0)-form 2√ 1∂β (see Definition 3.4). − 3.3. Bismut’s Identity from the classical viewpoint. As originally observed in [11, Theorem 2.9] in a different context, there is a striking relationship between the curvature of the Chern connection associated to the generalized Hermitian metric G in Definition 3.12 and the curvature of the Bismut connection associated to the underlying pluriclosed structure. In the setup of generalized geometry this is a straightforward consequence of Proposition 3.13 combined with Proposition 2.3. Since this relation plays an important role in our main results, in the present and the next section we discuss at length this interesting link from a classical point of view. In the sequel, the Dorfman bracket in the holomorphic Courant algebroids of our interest will play no role, and hence we will focus on the underlying holomorphic orthogonal bundle given by the sequence (3.2). We will also use a different normalization for ∂ω in the Dolbeault operator which simplifies the notation. Let (M,g,J) be a pluriclosed Hermitian manifold. The complexification T M C of the tangent bundle T M is endowed with two natural geometric structures: a complex-valu⊗ ed metric induced by the C-linear extension of g X,Y := 1 g(X,Y ) h i0 − 2 and a real structure, that is, a C-antilinear involution σ0 : T M C T M C, induced by complex conjugation ⊗ → ⊗ σ0(X)= X. NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 19

The involution σ0 is orthogonal with respect to , 0, and the combination of both yields the Hermitian metric h i G (X,Y ) := 2 X, σ (Y ) = g(X, Y ). 0 − h 0 i0 1,0 Consider the isomorphism of smooth complex vector bundles ψ : T M C T T ∗ g ⊗ → ⊕ 1,0 induced by the pluriclosed structure (g,J), deﬁned by (3.13) ψ (X)= X1,0 √ 1ω(X0,1, )= X1,0 g(X0,1). g − − · − 1,0 In the next result we give a formula for the structure ( , , σ ,G ) transported to T T ∗ h i0 0 0 ⊕ 1,0 via ψg.

Lemma 3.18. The isomorphism (3.13) induces a complex-valued metric , =(ψg) , 0, an h i 1∗,0h i orthogonal real structure σ =(ψg) σ0, and a Hermitian metric G′ =(ψg) G0 on T T1∗,0, given by ∗ ∗ ⊕ 1 X + ξ,X + ξ = ξ(X), σ(X + ξ)= g− ξ gX, h i − − and 1 G′(X + ξ,X + ξ) := 2 X + ξ, σ(X + ξ) = g(X, X)+ g− (ξ, ξ). − h i In matrix notation, we have

gij 0 (3.14) G′ = . 0 glk 1 1 0,1 Proof. We have ψg− (X + ξ) = X g− ξ where g : T1∗,0 T is the isomorphism induced by the C-linear extension of the metric− g. The proof is now→ straightforward. Notice that the formula for the transported complex-valued metric , is independent of h i g and coincides with the bilinear form of the holomorphic Courant algebroid √ 1∂ω in Definition 3.4. Furthermore, (3.14) coincides up to normalization with the formulaQ − for the generalized Hermitian metric in Lemma 3.14. In the next result we show that the holomorphic structure on √ 1∂ω has also a natural interpretation in terms of the complexified tangent bundle. For thisQ ,− note that the C-linear extension of the metric connection − to T M C is Hermitian (see (2.1)). Furthermore, using the fact that RB Λ2 Λ1,1 combined∇ with⊗ Proposition 2.3 it follows that ∈ ⊗ 1,1 R− Λ End(T M C), ∈ ⊗ ⊗ and therefore − induces a structure of holomorphic vector bundle on T M C, with inte- ∇ 0,1 ⊗ grable Dolbeault operator ( −) . ∇ C 1,0 Lemma 3.19. The map ψg : T M T T1∗,0 defined by (3.13) induces an isomorphism of orthogonal holomorphic vector⊗ bundles→ ⊕ C 0,1 ψg : (T M , ( −) ) √ 1∂ω. ⊗ ∇ → Q − Proof. By Lemma 3.18 we have that ψg is a complex isometry. A straightforward calculation using the definitions of Bismut and Chern connections shows that B Y,Z = C Y,Z + 1 dω(JX,Y,Z)+ 1 dω(JX,JY,JZ), ∇X ∇X 2 2 which in turn implies C 1 0,1 0,1 − 0,1 Y = 0,1 Y √ 1g− ∂ω(X ,Y , ). ∇X ∇X − − · 20 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

Therefore, using that the Chern connection is metric compatible, we obtain 1 1,0 1,0 C 1,0 1,0 0,1 1,0 ψ ( − 0,1 ψ− (Y + ξ )) = 0,1 (Y + ξ )+ √ 1∂ω(X ,Y , ), g ∇X g ∇X − · which corresponds to the Dolbeault operator in Definition 3.4 for τ = √ 1∂ω. − In the next result we recover Proposition 3.13 in terms of classical geometry. This observation is originally due to Bismut [11, Theorem 2.9]. Proposition 3.20 (Bismut’s Identity). Let (M,g,J) be a pluriclosed Hermitian manifold. Consider the associated holomorphic orthogonal bundle √ 1∂ω, as in Definition 3.4, en- Q − C dowed with the Hermitian metric G′ (see (3.14)). Then, the Chern connection G′ of G′ satisfies ∇ C C G′ =(ψg) −, ΩG′ =(ψg) R− ∇ ∗∇ ∗ Proof. The statement follows from Lemma 3.19 combined with ψ G0 = G′, and the uniqueness of the Chern connection on a Hermitian holomorphic vector∗ bundle.

Similarly as in the proof of Lemma 3.16, given a background pluriclosed metric g0 and a pair (ω, β) satisfying (3.15) ∂β = ∂ω ∂ω 0 − one has an induced isomorphism of holomorphic orthogonal bundles √ 1β e− − : √ 1∂ω √ 1∂ω0 . Q − → Q −

Thus, (ω, β) induces in a natural way a Hermitian metric on √ 1∂ω0 compatible with √ 1β Q − the orthogonal structure, deﬁned by G = (e − )∗G′ (see Remark 3.17). We close this section with a formula for the generalized Hermitian metric G and its Chern connection. In particular, the next lemma combined with Proposition 3.20 recovers the calculation in [40, Lemma 2.1] in a more conceptual way. The proof is straightforward from Proposition 3.20.

Proposition 3.21. Let (M,g0,J) be a pluriclosed Hermitian manifold. Consider the associated orthogonal holomorphic vector bundle = √ 1∂ω0 , as in Definition 3.4. Given (ω, β) Q Q − √ 1β as in (3.15), the induced generalized Hermitian metric G =(e − )∗G′ on is given by Q G(X + ξ,X + ξ)= g(X, X)+ g(ξ + √ 1β(X), ξ √ 1β(X)). − − − In matrix notation, we have g + β β glk √ 1β glp (3.16) G = ij ik jl − ip . √ 1β gpk glk − − jp ! Furthermore, the Chern connection C of G satisfies ∇G √ 1β C √ 1β C (e − ) G =(ψg) −, (e − ) ΩG =(ψg) R−. ∗∇ ∗∇ ∗ ∗ 3.4. Explicit formulas. Proposition 3.21, in conjunction with Proposition 2.3, gives a complete description of the Chern connection of the generalized metric G in terms of the Bismut curvature of g. In this subsection we give a more direct and explicit proof of Proposition 3.21, extending the approach of [40, Lemma 2.1]. These explicit identities provide some further insight into the relationship of these curvatures, and play a role in deriving certain analytic estimates for pluriclosed flow below. To start, we derive a basic relationship between the Chern and Bismut curvatures of an arbitrary Hermitian metric. NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 21

Lemma 3.22. Given (M 2n,g,J) a Hermitian manifold, then in any local complex coordinate chart one has ∂T = (ΩC ) + (ΩB) + T gβαT , ijkl − ikjl jlik jαk lβi where T = √ 1∂ω is the torsion of the Chern connection. − − Proof. Fix some local complex coordinates, and let Γ denote the associated Chern connection coefficients. It follows from Definition 2.1 that B∂ = Γl ∂ , B∂ = T gkl∂ . ∇i j ji l ∇i j ikj l Using this, we derive and identity relating the Λ1,1 Λ1,1 part of the Bismut curvature and the Chern curvature: ⊗ (ΩB) = g( B B∂ B B∂ , ∂ ) ijkl ∇i ∇j k −∇j ∇i k l = (ΩC ) + C T + T p T T gqpT kjil ∇i jlk ik jlp − ipl jqk = (ΩC ) + (ΩC ) (ΩC ) + T p T T gqpT . kjil ilkj − ijkl ik jlp − ipl jqk Using this we furthermore obtain ∂T = ∂ T ∂ T ijkl k ijl − l ijk = g g g + g jl,ik − il,jk − jk,il ik,jl = (ΩC ) + (ΩC ) + (ΩC ) (ΩC ) − ikjl jkil iljk − jlik + gqpg g gqpg g gqpg g + gqpg g jq,i pl,k − iq,j pl,k − jq,i pk,l iq,j pk,l q = (ΩC ) + (ΩC ) + (ΩC ) (ΩC ) + T T − ikjl jkil iljk − jlik kl ijq q = (ΩC ) + (ΩB) T αT + T gβαT + T T − ikjl jlik − ji lkα jαk lβi kl ijq = (ΩC ) + (ΩB) + T gβαT , − ikjl jlik jαk lβi as required. Proposition 3.23. Given (M 2n,g,J) pluriclosed, one has (ΩB) = (ΩC ) T gqpT . ijkl klij − ipl jqk Proof. This follows from Lemma 3.22, using that ∂T = 0 since g is pluriclosed. Next we compute the Λ2,0 Λ1,1 component of the Bismut curvature. ⊗ Proposition 3.24. Given (M 2n,g,J) pluriclosed, one has (ΩB) = C T . ijkl ∇k ijl Proof. We first note that as a consequence of the Bianchi identities for a general Hermitian metric one has (ΩB) = C T C T + T λT T λ T + T λ T . ijkl ∇i kjl −∇j kil ij kλl − ik jλl jk iλl Since we know that the Chern torsion is given by T = √ 1∂ω, we have the identity − − ∂Tijkl =0. This can be rewritten in terms of the Chern connection as C T C T + C T + T p T + T p T T p T =0. ∇i jkl −∇j ikl ∇k ijl ij pkl jk pil − ik pjl 22 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

Combining this with the first equation of the proof then yields the claim. Next we give an explicit computation of the Chern connection for the generalized Hermit- ian metric associated to a given pluriclosed metric. The following result gives an alternative proof of the identification of connections from Proposition 3.21. Furthermore, we will use these formulae in relating analytic estimates for G and g along pluriclosed flow below. In the statement below we choose zi local complex coordinates with associated coordinate ∂ i { } 1,0 basis i and cobasis dz . Together these form a basis for T T ∗ , referred to as { ∂z } { } ⊕ 1,0 ∂ Zi = , W i = dzi. ∂zi

Lemma 3.25. Let (M,g0,J) be a pluriclosed manifold. Consider the associated orthogonal holomorphic vector bundle = √ 1∂ω0 as in Definition 3.4, and a generalized Hermitian Q Q − C metric G = G(ω, β) as in Proposition 3.21. Then the Chern connection G of G is expressed in local complex coordinates as ∇ Zb cb cb qp Γ a = g g √ 1g g β T , iZ ac,i − − ap qci W b C qp cm Γ a = β + g g β β T , iZ ∇i ab ap bm qci Zb cb qa Γ a = g g T , iW − qci W b qa qa cm Γ a = g g √ 1g g β T . iW − bq,i − − bm qci i ∂ i Proof. Choose some local coordinates z on M, with associated basis eA = ∂zi , dz . { } 1,0 { } { } Before we begin computing, we first define a section of T ∗ End(T T ∗ ) by the following. 0,1 ⊗ ⊕ 1,0 0 0 0 X 0 i∂i (X + ξ)= 0 = T (X, ∂i, ). T T ( , ∂i, ) 0 ξ · · · 1,0 Using this, we can write the twisted-∂ of an arbitrary section s of T M T1∗,0 in the following 0 ⊕ way (denoting the usual ∂ by ∂ ), 0 ∂s = ∂ s + 0(s). T Thus we apply metric compatibility of the Chern connection to derive ∂ G(e , e )= G(( C ) e , e )+ G(e , i ∂e ) i A B ∇G i A B A ∂i B 0 = ΓP G + G(e , i (e )) iA P B A ∂i T B 0 = ΓP G +( )P G . iA P B T iB AP Rearranging gives 0 ΓB = GP B(G ( )Q G ), iA AP,i − T iP AQ which, together with the explicit form of G, yields the lemma.

Proposition 3.26. Let (M,g0,J) be a pluriclosed manifold. Consider the associated or-

thogonal holomorphic vector bundle = √ 1∂ω0 as in Deﬁnition 3.4, and a generalized Q Q − C Hermitian metric G = G(ω, β) as in Proposition 3.21. Then the Chern curvature ΩG of the Hermitian metric G has coeﬃcients √ 1β C √ 1β B ml B l e− − (Ω ) (e − ∂ )= (Ω ) g ∂ (Ω ) dz , G ij k kmij l − klij √ 1β C √ 1β k cl qk B qk B l e− − (Ω ) (e − dz )= g g Ω ∂ g (Ω ) dz . G ij qcji l − lqij NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 23

Proof. Fix p M. Since the computation is local without loss of generality we can conjugate by a locally deﬁned∈ holomorphic (2, 0) form to assume that β(p) = 0. We begin by computing G C the curvature operator Ω := ΩG acting on sections of the tangent bundle. The following G C computations make use of Lemma 3.25 which gives the connection coeﬃcients of := G in holomorphic coordinates: ∇ ∇ (ΩG) ∂ = G G∂ G G∂ ij k ∇i ∇j k −∇j ∇i k G 0 l G Zl W l l = (T dz ) (Γ k ∂ +Γ k dz ) −∇i klj −∇j iZ l iZ 0 l 0 Zl 0 W l l Zl Zp 0 l W l l = T dz T Γ p ∂ T Γ p dz Γ ∂ +Γ k T dz Γ dz − klj,i − kpj iW l − kpj iW − iZk,j l iZ plj − iZk,j 0 Zl Zl 0 0 W l Zp 0 W l l = [ T Γ p Γ ]∂ + [ T T Γ p +Γ k T Γ ]dz − kpj iW − iZk,j l − klj,i − kpj iW iZ plj − iZk,j = [(ΩC )l √ 1β gsrgplT gslgrpT T 0 ]∂ [ C T ]dzl ijk − − kr,j psi − sri kpj l − ∇i klj = [(ΩC )l gsrgplT (√ 1β + T 0 )]∂ [ C T ]dzl ijk − psi − kr,j krj l − ∇i klj = [(ΩC )l gsrgplT T ]∂ [ C T ]dzl ijk − psi krj l − ∇i klj = (ΩB) gml∂ (ΩB) dzl, kmij l − klij where the last line follows from Propositions 3.23 and 3.24. We proceed similarly for the curvature operator acting on sections of the cotangent bundle.

G k G Zl W l l (Ω ) dz = (Γ k ∂ +Γ k dz ) ij −∇j iW l iW Zl Zl G W l l = Γ ∂ Γ k ∂ Γ dz − iW k,j l − iW ∇j l − iW k,j Zl Zp 0 W l l = [ Γ ]∂ + [Γ k T Γ ]dz − iW k,j l iW plj − iW k,j = [gclgqk C T ]∂ + [ gcpgqkT T 0 (ΩC )k + √ 1gqkgcp∂β T ]dzl ∇j qci l − qci plj − ijl − lpj qci = [gclgqk C T ]∂ + [ (ΩC )k + gqkgcpT (√ 1∂β + T 0 )]dzl ∇j qci l − ijl cqi − lpj lpj = [gclgqk C T ]∂ [(ΩC )k gqkgcpT T ]dzl ∇j qci l − ijl − cqi plj = gclgqkΩB ∂ gqk(ΩB) dzl, qcji l − lqij where again we applied the results of Propositions 3.23 and 3.24.

4. Slope stability criteria for Bismut Hermitian-Einstein metrics In this section we discuss necessary conditions for the existence of a Bismut Hermitian- Einstein metric in relation to slope stability for the associated holomorphic Courant algebroid. First in §4.1 we recall fundamental points of Hermitian-Einstein metrics on holomorphic vector bundles. Then in §4.2 we explain how Bismut Hermitian-Einstein metrics are in fact Hermitian-Einstein metrics on the relevant holomorphic Courant algebroid, leading to slope stability obstructions to existence. Finally in §4.3 we derive concrete obstructions in terms of holomorphic maps from the underlying complex manifold, yielding explicit families in all dimensions of manifolds with vanishing ﬁrst Chern class but no Bismut Hermitian- Einstein metric.

4.1. Hermitian-Einstein metrics and slope stability. 24 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

Definition 4.1. Let (M 2n,g,J) be a Hermitian manifold and suppose ( , h) M denote a holomorphic vector bundle with Hermitian metric h and associated ChernE connection→ h. The second Ricci curvature is ∇ Sh := √ 1tr Ωh End(E). g − ω ∈ The existence of metrics with vanishing second Ricci curvature curvature, or more generally Hermitian-Einstein metrics, is goverened by slope stability criteria as in the Donaldson- Uhlenbeck-Yau Theorem [21, 66] and its extensions to Hermitian manifolds (see [15, 42, 43]). To state the precise result which we will use, let us recall first some basic definitions. Given r a coherent sheaf of M -modules over M, the determinant det := ((Λ )∗)∗, where r denotes the rankF of ,O is a holomorphic line bundle over M. GivenF now anF Aeppli class n 1,n 1 F a H − − , we can define the slope of by ∈ A F c (det ) a µ ( )= 1 F · . a F r 1,1 where c1(det ) HBC (M) is the first Chern class of det , regarded an element in the Bott-Chern cohomologyF ∈ of M. Here we use the standard dualityF pairing 1,1 n 1,n 1 H H − − C. BC ⊗ A → Definition 4.2. Let (M,J) be a compact complex manifold endowed with an Aeppli class n 1,n 1 a HA− − . A holomorphic vector bundle over M is a-stable if for any subsheaf one∈ has E F⊂E µ ( ) <µ ( ). a F a Q We say that is a-polystable if it is a direct sum of a-stable bundles with the same slope. E The relation between slope stability and the Hermitian-Einstein equation is provided by the following important result (cf [43]): Theorem 4.3. Let (M,J) be a compact complex manifold. Let ω˜ be a Gauduchon Hermitian n 1 n 1,n 1 metric on M with Aeppli class a = [˜ω − ] HA− − . A holomorphic vector bundle over (M,J) admits a Hermitian metric h solving∈ the Hermitian-Einstein equation E h Sg =2πµa( ) Id E E if and only if is a-polystable. E 4.2. Bismut Hermitian-Einstein metrics and slope stability of . The theory of Hermitian-Einstein metrics implies obstructions to the existence of Bismut Hermitian-EinsteinQ metrics. The fundamental point in our discussion is that the Hermitian Yang-Mills curvature of a generalized metric G on √ 1∂ω is completely determined by the Bismut Ricci curvature of the associated HermitianQ metric− g on M. We make this concrete below.

Proposition 4.4. Let (M,g0,J) be a pluriclosed manifold. Consider the associated orthogonal holomorphic vector bundle = √ 1∂ω0 as in Definition 3.4. Consider a generalized Q Q − C Hermitian metric G = G(ω, β) as in Proposition 3.21. Then the Chern connection G of the Hermitian metric G, defined as in (3.16) satisfies ∇ 1 1,1 1 0,2 1 G √ 1β g− ρB g− ρB g− Sg = √ 1(e − )∗ − 2,0 1,1 1 . − ρ ρ g− B − B NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 25

Consequently, g is Bismut Hermitian-Einstein if and only if G is Hermitian-Einstein with respect to g, that is, if and only if G Sg =0. C Proof. This follows by taking the trace of the formula for ΩG in Proposition 3.26. Alterna- tively, this follows from Proposition 3.20, since SG = √ 1tr ΩC g − ω G √ 1β = √ 1(e − )∗ψ trω R− − ∗ √ 1β 1 = √ 1(e − )∗ψ g− ρB, − − ∗ where for the last identity we have used Proposition 2.3 to conclude 2n 2n 1 1 1 B 1 (tr R−)X = R−(e , Je )X = g− R (X, , Je , e )= g− ρ (X). ω 2 i i − 2 · i i − B j=1 j=1 X X 1,0 Finally, given X + ξ T T ∗ , we calculate ∈ ⊕ 1,0 1 1 1 1,1 2,0 (ψ g− ρB)(X)= ψ(g− ρB(X)) = g− ρB (X) ρB (X) ∗ − 1 1 1 1,1 1 1 0,2 1 (ψ g− ρB)(ξ)= ψ(g− ρBg− ξ)= ρB g− ξ g− ρB g− ξ. ∗ − − As a straightforward consequence of Theorem 4.3 and Proposition 4.4 we obtain the following necessary condition to the existence of a pluriclosed Bismut Hermitian-Einstein metric. n 1 Corollary 4.5. Let (M,g,J) be a pluriclosed Hermitian manifold. Denote by a = [˜ω − ] n 1,n 1 ∈ HA− − the Aeppli class of the unique Gauduchon metric ω˜ in the conformal class of ω, n n such that X ω˜ = X ω . Consider the associated orthogonal holomorphic vector bundle = √ 1∂ω as in Deﬁnition 3.4. Assume that the metric g is Bismut Hermitian-Einstein. Then,Q Q for− anyR subsheafR one has F ⊂ Q (4.1) µ ( ) 0, a F ≤ with equality only if splits holomorphically. Q Proof. The proof is an easy consequence of Proposition 4.4 and Theorem 4.3, after noting that 1,1 satisﬁes c1( )=0 HBC (M), since det admits a canonical holomorphic trivialization Qinduced by theQ holomorphic∈ pairing. Q Remark 4.6. The holomorphic Courant algebroid has a natural orthogonal structure. Thus, by general theory, in the previous result we canQ restrict to isotropic subsheaves, that is such that , = 0, in order to measure the slope inequality (4.1) (see [12]). F ⊂ Q hF Fi As observed in Remark 3.9, the holomorphic structure on √ 1∂ω is determined up to Q1,1− isomorphism by the Aeppli class of the pluriclosed metric [ω] HA . In general, the stability condition depends in a intricate way on the Bismut Hermitian-Einstein∈ pluriclosed metric. This is due to the fact that the map n 1 n 1,n 1 ω a = [˜ω − ] H − − (M) 7→ ∈ A is typically a complicated function in the space of pluriclosed metrics. In the special case of 1,1 complex surfaces n = 2, this map only depends on the Aeppli class [ω] HA , and is just the identity map. ∈ 26 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

4.3. Obstructions to Bismut Hermitian-Einstein metrics. In the following we will see that we can obtain some more concrete implications of Corollary 4.5 for the existence of pluriclosed Bismut Hermitian-Einstein metrics. In particular, our next result provides a clean obstruction to the existence of such metrics on a compact complex manifold. For this, we exploit the fact that any exact holomorphic Courant algebroid has a canonical isotropic subsheaf, given by the holomorphic cotangent bundle π∗ T ∗ . 1,0 −→ Q n 1,n 1 n 1 We will say that an Aeppli class a HA− − (M) is positive if a = [˜ω − ], for some Gauduchon metricω ˜ on M. ∈ Theorem 4.7. Let (M,J) be a compact connected complex manifold. Assume that M admits a pluriclosed Hermitian metric g which is Bismut Hermitian-Einstein. Then, there exists a n 1,n 1 positive Aeppli class a HA− − (M) such that, for any complex manifold Z and any holomorphic map f : M ∈ Z such that df is surjective at one point, one has → f ∗c (Z) a 0 1 · ≥ Furthermore, for Z =(M,J) and f = Id, c (M) a> 0 unless g is K¨ahler. 1 · Proof. Let g as in the statement and consider the holomorphic Courant algebroid := n 1 Q √ 1∂ω. Let a = [˜ω − ] be the Aeppli class of the associated (normalized) Gauduchon Qmetric− ω ˜. By Corollary 4.5, the holomorphic vector bundle underlying is a-polystable. Q 1,0 Let f : M Z be as in the statement. Then, the diﬀerential df : T1,0 T Z induces a morphism → → π∗ f ∗T ∗ Z T ∗ . 1,0 −→ 1,0 −→ Q Since df is surjective at one point, by Sard’s Theorem there exists a dense open subset R Z of regular values of f. Using that M is connected and that f is holomorphic, it follows⊂ that 1 f − (R) M is also dense (in fact, the complement is an analytic subspace of codimension 1). Hence,⊂ the previous morphism induces a subsheaf ≥ . ֒ f ∗T ∗ Z 1,0 → Q The inequality of slopes (4.1) now gives

0 c (f ∗T ∗Z) a = f ∗c (Z) a. ≥ 1 · − 1 · As for the last part, if c1(M) a = 0 then by Proposition 4.4 and Corollary 4.5 we have a 1,0· holomorphic splitting = T T ∗ and hence ∂ω = 0. Q ⊕ 1,0 Remark 4.8. An alternative proof of the last part of Theorem 4.7 can be obtained as a consequence of a result of Gauduchon [29]. For instance, ρB = 0 implies that the Chern scalar is non-negative and bigger than zero at some point if g is non-Kähler (see Proposition 2.5). From this, it follows that c1(M) a 0 with equality only if g is Kähler (see [27, Proposition 8.30]). · ≥ We next obtain a more concrete criteria derived from Theorem 4.7. Corollary 4.9. Let f : (M,J) Z be a holomorphic map of compact connected complex → manifolds. Assume that df is surjective at some point and that Z is Kähler with c1(Z) < 0. Then M does not admit a Bismut Hermitian-Einstein pluriclosed metric. NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 27

Proof. By Aubin-Yau’s Theorem there exists a K¨ahler-Einstein metric ωZ on Z with negative n 1 n 1,n 1 scalar curvature, that is, such that ρZ = ωZ . Let a = [˜ω − ] HA− − (M) be a positive Aeppli class on M. Then − ∈

n 1 f ∗c (Z) a = f ∗ω ω˜ − . 1 · − Z ∧ ZX By hypothesis there exists x M such that f is a submersion, and hence, arguing as in the proof of Theorem 4.7, the preimage∈ of the set of regular values is open and dense. On this n 1 locus f ∗ω ω˜ − > 0, and hence f ∗c (Z) a< 0. Z ∧ 1 · As a consequence of Corollary 4.9 we obtain examples of compact pluriclosed manifolds 2n 2 (M ,J) with c1(M)=0 H (M, Z) which do not admit a Bismut Hermitian-Einstein metric. To the knowledge∈ of the authors, this is the first class of such examples in the literature for dimension n 3 (the case n = 2 is settled by [28]). In order to present our examples we start with some≥ general discussion of principal bundles over complex manifolds. Let Z be a Kähler manifold. Let T = Cn/Λ be an n-dimensional complex torus. Let δ : H1(T, Z) H2(Z, Z) → be an homomorphism of Z-modules such that c1(Z) Im δ. We can identify δ with c H2(Z, Z) Λ, and hence it determines a topologically non-trivial∈ principal T -bundle π : M ∈ Z with characteristic⊗ class c. Assuming further that Im δ H1,1(Z), M can be endowed with→ ⊂ 2 a holomorphic structure. The first Chern class satisfies c (M) = π∗c (Z) H (M, Z) and 1 1 ∈ hence it vanishes because c1(Z) Im δ [38]. Furthermore, M is non-Kähler by Blanchard’s Theorem. ∈ Example 4.10. Consider the case that Z is a compact connected Riemann surface with genus 2, and hence c1(Z) < 0. Let π : M Z be a non-trivial principal T -bundle over ≥ → 1,1 M. By dimensional reasons the condition c1(Z) Im δ H (Z) is always satisfied, and hence c (M)=0 H2(M, Z). Choose a principal∈ connection⊂ θ = (θ ,...,θ ) on M and 1 ∈ 1 2n define a T -invariant complex structure on M by Jθ2j 1 = θ2j. Choose a Kähler metric ωZ on Z and consider the Hermitian form − n

ω = π∗ωZ + θ2j 1 θ2j. − ∧ j=1 X Then, we have n c c dd ω = d π∗Fθ2j−1 θ2j θ2j 1 p∗Fθ2j =0 − ∧ − − ∧ j=1 ! X by dimensional reasons, where Fθj denotes the curvature of θj. Therefore, M is a pluriclosed manifold with vanishing ﬁrst Chern class. Applying now Corollary 4.9, we conclude that M does not admit a Bismut Hermitian-Einstein metric.

Example 4.11. Let Z be an algebraic complex surface with c1(Z) < 0 and let T = C/Λ. By the Aubin-Yau Theorem we have ωZ a K¨ahler-Einstein metric on Z with negative scalar 2 2 curvature and [ωZ] H (Z, Z). Choose α a primitive (1, 1)-form with [α] H (Z, Z), and deﬁne δ so that its image∈ is spanned by ∈ δ = [ω ]= c (Z), δ = [α]. 1 − Z 1 2 28 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

On the corresponding T -bundle we can choose a connection θ =(θ1, θ2) with curvature

√ 1 − F =( ω ,α), 2π θ − Z and a T -invariant complex structure such that Jθ1 = θ2. For any u C∞(Z) we deﬁne the u ∈ Hermitian metric ω = π∗e ω + θ θ . Then, a direct calculation shows that [35] Z 1 ∧ 2 c u 2 2 2 dd ω = π∗(∆(e )ω α ω ), Z − − Z and hence the existence of a pluriclosed metric reduces to solve

[ω ]2 = [α] [α] N. Z − · ∈ 3 Taking ι: Z ֒ P a degree d 5 projective hypersurface, we have c1(Z)=(4 d)ι∗H, for H the hyperplane→ class, and we≥ obtain the condition −

(d 4)2 = [α] [α] − − · 2 Z Zd(d(d 4)+6) 2 for a primitive (1, 1)-class [α]. We have H (Z, ) ∼= − − and, assuming that d is odd, the intersection pairing is given by the standard symmetric bilinear form with signature (d 2)d(d +2)/3. Using Hirzebruch’s formula for the Hodge numbers of projective hyper- −surfaces− to calculate h1,1(M), one can prove that such a class always exists. For example, 2 Z Z53 1,1 taking d = 5 one has H (Z, ) ∼= , h (M) = 45, and signature 35. Therefore, there exists a 36-dimensional subspace of primitive (1, 1)-classes, and hence− there is a primitive (1, 1)-class [α] with [α] [α]= 1. · −

5. Pluriclosed flow In this section we turn to understanding the implications of Sections 3 and 4 for pluriclosed flow. As explained in the introduction, a solution to pluriclosed flow is a one-parameter family of pairs (ωt, βt) on a complex manifold solving ∂ ∂ ω = ρ1,1, β = ρ2,0. ∂t − B ∂t − B As a preliminary step we discuss an adaptation of the Schwarz Lemma to the setting of holomorphic Courant algebroids. Given this, our first main task is to reinterpret pluriclosed flow as an evolution equation for the associated generalized Hermitian metrics Gt (cf. Propo- sition 5.5). We use this to derive natural evolution equations for quantities measuring Gt against some background choice of Hermitian metric on the associated holomorphic Courant algebroid, which is achieved using the Schwarz Lemma. Next, in §5.3 we give the proof of Theorem 1.2 using a priori estimates derived from the evolution equations for Gt adapted to the case of a Bismut flat background. Building on this we derive the consequences for generalized Kähler geometry in §5.4. In §5.5 we prove Theorem 1.3. The key point is to use that such surfaces are finitely covered by holomorphic principal T 2-bundles. Using this structure we obtain partial estimates for Gt by applying the Schwarz Lemma to the projection map of the fibration. Using this partial estimate and then exploiting special properties of the Bismut curvature of a choice of invariant background metric yields the global existence. NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 29

5.1. Schwarz Lemma. In this section we prove various useful formulae derived from the Schwarz Lemma for holomorphic sections on a holomorphic vector bundle. Let be a holomorphic vector bundle over a complex manifold (M,J). We ﬁx a Hermitian metricW g on M and deﬁne the Chern Laplacian on functions f C∞(M) by ∈ n 1 n√ 1∂∂f ω − ∆f := − ∧ = tr (√ 1∂∂f). ωn ω − Given a holomorphic section w H0(M, ), the classical Schwarz Lemma states that ∈ W (5.1) ∆ w 2 = C w 2 Shw,w | |h |∇h |g,h − g h C C 2 for any choice of Hermitian metric h on with Chern connection h . Note that h w g,h is calculated using the background HermitianW metric g jointly with the∇ given Hermitian|∇ metric| on the bundle. We are interested in the application of formula (5.1) to the following general setup: Let π : M and π : N denote holomorphic vector bundles over complex manifolds ME andE →N respectively.F F Suppose → Φ : is a morphism of holomorphic vector bundles covering φ : M N, i.e. there is a commutativeE →F diagram → Φ EF πE πF φ MN.

Given such a map, there is a tautological holomorphic section of ∗ φ∗ which, by abuse of notation, we denote also E ⊗ F 0 Φ H (M, ∗ φ∗ ). ∈ E ⊗ F Furthermore, any pair of Hermitian metrics G and G on and , respectively, induce a 1 E F Hermitian metric G− G on ∗ φ∗ . Observe that, for any choice of frames on and , one has ⊗ E ⊗ F e E F 2 α γ jk e Φ −1 =(φ∗G˜ )Φ Φ G . | |G ,G˜ αγ j k −1 e Furthermore, the induced Chern connection C,G ,G acts on Φ, deﬁning a tensor A(G, G, Φ) by ∇

−1 e e C,G ,G C,G C,G e (5.2) A(e)=( Φ)(e)= φ∗ (Φe) Φ( e). ∇ ∇ − ∇ for any smooth section e of . As a direct application of (5.1) we obtain the following: E Lemma 5.1. Let M and N denote holomorphic vector bundles over complex manifolds M and NE →respectively,F and → suppose Φ: is a holomorphic map of vector bundles covering φ : M N. Given g a HermitianE metric →F on M, G a Hermitian metric on → and G a metric on , one has E F 2 2 G G˜ ∆ Φ −1 ˜ = A −1 e + Φ Sg φ∗Sg Φ, Φ . e | |G ,G | |g,G ,G ◦ − ◦ G−1,G˜ D E We next apply next Lemma 5.1 to various situations of our interest. The simplest case is to apply it to the identity map of a ﬁxed holomorphic vector bundle. We note that in this −1 e case the tensor A = C,G ,GΦ is the diﬀerence of two Chern connections, and we use some more common notation∇ for this: 30 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

Definition 5.2. Given G, G Hermitian metrics on a holomorphic vector bundle over M, let E C C Υ(e G, G) := e T ∗ End( ). ∇G −∇G ∈ 1,0 ⊗ E denote the difference of the associated Chern connections. When taking the norm of Υ, we require a metric on T ∗ as well ase one on and ∗. These choices will be denoted explicitly 1,0 E E as subscripts, using possibly a given metric and its inverse on both and ∗ if it is not explicitly indicated. E E Lemma 5.3. Let M be a holomorphic vector bundle over a complex manifold M. Given E → g a Hermitian metric on M and G and G Hermitian metrics on , one has that E ˜ 2 G G˜ ∆(trG G)= Υ(G, G) −1 e + trG Sg Sg , . | |g,Ge ,G − · · G˜ Proof. It follows from Lemma 5.1, setting M = N, D= , and Φ = Id.E e E F We next consider specifically the case of generalized Hermitian metrics on exact holomorphic Courant algebroids, as in Proposition 3.21.

Lemma 5.4. Let (M,g0,J) be a pluriclosed manifold. Consider the associated orthogonal holomorphic vector bundle = √ 1∂ω0 as in Deﬁnition 3.4, and a generalized Hermitian Q Q − metric G = G(ω, β) as in Proposition 3.21. Choose an arbitrary Hermitian metric G on . Then, one has that Q e ˜ 2 G G e ∆(trG G)= Υ(G, G) −1 e + trG Sg Sg , . | |g,G ,G − · · G˜ D E Furthermore, provided that we take Ge= G(ω0, 0), one also has that 1 ψ− Υ(G, G) ψg =(ϕg0,g,β) − − g0 ◦ ◦ e ·∇g −∇g0 ˜ 2 trG G = tr ˜ G = trg g0 + trg0 g + β e G | |g,g0 where ψ , ψ are as in Section 3.3, and (ϕ ) − denotes the action on − of the g g0 g0,g,β ·∇g ∇g complex gauge transformation ϕ End(T M C), given by g0,g,β ∈ ⊗ 1,0 1 0,1 1,0 ϕ (X)= X + g− (gX + √ 1βX ). g0,g,β 0 − Proof. The ﬁrst part of the statement is a special case of Lemma 5.3. Assuming now G = G(ω0, 0) and setting G′ = G(ω, 0), one has that √ 1β 2 jk jk lm jk 2 e tr G˜ = e− − ′−1 =(g ) g + g g + g g β β = tr g + tr g + β . G | |G ,G˜ 0 jk jk 0 0 jl km g 0 g0 | |g,g0 Finally, using Proposition 3.21, one has that √ 1β C C Υ(G, G)=(e − )∗ ′ e ∇G −∇G √ 1β =(e− − ψg) g− (ψg0 ) g−0 e ◦ ∗∇ − ∗∇ 1 √ 1β 1 = ψ ((ψ− e− − ψ ) − − ) ψ− g0 ◦ g0 ◦ ◦ g ·∇g −∇g0 ◦ g0 and also that 1 √ 1β 1 √ 1β 1,0 0,1 ψ− e− − ψ (X)= ψ− e− − (X gX ) g0 ◦ ◦ g g0 ◦ − 1 1,0 0,1 1,0 = ψ− (X gX √ 1βX ) g0 − − − 1,0 1 0,1 1,0 = X + g− (gX + √ 1βX ). 0 − NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 31

5.2. Pluriclosed ﬂow and holomorphic Courant algebroids.

2n Proposition 5.5. Given (M ,ωt, βt,J) a solution to pluriclosed ﬂow, the associated family of generalized Hermitian metrics Gt on √ 1∂ω0 satisﬁes Q −

1 ∂ G G− G = S . ∂t − g Proof. Fix p M and t > 0. Conjugating by a constant B-ﬁeld transformation we may ∈ assume without loss of generality that βt(p) = 0. Given this setup, using Proposition 3.21 and Proposition 4.4 we can compute that

1 1 1 1 ∂ G(X + ξ,X + ξ)= ∂ g(X, X) ∂ g(g− ξ, g ξ)+ √ 1g− (∂ β(X), ξ) √ 1g− (ξ, ∂ β(X)) t t − t − − t − − t 1 1 = √ 1∂ ω(X, X) √ 1∂ ω(g− ξ, g ξ) − − t − − t − 1 1 + √ 1∂ β(X,g− ξ) √ 1∂ β(X,g− ξ), − t − − t G 1 1,1 1 0,2 1 2,0 1,1 1 G(S (X + ξ),X + ξ)= √ 1G( g− ρ X + g− ρ g− ξ + ρ X ρ g− ξ,X + ξ) g − − B B B − B 1,1 0,2 1 = √ 1( ρ (X, X)+ ρ (g− ξ, X) − − B B 2,0 1 1,1 1 1 + ρ (X,g− ξ) ρ (g− ξ,g− ξ)) B − B 1,0 for any X + ξ T T1∗,0, where we have used that ∂tg = ∂tω(,J). Therefore, the family 1 ∂ ∈ ⊕G satisﬁes G− G = S if and only if ∂t − g ∂ ∂ ∂ ω = ρ1,1, β = ρ2,0, β = ρ0,2. ∂t − B ∂t − B ∂t − B

Using now that ρB is a real two-form, the statement follows. The Schwarz Lemma computations from Section 5.1 will help us derive useful evolution equations for measuring the metric along pluriclosed ﬂow.

2n Proposition 5.6. Fix (M ,ωt, βt,J) a solution to pluriclosed ﬂow, with Gt the associated family of generalized Hermitian metrics on √ 1∂ω0 . Given G a Hermitian metric on Q − √ 1∂ω0 , we have Q − e 2 ∂ Ge ∆ trG G = Υ(G,G) + trG Sg , . ∂t − − g,G−1,Ge · · Ge D E

Proof. Applying Lemma 5.4 we obtaine e

∂ 1 G tr G = tr G− S G ∂t G g G = tr S , e e G g · ·eG 2 e = ∆tr G Υ(G,G) + tr SG , , G − e G g e − g,G 1,G · · G D E as required. e e 32 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

2n Proposition 5.7. Fix (M ,ωt, βt,J) a solution to pluriclosed ﬂow, with Gt the associated

family of generalized metrics on √ 1∂ω. Given G a Hermitian metric on √ 1∂ω, we have Q − Q − 2 ∂ 2 2 ∆ Υ(G, G) = Υ g,Ge −1,G Υ+ T Υ −1 ∂t − g,G−1,G − |∇ | − ∇ · g,G ,G e e e e e + T ⋆ Υ ⋆ ΩG +Υ ⋆ Υ ⋆ ΩG +Υ ⋆ GΩG, ∇ where B T Υ = gklT ΥB . · ijA ikj lA 1 ∂ G Proof. As we have established the evolution equation G− ∂t G = Sg in the general setting here of twisted Courant algebroids in Proposition 5.5, the result− follows formally exactly as in [40, Proposition 3.3]. 5.3. Global existence and convergence on Bismut-flat backgrounds. In this subsection we will finish the proof of Theorem 1.2. The proof relies principally on the evolution equations for G derived above. Using the assumption of a background metric which is Bismut-flat, it is possible to remove the reaction terms in the heat equations of Propositions 5.6 and 5.7, leading directly to a priori estimates on G. These will then lead to full regularity and convergence of the pluriclosed flow. Before giving the proof we prove a technical lemma which clarifies that a priori estimates for G translate in a natural way to various a priori estimates for the associated pluriclosed metric ω and torsion potential β. Lemma 5.8. Suppose (M 2n,J) is a complex manifold, and suppose (ω, β) and (ω, β) are pluriclosed metrics on M such that the associated generalized Hermitian metrics G and G are defined on the same holomorphic Courant algebroid and satisfy e Q e 1 e Λ− G˜ G ΛG,˜ Υ(G, G˜) < Λ. ≤ ≤ g,G

Then there exists a constant A = A(n, Λ) such that

1 A− g g Ag, β e A, Υ(g, g) e A. ≤ ≤ | |g ≤ | |g ≤ Proof. By the assumed uniform equivalence of G and G˜ and their explicit expressions from e e e Proposition 3.21, it follows that for ξ Λ1,0 we have ∈ 1 1 1 1 1 Λ− g˜− (ξ, ξ)=Λ− G˜(ξ, ξ) G(ξ, ξ)= g− (ξ, ξ) ΛG˜(ξ, ξ)=Λ˜g− (ξ, ξ). ≤ ≤ This implies the claimed uniform equivalence of g and g. A similar argument using sections of the tangent bundle then yields the upper bound for β e. | |g To estimate the connection, we ﬁrst recall the computatione of the connection coeﬃcients in Lemma 3.25 G Zb cb qa cb qa (Υ ) a = g g T g˜ g˜ T˜ . iW qci − qci Taking norms and using the uniform equivalence of g and g and the estimate for Υ(G, G) we obtain T e C. e | |g ≤ e Now turning to the tangent-tangent component of ΥG from Lemma 3.25 we can express

g b G Zb cb qp cb qp (Υ ) = (Υ ) a √ 1g g β T + √ 1˜g g˜ β˜ T˜ . ia iZ − − ap qci − ap qci NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 33

We have estimated all terms on the right hand side of this equation, thus the estimate for Υ(g, g) follows.

Proof of Theorem 1.2. Let ωF denote the given Bismut-ﬂat metric, and let √ 1∂ωF denote Q − the holomorphice Courant algebroid associated to [∂ωF ]. Furthermore, let GF denote the

Hermitian metric on √ 1∂ωF associated to ωF via Proposition 3.21. Now given ω0 another Q − pluriclosed metric satisfying [∂ω ] = [∂ω ] H2,1, we can choose β Λ2,0 such that 0 F ∈ ∂ ∈ ∂β = ∂ω ∂ω . F − 0 Let G0 denote the metric associated to (ω0, β0) as in Proposition 3.21. By [57], there exists ǫ> 0 and a solution Gt to pluriclosed ﬂow with initial data G0 on [0, ǫ). Since ωF is Bismut- ﬂat, it follows from Proposition 3.20 that the Chern curvature of GF vanishes, and thus we obtain from Proposition 5.6 the evolution equations

∂ 2 (5.3) ∆ trG GF = Υ(GF ,G) −1 . ∂t − −| |g,G ,GF It follows from the maximum principle that, for any interval [0, T ] on which the solution exists,

sup trG GF sup trG GF . M [0,T ] ≤ M 0 × ×{ } We note that for two generalized Hermitian metrics G, G on a ﬁxed holomorphic Courant

algebroid it follows that trG G = trGe G (see Lemma 5.4). Thus there exists a uniform constant Λ > 0 so that for any time t one has e 1 (5.4) e Λ− G G ΛG . F ≤ t ≤ F Furthermore, let Υ = Υ(Gt,GF ) as in Deﬁnition 5.2. Again using that the Chern curvature of GF vanishes, It follows from Proposition 5.7 that

∂ 2 (5.5) ∆ Υ 2 = Υ 2 Υ+ T Υ . ∂t − | |g,G − |∇ |g,G − ∇ · g,G

It follows from the maximum principle that for any interval [0, T ] on which the solution exists, 2 2 sup Υ(G,GF ) g,G sup Υ(G,GF ) g,G . M [0,T ] | | ≤ M 0 | | × ×{ } Using Lemma 5.8 we thus obtain uniform equivalence and a C1 bound for the classical objects (ωt, βt). We can now argue as in [40, Theorem 1.2], there are uniform C∞ estimates for Gt and gt for all times. Thus the flow exists for all time, finishing the claim of long-time existence. To show convergence we first note that by putting together (5.3) and (5.5), and using the uniform equivalence estimate of (5.4), it follows that there is a constant A> 0 so that ∂ ∆ t Υ(G,G ) 2 + A tr G 0. ∂t − | F |g,G GF ≤ It follows from the maximum principle that for any time t> 0 one has

2 A supM 0 trGF G ×{ } (5.6) sup Υ(G,GF ) g,G . M t | | ≤ t ×{ } 34 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

Using the uniform C∞ estimates for G , every sequence of times t contains a t { j}→∞ subsequence which converges to a limiting metric G . By (5.6) it follows that Υ(G ,GF )= 0, and thus G is Chern-ﬂat. Choosing such a ﬂat limit∞ G , we can repeat the above∞ analysis ∞ ∞ with GF replaced by G . In particular, for a large time t such that Gt G G∞ ǫ, we have ∞ | − ∞| ≤

2n sup trG∞ G 2n + Cǫ ≤ M t ≤ ×{ } for some uniform constant C. These inequalities will be preserved for all times larger than t by (5.3), and then the convergence to G follows. ∞ 5.4. Contractibility of the space of generalized Kähler structures. In this subsection we prove Corollary 1.4, regarding generalized Kähler structures on Bismut flat manifolds. Key to our argument is the Poisson tensor 1 1 σ = 2 g− [I,J] associated to a generalized Kähler structure (g,I,J). The tensor σ was discovered by Pontecorvo-Hitchin [4, 48, 37], and was shown to be constant along a solution to generalized Kähler-Ricci flow in [33, Corollary 1.5]. 2n Proof of Corollary 1.4. Let (M ,ωF ,J) be a Bismut-flat manifold, and fix (g,I,J) a generalized Kähler structure on M such that [∂ω ] = [∂ω ] H2,1. By Theorem 1.2, the J F ∈ ∂ solution (gt,It,J) to generalized Kähler-Ricci flow with initial condition (g,I,J) exists for all time, and gt converges to a Bismut-flat metric. Using [27, Lemma 9.27] we can express the evolution equation for I as

∂ J I = Lθ♯ θ♯ I = ρB σ. ∂t I − J · As the evolution of Gt is determined by ρB and Gt is converging to a limit G , it follows ∞ that I will also converge to a smooth limit I as claimed. As It = φt∗I and It has uniform ∞ C∞ estimates, it follows that the diffeomorphisms φt also converge to a limit φ , and thus I is biholomorphic to I, as claimed. ∞ ∞ 5.5. Global existence on complex surfaces with κ 0. In this subsection we prove Theorem 1.3. A key point is to find a background metric with≥ certain curvature properties for 1,1 every choice of . To begin, we show that every class in HBC is represented by an invariant form. We buildQ on an observation of Teleman, which gives an explicit characterization of the failure of the ∂∂-lemma on compact complex surfaces. Lemma 5.9 ([63]). Let (M 4,J) be a compact complex surface, and let 1,1 1,1 1 BR = µ ΛR a ΛR = da . { ∈ | ∃ ∈ } Then there exists an exact sequence 0 1,1 0 √ 1∂∂ΛR BR R, → − → → where the final map is the L2 inner product with a pluriclosed metric. Lemma 5.10. Let (M 4,J) be a compact complex surface which is the total space of a holomorphic principal T 2-bundle. Given ω a pluriclosed metric on M there exists a T 2-invariant metric in [ω] H1,1. ∈ A NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 35

Proof. First chooseω ˆ a T 2-invariant pluriclosed metric on M, which always exists by averag- ing an arbitrary pluriclosed metric over the T 2-action. We first use this to show that every class in H1,1 admits T 2-invariant representatives. Now fix [φ] H1,1 . We can define BC ∈ BC

φˆ := g∗φ. g T 2 Z ∈ ˆ 2 ˆ 1,1 The form φ is T -invariant, and to show that [φ] = [φ] HBC , it suffices by a standard chain-homotopy argument to show that for X any vector field∈ tangent to the T 2-action, one 0 2 has LX φ √ 1∂∂ΛR. By Lemma 5.9, it suffices to show that the L inner product withω ˆ vanishes.∈ Using− Stokes Theorem and the Cartan formula we compute

L φ, ωˆ = L φ ωˆ = L (φ ωˆ)= di (φ ωˆ)=0, h X iωˆ X ∧ X ∧ X ∧ ZM ZM ZM as required. Now knowing this, we assume thatω ˆ is the average of ω over the T 2-action, and 1,1 show that [ˆω] = [ω] HA . It suffices to prove that the infinitesimal action preserves Aeppli ∈ 1,1 cohomology classes, and for this we use that integration gives a perfect pairing between HA 1,1 1,1 2 ˆ and HBC . Thus we fix [φ] HBC with a T -invariant representative φ, and integrate by parts to conclude ∈

L ω φˆ = ω d(i φˆ)= ω L φˆ =0, X ∧ − ∧ X − ∧ X ZM ZM ZM as required. Next we record a key lemma computing the Bismut curvature tensor of a T 2-invariant pluriclosed metric. Such invariant metrics are described by the Kaluza-Klein ansatz (cf. [55, Deﬁnition 5.1]), and the curvature computation below is implicit in [55, Proposition 5.12]. Lemma 5.11. Let (M 4,J) be a compact complex surface which is the total space of a holomorphic principal T 2-bundle over a Riemann surface Σ. Let ω denote a T 2-invariant pluriclosed metric on M, expressed as

ω = π∗ω + tr µ Jµ, Σ h ∧ where ωΣ is a metric on Σ, µ + Jµ is a Hermitian connection, and h is an inner product on t2. Then B 1 2 Ω = Rω Fµ π∗ωΣ π∗ωΣ + h (d trω Fµ, ) π∗ωΣ. 2 Σ −| |gΣ,h ⊗ Σ · ⊗ Proof of Theorem 1.3. Fix (M 4,J) a minimal compact complex non-Kähler surface of Ko- daira dimension κ 0. It follows from the Kodaira classification of surfaces (cf. [67] §7) that M must be an≥ elliptic fibration, with only multiple fibers. In particular, it follows that there exists a finite cover of M which admits a holomorphic principal T 2 action, and it suffices to show global existence on such manifolds. In particular we suppose π : M 4 Σ is a holomorphic T 2-bundle over a compact Riemann surface Σ where χ(Σ) < 0 if κ =→ 1 and χ(Σ) = 0 if κ = 0. 2 Fix ω0 a pluriclosed metric on M. By Lemma 5.10, there exists a T -invariant metric ωˆ = π∗ω + tr µ Jµ [ω ]. We can modify the metric on Σ so that R is constant, Σ h ∧ ∈ 0 Σ and by Hodge theory further modify the principal connection µ to assume that trωΣ Fµ is constant. These changes preserve the associated Aeppli cohomology class on M and so we assume without loss of generality thatω ˆ satisfies these conditions. The metricω ˆ defines 36 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS ˆ a holomorphic Courant algebroid √ 1∂ωˆ together with a generalized Hermitian metric G. Q − Now by construction we can choose β Λ2,0 such that ∈ ∂β = ∂ωˆ ∂ω . − 0 Let G0 denote the metric associated to (ω0, β0) as in Proposition 3.21. By [57], there exists ǫ> 0 and a solution Gt to pluriclosed flow with initial data G0 on [0, ǫ). We first obtain a partial estimate on the metric using the fibration structure and the Schwarz Lemma. The holomorphic Courant algebroid comes equipped with a natural 1,0 Q holomorphic projection map onto TM which we denote π . We furthermore obtain from 1,0 Q1,0 the fibration structure the holomorphic map dπ : TM TΣ . Composing these yields the →1,0 holomorphic map of vector bundles Φ = dπ π : TΣ . It follows from the construction and Proposition 3.21 that ◦ Q Q→ 2 Φ = tr π∗ω . | |G,gΣ ω Σ Furthermore, using Lemma 5.1 (where A = A(G,gΣ, Φ) is defined by (5.2)) we obtain

∂ ∂ 2 tr π∗ω = Φ ∂t ω Σ ∂t | |G,gΣ G = Φ Sg , Φ −1 ◦ G ,gΣ 2 2 gΣ = ∆ g Φ −1 A −1 + Sg Φ, Φ −1 | |G ,gΣ −| |g,G ,gΣ ◦ G ,gΣ 2 1 2 = ∆ tr π∗ω A −1 + R (tr π∗ω ) . g ω Σ −| |g,G ,gΣ 2 Σ ω Σ Note that by construction RΣ is constant, either 2 or 0 depending on whether κ = 1 or 0. By the maximum principle we conclude for any smooth− existence time T > 0 the estimate 1 1 − (5.7) sup trω π∗ωΣ C + 2 RΣ T . M T ≤ | | ×{ } We next establish the uniform equivalence of the metrics Gt along the ﬂow. Combining Proposition 5.6 with Proposition 3.20, the curvature computation of Lemma 5.11, and the estimate (5.7) we obtain for a topological constant λ,

∂ 2 e ∆ tr Gˆ = Υ(G, Gˆ) + tr SG , G − G g e ∂t − − g,G 1,Gˆ · · G 2 D E ˆ = Υ(G, G) + trG trg (λπ∗ωΣ ψ π∗ωΣ) , Gˆ − g,G−1,Gˆ h ⊗ ∗ · ·i

C (tr π∗ω )tr Gˆ ≤ g Σ G C tr G.ˆ ≤ G By the maximum principle we conclude CT sup trG Gˆ e . M T ≤ ×{ }

This implies that Gt and Gˆ are uniformly equivalent on any compact time interval, and from Proposition 5.7 we conclude ∂ 2 2 ∆ Υ(G, Gˆ) C 1+ Υ(G, Gˆ) . ∂t − g,G−1,G ≤ g,G−1,G

NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 37

2 By the maximum principle we obtain a uniform estimate for Υ(G, Gˆ) on any ﬁnite g,G−1,G time interval, and the proof of long-time existence now concludes as in Theorem 1.2.

Remark 5.12. For ωt a pluriclosed flow as in Theorem 1.3 one expects the blowdown limits ωt 2t to converge with bounded curvature to either a point in the case κ = 0, or to (Σ,ωΣ) in the case κ = 1, where ωΣ denotes the unique conformal metric of curvature 1. A basic fact in this direction is that pluriclosed flow preserves the area of the T 2 fibers,− and thus the area of the fibers goes to zero along any blowdown sequence. Furthermore, assuming the solution satisfies type III curvature and diameter bounds, this kind of limiting behavior can be derived by the use of an expanding entropy functional [34]. Assuming the initial metric is T 2-invariant this behavior was shown in [50].

References [1] Ilka Agricola and Thomas Friedrich. A note on flat metric connections with antisymmetric torsion. Differential Geom. Appl., 28(4):480–487, 2010. [2] Bogdan Alexandrov and Stefan Ivanov. Vanishing theorems on HHermitian manifolds. Differential Ge- ometry and its Applications, 14(3):251–265, 2001. [3] Daniele Angella and Adriano Tomassini. On Bott-Chern cohomology and formality. J. Geom. Phys., 93:52–61, 2015. [4] V. Apostolov, P. Gauduchon, and G. Grantcharov. Bi-Hermitian structures on complex surfaces. Proc. London Math. Soc. (3), 79(2):414–428, 1999. [5] V. Apostolov and M. Gualtieri. Generalized Kähler manifolds, commuting complex structures, and split tangent bundles. Comm. Math. Phys., 271(2):561–575, 2007. [6] Vestislav Apostolov and Jeffrey Streets. The nondegenerate generalized Kähler Calabi-Yau problem. To appear in Crelle’s Journal. [7] Vestislav Apostolov, Jeffrey Streets, and Yury Ustinovskiy. Generalized Kähler-Ricci flow on toric Fano varieties. arXiv:2104.03268. [8] Romina M. Arroyo and Ramiro A. Lafuente. The long-time behavior of the homogeneous pluriclosed flow. Proc. Lond. Math. Soc. (3), 119(1):266–289, 2019. [9] Richard Bamler and Bruce Kleiner. Ricci flow and diffeomorphism groups of 3-manifolds. arXiv:1712.06197. [10] Francis Bischoff, Marco Gualtieri, and Maxim Zabzine. Morita equivalence and the generalized Kähler potential. arXiv:1804.05412. [11] Jean-Michel Bismut. A local index theorem for non-Kähler manifolds. Math. Ann., 284(4):681–699, 1989. [12] Indranil Biswas and Tomás L. Gómez. Stability of symplectic and orthogonal Poincarébundles. J. Geom. Phys., 76:97–106, 2014. [13] Jess Boling. Homogeneous solutions of pluriclosed flow on closed complex surfaces. J. Geom. Anal., 26(3):2130–2154, 2016. [14] Lev Borisov, Simon Salamon, and Jeff Viaclovsky. Twistor geometry and warped product orthogonal complex structures. Duke Math. J., 156(1):125–166, 2011. [15] N. P. Buchdahl. Hermitian-Einstein connections and stable vector bundles over compact complex surfaces. Math. Ann., 280(4):625–648, 1988. [16] Reto Buzano, Robert Haslhofer, and Or Hershkovits. The moduli space of two-convex embedded spheres. J. Diff. Geom., 118(2):189–221, 2021. [17] C. G. Callan, D. Friedan, E. J. Martinec, and M. J. Perry. Strings in background fields. Nuclear Phys. B, 262(4):593–609, 1985. [18] Huai Dong Cao. Deformation of Kähler metrics to Kähler-Einstein metrics on compact Kähler manifolds. Invent. Math., 81(2):359–372, 1985. [19] Elie´ Cartan and Jan Arnoldus Schouten. On Riemannian geometries admitting an absolute parallelism. Proc. Amsterdam, 29:933–946, 1926. 38 MARIO GARCIA-FERNANDEZ, JOSHUA JORDAN, AND JEFFREY STREETS

[20] Elie´ Cartan and Jan Arnoldus Schouten. On the geometry of the group-manifold of simple and semi- simple groups. Proc. Amsterdam, 29:803–815, 1926. [21] S. K. Donaldson. Anti self-dual Yang-Mills connections over complex algebraic surfaces and stable vector bundles. Proc. London Math. Soc. (3), 50(1):1–26, 1985. [22] S. K. Donaldson. Moment maps and diffeomorphisms. Asian J. Math., 3(3):1–16, 1999. [23] Nicola Enrietti, Anna Fino, and Luigi Vezzoni. The pluriclosed flow on nilmanifolds and tamed symplectic forms. J. Geom. Anal., 25(2):883–909, 2015. [24] Mario Garcia-Fernandez, Roberto Rubio, C. S. Shahbazi, and Carl Tipler. Canonical metrics on holomorphic Courant algebroids. arXiv:1803.01873. [25] Mario Garcia-Fernandez, Roberto Rubio, and Carl Tipler. Gauge theory for string algebroids. arXiv:2004.11399. [26] Mario Garcia-Fernandez, Roberto Rubio, and Carl Tipler. Holomorphic string algebroids. arXiv:1807.10329. [27] Mario Garcia-Fernandez and Jeffrey Streets. Generalized Ricci Flow. AMS University Lecture Series, 2021. [28] P. Gauduchon and S. Ivanov. Einstein-Hermitian surfaces and Hermitian Einstein-Weyl structures in dimension 4. Math. Z., 226(2):317–326, 1997. [29] Paul Gauduchon. Fibrés hermitiens àendomorphisme de Ricci non négatif. Bull. Soc. Math. France, 105(2):113–140, 1977. [30] Paul Gauduchon. La 1-forme de torsion d’une variétéhermitienne compacte. Math. Ann., 267(4):495– 518, 1984. [31] Paul Gauduchon. Structures de Weyl-Einstein, espaces de twisteurs et variétés de type S1 S3. J. Reine Angew. Math., 469:1–50, 1995. × [32] Paul Gauduchon. Hermitian connections and Dirac operators. Boll. Un. Mat. Ital. B (7), 11(2, suppl.):257–288, 1997. [33] Matthew Gibson and Jeffrey Streets. Deformation classes in generalized Kähler geometry. Complex Manifolds, 7(1):241–256, 2020. [34] Steven Gindi and Jeffrey Streets. Structure of collapsing solutions of generalized Ricci flow. J. Geom. Anal., 31:4253–4286, 2021. [35] D. Grantcharov, G. Grantcharov, and Y. S. Poon. Calabi-Yau connections with torsion on toric bundles. J. Differential Geom., 78(1):13–32, 2008. [36] Marco Gualtieri. Generalized Kähler geometry. Comm. Math. Phys., 331(1):297–331, 2014. [37] Nigel Hitchin. Instantons, Poisson structures and generalized Kähler geometry. Comm. Math. Phys., 265(1):131–164, 2006. [38] Thomas Höfer. Remarks on torus principal bundles. J. Math. Kyoto Univ., 33(1):227–259, 1993. [39] S. Ivanov and G. Papadopoulos. Vanishing theorems on (ℓ k)-strong Kähler manifolds with torsion. Adv. Math., 237:147–164, 2013. | [40] Joshua Jordan and Jeffrey Streets. On a Calabi-type estimate for pluriclosed flow. Adv. Math., 366:107097, 18, 2020. [41] Man-Chun Lee and Jeffrey Streets. Complex manifolds with negative curvature operator. arXiv:1903.12645, to appear IMRN. [42] Jun Li and Shing-Tung Yau. Hermitian-Yang-Mills connection on non-Kähler manifolds. In Mathemati- cal aspects of string theory (San Diego, Calif., 1986), volume 1 of Adv. Ser. Math. Phys., pages 560–573. World Sci. Publishing, Singapore, 1987. [43] Martin Lübke and Andrei Teleman. The Kobayashi-Hitchin correspondence. World Scientific Publishing Co., Inc., River Edge, NJ, 1995. [44] Fernando CodáMarques. Deforming three-manifolds with positive scalar curvature. Ann. of Math. (2), 176(2):815–863, 2012. [45] Duong H. Phong, Sebastien Picard, and Xiangwen Zhang. The anomaly flow and the Fu-Yau equation. Ann. PDE, 4(2):Paper No. 13, 60, 2018. [46] Piovani, Riccardo and Tomassini, Adriano, Aeppli cohomology and Gauduchon metrics, Complex Anal. Oper. Theory, Paper No. 14, 22, 2020. [47] Harsh V. Pittie. The Dolbeault-cohomology ring of a compact, even-dimensional Lie group. Proc. Indian Acad. Sci. Math. Sci., 98(2-3):117–152, 1988. NON-KAHLER¨ CALABI-YAU GEOMETRY AND PLURICLOSED FLOW 39

[48] Massimiliano Pontecorvo. Complex structures on Riemannian four-manifolds. Math. Ann., 309(1):159– 177, 1997. [49] H. Samelson. A class of complex-analytic manifolds. Portugaliae Math., 12:129–132, 1953. [50] Jeffrey Streets. Ricci Yang-Mills flow on surfaces and pluriclosed flow on elliptic fibrations. arXiv:2102.09538. [51] Jeffrey Streets. Pluriclosed flow, Born-Infeld geometry, and rigidity results for generalized Kähler manifolds. Comm. Partial Differential Equations, 41(2):318–374, 2016. [52] Jeffrey Streets. Pluriclosed flow on manifolds with globally generated bundles. Complex Manifolds, 3(1):222–230, 2016. [53] Jeffrey Streets. Generalized Kähler-Ricci flow and the classification of nondegenerate generalized Kähler surfaces. Adv. Math., 316:187–215, 2017. [54] Jeffrey Streets. Pluriclosed flow on generalized Kähler manifolds with split tangent bundle. J. Reine Angew. Math., 739:241–276, 2018. [55] Jeffrey Streets. Classification of solitons for pluriclosed flow on complex surfaces. Math. Ann., 375(3- 4):1555–1595, 2019. [56] Jeffrey Streets. Pluriclosed flow and the geometrization of complex surfaces. In Geometric Analysis, volume 333 of Progress in Mathematics, pages 471–510. Birkhäuser, 2020. [57] Jeffrey Streets and Gang Tian. A parabolic flow of pluriclosed metrics. Int. Math. Res. Not. IMRN, (16):3101–3133, 2010. [58] Jeffrey Streets and Gang Tian. Generalized Kähler geometry and the pluriclosed flow. Nuclear Phys. B, 858(2):366–376, 2012. [59] Jeffrey Streets and Gang Tian. Regularity results for pluriclosed flow. Geom. Topol., 17(4):2389–2429, 2013. [60] Jeffrey Streets and Yury Ustinovskiy. Classification of generalized Kähler-Ricci solitons on complex surfaces. arXiv:1907.03819, to appear in Comm. Pure. Appl. Math. [61] Jeffrey Streets and Yury Ustinovskiy. The Gibbons-Hawking ansatz in generalized Kähler geometry. arXiv:2009.00778. [62] Andrew Strominger. Superstrings with torsion. Nuclear Phys. B, 274(2):253–284, 1986. [63] Andrei Teleman. The pseudo-effective cone of a non-Kählerian surface and applications. Math. Ann., 335(4):965–989, 2006. [64] Valentino Tosatti. Non-Kähler Calabi-Yau manifolds. In Analysis, complex geometry, and mathematical physics: in honor of Duong H. Phong, volume 644 of Contemp. Math., pages 261–277. Amer. Math. Soc., 2015. [65] Valentino Tosatti and Ben Weinkove. On the evolution of a Hermitian metric by its Chern-Ricci form. J. Differential Geom., 99(1):125–163, 2015. [66] K. Uhlenbeck and S.-T. Yau. On the existence of Hermitian-Yang-Mills connections in stable vector bundles. volume 39, pages S257–S293. 1986. Frontiers of the mathematical sciences: 1985 (New York, 1985). [67] C.T.C. Wall. Geometric structures on compact complex analytic surfaces. Topology, 25(2):119–153, 1986. [68] Qingsong Wang, Bo Yang, and Fangyang Zheng. On Bismut flat manifolds. Trans. AMS, 373:5747–5772, 2020. [69] Shing Tung Yau. On the Ricci curvature of a compact Kähler manifold and the complex Monge-Ampère equation. I. Comm. Pure Appl. Math., 31(3):339–411, 1978.

Universidad Autonoma´ de Madrid and Instituto de Ciencias Matematicas´ (CSIC-UAM- UC3M-UCM), Ciudad Universitaria de Cantoblanco, 28049 Madrid, Spain Email address: [email protected]

Rowland Hall, University of California, Irvine, Irvine, CA 92617 Email address: [email protected]