1
$\begingroup$

Let M be a Riemannian Manifold, $X$ is a smooth vector field on M with isolated zeros. Is there a one-form $\omega$ with isolated zeros such that $\omega(X)$ has nontrivial zeros? (nontivial zero means that the piont is neither in $X$'s zeros nor in $\omega$'s zeros.) If this $\omega$ exist, how to construct it?

$\endgroup$
1
  • $\begingroup$ The case in which the tangent bundle of $M$ is trivial is not too difficult. The general case is not very different from this special case! $\endgroup$
    – damiano
    Commented Aug 13, 2010 at 10:57

2 Answers 2

5
$\begingroup$

Assuming the dimension of $M$ is at least 2 (otherwise it's false), you can do the following. Let $p_1,p_2,\dots$ be isolated points where $X$ does not vanish but where you want $\omega$ to vanish. In a neighborhood $U_i$ of each $p_i$, there are coordinates $(x^1,\dots,x^n)$ centered at $p_i$ on which $X$ has the coordinate representation $X = \partial/\partial x^1$. In each $U_i$, let $\omega_i = dx^2 + |x|^2 dx^1$. Then let $U_0$ be the complement of {$p_1,p_2,\dots$}, and let $\omega_0=X^\flat$ (the 1-form dual to $X$ via the metric). Let {$\phi_0,\phi_i$} be a partition of unity subordinate to the cover {$U_0,U_i$}, and let $\omega = \sum_{i\ge 0}\phi_i\omega_i$. The fact that $\omega_i(X)>0$ at points other than $p_i$ and zeros of $X$ ensures that $\omega(X)$ vanishes only at such points.

$\endgroup$
4
$\begingroup$

Yes; although my answer is so trivial that I'm not sure I'm understanding the problem well.

Given $X$, let $Y$ be any vector field perpendicular to $X$ relative to the metric and let $\omega = Y^\flat$ be the dual one-form. Then $\omega(X)=0$.

The only question here is to construct $Y$, but this can be done locally relative to a trivialisation of the frame bundle and then gluing the local $Y$s using a partition of unity subordinate to the trivialising cover.

$\endgroup$
3
  • $\begingroup$ Ehehe, we seem to have the same interpretation of the question! d $\endgroup$
    – damiano
    Commented Aug 13, 2010 at 10:58
  • $\begingroup$ Thanks! I want to construct a $\omega$ with isolated nontivial zeros. But I don't known how to do it. $\endgroup$
    – Chen
    Commented Aug 13, 2010 at 14:00
  • 1
    $\begingroup$ Just modify José's answer a little bit. For example over $\mathbb{R}^2$ if we take standard coordinates $x^1,x^2$, then $\omega = dx^1$ and $X = f(x^1,x^2) \frac{\partial}{\partial x^1} + \frac{\partial}{\partial x^2}$. Then $\omega(X)\vert_{(x^1,x^2)} = f(x^1,x^2)$, and neither $\omega$ or $X$ is ever zero for any choice of $f$. Just choose $f$ with any sort of isolated zeroes you want. $\endgroup$ Commented Aug 13, 2010 at 18:09

You must log in to answer this question.

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