Skip to main content
3 of 4
added 63 characters in body; added 2 characters in body; added 154 characters in body

Derivative of a pullback by a $2$-parameter family

Let $(M,\omega = d\alpha)$ be an exact symplectic manifold and $\gamma \in C^\infty(I,M)$ a path in $M$. Given $X_1,X_2 \in \mathfrak{X}(\gamma)$ I would like to compute $$\frac{\partial^2}{\partial\sigma_1\partial\sigma_2}\bigg\vert_{\sigma_1 = \sigma_2 = 0}\gamma_{\sigma_1,\sigma_2}^* \alpha,$$ where $\gamma_{\sigma_1,\sigma_2}$ is a smooth $2$-parameter family of curves such that $\partial_{\sigma_1}\vert_{\sigma_1 = 0} \gamma_{\sigma_1,\sigma_2} = X_1$ and $\partial_{\sigma_2}\vert_{\sigma_2 = 0} \gamma_{\sigma_1,\sigma_2} = X_2$. By the superb answer of @TobiasDiez here we can use the generalised Cartan formula to compute $$\frac{\partial}{\partial \sigma_1}\bigg\vert_{\sigma_1 = 0}\left( \gamma^*_{\sigma_1,0}i_{\partial_{\sigma_2}\vert_{\sigma_2 = 0}\gamma_{\sigma_1,\sigma_2}}(\omega \circ \gamma_{\sigma_1,0}) + d\gamma_{\sigma_1,0}^*i_{\partial_{\sigma_2}\vert_{\sigma_2 = 0}\gamma_{\sigma_1,\sigma_2}}(\alpha \circ \gamma_{\sigma_1,0})\right).$$ Equivalently, $$\frac{\partial}{\partial \sigma_1}\bigg\vert_{\sigma_1 = 0}\left(\omega(\partial_{\sigma_2}\vert_{\sigma_2 = 0}\gamma_{\sigma_1,\sigma_2},\dot{\gamma}_{\sigma_1,0}) + d(\alpha(\partial_{\sigma_2}\vert_{\sigma_2 = 0}\gamma_{\sigma_1,\sigma_2}))\right).$$ I am not sure how to proceed further, but I think there is a need to choose a (symplectic) connection. If it helps, actually there is an integral in front of this expression and more terms as I want to compute the Hessian of the Rabinowitz action functional