MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
3

First let me state a Theorem due to Kazdan and Warner:

``Let M be a compact two dimensional orientable manifold. Let $f: M \rightarrow \mathbb{R}$ be a function that has the same sign as $\chi(M)$, the Euler characteristic of $M$ at some point. Then $M$ admits a metric $g$ such that the Gaussian curvature $K$ is the given function $f$. ''

(I am actually not sure if orientable is necessary). Is anything known about the following question:

``Let M be a compact, orientable manifold. Let $f: M \rightarrow \mathbb{R}$ be a function that has the same sign as $\chi(M)$, the Euler characteristic of $M$ at some point. Then does $M$ admit a metric $g$ such that $$ *e(TM) = f $$ where $e(TM)$ is the Euler class of the Tangent bundle and * is the Hodge star operator?''

Notice that in two dimensions this is precisely the Kazdan Warner theorem, since $$*e(TM) = \frac{K}{2 \pi}$$

flag
2 
Check this Wikipedia page en.wikipedia.org/wiki/… – Liviu Nicolaescu Jan 5 at 15:43
1 
I am sorry if this is a trivial question or a well known fact, but is the Scalar curvature the same as $*e(TM)$ (maybe upto a constant factor)? – Ritwik Jan 5 at 15:54
1 
I assume that by $\ast e(TM)$ you mean the Gauss--Bonnet integrand. In dimensions at least three, it is different from the scalar curvature. So prescribing scalar curvature is a different question in dimensions at least three. – unknown (google) Jan 5 at 19:00
@Ritwik, there is no possibility of such an identity holding. If $*e(TM)$ was some multiple of the scalar curvature $R$, this would imply that $\int R = \int *e(TM) dV = <e(TM),[M]>$, and this is a topological invariant of the (smooth structure) topology of $M$. (see en.wikipedia.org/wiki/…). However, one can show that in dimensions $\geq 3$, all manifolds admit a metric of negative scalar curvature, e.g. $S^3$. So, if the above identity held, we could evaluate $<e(TM),[M]>$ on the standard metric and this other one... – Otis Chodosh Jan 5 at 19:09
...giving a contradiction. You may be interested in the following MO post: mathoverflow.net/questions/30035/…. – Otis Chodosh Jan 5 at 19:10
show 2 more comments

Your Answer

Get an OpenID
or

Browse other questions tagged or ask your own question.