Relative canonical sheaf - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T12:55:41Z http://mathoverflow.net/feeds/question/27794 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/27794/relative-canonical-sheaf Relative canonical sheaf kaddar 2010-06-11T08:15:51Z 2010-06-21T11:17:02Z <p>Hi.</p> <p>I want to know if for $f:X\to S$ a proper flat holomorphic map with n-dimensionnal fibers over reduced complex space S, the relative canonical sheaf $w_{X/S}:=H^{-n}(f^{!}O_{S})$ is a dualizing sheaf which imply that the two functor, on Coh(S), $G\to H^{-n}(f^{!}G)$ and $G \to f^{*}G\otimes w_{X/S}$ agree...</p> <p>Thanks.</p> http://mathoverflow.net/questions/27794/relative-canonical-sheaf/27797#27797 Answer by Leo Alonso for Relative canonical sheaf Leo Alonso 2010-06-11T08:40:17Z 2010-06-21T11:17:02Z <p>If $f\colon X \to S$ a proper flat of schemes map with $n$-dimensionnal fibers over a noetherian scheme $S$, the relative canonical sheaf $\omega_{X/S}:=H^n(f^!{\mathcal{O}_S})$ is a dualizing sheaf. I guess that this should imply what you want by a GAGA-type argument.</p> <p>Indeed, being $f$ flat we have that $f^!G = f^*G \otimes f^!{\mathcal{O}_S}$ [Lipman, SLN 1960, Theorem 4.9.4] for $G \in D^b_c(X)$ (or, more generally, for $G \in D^+_{qc}(X)$). Now, $f^!{\mathcal{O}_S}$ is concentrated between degrees 0 and $-n$ by looking at the fibers of $f$ and its description via residual complexes. Then, taking $-n$-th cohomology on both sides and one obtains the desired result.</p> <p>Unfortunately, I am not familiar enough with the analytic version of the story as in Ramis-Ruget-Verdier "<a href="http://www.digizeitschriften.de/main/dms/img/?PPN=GDZPPN002089238" rel="nofollow">Dualité relative en géométrie analytique complexe</a>", but I guess the algebraic version may give you a clue for how to transpose the result to your setting. I would bet you do not need $S$ reduced as long as $f$ is flat.</p> <p><strong>Addendum</strong></p> <p>There was a confusion on my part. I was speaking about the dualizing complex while the original question was about the dualizing sheaf. If we agree that $\omega_X = H^{-n}(f^!O_B)$ for a equidimensional family (with $n$ the dimension of the fibers), then the base change isomorphism in the derived category for a square with base $u \colon P \to B$, ($B$ for "base scheme") a base change of the map $f \colon X \to B$ completing the square with $v \colon F \to X$ and $g \colon F \to P$, respectively.</p> <p>Then, by the formula in the derived category, </p> <p>$Lv^* f^! G \cong g^! Lu^* G$ </p> <p>we get an isomorphism of sheaves </p> <p>$H^{-n}(Lv^* f^!O_B) \cong H^{-n}(g^! Lu^*O_B) = H^{-n}(g'^!O_P)$ </p> <p>so we see that the dualizing sheaf over $F$ is the abutment of a spectral sequence involving higher $Tor$ sheaves related to the embedding of the fiber into the space $X$. But, of course one needs some information on this embedding to get the collapse of the spectral sequence.</p> http://mathoverflow.net/questions/27794/relative-canonical-sheaf/28606#28606 Answer by kaddar for Relative canonical sheaf kaddar 2010-06-18T07:39:57Z 2010-06-18T07:39:57Z <p>If the relative canonical sheaf $w_{X/S}:=H^{-n}(f^{!}O_{S})$ is a dualizing sheaf then necessarily the two functors $G-->H^{-n}(f^{!}G)$ and $G-->f^{*}G\otimes w_{X/S}$ agree as well.</p> <p>Remark that the first functor is left exact and the second is right exact which imply immediately that $w_{X/S}$ is flat over $S$ and then commute with any base change!</p> <p>But it is not true in general. For this, we can see the simple example of Zsolt in Arxiv AG-2008: Base change for relative canonical sheaf. In this paper, he consider a flat family of normal varieties over smooth curve.</p> <p>I have another very easy example which show us that $w_{X/S}$ is compatible with base change but the two functor dont agree. This example is giving by a surjective finite morphism between Normal Gorentein complex spaces. Of course, this morphism is neither flat, neither of finite tor dimension but it defines an analytic family of zero-cycles (and then we have a nice holomorphic trace map).</p> <p>Important remark: 1) In this two example, Kunz relative sheaf (relative regular meromorphic forms) and relative canonical sheaf agree.</p> <p>2) Kunz relative sheaf is not a dualizing sheaf in general.</p>