Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose we have a projective flat non-smooth morphism of Noetherian schemes $g: X \rightarrow S$. My question regards when the sheaf of relative Kahler differentials $\Omega_{X/S}$ is flat over $S$. In particular, I am wondering about the case where $S$ is the spectrum of a Dedekind domain, so we can just consider that case, if it makes things easier.

For example, if the geometric fibers are reduced curves with at most ordinary double points, then this morphism is a prestable curve and the sheaf $\Omega_{X/S}$ is flat over $S$ (Knudsen, projective of moduli space of stable curves).

I'm wondering about higher-dimensional analogues? How about if all the geometric fibers are reduced surfaces (even hypersurfaces in $\mathbb{P}^3$) with at most ordinary double points? If this works, would any isolated hypersurface singularities work? If it is an arbitrary local complete intersection morphism?

Thanks!

Jordan

share|improve this question
add comment

2 Answers 2

up vote 4 down vote accepted

Suppose that $Y$ is the spectrum of a smooth curve over perfect field $k$ and let $D\subseteq Y$ be a finite set of closed points. Let $f:X\to Y$ be a proper morphism and let $D\subseteq X$ be a normal crossings divisor. Suppose that $f$ is semi-stable relatively to $E,D$ and $k$, in the sense of Illusie in par. 1.4 of "Réduction semi-stable et décomposition...", Duke Math. J. 60 (1990).

The morphism $f$ is then flat and lci and its fibres are reduced normal crossings divisors. There is a relative residue sequence $$ 0\to \Omega_{X/Y}\to\Omega_{X/Y}({\rm log})\to F\to 0\ \ \ \ (*) $$ where $F$ is supported on the singular locus of the singular fibres of $f$, and $\Omega_{X/Y}({\rm log})$ is the locally free sheaf of differentials with (relative) logarithmic singularities along $D$. See for instance p. 23 in "Une conjecture sur la torsion..." by V. Maillot and D. Rössler (Publ. Res. Inst. Math. Sci. 46, no. 4 (2011) - for lack of a canonical reference (?)).

Now let $M$ be any quasi-coherent ${\cal O}_Y$-module. The tor-sequence corresponding to $\otimes_Y M$ when applied to (*) gives $$ \dots\to {\rm Tor}^1_Y(\Omega_{X/Y},M)\to{\rm Tor}^1_Y(\Omega_{X/Y}({\rm log}),M)\to{\rm Tor}^1_Y(F,M) $$ $$ \to \Omega_{X/Y}\otimes_Y M\to\Omega_{X/Y}({\rm log})\otimes_Y M\to F\otimes_Y M\to 0 $$ and since ${\rm Tor}^l_Y(\Omega_{X/Y}({\rm log}),M)=0$ for all $l>0$ (because $\Omega_{X/Y}({\rm log})$ is locally free and $f$ is flat) and ${\rm Tor}^l_Y(N,K)=0$ for any $l>1$ and any quasi-coherent ${\cal O}_Y$-modules $N,K$ (that is because $Y$ is the spectrum of a Dedekind domain and any finitely generated quasi-coherent ${\cal O}_Y$-module has a two-step projective resolution; the general case follows from compatibility of Tor with direct limits), we see that ${\rm Tor}^l_Y(\Omega_{X/Y},M)=0$, for all $l>0$, ie $\Omega_{X/Y}$ is flat over $Y$.

EDIT As remarked by Liu below, the sheaf $\Omega_{X/Y}$ can also be seen to be flat simply because it is the subsheaf of a torsion free sheaf.

share|improve this answer
1  
Salut Damian, maybe there is something obviously wrong, but $\Omega_{X/Y}(log)$ locally free implies it is flat over $Y$, hence has no torsion over $O(Y)$. Then the same is true for $\Omega_{X/Y}$, so the latter is flat over $Y$. –  Qing Liu Sep 17 '11 at 22:03
    
Salut Liu, you are right of course. I just wrote up the argument above as it came into my mind. One might also remark that it might be applied over higher-dimensional bases, if one has some control on the ${\rm Tor}^i(F)$. –  Damian Rössler Sep 18 '11 at 6:46
add comment

Suppose that $g:X\to S$ is a finite separable morphism of smooth curves over a field. Then $g$ is flat and is locally a family of hypersurfaces but $\Omega^1_{X/S}$ is supported on the ramification locus, so is not flat over $S$ unless $g$ is etale.

share|improve this answer
    
In this example the fibers are not reduced unless it is étale... –  Sándor Kovács Sep 14 '11 at 20:55
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.