Homology of a simplicial complex union a simplex
Let $L=Kcupsigma$, where $L, K$ are abstract simplicial complexes, and $sigma$ is a simplex whose faces are all in $K$. (This condition is necessary for $L$ to be a simplicial complex.)
Furthermore, we have that $sigmanotin K$, which also implies that $sigma$ is a maximal face of $L$. (If $sigmasubsetneqtauin L$, then $tauin K$ implies $sigmain K$ which is a contradiction.)
Is there any relation between the homologies of $L$ and $K$? Is it possible to have a "formula" relating $H_*(L)$ and $H_*(K$)?
Thanks.
algebraic-topology homology-cohomology simplicial-complex
asked Nov 18 at 16:37
yoyostein
7,86483768
add a comment |
Let $L=Kcupsigma$, where $L, K$ are abstract simplicial complexes, and $sigma$ is a simplex whose faces are all in $K$. (This condition is necessary for $L$ to be a simplicial complex.)
Furthermore, we have that $sigmanotin K$, which also implies that $sigma$ is a maximal face of $L$. (If $sigmasubsetneqtauin L$, then $tauin K$ implies $sigmain K$ which is a contradiction.)
Is there any relation between the homologies of $L$ and $K$? Is it possible to have a "formula" relating $H_*(L)$ and $H_*(K$)?
Thanks.
algebraic-topology homology-cohomology simplicial-complex
asked Nov 18 at 16:37
yoyostein
7,86483768
add a comment |
Let $L=Kcupsigma$, where $L, K$ are abstract simplicial complexes, and $sigma$ is a simplex whose faces are all in $K$. (This condition is necessary for $L$ to be a simplicial complex.)
Furthermore, we have that $sigmanotin K$, which also implies that $sigma$ is a maximal face of $L$. (If $sigmasubsetneqtauin L$, then $tauin K$ implies $sigmain K$ which is a contradiction.)
Is there any relation between the homologies of $L$ and $K$? Is it possible to have a "formula" relating $H_*(L)$ and $H_*(K$)?
Thanks.
algebraic-topology homology-cohomology simplicial-complex
asked Nov 18 at 16:37
yoyostein
7,86483768
Let $L=Kcupsigma$, where $L, K$ are abstract simplicial complexes, and $sigma$ is a simplex whose faces are all in $K$. (This condition is necessary for $L$ to be a simplicial complex.)
Furthermore, we have that $sigmanotin K$, which also implies that $sigma$ is a maximal face of $L$. (If $sigmasubsetneqtauin L$, then $tauin K$ implies $sigmain K$ which is a contradiction.)
Is there any relation between the homologies of $L$ and $K$? Is it possible to have a "formula" relating $H_*(L)$ and $H_*(K$)?
Thanks.
algebraic-topology homology-cohomology simplicial-complex
algebraic-topology homology-cohomology simplicial-complex
asked Nov 18 at 16:37
yoyostein
7,86483768
asked Nov 18 at 16:37
yoyostein
7,86483768
asked Nov 18 at 16:37
yoyostein
7,86483768
asked Nov 18 at 16:37
yoyostein
7,86483768
asked Nov 18 at 16:37
yoyostein
7,86483768
7,86483768
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
Let me elaborate a bit more on Lord Shark the Unknown's answer. We can get a precise answer because the maps in the sequence $$0to H_n(K)to H_n(L)toBbb Zto H_{n-1}(K)to H_{n-1}(L)to0$$ can be identified explicitly. Note that the $mathbb{Z}$ here is generated by the homology class of a generator of $Y_n$, which is just the image of $sigmain C_n(L)$ under the quotient map $C_n(L)to Y$. So, by definition of the long exact sequence, the map $Bbb Zto H_{n-1}(K)$ is given by lifting this generator to $sigmain C_n(L)$, taking the boundary, and then lifting that boundary to $C_{n-1}(K)$. In other words, it is exactly the class $[partialsigma]in H_{n-1}(K)$.
We conclude that $H_{n-1}(L)$ is exactly the quotient of $H_{n-1}(K)$ by the subgroup generated by $[partialsigma]$. We also conclude that the cokernel of $H_n(K)to H_n(L)$ is the group of $ninmathbb{Z}$ such that $n[partialsigma]$ is $0$ in $H_{n-1}(K)$. If $[partialsigma]$ is torsion this group is isomorphic to $mathbb{Z}$, and otherwise it is trivial. So we concldue that $H_n(L)cong H_n(K)oplus mathbb{Z}$ if $[partialsigma]$ is a torsion class in $H_{n-1}(K)$, and $H_n(L)cong H_n(K)$ if $[partialsigma]$ is not torsion.
answered Nov 18 at 17:14
Eric Wofsey
180k12204332
Thanks. I am confused on this example: Let $K={[a],[b],[c],[a,b],[a,c]}$, i.e. a triangle with 2 sides. Let $sigma={[b,c]}$. Then $L$ is a triangle homotopy equivalent to a circle. We see that $H_1(L)congmathbb{Z}$ and $H_1(K)cong 0$. However, I don't see how $[partialsigma]$ is a torsion class in $H_0(K)congmathbb{Z}$?
– yoyostein
Nov 19 at 2:26
1
$partialsigma=c-b=(c-a)-(b-a)$ is a difference of two boundaries in $K$.
– Eric Wofsey
Nov 19 at 2:29
Thanks! I get it now. So in fact $n[partialsigma]$ is 0 in $H_{0}(K)$ for all $ninmathbb{Z}$, since $[partialsigma]$ itself is 0 in $H_0(K)$.
– yoyostein
Nov 19 at 2:38
add a comment |
Suppose that $sigma$ has dimension $n$. Consider the complexes of simplicial chains $C(K)$ and $C(L)$. Then there is an exact sequence of complexes
$$0to C(K)to C(L)to Yto 0tag{*}$$
where the complex $Y$ consists only of a $Bbb Z$ in dimension $n$. Then (*)
has an associated long exact sequence of homology. But the homology of $Y$
consists of just a $Bbb Z$ is dimension $n$. We conclude that $H_m(K)cong H_m(L)$
for $mnotin{n-1,n}$ and that there is an exact sequence
$$0to H_n(K)to H_n(L)toBbb Zto H_{n-1}(K)to H_{n-1}(L)to0.$$
We can conclude several things from this, if we know something about the
homology groups of $K$. So adding $sigma$ kills the homology of the cycle
$partialsigma$ in $H_{n-1}(K)$. Moreover $H_n(L)$ will be either $H_n(K)$
or the sum of $H_n(K)$ with a copy of $Bbb Z$ etc.
answered Nov 18 at 16:56
Lord Shark the Unknown
101k958132
Thanks. For the last sentence, can we know (possibly with some added assumptions or extra conditions) whether $H_n(L)=H_n(K)$ or sum of $H_n(K)$ with a copy of Z? Is there any condition that can tell us which case it falls into?
– yoyostein
Nov 18 at 17:06
2
It depends on whether the homology class of $partialsigma$ in $H_{n-1}(K)$ is torsion.
– Lord Shark the Unknown
Nov 18 at 17:13
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%2f3003760%2fhomology-of-a-simplicial-complex-union-a-simplex%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
Let me elaborate a bit more on Lord Shark the Unknown's answer. We can get a precise answer because the maps in the sequence $$0to H_n(K)to H_n(L)toBbb Zto H_{n-1}(K)to H_{n-1}(L)to0$$ can be identified explicitly. Note that the $mathbb{Z}$ here is generated by the homology class of a generator of $Y_n$, which is just the image of $sigmain C_n(L)$ under the quotient map $C_n(L)to Y$. So, by definition of the long exact sequence, the map $Bbb Zto H_{n-1}(K)$ is given by lifting this generator to $sigmain C_n(L)$, taking the boundary, and then lifting that boundary to $C_{n-1}(K)$. In other words, it is exactly the class $[partialsigma]in H_{n-1}(K)$.
We conclude that $H_{n-1}(L)$ is exactly the quotient of $H_{n-1}(K)$ by the subgroup generated by $[partialsigma]$. We also conclude that the cokernel of $H_n(K)to H_n(L)$ is the group of $ninmathbb{Z}$ such that $n[partialsigma]$ is $0$ in $H_{n-1}(K)$. If $[partialsigma]$ is torsion this group is isomorphic to $mathbb{Z}$, and otherwise it is trivial. So we concldue that $H_n(L)cong H_n(K)oplus mathbb{Z}$ if $[partialsigma]$ is a torsion class in $H_{n-1}(K)$, and $H_n(L)cong H_n(K)$ if $[partialsigma]$ is not torsion.
answered Nov 18 at 17:14
Eric Wofsey
180k12204332
Thanks. I am confused on this example: Let $K={[a],[b],[c],[a,b],[a,c]}$, i.e. a triangle with 2 sides. Let $sigma={[b,c]}$. Then $L$ is a triangle homotopy equivalent to a circle. We see that $H_1(L)congmathbb{Z}$ and $H_1(K)cong 0$. However, I don't see how $[partialsigma]$ is a torsion class in $H_0(K)congmathbb{Z}$?
– yoyostein
Nov 19 at 2:26
1
$partialsigma=c-b=(c-a)-(b-a)$ is a difference of two boundaries in $K$.
– Eric Wofsey
Nov 19 at 2:29
Thanks! I get it now. So in fact $n[partialsigma]$ is 0 in $H_{0}(K)$ for all $ninmathbb{Z}$, since $[partialsigma]$ itself is 0 in $H_0(K)$.
– yoyostein
Nov 19 at 2:38
add a comment |
Let me elaborate a bit more on Lord Shark the Unknown's answer. We can get a precise answer because the maps in the sequence $$0to H_n(K)to H_n(L)toBbb Zto H_{n-1}(K)to H_{n-1}(L)to0$$ can be identified explicitly. Note that the $mathbb{Z}$ here is generated by the homology class of a generator of $Y_n$, which is just the image of $sigmain C_n(L)$ under the quotient map $C_n(L)to Y$. So, by definition of the long exact sequence, the map $Bbb Zto H_{n-1}(K)$ is given by lifting this generator to $sigmain C_n(L)$, taking the boundary, and then lifting that boundary to $C_{n-1}(K)$. In other words, it is exactly the class $[partialsigma]in H_{n-1}(K)$.
We conclude that $H_{n-1}(L)$ is exactly the quotient of $H_{n-1}(K)$ by the subgroup generated by $[partialsigma]$. We also conclude that the cokernel of $H_n(K)to H_n(L)$ is the group of $ninmathbb{Z}$ such that $n[partialsigma]$ is $0$ in $H_{n-1}(K)$. If $[partialsigma]$ is torsion this group is isomorphic to $mathbb{Z}$, and otherwise it is trivial. So we concldue that $H_n(L)cong H_n(K)oplus mathbb{Z}$ if $[partialsigma]$ is a torsion class in $H_{n-1}(K)$, and $H_n(L)cong H_n(K)$ if $[partialsigma]$ is not torsion.
answered Nov 18 at 17:14
Eric Wofsey
180k12204332
Thanks. I am confused on this example: Let $K={[a],[b],[c],[a,b],[a,c]}$, i.e. a triangle with 2 sides. Let $sigma={[b,c]}$. Then $L$ is a triangle homotopy equivalent to a circle. We see that $H_1(L)congmathbb{Z}$ and $H_1(K)cong 0$. However, I don't see how $[partialsigma]$ is a torsion class in $H_0(K)congmathbb{Z}$?
– yoyostein
Nov 19 at 2:26
1
$partialsigma=c-b=(c-a)-(b-a)$ is a difference of two boundaries in $K$.
– Eric Wofsey
Nov 19 at 2:29
Thanks! I get it now. So in fact $n[partialsigma]$ is 0 in $H_{0}(K)$ for all $ninmathbb{Z}$, since $[partialsigma]$ itself is 0 in $H_0(K)$.
– yoyostein
Nov 19 at 2:38
add a comment |
Let me elaborate a bit more on Lord Shark the Unknown's answer. We can get a precise answer because the maps in the sequence $$0to H_n(K)to H_n(L)toBbb Zto H_{n-1}(K)to H_{n-1}(L)to0$$ can be identified explicitly. Note that the $mathbb{Z}$ here is generated by the homology class of a generator of $Y_n$, which is just the image of $sigmain C_n(L)$ under the quotient map $C_n(L)to Y$. So, by definition of the long exact sequence, the map $Bbb Zto H_{n-1}(K)$ is given by lifting this generator to $sigmain C_n(L)$, taking the boundary, and then lifting that boundary to $C_{n-1}(K)$. In other words, it is exactly the class $[partialsigma]in H_{n-1}(K)$.
We conclude that $H_{n-1}(L)$ is exactly the quotient of $H_{n-1}(K)$ by the subgroup generated by $[partialsigma]$. We also conclude that the cokernel of $H_n(K)to H_n(L)$ is the group of $ninmathbb{Z}$ such that $n[partialsigma]$ is $0$ in $H_{n-1}(K)$. If $[partialsigma]$ is torsion this group is isomorphic to $mathbb{Z}$, and otherwise it is trivial. So we concldue that $H_n(L)cong H_n(K)oplus mathbb{Z}$ if $[partialsigma]$ is a torsion class in $H_{n-1}(K)$, and $H_n(L)cong H_n(K)$ if $[partialsigma]$ is not torsion.
answered Nov 18 at 17:14
Eric Wofsey
180k12204332
Let me elaborate a bit more on Lord Shark the Unknown's answer. We can get a precise answer because the maps in the sequence $$0to H_n(K)to H_n(L)toBbb Zto H_{n-1}(K)to H_{n-1}(L)to0$$ can be identified explicitly. Note that the $mathbb{Z}$ here is generated by the homology class of a generator of $Y_n$, which is just the image of $sigmain C_n(L)$ under the quotient map $C_n(L)to Y$. So, by definition of the long exact sequence, the map $Bbb Zto H_{n-1}(K)$ is given by lifting this generator to $sigmain C_n(L)$, taking the boundary, and then lifting that boundary to $C_{n-1}(K)$. In other words, it is exactly the class $[partialsigma]in H_{n-1}(K)$.
We conclude that $H_{n-1}(L)$ is exactly the quotient of $H_{n-1}(K)$ by the subgroup generated by $[partialsigma]$. We also conclude that the cokernel of $H_n(K)to H_n(L)$ is the group of $ninmathbb{Z}$ such that $n[partialsigma]$ is $0$ in $H_{n-1}(K)$. If $[partialsigma]$ is torsion this group is isomorphic to $mathbb{Z}$, and otherwise it is trivial. So we concldue that $H_n(L)cong H_n(K)oplus mathbb{Z}$ if $[partialsigma]$ is a torsion class in $H_{n-1}(K)$, and $H_n(L)cong H_n(K)$ if $[partialsigma]$ is not torsion.
answered Nov 18 at 17:14
Eric Wofsey
180k12204332
answered Nov 18 at 17:14
Eric Wofsey
180k12204332
answered Nov 18 at 17:14
Eric Wofsey
180k12204332
answered Nov 18 at 17:14
Eric Wofsey
180k12204332
180k12204332
Thanks. I am confused on this example: Let $K={[a],[b],[c],[a,b],[a,c]}$, i.e. a triangle with 2 sides. Let $sigma={[b,c]}$. Then $L$ is a triangle homotopy equivalent to a circle. We see that $H_1(L)congmathbb{Z}$ and $H_1(K)cong 0$. However, I don't see how $[partialsigma]$ is a torsion class in $H_0(K)congmathbb{Z}$?
– yoyostein
Nov 19 at 2:26
1
$partialsigma=c-b=(c-a)-(b-a)$ is a difference of two boundaries in $K$.
– Eric Wofsey
Nov 19 at 2:29
Thanks! I get it now. So in fact $n[partialsigma]$ is 0 in $H_{0}(K)$ for all $ninmathbb{Z}$, since $[partialsigma]$ itself is 0 in $H_0(K)$.
– yoyostein
Nov 19 at 2:38
add a comment |
Thanks. I am confused on this example: Let $K={[a],[b],[c],[a,b],[a,c]}$, i.e. a triangle with 2 sides. Let $sigma={[b,c]}$. Then $L$ is a triangle homotopy equivalent to a circle. We see that $H_1(L)congmathbb{Z}$ and $H_1(K)cong 0$. However, I don't see how $[partialsigma]$ is a torsion class in $H_0(K)congmathbb{Z}$?
– yoyostein
Nov 19 at 2:26
1
$partialsigma=c-b=(c-a)-(b-a)$ is a difference of two boundaries in $K$.
– Eric Wofsey
Nov 19 at 2:29
Thanks! I get it now. So in fact $n[partialsigma]$ is 0 in $H_{0}(K)$ for all $ninmathbb{Z}$, since $[partialsigma]$ itself is 0 in $H_0(K)$.
– yoyostein
Nov 19 at 2:38
Thanks. I am confused on this example: Let $K={[a],[b],[c],[a,b],[a,c]}$, i.e. a triangle with 2 sides. Let $sigma={[b,c]}$. Then $L$ is a triangle homotopy equivalent to a circle. We see that $H_1(L)congmathbb{Z}$ and $H_1(K)cong 0$. However, I don't see how $[partialsigma]$ is a torsion class in $H_0(K)congmathbb{Z}$?
– yoyostein
Nov 19 at 2:26
Thanks. I am confused on this example: Let $K={[a],[b],[c],[a,b],[a,c]}$, i.e. a triangle with 2 sides. Let $sigma={[b,c]}$. Then $L$ is a triangle homotopy equivalent to a circle. We see that $H_1(L)congmathbb{Z}$ and $H_1(K)cong 0$. However, I don't see how $[partialsigma]$ is a torsion class in $H_0(K)congmathbb{Z}$?
– yoyostein
Nov 19 at 2:26
1
1
$partialsigma=c-b=(c-a)-(b-a)$ is a difference of two boundaries in $K$.
– Eric Wofsey
Nov 19 at 2:29
$partialsigma=c-b=(c-a)-(b-a)$ is a difference of two boundaries in $K$.
– Eric Wofsey
Nov 19 at 2:29
Thanks! I get it now. So in fact $n[partialsigma]$ is 0 in $H_{0}(K)$ for all $ninmathbb{Z}$, since $[partialsigma]$ itself is 0 in $H_0(K)$.
– yoyostein
Nov 19 at 2:38
Thanks! I get it now. So in fact $n[partialsigma]$ is 0 in $H_{0}(K)$ for all $ninmathbb{Z}$, since $[partialsigma]$ itself is 0 in $H_0(K)$.
– yoyostein
Nov 19 at 2:38
add a comment |
Suppose that $sigma$ has dimension $n$. Consider the complexes of simplicial chains $C(K)$ and $C(L)$. Then there is an exact sequence of complexes
$$0to C(K)to C(L)to Yto 0tag{*}$$
where the complex $Y$ consists only of a $Bbb Z$ in dimension $n$. Then (*)
has an associated long exact sequence of homology. But the homology of $Y$
consists of just a $Bbb Z$ is dimension $n$. We conclude that $H_m(K)cong H_m(L)$
for $mnotin{n-1,n}$ and that there is an exact sequence
$$0to H_n(K)to H_n(L)toBbb Zto H_{n-1}(K)to H_{n-1}(L)to0.$$
We can conclude several things from this, if we know something about the
homology groups of $K$. So adding $sigma$ kills the homology of the cycle
$partialsigma$ in $H_{n-1}(K)$. Moreover $H_n(L)$ will be either $H_n(K)$
or the sum of $H_n(K)$ with a copy of $Bbb Z$ etc.
answered Nov 18 at 16:56
Lord Shark the Unknown
101k958132
Thanks. For the last sentence, can we know (possibly with some added assumptions or extra conditions) whether $H_n(L)=H_n(K)$ or sum of $H_n(K)$ with a copy of Z? Is there any condition that can tell us which case it falls into?
– yoyostein
Nov 18 at 17:06
2
It depends on whether the homology class of $partialsigma$ in $H_{n-1}(K)$ is torsion.
– Lord Shark the Unknown
Nov 18 at 17:13
add a comment |
Suppose that $sigma$ has dimension $n$. Consider the complexes of simplicial chains $C(K)$ and $C(L)$. Then there is an exact sequence of complexes
$$0to C(K)to C(L)to Yto 0tag{*}$$
where the complex $Y$ consists only of a $Bbb Z$ in dimension $n$. Then (*)
has an associated long exact sequence of homology. But the homology of $Y$
consists of just a $Bbb Z$ is dimension $n$. We conclude that $H_m(K)cong H_m(L)$
for $mnotin{n-1,n}$ and that there is an exact sequence
$$0to H_n(K)to H_n(L)toBbb Zto H_{n-1}(K)to H_{n-1}(L)to0.$$
We can conclude several things from this, if we know something about the
homology groups of $K$. So adding $sigma$ kills the homology of the cycle
$partialsigma$ in $H_{n-1}(K)$. Moreover $H_n(L)$ will be either $H_n(K)$
or the sum of $H_n(K)$ with a copy of $Bbb Z$ etc.
answered Nov 18 at 16:56
Lord Shark the Unknown
101k958132
Thanks. For the last sentence, can we know (possibly with some added assumptions or extra conditions) whether $H_n(L)=H_n(K)$ or sum of $H_n(K)$ with a copy of Z? Is there any condition that can tell us which case it falls into?
– yoyostein
Nov 18 at 17:06
2
It depends on whether the homology class of $partialsigma$ in $H_{n-1}(K)$ is torsion.
– Lord Shark the Unknown
Nov 18 at 17:13
add a comment |
Suppose that $sigma$ has dimension $n$. Consider the complexes of simplicial chains $C(K)$ and $C(L)$. Then there is an exact sequence of complexes
$$0to C(K)to C(L)to Yto 0tag{*}$$
where the complex $Y$ consists only of a $Bbb Z$ in dimension $n$. Then (*)
has an associated long exact sequence of homology. But the homology of $Y$
consists of just a $Bbb Z$ is dimension $n$. We conclude that $H_m(K)cong H_m(L)$
for $mnotin{n-1,n}$ and that there is an exact sequence
$$0to H_n(K)to H_n(L)toBbb Zto H_{n-1}(K)to H_{n-1}(L)to0.$$
We can conclude several things from this, if we know something about the
homology groups of $K$. So adding $sigma$ kills the homology of the cycle
$partialsigma$ in $H_{n-1}(K)$. Moreover $H_n(L)$ will be either $H_n(K)$
or the sum of $H_n(K)$ with a copy of $Bbb Z$ etc.
answered Nov 18 at 16:56
Lord Shark the Unknown
101k958132
Suppose that $sigma$ has dimension $n$. Consider the complexes of simplicial chains $C(K)$ and $C(L)$. Then there is an exact sequence of complexes
$$0to C(K)to C(L)to Yto 0tag{*}$$
where the complex $Y$ consists only of a $Bbb Z$ in dimension $n$. Then (*)
has an associated long exact sequence of homology. But the homology of $Y$
consists of just a $Bbb Z$ is dimension $n$. We conclude that $H_m(K)cong H_m(L)$
for $mnotin{n-1,n}$ and that there is an exact sequence
$$0to H_n(K)to H_n(L)toBbb Zto H_{n-1}(K)to H_{n-1}(L)to0.$$
We can conclude several things from this, if we know something about the
homology groups of $K$. So adding $sigma$ kills the homology of the cycle
$partialsigma$ in $H_{n-1}(K)$. Moreover $H_n(L)$ will be either $H_n(K)$
or the sum of $H_n(K)$ with a copy of $Bbb Z$ etc.
answered Nov 18 at 16:56
Lord Shark the Unknown
101k958132
answered Nov 18 at 16:56
Lord Shark the Unknown
101k958132
answered Nov 18 at 16:56
Lord Shark the Unknown
101k958132
answered Nov 18 at 16:56
Lord Shark the Unknown
101k958132
101k958132
Thanks. For the last sentence, can we know (possibly with some added assumptions or extra conditions) whether $H_n(L)=H_n(K)$ or sum of $H_n(K)$ with a copy of Z? Is there any condition that can tell us which case it falls into?
– yoyostein
Nov 18 at 17:06
2
It depends on whether the homology class of $partialsigma$ in $H_{n-1}(K)$ is torsion.
– Lord Shark the Unknown
Nov 18 at 17:13
add a comment |
Thanks. For the last sentence, can we know (possibly with some added assumptions or extra conditions) whether $H_n(L)=H_n(K)$ or sum of $H_n(K)$ with a copy of Z? Is there any condition that can tell us which case it falls into?
– yoyostein
Nov 18 at 17:06
2
It depends on whether the homology class of $partialsigma$ in $H_{n-1}(K)$ is torsion.
– Lord Shark the Unknown
Nov 18 at 17:13
Thanks. For the last sentence, can we know (possibly with some added assumptions or extra conditions) whether $H_n(L)=H_n(K)$ or sum of $H_n(K)$ with a copy of Z? Is there any condition that can tell us which case it falls into?
– yoyostein
Nov 18 at 17:06
Thanks. For the last sentence, can we know (possibly with some added assumptions or extra conditions) whether $H_n(L)=H_n(K)$ or sum of $H_n(K)$ with a copy of Z? Is there any condition that can tell us which case it falls into?
– yoyostein
Nov 18 at 17:06
2
2
It depends on whether the homology class of $partialsigma$ in $H_{n-1}(K)$ is torsion.
– Lord Shark the Unknown
Nov 18 at 17:13
It depends on whether the homology class of $partialsigma$ in $H_{n-1}(K)$ is torsion.
– Lord Shark the Unknown
Nov 18 at 17:13
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3003760%2fhomology-of-a-simplicial-complex-union-a-simplex%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
