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
$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}$?
dg.differential-geometry
$endgroup$
add a comment |
$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}$?
dg.differential-geometry
$endgroup$
add a comment |
$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}$?
dg.differential-geometry
$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
dg.differential-geometry
asked 17 hours ago
Simon ParkerSimon Parker
27315
27315
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$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}$.
$endgroup$
add a comment |
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
});
}
});
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%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
$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}$.
$endgroup$
add a comment |
$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}$.
$endgroup$
add a comment |
$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}$.
$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}$.
answered 17 hours ago
Bertram ArnoldBertram Arnold
1,064612
1,064612
add a comment |
add a comment |
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.
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%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
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