NOTES on GIT and RELATED TOPICS Contents 1. GIT
Total Page:16
File Type:pdf, Size:1020Kb
NOTES ON GIT AND RELATED TOPICS FEI SI Abstract. The reading note contains basics of GIT and some computational examples. A brief GIT construction of moduli of stable curves and stable maps will be given. At last,we discuss relations with other stability conditions in algebraic geometry and moment maps in sympletic geometry. Contents 1. GIT Pholosophy 2 2. Basic setting of GIT under Reductive group action 2 2.1. Affine GIT 2 2.2. Projective GIT 2 2.3. Luca's Slice Theorem 2 2.4. Hilbert-Mumford Criteria 2 2.5. Application 1:construction of coarse moduli space Mg;n 2 2.6. Application 2:construction of coarse moduli Kd of K3 2 3. Some key techniques to detect GIT Stability 3 4. moment maps and GIT 3 4.1. moment maps 3 4.2. Kempf-Ness theorem 4 5. Variation of GIT 4 6. Non reductive GIT 4 7. Derived category of GIT 4 8. stability in algebraic geometry 4 8.1. K-stability 4 8.2. Chow-stability 5 9. Appedix:Hilbrt scheme,Chow variety and Quot schemes 6 9.1. Construction of Hilbert schemes 6 9.2. Construction of Chow Variety 8 9.3. Construction of Quot schemes 9 9.4. Hilber-Chow morphism 9 9.5. Some basic Properties of Hilbert scheme and chow variety 10 References 10 1 2 Fei Si 1. GIT Pholosophy Lemma 1.1. (Key lemma)If C is a Degline-Mumford stable curve of g ≥ 2 over C.then 1 ⊗n (i) H (C; !C ) = 0 for n ≥ 2 ⊗n (ii) !C is very ample for n ≥ 3. Proof. (i) comes from Vanishing Theorem. (ii) can be applied by Riemann-Roch and criteror ⊗n ⊗n dimj!C j − dimj!C − P − Qj = 2 for 8 P; Q 2 C Remark 1.2. By the the lemma,choose n = 3,universal for all stable curves,then we have the embedding 5g−6 C,! P then we can consider the Hilbert scheme Hp;5g−6 which parametrize all i-dimensional closed subscheme in P5g−6.Then take its GIT quotien- t.This is a sample of GIT approach to construction of moduli space.The advantage of this approach is that projectivity of moduli spaces is ob- vious. 2. Basic setting of GIT under Reductive group action 2.1. Affine GIT. 2.2. Projective GIT. 2.3. Luca's Slice Theorem. suppose G × X ! X with G-linearized L 2 P ic(X) Definition: (i) x 2 X is semistable w.r.t L if (ii) x 2 X is stable w.r.t L if 2.4. Hilbert-Mumford Criteria. Theorem 2.1. (Hilbert-Mumford) (i) p 2 X is semistable , weight µ(p; λ) ≥ 0 for any 1 − P S λ (ii) p 2 X is polystable , weight µ(p; λ) > 0 for such 1 − P S λ as lim (iii) p 2 X is stable , weight µ(p; λ) > 0 for any 1 − P S λ Proof. 2.5. Application 1:construction of coarse moduli space Mg;n. 2.6. Application 2:construction of coarse moduli Kd of K3. Notes on GIT3 3. Some key techniques to detect GIT Stability In general,the advanteg of GIT's approach to moduli is that you can show the projectivity and compatify the moduli space very easily.But the disadantege is very obvious too:very difficult to get detailed analysis the stability m. 4. moment maps and GIT 4.1. moment maps. Definition 4.1. Let (X; !) be a symplectic manifold with a compact Lie group action G y X. the moment map ∗ ∼ dim G µ : X ! g = R defined by dhµ(x);&i = !(V& ; ) where & 2 g and V& is the vector field generated by the flow 't := exp(t&) 2 Sym(X; !); t 2 R,ie, d' t (x) = V (' ) dt & t '0 = id n i P Example 4.2. (X; !) = (C ; 2 dzidzi) and G = U(1) the natural action is given by multiplication.Then g = iR itθ itθ 't :(z1; :::; zn) 7! (e z1; :::e zn); iθ 2 g d't X itθ @ −itθ @ = θe z1 − θe z1 dt @zl @zl X @ @ V& = iθzl − iθzl @zl @zl X !(V& ; ) = iθ (zjdzj + zjdzj) Thus, the moment map is 2 µ(z)(θ) = θjzj θ 2 R Remark: consider sympletic quotient,easy to see −1 n−1 µ (1)=G = P This coinside with quotient in algebraic geometry. p n P Example 4.3. (X; !) = (P ; −1@@log( zizi) and G = U(n + 1) acts Pn naturally. 4 Fei Si n i P n Example 4.4. (X; !) = (C ; 2 dzidzi) and G = U(n) acts C nat- urally.Each element A 2 G can be diagonalized.so assume p p X A = diag( −1λ1; ::: −1λn); λi 2 R; λi = 0 .Then 4.2. Kempf-Ness theorem. n Theorem 4.5. Let X ⊂ CP be projective manifold with reductive Lie group action G ⊂ GL(n + 1; Cn),then p 2 X is poly-stable , orbit G · p T µ−1(0) 6= φ moreover if p is polystable,then #G · p T µ−1(0) = 1 Proof. Suppose G is complexication of a compact subgroup K ⊂ GL(n+ n 1; C), fixed a v0 2 C then consider G ! R g 7!j g · v0 j Note that j g · v0 j=j k · g · v0 j for each k 2 K,then it induces G=K ! R and G=K is a homogeous space admit nonnegative curvature. We claim :the function obtain its minimum iff v0 is stable 5. Variation of GIT 6. Non reductive GIT 7. Derived category of GIT 8. stability in algebraic geometry 8.1. K-stability. Notes on GIT5 8.1.1. Futaki invatiant:obstruction to KE metric on Fano manifold. From history,the first obstruction to KE-metric is Mas 's Aut(X),which says it's reductive if X admits KE. then in 1985,A.Futaki gives another one.Here we follow3. Set 1 h := f@f 2 Γ(TX): f 2 C (X; C) where @f := gij @f @ @zj @zi consider functional F : h ! C Z f 7! (S − Sb) · f · !n X ij where scalar curvature of the kahler metric is S := g Rij and average R n X S·! scalar curvature is Sb := R n It's easy to see if X admits Csck, then X ! F ≡ 0 Note that KE is just a special Csck. 8.1.2. Donalson-Futaki invariant:Algebraic geometry enters. Definition 8.1. (Test-configuration) Let (X; L) be a polarized man- ifold with L ample.A Test-configuration for of exponent r > 0 is an Nr ⊗r ∗ embedding X,! CP by L with 1 − P S λ : C ! GL(Nr + 1; C) 0 ⊗r where Nr := dimH (X; L ) Example 8.2. (Trivial TC) 8.1.3. Tian's analytical definition. 8.1.4. Donalson's algebraic definition. Remark:By the work of Li-Xu,(see[LX]5,It's enough ro only consid- er special test configurations. 8.2. Chow-stability. Definition 8.3. A normal variety X ⊂ PN is called chow stable(semi- stable) if its chow form (chow point) is stable(semi-stable) in the sense of GIT SL(N + 1; C) y Chow Definition 8.4. A polarized variety (X; L) is called asymtopic chow Nm stable(semi-stable) if 'm(X) ⊂ P is chow stable(semi-stable) for m 0 6 Fei Si 9. Appedix:Hilbrt scheme,Chow variety and Quot schemes In fact, Grassimian G(n; m) is a toy model.It parametrize all n− dimensional subspace of Cm,or equivalently,all (n-1)-dimensional pro- jective subspace in Pm−1 9.1. Construction of Hilbert schemes. Hilbert scheme is a moduli space parametrizing all closed subschemes with given Hilbert polyno- mial in a given projective space. Lemma 9.1. (Uniform lemma) Given polynomial P ,if Z ⊂ PN is a closed subscheme with Hilbert poly- nomial P ,Let be I its ideal sheaf.then 9integer m = m(P ) st:for n ≥ m (i) hi(PN ; I(n)) = 0 for i > 0 (ii) I(n) is generated by global sections. 0 N 0 (iii) H (P ; O(n)) H (X; OX (n)) Proof. The proof follows induction on N. Recall by cohomological definition of Hilbert polynomial, 0 P (n) = χ(OX (n)) = dimH (X; OX (n)) for n 0 since OX (1) is very ample. N = 0,it's trival. Now suppose it holds for < N Take H a hyperplane of PN st:each component of X * H. Set J := I ⊗ OH By tensoring OH with 0 !I!OPN !OX ! 0 we have J ,!OH By induction hyperthesis,9n0 = n0(N; J ) st: N Let HP;N := fZ ⊂ P with PZ = P g='.Then choose a uniform integer n in lemma9.1, HP;N is embedded into Grassimian: N + n N + n N + n H ! G(P (n); ) = G( − P (n); ) P;N n n n 0 0 via Z 7! fH (I(n)) ⊂ H (OPN (n))g By Plucker embedding, A n m G(n; m) ,! P = P ^ C span(v1; ::vn) 7! v1 ^ ::: ^ vn Category view: consider functor HP;N : sch(S) ! sets T 7! fX ! T flat proper fiber isomorphic to N closed subscheme in P with Hilbert polynomal P g Notes on GIT7 Theorem 9.2. HP;N is represented by HP;N with a universal family U! HP;N Proof. idea of construction: step1:Grassmannian can be represented. Given a Noetherian scheme and a vector bundle E on S,rk(E) > r,consider Gr : sch(S) ! sets T 7! fsubbundles of T ×S E with rank = rg 0 let t1; :::tn 2 H (S; E) be global sections of E generating E.