nC0 - nC1 + nC2 - .... + (-1)^n nCn って0？教えて

1 ：以下、？ちゃんねるからVIPがお送りします：2019/10/18(金) 01:03:27.075 ID:nupuP3FN0.net

f : X -> Yをn次元アーベル多様体のisogenyとする
このときRiemann-Rochよりx(O_X) = def f x(O_Y)
（x(F)はFのEuler characteristic）
ここでアーベル多様体Xに関して、X x X' -> X'のbase changeとKoszul complexを考えることによって
（X'はXの双対）
dim H^i(X, O_X) = nCiであるから、スレタイの式をDとするとD = def Dを得る
今isogenyの次数は任意にとれるから、任意の自然数mにたいしてD = mD
よってD=0

この証明あってるかな

2 ：以下、？ちゃんねるからVIPがお送りします：2019/10/18(金) 01:03:54.184 ID:A04bossd0.net

頭痛くなった

3 ：以下、？ちゃんねるからVIPがお送りします：2019/10/18(金) 01:03:55.782 ID:zevJmkgEd.net

数学？

4 ：以下、？ちゃんねるからVIPがお送りします：2019/10/18(金) 01:04:25.884 ID:8a8Mo8Zf0.net

シグマとって無限までもってけよ

5 ：以下、？ちゃんねるからVIPがお送りします：2019/10/18(金) 01:05:24.360 ID:nupuP3FN0.net

x(O_X) = DはKunnethの公式使ってH^pが成す次数付き加群を代数とみなして
Xの群構造を使ってHopf代数とみればもっと簡単に言えるわ

6 ：以下、？ちゃんねるからVIPがお送りします：2019/10/18(金) 01:06:22.764 ID:QpgIprT70.net

(○_×)ひゃー訳わかんねえ

7 ：以下、？ちゃんねるからVIPがお送りします：2019/10/18(金) 01:07:10.235 ID:Ut8bXTbyd.net

まるで分からん

8 ：以下、？ちゃんねるからVIPがお送りします：2019/10/18(金) 01:07:24.193 ID:QpxsC24u0.net

二項定理で解けそう

9 ：以下、？ちゃんねるからVIPがお送りします：2019/10/18(金) 01:08:09.009 ID:AQ9l39LH0.net

あってるよ！

10 ：以下、？ちゃんねるからVIPがお送りします：2019/10/18(金) 01:08:32.354 ID:QpxsC24u0.net

(1 + x)^n = (nC0) + (nC1)x + (nC2)x^2 + … + (nCn)x^n
x=-1を代入
はい

11 ：以下、？ちゃんねるからVIPがお送りします：2019/10/18(金) 01:09:24.187 ID:Ut8bXTbyd.net

(1-1)^nを二項展開する方法しかわからん