most recent 30 from http://mathoverflow.net 2013-05-19T21:36:49Z http://mathoverflow.net/feeds/question/35472 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/35472/a-question-about-a-one-form-on-riemannian-manifold Chen 2010-08-13T10:50:27Z 2010-08-13T15:00:28Z

<p>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? </p>

http://mathoverflow.net/questions/35472/a-question-about-a-one-form-on-riemannian-manifold/35473#35473 José Figueroa-O'Farrill 2010-08-13T10:57:37Z 2010-08-13T10:57:37Z

<p>Yes; although my answer is so trivial that I'm not sure I'm understanding the problem well.</p> <p>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$.</p> <p>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.</p>

http://mathoverflow.net/questions/35472/a-question-about-a-one-form-on-riemannian-manifold/35497#35497 Jack Lee 2010-08-13T15:00:28Z 2010-08-13T15:00:28Z

<p>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.</p>