Integral of top forms in terms of Čech representative Announcing the arrival of Valued...



Integral of top forms in terms of Čech representative



Announcing the arrival of Valued Associate #679: Cesar Manara
Unicorn Meta Zoo #1: Why another podcast?Vector fields on path spacesIs the time derivative of the WKB phase globally defined?A Generalized De Rham cohomologyWhen is a flow geodesic and how to construct the connection from itInvariance of de Rham cohomology with compact supportConnection on a Principal bundle and transition functions, as in Hitchin's notesConfusion in definition of Gerbes in Hitchin's notesDo we have a $4$-term decomposition of $bar{partial}_M$ for a holomorphic fiber bundle $Mto B$?Is this a 2-cyclic cocycle ? Does it have a nontrivial geometric interpretation?Covariant derivative of the Monge-Ampere equation on Kähler manifolds












6












$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_{alphabetagamma}inmathbb{R}$ on triple intersections of a cover ${U_alpha}$.



Is there an explicit formula for the integral $int_Xomega$ in terms of the real numbers $omega_{alphabetagamma}$?










share|cite|improve this question









$endgroup$

















    6












    $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_{alphabetagamma}inmathbb{R}$ on triple intersections of a cover ${U_alpha}$.



    Is there an explicit formula for the integral $int_Xomega$ in terms of the real numbers $omega_{alphabetagamma}$?










    share|cite|improve this question









    $endgroup$















      6












      6








      6





      $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_{alphabetagamma}inmathbb{R}$ on triple intersections of a cover ${U_alpha}$.



      Is there an explicit formula for the integral $int_Xomega$ in terms of the real numbers $omega_{alphabetagamma}$?










      share|cite|improve this question









      $endgroup$




      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_{alphabetagamma}inmathbb{R}$ on triple intersections of a cover ${U_alpha}$.



      Is there an explicit formula for the integral $int_Xomega$ in terms of the real numbers $omega_{alphabetagamma}$?







      dg.differential-geometry






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 17 hours ago









      Simon ParkerSimon Parker

      27315




      27315






















          1 Answer
          1






          active

          oldest

          votes


















          4












          $begingroup$

          For any covering $mathcal U = {U_alpha}_{alphain 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 $Isubset A$ such that $bigcap_{alphain I} U_alphaneqemptyset$. 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_{alphabetagamma}$ 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}$.






          share|cite|improve this answer









          $endgroup$














            Your Answer








            StackExchange.ready(function() {
            var channelOptions = {
            tags: "".split(" "),
            id: "504"
            };
            initTagRenderer("".split(" "), "".split(" "), channelOptions);

            StackExchange.using("externalEditor", function() {
            // Have to fire editor after snippets, if snippets enabled
            if (StackExchange.settings.snippets.snippetsEnabled) {
            StackExchange.using("snippets", function() {
            createEditor();
            });
            }
            else {
            createEditor();
            }
            });

            function createEditor() {
            StackExchange.prepareEditor({
            heartbeatType: 'answer',
            autoActivateHeartbeat: false,
            convertImagesToLinks: true,
            noModals: true,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            imageUploader: {
            brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
            contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
            allowUrls: true
            },
            noCode: true, onDemand: true,
            discardSelector: ".discard-answer"
            ,immediatelyShowMarkdownHelp:true
            });


            }
            });














            draft saved

            draft discarded


















            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f329836%2fintegral-of-top-forms-in-terms-of-%25c4%258cech-representative%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            1 Answer
            1






            active

            oldest

            votes








            1 Answer
            1






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            4












            $begingroup$

            For any covering $mathcal U = {U_alpha}_{alphain 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 $Isubset A$ such that $bigcap_{alphain I} U_alphaneqemptyset$. 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_{alphabetagamma}$ 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}$.






            share|cite|improve this answer









            $endgroup$


















              4












              $begingroup$

              For any covering $mathcal U = {U_alpha}_{alphain 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 $Isubset A$ such that $bigcap_{alphain I} U_alphaneqemptyset$. 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_{alphabetagamma}$ 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}$.






              share|cite|improve this answer









              $endgroup$
















                4












                4








                4





                $begingroup$

                For any covering $mathcal U = {U_alpha}_{alphain 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 $Isubset A$ such that $bigcap_{alphain I} U_alphaneqemptyset$. 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_{alphabetagamma}$ 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}$.






                share|cite|improve this answer









                $endgroup$



                For any covering $mathcal U = {U_alpha}_{alphain 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 $Isubset A$ such that $bigcap_{alphain I} U_alphaneqemptyset$. 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_{alphabetagamma}$ 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}$.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered 17 hours ago









                Bertram ArnoldBertram Arnold

                1,064612




                1,064612






























                    draft saved

                    draft discarded




















































                    Thanks for contributing an answer to MathOverflow!


                    • Please be sure to answer the question. Provide details and share your research!

                    But avoid



                    • Asking for help, clarification, or responding to other answers.

                    • Making statements based on opinion; back them up with references or personal experience.


                    Use MathJax to format equations. MathJax reference.


                    To learn more, see our tips on writing great answers.




                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f329836%2fintegral-of-top-forms-in-terms-of-%25c4%258cech-representative%23new-answer', 'question_page');
                    }
                    );

                    Post as a guest















                    Required, but never shown





















































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown

































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown







                    Popular posts from this blog

                    Why do type traits not work with types in namespace scope?What are POD types in C++?Why can templates only be...

                    Will tsunami waves travel forever if there was no land?Why do tsunami waves begin with the water flowing away...

                    Should I use Docker or LXD?How to cache (more) data on SSD/RAM to avoid spin up?Unable to get Windows File...