arXiv:2101.10251v1 [math.DG] 25 Jan 2021 [6]): ingeometry. tion o1K43,JpnSceyfrtePooino Science. of Promotion the for Society Japan No.19K14534, ic o sdfie sflosb sn h ic esrRic( Ricci the using by T follows flow. of as Ricci theory the defined f by the is In solved in was flow powerful. conjecture Ricci tool is Poincare powerful flow known, well Ricci most is the as the particular, of In one geometry. differential is flow geometric The ulfltsrcue ec,itrsigy hyhv esa str the Hessian have have they They interestingly, Hence, geometry. structure. information flat probability in dual of important families Mixture Amar are S. and distributions importa by families and introduced Exponential was basic particular, which a In field, as this regarded in research is mathematical geometry Information race. man aiod( where to ycnieigtegoercflwfrtescn ozlfor Koszul second the for flow geometric the considering by stood e od n phrases. and words Key EFSMLRSLTOST H ES FLOW HESSE THE TO SOLUTIONS SELF-SIMILAR 2010 h uhri atal upre yteGati-i o on Scie Young for Grant-in-Aid the by supported partially is author The nomto emtyi ul ntebsso ieeta geometry. differential of basis the on built is geometry Information ahn erigmgtb n ftems oeflto o h hu- the for tool powerful most the of one be might learning Machine g ahmtc ujc Classification. Subject Mathematics uint h es o nHsinmnfls ninformation On . Hessian on flow the Hesse geometry, the to lution Abstract. ulsaeo es-isenmnfl a eudrto sa as understood be can the manifold that show Hesse-Einstein soliton. we a Hesse Furthermore, of com- a any space proper. that it dual is compact show soliton call non-trivial any we We Hesse and expanding paper, is one. this soliton Hesse In Levi-Civita proper pact connection the manifold. is flat with Hessian it a coincide proper Therefore, with not manifold one. does Hessian Levi-Civita which a the consider with to coincide interesting not do which ( t stetm eedn imninmti naRiemannian a on metric Riemannian dependent time the is ) ,g M, ( t ) hrfr,Hsinmnflscnb epyunder- deeply be can manifolds Hessian Therefore, )). edfieaHsesltn hti,asl-iia so- self-similar a is, that soliton, Hesse a define We e cneto n the and -connection es o;Hsesltn;Hsinmnfls Informa- manifolds; Hessian solitons; Hesse flow; Hesse ∂t ∂ 1. g ( HNMAETA SHUN Introduction t = ) − 1 2Ric( 31,5E9 50,62B11. 35C06, 53E99, 53B12, m cneto r important, are -connection g ( t )) , g ucture. ( t )(cf. )) ntists, m act, he nt β i. . 2 SHUNMAETA

In fact, β plays a similar role to that of the Ricci tensor in a Hessian manifold (i.e., a manifold with a Hessian structure). The flow is called the Hesse flow (or the Hesse-Koszul flow) defined by M. Mirghafouri and F. Malek (cf. [7], see also [9]): ∂ g(t)=2β(g(t)). ∂t They proved the short-time existence, the global existence and the uniqueness of it. S. Puechmorel and T. D. Tˆo[9] studied some conver- gence theorems of it on compact Hessian manifolds. A self-similar solution i.e., a soliton equation plays an important and fundamental role in the study of a geometric flow. In fact, the Ricci soliton which is the self-similar solution to the Ricci flow plays an important role in solving Poincare conjecture and the geometrization conjecture. Therefore, in this paper, we define the self-similar solution to the Hesse flow and study it. In particular, we show that the expanding case is important in compact Hesse solitons. We also show that one can understand that a non trivial gradient Hesse soliton is interesting from the point of view information geometry. In particular, under the second Koszul form coincides with the dual one, any compact gradient Hesse soliton must be Hesse-Einstein. Hesse-Einstein manifolds can be regarded to a notion of Einstein manifolds in Riemannian geometry. Furthermore, we show that one can understand the of a Hesse-Einstein manifold as a Hesse soliton.

2. Preliminary In this section, we set up terminology and define some notions which are related to Hessian manifolds and information geometry.

2.1. Riemannian geometry. Let (M,g) be an n-dimensional Riemannian manifold. As is well known, the Levi-Civita connection ∇ : T M × C∞(T M) → C∞(T M) is the unique connection on T M, which is compatible with the metric and is torsion free:

Xg(Y,Z)= g(∇X Y,Z)+ g(Y, ∇X Z),

∇X Y −∇Y X = [X,Y ]. SELF-SIMILAR SOLUTIONS TO THE HESSE FLOW 3

The Riemannian curvature tensor is defined by

Rm(X,Y )Z = ∇X ∇Y Z −∇Y ∇X Z −∇[X,Y ]Z, i for any vector field X,Y,Z ∈ X(M). We use the notations R jkl as ∂ ∂ ∂ n ∂ Rm , = Ri , ∂x ∂x ∂x jkl ∂x k l j i i   X ip p and Rijkl = g R jkl. The Ricci and scalar curvatures are defined by Rij = Rijik and R = Rii.

2.2. Hessian manifolds. Let M be an n-dimensional smooth manifold. A connection D is said to be flat if D satisfies that it is torsion free and the curvature tensor RmD vanishes, that is,

DX Y − DY X = [X,Y ], and D Rm (X,Y )Z := DX DY Z − DY DX Z − D[X,Y ]Z =0. Definition 2.1. A Riemannian metric g on a flat manifold (M,D) is called a Hessian metric if g can be locally expressed by g = Ddϕ, for some smooth function ϕ, that is, ∂2ϕ gij = , ∂xi∂xj for an affine coordinate system. (D,g) is called a Hessian structure. (M,D,g) is called a Hessian manifold. Let D′ = 2∇ − D, then D′ is also a flat connection and (D′,g) is a Hessian structure. D′ is called the dual connection and (D′,g) is called the dual Hessian structure of (D,g). The flat connection D and the dual one D′ satisfy that ′ Xg(Y,Z)= g(DX Y,Z)+ g(Y,DX Z).

Definition 2.2. Let vg be the volume form of g and X be a vector field on M. The first and second Koszul forms α and β of (M,D) are defined by

(2.1) DX vg = α(X)vg,

(2.2) β = Dα. 4 SHUNMAETA

We denote by γ the difference tensor of ∇ and D:

γX Y = ∇X Y − DX Y. i Here we remark that since D∂i ∂j = 0, the components γ jk of γ with re- spect to affine coordinate systems coincide with the Christoffel symbols i ∂ Γ jk of ∇, where ∂i = . ∂xi A tensor field H of type (1, 3) defined by the covariant differential H = Dγ of γ is said to be the Hessian curvature tensor for (D,g). The compo- i nents H jkl of H is given by i i ∂γ jl H jkl = . ∂xk Proposition 2.3 (Proposition 3.4 in [11]). On a Hessian manifold, the following holds: (1) α(X) = Trace γX . r (2) αi = γ ri. r r (3) βij = H rij = Hijr . The second Koszul form β plays a similar role to that of the Ricci tensor and one can define Hesse-Einstein manifolds: Definition 2.4. Let (M,D,g) be a Hessian manifold. If the following holds β = λg, then (M,D,g) is called a Hesse-Einstein manifold. Proposition 2.5 (Proposition 2.3 in [11]). The curvature tensor of a Hessian manifold (M,D) is given as follows.

i i r i r (2.3) R jkl = γ lrγ jk − γ krγ jl. This implies the following. s s r r (2.4) Rjk = R jsk = γ krγ js − αrγ jk, and (2.5) R = |γ|2 −|α|2. We can use the following notations without confusion: For example, i r r γijkγist = γ jkγist, Hrrij = H rij, αrγrij = α γrij, etc. SELF-SIMILAR SOLUTIONS TO THE HESSE FLOW 5

2.3. Information geometry. Hessian manifolds play an important role in information geometry: For Ωn = {1, 2, ··· , n}, let

Sn−1 := p : Ωn → R+; p(ω)=1 ( ω∈Ω ) Xn be a set of all probability distribution on Ωn, where R+ = {x ∈ R; x> 0}. As is well known, one can regard it as a manifold (see for example F F n [5]). A metric g on Sn−1 such as gp (X,Y )= ω=1 p(ω)(X log p(ω))(Y log p(ω)) is called a Fisher information metric. For each α ∈ R, ∇(α) is deter- P mined by α n gF (∇(α)Y,Z)= gF (∇ Y,Z)− p(ω)(X log p(ω))(Y log p(ω))(Z log p(ω)), p X p X 2 ω=1 X where ∇ is the Levi-Civita connection compatible with gF . ∇(α) is called the α-connection. Chentsov (cf. [3]) shows that an extremely natural invariance re- quirement of Sn−1 determines a metric and a connection of Sn−1, that is, the metric is the Fisher information metric and the connection is the α-connection on Sn−1. This means that on information geometry, the α-connection is the most natural connection. The α-connection ∇(α) satisfies that F F (α) F (−α) Xg (Y,Z)= g (∇X Y,Z)+ g (Y, ∇X Z). The most important case is α = 1. Itisknown thatfor(gF , ∇(1), ∇(−1)), F F Sn−1 is the dual flat manifold and g can be written gij = ∂i∂jϕ for an (1) F affine coordinate system (cf [1]). Hence, (Sn−1, ∇ ,g ) is a Hessian manifold with ∇(1) =6 ∇. Therefore, to apply Hessian geometry to information geometry, it is important to consider a Hessian manifold (M,D,g) with D =6 ∇. From this, we define the following: Definition 2.6. Let (M,D) be a Hessian manifold. If D =6 ∇, M is called a proper Hessian manifold.

3. Hesse solitons Let (M,D,g) be a Hessian manifold. In this section, we consider self- similar solutions to the Hesse flow ∂tg =2β. We first consider the Hesse 6 SHUNMAETA

flow from the point of view of the Laplacian on Hessian manifolds. H. Shima [10] considered the Laplacian on Hessian manifolds. p q Definition 3.1 ([10]). Let Ap,q be the tensor product (∧T M)⊗(∧T ∗M). Let vg be the volume element determined by g. We identify vg with n,0 0,n vg ⊗ 1 ∈ A and set vg = 1 ⊗ vg ∈ A . For any vector field X, we define interior product operators by i(X): Ap,q →Ap−1,q, i(X)ω = ω(X, ··· ; ··· ), i(X): Ap,q →Ap,q−1, i(X)ω = ω(··· ; X, ··· ). A coboundary operator ∂ : Ap,q →Ap+1,q is defined by

∂ = e(dxi)D ∂ , ∂xi where e is an exterior product operator defined by e(ω): η ∈Ap,q → ω ∧ η ∈Ap+r,q+s, for ω ∈Ar,s. The adjoint operator of ∂ is denoted by δ = (−1)p ⋆−1 ∂⋆ on the space Ap,q , where ⋆ is the star operator ⋆ : Ap,q → An−p,n−q defined by

(⋆ω)(X1, ··· ,Xn−p; Y1, ··· ,Yn−q)vg ∧ vg

= ω ∧ i(X1)g ∧···∧ i(Xn−p)g ∧ i(Y1)g ∧···∧ i(Yn−q)g. Then, we can define the Laplacian on a Hessian manifold as follows ∆= ∂δ + δ∂. By the above definition, Shima [10] showed that ∆g = β. Therefore, interestingly, one can obtain that the Hesse flow can be written as ∂ g(t)=2∆g(t). ∂t In the following of this section, we consider a self-similar solution to the Hesse flow: g(t)= σ(t)ψ∗(t)g(0), where g(0) is the Hessian metric g, σ(t): R → R+ is a smooth function and ψ(t): M → M is a 1-parameter family of diffeomorphisms. By differentiating, we have d (3.1) 2β(g(t)) = σ(t)ψ∗(t)g(0) + σ(t)ψ∗(t)(L g(0)), dt X where LX denotes the Lie derivative by the time dependent vector field d X such that X(ψ(t)(p)) = dt (ψ(t)(p)) for any p ∈ M. SELF-SIMILAR SOLUTIONS TO THE HESSE FLOW 7

Claim 1. β(cg)= β(g) for any positive constant c ∈ R.

Proof. Let vg and vcg be the volume forms of g and cg, respectively. Assume that αc is the first Koszul form for cg. By definition (2.1), we have c DX vcg = α (X)vcg. From this and the definition of the volume form, we obtain c DX vg = α (X)vg. Therefore, we have αc = α. From this and the definition of the second Koszul form (2.2), β(cg)= Dαc = Dα = β(g). 

By (3.1) and Claim 1, one has d (3.2) 2β(g(t)) = σ(t)g(t)+ L g(t), dt Y where Y (t) = σ(t)X(t). Therefore, we define self-similar solutions to the Hesse flow as follows: Definition 3.2. Let (M,D,g = Ddϕ) be a Hessian manifold. If there exist a vector field X and λ ∈ R, such that 1 (3.3) β − L g = λg, 2 X then, M is called a Hesse soliton. If λ> 0,λ =0,λ< 0, then the Hesse soliton is called expanding, steady or shrinking, respectively. If there exists a smooth function f on M such that X = grad f, that is, (3.4) β − ∇∇f = λg, then the Hesse soliton (M,D,g,f) is called a gradient Hesse soliton, where ∇∇f is the Hessian of f. f is called a potential function. Hesse-Einstein manifolds are trivial solutions of Hesse solitons. There- fore, if a Hesse soliton is Hesse-Einstein, then it is called trivial. If a Hesse soliton is a proper Hessian manifold, then it is called a proper Hesse soliton. 8 SHUNMAETA

4. Existence and non-existence theorems for Hesse solitons In this section, we show some existence and non-existence theorems for Hesse solitons. Theorem 4.1. (1) There exist no compact shrinking Hesse solitons. (2) Any compact steady Hesse soliton is non proper and trivial. Unlike in the case (1), in the case (2), we remark that there exist non proper and trivial steady Hesse solitons. We will consider it later. We first show that the following lemma. Lemma 4.2. On any Hessian manifold, the following formula holds. 1 (4.1) ∆R = ∇ ∇ α γ −∇ ∇ α α + |∇γ|2 + |Rm|2 + |Ric|2 2 i j k ijk r r i i + Rijβij − Rij∇iαj. Proof. Since 1 ∂gij γijk = and gij = ∂i∂jϕ, 2 ∂xk we have 1 ∇ γ = ∂ ∂ ∂ ∂ ϕ − (γ γ + γ γ + γ γ ). i jkl 2 i j k l rij rkl rik rjl ril rjk

This means that ∇iγjkl is symmetry with respect to i,j,k,l. A direct computation shows that

∇r∇rγijk = ∇r∇iγrjk

= ∇i∇rγrjk + Rrirpγpjk + Rrijpγrpk + Rrikpγrjp

= ∇i∇rγrjk +(γrptγtir − αtγtip)γpjk

+(γrptγtij − γrjtγtip)γrpk +(γrptγtik − γrktγtip)γrjp

= ∇i∇jαk + γrpt(γtirγpjk + γtijγrpk + γtikγrjp)

− αtγtipγpjk − γrjtγtipγrpk − γrktγtipγrjp, where the first and third equalities follow from the symmetric property of ∇iγjkl with respect to i,j,k,l, and the second one follows from the Ricci identity. From this, one has 1 (4.2) ∆|γ|2 = ∇ ∇ γ γ + |∇γ|2 2 r r ijk ijk = {∇i∇jαk + γrpt(γtirγpjk + γtijγrpk + γtikγrjp) 2 − αtγtipγpjk − γrjtγtipγrpk − γrktγtipγrjp}γijk + |∇γ| . SELF-SIMILAR SOLUTIONS TO THE HESSE FLOW 9

Substituting 2 |Rm| = RijklRijkl

= γrptγtirγpjkγijk + γrptγtijγrpkγijk − γrjtγtipγrpkγijk − γrktγtipγrjpγijk, into (4.2), we have 1 ∆|γ|2 = ∇ ∇ α γ + |∇γ|2 + |Rm|2 2 i j k ijk + γrpkγtikγrjpγijk − αtγtipγpjkγijk. From this, (2.4), 2 |Ric| = γskrγrjsγkipγijp − γskrγrjsαiγijk − αrγrjkγikpγpji + αrαiγrjkγijk, and ∇iαj = βij − γrijαr, one has 1 ∆|γ|2 = ∇ ∇ α γ + |∇γ|2 + |Rm|2 + |Ric|2 + γ γ α γ − α α γ γ 2 i j k ijk ijk rjk p ipr i r ijk rjk 2 2 2 = ∇i∇jαkγijk + |∇γ| + |Rm| + |Ric| + Rijβij − Rij∇iαj. Therefore, we have 1 ∆R = ∇ ∇ α γ −∇ ∇ α α + |∇γ|2 + |Rm|2 + |Ric|2 2 i j k ijk r r i i + Rijβij − Rij∇iαj.  By using the above lemma, one can show Theorem 4.1. Proof of Theorem 4.1. By taking the trace of (3.3), we have

βii − div X = λn. From this, one has

λ n Vol(M,g)= βii − div Xvg ZM 2 = ∇iαi + |α| − div Xvg ZM 2 = |α| vg ≥ 0, ZM where the last equality follows from Stokes’ theorem. Hence, one has λ ≥ 0. Therefore, there exist no compact shrinking Hesse solitons. If λ = 0, then one has α = 0. Furthermore, by Lemma 4.2, we have 1 ∆R = |∇γ|2 + |Rm|2 + |Ric|2. 2 10 SHUN MAETA

By Green’s formula, one has

2 2 2 |Ric| + |Rm | + |∇γ| vg =0. ZM Therefore, M is flat, in particular R =0. From this and (2.5), we have γ = 0, that is, D = ∇. Furthermore, we also have β = 0. Therefore, it is also trivial.  As mentioned above, we consider the properness of steady Hesse solitons. The equation of steady Hesse solitons is 1 β − L g =0. 2 X From the proof of (2) of Theorem 4.1, any compact steady Hesse soliton is flat and non proper. Hence, any compact steady Hesse soliton is

LX g =0. One can construct many examples of steady Hesse solitons by taking the vector field X as Killing vector field: Proposition 4.3. Let (M,g,X) be a non proper Hessian manifold with a Killing vector field X (and the Levi-Civita connection ∇). Then, β and LX g vanishes, and therefore, (M,g,X) is a steady Hesse soliton. We remark that if α = α′, then D = ∇ on compact Hessian man- ′ ′ ifolds. In fact, since the volume form is parallel, α (X) = DX vg = ′ (2∇ − D)vg = −DX vg = −α(X), that is, α = −α , thus one has α = α′ =0. By Lemma 4.2 and Green’s formula, one has

2 2 2 |Rm| + |Ric| + |∇γ| vg =0. ZM From this and (2.5), we have γ = 0, that is, D = ∇. On a complete Hessian manifold, it is well known that E. Calabi obtained the same conclusion (cf. [2]), that is, any complete Hessian manifold with α =0 satisfies D = ∇. From the above arguments, we consider a more general problem. Obviously, if a Hessian manifold M is non proper, then β = β′(= 0). In particular, ∇α = 0. In fact, since α = −α′, one has β′ = D′α′ = −D′α = −(2∇ − D)α = β − 2∇α. Therefore, β′ − β =2∇α. However, the converse is not true, that is, even if β = β′, M might not satisfies that D = ∇. In fact, the following example satisfies β = ′ n β = 2 g, but D =6 ∇. This means that there exist proper Hesse-Einstein manifolds. SELF-SIMILAR SOLUTIONS TO THE HESSE FLOW 11

Example. Let

n−1 n−1 Ω= x ∈ Rn; x > (x )2 and ϕ = − log x2 − (x )2 .  n v i  n i u i=1 i=1 !!  uX  X Then, (Ω,D,g = Ddϕt) is a Hessian structure on Ω.   From the above argument, it is interesting to consider the problem: “Does there exist non trivial Hesse soliton with β = β′ (that is, ∇α = 0)?” We first consider a complete Einstein Hessian manifold with a non- negative Einstein constant λ, that is, a Hessian manifold with Ric = λg with λ ≥ 0. Proposition 4.4. Any complete Einstein Hessian manifold with a non- negative Einstein constant λ and β = β′ is flat and ∇γ =0. Proof. By the assumption, r rs 0= ∇iαj = βij − γ ijαr = βij − g γrijαs. From this, (4.1) and the assumption, 1 ∆R = |∇γ|2 + |Rm|2 + |Ric|2 + λβ 2 ii = |∇γ|2 + |Rm|2 + |Ric|2 + λ|α|2 1 ≥ R2, n where the last inequality follows from the Schwarz inequality. Since the Ricci curvature is non-negative, by the Omori-Yau maximum principle (cf. [8], [12]), R =0. Hence M is flat and ∇γ =0.  Lemma 4.5. Any Hesse soliton with β = β′ satisfies that div X is constant. Proof. Since r rs 0= ∇iαj = βij − γ ijαr = βij − g γrijαs, we have 2 βii = |α| . Hence, one has ∇kβii =0. By the equation of Hesse solitons (3.3),

0= ∇kβii = ∇k(div X + nλ)= ∇kdiv X, which implies that div X is constant.  12 SHUN MAETA

By Lemma 4.5, one can show the following: Proposition 4.6. If compact Hesse solitons satisfy β = β′, then div X = 0. Proof. By Lemma 4.5, div X is constant, say C. By Stokes’ theorem,

0= div Xvg = C Vol(M). ZM Thus, C = 0, that is, div X = 0.  In particular, if M is gradient, by the standard maximum principle, one can obtain the following. Corollary 4.7. Any compact gradient Hesse soliton with β = β′ is trivial. A similar result for complete Hesse solitons can be obtained. Proposition 4.8. Any complete gradient Hesse soliton with β = β′ and non-negative Ricci curvature is trivial. Proof. By Lemma 4.5, ∆|∇f|2 = 2|∇∇f|2 + 2Ric(∇f, ∇f)+2g(∇f, ∇∆f) = 2|∇∇f|2 + 2Ric(∇f, ∇f) ≥ 0. Hence, Omori-Yau maximum principle shows that |∇f|2 is constant, say C. Assume that C > 0. Since ∇∇f =0, ∆f =0. From this, ∆ef = |∇f|2ef + ∆fef = |∇f|2ef > 0. By Omori-Yau maximum principle again, ef is constant, that is, f is constant, which is a contradiction. 

By Corollary 4.7, it is interesting to consider non trivial gradient Hesse solitons from the point of view of information geometry. Corollary 4.9. Any compact non trivial gradient Hesse soliton is proper. Proof. By Corollary 4.7, ∇α =6 0 at some point p ∈ M, i.e., on some open set Ω ∋ p. Hence, ∇γ =6 0 on Ω. In fact, if ∇γ = 0 at q ∈ Ω, then we have ∇α =0 at q, which is a contradiction. Therefore, γ =6 0 on some set Ω˜ of M, which means that the soliton is proper. 

By the same argument, one can show the following. SELF-SIMILAR SOLUTIONS TO THE HESSE FLOW 13

Corollary 4.10. Any complete non trivial gradient Hesse soliton with non-negative Ricci curvature is proper.

5. Dual Hessian structure In this section, we consider the dual space of a Hessian manifold (M,D,g) and show that one can understand the dual space of a Hesse- Einstein manifold as a Hesse soliton. Theorem 5.1. Let (M,D,g) be a Hesse soliton, 1 β − L g = λg, 2 X then the dual space (M,D′,g) is also a Hesse soliton which satisfies that ′ 1 β − L − ♯ g = λg, 2 (X 2α ) where ♯ is a musical isomorphism ♯ : T M ∗ → T M, g(α♯,X)= α(X), for any vector field X on M. Proof. By the definition of the musical isomorphism ♯,

(∇α)(Y,Z)=(∇Y α)(Z)

= Yα(Z) − α(∇Y Z) ♯ ♯ = Yg(α ,Z) − g(α , ∇Y Z) ♯ ♯ ♯ = g(∇Y α ,Z)+ g(α , ∇Y Z) − g(α , ∇Y Z) ♯ = g(∇Y α ,Z).

′ 1 ′ Since β and β are symmetric 2 forms, ∇α = 2 (β − β) is also a sym- metric 2 form. Thus, 2(∇α)(Y,Z)=(∇α)(Y,Z)+(∇α)(Z,Y ) ♯ ♯ = g(∇Y α ,Z)+ g(∇Zα ,Y )

= Lα♯ g(Y,Z). Since 2∇α = β − β′ and (M,D,g) is a Hesse soliton 1 β − L (Y,Z)= λg, 2 X 14 SHUN MAETA one has β′(Y,Z)= β(Y,Z) − 2(∇α)(Y,Z) 1 = L g(Y,Z)+ λg(Y,Z) −L ♯ g(Y,Z) 2 X α 1 = L − ♯ g(Y,Z)+ λg(Y,Z). 2 (X 2α )  We consider gradient Hesse solitons. If the first Koszul form α is exact, that is, α = dF for some smooth function F on M, then the Hesse soliton of the dual space is also gradient. Corollary 5.2. Let (M,D,g,f) be a gradient Hesse soliton, such that the first Koszul form is exact, that is, α = dF for some smooth function F on M. Then the dual space (M,D′,g) is also a gradient Hesse soliton with the potential function f − 2F. Proof. Since α = dF , we have g(α♯,Y )= α(Y )= dF (Y )= XF = g(∇F,Y ), for any vector field Y on M. Thus, we have α♯ = ∇F. By Theorem 5.1, the proof is complete.  One can understand the dual space of Hesse-Einstein manifolds as Hesse solitons. Corollary 5.3. Let (M,D,g) be a Hesse-Einstein manifold, β = λg, then the dual space is a Hesse soliton (M,D′, g, −2α♯), that is, it sat- isfies ′ 1 β − L − ♯ g = λg. 2 ( 2α )

References 1. S. Amari, Information Geometry and Its Applications, Applied Mathematical Sciences, 194. Springer, [Tokyo], (2016). 2. E. Calabi, Improper affine hyperspheres of convex type and a generalization of a theorem by K. J¨orgens, Mich. Math. J. 5, (1958) 105-126. 3. N. N. Chentsov, Statistical Decision Rules and Optimal Inference, American Mathematical Society, Providence, RI (1982). SELF-SIMILAR SOLUTIONS TO THE HESSE FLOW 15

4. B. Chow, S-C. Chu, D. Glickenstein, C. Guenther, J. Isenberg, T. Ivey, D. Knopf, P. Lu, F. Luo and L. Ni, The Ricci Flow: Techniques and Applications Part1 Mathematical Surveys and Monographs 135, Amer. Math. Soc., (2007). 5. A. Fujiwara, Foundations of information geometry, Makinoshoten, (2015). 6. R. Hamilton, Three-manifolds with positive Ricci curvature, J. Differential Geom. (1982) 17, 255–306. 7. M. Mirghafouri, F. Malek, Long-time existence of a geometric flow on closed Hessian manifolds, J. Geom. Phys. 119 (2017) 54-65. 8. H. Omori, Isometric immersions of Riemannian manifolds, J. Math. Soc. Japan. (1967) 19, 205-214. 9. S. Puechmorel and T. D. Tˆo, Convergence of the Hesse-Koszul flow on compact Hessian manifolds, arXiv:2001.02940 [math.DG]. 10. H. Shima, Vanishing theorems for compact Hessian manifolds, Ann. Inst. Fourier, Grenoble, 36-3 (1986), 183-205. 11. H. Shima, The geometry of Hessian structures, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, (2007). 12. S.-T. Yau, Harmonic functions on complete Riemannian manifolds, Comm. Pure Appl. Math. 28, (1975), 201–228.

Department of Mathematics, Shimane University, Nishikawatsu 1060 Matsue, 690-8504, Japan. Email address: [email protected] or [email protected]