1
$\begingroup$

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.

2 Answers 2

1

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
  • 0
    I 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
1

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
  • 0
    By 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
  • 0
    Yes. $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