PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] $\mathbb{C}$ as a Kähler manifold (Example)

$\mathbb{C}$ can be interpreted as $\mathbb{R}^2$ with a complex structure $J$ .

Parametrize $\mathbb{R}^2$ via the usual coordinates $(x,y)$ .

A point $z$ in the complex plane can thus be written $z=x+iy$ .

The tangent space at each point is generated by the $\mathrm{span}_{\mathbb{R}} \left\{ \frac{\partial}{\partial x}, \frac{\partial}{\partial y}\right\}$ and the complex structure $J$ is defined by 1

$\displaystyle J\left( \frac{\partial}{\partial x} \right) = \frac{\partial}{\partial y}$ (1)
$\displaystyle J\left( \frac{\partial}{\partial y} \right) = - \frac{\partial}{\partial x}$ (2)

The metric can be the usual metric $g = dx\otimes dx + dy\otimes dy$ . This is a flat metric and therefore all the covariant derivatives are plain partial derivatives in the $(x,y)$ coordinates 2.

So lets verify all the points in the definition.

  • $\mathbb{C}$ is a Riemannian Manifold
  • $g$ is Hermitian. $$ g\left(J\frac{\partial}{\partial x}, J\frac{\partial}{\partial y}\right) = g\left(\frac{\partial}{\partial y},-\frac{\partial}{\partial x} \right)=0=g\left(\frac{\partial}{\partial x}, \frac{\partial}{\partial y}\right) \\ $$ $$ g\left(J\frac{\partial}{\partial x}, J\frac{\partial}{\partial x}\right) = g\left(\frac{\partial}{\partial y}, \frac{\partial}{\partial y}\right)=1 = g\left(\frac{\partial}{\partial x}, \frac{\partial}{\partial x}\right) $$

    $$ g\left(J\frac{\partial}{\partial y}, J\frac{\partial}{\partial y}\right) = g\left(-\frac{\partial}{\partial x}, -\frac{\partial}{\partial x}\right)=1 = g\left(\frac{\partial}{\partial y}, \frac{\partial}{\partial y}\right) $$

  • $J$ is covariantly constant because its components in the $(x,y)$ coordinates are constant and as previously stated, the covariant derivatives are just partial derivatives in this example.

$\mathbb{C}$ is therefore a Kähler manifold.

The symplectic form for this example is

$$\omega = dx \wedge dy $$

This is the simplest example of a Kähler manifold and can be seen as a template for other less trivial examples. Those are generalizations of this example just as Riemannian manifolds are generalizations of $\mathbb{R}^n$ seen as a metric space.



Footnotes

... by1
notice $J$ acts as a counterclockwise rotation by $\frac{\pi}{2}$ , just as expected
... coordinates2
the Christoffel symbols on these coordinates vanish



"$\mathbb{C}$ as a Kähler manifold" is owned by cvalente.
(view preamble | get metadata)

View style:

See Also: Kähler manifold, almost complex structure, symplectic manifold


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: metric space, symplectic form, Kähler manifold, components, Hermitian, Riemannian manifold, vanish, Christoffel symbols, partial derivatives, covariant derivatives, flat, metric, rotation, generated by, tangent space, complex plane, point, coordinates

This is version 13 of $\mathbb{C}$ as a Kähler manifold, born on 2006-03-16, modified 2007-05-18.
Object id is 7733, canonical name is MathbbCIsAKahlerManifold.
Accessed 1429 times total.

Classification:
AMS MSC53D99 (Differential geometry :: Symplectic geometry, contact geometry :: Miscellaneous)

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)