the Kodaira-Spencer map | K3 surfaces with involutions

K3 surfaces with involutions

Local and global Torelli theorems for complex K3 surfaces, periods of K3 surfaces, non-symplectic holomorphic involutions, anti-holomorphic involutions, Hilbert schemes of K3 surfaces, Nikulin's lattice theory, lattice-polarized K3 surfaces. . .

X=(X,p,S)を Vのsmooth deformation with base point s_0 とするとき,

a homomorphism

ρ_ X : T_S(s_0)→H^1(V,T_V)

が,[BHPV, p.38]のように定義される.これを,

Vのdeformation X the Kodaira-Spencer map と呼ぶ.


次の定理は,Kodaira and Spencer による古典的結果である.

(Kodaira and Spencer, A theorem of completeness for complex anlytic fibre space, Acta Math. 100 (1958), 281--294.)


Theorem 10.7

smooth deformationがcomlpeteであるための必要十分条件は,the Kodaira-Spencer mapがsurjectiveなことである.


注意

1 X がcomplete deformationで,そのKodaira-Spencer mapがisomorphismならば,Xは versal deformation であることがわかる.

2 complete smooth deformation が与えられると,上の定理よりそのK-S map は surjectiveであるが,base space を smooth subspace に取り直して,K-S map をisomorphismにできる.上の定理より,このdeformationもcompleteである.1より,これはversal deformationである.以上により,complete smooth deformation が存在すれば,K-S map がisomorphismであるようなversal smooth defromationも存在することがわかる.



(以上は,[BHPV] Chapter I §10 Deformations of complex manifolds p.38 にもとづく)