2
$\begingroup$

For geometric quantization, the set of equivalence classes of prequantization line bundles of a quantizable symplectic manifold $(M, ω)$ is parametrized by $H^1(M, S^1)$ which represents the equivalence classes of flat Hermitian line bundles.

When $M$ is a compact Riemann surface, we can construct a complex structure on $H^1(M, \mathbb{R})$ by Hodge $*$ operator and this structure induces a complex structure on $H^1(M, S^1)=H^1(M, \mathbb{R})/H^1(M, \mathbb{Z})$.

My question is as follows:

Does $H^1(M, S^1)$ admit a complex structure when $M$ is a compact Kähler manifold?

If not, which condition $M$ should satisfy to construct a complex structure on $H^1(M, S^1)$?

Improve this question
$\endgroup$
5
  • 1
    $\begingroup$ Yes. The complex structure on $H^1(M,\mathbb{R})$ can be defined via the Hodge decomposition $H^1(M,\mathbb{R})\otimes \mathbb{C}=H^{1,0}\oplus H^{0,1} $, and this holds on any compact Kähler manifold. $\endgroup$
    – abx
    Commented Jul 26, 2014 at 13:54
  • $\begingroup$ Thank you! For this case, could the complex structure on $H^1(M,\mathbb{R})$ give a complex structure on $H^1(M,\mathbb(S^1))$? And are there some references about this? $\endgroup$
    – Bo Liu
    Commented Jul 26, 2014 at 14:41
  • $\begingroup$ Yes to the first question. Reference: any introduction to complex geometry, e.g. Griffiths-Harris or Voisin. $\endgroup$
    – abx
    Commented Jul 26, 2014 at 14:47
  • $\begingroup$ I see, topologically, $H^1(M,S^1)$ here is just the Jacobian $\mathrm{Pic}^0(M)$, the kernel of $C_1:\mathrm{Pic}(M)\rightarrow H^2(M,\mathbb{Z})$, a complex torus of dimension b_1(M). Is it right? $\endgroup$
    – Bo Liu
    Commented Jul 26, 2014 at 16:16
  • $\begingroup$ Perfectly right. $\endgroup$
    – abx
    Commented Jul 26, 2014 at 16:29

0

Reset to default

You must log in to answer this question.