I have some trouble in understanding the notion of a moment map for the Lie group $S^1$: \ In the book "Moment maps, cobordism and Hamiltonian group actions" it is said on page 15, which you can find online as http://www.ma.huji.ac.il/~karshon/monograph/chap-hamiltonian.pdf that a moment map for the Lie group $S^1$ is given by the equation $d\Phi= \iota(\zeta_m) \omega$. Can you tell me what the $\iota$ in this equation is and also why we can consider $d\Phi$ as a two-form? I would really appreciate, if you could help me.
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
$\iota$ denotes contraction and $d\Phi$ is actually a 1-form, not a 2-form. That is, if $X$ is a vector field, $\iota(X)\omega$ is the 1-form $\omega(X,\cdot)$.