8
$\begingroup$

Let $(M,g)$ be a smooth manifold equipped with a metric tensor $g$, and $f\in C^\infty(M)$ a regular function (i.e., with nowhere vanishing differential).

Denote by $\mathrm{Hess}_g(f):=\nabla df$ the Hessian tensor of $f$ with respect to the metric $g$, and by $N_f:=f^{-1}(\{0\})$ the one-codimensional submanifold of $M$ determined by $f$.

QUESTION: how to characterise the functions $f$, with $\mathrm{Hess}_g(f)$ proportional to $g$? Do they belong to some well-known class? What about the submanifolds $N\subset M$, which can be written as $N=N_f$, for such an $f$?

By "proportional" I mean w.r.t. a conformal factor, and by "characterisation" I mean "what makes them special". The question may be restricted to the case when $g$ is flat.

Motivating example. Let $M=\mathbb{R}^2$ and $g$ the Euclidean metric. Then, $$\mathrm{Hess}_g(f)=f_{xx}(dx)^2+f_{xy}dxdy+f_{yy}(dy)^2$$ is proportional to $g=(dx)^2+(dy)^2$ if and only if $f_{xy}=0$ and $f_{xx}=f_{yy}$, which means $$ f=a(x^2+y^2)+bx+cy+d\, , $$ i.e., $f$ must be proportional to the square of the norm induced by $g$, plus some lower-order terms. I was wondering whether a similar result holds in general (of course, assuming $g$ to be flat).

$\endgroup$

3 Answers 3

8
$\begingroup$

It is known (say, Y. Tashiro, Complete Riemannian manifolds and some vector fields, Trans.Amer.Math.Soc. 117(1965) 251– 275; I am not sure that Tashiro is the first who proved it and there were many later papers which independently prove the same result later. The proof is pretty straightforward.) that the existence of such a function for a metric implies that the metric is a warped product metric, $$ g= dx_1^2 + \sigma(x_1) \sum_{i,j=2}^{n} h_{ij}(x_2,...,x_n)dx_i dx_j, \ \ \ (*) $$ and for such metrics a solution $f$ of your equation $\nabla\nabla f= \lambda(x) g$ is some function of $\sigma$.

The special case when the metric $g$ is flat is much more easy. In this case the function $\sigma(x_1)$ from $(*)$ is automatically $\textrm{const_1} \ (x_1+ \textrm{const}_2)^2$ (this fact is also classically known), so in the nontrivial case, when $\textrm{const_1}\ne 0$, after the affine reparameterization of $x_1$, the form $(*)$ is the cone form $$ g= dx_1^2 + x_1^2 \sum_{i,j=2}^{n} h_{ij}(x_2,...,x_n)dx_i dx_j, $$

This implies that in the flat case the function $\sigma(x_1)$, in some euclidean coordinate system $(y_1,...,y_n)$, is (after addition of linear terms and constant which change nothing) simply the function $$f= y_1^2 +...+ y^2_n.$$

For flat metrics of other signatures the answer is essentially the same, in this case $f= \varepsilon_1y_1^2 +...+ \varepsilon_ny^2_n,$ where $\varepsilon_i\in \{\pm 1\}$ are responcible for the signature

$\endgroup$
8
$\begingroup$

It is rare that manifold admits such functions.

Assume $Hess_g(f)=\lambda\cdot g$.

If $\lambda=0$ then it is so called affine function on $M$. In this case $M$ is isometric to $\mathbb R\times M'$ and the function $f$ depends linearly on the first projection.

If $\lambda\ne 0$ the picture is similar, but you get so called warped product. The level sets of your function formed by manifolds with constant normal curvature.

$\endgroup$
1
  • $\begingroup$ Very illuminating - thanks! The statement "The level sets of your function formed by manifolds with constant normal curvature" is the most interesting one for me: do you have a reference for it? $\endgroup$ Jul 31, 2015 at 8:47
2
$\begingroup$

Since the proof that such a function implies the metric is a warped product metric is fairly simple, I include a complete copy below.

1

Start with $\nabla^2 f = \lambda g$. For any vector field it holds

$$ \frac12 \nabla_a \nabla_b(X^c X_c) = (\nabla_a \nabla_b X^c) X_c - \nabla_b X^c \nabla_a X_c $$

which implies, after taking the antisymmetric part and using that Hessians of scalars are symmetric, that

$$ (\nabla_a \nabla_b X_c) X^c - (\nabla_b\nabla_a X_c) X^c = 0 $$

Now specializing to $X = \nabla f$ the gradient, we find

$$ \nabla_a \lambda X_b - \nabla_b \lambda X_a = 0 $$

which shows that $d\lambda$ is collinear with $df$; or that $\lambda$ is constant on the level sets of $f$.

2

$\nabla_X X = \lambda X$ and so $X$ is (pre-)geodesic.

$\nabla g(X,X) = 2 g(X, \nabla X) = 2 \lambda X$, hence $g(X,X)$ is constant along level sets of $f$.

Letting $Y,Z$ be orthogonal to $X$ (hence tangent to level sets of $f$), we find

$$ - g(II(Y,Z),X) = - g(X, \nabla_Y Z) = g(\nabla_Y X,Z) = \lambda g(Y,Z) $$

As $X$ is a normal to the level set of $f$ with $g(X,X)$ fixed along said level set, this shows that the level sets of $f$ is totally umbilic with constant proportionality factor.

3

The Lie derivative $\mathcal{L}_X g = 2 \lambda g$ by assumption (so $X$ is a homothety). Since $X$ is hypersurface orthogonal, we can write

$$ g = \frac{X^\flat X^\flat}{g(X,X)} + h $$

where $h$ is the induced metric on the level sets of $f$. Taking the Lie derivative we find, after a computation, that this implies

$$ \mathcal{L}_X h = 2 \lambda h $$

As $\lambda$ is constant along the leaves of $f$, we can find a function $F$ that is constant on the leaves of $f$ so that $X(F) = - 2 \lambda$. Then writing $\tilde{h} = e^F h$, we find that $\mathcal{L}_X \tilde{h} = 0$. So we can write

$$ g = \frac{X^\flat X^\flat}{g(X,X)} + e^{-2F} \tilde{h} $$

where $\mathcal{L}_X \tilde{h} = 0$. This is precisely the warped product form.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.