Zoom Logo

My Meeting - Shared screen with speaker view
zhitongmi
02:03:23
写在黑板上有一点反光,不过只要写大一点就可以了
Ziwen Zhu
02:40:12
we need negativity lemma to show E>=F and E<=F
Xiaowei Wang
02:40:32
agree
Chen Jiang
02:40:35
just compare both with K_W+E
Chen Jiang
02:40:46
no need to use negativity
Ziwen Zhu
02:41:14
I see
Yujie Luo(罗宇杰)
02:57:42
为什么Aut(X)一定是P^N自同构诱导出来的呀?
Yuchen Liu
02:58:29
because X is a subvariety of P^N, and any automorphism preserve O(1)
Wenfei Liu
02:58:53
Aut(X) 诱导 H^0(mK_X) 的线性变换
Xiaowei Wang
02:59:11
No, have to use O(1) ~K_X
Yujie Luo(罗宇杰)
02:59:39
so this holds for any projective variety? not need to use Kx ample?
Xiaowei Wang
02:59:43
e.g elliptic curve.
Yuchen Liu
03:00:05
Yes, I'm saying K_X is intrinsic to X
Xiaowei Wang
03:00:12
exactly.
Yujie Luo(罗宇杰)
03:05:39
thanks, I get it
Jiabin Du
03:39:14
可以选定