In the paper, page 5, Line 5, why the form $\eta_j$ is closed? We have to show that $d \eta_j=0$. Here $\eta_j = f(t)dt$ for some function $f$. Is it always true that $d\eta_j$ for any $f$? Thank you very much.
Closed differential form.
2 Answers
Your notation, though taken from the paper, does not make it clear that we are dealing with a complex paramter $t$ and complex valued $f$. In that setting, the form $f(t) dt$ is closed iff $f$ is holomorphic. To see this write $fdt = fdx+i fdy $ and apply $d$ to see that this is closed iff $\frac{\partial}{\partial y} f= i\frac{\partial}{\partial x} f $. In other words iff $$ 0 = \left(\frac{\partial}{\partial y} - i\frac{\partial}{\partial x}\right)f = -i\left( \frac{\partial}{\partial x} + i\frac{\partial}{\partial y}\right)f = -2i\frac{\partial}{\partial \overline{t}}f $$ (with $t=x+iy$, which is kind of against conventions). Now just check whether your $\eta_i$ is holomorphic.
(In general you will get a $dt \wedge d\overline{t}$ term).
-
0$\bar{t}=x-iy$. Why $\frac{\partial}{\partial \bar{t}} = \frac{\partial}{\partial x}+i\frac{\partial}{\partial y}$? – 2012-01-08
-
0I see. $\frac{\partial}{\partial \bar{t}}=1/2(\frac{\partial}{\partial x} + i\frac{\partial}{\partial y})$ – 2012-01-08
-
0@u Yes, sorry for not responding earlier, it seems you figured it out alone. – 2012-01-09
This is just a definition. Any differential form $\eta $ such that $d\eta = 0$ is called a closed form. So in your case if $\eta _j=f(t)dt$ and you are able to show that $d\eta _j=0$, then it follows that $\eta _j$ is a closed form.
Since, $\eta _j=f(t)dt$ is a 1-form. By definition of the exterior differential operator you get $d\eta _j=f'(t)dt\wedge dt=0$, since $dt\wedge dt=0$.
This holds for the case where $f(t)$ is real valued.
-
0$d\eta_j=0$ is what we have to show. – 2012-01-04
-
0By definition of differentiation of a 1-form, it seems that $d\eta_j=0$ for any $f$ since $f$ is only a function of $t$. So $\eta_j$ is a closed form. Is this true? – 2012-01-04
-
0Yes. $d\eta_j=\frac{d\eta_j}{dt} dt\wedge dt=0$ since $dt\wedge dt=0$ (assuming $\eta_j$ is indeed only a function of $t$). – 2012-01-04
-
0$f$ is complex valued. You have to use that $f$ is holomorphic for this, see my reply. – 2012-01-04
-
0@SL2 this is not correct, if $f$ is complex valued and $t$ complex. – 2012-01-04
-
0@Thomas I didn't look at the paper, and my comment was based on the notation used in the posts so far which suggested everything was real valued. – 2012-01-04
-
0@Thomas. You are right. I think I have to state that this holds for the case where $f(t)$ is real valued. – 2012-01-04