---
title: 'Hesse Manifolds: Optimization, Geometry & Cosmology'
url: https://www.emergentmind.com/topics/hesse-manifold
type: topic
---

# Hesse Manifolds: Optimization, Geometry & Cosmology

“Hesse manifold” is not a single universally fixed term. In recent infinite-dimensional optimization, it denotes a weak Riemannian \(C^\infty\)-manifold admitting a metric spray, so that a Levi–Civita connection and a Riemannian Hessian become available even when the manifold is modeled on locally convex, possibly non-Banach spaces [2603.25396]. In affine differential and information geometry, the same label is often used interchangeably with “Hessian manifold,” meaning an affine manifold \((M,\nabla)\) with \(\nabla\) flat and torsion-free and a metric locally of the form \(g=\nabla(df)\) [2509.01176]. A third usage, developed in the study of hidden symmetries of multifield cosmological models, calls a Riemannian manifold \((M,G)\) a Hesse manifold when it admits nontrivial solutions of the PDE \(\mathrm{Hess}_G(A)=GA\) [2009.05117]. These notions are explicitly distinguished in the literature and are not equivalent.

## 1. Terminological scope

The present literature supports three principal meanings.

| Usage | Defining condition | Typical context |
|---|---|---|
| Weak-Riemannian Hesse manifold | \((M,g)\) admits a metric spray \(S_g\) | Optimization on weak Riemannian manifolds |
| Affine Hesse/Hessian manifold | \((M,\nabla)\) is affine and \(g=\nabla(df)\) locally | Affine differential geometry, information geometry |
| Hesse-equation manifold | \(\mathrm{Hess}_G(A)=GA\) has nontrivial solutions | Hyperbolic geometry, cosmology |

The ambiguity is substantive rather than stylistic. The weak-Riemannian notion is designed to recover second-order optimization on manifolds where the musical morphism may fail to be surjective and where Levi–Civita connections need not exist a priori. The affine notion fixes a flat torsion-free connection and studies metrics that are Hessians of local potentials. The Hesse-equation notion does not assume an affine flat structure at all; it is instead defined by the existence of special eigenfunctions of the Riemannian Hessian.

Two explicit warnings recur in the literature. The optimization-theoretic Hesse manifold is stated to be unrelated to the classical Hessian manifold of information geometry [2603.25396]. Conversely, the cosmological Hesse manifold is stated not to be confused with a Hessian manifold, because the defining equation \(\mathrm{Hess}_G(A)=GA\) does not assert that the metric itself is Hessian in the affine sense [2009.05117].

## 2. Weak-Riemannian Hesse manifolds in optimization

A weak Riemannian manifold in the sense of Bastiani calculus is a \(C^1\)-manifold modeled on locally convex spaces, equipped with a smooth positive-definite bilinear form \(g\) whose induced norm need not reproduce the model topology. This weak setting creates three obstructions: the fiberwise map \(v\mapsto g_x(v,\cdot)\) may fail to surject onto \(T_x^*M\), so the Riemannian gradient of a functional may not exist intrinsically; there is no natural Hilbert completion compatible with the manifold topology; and Levi–Civita connections or metric sprays may fail to exist. Definition 3.4 of “Optimization on Weak Riemannian Manifolds” therefore calls a weak Riemannian \(C^\infty\)-manifold \((M,g)\) a Hesse manifold precisely when it admits a metric spray \(S_g\) [2603.25396].

The existence of a metric spray is the minimal additional structure needed to recover second-order geometry. On a Hesse manifold, for every smooth curve \(c\colon I\to M\), there is a unique covariant derivative operator
\[
\frac{D}{dt}\colon \mathcal V(c)\to \mathcal V(c)
\]
satisfying linearity, Leibniz, chain, and metric product rules. If \(g=f\circ c\), then
\[
g'(t)=g_{c(t)}(\nabla f(c(t)),c'(t)),
\]
and
\[
g''(t)=g_{c(t)}(\operatorname{Hess}f(c(t))[c'(t)],c'(t))
+g_{c(t)}(\nabla f(c(t)),c''(t)).
\]
This yields the second-order Taylor formula
\[
f(c(t))=f(p)+t\,g_p(\nabla f(p),v)+\frac{t^2}{2}\Big[g_p(\operatorname{Hess}f(p)[v],v)+g_p(\nabla f(p),c''(0))\Big]+\mathcal O(t^3),
\]
for \(c(0)=p\) and \(c'(0)=v\) [2603.25396].

The optimization theory differs sharply from finite-dimensional or Hilbert-manifold practice. First-order optimality retains the familiar condition \(D_pf(v)=0\) for all \(v\in T_pM\), or equivalently \(\nabla f(p)=0\) whenever the gradient exists. Second-order criticality requires \(\nabla f(p)=0\) and positive semidefiniteness of \(\operatorname{Hess}f(p)\), but local minimality requires more: positive definiteness is not sufficient in infinite dimensions, and coercivity
\[
g_p(\operatorname{Hess}f(p)[v],v)\ge \mu \,\vvvert v\vvvert_p^2
\]
for some \(\mu>0\) is the condition used to deduce strict local minimality. The paper also establishes the structural hierarchy
\[
\text{Strong Riemannian} \Rightarrow \text{Robust Riemannian} \Rightarrow \text{Hesse} \Rightarrow \text{Weak Riemannian}.
\]
This places Hesse manifolds strictly between arbitrary weak manifolds and settings where full Hilbert-space machinery is available [2603.25396].

The principal examples come from shape analysis and shape optimization. They include \(\mathrm{Imm}(S^1,\mathbb R^2)\) with the invariant \(L^2\) metric
\[
g_{inv,c}(u,w)=\int_{S^1}\langle u(\theta),w(\theta)\rangle |\dot c(\theta)|\,d\theta,
\]
mapping spaces \(C^\infty(K,M)\) with \(L^2\) metrics induced from \(M\), and right-invariant weak metrics on regular Lie groups such as diffeomorphism groups used in LDDMM-type registration. The same framework also explains algorithmic preferences: on weak manifolds, retractions may fail to be locally surjective, so gradient descent is formulated with normalized local additions rather than retractions [2603.25396].

## 3. Affine Hesse or Hessian manifolds

In the classical affine-geometric sense, an affine manifold is a pair \((M,\nabla)\) where \(\nabla\) is flat and torsion-free, equivalently \(R^\nabla=0\) and \(T^\nabla=0\). In affine local coordinates \((x^1,\dots,x^n)\), the condition \(\nabla(dx^i)=0\) holds. A Riemannian metric \(g\) on \((M,\nabla)\) is Hessian if locally there exists a smooth potential \(f\) such that
\[
g=\nabla(df),\qquad g_{ij}=\partial_i\partial_j f.
\]
A Hessian manifold is then a triple \(((M,\nabla),g)\) [2509.01176].

A distinguished subclass is formed by Hessian manifolds of Koszul type. These are manifolds for which there exists a \(1\)-form \(\eta\in\Omega^1(M)\) with
\[
g=\nabla\eta.
\]
Because \(\nabla\) is torsion-free, symmetry of \(g\) forces \(\eta\) to be closed. The recent topological study develops a flat-line-bundle formulation of this structure. The canonical flat line bundle is
\[
K_\nabla=\big(\wedge^n T^*M,\nabla\big),
\]
and the obstruction bundle \((\mathscr L,D)\) is constructed from local Hessian potentials \(f_\alpha\) via transition functions \(\exp(f_\alpha-f_\beta)\). Triviality of \((\mathscr L,D)\) is equivalent to the existence of a global potential \(f\) with \(g=\nabla(df)\). For Koszul type, positive flat line bundles, space-like Lagrangian immersions into \(T^*M\), and hyperbolic affine structures are proved equivalent [2509.01176].

The same work identifies a Legendre-type duality with radiant manifolds. If \(((M,\nabla),g)\) is of Koszul type with \(1\)-form potential \(\eta\), then the conjugate connection \(\nabla^*\) makes \(((M,\nabla^*),g)\) radiant, and \(\eta^\sharp\) becomes an Euler vector field. Conversely, if \(((M,\nabla),g)\) is radiant with Euler field \(H\), then \(((M,\nabla^*),g)\) is of Koszul type with \(1\)-form potential \(H^\flat\), satisfying \(\nabla^*(H^\flat)=g\). In Euclidean affine coordinates this reproduces the classical Legendre transform picture [2509.01176].

The curvature of a Hessian manifold is encoded by the totally symmetric Amari–Chentsov tensor
\[
A(X,Y,Z)=(\nabla_Z g)(X,Y)=g(\nabla^*_X Y-\nabla_X Y,Z).
\]
The paper derives the identity
\[
4\,R_{ijkl}=A_{il}^{\ m}A_{jkm}-A_{ik}^{\ m}A_{jlm},
\]
and corresponding Ricci bounds
\[
-\frac{n-1}{2}|A|^2\,g(X,X)\le \operatorname{Ric}(X,X)\le \frac{n-1}{4}|A|^2\,g(X,X).
\]
This places Hessian geometry simultaneously in affine differential geometry and information geometry, while retaining a genuinely Riemannian curvature theory [2509.01176].

## 4. Topology and cohomology of compact affine Hessian manifolds

Compact Hessian manifolds satisfy strong global restrictions. The Euler characteristic vanishes, \(\pi_1(M)\) is infinite and torsion-free, and if \(\pi_1(M)\) is abelian then \(M\) is homeomorphic to a flat torus \(\mathbb T^n\). Compact Hessian manifolds are aspherical, all rational Pontryagin classes vanish, and for compact orientable manifolds the curved case forces mapping-torus structure: either \((M,g)\) is flat, or \(M\) is a mapping torus. More specifically, if \(b_1(M)=0\) for an orientable compact Hessian manifold, then \(M\) is flat and \(\nabla\) is the Levi–Civita connection of \(g\). For compact orientable curved Hessian manifolds, the universal cover splits as \((\mathbb R^n,g')\times \mathbb R\) [2509.01176].

In dimension three, the classification becomes explicit. Every compact, orientable Hessian \(3\)-manifold is either the Hantzsche–Wendt manifold or admits the structure of a Kähler mapping torus. The refined list given in the three-dimensional classification includes the Hantzsche–Wendt manifold, the \(3\)-torus \(T^3\), \(K\,\widetilde\times\,S^1\), three Euclidean Seifert fibered spaces
\[
(S^2;(3,1),(3,1),(3,-2)),\quad
(S^2;(3,1),(4,-1),(4,-1)),\quad
(S^2;(2,1),(3,1),(6,-5)),
\]
and quotients \((\mathbb H^2\times \mathbb R)/\Gamma\) with \(\Gamma\subset \mathrm{Isom}(\mathbb H^2\times\mathbb R)\) discrete, free, and properly discontinuous [2510.21050].

A complementary cohomological viewpoint is supplied by Dolbeault–Koszul cohomology for flat affine manifolds. For a Hessian manifold \((M,D,g)\), the metric determines a class
\[
[g]\in H^{1,1}(M),
\]
and metrics in the same class differ by \(D\alpha\) for a closed \(1\)-form \(\alpha\). The Künneth formula
\[
H^{p,q}(M\times N)\cong \bigoplus_{i,j} H^{i,j}(M)\otimes H^{p-i,q-j}(N)
\]
holds for flat affine manifolds \(M,N\) when at least one factor is compact. Applied to Hessian metrics on products, this yields the structural statement
\[
g=\pi_M^*g_M+\pi_N^*g_N+D\alpha,
\]
with \(g_M\) and \(g_N\) Hessian metrics on the factors and \(\alpha\) a closed \(1\)-form on \(M\times N\). If one factor is compact hyperbolic flat affine, then \(H^{1,1}=0\) on that factor, so all Hessian metrics on the product arise from the other factor up to a \(D\alpha\) term [2605.10743].

## 5. Hesse manifolds defined by the Hesse equation

Another line of work defines a Hesse manifold analytically rather than affinely. Let \((M,G)\) be a Riemannian manifold of positive dimension \(n\). A Hesse function is a smooth function \(A\in C^\infty(M)\) satisfying
\[
\mathrm{Hess}_G(A)=GA,
\qquad
\nabla_i\nabla_j A = G_{ij}A.
\]
The space of solutions is denoted \(\mathrm H_G(M)\), and the Hesse index is
\[
h_G(M)=\dim_\mathbb R \mathrm H_G(M).
\]
By definition, \((M,G)\) is a Hesse manifold when \(h_G(M)>0\) [2009.05117].

This definition leads to a rigid linear theory. The index satisfies
\[
h_G(M)\le n+1.
\]
For \(f_1,f_2\in C^\infty(M)\), the extended Hesse pairing is
\[
(f_1,f_2)=f_1f_2-(df_1,df_2)_G.
\]
When \(A_1,A_2\in \mathrm H_G(M)\), the quantity \((A_1,A_2)\) is constant, so the pairing restricts to a symmetric bilinear form on \(\mathrm H_G(M)\). Any Hesse function satisfies the Helmholtz and Monge–Ampère consequences
\[
\Delta_G A=-nA,\qquad M_G(A)=A^2.
\]
A basic corollary is that Hesse manifolds are non-compact [2009.05117].

The complete maximally Hesse case is characterized exactly. A complete Hesse manifold with \(h_G(M)=n+1\) is isometric to the Poincaré ball \(D^n\), whose metric is
\[
ds_{G_n}^2=\frac{4}{(1-|u|^2)^2}\sum_{i=1}^n (du^i)^2.
\]
Moreover,
\[
\big(\mathrm H_{G_n}(D^n),(\cdot,\cdot)_{G_n}\big)
\]
is canonically identified with Minkowski space \(\mathbb R^{1,n}\) via the Weierstrass map, and the Hesse pairing has Lorentzian signature \((1,n)\). Local maximality also has a geometric meaning: a Riemannian manifold is locally maximally Hesse if and only if it is hyperbolic. In dimension two, complete Hesse surfaces are exactly the elementary hyperbolic surfaces: the Poincaré disk, the hyperbolic punctured disk, and hyperbolic annuli [2009.05117].

The individual Hesse functions admit a distance-theoretic description. Writing \(\varepsilon_A=\mathrm{sign}((A,A)_G)\), one distinguishes timelike, spacelike, and lightlike Hesse functions. If \(Q_A\) is the corresponding characteristic subset and \(d_A(m)\) the signed distance to \(Q_A\), then
\[
A(m)=\mathrm{sign}(A)\,K_A\,\cosh(d_A(m))
\]
for \(\varepsilon_A=+1\),
\[
A(m)=K_A\,\sinh(d_A(m))
\]
for \(\varepsilon_A=-1\), and
\[
A(m)=\mathrm{sign}(A)\,\exp(d_A(m))
\]
for \(\varepsilon_A=0\). In multifield cosmology these functions generate the hidden, or Hessian, Noether symmetries of the minisuperspace Lagrangian; the characteristic system includes both \(\mathrm{Hess}_G(A)=GA\) and the scalar-potential constraint \((dV,dA)_G=2VA\) [2009.05117].

## 6. Flows, selfsimilarity, and related constructions

Within affine Hessian geometry, one major development is the Hesse–Koszul flow on compact Hessian manifolds. In the normalization used in the convergence theory, the untwisted flow is
\[
\partial_t g_{ij}=-B_{ij}(g),
\]
while the normalized flow for negative first affine Chern class is
\[
\partial_t g=-(B(g)-g).
\]
If \(c_1^{\mathrm{aff}}(M)<0\), the normalized flow exists for all \(t\ge 0\) and converges in \(C^\infty\) to the unique Hesse–Einstein metric \(g_\infty\) satisfying
\[
B(g_\infty)=-g_\infty.
\]
More generally, for any \(\eta\in c_1^{\mathrm{aff}}(M)\), the twisted flow
\[
\partial_t g=-B(g)+\eta
\]
exists for all time and converges to the unique metric solving \(B(g_\infty)=\eta\) [2001.02940].

The corresponding self-similar solutions are Hesse solitons. On a Hessian manifold, a Hesse soliton satisfies
\[
B-L_X g=\lambda g,
\]
and in the gradient case
\[
B-\nabla^g\nabla^g f=\lambda g.
\]
The compact theory is highly restrictive: there are no compact shrinking Hesse solitons, compact steady Hesse solitons are trivial and non-proper, and any non-trivial compact gradient Hesse soliton is proper. Duality is built into the theory: if \((M,\nabla,g)\) is a Hesse soliton, then the dual Hessian structure \((M,\nabla',g)\) is again a Hesse soliton, and the dual of a Hesse–Einstein manifold is a Hesse soliton generated by \(-2a^\#\) [2101.10251].

A related but distinct selfsimilarity theory studies Hessian manifolds \((M,\nabla,g)\) endowed with a homothetic vector field \(\xi\). If the homothety is potential, then the manifold is locally isomorphic to a direct product of radiant selfsimilar Hessian manifolds. On a radiant factor with \(\xi=\lambda\rho\) and \(\lambda\neq 0,2\), there is a canonical Hessian potential
\[
\Phi=\frac{g(\xi,\xi)}{\lambda(2-\lambda)}.
\]
At \(\lambda=2\), positivity fails, which is the “extensive” case emphasized in thermodynamic geometry [1908.01731].

This extensive case is developed separately through degenerate Hessian structures on radiant manifolds. If \((M,\bar\nabla,\rho)\) is radiant and \(g=\bar\nabla^2\Phi\) with \(d\Phi\) extensive, then \(g\) is necessarily degenerate and \(\rho\in \ker(\flat)\). That result is interpreted as the geometric form of the Gibbs–Duhem relation and motivates the use of embedded Hessian submanifolds as the non-degenerate arenas for Ruppeiner-type thermodynamic geometry [1503.00689].

Finally, in special Kähler geometry and its deformations, the Hesse potential provides a real, symplectically covariant formulation in special real coordinates \(q^a=(x^I,y_I)\), with
\[
g_{ab}=\partial_a\partial_b H.
\]
This realizes the scalar manifold as a Hesse or Hessian manifold in the affine sense and underlies both the local \(c\)-map and the Hessian reinterpretation of the holomorphic anomaly equation [1112.2876][1511.06658].

Source: https://www.emergentmind.com/topics/hesse-manifold