3
$\begingroup$

Let $X$ be a compact Riemann surface and $E \rightarrow X$ a holomorphic vector bundle of rank $n$. We can construct a projective bundle $\mathbb{P}(E) \rightarrow X$ by taking the projective spaces of the fibers of $E$. There is an exact sequence of sheaves $$1 \rightarrow \mathcal{O}^* \rightarrow GL(n,\mathcal{O}) \rightarrow PGL(n,\mathcal{O})\rightarrow 1$$ by considering $1 \rightarrow \mathbb{C}^* \rightarrow GL(n,\mathbb{C}) \rightarrow PGL(n,\mathbb{C}) \rightarrow 1$.

Since $H^2(X,\mathcal{O}^*) = 0$, we have $H^1(X,GL(n,\mathcal{O})) \rightarrow H^1(X,PGL(n,\mathcal{O}))$ is surjective, i.e. every projective bundle on Riemann surface arises from some vector bundle. By an analogous definition of flat vector bundle, we also have a notion of flat projective bundle. It is obvious that $\mathbb{P}(E)$ is flat if $E$ is flat. My question is

Let $\phi$ be a flat projective bundle on Riemann surface $X$, can we find a flat vector bundle $E$ on $X$ such that $\phi = \mathbb{P}(E)$?

I think the answer is "NO", but I can't give a proof by counterexample. For simplicity, we can consider $n=2$ i.e. $\phi$ is a flat $\mathbb{P}^1$ bundle. Let $\phi = \mathbb{P}(E)$ for some holomorphic vector bundle of rank 2. The question is equivalent to the degree of $E$ is even or odd under the isomorphism $H^2(X,\mathbb{Z}) \cong \mathbb{Z}$. Any comment is welcome, thank you.

$\endgroup$
2
  • 2
    $\begingroup$ For a Riemann surface, the group $H^2(X,\mathcal{O}_X^*)$ is zero, but the group $H^2(X,\mathbb{C}_X^*)$ is nonzero. This should give rise to many counterexamples. $\endgroup$ Commented Nov 16, 2016 at 11:41
  • $\begingroup$ Let $(E, h)$ be a projectively flat vector bundle over $M$. Then, for any Hermitian metric $g$ on M, (E, h) satisfies the weak Hermitian-Einstein metric. $\endgroup$
    – user21574
    Commented Apr 28, 2017 at 7:51

1 Answer 1

12
$\begingroup$

Equivalently, you are asking whether every homomorphism $\pi _1(X)\rightarrow \mathrm{PGL}(n,\mathbb{C})$ lifts to a homomorphism $\pi _1(X)\rightarrow \mathrm{GL}(n,\mathbb{C})$. It is easy to find counter-examples, already for $n=2$ and $g(X)=1$: then $\pi _1(X)=\mathbb{Z}^2$, so you are asking whether two commuting homographies can be lifted to commuting matrices in $\mathrm{GL}(2,\mathbb{C})$. It is an easy exercise to prove that this does not hold for the homographies $z\mapsto -z$ and $z\mapsto 1/z$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.