2
$\begingroup$

Consider the family $\mathbb{S}$ of compact oriented surfaces homeomorphic to the 2-sphere $\mathcal{S} = S^2$. Consider arbitrary continuous mappings $k: \mathcal{S} \rightarrow \mathbb{R}$ which obey the condition $\int_\mathcal{S} k = 4\pi$. The latter looks like the Gauss-Bonnet condition for 2-spheres, and that's why I want to call those mappings “curvature-like”.

For which curvature-like mappings $k$ does exist a surface $S \in > \mathbb{S}$ which $k$ is the Gaussian curvature of?

In other words: For which curvature-like mappings $k$ does exist a surface $S \in \mathbb{S}$ with a homeomorphism $s: S \rightarrow \mathcal{S} $ such that $k \circ s$ equals the Gaussian curvature $\kappa: S \rightarrow \mathbb{R}$?

Background (and for comparison's sake): When one considers (plane) Jordan curves - which are homeomorphic to the 1-sphere $S^1$ - and continuous “curvature-like” mappings $k: S^1 \rightarrow \mathbb{R}$ which obey the condition $\int_{S^1} k = 2\pi$ – in accordance to Hopf's Umlaufsatz – then the additional condition for a curvature-like mapping to be a “real” curvature seems to be given by the four-vertex theorem.

$\endgroup$
8
  • 2
    $\begingroup$ This question was studied by Gluck, if I remember correctly. Keep in mind that the area form will also vary with the metric, so as long as the integral of a continuous function on the sphere is positive, you can arrange that it is the curvature of a Riemannian metric. $\endgroup$
    – Ben McKay
    Commented Feb 24, 2013 at 22:18
  • $\begingroup$ @Ben: Would this imply, that every curvature-like mapping can be the curvature of some topological sphere? Even for other integral values than $4\pi$? $\endgroup$ Commented Feb 24, 2013 at 22:42
  • 1
    $\begingroup$ @Ben, you wanted to say "if the function is positive at one point", not "as long as the integral ... is positive". If I remember right the same holds for Scalar curvature in higher dimensions, but I do not remember a ref. $\endgroup$ Commented Feb 25, 2013 at 0:13
  • $\begingroup$ @Anton: correct: positive at one point. No need to look at the integral. @Hans: correct, for any integral. $\endgroup$
    – Ben McKay
    Commented Feb 25, 2013 at 6:50
  • 2
    $\begingroup$ I don't understand how you are integrating $k$ over the $2$-sphere, since you can't integrate functions without having a measure specified. The integral constraint makes no sense without it. Similarly, for a $1$-sphere you can't integrate $\kappa$ without having a measure on the $1$-sphere, i.e., an arc-length. Even when you do specify an arclength $ds$ as well as $\kappa$, it is certainly not enough to require that $\int\kappa\ ds=2\pi$ and that $\kappa$ have at least $4$ critical points in order for there to be a curve in the plane with that curvature and arclength. $\endgroup$ Commented Feb 25, 2013 at 12:51

1 Answer 1

5
$\begingroup$

Kazdan, Jerry L. and Warner, F. W., Existence and conformal deformation of metrics with prescribed Gaussian and scalar curvatures, Ann. of Math. (2), 101, 1975, pp. 317--331 prove that a $C^{\infty}$ function $K$ on the 2-sphere is the Gauss curvature of a $C^{\infty}$ Riemannian metric if and only if $K$ is positive at at least one point of the sphere. In the same paper, they prove that if $M$ is a compact manifold of dimension 3 or more, and $K$ is a $C^{\infty}$ function on $M$, and $K$ is somewhere negative then $K$ is the scalar curvature of a $C^{\infty}$ Riemannian metric, while is $K$ is nowhere negative, then $K$ is the scalar curvature of a $C^{\infty}$ Riemannian metric if and only if $M$ admits a Riemannian metric of constant positive scalar curvature.

$\endgroup$
2
  • $\begingroup$ Thank you very much. (Here is a link: kfki.hu/~iracz/sgimp/cikkek/KazdanWarner.pdf) $\endgroup$ Commented Feb 27, 2013 at 8:30
  • $\begingroup$ I think the last statement is not quite correct as $K$ could be the zero function, in which case $M$ could be a Ricci-flat manifold which does not admit psc metrics, e.g. a K3 surface or a torus. $\endgroup$ Commented Aug 16, 2021 at 2:38

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .