Skip to main content
deleted 7 characters in body
Source Link
ykm
  • 712
  • 3
  • 11

I am a beginner so the following may be wrongbut here is my attempt:

the Euler sequence on $\mathbb{P}^n$ pulls back to $0 \to O_C \to O_C(1)^{n+1} \to f^*T_{\mathbb{P}^n} \to 0$ and so from the associated long exact sequence we want to show $H^1(O_C(1))=0$ (as $H^2(O_C)=0$ since $\dim C = 1 <2$). Let $D$ be an effective divisor on $C$ so that $O_C(1)=O_C(D)$. By Serre duality we have $H^1(O_C(D))=H^0(O_C(K-D))=0$ because $\deg K-D = \deg -D <0 $ since on elliptic curve $\deg K=0$.

I am a beginner so the following may be wrong:

the Euler sequence on $\mathbb{P}^n$ pulls back to $0 \to O_C \to O_C(1)^{n+1} \to f^*T_{\mathbb{P}^n} \to 0$ and so from the associated long exact sequence we want to show $H^1(O_C(1))=0$ (as $H^2(O_C)=0$ since $\dim C = 1 <2$). Let $D$ be an effective divisor on $C$ so that $O_C(1)=O_C(D)$. By Serre duality we have $H^1(O_C(D))=H^0(O_C(K-D))=0$ because $\deg K-D = \deg -D <0 $ since on elliptic curve $\deg K=0$.

I am a beginner but here is my attempt:

the Euler sequence on $\mathbb{P}^n$ pulls back to $0 \to O_C \to O_C(1)^{n+1} \to f^*T_{\mathbb{P}^n} \to 0$ and so from the associated long exact sequence we want to show $H^1(O_C(1))=0$ (as $H^2(O_C)=0$ since $\dim C = 1 <2$). Let $D$ be an effective divisor on $C$ so that $O_C(1)=O_C(D)$. By Serre duality we have $H^1(O_C(D))=H^0(O_C(K-D))=0$ because $\deg K-D = \deg -D <0 $ since on elliptic curve $\deg K=0$.

Source Link
ykm
  • 712
  • 3
  • 11

I am a beginner so the following may be wrong:

the Euler sequence on $\mathbb{P}^n$ pulls back to $0 \to O_C \to O_C(1)^{n+1} \to f^*T_{\mathbb{P}^n} \to 0$ and so from the associated long exact sequence we want to show $H^1(O_C(1))=0$ (as $H^2(O_C)=0$ since $\dim C = 1 <2$). Let $D$ be an effective divisor on $C$ so that $O_C(1)=O_C(D)$. By Serre duality we have $H^1(O_C(D))=H^0(O_C(K-D))=0$ because $\deg K-D = \deg -D <0 $ since on elliptic curve $\deg K=0$.