7
$\begingroup$

Let $X$ be a compact connected Riemann surface and let $\omega$ be a two-form on $X$. We can view the cohomology class $[\omega]$ as an element of the Čech cohomology group $\check{H}^2(X,\mathbb{R})$, represented by some real numbers $\omega_{\alpha\beta\gamma}\in\mathbb{R}$ on triple intersections of a cover $\{U_\alpha\}$.

Is there an explicit formula for the integral $\int_X\omega$ in terms of the real numbers $\omega_{\alpha\beta\gamma}$?

$\endgroup$

1 Answer 1

6
$\begingroup$

For any covering $\mathcal U = \{U_\alpha\}_{\alpha\in A}$ of $X$, we can form its Cech nerve $C(\mathcal U)$, an abstract simplicial complex with vertex set $A$ whose simplices are exactly the finite subsets $I\subset A$ such that $\bigcap_{\alpha\in I} U_\alpha\neq\emptyset$. We can then glue standard simplices together as specified by this abstract simplicial complex to get a CW complex $|C(\mathcal U)|$. If $\mathcal U$ is a good cover, i.e. all finite intersections are empty or contractible, and $X$ is sufficiently nice, e.g. a manifold, there is a homotopy equivalence $|C(\mathcal U)|\to M$ constructed by mapping the $0$-simplex corresponding to $\alpha$ to some point of $U_\alpha$ and then iteratively extending it over simplices (which is always possible and unique up to homotopy by contractibility). The cellular complex of $|C(\mathcal U)|$ is precisely the Cech complex of $U$. Thus the Cech cocycle $\omega_{\alpha\beta\gamma}$ is just a representative of the pullback of $\omega$ in the cellular complex. Integration is pairing against the fundamental class, which is an element of $H_2(X)\cong H_2(|C(\mathcal U)|)$, so it can also be expressed as a sum of formal elements corresponding to nonempty intersections of $U_\alpha$'s.

In fact, for special coverings one can identify this class explicitly: Choose a triangulation of $X$, i.e. an abstract simplicial complex $K$ and a homeomorphism $|K|\cong X$. To every vertex $x$ of $K$ corresponds a contractible open subset of $|K|$, the star of $x$, which is the union of the interiors of all simplices which have $x$ as a vertex (together with $x$ itself). Together, these form a good cover of $|K|$, and the corresponding Cech nerve is just $K$ itself. The fundamental class is given as the sum of all top-dimensional (in this case $2$-dimensional) simplices, with signs corresponding to the orientations. Thus pairing with the fundamental class sends a Cech cocycle $\{\omega_{xyz}\}$ to the sum over all triangles $t$ of $K$, with vertices $x_t,y_t,z_t$ in this order, of $\omega_{x_t,y_t,z_t}$.

$\endgroup$
2
  • $\begingroup$ Do you have a reference for the last fact? Precisely I want to know how to reconstruct the form $\omega$ from the cocycle $\omega_{xyz}$ in such a way that the integral of $\omega$ is precisely that sum. I have seen in some places that people build the 2-form $\sum_{xyz} \omega_{xyz} h_z dh_x \wedge dh_y$, where the $h_x$ are a partition of unity, but I don’t know why that gives you the wanted integral. $\endgroup$
    – G. Gallego
    Commented Aug 11, 2020 at 7:22
  • $\begingroup$ Please check out my question here: mathoverflow.net/questions/368776/… $\endgroup$
    – G. Gallego
    Commented Aug 11, 2020 at 8:23

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .