Asura.Dameshi said:
Ramuh.Rowland said:
Asura.Dameshi said:
Morning everyone. I trust you remembered to shield yourself from the oncoming barrage of attacks while I was gone?
Why yes I did. How did you know I was playing the Gears of War 3 Beta last night?
I know everything.
Let X be a compact complex manifold of complex dimension n. Then X is an orientable smooth manifold of real dimension 2n, so its cohomology groups lie in degrees zero through 2n. X is a Kähler manifold, so that there is a decomposition on its cohomology with complex coefficients:
H^k(X, \mathbf{C}) = \bigoplus_{p+q=k} H^{p,q}(X),\,
where Hp,q(X) is the subgroup of cohomology classes which are represented by harmonic forms of type (p, q). That is, these are the cohomology classes represented by differential forms which, in some choice of local coordinates z_1, \ldots, z_n, can be written as a harmonic function times dz_{i_1} \wedge \cdots \wedge dz_{i_p} \wedge d\bar z_{j_1} \wedge \cdots \wedge d\bar z_{j_q}. (See Hodge theory for more details.) Taking wedge products of these harmonic representatives corresponds to the cup product in cohomology, so the cup product is compatible with the Hodge decomposition:
\cup : H^{p,q}(X) \times H^{p',q'}(X) \rightarrow H^{p+p',q+q'}(X).\,
Since X is a compact oriented manifold, X has a fundamental class.
Let Z be a complex submanifold of X of dimension k, and let i : Z → X be the inclusion map. Choose a differential form α of type (p, q). We can integrate α over Z:
\int_Z i^*\alpha.\!\,
To evaluate this integral, choose a point of Z and call it 0. Around 0, we can choose local coordinates z_1,\ldots,z_n on X such that Z is just z_{k+1} = \cdots = z_n = 0. If p > k, then α must contain some dzi where zi pulls back to zero on Z. The same is true if q > k. Consequently, this integral is zero if (p, q) ≠(k, k).
More abstractly, the integral can be written as the cap product of the homology class of Z and the cohomology class represented by α. By Poincaré duality, the homology class of Z is dual to a cohomology class which we will call [Z], and the cap product can be computed by taking the cup product of [Z] and α and capping with the fundamental class of X. Because [Z] is a cohomology class, it has a Hodge decomposition. By the computation we did above, if we cup this class with any class of type (p, q) ≠(k, k), then we get zero. Because H^{2n}(X, \mathbf{C}) = H^{n,n}(X), we conclude that [Z] must lie in H^{n-k,n-k}(X, \mathbf{C}). Loosely speaking, the Hodge conjecture asks:
Which cohomology classes in Hk,k(X) come from complex subvarieties Z?