Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Complex differential form
Summary
In mathematics, a complex differential form is a differential form on a manifold (usually a complex manifold) which is permitted to have complex coefficients.
Complex forms have broad applications in differential geometry. On complex manifolds, they are fundamental and serve as the basis for much of algebraic geometry, Kähler geometry, and Hodge theory. Over non-complex manifolds, they also play a role in the study of almost complex structures, the theory of spinors, and CR structures.
Typically, complex forms are considered because of some desirable decomposition that the forms admit. On a complex manifold, for instance, any complex k-form can be decomposed uniquely into a sum of so-called (p, q)-forms: roughly, wedges of p differentials of the holomorphic coordinates with q differentials of their complex conjugates. The ensemble of (p, q)-forms becomes the primitive object of study, and determines a finer geometrical structure on the manifold than the k-forms. Even finer structures exist, for example, in cases where Hodge theory applies.
Suppose that M is a complex manifold of complex dimension n. Then there is a local coordinate system consisting of n complex-valued functions z1, ..., zn such that the coordinate transitions from one patch to another are holomorphic functions of these variables. The space of complex forms carries a rich structure, depending fundamentally on the fact that these transition functions are holomorphic, rather than just smooth.
We begin with the case of one-forms. First decompose the complex coordinates into their real and imaginary parts: zj = xj + iyj for each j. Letting
one sees that any differential form with complex coefficients can be written uniquely as a sum
Let Ω1,0 be the space of complex differential forms containing only 's and Ω0,1 be the space of forms containing only 's. One can show, by the Cauchy–Riemann equations, that the spaces Ω1,0 and Ω0,1 are stable under holomorphic coordinate changes.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood
Related concepts (11)
Ddbar lemma
In complex geometry, the lemma (pronounced ddbar lemma) is a mathematical lemma about the de Rham cohomology class of a complex differential form. The -lemma is a result of Hodge theory and the Kähler identities on a compact Kähler manifold. Sometimes it is also known as the -lemma, due to the use of a related operator , with the relation between the two operators being and so .
Hodge theory
In mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold M using partial differential equations. The key observation is that, given a Riemannian metric on M, every cohomology class has a canonical representative, a differential form that vanishes under the Laplacian operator of the metric. Such forms are called harmonic. The theory was developed by Hodge in the 1930s to study algebraic geometry, and it built on the work of Georges de Rham on de Rham cohomology.
Hermitian manifold
In mathematics, and more specifically in differential geometry, a Hermitian manifold is the complex analogue of a Riemannian manifold. More precisely, a Hermitian manifold is a complex manifold with a smoothly varying Hermitian inner product on each (holomorphic) tangent space. One can also define a Hermitian manifold as a real manifold with a Riemannian metric that preserves a complex structure. A complex structure is essentially an almost complex structure with an integrability condition, and this condition yields a unitary structure (U(n) structure) on the manifold.