Several complex variables and analytic spaces Compact complex manifolds Example
Iwasawa manifold
Builds on Heisenberg groupGaussian integersLattice in a Lie groupNilmanifoldKähler manifoldClosed and exact forms
Example
Let be the complex Heisenberg group of matrices a complex Lie group isomorphic to as a complex manifold. Let be the subgroup of matrices with in the Gaussian integers . The Iwasawa manifold is the quotient of by the left action of . It is a compact complex manifold of dimension : is a discrete cocompact subgroup, a lattice of , and acts freely by holomorphic maps.
Check that is not Kähler. Left multiplication by the matrix with entries sends to . So the holomorphic -forms , and are invariant: . They descend to holomorphic -forms on . But , so is not closed. On a compact Kähler manifold every holomorphic form is closed, so is not Kähler.
Remarks
is a nilmanifold and a fibre bundle over the complex torus , via , with fibre the elliptic curve . Its holomorphic tangent bundle is trivial, spanned by the left-invariant vector fields dual to , so is a compact complex parallelizable manifold. Its first Betti number is , an even number, so non-Kählerness is not visible from here.
Reading path
To understand this page from the ground up, read these 18 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Centre of a group concept
- Differential form concept
- Group concept
- Kähler manifold concept
- Lattice in a Lie group concept
- Lie group concept
- Nilmanifold concept
- Nilpotent group concept
- Exterior derivative concept
- Ring definition
- Heisenberg group example
- Closed and exact forms concept
- Commutative ring definition
- Subring definition
- Zero divisor definition
- Integral domain definition
- Gaussian integers object
- Iwasawa manifold example
Further reading
About this page
| Tag | D4WF2BJE2M |
|---|---|
| URI | m2://D4WF2BJE2M |
| Kind | example |
| Writing | W0 stub |
| MSC | 32J18, 32Q55, 53C55 |
| Instance of | Complex manifold |
| Uses | Heisenberg group, Gaussian integers, Lattice in a Lie group, Nilmanifold, Kähler manifold, Closed and exact forms |
| Same as |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.