15
$\begingroup$

Let $X \to Y$ be a smooth projective morphism of smooth varieties over $\mathbb{C}$. Then the fibers $X_y, y \in Y$ have locally constant Hodge numbers $H^q(X_y, \Omega^p_{X_y})$. Namely, one can argue that the Hodge numbers are upper semicontinuous because they represent the kernels of the $\overline{\partial}$-Laplacian, and when you wiggle an operator, the kernel only jumps. However, their sum gives the sum of the Betti numbers of the fibers (since each $X_y$ is smooth and projective), which is locally constant by Ehresmann's fibration theorem.

In what generality is this claim about Hodge numbers true? For instance, will upper semicontinuity still be true (I would like to apply the semicontinuity theorem but don't know how the $\Omega^p_{X_y}$ fit into a flat family) if the morphism is, say, only proper? Is any of this true in characteristic $p$ where we don't have Hodge theory?

$\endgroup$
3
  • 3
    $\begingroup$ Dear Akhil, For the char. $p$ story, note that in general $h^{p,q}$s are not constant, even in smooth projective families, in char. $p$. See the paper of Deligne and Illusie (easy to recognize on MathSciNet) for some positive results, and probably some references to the older literature (papers of Igusa and Serre, I think) for counterexamples. Two more things: for smooth proper families of curves, its easy to see that the genus is constant, and hence that the $h^{p,q}$s are constant, using the theorems on cohomology and base-change from the end of Chapter III of Harshorne. And one place ... $\endgroup$
    – Emerton
    Feb 19, 2012 at 3:25
  • 3
    $\begingroup$ ... that the argument you gave for constancy of $h^{p,q}$s in char. $0$ can be found is Deligne's article on the degeneration of spectral sequences. This paper is a precursor to his papers on (mixed) Hodge theory, and you might want to look at it, and his Hodge theory papers, for more information related to your question (and because they are beautiful and important in any case!). Best wishes, Matt $\endgroup$
    – Emerton
    Feb 19, 2012 at 3:27
  • $\begingroup$ Dear Matt, Thank you for these additional remarks and references. I've never looked at Deligne-Illusie, and it seems that I should! $\endgroup$ Feb 19, 2012 at 5:58

1 Answer 1

16
$\begingroup$

Without flatness you have little chance for this to even get off the ground: Let $f:X\to Y$ be the blow up of a smooth (closed) point of $Y$. Then all fibers except one consist of a single point, while the special fiber is a $\mathbb P^n$. That will have non-zero Hodge numbers that the others can't even dream about.

So, assume $f$ is flat, then if $X$ is smooth, then $\Omega_X$ is still locally free and so it is flat over $Y$ and hence you get that $\dim H^q(X_y, (\Omega^p_X)_y)$ is semi-continuous. This works in any characteristic and it does not have anything to do with Hodge theory. The shortcoming of this is that you're actually not getting $\dim H^q(X_y, \Omega^p_{X_y})$ even in the smooth case, because for that you would need $\Omega_{X/Y}$, but that's not flat and in some sense not the right object to consider.

If $Y$ is also smooth, then $\Omega_Y$ is locally free and if $f$ is dominant, then you still have the short exact sequence $$ 0\to f^*\Omega_Y\to \Omega_X\to \Omega_{X/Y}\to 0 $$ The trouble is that the sheaf on the right is not locally free, so when you take exterior products, then it gets kind of tricky. One possibility is to construct complexes that behave very similarly to $\Omega_{X/Y}^p$ with respect to $\Omega_X^p$ and $\Omega_Y^p$. This is done in this paper. The primary goal of the paper is not what you want and I am not sure that you actually get semi-continuity, but you can at least check out the construction. A general version of that construction is in this paper. (Sorry, neither of them are on arXiv).

Also, for singular fibers $\Omega_{X_y}$ is not the "right" thing to look at. One can look at the objects that come from the Deligne-Du Bois complex and do Hodge theory for singular varieties. Then the restriction becomes a little tricky, because those are objects in a derived category and restriction is not exact, so you need to do something else. Completion along the fiber gives the right thing, but I don't know if there is a semi-continuity theorem using completion instead of restriction. That might be an interesting question to contemplate. This is related to the paper I linked above. See the references in that for more details.

$\endgroup$
0

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.