Okay, the user wants a summary of the Quantum Gravity Seminar homework 4 by Alex Hoffnung from November 1, 2006. The content provided is about the Hamiltonian vector field and the symplectic form on the cotangent bundle TM. Let me break this down.
First, the main points are: any function H on TM gives a Hamiltonian vector field vH. The symplectic form ω is defined as dqi ∧ dpi. The task is to show that dH equals ω(vH, -), which is the contraction of the 2-form with the vector field.
I need to make sure I understand each step. The user provided the calculation steps, so I should rephrase them in a concise manner. The key is to explain the relationship between the Hamiltonian vector field and the exterior derivative using the symplectic form.
Wait, the original text has some LaTeX formatting. I should note that ω(vH, -) is the symplectic form applied to the vector field and the differential. The calculation involves substituting vH into ω and simplifying. The result is dH, which is the exterior derivative of H.
I need to check if the steps are correct. The first line defines vH using the symplectic structure. Then, ω(vH, -) is computed by applying the vector field to the differentials. The expansion shows that each term simplifies to the partial derivatives of H, leading to the final expression dH.
The user might be a student or researcher in theoretical physics, possibly working on classical mechanics or general relativity. They need a clear summary of the proof steps without getting bogged down in the details. The summary should highlight the key mathematical concepts: Hamiltonian vector fields, symplectic forms, and the relationship between the exterior derivative and the Poisson bracket.
I should avoid any markdown and keep it in plain English. Make sure to mention the cotangent bundle, the symplectic form, and the result that dH equals the contraction of ω with vH. Also, note that this is a standard result in Hamiltonian mechanics, showing how the exterior derivative is related to the vector field via the symplectic structure.
Check for any possible errors in the steps. The calculation seems correct, but I need to present it in a way that's easy to follow. Maybe start by stating the given, then the steps, and conclude with the result. Ensure that the summary is detailed but not too lengthy, capturing the essence of the proof.
Any function $ H: T^M \to \mathbb{R} $ defines a Hamiltonian vector field $ vH $ via the formula:
$$
vH = \frac{\partial H}{\partial pi} \frac{\partial}{\partial qi} - \frac{\partial H}{\partial qi} \frac{\partial}{\partial pi}.
$$
The symplectic form $ \omega $ on $ T^M $ is given by $ \omega = \sum d qi \wedge d pi $. To show that the exterior derivative $ dH $ equals $ \omega(vH, -) $, we compute:
$$
\omega(vH, -) = \sum \left( \frac{\partial H}{\partial pi} d qi - \frac{\partial H}{\partial qi} d pi \right) \wedge d pi.
$$
Expanding this, each term simplifies as:
$$
\frac{\partial H}{\partial pi} d qi \wedge d pi = \frac{\partial H}{\partial pi} d pi \wedge d qi = \frac{\partial H}{\partial pi} d qi \wedge d pi,
$$
and
$$
- \frac{\partial H}{\partial qi} d pi \wedge d pi = 0.
$$
Thus, the entire expression reduces to:
$$
\omega(vH, -) = \sum \left( \frac{\partial H}{\partial pi} d qi \wedge d pi \right) = dH.
$$
This demonstrates that the exterior derivative $ dH $ is equivalent to the symplectic contraction $ \omega(vH, -) $, a key identity in Hamiltonian mechanics.
