Let $(M,\omega)$ be a symplectic manifold and $N$ an isotropic submanifold. For a point $p\in N$, can we always find coordinates $(x_1,\ldots,x_n,y_1,\ldots,y_n)$ in a neighbourhood $U$ of $p$ such that both $\omega=\sum dx_i\wedge dy_i$ (Darboux coordinates) and $$N\cap U=\{(x_1,\ldots,x_n,y_1,\ldots,y_n):x_{k+1}=\cdots=x_n=y_1=\cdots=y_n=0\}$$ where $k=\dim N$?
1 Answer
The answer is yes, and in fact, you can let $x_1,\ldots,x_k$ be any chosen coordinate patch on $N$.
Here's one way to go about it. The first point is that the symplectic normal bundle $TN^{\omega}/TN \rightarrow N$ is locally trivial (as a symplectic vector bundle). Feeding a particular trivialization into the standard tubular neighborhood theorem shows that you can at least find a diffeomorphism from a neighborhood of $p$ to this model so that the restriction of $\omega$ to $TM_N$ matches the model. This is enough data to feed into a Mosertype argument.
I'll leave the first part of that argument as a sketch, but let me expand on this last step. In these coordinates, we now have two symplectic forms $\omega_0$ (the one coming from the actual symplectic form on $M$) and $\omega_1$ (the model symplectic form), which match on $TM_N$. Note that the homotopy of forms $\omega_t := (1t)\omega_0 + t\omega_1$ remains symplectic in some small enough neighborhood $Open(p)$ by the matching of $\omega_0$ and $\omega_1$ along $TM_N$. Our goal now is to find a sequence of diffeomorphisms $f_t \colon Open(p) \rightarrow Open(p)$ which are the identity along $N$ and such that $f_t^*(\omega_t) = \omega_0$, since then $f_1$ yields a symplectomorphism desired.
The Moser trick is to take $f_0$ to be the identity, and suppose that $f_t$ is built out of the flow of some vector field $X_t$. Then, taking a derivative, we find
$$0 = \frac{d}{dt}\omega_0 = \frac{d}{dt}f_t^*\omega_t = f_t^*(\dot{\omega_t} + \mathcal{L}_{X_t}\omega_t) = f_t^*(\omega_1\omega_0 + \mathcal{L}_{X_t}\omega_t).$$
In other words, it suffices that $X_t$ satisfies $$\mathcal{L}_{X_t}\omega_t = \omega_0\omega_1.$$ Since $\omega_t$ is closed, this is just $$di_{X_t}\omega_t = \omega_0\omega_1.$$ Since $\omega_0 = \omega_1$ along $N$ and $\omega_0  \omega_1$ is closed, we can choose a $1$form $\beta$ such that $\beta$ is $0$ on its restriction to $TM_N$ and $d\beta = \omega_0\omega_1$ (this is a general Poincare lemma). Nondegeneracy of $\omega_t$ now allows us to define $X_t$ uniquely by $i_{X_t}\omega_t = \beta$. In particular, since $\beta_{TM_N} = 0$, we therefore have $X_t_N = 0$, and so $f_t$ is always the identity along $N$.
A further careful analysis shows that the derivative of $f_1$ along $TM_N$ is the identity (this is because $d\beta = \omega_0  \omega_1$ is $0$ on $TM_N$). This gives a little bit more, in case you wanted it.
You might also notice, by the way, that nowhere did I actually use the explicit coordinates of the model, except in the first sentence where I suggested that you could choose any coordinate patch on $x_1,\ldots,x_k$. That's because this argument works in tons more generality. All you need in symplectic geometry to see that two submanifolds $N_1$ and $N_2$ of symplectic manifolds $M_1$ and $M_2$ have symplectomorphic neighborhoods is a diffeomorphism $\phi \colon N_1 \rightarrow N_2$ and a bundle map $\Phi \colon TM_1_{N_1} \rightarrow TM_2_{N_2}$ lying over $\phi$ such that $\Phi^*\omega_2 = \omega_1$. Then there is a symplectomorphism of neighborhoods realizing $\Phi$. I do not know of a source where this very general statement is written, though it is literally the same proof that I have just written. It has been known to experts for a long time. If anyone knows where this is written, I'd love to know! (Regardless, and as a little bit of selfpromotion, I plan to include this, along with a contactgeometric version, and a bit more, in my thesis, so at least there will be one source.)

$\begingroup$ Your last statement looks like Theorem 2.2 in SjamaarLerman "Stratified symplectic spaces and reduction". $\endgroup$– SHPCommented Jan 10, 2019 at 8:29

$\begingroup$ Yes, the SjamaarLerman result is a special case. (I didn't mention existence in the above general statement, but this is just the condition $\omega_N$ is closed, since any such form has a closed extension to a neighborhood of $N$.) However, the last statement really is more general, since it also covers nonconstant rank embeddings  for example a generically symplectic embedding with a coisotropic locus. $\endgroup$– KSackelCommented Jan 10, 2019 at 13:04

$\begingroup$ You statement in the last paragraph can be found in McDuff and Salamon's Introduction to Symplectic Topology, it's Theorem 3.4.10 in the 3rd edition (the result is only stated for compact submanifolds, but compactness isn't really used anywhere in the proof). $\endgroup$ Commented Oct 20, 2020 at 2:40