3
$\begingroup$

Let $X$ be a nonsingular projective variety with dimension $n$, $Z$ is a closed subvariety of $X$ with dimension $n-1$. there is a morphims $f:H^{n-1}(X,\Omega_{X}^{n-1})\longrightarrow$$H^{n-1}(Z,\Omega_{Z}^{n-1})$, by the Serre's duality, there is a cohomology class $\zeta(Z) \in$$H^{1}(X,\Omega_{X}^{1})$.

On the other hand,$dlog$:$O_{X}^{*}\longrightarrow$ $\Omega_{X}^{1}$, then we have $c :H^{1}(X,O_{X}^{*})\longrightarrow$$H^{1}(X,\Omega_{X}^{1})$.

My questions are:

Why the $c(O_{X}(Z))=\zeta(Z)$?

How to understand the morphism $dlog$ and $c$?

Thank you very much.

$\endgroup$
5
  • 4
    $\begingroup$ This is Exercise III.7.4(c) in Hartshorne. $\endgroup$ Jan 30, 2012 at 9:55
  • 4
    $\begingroup$ I know this is Hartshorne's exercise, but I don't know how to prove it. $\endgroup$
    – kiseki
    Jan 30, 2012 at 11:13
  • 1
    $\begingroup$ Yet, this is not the right place to find out: see mathoverflow.net/faq#whatnot Perhaps you could ask your AG professor or a fellow graduate student. $\endgroup$ Jan 30, 2012 at 17:06
  • $\begingroup$ ...or at math.stackexchange.com $\endgroup$ Jan 30, 2012 at 17:08
  • 13
    $\begingroup$ Sándor: From my experience on math.stackexchange.com, I would say that this question is likely too high-level to get a good answer there. (No one will think it is inappropriate, but no one will have a shot at answering it except people who are also on mathoverflow.) $\endgroup$ Jan 30, 2012 at 21:32

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.