arxiv: v1 [math.dg] 22 Mar 2017

Transcription

1 HARNACK INEQUALITIES FOR CURVATURE FLOWS IN RIEMANNIAN AND LORENTZIAN MANIFOLDS arxiv: v1 [math.dg] 22 Mar 2017 PAUL BRYAN, MOHAMMAD N. IVAKI, AND JULIAN SCHEUER Abstract. We obtain Harnack estimates or a class o curvature lows in Riemannian maniolds o constant non-negative sectional curvature as well as in the Lorentzian Minkowski and de Sitter saces. Furthermore, we rove a Harnack estimate with a bonus term or mean curvature low in locally symmetric Riemannian Einstein maniold o non-negative sectional curvature. Using a concet o duality or strictly convex hyersuraces, we also obtain a new tye o inequalities, so-called seudo-harnack inequalities, or exanding lows in the shere and in the hyerbolic sace. Contents 1. Introduction 1 2. Background and Notation Evolution equations Gauss Ma and Duality Locally symmetric saces and roo o the main theorems Cross curvature low 35 Reerences Introduction Let (N = N n+1, ḡ, n 2, be a Riemannian or Lorentzian maniold and let M = M n be a smooth, comlete and orientable maniold. For lat ambient saces, we use, instead o ḡ. Put σ = 1 in the Riemannian case and σ = 1 in the Lorentzian case. Let x: M [0, T N be a amily o strictly convex 1 and sacelike 2 embeddings, which evolves by the curvature low (1.1 ẋ = σν x (grad h, Date: March 23, Key words and hrases. Curvature lows, Harnack estimates. 1 One o the choices o the normal ν yields a ositive deinite second undamental orm h in the Gaussian ormula x X(x Y = x ( X Y σh(x, Y ν X, Y T M. 2 The induced metric is ositive deinite. 1

2 2 P. BRYAN, M.N. IVAKI, AND J. SCHEUER where ν is a unit normal vector ield along M t = x(m, t (which satisies σ = ḡ(ν, ν rom the sacelike condition, and with grad h deined by h(grad h, X = d(x X T M or in coordinates, grad h := b ij d( j i. Here (b ij is the inverse o the second undamental orm (h ij. The seed is a smooth and strictly monotone unction o the rincial curvatures, which may also deend on other data, deending on the ambient sace, comare Assumtion Let r : M [0, T M be the one-arameter amily o dieomorhisms associated with grad h ; that is, r(, 0 = id and ṙ = grad h. I M is comact, then or each t [0, T, r t : M M is uniquely deined and a dieomorhism. I M is co-comact so that M/G is comact where G is a Lie Grou acting on M, and the low M t is invariant under G, again r t is a uniquely deined dieomorhism or each t [0, T. Deining ˇx(ξ, t := x(r(ξ, t, t, ˇν(ξ, t := ν(r(ξ, t, t and ˇ(ξ, t := (r(ξ, t, t, we see that the low (1.1 is equivalent to the curvature low (1.2 ˇx : M [0, T N ˇx = σ ˇ ˇν. We call ˇx the standard arameterization as in [2]. Dierential Harnack inequalities are ointwise derivative estimates which usually enable one to comare the seed o a solution to a curvature low at dierent oints in sace-time. Central to our aroach in obtaining Harnack inequalities or a class o curvature lows (1.2 is a rearameterization o the low given by the low (1.1. In a Euclidean background, N = R n+1, the Gauss ma ν : M [0, T S n is a dieomorhism or t i x(m, t is strictly convex. The Gauss ma arameterization y : S n [0, T R n+1, c. [2], is such that ν(y(z, t, t = z or all z S n whence ν = 0. Furthermore, calculations may be erormed with resect to the ixed, canonical, round metric g can on S n. These two roerties, a static metric and static normal rovide immense beneit, not only in simliying the generally long comutations associated with dierential Harnack inequalities, but also by lending insight into why such long comutations yield such a simle, elegant dierential Harnack inequality. The Gauss ma arameterization just described is maniestly Euclidean, and given the utility o such a arameterization, analogous results in other background saces should be highly rized. The cornerstone o our aroach is that the normal ν is static in the arameterization (1.1 and the time derivative o the induced metric g is only elt through the changing arameterization, x. See (3.5, analogous to the Gauss ma arameterization, valid in arbitrary backgrounds. For the Harnack quantity we deine (1.3 u :=. Thereore, u = t ln just as or Li-Yau [22] and Andrews [2]. Then writing u in the standard arameterization, we ind that ˇ d(ṙ ˇ = = ˇb(d ˇ, d ˇ, ˇ which is recisely the standard Harnack quantity in the Euclidean sace.

3 HARNACK INEQUALITIES FOR CURVATURE FLOWS 3 Our irst theorem includes reviously known Harnack inequalities in the Euclidean sace and extends them by allowing the seed to deend on the suort unction. Furthermore, it rovides Harnack inequalities or a class o curvature lows in the Minkowski sace which are comletely new. Suose there is a subgrou G o uture reserving isometries o the Minkowski sace such that I(x(M = x(m or all I G and G acts roerly discontinuously on M. Let us ut K = M/G. I K is comact, we say that M is co-comact. Let I denote the linear art o I G (e.q., I = I + v such that I O + (n, 1, v R n,1, where O + (n, 1 is the sace o uture-reserving linear transormations reserving the Lorentzian inner roduct and R n,1 denotes the Minkowski sace and also ut G = {I : I G}. I in addition G = G, we say M is standard. Write H n or the hyerbolic sace. A unction ψ : H n R is called G -invariant, i ψ(i z = ψ(z or all z H n and I G. Thereore, ψ : H n /G R is welldeined. Theorem 1.1. Let N = N n+1 be either the Euclidean sace R n+1 or the Minkowski sace R n,1 and M = M n be a smooth, connected, comlete and orientable maniold, which is comact in case N = R n+1. Let x: M (0, T N be a amily o strictly convex, sacelike embeddings that solves the low equation 3 where = ϕ(sψ(νsgn(f and ẋ = σν, 0, s = σ x, ν is the suort unction, I 1, ϕ C (R + is ositive and satisies ( 1 σϕ 0 and sgn (( + 1 ϕ 2 + ϕ ϕ 0, F is a ositive, strictly monotone, 1-homogeneous curvature unction that is inverse concave or 1 < and inverse convex or > 1. Suose one o the ollowing conditions holds: (1 N = R n+1, ψ C (S n is ositive and the solution is comact, strictly convex and i ϕ 1 then s(, t > 0 or all t. (2 N = R n,1, ϕ = ψ 1, the solution is co-comact, sacelike and strictly convex. (3 N = R n,1, ϕ 1, the solution is co-comact, sacelike and strictly convex and ψ : H n R + is a G -invariant, smooth unction. (4 N = R n,1, ψ : H n R + is a G -invariant, smooth unction, s(, t > 0 or all t, and the solution is standard, sacelike and strictly convex. Then or > 1 the ollowing Harnack inequality holds (1.4 t b(, + 0 t > 0, ( + 1t and the inequality is reversed i < 1. Also, or = 1, ϕ = 1, under either o these our conditions the ollowing statements hold: 3 For a better readability we omit the ˇ in this and the ollowing theorems or lows in the standard arametrization.

4 4 P. BRYAN, M.N. IVAKI, AND J. SCHEUER (1 I F is inverse concave, then in b(, (2 I F is inverse convex, then su b(, is increasing is decreasing. Remark 1.2. The roo o Theorem 1.1 does not make any use o the simly connectedness o R n+1, so it is also ossible to allow N to be a quotient o R n+1, or examle, a lat torus T n, n 3. Remark 1.3. Note or a standard, sacelike and strictly convex hyersurace x(m, s is well-deined on K : s(ix = Ix, ν(ix = Ix, I ν(x = Ix, Iν(x = x, ν(x = s(x. Remark 1.4. Let U denote the interior o { z, z 0, z 0 0}. I M is a standard, sacelike, strictly convex hyersurace that is contained in U, then M has a ositive suort unction, c. [12, equ. (13]. Remark 1.5. Assume N = R n,1 and F is a ositive, 1-homogeneous curvature unction. Consider x(m, t = ((1 + (1,..., 1t 1 1+ H n or t (0,, a solution to the exanding low with = F (assuming ϕ = ψ = 1. Then equality holds in the Harnack inequality. In act, the suort unction o x(m, t is given by s t = ((1 + (1,..., 1t Hence, we have ṡ t = (1,..., 1 ((1 + (1,..., 1t 1+ = (x, t. This veriies that x(m, t serves as a solution or any t > 0. Also, calculate (1,..., 1 2 t = ((1 + (1,..., 1t ( + 1t = (1,..., 1. ( + 1t ((1 + (1,..., 1t 1+ Thereore, or this articular solution the equality is obtained in the Harnack inequality. Note that i t 0, then x(m, t { z, z = 0 : z 0 0} (e.q., boundary o U with suort unction equal to zero. Theorem 1.1 includes and extends (even in the Euclidean case the reviously known dierential Harnack estimates in [2], [10, 23, 30]. For more general unctions o the mean curvature in the Euclidean case see [29]. To our knowledge, the only available Harnack estimates or curvature lows having the suort unction in their seeds are or centro-aine normal lows [20, 21]. In this resect, our result is new even in the Euclidean case. In other ambient saces, ar less is known, due to the comlications which arise rom the ambient curvature tensor. So ar, the only setting o non-constant sectional curvature or which we could obtain a Harnack inequality with a bonus term or the mean curvature low is the locally symmetric Riemannian Einstein maniolds o non-negative sectional curvature.

5 HARNACK INEQUALITIES FOR CURVATURE FLOWS 5 Theorem 1.6. Let N = N n+1 be a locally symmetric Riemannian Einstein maniold o non-negative sectional curvature. Assume that M = M n is a smooth, connected, comact and orientable maniold. Then along any strictly convex solution x: M (0, T N to the mean curvature low ẋ = Hν there holds t H b( H, H R n + 1 H + 1 2t H 0, where R is the constant scalar curvature o N. Examles o suitable N satisying the assumtions o the theorem are irreducible symmetric saces o comact tye and quotients thereo [5, 7.75]. In articular, an interesting examle that satisies the assumtions o this theorem is the comlex rojective sace N 2n = CP n. Comare [27] or a recent result on mean curvature low in CP n. I we have a more symmetric ambient sace, we can obtain Harnack inequalities or a larger class o seeds. The next theorem includes our Harnack inequalities rom [6, 7] and resents new Harnack inequalities, or examle, in de Sitter sace. Note as with Theorem 1.1 (see Remark 1.2 and Theorem 1.6 the results hold or quotients and not just the simly connected case. Theorem 1.7. Assume that = F with 0 < 1, where F is a ositive, strictly monotone, convex, 1-homogeneous curvature unction. Let M = M n be a smooth, connected, comact, orientable maniold and x: M (0, T N be a sacelike solution to the low equation ẋ = σν. Suose either (1 N is a Riemannian (σ = 1 saceorm with constant sectional curvature K N = 1, and the solution is strictly convex or (2 N is a Lorentzian (σ = 1 saceorm with constant sectional curvature K N = 1, and the solution satisies 0 < κ i 1. Then the ollowing Harnack inequality holds along the low: t b(, + 0 t > 0. ( + 1t Remark 1.8. In Theorems 1.6 and 1.7, it would not eect the result, i we attached an anisotroic actor to the resective seeds H and F, i.e., i we considered = ψ(νh, or = ψ(νf, where ψ is a ositive smooth unction on the unit shere bundle in T N, which is invariant under arallel transort in (N, ḡ. Furthermore, emloying duality, we obtain seudo -Harnack inequalities or a class o curvature lows in the sherical and the hyerbolic sace. Theorem 1.9. Suose F is a ositive, strictly monotone, 1-homogeneous, inverse convex curvature unction and = F with 1 < 0. Let M = M n be a smooth, connected, comact, orientable maniold and x: M (0, T N be a solution to the low equation ẋ = ν. Suose either (1 N is the shere, and the solution is strictly convex or

6 6 P. BRYAN, M.N. IVAKI, AND J. SCHEUER (2 N is the hyerbolic sace, and the solution is strictly horoconvex 4. Then the ollowing inequality holds along the low: t F + ( 1t F 0 t > 0. The term seudo-harnack relects the act that the inequality in Theorem 1.9 does not have the gradient term as oosed to the inequalities in Theorems 1.1 and 1.7 and thus would not allow one to comare the solution at dierent oints in sace-time, nevertheless, it is a oint-wise estimate on t, which is indeendent o the initial data. This new tye o inequality suggests while in a negatively curved ambient sace the standard Harnack quantity u may ail to yield any interesting inequality, yet a weaker orm (obtained by droing the gradient term may rovide a useul inequality. Connection to the cross curvature low. In [11], Chow and Hamilton introduced an interesting ully nonlinear heat low or negatively (or ositively curved metrics on a 3-maniold, called the cross curvature low (in short XCF. This nonlinear curvature low o metrics is dual to the Ricci low in the ollowing sense. The identity ma rom a Riemannian 3-maniold to itsel, where the domain maniold has the cross curvature tensor as the metric (assuming the sectional curvature is either everywhere negative or everywhere ositive, is harmonic, while the identity ma rom a Riemannian 3-maniold to itsel, where the target maniold has the Ricci curvature tensor as the metric (assuming the Ricci curvature is either everywhere negative or everywhere ositive, is harmonic. Chow and Hamilton rove a monotonicity ormula or XCF and give strong indications that the XCF should deorm any negatively curved metric on a comact 3-maniold to a hyerbolic metric, modulo scaling. Also, they exress strong hoes that the XCF should enjoy a Harnack inequality. Recently, it has aeared in [4] that i the universal cover o the initial 3-maniold is isometrically embeddable as a hyersurace in Minkowski 4-sace (or Euclidean 4-sace, then the Gauss curvature low o the hyersurace yields the cross curvature low o the induced metric. When, also, the maniold is closed, the global existence and convergence hold [4]. In that case, it is a corollary o Theorem 1.1 that indeed a Harnack estimate or XCF exists; see inequality (6.1. Moser arabolic Harnack Inequality. A dierential Harnack inequality o the orm (1.4 is related closely to the well-known Moser-tye Harnack inequalities. Note that the normal seed o the low evolves by a arabolic equation, and as such a arabolic Harnack inequality as derived by Moser [25] is exected. As initially described by Li and Yau [22] and later adated by Hamilton in the case o curvature lows [16, 17, 18], integrating along sace-time aths yields the Moser arabolic Harnack inequality. In act, the Li-Yau-Hamilton tye dierential inequality is equivalent to the Moser arabolic Harnack inequality, a act not oten exressed exlicitly and described here by the next theorem. All the Harnack inequalities described in our main theorems are all o Li-Yau-Hamilton tye (1.5, and hence we obtain a Moser arabolic Harnack inequality (1.6 in all those cases. Theorem Let N = N n+1 be a semi-riemannian maniold and M = M n be a smooth, connected, comlete, orientable maniold. Suose x: M (0, T N 4 All rincial curvatures are greater than 1.

7 HARNACK INEQUALITIES FOR CURVATURE FLOWS 7 is a amily o strictly convex embeddings satisying ẋ = σν, where : M (0, T N is a smooth and nowhere vanishing unction. Assume that q C 0 ((0, T. Then { t h(grad h,grad h q(t, i > 0, (1.5 t h(grad h,grad h q(t, i < 0, i and only i or all x 1, x 2 M and t 2 > t 1 > 0 there holds (1.6 (x 1, t 1 eq(t2 e Q(t1 e /4 (x 2, t 2, where Q(t 2 Q(t 1 = t 2 t 1 q(tdt, { t2 inγ = t 1 1 t 1 1 su γ t2 h( γ, γdt, i > 0, h( γ, γdt, i < 0, and the inimum and suremum are taken over all smooth curves γ with γ(t i = x i, i = 1, 2. In articular, i and only i t h(grad h, grad h (x 1, t 1 ( t2 t e /4 (x 2, t 2. Proo. Now, let X be an arbitrary tangent vector to M. Note that h (grad h + 12 X, grad h + 12 X 0. Thereore, h(grad h, X h(x, X h(grad h, grad h. with equality recisely when X = 2 grad h. Hence the Li-Yau-Hamilton dierential inequality (1.5 holds i and only i, t + h(grad (1.7 h, X + 1 4h(X, X q(t X T M, or with the oosite inequality in the case < 0. Next we show that the Moser arabolic Harnack inequality, (1.6 is equivalent to equation (1.7 by integrating along sace-time aths. Let x 1, x 2 M and γ : [t 1, t 2 ] M be any curve connecting x 1 at time t 1 to x 2 at time t 2 ; that is, γ(t i = x i, i = 1, 2. Keeing in mind that is either strictly ositive or strictly negative, we have ln (x 2, t 2 ln (x 1, t 1 = = = ˆ t2 t 1 ˆ t2 t 1 ˆ t2 t 1 1 t t [ln (γ(t, t] dt t + 1 γ (dt t + h(grad h, γ dt.

8 8 P. BRYAN, M.N. IVAKI, AND J. SCHEUER Taking exonentials, (1.8 (x 2, t 2 (x 1, t 1 = ex (ˆ t2 t 1 t + h(grad h, γ dt where we may dro the absolute value on since both numerator and denominator have the same sign. Assuming equation (1.7 holds, we have ex (ˆ t2 t 1 t + h(grad h, γ dt e Q(t1 Q(t2 ex ( 1 ˆ t2 1 4 t 1 h( γ, γdt, or every x 1, x 2 and every γ joining x 1 at t 1 to x 2 at t 2. The oosite inequality holds when < 0. Then using equation (1.8, we obtain or > 0, ( (x 2, t 2 (1.9 (x 1, t 1 eq(t1 Q(t2 ex 1 ˆ t2 1 h( γ, γdt 4 t 1 and or < 0, ( (x 2, t 2 (x 1, t 1 eq(t1 Q(t2 ex 1 ˆ t2 1 (1.10 h( γ, γdt. 4 t 1 In (1.9, since the let hand side is indeendent o γ, we may take the suremum o the right hand side over all γ joining x 1 at t 1 to x 2 at t 2 to obtain { ( (x 2, t 2 (x 1, t 1 su e Q(t1 Q(t2 ex 1 ˆ t2 } 1 h( γ, γdt = e Q(t1 Q(t2 e. γ 4 t 1 Rearranging gives the Moser arabolic Harnack (1.6. Similarly in (1.10, take the inimum and rearrange to obtain the Moser arabolic Harnack (1.6 Conversely, i the Moser arabolic Harnack (1.6 holds, then equation (1.8 imlies that (ˆ t2 t + h(grad ex h, γ dt eq(t1 t 1 with the oosite sign when < 0. Taking logarithms yields ˆ t2 t 1 t + h(grad h, γ dt ˆ t2 t 1 q(tdt /4 ˆ t2 e /4 eq(t2 q(tdt 1 1 h( γ, γdt t 1 4 t 1 or every x 1, x 2, t 1, t 2 and γ. Hence the inequality holds ointwise which is recisely equation (1.7. Solitons. The Harnack inequality is closely related to solitons in lat backgrounds (other backgrounds do not have suiciently many isometries to rovide symmetries o the low. The hilosohy ut orward by Hamilton in [17, 18] is that equality should be attained on exanding solitons, just as equality in the Li-Yau Harnack inequality [22] which is attained by the heat kernel, itsel an exanding soliton. Thus Hamilton ollows a rocedure o dierentiating the soliton equation to obtain soliton identities which eventually lead to the aroriate orm or the Harnack quantity. We ollow this hilosohy by showing that the arametrization (1.1 is naturally suited to the deduction o Harnack inequalities. For the uroses o this discussion ˆ t2

9 HARNACK INEQUALITIES FOR CURVATURE FLOWS 9 it is enough to consider Euclidean sace (N, ḡ = (R n+1,,, homothetic solitons, and degree -homogeneous seeds, 1. Similar arguments also aly to Minkowski sace. Let M be a smooth, connected, comact and orientable maniold. A homothetic soliton may be described as a air (x 0, λ with x 0 : M N an immersion and λ : [0, T R a smooth, ositive unction satisying x(ξ, t = λ(tx 0 (ξ, (1.11 λ(0 = 1, t x, ν = (W. Simle scaling arguments give (1.12 W = 1 λ W 0, ν = ν 0, = 1 λ 0. Here we think o (ξ, t = (W(ξ, t as a smooth unction M R and likewise or 0 (ξ = (W(ξ, 0. We also, by the usual abuse o notation, write x or the osition vector ield in R n+1 at the oint x. Using equations (1.11 and (1.12 we have (W 0 = ( t λλ x 0, ν 0, which leads to { (W 0 = C 0 x 0, ν 0, λ(t = +1 1 ( + 1C 0 t, where C 0 is a constant. This equation is necessary and suicient or homothetic solitons, comletely characterizing them. From (1.12 we see that the normal ν is ixed under the low (1.11 and hence necessarily x must evolve by (1.1. To see this, let the low ẋ = σν x V have the roerty t ν = 0 or some V T M. For all X T M we have 0 = t ν, x X = ν, X ẋ = X h(x, V, which is only ossible i V = grad h. This was already ointed out by Chow in [10], whereas he did not use this low to deduce the Harnack inequality. Due to this relation, the rearametrization (1.1 seems naturally suited to Harnack inequalities, since under a homothetic soliton the ratio o maximal to minimal curvature is in act constant in time. Let us investigate the behavior o our roosed Harnack quantity on a soliton. By (1.12 we get and u = u = λ λ = C 0λ (+1 (1.13 u = ( + 1C 0 λ (+2 λ = ( + 1C0 λ (+1 u = + 1 u2, u(0 = C 0.

10 10 P. BRYAN, M.N. IVAKI, AND J. SCHEUER Thereore, the soliton ODE, (1.13, is very simle to deduce (note on a soliton u is just a unction o time in the arametrization (1.1. Hence the hoe that (1.1 might simliy the excruciating calculations in obtaining Harnack inequalities is justiied. Indeed, one o the major achievements o the resent aer is our ability to deduce the evolution o (1.3 or strictly convex lows in any Riemannian or Lorentzian ambient sace or a huge range o seed unctions. This is quite a surrise, having in mind the tremendous comutational eort in revious works. Acknowledgment. The work o the irst author was suorted in art by the EPSRC on a Programme Grant entitled Singularities o Geometric Partial Dierential Equations reerence number EP/K00865X/1. The work o the second author was suorted by Austrian Science Fund (FWF Project M1716-N25 and the Euroean Research Council (ERC Project The work o the third author has been unded by the Deutsche Forschungsgemeinschat (DFG, German research oundation within the research grant Harnack inequalities or curvature lows and alications, grant number SCHE 1879/ Background and Notation Notation and Basic Deinitions. For a semi-riemannian maniold (M, g, latand shar-oerators are deined as ollows. For T T l,k ξ (M let T T l 1,k+1 ξ (M be deined by the requirement T (X 1,..., X k+1, Y 1,..., Y l 1 := g(t (X 1,..., X k, Y 1,..., Y l 1,, X k+1 or all X i T ξ M and Y k Tξ M. In coordinates, this reads (T j1...j l 1 i 1...i k+1 = g ik+1 j l T j1...j l i 1...i k, i.e., the oerator always lowers the last index to the last slot. We stiulate the shar oerator to reverse this transormation, i.e., ( T = T ; equivalently, T (X 1,..., X k, Y 1,..., Y l = g(t (X 1,..., X k 1, Y 1,..., Y l,, X k. I the metric is denoted by some other symbol, i.e., ḡ, these oerators will also be urnished accordingly, e.g.,. We will also use this notation even i g haens to be negative deinite. For a sacelike embedding into a semi-riemannian maniold (N n+1, ḡ, x: M n N n+1, we let g = x ḡ be the induced metric and the second undamental orm is deined by the Gaussian ormula or some given local normal ield ν, (2.1 x X(x Y = x ( X Y σh(x, Y ν X, Y T M, where and denote the Levi-Civita connections o ḡ and g resectively. The Weingarten ma is given by g(w(x, Y = h(x, Y. From this and dierentiating 0 = ḡ(ν, x Y, we obtain the Weingarten equation (2.2 ḡ( x Xν, x Y = h(x, Y X, Y T M.

11 HARNACK INEQUALITIES FOR CURVATURE FLOWS 11 Generally, geometric quantities o the ambient maniold are denoted by an overbar, e.g., our deinition o the (1, 3 Riemannian curvature tensor o ḡ is given by (2.3 Rm( X, Ȳ Z = X Ȳ Z Ȳ X Z [ X, Ȳ ] Z and the (0, 4 version is Rm ( X, Ȳ, Z, W = ḡ ( Rm( X, Ȳ Z, W, where we suress the, i no ambiguities are ossible. Hence we have the Codazzi equation (2.4 ( Z h (X, Y = h(x, Y, Z = h(x, Z, Y Rm(ν, X, Y, Z. Note that h(z, X, Y = g( Y W(X, Z. Thereore, we may rewrite (2.4 equivalently as ollows Y W(X = X W(Y ( Rm(X, Y ν, where denotes the rojection onto T M and we stiulate that whenever we insert X T M into ambient tensors, we understand X to be the ush-orward x X. For a bilinear orm B, B t denotes its transose, and B sym denotes its symmetrization, B t (X, Y = B(Y, X B sym := 1 2 (B + Bt. Seed Functions. We introduce the orm o the seeds we consider in (1.1. First we revisit some o the theory o curvature unctions. Curvature unctions. It is well-known that a symmetric unction (i.e., invariant under ermutation o variables Φ C (Γ on an oen and symmetric domain Γ R n induces a unction F C (Ω on an oen subset o endomorhisms o an n-dimensional real vector sace E, which are seladjoint with resect to some ixed underlying scalar roduct E; see, or examle, [1, 3, 9, 13]. These aroaches all suer rom the drawback that certain well-known ormulas or derivatives o F only hold in direction o seladjoint oerators. Since our rearametrization (1.1 roduces several non-seladjoint oerators, we would like to have extended versions o these ormulas. In this section, we collect some o the roerties which hold whenever F is deined on an oen subset o the sace o endomorhisms L(E, e.g., the mean curvature H(W = Tr(W. The details can be ound in [28]. Symmetric unctions and Oerator unctions. Deinition 2.1. Let E be an n-dimensional real vector sace and Γ R n be an oen and symmetric domain. (i L(E denotes the sace o endomorhisms o E and D Γ (E L(E is the set o all diagonalizable endomorhisms with eigenvalues in Γ. (ii On D R n(e we deine the eigenvalue ma EV by EV(W := κ = (κ 1,..., κ n, where κ is the ordered n-tule o eigenvalues o W with κ 1 κ n.

12 12 P. BRYAN, M.N. IVAKI, AND J. SCHEUER (iii Let Φ C (Γ be a symmetric unction. F is said to be an associated oerator unction o Φ, i there exists an oen set Ω L(E, such that F C (Ω and F DΓ(E Ω = Φ EV DΓ(E Ω. It is convenient to give some examles right away. Examle 2.2. The ower sums or 0 k Z is deined by n k (κ := κ k i. The associated oerator unctions P k deined on Ω = L(E are given by i=1 P k (W := Tr(W k. Write s k or the k-th elementary symmetric olynomial deined on Γ = R n, k s k (κ 1,..., κ n := κ ij. 1 i 1< <i k n j=1 It is well-known that s k can be written as a unction o the ower sums, s k = χ( 1,..., m, where χ is a olynomial, c. [24]. Hence the associated oerator unctions H k are Note that the ollowing identity holds H k = χ(p 1,..., P m. d k H k (W = 1 k! dt k det(i + tw t=0, c. [13, equ. (2.1.31]. Moreover, i Φ C (Γ or an oen, symmetric domain Γ R n, then Φ can be written as a smooth unction o the elementary symmetric olynomials (see [15], and hence Φ can also be written as a smooth unction o the ower sums, (2.5 Φ = ρ( 1,..., m. and the associated oerator unction, deined on some oen set Ω L(E, is (2.6 F = ρ(p 1,..., P m. For such a air o symmetric unctions Φ C (Γ and F C (Ω, we will now state some o the roerties o their derivatives, which in articular recover the well-known ormulas when restricting these mas to seladjoint transormations. However, note the dierence in (2.7 with, or examle, [3, Thm. 5.1] and [13, Lemma ]. Theorem 2.3. The ollowing two statements hold. (i Let E be an n-dimensional vector sace, and assume that Γ R n is oen and symmetric. Consider Φ C (Γ deined in (2.5 and let F C (Ω be the associated oerator unction (2.6. Then we have df (W(B = Tr(F (W B W Ω, B L(E or some F (W L(E. Moreover, i W D Γ (E, then F (W and W are simultaneously diagonalizable. For a basis {e 1,..., e n } o eigenvectors

13 HARNACK INEQUALITIES FOR CURVATURE FLOWS 13 or W with eigenvalues κ = (κ 1,..., κ n, the eigenvalue F i o F (W with eigenvector e i is given by F i (W = Φ κ i (κ. (ii Suose in addition that Γ is convex, W D Γ (E and (ηj i is the matrix reresentation o some η L(E with resect to a basis o eigenvectors o W. Then there holds (2.7 d 2 F (W(η, η = n i,j=1 2 Φ η κ i κ iη i j j + n j i j Φ κ i Φ κ j η κ i κ jη i j i, j where is evaluated at κ. The latter quotient is also well-deined in case κ i = κ j or some i j. Sketch o roo. By a direct calculation one can show that this result holds or all ower sums and the chain rule carries this over to all unctions o them. Details can be ound in [28]. We will also need an associated ma deined on bilinear orms with the unction F. Let us write B(E and B + (E or the set o bilinear orms and ositive deinite bilinear orms on E resectively. Proosition 2.4. Let E be an n-dimensional real vector sace, Ω L(E oen and F C (Ω as in (2.6. Deine the oen set and a ma ˆΩ := {(g, h B + (E B(E: h g sym Ω} F : ˆΩ R F(g, h := F (h g sym. Then F is smooth and or any a B(E we have d h F(g, h(a := F h (g, h(a = Tr(F (h g sym a g sym = df (h g sym(a g sym. Proerties o symmetric unctions. Let us ut Γ + := {κ R n : κ i > 0, i = 1,..., n}. Deinition 2.5. Let Φ C (Γ + be symmetric and assume F C (Ω is the associated oerator unction given by (2.6. The inverse symmetric unction o Φ is deined by 1 Φ(κ i := Φ(κ 1 i and the associated oerator unction is deined as 1 F (W := F (W 1 or all W GL n (R with W 1 Ω. Deinition 2.6. Let Γ R n be oen and symmetric and Φ C (Γ be symmetric.

14 14 P. BRYAN, M.N. IVAKI, AND J. SCHEUER (i Φ is strictly monotone, i Φ κ i (κ > 0 κ Γ 1 i n. (ii Assume in addition that Γ is a cone. Φ is homogeneous o degree R, i Φ(λκ = λ Φ(κ λ > 0 κ Γ. (iii Φ is inverse concave (inverse convex, i Φ is concave (convex. These roerties carry over to the associated oerator unction: Proosition 2.7. Let E be an n-dimensional vector sace, and assume that Γ R n is oen and symmetric. Consider Φ C (Γ and F C (Ω as in (2.5 and (2.6. Then the ollowing statements hold. (i I Φ is strictly monotone, then F (W has ositive eigenvalues at every W D Γ (E and the bilinear orm d h F(g, h rom Proosition 2.4 is ositive deinite at all airs (g, h with h g sym D Γ (E. (ii I Γ is a cone and Φ is homogeneous o degree, then D Γ (E is a cone and F DΓ(E is homogeneous o degree. Remark 2.8. Slightly abusing terminology, esecially when it comes to convexity or concavity, we say F is strictly monotone, homogeneous, concave or convex, i Φ has the corresonding roerties. The ollowing inequality or 1-homogeneous curvature unctions is very useul. The idea comes rom [3, Thm. 2.3] and also aeared in a similar orm in [7, Lem. 14]. The roo can be ound in [28]. Proosition 2.9. Let E be an n-dimensional real vector sace. Let Φ C (Γ + and F C (Ω be as in (2.5 and (2.6 with the urther assumtions that F is symmetric, ositive, strictly monotone and homogeneous o degree one. The ollowing statement holds: For every air W D Γ+ (E and g B + (E such that W is seladjoint with resect to g, we have (2.8 df (W(ad g (η W 1 η F 1 (df (W(η 2 η L(E, where ad g (η is the adjoint with resect to g. Remark A simle calculation reveals that i we set then rom the inequality (2.8 we have Examle Let us deine = sgn(f, 0, d(w(ad g (η W 1 η 1 1 (d(w(η 2. Γ k := {κ R n : s 1 (κ > 0,..., s k (κ > 0}. (1 s 1 (κ = H 1 (W = Tr(W is strictly monotone and inverse concave on Γ 1. (2 s n (κ = H n (W = det(w is strictly monotone on Γ n.

15 HARNACK INEQUALITIES FOR CURVATURE FLOWS 15 (3 The quotients q k : Γ k R, κ s k s k 1 are monotone and concave; see [3, Cor. 5.3] and [19, Thm. 2.5]. Moreover, they are inverse concave; c. [3, Cor. 2.4, Thm. 2.6]. Curvature unctions. Deinition Let M be a smooth maniold and Ω T 1,1 (M be an oen set. A unction F C (Ω is said to be a curvature unction i there is a symmetric unction Φ C (Γ o the orm (2.5 on an oen and symmetric set Γ with the ollowing roerty: For each ξ M, the unction F restricted to the iber at ξ is the associated oerator unction o Φ given by (2.6. A curvature unction F is said to have the roerties rom Deinition 2.6, i Φ has the corresonding roerties. The normal variation seeds or the low (1.1 do not solely deend on the rincial curvatures, and they are o a more general orm satisying the ollowing assumtions. Assumtion is a non-vanishing velocity o the orm : R + U Ω R (s, ν, W = sgn(ϕ(sψ(νf (W, where (i 0, (ii U is the unit shere bundle on N (including timelike unit vectors, (iii ϕ C (R + is a ositive unction acting on the suort unction s and ϕ 1 i N is neither the Euclidean nor the Minkowski sace, (iv ψ C (U is a ositive unction on the unit bundle, such that ψ is invariant under arallel transort in (N, ḡ, (v F is a ositive, strictly monotone and 1-homogeneous curvature unction o the orm (2.6, associated with a Φ C (Γ +, which is (v-1 inverse concave or > 1 and inverse convex or < 1, i N = R n+1 or N = R n,1, (v-2 convex, i N has constant nonzero sectional curvature and (v-3 the mean curvature H, i N has nonconstant sectional curvature. Remark The ollowing remarks are in order: (i Let us write r: T 1,1 (M M or the canonical rojection. For every X T 1,1 (M, and (v, 0 T 1,0 1,1 r(x (M Tr(X (M T X(T 1,1 (M, there holds (2.9 df (X(v, 0 = 0. Proo. For any v T 1,0 (M, choose a curve α with α(0 = r(v, α (0 = v. Let Z : M T 1,1 (M be the zero section. Then t Z(α(t is a curve in T 1,1 (M with (Z α (0 = (v, 0, hence df (v, 0 = t F (Z(α(t t=0. Since F is a curvature unction, there holds F (Z(α(t Φ(0, where the 0 on the right-hand side is just the zero oerator in ibre. Thus t F (Z(α(t 0 and so df (v, 0 = 0 as required.

16 16 P. BRYAN, M.N. IVAKI, AND J. SCHEUER (ii In a local coordinate system, any oint in T 1,1 (M can be exressed as (ξ k, a i j, such that (ξk is a local coordinate system or M and (a i j are the comonents o an arbitrary tensor ield. For a curvature unction F, due to (2.9, df acts only in the ibres; that is, d ξ F = 0. Hence by Theorem 2.3 there exists an oerator F : Ω T 1,1 (M, such that or any (1, 1-tensor ield W (which is a section o T 1,1 (M and all B T 1,1 ξ (M, v T 1,0 ξ (M, we have df (ξ, W(ξ(v, B = d W F (ξ, W(ξ(B = Tr(F (ξ, W(ξ B. For any vector ield X on M, metric g on M, curvature unction F and any g-seladjoint (1, 1-tensor ield W, we also have (and will requently use X(F (ξ, W(ξ = d W F (ξ, W(ξ( X W(ξ = Tr (F (ξ, W(ξ X W(ξ = d h F(g, h ( X h, where h = W and we assume g = 0. A similar ormula alies or time derivatives (where o course ġ is not zero in general. However, note that on requent occasions we will suress the argument W rom d W F, since it will be aarent rom the subscrit W anyway. (iii For the more general seed unction = sgn(ϕ(sψ(νf we will write and i.e., there holds := sgn(ϕ(sψ(νf = ϕ(sψ(νf 1 F, d(ξ, W(v, B = d W (ξ, W(B = ϕ(sψ(νf 1 Tr(F (ξ, W B = Tr( (ξ, W B. 3. Evolution equations We begin by collecting some basic evolution equations. The inal aim is to deduce the evolution equation or the unction under the low (1.1, u := (3.1 ẋ = σν x V, where satisies Assumtion 2.13 and V := grad h is the satial gradient o with resect to the second undamental orm: Note that (3.2 h(v, X = X X T M. X ẋ = σ X (ν X V = σh(v, Xν σ X ν x X V + σh(x, V ν

17 HARNACK INEQUALITIES FOR CURVATURE FLOWS 17 is tangential and hence we may deine an endomorhism A T 1,1 (M by (3.3 x (A(X = X ẋ. Since we are dealing with strictly convex hyersuraces, the tensor g := h deines a symmetric non-degenerate bilinear orm. We also deine a bilinear orm associated with A: Note that Also let us deine B(X, Y := g(x, A(Y. V = grad g ln. Λ(X, Y := Rm(ẋ, x X, ν, x Y. Note that B and Λ are generally not symmetric. Lemma 3.1. There holds B(X, Y = B(Y, X + 1 Rm(ẋ, ν, X, Y = B(Y, X + 1 Λ(X, Y 1 Λ(Y, X. Proo. For X, Y T M, due to the Weingarten equation (2.2 and (3.2, B(X, Y = h(x, A(Y = ḡ( X ν, A(Y = σḡ( Y ν, X ν + ḡ( X ν, Y V = σḡ( X ν, Y ν + h(x, Y V. Moreover, we use the Codazzi equation (2.4 to obtain h(x, Y V = Y X h( Y X, V h(v, X, Y = XY h( X Y, V h(v, Y, X + Rm(ν, V, X, Y = h(y, X V + Rm(ν, V, X, Y. Hence the claim ollows rom the irst Bianchi identity. Basic evolution equations. Lemma 3.2. Along the low (1.1 there hold (3.4 ġ = 2A sym, (3.5 dt ν = 0, (3.6 Ẇ = A W + Λ, (3.7 ḣ = B + Λ, (3.8 g = B gu + Λ,

18 18 P. BRYAN, M.N. IVAKI, AND J. SCHEUER (3.9 V = grad g u + A(V + uv 1 (Λt V, (3.10 Proo. Let X, Y T M. (3.4 : By (3.2 we have dtẋ = uẋ x (grad g u + 1 x ((Λ t V. t (x ḡ (X, Y = t (ḡ(x X, x Y = ḡ( X ẋ, x Y + ḡ(x X, Y ẋ = ḡ(x (A(X, x Y ḡ(x (A(Y, x X = g(a(x, Y g(x, A(Y. (3.5 : We have 0 = t ḡ(ν, ν. Since 0 = t ḡ(ν, x X, we get ḡ( ẋν, X = ḡ(ν, ẋx = ḡ(ν, X ẋ = 0. (3.6 : Recall that (2.2 imlies x Xν = x W(X. Taking ẋ, using (3.5 and (2.3 we calculate Rm(ẋ, Xν = x W(Xẋ + [ẋ, x W(X] = x (A(W(X + x Ẇ(X. (3.7 : Dierentiate the Weingarten (2.2 equation to obtain t h(x, Y =ḡ ( ẋ X ν, Y + ḡ ( X ν, ẋy (3.8 : It ollows directly rom (3.7. (3.9 : Xu = X t ln =Rm (ẋ, X, ν, Y h(x, A(Y =Λ(X, Y B(X, Y. = t ( g(x, grad g ln = g(x, V + g(x, V = B(X, V + 1 Λ(X, V g(x, V u + g(x, V = g(x, A(V + 1 Λ(X, V g(x, V u + g(x, V. (3.10 : dtẋ = σ ν dt (x V = σ ν x V ẋ [ẋ, x V ] = σ ν + x (A(V x V = σuν + x (A(V x (grad g u x (A(V ux V + x ( 1 (Λt V =uẋ x (grad g u + 1 x ((Λ t V.

19 HARNACK INEQUALITIES FOR CURVATURE FLOWS 19 Evolution equations involving the aine connection. From now on, to simliy the calculations, we will work with the aine connection induced by the transversal vector ield ẋ. For X, Y T M we have a decomosition given by 5 X Y = x ( ˆ X Y + g(x, Y ẋ. However, ˆ is not the Levi-Civita connection or the so-called aine undamental orm g. Let denote the Levi-Civita connection o g and deine the dierence tensor D o tye (1, 2 by D X Y := ˆ X Y X Y. Since both and ˆ are torsion ree, we have D X Y introduction to aine geometry. = D Y X. See [26] or an Lemma 3.3. ( A = A 2 + ua + 1 grad g u + D grad g u V (Λt + ( Rm(, ẋẋ. Proo. Let X, Y T M. Dierentiate (3.3 with resect to ẋ to obtain ẋx (A(X = ẋ X ẋ, Thus using (3.10 we get [ẋ, x (A(X] + x (A(Xẋ = X ẋẋ + Rm(X, ẋẋ. x ( A(X x (A 2 (X Rm(X, ẋẋ = X (uẋ x (grad g u + 1 x ((Λ t V = ( X u ẋ + ux (A(X + x ( ˆ X grad g u + g(x, grad g uẋ ( 1 X x ((Λ t V ( =ux (A(X + x ( X grad g u + x (D X grad g u 1 X (x V (Λt =ux (A(X + x ( X grad g u + x (D X grad g u x ( X ( 1 (Λt V + σh(x, 1 (Λt V ν. Lemma 3.4. ( Λ g( t (X, Y = 1 g(a(λ (X, Y 1 Λ(A(X, Y 1 Rm(grad g u, X, ν, Y Rm(( Λ t V, X, ν, Y + 1 ẋrm(ẋ, X, ν, Y. 5 In act, ˆ X Y = X Y + g(x, Y V and hence ˆ is torsion ree.

20 20 P. BRYAN, M.N. IVAKI, AND J. SCHEUER Proo. Dierentiating the deining equation g( Λ (X, Y = 1 Λ(X, Y = 1 Rm(ẋ, x X, ν, x Y with resect to ẋ and using 2A sym(λ (X, Y = g(a(λ (X, Y + g(a(y, Λ (X as well as (3.3, (3.4 and (3.10 yield the result. Lemma 3.5. g( Z ( (Λ t V, Y = Z Rm(ẋ, W 1 (Y, ν, ẋ + Rm(ẋ, W 1 (Y, ẋ, W(Z + Rm(ẋ, W 1 ( ( h(z, W 1 (Y,, ν, ẋ + Rm(ẋ, W 1 ((Rm(ν, W 1 (Y Z, ν, ẋ + σh(z, W 1 (Y Rm(ẋ, ν, ν, ẋ Proo. Covariant dierentiating the equation Λ(A(Z, W 1 (Y + 2Λ(W 1 (Y, A(Z. g( (Λt V, Y = h V, ((Λt W 1 (Y = Λ(W 1 (Y, V = Rm(ẋ, W 1 (Y, ν, ẋ with resect to Z gives ( (Λ t V g( Z, Y = g( (Λt V, Z Y Z Rm(ẋ, W 1 (Y, ν, ẋ + Rm(A(Z, W 1 (Y, ν, ẋ Rm(ẋ, Z (W 1 (Y, ν, ẋ Rm(ẋ, W 1 (Y, W(Z, ẋ + Rm(ẋ, W 1 (Y, ν, A(Z. Moreover, by the Gaussian ormula (2.1, Z (W 1 (Y = Z (W 1 (Y σh(z, W 1 (Y ν. Putting this last relation as well as (3.1 into (3.11 gives ( (Λ t V g( Z, Y = g( (Λt V, Z Y Z Rm(ẋ, W 1 (Y, ν, ẋ Rm(ẋ, Z (W 1 (Y, ν, ẋ + σh(z, W 1 (Y Rm(ẋ, ν, ν, ẋ + 2Λ(W 1 (Y, A(Z Λ(A(Z, W 1 (Y + Rm(ẋ, W 1 (Y, ẋ, W(Z. To turn the ourth term on the right-hand side o this last identity to a tensorial term, we use the Codazzi equation 6 Z (W 1 (Y = W 1 ( Z W(W 1 (Y + W 1 ( Z Y = W 1 ( ( h(z, W 1 (Y, + W 1 ( Z Y W 1 ((Rm(ν, W 1 (Y Z 6 g( X W(W 1 (Y, Z = h(w 1 (Y, Z, X = h(w 1 (Y, X, Z + Rm(ν, W 1 (Y, X, Z; thereore, Z W(W 1 (Y = ( h(w 1 (Y, Z, + (Rm(ν, W 1 (Y Z.

21 HARNACK INEQUALITIES FOR CURVATURE FLOWS 21 and g( (Λt V, Z Y = Rm(ẋ, W 1 ( Z Y, ν, ẋ. Thereore we arrive at ( (Λ t V g( Z, Y = Z Rm(ẋ, W 1 (Y, ν, ẋ + Rm(ẋ, W 1 ( ( h(z, W 1 (Y,, ν, ẋ + Rm(ẋ, W 1 ((Rm(ν, W 1 (Y Z, ν, ẋ + σh(z, W 1 (Y Rm(ẋ, ν, ν, ẋ Λ(A(Z, W 1 (Y + 2Λ(W 1 (Y, A(Z + Rm(ẋ, W 1 (Y, ẋ, W(Z. We need one more lemma beore calculating the main the evolution equation. Lemma Tr( W A 2 = 1 d h (Λ(, A( 1 d h (Λ(A(, + 1 d h (h(a(, A(. Proo. The claim ollows rom Proosition 2.4 and Lemma 3.1: Tr( W A 2 = Tr( (h(, A 2 ( g sym = d h ( h(, A 2 ( = d h (B(, A( = d h (B(A(, + d h (Λ(, A( d h (Λ(A(, = d h (h(a(, A( + d h (Λ(, A( d h (Λ(A(,. Lemma 3.7. Under the low (1.1 we have Lu := u d h ( 2 u d h ( g(d ( grad g u, + 1 d h ( Rm(grad g u,, ν, =(ln ϕ ṡ 2 + (ln ϕ s + ṡ (ln ϕ d W (Ẇ + 1 d2 W(Ẇ, Ẇ ( d h (h(a(, A( + 2 Tr( (A Λ Λ A ( + σ 1 d h (h(, Rm(ẋ, ν, ν, ẋ + 2 d h ( Rm(, ẋ, ẋ, W( Proo. Note that + 1 d h ( Rm(ẋ,, ν,, ẋ + Rm(ẋ,, ν, ẋ,. u = = (ln ϕ ṡ + 1 d W(Ẇ = (ln ϕ ṡ + 1 d W(A W + Λ.

22 22 P. BRYAN, M.N. IVAKI, AND J. SCHEUER Hence taking the time derivative, u =(ln ϕ ṡ 2 + (ln ϕ s + 1 (ln ϕ ṡd W (Ẇ u d W(A W + Λ + 1 d2 W(Ẇ, Ẇ + 1 d W( A W + A Ẇ + tλ =(ln ϕ ṡ 2 + (ln ϕ s + 1 (ln ϕ ṡd W (Ẇ + 1 d2 W(Ẇ, Ẇ + 1 d W( A W + A 2 W + A Λ ua W + d W ( t ( Λ. Since d W (T = Tr( T and commutes with W, Lemma 3.3 imlies that u =(ln ϕ ṡ 2 + (ln ϕ s + 1 (ln ϕ ṡd W (Ẇ + 1 d2 W(Ẇ, Ẇ + 1 ( ( Tr( W ( A A Λ + A 2 Λ ua + d W + t =(ln ϕ ṡ 2 + (ln ϕ s + 1 (ln ϕ ṡd W (Ẇ + 1 d2 W(Ẇ, Ẇ + 2 Tr( W A ( ( Tr W grad g u + D grad g u 1 Tr ( W ( 1 (Λt V + 1 Tr ( W ( Rm(, ẋẋ. Rewriting the grad g -terms we obtain + d W ( u d h u 2 d h ( g(d ( grad g u, ( ( A Λ Λ + t (3.12 =(ln ϕ ṡ 2 + (ln ϕ s + 1 (ln ϕ ṡd W (Ẇ + 1 d2 W(Ẇ, Ẇ + 1 ( Tr W ( Rm(, ẋẋ + 2 Tr( W A 2 1 ( ( ( 1 A Λ ( Tr Λ W V (Λt + d W + t. Using the ormulas rom Lemma 3.4, Lemma 3.5 and Lemma 3.6, we treat the last three terms o (3.12 in order. (i From Lemma 3.6 we obtain 2 Tr( W A 2 = 2 d h (Λ(, A( 2 Tr( Λ A + 2 d h (h(a(, A(, where we used Proosition 2.4 to obtain d h (Λ(A(, = d h ( g(λ A(, = Tr( Λ A.

23 HARNACK INEQUALITIES FOR CURVATURE FLOWS 23 (ii Lemma 3.5 imlies that 7 1 Tr ( W ( 1 V (Λt = 1 d h ( Rm(ẋ,, ν, ẋ, 1 d h (Rm(ẋ,, ẋ, W( + σrm(ẋ, ν, ν, ẋ + 1 d h (Λ(W 1 ((Rm(ν, (, V σ d h (h(, Rm(ẋ, ν, ν, ẋ + 1 d h (Λ(A(, 2 d h (Λ(, A(. (iii In view o Lemma 3.4 we have ( ( A Λ Λ d W + t = 2 Tr( A Λ 1 Tr( Λ A 1 d h ( Rm(grad g u,, ν, + 1 ( 2 d h Rm((Λ t V,, ν, + 1 d h ( Rm(ẋ,, ν,, ẋ. Also, note that (Λ t = W 1 (Λ t ; thereore, ( ( 1 ( 2 d h Rm((Λ t V,, ν, = 1 d h Rm ν,,, (Λt V ( = 1 d h g( (Λt V, (Rm(ν, ( = 1 d h ( g(w 1 (Λ t (V, (Rm(ν, ( = 1 d h ( Λ(W 1 ((Rm(ν, (, V. Putting these last three items all together gives ( Tr( W A 2 1 ( 1 Tr( W V (Λt + d W ( A ( Λ Λ + t = 2 Tr( (A Λ Λ A 1 d h ( Rm(grad g u,, ν, + 1 d h ( ( Rm(ẋ,, ν,, ẋ + σ 1 d h (h(, Rm(ẋ, ν, ν, ẋ 1 d h ( Rm(ẋ,, ẋ, W( + 1 d h ( 2 Rm(ẋ,, ν, ẋ, + d h (h(a(, A(. Putting (3.13 into (3.12 gives the claimed result. 7 In an orthonormal rame {ei } we have Rm(ẋ, W 1 (( h(e i, (e j,, ν, ẋ = Rm(ẋ, V, ν, ẋ = σrm(ẋ, ν, ν, ẋ. i,j

24 24 P. BRYAN, M.N. IVAKI, AND J. SCHEUER 4. Gauss Ma and Duality In what ollows, a semicolon denotes covariant derivatives with resect to the induced metric. In this section, we give a brie review o a duality relation between strictly convex hyersuraces o the unit shere S n+1 and a duality relation between strictly convex hyersuraces o the hyerbolic sace with such o the de Sitter sace. The relevant results can be ound in [13, Ch. 9, 10]. For convenience, we will state the main results here and stick to the notation in [13]. Duality in the shere. In this section,, denotes the inner roduct in R n+2. Let x: M 0 M S n+1 be a strictly convex closed hyersurace. Let the Gauss ma x T x (R n+2 reresent the unit normal vector to M, ν T x (S n+1. Then the maing (4.1 x: M 0 S n+1 is also the embedding o a closed and strictly convex hyersurace. The geometry o x is governed by the ollowing theorem: Theorem 4.1. [13, Thm ] Let x: M 0 M S n+1 be a closed, connected, strictly convex hyersurace o class C m, m 3, then the Gauss ma x in (4.1 is the embedding o a closed, connected, strictly convex hyersurace M S n+1 o class C m 1. Viewing M as a codimension 2 submaniold in R n+2, its Gaussian ormula is x ;ij = g ij x h ij x, where g ij, h ij are the metric and the second undamental orm o the hyersurace M S n+1 and x = x(ξ is the embedding o M which also reresents the exterior normal vector o M. The second undamental orm hij is deined with resect to the interior normal vector. The second undamental orms o M, M and the corresonding rincial curvatures κ i, κ i satisy h ij = h ij = x ;i, x ;j, κ i = κ 1 i. We oint out that M is called the olar set to M and it has the ollowing elegant reresentation: M = {y S n+1 : su x, y = 0}; x M see [13, Thm ]. The ollowing illustration shall give a clearer icture o the duality:

25 HARNACK INEQUALITIES FOR CURVATURE FLOWS 25 Duality between hyerbolic sace and de Sitter sace. In this section,, denotes the inner roduct o R n+1,1. The de Sitter sace is the Lorentzian saceorm in the Minkowski sace with constant sectional curvature K N = 1 : S n,1 = {z R n+1,1 : z, z = 1}, whereas the hyerbolic sace is a Riemannian saceorm in the Minkowski sace with constant sectional curvature K N = 1: H n+1 = {z R n+1,1 : z, z = 1, z 0 > 0}, where z 0 is the time coordinate. Similarly, as or the shere, given an embedding x: M 0 M H n+1 o a closed and strictly convex hyersurace, the reresentation x T x (R n+1,1 o the exterior normal vector ν T x (H n+1 yields the embedding (4.2 x: M 0 M S n,1 o a strictly convex, closed and sacelike hyersurace M. We also call x the Gauss ma o M and similar to the sherical case we have the ollowing theorem: Theorem 4.2. [13, Thm ] Let x: M H n+1 be a closed, connected, strictly convex hyersurace o class C m, m 3, then the Gauss ma x as in (4.2 is the embedding o a closed, sacelike, achronal 8, strictly convex hyersurace M S n,1 o class C m 1. Viewing M as a codimension 2 submaniold in R n+1,1, its Gaussian ormula is x ;ij = g ij x + h ij x, where g ij, h ij are the metric and the second undamental orm o the hyersurace M S n,1 and x = x(ξ is the embedding o M which also reresents the uture directed normal vector o M. The second undamental orm hij is deined with resect to the uture directed normal vector, where the time orientation o N is inherited rom R n+1,1. 8 This roerty is irrelevant or us.

26 26 P. BRYAN, M.N. IVAKI, AND J. SCHEUER The second undamental orms o M, M and the corresonding rincial curvatures κ i, κ i satisy h ij = h ij = x ;i, x ;j, κ i = κ 1 i. The hyersurace M is called the olar set to M and it can be reresented as ollows [13, Thm ]: M = {y S n,1 : su x, y = 0}. x M In this model o the hyerbolic sace the oint (1, 0,..., 0 is called the Beltrami oint. For a given strictly convex hyersurace M H n+1, M bounds a strictly convex body ˆM o the hyerbolic sace, c. [13, Thm ], and due to the homogeneity o the hyerbolic sace, any oint in ˆM may act as Beltrami oint ater suitable ambient change o coordinates. Thereore, in addition to the statement o Theorem 4.2, [13, Thm ] imlies that the dual M is contained in the uture o the slice {z 0 = 0}, M S n,1 + = {z S n,1 : z 0 > 0}. We will also need the reverse direction starting rom a strictly convex, sacelike hyersurace in S n,1. Theorem 4.3. [13, Thm ] Let x: M S n,1 be a closed, connected, sacelike, strictly convex hyersurace o class C m, m 3, such that, when viewed as a codimension 2 submaniold in R n+1,1, its Gaussian ormula is x ;ij = g ij x + h ij x, where x = x(ξ is the embedding, x the uture directed normal vector, and g ij, h ij the induced metric and the second undamental orm o the hyersurace in S n,1. Then we deine the Gauss ma as x = x(ξ x: M H n+1 R n+1,1. The Gauss ma is the embedding o a closed, connected, strictly convex hyersurace M in H n+1. Let g ij, h ij be the metric and the second undamental orm o M, then, when viewed as a codimension 2 submaniold, M satisies the relations x ij = g ij x h ij x, h ij = h ij = x ;i, x ;j, κ i = κ 1 i, where κ i, κ i are the corresonding rincial curvatures. The ollowing illustration shall give a clearer icture o the duality:

27 HARNACK INEQUALITIES FOR CURVATURE FLOWS 27 Dual lows. We want to deduce a duality relation or lows o strictly convex hyersuraces in S n+1, as well as in H n+1 and S n,1. A similar deduction o these results can be ound in [14, Sec. 4] and [31]. For a curvature low (4.3 ẋ = σν, σ = ν, ν, we want to derive the low equation o the Gauss mas x. Here, reresents the Euclidean and the Minkowski inner roduct resectively or lows in S n+1 and H n+1, S n,1. In all three cases, the air x, x satisies Hence we have x, x = 0. x, x = x, ẋ = x, σ x =. Due to x, x ;i = 0 and the Weingarten equation [13, Lem , Lem ], x, x ;i = h k i x, x ;k = h k i x, ẋ ;k = h k i ;k. Since x = ν and x ;i san T x (S n+1, T x (S n,1 or T x (H n+1 resectively, we obtain x = x, x ν + h k m ;k g ml x ;l = σ ν + b k m g ml ;k x ;l = σ ν + b kl ;k x ;l, where is evaluated at W. Let us ut ( W := (W = 1 (W 1. Thus the low o the olar hyersuraces is governed by (4.4 x = σ ν b kl ;k x ;l, where σ = ν, ν and is evaluated at the correct Weingarten ma W. Hence we have shown a low o the orm (4.3 in the ambient saces S n+1, H n+1, S n,1 has a dual low o the orm (1.1 in the ambient saces S n+1, S n,1, H n+1 resectively.

28 28 P. BRYAN, M.N. IVAKI, AND J. SCHEUER 5. Locally symmetric saces and roo o the main theorems In this section, we rove the Harnack inequalities. We restrict to locally symmetric saces since in more general settings we do not know how to deal with the terms including derivatives o the Riemannian curvature tensor. To rove our main theorems, we need a corollary o Lemma 3.7 with bonus term β, c. Lemma 5.2. To rove Lemma 5.2, we need to estimate d 2 W(Ẇ, Ẇ. It is temting to think that the mere convexity o the unction Φ = Φ(κ (with the associated oerator unction would be suicient or this urose. However, note that in (2.7, the second term on the right-hand side requires the mixed terms Ẇ jẇj i i to be nonnegative while we are not aware whether Ẇ is g-seladjoint in general, so some care should be taken. A similar issue arises when dealing with inverse concave curvature unctions. Lemma 5.1. Let N be a saceorm and satisy Assumtion I F is convex, then we have 2 1 dw(ẇ, Ẇ 1 d W (Ẇ2. I F is inverse concave, then we have d 2 W(Ẇ, Ẇ + 2d W (Ẇ W 1 Ẇ d W (Ẇ2. This inequality is reversed i F is inverse convex. Proo. Let F be convex. We irst the case consider = 1. In a saceorm we have (5.1 Λ = Rm(ẋ,, ν, = K N (ḡ(ẋ, ḡ(ν, ḡ(ẋ, νg = K N g. In view o (2.7, there holds d 2 W(Ẇ, Ẇ = d2 Φ(κ(diag(Ẇ, diag(ẇ + n i j Φ κ i Φ κ j Ẇ κ i κ jẇj i i, j where (s, ν, is the associated oerator unction to Φ ibrewise. By (3.6 we have Ẇ i j = A i kw k j, i j. At a oint ξ M choose an orthonormal basis {ẽ i } o T ξ M such that the ẽ i are rincial directions, i.e., in this basis we have By scaling the coordinates g ij = δ ij, h ij = κ i δ ij, W i j = κ i δ i j. e i := we obtain the matrix reresentations h = (h ij = (δ ij, ẽ i h(ẽi, ẽ i = ẽi, κi W = (W i j = (κ i δ i j. Note that B is symmetric (e.q., A is h-seladjoint; thereore, A i j = Aj i. Thus or each air i j we have Ẇ i jẇj i = Ai kw k j A j mw m i = κ i κ j A i ja j i 0. Convexity o Φ and [1, Lemma 2.20] yield Φ κ Φ i κ j κ i κ j 2 dw(ẇ, Ẇ Thereore, we arrive at

29 HARNACK INEQUALITIES FOR CURVATURE FLOWS 29 For 1 we calculate and (5.2 d W (Ẇ = ϕψf 1 d W F (Ẇ d 2 W(Ẇ, Ẇ = ϕψf 1 d 2 WF (Ẇ, Ẇ + ( 1ϕψF 2 d W F (Ẇ2 1 ϕψf d W(Ẇ2 = 1 d W(Ẇ2. Now suose that F is inverse concave. Again we irst consider the case = 1. For the inverse symmetric unction Φ the corresonding F has the roerty that F (W = 1 F (W 1 and similarly or and. So or all B T 1,1 (M we get d W (B = 2 d W 1(W 1 B W 1 and (5.3 d 2 W (B, B = 2 3 ( d W 1(W 1 B W d 2 W 1(W 1 B W 1, W 1 B W d W 1(W 1 B W 1 B W 1, where = (W and = (W 1. Take B = W Ẇ W. As above d2 W (B, B is given exlicitly by d 2 W (B, B = d 2 Φ(κ(diag(B, diag(b + n where, in the same basis {e i } as above, i j B i j = W i ka k mw m l W l j = κ i κ 2 ja i j. Φ κ i Φ κ j B κ i κ jb i j i, j Hence B i j Bj i 0 or each air o i j. So due to the concavity o Φ we have From (5.3 we obtain d 2 W (B, B 0. d 2 W 1(Ẇ, Ẇ + 2d W 1(Ẇ W Ẇ 2 d W 1(Ẇ2. This roves the claim when = 1. For the general case, we use (5.2 to obtain d 2 W(Ẇ, Ẇ ϕψf 1 ( 2F 1 d W F (Ẇ2 2d W F (Ẇ W 1 Ẇ + 1 dw(ẇ2 = 2d W (Ẇ W 1 Ẇ d W(Ẇ2.