\(
\def\CC{{\mathbb C}}
\def\RR{{\mathbb R}}
\def\NN{{\mathbb N}}
\def\ZZ{{\mathbb Z}}
\def\QQ{{\mathbb Q}}
\def\TT{{\mathbb T}}
\def\CF{{\operatorname{CF}^\bullet}}
\def\HF{{\operatorname{HF}^\bullet}}
\def\SH{{\operatorname{SH}^\bullet}}
\def\ot{{\leftarrow}}
\def\st{\;:\;}
\def\Fuk{{\operatorname{Fuk}}}
\def\emprod{m}
\def\cone{\operatorname{Cone}}
\def\Flux{\operatorname{Flux}}
\def\li{i}
\def\ev{\operatorname{ev}}
\def\id{\operatorname{id}}
\def\grad{\operatorname{grad}}
\def\ind{\operatorname{ind}}
\def\weight{\operatorname{wt}}
\def\Sym{\operatorname{Sym}}
\def\HeF{\widehat{CHF}^\bullet}
\def\HHeF{\widehat{HHF}^\bullet}
\def\Spinc{\operatorname{Spin}^c}
\def\min{\operatorname{min}}
\def\div{\operatorname{div}}
\def\SH{{\operatorname{SH}^\bullet}}
\def\CF{{\operatorname{CF}^\bullet}}
\def\Tw{{\operatorname{Tw}}}
\def\Log{{\operatorname{Log}}}
\def\TropB{{\operatorname{TropB}}}
\def\wt{{\operatorname{wt}}}
\def\Span{{\operatorname{span}}}
\def\Crit{\operatorname{Crit}}
\def\CritVal{\operatorname{CritVal}}
\def\FS{\operatorname{FS}}
\def\Sing{\operatorname{Sing}}
\def\Coh{\operatorname{Coh}}
\def\Vect{\operatorname{Vect}}
\def\into{\hookrightarrow}
\def\tensor{\otimes}
\def\CP{\mathbb{CP}}
\def\eps{\varepsilon}
\)
Symplectic snippets
complex-structure deformation
definition 0.0.1 [Mirror symmetry motivation notes]
Let \(X\) be a compact complex manifold. A first-order deformation of the complex structure on \(X\) is a flat deformation of \(X\) over the dual numbers \(\CC[\epsilon]/(\epsilon^2)\), together with an identification of the special fiber with \(X\). Equivalence classes of first-order deformations are naturally identified with the Kodaira--Spencer group
\[
H^1(X,T_X),
\]
where \(T_X=T^{1,0}X\) is the holomorphic tangent bundle.
Analytically, after choosing a splitting, a nearby almost complex structure may be represented by a Beltrami differential
\[
s\in \Omega^{0,1}(X,T_X).
\]
The integrability condition is the Maurer--Cartan equation
\[
\bar\partial s+\frac{1}{2}[s,s]=0.
\]
To first order this reduces to \(\bar\partial s=0\), and infinitesimal changes of coordinates change \(s\) by elements of \(\bar\partial\Omega^0(X,T_X)\). Thus the Zariski tangent space to the deformation functor or Kuranishi space is \(H^1(X,T_X)\), while obstruction classes naturally take values in \(H^2(X,T_X)\).
Connections
Uses
No direct links found.