Is the homology class of a compact complex submanifold non-trivial?

As Mike Miller points out in the comments, if $X$ is a Kähler manifold (not necessarily compact), and $C$ is a $k$-dimensional compact complex submanifold, then $i_*[C] \in H_{2k}(X, \mathbb{Z})$ is non-trivial (here $i : C \to X$ is the inclusion map and $[C] \in H_{2k}(C, \mathbb{Z})$ is the fundamental class of $C$). To see this, let $\omega$ be the Kähler form, then $\int_C\omega^k = \operatorname{Vol}(C)$ by Wirtinger's Theorem (actually, Wirtinger's Theorem is much stronger than this). Now note that $\int_C\omega^k$ is actually a pairing of homology and cohomology classes, namely

$$\int_C\omega^k = \langle i_*[C], [\omega]^k\rangle.$$

Keep in mind, this is a pairing of real homology and cohomology classes, not integral ones. Although $i_*[C] \in H_{2k}(X, \mathbb{Z})$, we only have $[\omega] \in H^2(X, \mathbb{R})$ - provided $X$ is compact, finding a Kähler metric with $[\omega]$ integral is equivalent to $X$ being projective. We're identifying $i_*[C] \in H_{2k}(X, \mathbb{Z})$ with its image under the map $H_{2k}(X, \mathbb{Z}) \to H_{2k}(X, \mathbb{R})$ induced by the inclusion $\mathbb{Z} \to \mathbb{R}$.

If $i_*[C] \in H_{2k}(X, \mathbb{Z})$ were trivial, then its image in $H_{2k}(X, \mathbb{R})$ would also be trivial, in which case the pairing $\langle i_*[C], [\omega]^k\rangle$ would be zero. As $\operatorname{Vol}(C) > 0$, we therefore see that $i_*[C]$ is non-trivial.

A common misconception with this argument is that if a class in $H_{2k}(X, \mathbb{Z})$ is non-zero, then its image in $H_{2k}(X, \mathbb{R})$ will also be non-zero. At no point of the argument did I make such a claim, which is good because it is false: $H_{2k}(X, \mathbb{Z})$ may have torsion which will necessarily be mapped to zero in $H_{2k}(X, \mathbb{R})$.


As for the non-Kähler case, the result is no longer true. Let $X$ be the standard Hopf surface: $(\mathbb{C}^2\setminus\{(0,0)\})/\mathbb{Z}$ where the $\mathbb{Z}$-action is generated by the map $(z_1, z_2) \mapsto (2z_1, 2z_2)$. The image of $\mathbb{C}^*\times\{0\}$ under the natural projection $\pi : \mathbb{C}^2\setminus\{(0,0)\} \to X$ is

$$C := \{[(w, 0)] : w \in \mathbb{C}^*\} \cong \mathbb{C}^*/\mathbb{Z}$$

where the $\mathbb{Z}$-action is given by $w \mapsto 2w$. This is a one-dimensional compact complex submanifold of $X$, namely a torus. To see that the image of the fundamental class of $C$ is trivial in $H_2(X, \mathbb{Z})$, note that $X$ is diffeomorphic to $S^1\times S^3$, so by the Künneth Theorem, $H_2(X, \mathbb{Z}) = 0$.

Combining the considerations in the Kähler case, together with this example in the non-Kähler case, Donu Araparu gave a nice example of a non-compact complex surface which is not Kähler.