Why is a Kähler form not always holomorphic?

  • Thread starter nonequilibrium
  • Start date
  • Tags
    Form
In summary: But if "holomorphic top-form" means "there exists a coordinate system (z') such that \overline{\partial}h'_{ij}=0 at p', then that's a little more tricky.
  • #1
nonequilibrium
1,439
2
Any Kähler form (?) can be written in local coordinates as [itex]\omega = \frac{i}{2} \sum h_{ij} dz^i \wedge d z^j [/itex] with [itex]h_{ij}(z) = \delta_{ij} + \mathcal O(z^2)[/itex].

But that would mean [itex]\bar \partial \omega = \frac{i}{2} \sum \frac{\partial h_{ij}}{\partial \bar z_k} d \bar z^k \wedge dz^i \wedge d z^j = 0[/itex] since [itex]\frac{\partial h_{ij}}{\partial \bar z_k} = \mathcal O(z)[/itex] is zero at our point [itex]z = 0[/itex].

I must be making a stupid mistake. What is it?
 
Physics news on Phys.org
  • #2
Your mistake is that the Kahler form is a (1,1) form:

[tex]\omega = \frac{i}{2} \, h_{i \bar \jmath} \, dz^i \wedge d \bar z^j[/tex]
 
  • #3
nonequilibrium said:
But that would mean [itex]\bar \partial \omega = \frac{i}{2} \sum \frac{\partial h_{ij}}{\partial \bar z_k} d \bar z^k \wedge dz^i \wedge d z^j = 0[/itex] since [itex]\frac{\partial h_{ij}}{\partial \bar z_k} = \mathcal O(z)[/itex] is zero at our point [itex]z = 0[/itex].

Also, this reasoning only applies at a point. The property of holomorphicity requires an open set around a point.
 
  • #4
Thanks for pointing out my typo with the bar, but that doesn't change the argument though.

As for your second post: the reasoning is as follows: I check that [itex]\bar \partial \omega[/itex] is zero at every point (but to calculate it at a point, I indeed need a neighbourhood around that point). So fix a point z = 0. Then around that point we can write [itex]\omega[/itex] as I did with the expansion of [itex]h[/itex]. Then I act with [itex]\bar \partial[/itex] and afterwards I put [itex]z = 0[/itex] to get that at that point [itex]\bar \partial \omega = 0[/itex]. Since our original point was arbitrary, this is true for every point!
 
  • #5
The Kähler form is (1,1) and [itex](dz^i\wedge d\overline{z}^j)[/itex] does not define a holomorphic structure on the bundle of (1,1) forms. Only on the bundle of (p,0) forms do the complex coordinates on M define a holomorphic structure in this way.
 
Last edited:
  • #6
So is my mistake in interpreting [itex]\bar \partial \omega = 0[/itex] to mean that my form is holomorphic? I thought that was the definition of holomorphic. What is the correct meaning?
 
  • #7
To speak of holomorphicity of a section of a complex vector bundle you need first to put a holomorphic structure on your bundle. That is, you need to specify trivializing local frames (e_i) for it such that the transition maps between these frames are holomorphic. Then, and only then, will it be well-defined to say a section [itex]s=\sum_i s_ie_i[/itex] is holomorphic if [itex]\overline{\partial}s_i=0[/itex]. Otherwise, we may have [itex]\overline{\partial}s_i=0[/itex] but [itex]\overline{\partial}s_i'\neq 0[/itex] wrt another local frame (e_i').

Also, you seem to think your argument shows the functions h_ij to be holomorphic but that is not so:

Fix a point p in your manifold and coordinates (z) in a nbhd of p. As Ben said, holomorphicity of h_ij at p means [itex]\overline{\partial}h_{ij}=0[/itex] in a nbhd of p. What your argument shows is that for any point p', you can always find a coordinate system (z') wrt which [itex]\overline{\partial}h'_{ij}=0[/itex] at p'. But this does not imply that [itex]\overline{\partial}h_{ij}=0[/itex] at p' wrt (z) because the transition function btw [itex](d\overline{z})[/itex] and [itex](d\overline{z'})[/itex] (which appear when you write h_ij in terms of h'_ij) are not holomorphic. (Same reason why (dzi∧dz¯j) does not define a holomorphic structure on the bundle of (1,1) forms.)
 
Last edited:
  • #8
I'm confused, I'm not using coordinate expressions in my definition, I'm just using the fact that the coordinate independent notion [itex]\bar \partial \eta[/itex] (defined in terms of the exterior derivative [itex]d[/itex] etc) with [itex]\eta = \eta_{IJ} dz^I \wedge d \bar z^J[/itex] can be written in coordinates as [itex]\bar \partial \eta = \frac{\partial \eta_{IJ}}{\partial \bar z^k} d \bar z^k \wedge dz^I \wedge d\bar z^J[/itex]
 
  • #9
I should have said explicitely that your definition of a form being holomorphic iff [itex]\overline{\partial}\eta=0[/itex] is wrong. That is not how holomorphicity is defined. See paragraph 1 of post #7.
 
  • #10
Ah and also it is the bundle of (p,0) forms that admit a natural holomorphic structure, not the (0,p) forms as I said in post #5, so I edited that post as well as #7 accordingly.
 
  • #11
Ah okay, thanks. So I see what I did wrong, but still trying to understand what the correct notion of holomorphicity of (p,q)-forms is. I think I get what you are saying, but that would seem to suggest that we need to make an extra choice before we have that notion. Is there no canonical notion of holomorphicity? E.g. when people say "a Calabi-Yau mfd is a compact Kähler mfd with holomorphic top-form", how am I to interpret that?

EDIT: I just realized another way to see my original thought was wrong, since if "holomorphic top-form" meant "[itex]\bar \partial \omega = 0[/itex]", then that's trivial because [itex]\bar \partial[/itex] of a top-form is always zero! (since [itex]\Omega^{2n+1} = 0[/itex]))
 
  • #12
There is no natural/canonical notion of holomorphic (p,q)-form if q>0. On the other hand, on [itex]\Omega^{(p,0)}[/itex], there is a natural holomorphic structure given by the local frames [itex]dz^{i_1}\wedge\ldots dz^{i_p}[/itex] for every local coordinate system (z) on M (check that the transition functions between these local frames are indeed holomorphic). A holomorphic p-form is then one of type (p,0) such that [itex]\overline{\partial}\eta=0[/itex].

A Calabi-Yau manifold is (depending on your definition...) a compact Kähler manifold with trivial canonical bundle. The canonical bundle of a complex n-manifold is the bundle [itex]\Omega^{(n,0)}[/itex] with its natural holomorphic structure. Triviality of this bundle then means that there exists a global nowhere vanishing holomorphic n-form. Note that [itex]\Omega^{(n,0)}[/itex] may be trivial as a complex line bundle but not as a holomorphic line bundle in which case we don't have Calabi-Yau.
 
Last edited:
  • Like
Likes 1 person
  • #13
nonequilibrium said:
EDIT: I just realized another way to see my original thought was wrong, since if "holomorphic top-form" meant "[itex]\bar \partial \omega = 0[/itex]", then that's trivial because [itex]\bar \partial[/itex] of a top-form is always zero! (since [itex]\Omega^{2n+1} = 0[/itex]))

Note that a holomorphic top form is an element of [itex]\Omega^{(n,0)}\subset \Omega^n[/itex], and not of [itex]\Omega^{2n}[/itex]. That is because [itex]\Omega^{(p,0)} = \wedge^p\Omega^{(1,0)}[/itex] and [itex]\Omega^{(1,0)}[/itex] has complex dimension 1, so we can wedge it with itself only n times before it vanishes. So while [itex]\partial \eta=0[/itex] for a (n,0)-form, [itex]\bar\partial \eta\in\Omega^{(n,1)}[/itex] does not vanish in general.
 
Last edited:
  • #14
A last remark: While it is true that for (p,0)-forms, holomorphicity in the sense of post #7 is the same as the condition [itex]\bar \partial \eta=0[/itex], for a general (p,q)-form, the condition [itex]\bar \partial \eta=0[/itex] has nothing to do with holomorphicity of anything.

As an illustration, consider a (0,1)-form on a cx 2-manifold: [itex]\eta=\eta_1d\bar z_1 + \eta_2 d\bar z_2[/itex]. Then
[tex]
\bar\partial \eta = \left(\frac{\partial \eta_1}{\partial \bar z_1} - \frac{\partial \eta_1}{\partial \bar z_2}\right)d\bar z_1\wedge d\bar z_2
[/tex]
What does the vanishing of this has to do with holomorphicity ?
 
  • #15
Thank you very much!
 

1. Why is a Kähler form not always holomorphic?

A Kähler form is a differential form that satisfies certain properties, including being closed and being compatible with a Hermitian metric. However, not all Kähler forms are holomorphic because they may not satisfy the additional condition of being purely imaginary. This condition is necessary for a form to be considered holomorphic.

2. What is the difference between a Kähler form and a holomorphic form?

A Kähler form is a differential form that satisfies certain properties, including being closed and being compatible with a Hermitian metric. Holomorphic forms, on the other hand, are differential forms that satisfy the Cauchy-Riemann equations and are purely imaginary. While all holomorphic forms are also Kähler forms, not all Kähler forms are holomorphic.

3. Can a non-holomorphic Kähler form still be useful in mathematics?

Yes, a non-holomorphic Kähler form can still be useful in mathematics. Kähler forms are important in complex geometry and symplectic geometry, and they have applications in physics as well. Even though they may not be holomorphic, they still possess useful properties that make them valuable in various areas of mathematics.

4. What is the relationship between Kähler forms and complex structures?

Kähler forms and complex structures are closely related. A complex structure is a linear transformation that preserves the complex structure of a manifold, while a Kähler form is a differential form that satisfies certain properties, including being compatible with a Hermitian metric. In fact, a Kähler form uniquely determines a complex structure on a manifold.

5. Can a Kähler form be non-holomorphic in some regions of a manifold and holomorphic in others?

Yes, it is possible for a Kähler form to be non-holomorphic in some regions of a manifold and holomorphic in others. This is because the condition of being holomorphic is dependent on the region being considered. A Kähler form may satisfy the Cauchy-Riemann equations in some regions, making it holomorphic, but not in others.

Similar threads

  • Differential Geometry
Replies
2
Views
2K
Replies
1
Views
1K
  • Differential Geometry
Replies
3
Views
2K
  • Advanced Physics Homework Help
Replies
0
Views
163
  • Differential Geometry
Replies
4
Views
2K
  • Differential Geometry
Replies
4
Views
2K
  • Differential Geometry
Replies
1
Views
1K
  • Differential Geometry
Replies
3
Views
1K
  • Differential Geometry
Replies
2
Views
5K
  • Differential Geometry
Replies
5
Views
2K
Back
Top