1
$\begingroup$

Let $(M,\omega)$ be a symplectic manifold. Does a vector fiber bundle $E$ exist, such that the Chern classes of $E$ are linked to the symplectic form as, for example, $\forall k$, $ch_k(E)=[\omega^k]$?

$\endgroup$
3
  • $\begingroup$ The De Rham cohomology class of $[\omega]$ need not be contained in the rational cohomology $H^*(M;\mathbb{Q})$ inside $H^*(M;\mathbb{R})$. On the other hand, all of the graded pieces of the Chern character $\text{ch}_k(E)$ are contained in $H^*(M;\mathbb{Q})$. $\endgroup$ Sep 9, 2016 at 15:40
  • $\begingroup$ We can take a symplectic form in the rational cohomology (?). $\endgroup$ Sep 9, 2016 at 15:51
  • 4
    $\begingroup$ Take your rational form and multiply to make it integral. Then construct the line bundle with that form as its first Chern class. $\endgroup$ Sep 9, 2016 at 15:59

1 Answer 1

2
$\begingroup$

What you need is to construct principal circles bundles $E\to M$ over the symplectic manifold $(M^{2n}, \omega)$, whose Euler class is represented by the symplectic form. Recall that for principal circle bundles $E\to M$, the Euler class coincides with the first Chern class, which is an element in $H^{2}(M; \mathbb{Z})$. Thus, the symplectic form has to represent an integral class $[\omega]\in H^{2}(M; \mathbb{Z})$, which means that it has to lie in the image of the homomorphism $$ H^{2}(M; \mathbb{Z})\to H^{2}(M; \mathbb{R})\cong H^{2}_{DR}(M). $$ In fact, the existence of such a symplectic form has been described for example by R. E. Gompf (ftp://ftp.ma.utexas.edu/pub/papers/gompf/Gompf-symp.ps) as follows: Assume that $(M, \omega)$ is closed+symplectic. Then, for every Remannian metric on $M$ one can find a $\epsilon$-ball $B_{\epsilon}$ around the origin in the space of harmonic 2-forms on $M$, such that every element in $\omega+B_{\epsilon}$ is symplectic. However, the set of classes in $H^{2}(M; \mathbb{R})$ represented by these elements is open; hence there is a symplectic form which represents a rational cohomology class. Thus, multiplying with a suitable rational, one can always find a symplectic form representing an integral cohomology class.

Now, the classical Boothby-Wang construction (https://www.jstor.org/stable/1970165?seq=1#page_scan_tab_contents) associates to each symplectic manifold $(M, \omega)$ with an integral symplectic class $[\omega]$ a principal circle bundle ${\rm S}^{1}\to E\to M$ with Euler class equal to $[\omega]$. Moreover, $E$ carries a contact structure $\xi$.

In particular, fix a (closed+connected) symplectic manifold $(M^{2n}, \omega)$ with symplectic form $\omega$ representing an integral cohomology class, and write $[\omega]_{\mathbb{Z}}$ for the integral lift of $[\omega]\in H^{2}_{DR}(M)$. Let $\pi : E^{2n+1}\to M^{2n}$ be the principal circle principal bundle over $M$ with Euler class $e(E)=[\omega]_{\mathbb{Z}}$. By a result of Kobayashi, we can choose a ${\rm U}(1)$-connection, say $A$, on $E\to M$ with curvature form $\Omega=\frac{2\pi}{i}\omega$. Notice that $A$ is an invariant 1-form on $E$ with values in $\frak{u}(1)\cong i\mathbb{R}$, satisfying $$ dA=\pi^{*}\Omega \quad\text{and} \quad A(X)=2\pi i,$$ where $X$ is the fundamental vector field generated by the action of the element $2\pi i\in\frak{u}(1)$. Then we can prove that the real-valued 1-form $\phi:=\frac{1}{2\pi i}A$ on $E$ defines a contact structure on $E$ i.e. $\phi\wedge (d\phi)^{n}\neq 0$, with $\phi(X)=1$ and $d\phi=-\pi^{*}\omega$. Since $d\phi(X)=0$, the Reeb vector field $\xi$ associated to the contact form $\phi$ is given by the vector field $X$ along the fibres. Notice that such a structure defines a splitting $TE=\mathbb{R}\oplus\pi^{*}TM$ and hence an orientation on $E^{2n+1}$ (the $\mathbb{R}$-summand takes the orientation of $\xi=X$ and $TM$ is oriented by $\omega$).

$\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.