Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|cite|improve this question
up vote 1 down vote accepted

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).

share|cite|improve this answer
$\bar{t}=x-iy$. Why $\frac{\partial}{\partial \bar{t}} = \frac{\partial}{\partial x}+i\frac{\partial}{\partial y}$? – LJR Jan 8 '12 at 20:48
I see. $\frac{\partial}{\partial \bar{t}}=1/2(\frac{\partial}{\partial x} + i\frac{\partial}{\partial y})$ – LJR Jan 8 '12 at 21:49
@u Yes, sorry for not responding earlier, it seems you figured it out alone. – user20266 Jan 9 '12 at 16:33

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.

share|cite|improve this answer
$d\eta_j=0$ is what we have to show. – LJR Jan 4 '12 at 16:32
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? – LJR Jan 4 '12 at 16:35
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$). – SL2 Jan 4 '12 at 16:38
$f$ is complex valued. You have to use that $f$ is holomorphic for this, see my reply. – user20266 Jan 4 '12 at 16:46
@SL2 this is not correct, if $f$ is complex valued and $t$ complex. – user20266 Jan 4 '12 at 16:49

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.