교수님이 던져준 논문 계산 별로 안어려울줄 알고 놀았는데 생각보다 할거 많아서 밤샘중 야발 ㅋㅋㅋ
그래도 12시 전까지는 끝날것 같아서 다행

수학얘기) X가 complex projective manifold, K가 X의 canonical line bundle이고 L이 X 위의 nef big line bundle이면 i>0에 대해 h^i(L⊗K)=0이다 (Kawamata-Viehweg vanishing)

뭔가 많이 쓰는 정리인것 같길래 궁금해서 증명 찾아봤더니 higher direct image에 대해서 열심히 spectral sequence로 증명하더라
원래 그렇게 증명하는건가? 아님 좀 더 쉬운 증명이 있는건가 잘 몰겠넹

- dc official App