Cohomology class of a current - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T01:36:23Z http://mathoverflow.net/feeds/question/85399 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/85399/cohomology-class-of-a-current Cohomology class of a current alike 2012-01-11T09:39:52Z 2012-01-11T17:14:03Z <p>Hello, i still have a question about positive closed currents. In particular i know that if $X$ is a compact complex manifold and $T$ is a positive closed current of bidegree $(1,1)$ such that its cohomology class is zero then is itself zero. Now, is it possible that is trivial, but is still true if the bidegree is greater than $1$ ? thanks in advance.</p> http://mathoverflow.net/questions/85399/cohomology-class-of-a-current/85424#85424 Answer by diverietti for Cohomology class of a current diverietti 2012-01-11T15:32:53Z 2012-01-11T15:32:53Z <p>Take any positive $(1,1)$-form $\omega$ on $X$ and let $T$ be a positive $(p,p)$-current. Then, the trace measure $$\sigma_T=\frac{1}{2^{n-p}(n-p)!}T\wedge\omega^{n-p}$$ is a positive measure on $X$ which dominates the mass measure $||T||$ of $T$. In particular, if $\sigma_T$ has vanishing total mass then it is zero, and if it is zero then $||T||$ and hence $T$ is zero.</p> <p>If $T$ and $\omega$ are closed (thus, in particular $X$ must be Kähler), then the total mass $\sigma_T(X)=\frac{1}{2^{n-p}(n-p)!}\int_XT\wedge\omega^{n-p}\ge 0$ depends only on the cohomology classes of $T$ and $\omega$. In particular, if $T$ is zero in cohomology, then the total mass of the trace measure of $T$ is zero and hence $T$ is zero.</p> <p>Therefore the answer to your question is yes, provided the manifold $X$ is Kähler.</p> <p>On the other hand, the answer is no in general, <strong>even for $(1,1)$-currents</strong>. Here is a counterexample:</p> <p>Take <code>$X=(\mathbb C^2\setminus\{0\})/\mathbb Z$</code>, where $\mathbb Z$ acts by homotheties, to be the Hopf surface. It is topologically $S^1\times S^3$, hence by Künneth formula $b_2(X)=0$ (in particular $X$ is not Kähler). The image of the two (punctured) axes of $\mathbb C^2$ by the projection are two elliptic curves on $X$. Take as $(1,1)$-current the current of integration over one of these two elliptic curves: it is then non-zero closed and positive but since there is no non-trivial $H^2$-cohomology, it is also exact.</p> <p>Your statement about $(1,1)$-current holds instead always true if you look exactness in Bott-Chern cohomology! In this case, indeed, your current is a $\partial\bar\partial$ of a function which is plurisubharmonic, since your current is positive by assumption. The conclusion follows by the maximum principle.</p> http://mathoverflow.net/questions/85399/cohomology-class-of-a-current/85428#85428 Answer by ws for Cohomology class of a current ws 2012-01-11T17:14:03Z 2012-01-11T17:14:03Z <p>A theorem of Harvey and Lawson (Inventiones 1983), says that a compact manifold $X$ of dimension $n$ is non-Kahler if and only if it supports a non-zero, positive current $T$ of bidimension $(1,1)$ (hence bidegree $(n-1,n-1)$) which is the $(n-1,n-1)$ component of a $d$-exact current. The current $T$ is $\partial\bar\partial$-closed (it doesn't have to be $d$-closed), so your claim is almost equivalent to $X$ being Kahler.</p> <p>For manifolds in the Fujiki class ${\mathcal C}$, one can show that $T$ can be chosen to be $d$-closed: $X$ is Fujiki but not Kahler if and only if it supports a non-zero, positive current of bidimension $(1,1)$ which is $i\partial\bar\partial$-exact.</p>