\( \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

\(h^{1,1}\) and the K\"ahler cone

definition 0.0.1

Let \(X\) be a compact Kähler manifold. Under the Hodge decomposition, the real \((1,1)\)-cohomology is \[ H^{1,1}(X;\RR):=H^{1,1}(X;\CC)\cap H^2(X;\RR). \] The K\"ahler cone of \(X\) is \[ \mathcal K_X :=\{[\omega]_{\mathrm{dR}}\in H^{1,1}(X;\RR)\mid \omega \text{ is a Kähler form on }X\}. \] It is an open convex cone in \(H^{1,1}(X;\RR)\). A point of \(\mathcal K_X\) is the de Rham cohomology class of a compatible symplectic form on the fixed complex manifold \(X\). In mirror symmetry one often uses the complexified K\"ahler parameter \[ [B]+i[\omega]\in H^2(X;\CC), \] where \([B]\in H^2(X;\RR)\) is usually considered modulo integral classes.
The number \(h^{1,1}\) controls first-order deformations of the Kähler class while keeping the complex structure fixed. More precisely, the Kähler cone \(\mathcal K_X\) is an open subset of the real vector space \[ H^{1,1}(X)\cap H^2(X,\RR). \] Therefore its real dimension is \(h^{1,1}(X)\). An infinitesimal deformation of the Kähler form is represented by a real closed \((1,1)\)-form \(\eta\). Modding out by exact deformations leaves the cohomology class \([\eta]\). In Dolbeault notation, the corresponding complex vector space is \[ H^1(X,\Omega_X^1)= \frac{\ker(\bar\partial: \Omega^{1,1}(X)\to \Omega^{1,2}(X))} {\operatorname{im}(\bar\partial: \Omega^{1,0}(X)\to \Omega^{1,1}(X))}. \] This is the Hodge-theoretic shadow of the symplectic fact that, on a compact manifold, deformations of symplectic forms in a fixed de Rham cohomology class are equivalent up to isotopy under the hypotheses of Moser's theorem. The takeaway is that \(h^{1,1}\) measures first-order Kähler, hence symplectic, deformations.

Connections

Uses

Used in