Locally constant integer sheaf over riemann surface higher cohomology vanishes?












1












$begingroup$


The reason I am asking this question is the following. Consider $D$ any divisor over Riemann surface $X$. Denote any $Usubset X$ biholomorphic to an open disk of $C$. Denote $O_D={fin M(U)|(f)+Dgeq 0}$ where $(f)$ is the divisor of $f$ and $M(X)$ is meromorphic functions over $U$.



In Forster Lectures on Riemann Surfaces Exercise 16.3, it asks to show that $H^1(U,O_D)=0$ for any $D$ divisor which in turn implies open disk covering $X$ will form Leray covering against $O_D$ sheaf.



Now consider the sheaf exact sequence $0to Zto Oxrightarrow{exp}O^starto 0$ where $O^star$ is the sheaf non-vanishing holomorphic functions. Take cohomology against $U$. One obtains $0to Zto O(U)to O^star(U)to H^1(U,Z)to H^1(U,O)to H^1(U,O^star)to H^2(U,Z)todots$



Now $H^1(U,O)=0$ by Dolbeault Lemma/Thm and $H^1(U,Z)=0$ by $H^1(U,C)=0$.(Actually, I think $H^1$ for any simply connected manifold vanishes for $Z,C$ sheafs as the proof involves only partition of unity, basic arithmetic and exponentiation operations.) I want to see whether $H^1(U,O^star)$ vanishing.(i.e. I am asking whether open disks form Leray covering for $O^star$.)



$textbf{Q:}$ Does $H^2(U,Z)=0$ for $U$ disk where $Z$ is locally constant integer sheaf? I am asking whether $U$ is a Leray covering of $O^star$.



$textbf{Q':}$ Is there a characterization for what kind of sheaf over disk has trivial cohomology? Is this a topological characterization? I guess it is not as for smooth function sheaf, I need to assume smooth structure to deduce partition of unity which will show triviality of $H^1$ for sheaf of smooth functions.










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    If $X$ is any simplicial complex then sheaf cohomology with constant coefficients is isomorphic to simplicial (or singular) cohomology (with the same coefficients). Hence, it vanishes above the dimension of the complex.
    $endgroup$
    – Moishe Cohen
    Jan 7 at 3:35










  • $begingroup$
    @MoisheCohen Then it will indeed be the case.
    $endgroup$
    – user45765
    Jan 7 at 3:36










  • $begingroup$
    In topology, cohomology with coefficients in a constant sheaf is known as Chech cohomology. See for instance, Eilenberg and Steenrod "Algebraic Topology" for a proof of the isomorphism theorem I mentioned as well as for the proof that contractible spaces are acyclic (have zero reduced cohomology).
    $endgroup$
    – Moishe Cohen
    Jan 7 at 3:40










  • $begingroup$
    @MoisheCohen Where do I find cech cohomology in algebraic topology reference, it is not in standard textbook? I have seen cech cohomology in the context of algebraic geometry for sheaf cohomology computation only.
    $endgroup$
    – user45765
    Jan 7 at 3:41










  • $begingroup$
    See Eilenberg and Steenrod. Or Bredon's book "Sheaf Theory", although the latter will cover much more than you need. Bredon covers sheaf cohomology from the general topology perspective.
    $endgroup$
    – Moishe Cohen
    Jan 7 at 3:43
















1












$begingroup$


The reason I am asking this question is the following. Consider $D$ any divisor over Riemann surface $X$. Denote any $Usubset X$ biholomorphic to an open disk of $C$. Denote $O_D={fin M(U)|(f)+Dgeq 0}$ where $(f)$ is the divisor of $f$ and $M(X)$ is meromorphic functions over $U$.



In Forster Lectures on Riemann Surfaces Exercise 16.3, it asks to show that $H^1(U,O_D)=0$ for any $D$ divisor which in turn implies open disk covering $X$ will form Leray covering against $O_D$ sheaf.



Now consider the sheaf exact sequence $0to Zto Oxrightarrow{exp}O^starto 0$ where $O^star$ is the sheaf non-vanishing holomorphic functions. Take cohomology against $U$. One obtains $0to Zto O(U)to O^star(U)to H^1(U,Z)to H^1(U,O)to H^1(U,O^star)to H^2(U,Z)todots$



Now $H^1(U,O)=0$ by Dolbeault Lemma/Thm and $H^1(U,Z)=0$ by $H^1(U,C)=0$.(Actually, I think $H^1$ for any simply connected manifold vanishes for $Z,C$ sheafs as the proof involves only partition of unity, basic arithmetic and exponentiation operations.) I want to see whether $H^1(U,O^star)$ vanishing.(i.e. I am asking whether open disks form Leray covering for $O^star$.)



$textbf{Q:}$ Does $H^2(U,Z)=0$ for $U$ disk where $Z$ is locally constant integer sheaf? I am asking whether $U$ is a Leray covering of $O^star$.



$textbf{Q':}$ Is there a characterization for what kind of sheaf over disk has trivial cohomology? Is this a topological characterization? I guess it is not as for smooth function sheaf, I need to assume smooth structure to deduce partition of unity which will show triviality of $H^1$ for sheaf of smooth functions.










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    If $X$ is any simplicial complex then sheaf cohomology with constant coefficients is isomorphic to simplicial (or singular) cohomology (with the same coefficients). Hence, it vanishes above the dimension of the complex.
    $endgroup$
    – Moishe Cohen
    Jan 7 at 3:35










  • $begingroup$
    @MoisheCohen Then it will indeed be the case.
    $endgroup$
    – user45765
    Jan 7 at 3:36










  • $begingroup$
    In topology, cohomology with coefficients in a constant sheaf is known as Chech cohomology. See for instance, Eilenberg and Steenrod "Algebraic Topology" for a proof of the isomorphism theorem I mentioned as well as for the proof that contractible spaces are acyclic (have zero reduced cohomology).
    $endgroup$
    – Moishe Cohen
    Jan 7 at 3:40










  • $begingroup$
    @MoisheCohen Where do I find cech cohomology in algebraic topology reference, it is not in standard textbook? I have seen cech cohomology in the context of algebraic geometry for sheaf cohomology computation only.
    $endgroup$
    – user45765
    Jan 7 at 3:41










  • $begingroup$
    See Eilenberg and Steenrod. Or Bredon's book "Sheaf Theory", although the latter will cover much more than you need. Bredon covers sheaf cohomology from the general topology perspective.
    $endgroup$
    – Moishe Cohen
    Jan 7 at 3:43














1












1








1





$begingroup$


The reason I am asking this question is the following. Consider $D$ any divisor over Riemann surface $X$. Denote any $Usubset X$ biholomorphic to an open disk of $C$. Denote $O_D={fin M(U)|(f)+Dgeq 0}$ where $(f)$ is the divisor of $f$ and $M(X)$ is meromorphic functions over $U$.



In Forster Lectures on Riemann Surfaces Exercise 16.3, it asks to show that $H^1(U,O_D)=0$ for any $D$ divisor which in turn implies open disk covering $X$ will form Leray covering against $O_D$ sheaf.



Now consider the sheaf exact sequence $0to Zto Oxrightarrow{exp}O^starto 0$ where $O^star$ is the sheaf non-vanishing holomorphic functions. Take cohomology against $U$. One obtains $0to Zto O(U)to O^star(U)to H^1(U,Z)to H^1(U,O)to H^1(U,O^star)to H^2(U,Z)todots$



Now $H^1(U,O)=0$ by Dolbeault Lemma/Thm and $H^1(U,Z)=0$ by $H^1(U,C)=0$.(Actually, I think $H^1$ for any simply connected manifold vanishes for $Z,C$ sheafs as the proof involves only partition of unity, basic arithmetic and exponentiation operations.) I want to see whether $H^1(U,O^star)$ vanishing.(i.e. I am asking whether open disks form Leray covering for $O^star$.)



$textbf{Q:}$ Does $H^2(U,Z)=0$ for $U$ disk where $Z$ is locally constant integer sheaf? I am asking whether $U$ is a Leray covering of $O^star$.



$textbf{Q':}$ Is there a characterization for what kind of sheaf over disk has trivial cohomology? Is this a topological characterization? I guess it is not as for smooth function sheaf, I need to assume smooth structure to deduce partition of unity which will show triviality of $H^1$ for sheaf of smooth functions.










share|cite|improve this question









$endgroup$




The reason I am asking this question is the following. Consider $D$ any divisor over Riemann surface $X$. Denote any $Usubset X$ biholomorphic to an open disk of $C$. Denote $O_D={fin M(U)|(f)+Dgeq 0}$ where $(f)$ is the divisor of $f$ and $M(X)$ is meromorphic functions over $U$.



In Forster Lectures on Riemann Surfaces Exercise 16.3, it asks to show that $H^1(U,O_D)=0$ for any $D$ divisor which in turn implies open disk covering $X$ will form Leray covering against $O_D$ sheaf.



Now consider the sheaf exact sequence $0to Zto Oxrightarrow{exp}O^starto 0$ where $O^star$ is the sheaf non-vanishing holomorphic functions. Take cohomology against $U$. One obtains $0to Zto O(U)to O^star(U)to H^1(U,Z)to H^1(U,O)to H^1(U,O^star)to H^2(U,Z)todots$



Now $H^1(U,O)=0$ by Dolbeault Lemma/Thm and $H^1(U,Z)=0$ by $H^1(U,C)=0$.(Actually, I think $H^1$ for any simply connected manifold vanishes for $Z,C$ sheafs as the proof involves only partition of unity, basic arithmetic and exponentiation operations.) I want to see whether $H^1(U,O^star)$ vanishing.(i.e. I am asking whether open disks form Leray covering for $O^star$.)



$textbf{Q:}$ Does $H^2(U,Z)=0$ for $U$ disk where $Z$ is locally constant integer sheaf? I am asking whether $U$ is a Leray covering of $O^star$.



$textbf{Q':}$ Is there a characterization for what kind of sheaf over disk has trivial cohomology? Is this a topological characterization? I guess it is not as for smooth function sheaf, I need to assume smooth structure to deduce partition of unity which will show triviality of $H^1$ for sheaf of smooth functions.







general-topology complex-analysis algebraic-geometry






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Jan 6 at 22:54









user45765user45765

2,6792722




2,6792722








  • 1




    $begingroup$
    If $X$ is any simplicial complex then sheaf cohomology with constant coefficients is isomorphic to simplicial (or singular) cohomology (with the same coefficients). Hence, it vanishes above the dimension of the complex.
    $endgroup$
    – Moishe Cohen
    Jan 7 at 3:35










  • $begingroup$
    @MoisheCohen Then it will indeed be the case.
    $endgroup$
    – user45765
    Jan 7 at 3:36










  • $begingroup$
    In topology, cohomology with coefficients in a constant sheaf is known as Chech cohomology. See for instance, Eilenberg and Steenrod "Algebraic Topology" for a proof of the isomorphism theorem I mentioned as well as for the proof that contractible spaces are acyclic (have zero reduced cohomology).
    $endgroup$
    – Moishe Cohen
    Jan 7 at 3:40










  • $begingroup$
    @MoisheCohen Where do I find cech cohomology in algebraic topology reference, it is not in standard textbook? I have seen cech cohomology in the context of algebraic geometry for sheaf cohomology computation only.
    $endgroup$
    – user45765
    Jan 7 at 3:41










  • $begingroup$
    See Eilenberg and Steenrod. Or Bredon's book "Sheaf Theory", although the latter will cover much more than you need. Bredon covers sheaf cohomology from the general topology perspective.
    $endgroup$
    – Moishe Cohen
    Jan 7 at 3:43














  • 1




    $begingroup$
    If $X$ is any simplicial complex then sheaf cohomology with constant coefficients is isomorphic to simplicial (or singular) cohomology (with the same coefficients). Hence, it vanishes above the dimension of the complex.
    $endgroup$
    – Moishe Cohen
    Jan 7 at 3:35










  • $begingroup$
    @MoisheCohen Then it will indeed be the case.
    $endgroup$
    – user45765
    Jan 7 at 3:36










  • $begingroup$
    In topology, cohomology with coefficients in a constant sheaf is known as Chech cohomology. See for instance, Eilenberg and Steenrod "Algebraic Topology" for a proof of the isomorphism theorem I mentioned as well as for the proof that contractible spaces are acyclic (have zero reduced cohomology).
    $endgroup$
    – Moishe Cohen
    Jan 7 at 3:40










  • $begingroup$
    @MoisheCohen Where do I find cech cohomology in algebraic topology reference, it is not in standard textbook? I have seen cech cohomology in the context of algebraic geometry for sheaf cohomology computation only.
    $endgroup$
    – user45765
    Jan 7 at 3:41










  • $begingroup$
    See Eilenberg and Steenrod. Or Bredon's book "Sheaf Theory", although the latter will cover much more than you need. Bredon covers sheaf cohomology from the general topology perspective.
    $endgroup$
    – Moishe Cohen
    Jan 7 at 3:43








1




1




$begingroup$
If $X$ is any simplicial complex then sheaf cohomology with constant coefficients is isomorphic to simplicial (or singular) cohomology (with the same coefficients). Hence, it vanishes above the dimension of the complex.
$endgroup$
– Moishe Cohen
Jan 7 at 3:35




$begingroup$
If $X$ is any simplicial complex then sheaf cohomology with constant coefficients is isomorphic to simplicial (or singular) cohomology (with the same coefficients). Hence, it vanishes above the dimension of the complex.
$endgroup$
– Moishe Cohen
Jan 7 at 3:35












$begingroup$
@MoisheCohen Then it will indeed be the case.
$endgroup$
– user45765
Jan 7 at 3:36




$begingroup$
@MoisheCohen Then it will indeed be the case.
$endgroup$
– user45765
Jan 7 at 3:36












$begingroup$
In topology, cohomology with coefficients in a constant sheaf is known as Chech cohomology. See for instance, Eilenberg and Steenrod "Algebraic Topology" for a proof of the isomorphism theorem I mentioned as well as for the proof that contractible spaces are acyclic (have zero reduced cohomology).
$endgroup$
– Moishe Cohen
Jan 7 at 3:40




$begingroup$
In topology, cohomology with coefficients in a constant sheaf is known as Chech cohomology. See for instance, Eilenberg and Steenrod "Algebraic Topology" for a proof of the isomorphism theorem I mentioned as well as for the proof that contractible spaces are acyclic (have zero reduced cohomology).
$endgroup$
– Moishe Cohen
Jan 7 at 3:40












$begingroup$
@MoisheCohen Where do I find cech cohomology in algebraic topology reference, it is not in standard textbook? I have seen cech cohomology in the context of algebraic geometry for sheaf cohomology computation only.
$endgroup$
– user45765
Jan 7 at 3:41




$begingroup$
@MoisheCohen Where do I find cech cohomology in algebraic topology reference, it is not in standard textbook? I have seen cech cohomology in the context of algebraic geometry for sheaf cohomology computation only.
$endgroup$
– user45765
Jan 7 at 3:41












$begingroup$
See Eilenberg and Steenrod. Or Bredon's book "Sheaf Theory", although the latter will cover much more than you need. Bredon covers sheaf cohomology from the general topology perspective.
$endgroup$
– Moishe Cohen
Jan 7 at 3:43




$begingroup$
See Eilenberg and Steenrod. Or Bredon's book "Sheaf Theory", although the latter will cover much more than you need. Bredon covers sheaf cohomology from the general topology perspective.
$endgroup$
– Moishe Cohen
Jan 7 at 3:43










1 Answer
1






active

oldest

votes


















0












$begingroup$

While everything Moishe said in the comments is true, it's worth noting that you are taking cohomology of a sheaf over a contractible space, since you're interested here only in $H^i(U, mathbb{Z})$, where $U$ is biholomorphic to a disk. Since $U$ is contractible, it has the cohomology of a point, and so all cohomologies vanish above degree $0$.






share|cite|improve this answer









$endgroup$













    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    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%2fmath.stackexchange.com%2fquestions%2f3064489%2flocally-constant-integer-sheaf-over-riemann-surface-higher-cohomology-vanishes%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









    0












    $begingroup$

    While everything Moishe said in the comments is true, it's worth noting that you are taking cohomology of a sheaf over a contractible space, since you're interested here only in $H^i(U, mathbb{Z})$, where $U$ is biholomorphic to a disk. Since $U$ is contractible, it has the cohomology of a point, and so all cohomologies vanish above degree $0$.






    share|cite|improve this answer









    $endgroup$


















      0












      $begingroup$

      While everything Moishe said in the comments is true, it's worth noting that you are taking cohomology of a sheaf over a contractible space, since you're interested here only in $H^i(U, mathbb{Z})$, where $U$ is biholomorphic to a disk. Since $U$ is contractible, it has the cohomology of a point, and so all cohomologies vanish above degree $0$.






      share|cite|improve this answer









      $endgroup$
















        0












        0








        0





        $begingroup$

        While everything Moishe said in the comments is true, it's worth noting that you are taking cohomology of a sheaf over a contractible space, since you're interested here only in $H^i(U, mathbb{Z})$, where $U$ is biholomorphic to a disk. Since $U$ is contractible, it has the cohomology of a point, and so all cohomologies vanish above degree $0$.






        share|cite|improve this answer









        $endgroup$



        While everything Moishe said in the comments is true, it's worth noting that you are taking cohomology of a sheaf over a contractible space, since you're interested here only in $H^i(U, mathbb{Z})$, where $U$ is biholomorphic to a disk. Since $U$ is contractible, it has the cohomology of a point, and so all cohomologies vanish above degree $0$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jan 8 at 6:08









        Alfred YergerAlfred Yerger

        10.3k2148




        10.3k2148






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • 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%2fmath.stackexchange.com%2fquestions%2f3064489%2flocally-constant-integer-sheaf-over-riemann-surface-higher-cohomology-vanishes%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

            1300-talet

            1300-talet

            Display a custom attribute below product name in the front-end Magento 1.9.3.8