17
$\begingroup$

This should be straightforward; I'm sorry if it's too much so. Can someone point me to a reference which computes the Dolbeault cohomology of the Hopf manifolds?

Motivation: I'd like to work through a concrete example of the Hodge decomposition theorem failing for non-Kähler manifolds. The textbook I have handy (Griffiths & Harris) doesn't treat this, and the obvious Google search was unhelpful.

$\endgroup$

6 Answers 6

29
$\begingroup$

Even though this question has an accepted answer, the answers so far are not complete or explicit. I kept working on this question, because I have been curious for a long time about the structure of Dolbeault complexes. First of all, the Frölicher spectral sequence does not directly reveal all of the non-Hodge information in the Dolbeault complex of a non-Kähler complex manifold. I learned from Mikhail Khovanov that in the category of bounded double complexes over a field, every object is isomorphic to a unique direct sum of indecomposable objects. Moreover, the indecomposable double complexes can be classified as squares, dots, and zigzags. Here is an example of each type of indecomposable, with the convention that omitted cells and arrows are 0: $$\begin{matrix} \mathbb{C} & \rightarrow & \mathbb{C} \\\\ \uparrow & & \uparrow \\\\ \mathbb{C} & \rightarrow & \mathbb{C} \end{matrix}\qquad\qquad \mathbb{C}\qquad\qquad \begin{matrix} \mathbb{C} & \rightarrow & \mathbb{C} \\\\ & & \uparrow \\\\ & & \mathbb{C} & \rightarrow & \mathbb{C} \end{matrix} $$ This is actually a standard result about an $A_\infty$ quiver algebra with alternating arrows. To be precise about the Hodge theorem and the Frölicher spectral sequence, the $\partial\bar{\partial}$ lemma says exactly that there are no zigzags (other than length 1, which are then dots), which is then equivalent to the statement that horizontal cohomology is isomorphic to vertical cohomology. The squares are projective objects and do not contribute to any cohomology theory. The odd-length zigzags contribute to the total de Rham cohomology, while the even-length zigzags do not. Meanwhile there are two Frölicher spectral sequences, each of which detects half of the even zigzags. The Frölicher spectral sequences are insensitive to the odd zigzags, but you can still say that a Dolbeault complex is non-Hodge if it has odd zigzags, even though each Frölicher spectral sequence degenerates at $E_1$ if there are no even zigzags.

The information of all of the zigzags, extracted by discarding only the squares, has been defined in the literature as "Aeppli cohomology". (Serre duality implies, sort-of indirectly, that the Aeppli cohomology of a compact manifold is self-dual; I would be interested to see a direct derivation of this fact.)

Now, the Hopf manifolds. The most standard round Hopf manifold of complex dimension $n$ has an important group action of $U(n) \times S^1$. (For those who aren't familiar with the terminology, the standard Hopf manifold is $(\mathbb{C}^n\setminus 0)/\Gamma_r$, where $\Gamma_r$ is generated by rescaling by a real constant $r > 1$.) There is one aspect of my calculation that for me is a conjecture: That a connected, compact Lie group acts trivially on all of the zigzags of a compact manifold. This is true for odd zigzags since the de Rham cohomology has an invariant integer lattice, but I do not have an argument for even zigzags. But let's suppose that it is so.

The invariant part of the Dolbeault complex is algebraically generated by these differential forms of degree $(1,0)$, $(0,1)$, and $(1,1)$: $$\alpha = \frac{\bar{z} \cdot dz}{z \cdot \bar{z}} \qquad \bar{\alpha} = \frac{z \cdot d\bar{z}}{z \cdot \bar{z}} \qquad \omega = \frac{dz \cdot d\bar{z}}{z \cdot \bar{z}}.$$ (I use $z$ and $dz$ as a vector of functions and a vector of 1-forms, so that I can take dot products. I'm leaving out the wedge product symbol.) Then I calculated the following: $$\partial \alpha = 0 \qquad \bar{\partial} \alpha = \alpha \bar{\alpha} - \omega \qquad \partial \omega = - \alpha \omega \qquad \omega^n = n\alpha \bar{\alpha} \omega^{n-1}.$$ A basis for the invariant part of the Dolbeault complex is given by $\omega^k$, $\alpha \omega^k$, $\bar{\alpha} \omega^k$, and $\alpha \bar{\alpha} \omega^k$ for $0 \le k \le n-1$. The Poincaré series of the invariant complex is a matrix like this one: $$\begin{matrix} 0 & 0 & 0 & 1 & 1 \\\\ 0 & 0 & 1 & 2 & 1 \\\\ 0 & 1 & 2 & 1 & 0 \\\\ 1 & 2 & 1 & 0 & 0 \\\\ 1 & 1 & 0 & 0 & 0 \end{matrix}.$$ After calculating the differential, my answer is that this decomposes as a dot at each corner, a zigzag of length 3 next to each each corner, and a progression of squares. Modulo the conjecture that all zigzags are invariant, this is a complete description of the Dolbeault complex. The $n=1$ case is an exception in which the Hopf manifold obviously is Kähler (it's a torus, and all complex curves are Kähler). In this case the invariant complex decomposes as four dots.

$\endgroup$
2
  • $\begingroup$ This is really beautiful, and I'm glad my question didn't turn out to be as standard as I'd feared. Thanks for working through this for me! $\endgroup$
    – macbeth
    May 31, 2010 at 22:11
  • $\begingroup$ You're very welcome! Thanks for reading what I have to say; I learned a lot from the exercise. $\endgroup$ May 31, 2010 at 23:46
9
$\begingroup$

Try Barth, Peters, Van de Ven and Hulek, "Compact complex surfaces". This has comprehensive coverage of Hodge theory on non-Kählerian surfaces (p. 136), including Hopf surfaces (p. 225).

It turns out that for surfaces, Kähler or not, the Frölicher (a.k.a. Hodge to de Rham) spectral sequence is extremely dull; it degenerates at $E_1$. From that, one can understand to what extent the Hodge decomposition is valid.

$\endgroup$
0
4
$\begingroup$

Just for the record: there are two further references in which the Dolbeault cohomology of Hopf manifolds (or more generally Calabi-Eckmann manifolds) is discussed.

One is the paper J. Neisendorfer, L. Taylor: Dolbeault homotopy theory. Trans AMS 245, (1978), 183-210. Section 5 contains computations of the Dolbeault model (from which the Dolbeault homotopy can be read off) for Calabi-Eckmann manifolds, using the bundle structure $S^1\times S^1\to M\to \mathbb{CP}^m\times\mathbb{CP}^n$. (Apparently, the Dolbeault cohomology of the Calabi-Eckmann manifolds was first computed by Borel "A spectral sequence for complex analytic bundles".)

For a textbook treatment (in the same spirit, using minimal models and Dolbeault homotopy theory) can be found in the book "Algebraic models in geometry" by Y. Félix, J. Oprea and D.Tanré, Oxford Graduate Texts in Mathematics 17, 2008. Chapter 4.3 discusses Dolbeault models for complex manifolds (in particular also Calabi-Eckmann manifolds) and Chapter 4.4 discusses the Frölicher spectral sequence.

$\endgroup$
3
$\begingroup$

Maybe the following article by Soenke Rollenske (and refferences their), could be usefull for you:

Some very non-Kähler manifolds: the Frölicher spectral sequence can be arbitrarily non degenerate

http://arxiv.org/abs/0709.0481

$\endgroup$
1
  • $\begingroup$ I gather from this article that perhaps I should instead be asking for information about a Hopf manifold's "Frölicher spectral sequence" (which measures the disconnect between de Rham and Dolbeault cohomology?). However, I can't find an explicit treatment of Hopf manifolds, either in the article or on Google. $\endgroup$
    – macbeth
    May 23, 2010 at 23:09
3
$\begingroup$

There are some references where it is computed

D. Mall, {\em The cohomology of line bundles on Hopf manifolds}, Osaka J. Math. {\bf 28} (1991), 999--1015.

D. Mall, {\em Contractions, Fredholm operators and the cohomology of vector bundles on Hopf manifolds}, Arch. Math., {\bf 66} (1996), 71--76.

M. Ise, {\em On the geometry of Hopf manifolds}, Osaka J. Math. {\bf 12} (1960), 387--402.

A. Libgober, {\em Cohomology of bundles on homological Hopf mani folds}, Sci. China Ser. A {\bf 52} (2009), no. 12, 2688--2698.

A. Haefliger: Deformations of transversely holomorphic flows on spheres and deformations of Hopf manifolds. Compositio Mathematica,55 (1985), 241-251.

$\endgroup$
2
$\begingroup$

The cohomology is computed by Ramani and Sankaran for more general manifolds which they called as generalized Hopf manifolds.

Mathscinet Link: http://www.ams.org/mathscinet/search/publdoc.html?pg1=IID&s1=154260&vfpref=html&r=30&mx-pid=1687024

$\endgroup$
1
  • $\begingroup$ Very interesting and relevant. Thanks! $\endgroup$
    – macbeth
    Sep 23, 2012 at 4:31

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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