4 votos

¿Cuándo es cero el primer functor derivado correcto de$\otimes O_Y$?

Deje que$X$ sea una variedad,$V$ es una hipersuperficie en$X$, y$Y$ es una subvariedad cerrada en$X$ que se interseca con$V$ transveralmente . Supongamos que las incrustaciones cerradas correspondientes son:$i:V \to X,\quad j: Y \to X$. Entonces tenemos la siguiente secuencia exacta:

$0 \to L(-V) \to O_X \to i_*O_V \to 0$

Se puede tensor con$j_*O_Y$ para obtener una secuencia exacta. Pero no sé cómo desempeña el papel la transversalidad para que quede exacto.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X