2
$\begingroup$

Let $\alpha$ be a differential form of degree $p+1$ on $M\times\mathbb{R}$, where $M$ is an arbitrary smooth manifold, and $p$ a non negative integer.

Can $\alpha$ be always written as $\beta+\gamma\wedge dt$, where $\beta$ and $\gamma$ are differential forms on $M\times\mathbb{R}$ of degree $p+1$ and $p$ respectively, such that $\frac{\partial}{\partial t}\lrcorner\beta=0$ and $\frac{\partial}{\partial t}\lrcorner\gamma=0$? and, in the affirmative case, are $\beta$ and $\gamma$ uniquely determined?

  • 0
    You might want to take a look into Bott and Tu's book.2011-04-11
  • 1
    You can easily see that this holds locally (pick appropriate local coordinates and an appropriate local basis of the space of all 2-forms on $M \times \mathbb R$). Now use this to prove the global statement. Hint: $\mathbb R$ admits an atlas with only one chart.2011-04-11
  • 0
    Take $M = \mathbb{R}$. Is it possible to write $xt\,dx \wedge dt$ in the form you want?2011-04-11
  • 0
    @Rasmus: Bott & Tu is big reference, but I think there is not an answer to my silly question.@Alexander Thumm: Thanks for your comment, then Should I prove the global statement using partitions of unity. @Santiago Canez: yes it is possible if you look at my original post that I have restored.2011-04-11
  • 0
    Good, this is now correct. My intention was simply to point out that the answer is no if you want $\beta$ and $\gamma$ to be forms on $M$ alone :)2011-04-11

1 Answers 1

4

yes and yes, for $\alpha$ of arbitrary degree. I'll rather write $\alpha=\beta+dt\wedge\gamma$ to save a sign (i.e. I possibly changed the sign of $\gamma$). Then $\gamma=\frac{\partial}{\partial t}\lrcorner \alpha$ and $\beta=\alpha-dt\wedge\gamma$. (you can easily see that these equations must be true if your conditions are satisfied, and also that they give $\beta$ and $\gamma$ satisfying your conditions)

  • 0
    Thanks, this is properly what I was searching for. Consequently I have even edit the question to make it, like your answer, independent on the degree of the form α.2011-04-11