I want to understand the proof of the following theorem due to Gromov which I'll state in the context of Euclidean spaces. While I tried to read the proof from Macduff-Salamon, it turned out that my geometry/topology knowledge is too poor to understand the proof. Is there any reference where the proof is explained in detail, preferably in the context of Euclidean spaces?


**Theorem:**


Let $n>2$ be even and $\Omega\subset \mathbb{R}^{n}$ be a smooth, bounded and connected domain. Let $f,g\in C^{\infty}\left(\Omega
;\Lambda^2\left(\mathbb{R}^{n}\right)\right) $ be closed, non-degenerate two-forms in $\Omega$ such that $g-f$ is exact in $\Omega$. If there is a smooth homotopy of non-degenerate two-forms in $\Omega$ connecting $f$ to $g$, there is a homotopy $H\_t$ of **closed**, non-degenerate two-forms connecting $f$ and $g$ with $H\_t-f$ is exact in $\Omega$, for all $t\in [0,1]$.


Thank you. 



On Gromov's Theorem on Symplectic Homotopy
I didn't know that the proof of that fact was in McDuff-Salamon (in which one? *Introduction to symplectic topology*?).


You can also find it in Eliashberg-Mishachev, *Introduction to the h-principle*. There it is given as an application of the h-principle for Diff(V)-invariant open differential relations on open manifolds. The methods are not very hard, but they require a lot of time to get used to.


Here is the idea (the general proof is quite technical):


Suppose $\Omega$ is a ball. By your assumptions (I'm using some arguments that are trivial in this simple situation, but which are necessary in more general cases), you have close to the origin a family of non-degenerate $2$-forms $\omega\_t$ (which are not necessarily closed).


Restricting to a small neighborhood of the origin, you can replace the family by a closed family ... choose for example the family of $2$-forms $\tilde \omega\_t(x) := \omega\_t(0)$ that are constant on $\Omega$.
(Again, because our situation is very simple, \omega\_t(x) is defined for all of $\Omega$ but usually, this definition would only work on a small chart containing the origin).


We can smooth out the family $\tilde \omega\_t(x)$ so that it agrees close to $t=0$ and $t=1$ with the initial family $\omega\_t$.
This gives us now a new $2$-form $\tilde \omega\_t$ that is defined for $t<\epsilon$ and $t>1-\epsilon$ on all of $\Omega$, and inbetween it is only defined in a small neighborhood of the origin.
The forms $\tilde \omega$ are all closed and non-degenerate, where they are defined.


Now you can use an isotopy on $\Omega$ that is the identity for $t=0$ and $t=1$, and compresses in between the whole of $\Omega$ into the small neighborhood of the origin on which $\tilde \omega\_t$ is defined.


Pulling back the family $\tilde \omega\_t$ with this isotopy gives you a globally defined family of symplectic forms that are everywhere defined and that agree with $\omega\_0$ and $\omega\_1$ respectively.


Hope this helped.


