5
$\begingroup$

Let $X$ be a compact Kahler manifold of complex dimension $n$. Fix a nonzero class $u \in H^1(X,T_X)$. This gives a linear morphism $$ \phi_u : H^0(X,\Omega^n) \to H^{1}(X,\Omega^{n-1}), \quad \sigma \mapsto u \cup \sigma. $$ Is $\phi_u$ injective?

It is so for manifolds with $\Omega^n_X = \mathcal O_X$; the proof I've got is not hard but uses Ricci-flat Kahler metrics and the hard Lefschetz theorem so it cannot generalize to other situations. In the examples I know (curves, hypersurfaces in $\mathbb P^n$) we have $h^{n,0} \leq h^{n-1,1}$, so I haven't stumbled upon an obvious counterexample yet.

$\endgroup$

2 Answers 2

12
$\begingroup$

The answer to this question is negative in dimensions $\ge 3$. For example, take a quintic in $\mathbb CP^4$ and consider its blow up $X$ in $10^{100}$ points (just to be safe). Then the space $H^1(X, T_X)$ will be huge, since it parametrises deformations of the blown up variety and you can move points as you wish. So there will be non-zero $u\in H^1(X, T_X)$ so that you map is trivial.

Note that when you blow up the quintic $H^{2,1}$ does not change.

Also, this trick with blow ups will not work for Kahler surfaces as is explained for example, in appendix 1 in http://arxiv.org/pdf/1301.0478.pdf

$\endgroup$
2
  • 2
    $\begingroup$ I'd have upvoted just for "$10^{100}$ points (just to be safe)" alone. :D $\endgroup$ Jan 7, 2013 at 9:25
  • $\begingroup$ I see, that Jason gave a different explanation that works for surfaces :) even though surfaces satisfy $h^{2,0}<h^{1,1}$ $\endgroup$ Jan 7, 2013 at 9:26
7
$\begingroup$

The map $\phi_u$ is not always injective. Let $X$ be the blowing up along a large number of points inside a quartic surface in $\mathbb{P}^3$, or any surface $S$ with nonzero $h^{n,0}$. The weight $2$ Hodge structure of $X$ is a direct sum of the weight $2$ Hodge structure of $S$, the image of the pullback morphism, and a finite number of copies of the Hodge structure $\mathbb{Z}(-1)$, the Gysin images of the weight $0$ Hodge structures of the exceptional divisors. So, as you vary the blown up points in $S$, the corresponding variation of Hodge structures is trivial. Thus the Griffiths transversality map $\phi_u$ is zero for every $u$ coming from a variation of the points.

$\endgroup$

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.