Locally constant integer sheaf over riemann surface higher cohomology vanishes?
$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.
general-topology complex-analysis algebraic-geometry
asked Jan 6 at 22:54
user45765user45765
2,7132722
$endgroup$
add a comment |
$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.
general-topology complex-analysis algebraic-geometry
asked Jan 6 at 22:54
user45765user45765
2,7132722
$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
add a comment |
$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.
general-topology complex-analysis algebraic-geometry
asked Jan 6 at 22:54
user45765user45765
2,7132722
$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
general-topology complex-analysis algebraic-geometry
asked Jan 6 at 22:54
user45765user45765
2,7132722
asked Jan 6 at 22:54
user45765user45765
2,7132722
asked Jan 6 at 22:54
user45765user45765
2,7132722
asked Jan 6 at 22:54
user45765user45765
2,7132722
asked Jan 6 at 22:54
user45765user45765
2,7132722
2,7132722
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
add a comment |
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
add a comment |
1 Answer
1
active
oldest
votes
$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$.
answered Jan 8 at 6:08
Alfred YergerAlfred Yerger
10.3k2148
$endgroup$
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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$.
answered Jan 8 at 6:08
Alfred YergerAlfred Yerger
10.3k2148
$endgroup$
add a comment |
$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$.
answered Jan 8 at 6:08
Alfred YergerAlfred Yerger
10.3k2148
$endgroup$
add a comment |
$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$.
answered Jan 8 at 6:08
Alfred YergerAlfred Yerger
10.3k2148
$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$.
answered Jan 8 at 6:08
Alfred YergerAlfred Yerger
10.3k2148
answered Jan 8 at 6:08
Alfred YergerAlfred Yerger
10.3k2148
answered Jan 8 at 6:08
Alfred YergerAlfred Yerger
10.3k2148
answered Jan 8 at 6:08
Alfred YergerAlfred Yerger
10.3k2148
10.3k2148
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
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