What does it mean geometrically that the diagonal cohomology class is concentrated along the diagonal?
$begingroup$
In Milnor Stasheff's Characteristic Classes, the geometric interpretation of Lemma 11.8 on P125 is that the diagonal cohomology class is "concentrated along the diagonal". The lemma states that
For any cohomology class $a in H^*(M)$, the product $(a times 1) cup u''$ is equal to $(1 times a) cup u''$, in $H^*(M times M)$.
Here, $u''$ is the "diagonal cohomology class", defined as in https://mathoverflow.net/a/74199/42662, or alternatively the image of the fundamental class of $H^n(M times M, M times M - Delta(M)) to H^n(M times M)$.
How does the formal statement in the lemma give rise to the geometric "concentration" interpretation?
algebraic-topology homology-cohomology characteristic-classes
$endgroup$
add a comment |
$begingroup$
In Milnor Stasheff's Characteristic Classes, the geometric interpretation of Lemma 11.8 on P125 is that the diagonal cohomology class is "concentrated along the diagonal". The lemma states that
For any cohomology class $a in H^*(M)$, the product $(a times 1) cup u''$ is equal to $(1 times a) cup u''$, in $H^*(M times M)$.
Here, $u''$ is the "diagonal cohomology class", defined as in https://mathoverflow.net/a/74199/42662, or alternatively the image of the fundamental class of $H^n(M times M, M times M - Delta(M)) to H^n(M times M)$.
How does the formal statement in the lemma give rise to the geometric "concentration" interpretation?
algebraic-topology homology-cohomology characteristic-classes
$endgroup$
add a comment |
$begingroup$
In Milnor Stasheff's Characteristic Classes, the geometric interpretation of Lemma 11.8 on P125 is that the diagonal cohomology class is "concentrated along the diagonal". The lemma states that
For any cohomology class $a in H^*(M)$, the product $(a times 1) cup u''$ is equal to $(1 times a) cup u''$, in $H^*(M times M)$.
Here, $u''$ is the "diagonal cohomology class", defined as in https://mathoverflow.net/a/74199/42662, or alternatively the image of the fundamental class of $H^n(M times M, M times M - Delta(M)) to H^n(M times M)$.
How does the formal statement in the lemma give rise to the geometric "concentration" interpretation?
algebraic-topology homology-cohomology characteristic-classes
$endgroup$
In Milnor Stasheff's Characteristic Classes, the geometric interpretation of Lemma 11.8 on P125 is that the diagonal cohomology class is "concentrated along the diagonal". The lemma states that
For any cohomology class $a in H^*(M)$, the product $(a times 1) cup u''$ is equal to $(1 times a) cup u''$, in $H^*(M times M)$.
Here, $u''$ is the "diagonal cohomology class", defined as in https://mathoverflow.net/a/74199/42662, or alternatively the image of the fundamental class of $H^n(M times M, M times M - Delta(M)) to H^n(M times M)$.
How does the formal statement in the lemma give rise to the geometric "concentration" interpretation?
algebraic-topology homology-cohomology characteristic-classes
algebraic-topology homology-cohomology characteristic-classes
edited May 15 '17 at 21:36
Kevin Yin
asked May 8 '17 at 19:23
Kevin YinKevin Yin
234110
234110
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
It means that if $alpha, beta in H^*(M times M)$ are two forms which are equal when restricted to the diagonal, then their pairing with the diagonal class $int_{M times M} alpha u'' = int_{M times M} beta u''$ are equal. So in a sense only the value of $u''$ when restricted to the diagonal counts. (You also need Poincaré duality to be able to say that knowing all pairings of $u''$ with all other classes is enough to know $u''$.)
Indeed, by Künneth's formula, over a field you have $H^*(M times M) = H^*(M) otimes H^*(M)$. So you can decompose $alpha = sum_i alpha'_i otimes alpha''_i$ and $beta = sum_j beta'_j otimes beta''_j$. The restriction to the diagonal is just the cup product: if $delta : M to M times M$ is the inclusion of the diagonal ($delta(x) = (x,x)$) then $delta^*alpha = sum_i alpha'_i alpha''_i$ and similarly for $beta$. Suppose $delta^*alpha = delta^*beta$. Then you get:
$$begin{align}
int_{M times M} alpha u''
& = sum_i int_{M times M} (alpha'_i otimes alpha''_i) u'' \
& = int_{M times M} (sum_i alpha'_i alpha''_i otimes 1) u'' \
& = int_{M times M} (sum_j beta'_j beta''_j otimes 1) u'' \
& = int_{M times M} beta u''.
end{align}$$
Here I used $(a otimes b) u'' = (a otimes 1) (1 otimes b) u'') = (a otimes 1) (b otimes 1) u'' = (ab otimes 1) u''$.
Or for something more "geometric", if you work with smooth manifolds and differential forms: if you choose any neighborhood of the diagonal, no matter how small, you will be able to find a representative of $u''$ which vanishes outside this neighborhood.
$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%2f2271994%2fwhat-does-it-mean-geometrically-that-the-diagonal-cohomology-class-is-concentrat%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$
It means that if $alpha, beta in H^*(M times M)$ are two forms which are equal when restricted to the diagonal, then their pairing with the diagonal class $int_{M times M} alpha u'' = int_{M times M} beta u''$ are equal. So in a sense only the value of $u''$ when restricted to the diagonal counts. (You also need Poincaré duality to be able to say that knowing all pairings of $u''$ with all other classes is enough to know $u''$.)
Indeed, by Künneth's formula, over a field you have $H^*(M times M) = H^*(M) otimes H^*(M)$. So you can decompose $alpha = sum_i alpha'_i otimes alpha''_i$ and $beta = sum_j beta'_j otimes beta''_j$. The restriction to the diagonal is just the cup product: if $delta : M to M times M$ is the inclusion of the diagonal ($delta(x) = (x,x)$) then $delta^*alpha = sum_i alpha'_i alpha''_i$ and similarly for $beta$. Suppose $delta^*alpha = delta^*beta$. Then you get:
$$begin{align}
int_{M times M} alpha u''
& = sum_i int_{M times M} (alpha'_i otimes alpha''_i) u'' \
& = int_{M times M} (sum_i alpha'_i alpha''_i otimes 1) u'' \
& = int_{M times M} (sum_j beta'_j beta''_j otimes 1) u'' \
& = int_{M times M} beta u''.
end{align}$$
Here I used $(a otimes b) u'' = (a otimes 1) (1 otimes b) u'') = (a otimes 1) (b otimes 1) u'' = (ab otimes 1) u''$.
Or for something more "geometric", if you work with smooth manifolds and differential forms: if you choose any neighborhood of the diagonal, no matter how small, you will be able to find a representative of $u''$ which vanishes outside this neighborhood.
$endgroup$
add a comment |
$begingroup$
It means that if $alpha, beta in H^*(M times M)$ are two forms which are equal when restricted to the diagonal, then their pairing with the diagonal class $int_{M times M} alpha u'' = int_{M times M} beta u''$ are equal. So in a sense only the value of $u''$ when restricted to the diagonal counts. (You also need Poincaré duality to be able to say that knowing all pairings of $u''$ with all other classes is enough to know $u''$.)
Indeed, by Künneth's formula, over a field you have $H^*(M times M) = H^*(M) otimes H^*(M)$. So you can decompose $alpha = sum_i alpha'_i otimes alpha''_i$ and $beta = sum_j beta'_j otimes beta''_j$. The restriction to the diagonal is just the cup product: if $delta : M to M times M$ is the inclusion of the diagonal ($delta(x) = (x,x)$) then $delta^*alpha = sum_i alpha'_i alpha''_i$ and similarly for $beta$. Suppose $delta^*alpha = delta^*beta$. Then you get:
$$begin{align}
int_{M times M} alpha u''
& = sum_i int_{M times M} (alpha'_i otimes alpha''_i) u'' \
& = int_{M times M} (sum_i alpha'_i alpha''_i otimes 1) u'' \
& = int_{M times M} (sum_j beta'_j beta''_j otimes 1) u'' \
& = int_{M times M} beta u''.
end{align}$$
Here I used $(a otimes b) u'' = (a otimes 1) (1 otimes b) u'') = (a otimes 1) (b otimes 1) u'' = (ab otimes 1) u''$.
Or for something more "geometric", if you work with smooth manifolds and differential forms: if you choose any neighborhood of the diagonal, no matter how small, you will be able to find a representative of $u''$ which vanishes outside this neighborhood.
$endgroup$
add a comment |
$begingroup$
It means that if $alpha, beta in H^*(M times M)$ are two forms which are equal when restricted to the diagonal, then their pairing with the diagonal class $int_{M times M} alpha u'' = int_{M times M} beta u''$ are equal. So in a sense only the value of $u''$ when restricted to the diagonal counts. (You also need Poincaré duality to be able to say that knowing all pairings of $u''$ with all other classes is enough to know $u''$.)
Indeed, by Künneth's formula, over a field you have $H^*(M times M) = H^*(M) otimes H^*(M)$. So you can decompose $alpha = sum_i alpha'_i otimes alpha''_i$ and $beta = sum_j beta'_j otimes beta''_j$. The restriction to the diagonal is just the cup product: if $delta : M to M times M$ is the inclusion of the diagonal ($delta(x) = (x,x)$) then $delta^*alpha = sum_i alpha'_i alpha''_i$ and similarly for $beta$. Suppose $delta^*alpha = delta^*beta$. Then you get:
$$begin{align}
int_{M times M} alpha u''
& = sum_i int_{M times M} (alpha'_i otimes alpha''_i) u'' \
& = int_{M times M} (sum_i alpha'_i alpha''_i otimes 1) u'' \
& = int_{M times M} (sum_j beta'_j beta''_j otimes 1) u'' \
& = int_{M times M} beta u''.
end{align}$$
Here I used $(a otimes b) u'' = (a otimes 1) (1 otimes b) u'') = (a otimes 1) (b otimes 1) u'' = (ab otimes 1) u''$.
Or for something more "geometric", if you work with smooth manifolds and differential forms: if you choose any neighborhood of the diagonal, no matter how small, you will be able to find a representative of $u''$ which vanishes outside this neighborhood.
$endgroup$
It means that if $alpha, beta in H^*(M times M)$ are two forms which are equal when restricted to the diagonal, then their pairing with the diagonal class $int_{M times M} alpha u'' = int_{M times M} beta u''$ are equal. So in a sense only the value of $u''$ when restricted to the diagonal counts. (You also need Poincaré duality to be able to say that knowing all pairings of $u''$ with all other classes is enough to know $u''$.)
Indeed, by Künneth's formula, over a field you have $H^*(M times M) = H^*(M) otimes H^*(M)$. So you can decompose $alpha = sum_i alpha'_i otimes alpha''_i$ and $beta = sum_j beta'_j otimes beta''_j$. The restriction to the diagonal is just the cup product: if $delta : M to M times M$ is the inclusion of the diagonal ($delta(x) = (x,x)$) then $delta^*alpha = sum_i alpha'_i alpha''_i$ and similarly for $beta$. Suppose $delta^*alpha = delta^*beta$. Then you get:
$$begin{align}
int_{M times M} alpha u''
& = sum_i int_{M times M} (alpha'_i otimes alpha''_i) u'' \
& = int_{M times M} (sum_i alpha'_i alpha''_i otimes 1) u'' \
& = int_{M times M} (sum_j beta'_j beta''_j otimes 1) u'' \
& = int_{M times M} beta u''.
end{align}$$
Here I used $(a otimes b) u'' = (a otimes 1) (1 otimes b) u'') = (a otimes 1) (b otimes 1) u'' = (ab otimes 1) u''$.
Or for something more "geometric", if you work with smooth manifolds and differential forms: if you choose any neighborhood of the diagonal, no matter how small, you will be able to find a representative of $u''$ which vanishes outside this neighborhood.
edited Dec 19 '18 at 15:41
answered Dec 19 '18 at 15:32
Najib IdrissiNajib Idrissi
42k473143
42k473143
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%2f2271994%2fwhat-does-it-mean-geometrically-that-the-diagonal-cohomology-class-is-concentrat%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