This is the first blog aim to introduce the generic vanishing theorem, follows Hacon’s proof. He use the Fourier-Mukai transform and something about Abelian varieties to solve this problem:
Main Theorem. Let X be a smooth projective variety over C. Let a:X→Alb(X) be the Albanese map. Let
Si(ωX)={M∈At(C):Hi(X,ωX⊗M)≥0},
then Si(ωX)⊂At is closed of codimension ≥i−dimX+dima(X).
This is my plan of the reading program of the moduli space of curves, aiming to discover the geometrical properties of stacks Mg,n and ¯Mg,n and their coarse moduli spaces.
Here we use the basic algebraic geometry to prove some toy versions of big conjectures in math, such as Fermat’s conjecture for polynomials and ABC-conjecture for polynomials.