Poincare dual simplicial structure of complexes homotopy equivalent to manifolds Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)References Request (Poincare Duality via Unimodular pairing, de Rham isomorphism)Invariance of combinatorial/geometric euler characteristic(References) Relationship between skeletons of simplicial complexes and manifolds?Poincare duality in group (co)homologyClosed manifolds with isomorphic cohomology rings, but different cohomology modules over the Steenrod algebraBeginner question: Poincare Duality for Simplicial ComplexesHomotopy type of simplicial complexesA surface of genus g is not homotopy equivalent to a wedge sum of CW-complexesGeneralising dual triangulation of manifoldsDo contractible homology manifolds have one end?
Around usage results
old style "caution" boxes
Is safe to use va_start macro with this as parameter?
How do I make this wiring inside cabinet safer? (Pic)
How does the math work when buying airline miles?
Do square wave exist?
How would a mousetrap for use in space work?
What would be the ideal power source for a cybernetic eye?
For a new assistant professor in CS, how to build/manage a publication pipeline
What is homebrew?
Is grep documentation wrong?
Why are there no cargo aircraft with "flying wing" design?
If a VARCHAR(MAX) column is included in an index, is the entire value always stored in the index page(s)?
When a candle burns, why does the top of wick glow if bottom of flame is hottest?
Do I really need recursive chmod to restrict access to a folder?
Is it cost-effective to upgrade an old-ish Giant Escape R3 commuter bike with entry-level branded parts (wheels, drivetrain)?
Wu formula for manifolds with boundary
Denied boarding although I have proper visa and documentation. To whom should I make a complaint?
Extracting terms with certain heads in a function
Using audio cues to encourage good posture
Should I use a zero-interest credit card for a large one-time purchase?
Is the Standard Deduction better than Itemized when both are the same amount?
Has negative voting ever been officially implemented in elections, or seriously proposed, or even studied?
How to answer "Have you ever been terminated?"
Poincare dual simplicial structure of complexes homotopy equivalent to manifolds
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)References Request (Poincare Duality via Unimodular pairing, de Rham isomorphism)Invariance of combinatorial/geometric euler characteristic(References) Relationship between skeletons of simplicial complexes and manifolds?Poincare duality in group (co)homologyClosed manifolds with isomorphic cohomology rings, but different cohomology modules over the Steenrod algebraBeginner question: Poincare Duality for Simplicial ComplexesHomotopy type of simplicial complexesA surface of genus g is not homotopy equivalent to a wedge sum of CW-complexesGeneralising dual triangulation of manifoldsDo contractible homology manifolds have one end?
$begingroup$
Given a closed $n$-manifold $M$, Poincare duality equips us with an isomorphism: $$H_k(M)cong H^n-k(M)$$
Here I'm speaking of singular homology with coeffecient in $mathbbZ_2$.
Suppose now $M$ has a triangulation $K$. Then clearly, we have a similar Poincare isomorphism as above for $K$ as well. In fact, even more can be said: there exists a polyhedral dual structure $K^vee$ of $K$ which gives an isomorphism already at the level of (co)chain complexes: $$C_k(K^vee)cong C^n-k(K)$$
(in order to be safe let's further assume we are considering smooth manifolds so stuff as https://mathoverflow.net/questions/194297/dual-cell-structures-on-manifolds do not occur)
My question is:
Is there an isomorphism of the form $C_k(K^vee)cong C^n-k(K)$
even when $K$ is not necessarily a triangulation of $M$, but instead
only homotopy equivalent $M$
I'll remark, that I'm in fact interested in Poincare-Lefschetz duality (i.e for manifolds with boundary) but thought it is better to start from here. Furthermore, I'm in particular interested in the case where $K$ is the nerve of some "good cover" of $M$ (and thus homotopy equivalent from the nerve lemma)
algebraic-topology homology-cohomology triangulation simplicial-complex poincare-duality
$endgroup$
add a comment |
$begingroup$
Given a closed $n$-manifold $M$, Poincare duality equips us with an isomorphism: $$H_k(M)cong H^n-k(M)$$
Here I'm speaking of singular homology with coeffecient in $mathbbZ_2$.
Suppose now $M$ has a triangulation $K$. Then clearly, we have a similar Poincare isomorphism as above for $K$ as well. In fact, even more can be said: there exists a polyhedral dual structure $K^vee$ of $K$ which gives an isomorphism already at the level of (co)chain complexes: $$C_k(K^vee)cong C^n-k(K)$$
(in order to be safe let's further assume we are considering smooth manifolds so stuff as https://mathoverflow.net/questions/194297/dual-cell-structures-on-manifolds do not occur)
My question is:
Is there an isomorphism of the form $C_k(K^vee)cong C^n-k(K)$
even when $K$ is not necessarily a triangulation of $M$, but instead
only homotopy equivalent $M$
I'll remark, that I'm in fact interested in Poincare-Lefschetz duality (i.e for manifolds with boundary) but thought it is better to start from here. Furthermore, I'm in particular interested in the case where $K$ is the nerve of some "good cover" of $M$ (and thus homotopy equivalent from the nerve lemma)
algebraic-topology homology-cohomology triangulation simplicial-complex poincare-duality
$endgroup$
add a comment |
$begingroup$
Given a closed $n$-manifold $M$, Poincare duality equips us with an isomorphism: $$H_k(M)cong H^n-k(M)$$
Here I'm speaking of singular homology with coeffecient in $mathbbZ_2$.
Suppose now $M$ has a triangulation $K$. Then clearly, we have a similar Poincare isomorphism as above for $K$ as well. In fact, even more can be said: there exists a polyhedral dual structure $K^vee$ of $K$ which gives an isomorphism already at the level of (co)chain complexes: $$C_k(K^vee)cong C^n-k(K)$$
(in order to be safe let's further assume we are considering smooth manifolds so stuff as https://mathoverflow.net/questions/194297/dual-cell-structures-on-manifolds do not occur)
My question is:
Is there an isomorphism of the form $C_k(K^vee)cong C^n-k(K)$
even when $K$ is not necessarily a triangulation of $M$, but instead
only homotopy equivalent $M$
I'll remark, that I'm in fact interested in Poincare-Lefschetz duality (i.e for manifolds with boundary) but thought it is better to start from here. Furthermore, I'm in particular interested in the case where $K$ is the nerve of some "good cover" of $M$ (and thus homotopy equivalent from the nerve lemma)
algebraic-topology homology-cohomology triangulation simplicial-complex poincare-duality
$endgroup$
Given a closed $n$-manifold $M$, Poincare duality equips us with an isomorphism: $$H_k(M)cong H^n-k(M)$$
Here I'm speaking of singular homology with coeffecient in $mathbbZ_2$.
Suppose now $M$ has a triangulation $K$. Then clearly, we have a similar Poincare isomorphism as above for $K$ as well. In fact, even more can be said: there exists a polyhedral dual structure $K^vee$ of $K$ which gives an isomorphism already at the level of (co)chain complexes: $$C_k(K^vee)cong C^n-k(K)$$
(in order to be safe let's further assume we are considering smooth manifolds so stuff as https://mathoverflow.net/questions/194297/dual-cell-structures-on-manifolds do not occur)
My question is:
Is there an isomorphism of the form $C_k(K^vee)cong C^n-k(K)$
even when $K$ is not necessarily a triangulation of $M$, but instead
only homotopy equivalent $M$
I'll remark, that I'm in fact interested in Poincare-Lefschetz duality (i.e for manifolds with boundary) but thought it is better to start from here. Furthermore, I'm in particular interested in the case where $K$ is the nerve of some "good cover" of $M$ (and thus homotopy equivalent from the nerve lemma)
algebraic-topology homology-cohomology triangulation simplicial-complex poincare-duality
algebraic-topology homology-cohomology triangulation simplicial-complex poincare-duality
edited Apr 1 at 14:54
Itamar Vigi
asked Apr 1 at 13:42
Itamar VigiItamar Vigi
326110
326110
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Your question is not very precise, but I would say the answer is no. Consider $M$ to be the $0$-manifold given by the singleton. Take the simplicial complex given by the simplest triangulation of $[0,1]$ (two vertices, one edge), which satisfies $M simeq [0,1]$. Then the cellular complex of $K$ is $C_0(K) = mathbbF_2^2$ and $C_1(K) = mathbbF_2$. There is no triangulation $K^vee$ such that $C^0(K^vee) = mathbbF_2^2$ and $C^-1(K^vee) = mathbbF_2$.
$endgroup$
$begingroup$
I agree that my question is not very precise.. I wasn't aware of how problematic it is to construct a dual polyhedral structure to some abstract simplicial complex. Even for a triangulation of a manifold with boundary there are subtleties to deal with. I assume that's your point there right? But then I must ask, in your answer what do you mean by $K^vee$? do you mean some standard construction of a dual complex for a triangulation of a manifold with boundary, one which gives a Lefschetz type duality?
$endgroup$
– Itamar Vigi
Apr 2 at 13:49
1
$begingroup$
@ItamarVigi For a manifold with boundary, in general you would want an isomorphism $C_*(K) cong C^n-*(K^vee, partial K^vee)$ (this is Poincaré–Lefschetz duality). Here in my answer, $K^vee$ is just a notation: what I am saying is that there is no cell complex $X$ such that $C^-1(X) = mathbbF_2$. There is never anything in negative degrees.
$endgroup$
– Najib Idrissi
Apr 2 at 13:51
$begingroup$
Thank you for pointing out the absurdity of what I'm looking for.
$endgroup$
– Itamar Vigi
Apr 4 at 8:12
add a comment |
Your Answer
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%2f3170620%2fpoincare-dual-simplicial-structure-of-complexes-homotopy-equivalent-to-manifolds%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$
Your question is not very precise, but I would say the answer is no. Consider $M$ to be the $0$-manifold given by the singleton. Take the simplicial complex given by the simplest triangulation of $[0,1]$ (two vertices, one edge), which satisfies $M simeq [0,1]$. Then the cellular complex of $K$ is $C_0(K) = mathbbF_2^2$ and $C_1(K) = mathbbF_2$. There is no triangulation $K^vee$ such that $C^0(K^vee) = mathbbF_2^2$ and $C^-1(K^vee) = mathbbF_2$.
$endgroup$
$begingroup$
I agree that my question is not very precise.. I wasn't aware of how problematic it is to construct a dual polyhedral structure to some abstract simplicial complex. Even for a triangulation of a manifold with boundary there are subtleties to deal with. I assume that's your point there right? But then I must ask, in your answer what do you mean by $K^vee$? do you mean some standard construction of a dual complex for a triangulation of a manifold with boundary, one which gives a Lefschetz type duality?
$endgroup$
– Itamar Vigi
Apr 2 at 13:49
1
$begingroup$
@ItamarVigi For a manifold with boundary, in general you would want an isomorphism $C_*(K) cong C^n-*(K^vee, partial K^vee)$ (this is Poincaré–Lefschetz duality). Here in my answer, $K^vee$ is just a notation: what I am saying is that there is no cell complex $X$ such that $C^-1(X) = mathbbF_2$. There is never anything in negative degrees.
$endgroup$
– Najib Idrissi
Apr 2 at 13:51
$begingroup$
Thank you for pointing out the absurdity of what I'm looking for.
$endgroup$
– Itamar Vigi
Apr 4 at 8:12
add a comment |
$begingroup$
Your question is not very precise, but I would say the answer is no. Consider $M$ to be the $0$-manifold given by the singleton. Take the simplicial complex given by the simplest triangulation of $[0,1]$ (two vertices, one edge), which satisfies $M simeq [0,1]$. Then the cellular complex of $K$ is $C_0(K) = mathbbF_2^2$ and $C_1(K) = mathbbF_2$. There is no triangulation $K^vee$ such that $C^0(K^vee) = mathbbF_2^2$ and $C^-1(K^vee) = mathbbF_2$.
$endgroup$
$begingroup$
I agree that my question is not very precise.. I wasn't aware of how problematic it is to construct a dual polyhedral structure to some abstract simplicial complex. Even for a triangulation of a manifold with boundary there are subtleties to deal with. I assume that's your point there right? But then I must ask, in your answer what do you mean by $K^vee$? do you mean some standard construction of a dual complex for a triangulation of a manifold with boundary, one which gives a Lefschetz type duality?
$endgroup$
– Itamar Vigi
Apr 2 at 13:49
1
$begingroup$
@ItamarVigi For a manifold with boundary, in general you would want an isomorphism $C_*(K) cong C^n-*(K^vee, partial K^vee)$ (this is Poincaré–Lefschetz duality). Here in my answer, $K^vee$ is just a notation: what I am saying is that there is no cell complex $X$ such that $C^-1(X) = mathbbF_2$. There is never anything in negative degrees.
$endgroup$
– Najib Idrissi
Apr 2 at 13:51
$begingroup$
Thank you for pointing out the absurdity of what I'm looking for.
$endgroup$
– Itamar Vigi
Apr 4 at 8:12
add a comment |
$begingroup$
Your question is not very precise, but I would say the answer is no. Consider $M$ to be the $0$-manifold given by the singleton. Take the simplicial complex given by the simplest triangulation of $[0,1]$ (two vertices, one edge), which satisfies $M simeq [0,1]$. Then the cellular complex of $K$ is $C_0(K) = mathbbF_2^2$ and $C_1(K) = mathbbF_2$. There is no triangulation $K^vee$ such that $C^0(K^vee) = mathbbF_2^2$ and $C^-1(K^vee) = mathbbF_2$.
$endgroup$
Your question is not very precise, but I would say the answer is no. Consider $M$ to be the $0$-manifold given by the singleton. Take the simplicial complex given by the simplest triangulation of $[0,1]$ (two vertices, one edge), which satisfies $M simeq [0,1]$. Then the cellular complex of $K$ is $C_0(K) = mathbbF_2^2$ and $C_1(K) = mathbbF_2$. There is no triangulation $K^vee$ such that $C^0(K^vee) = mathbbF_2^2$ and $C^-1(K^vee) = mathbbF_2$.
answered Apr 2 at 12:52
Najib IdrissiNajib Idrissi
42k473143
42k473143
$begingroup$
I agree that my question is not very precise.. I wasn't aware of how problematic it is to construct a dual polyhedral structure to some abstract simplicial complex. Even for a triangulation of a manifold with boundary there are subtleties to deal with. I assume that's your point there right? But then I must ask, in your answer what do you mean by $K^vee$? do you mean some standard construction of a dual complex for a triangulation of a manifold with boundary, one which gives a Lefschetz type duality?
$endgroup$
– Itamar Vigi
Apr 2 at 13:49
1
$begingroup$
@ItamarVigi For a manifold with boundary, in general you would want an isomorphism $C_*(K) cong C^n-*(K^vee, partial K^vee)$ (this is Poincaré–Lefschetz duality). Here in my answer, $K^vee$ is just a notation: what I am saying is that there is no cell complex $X$ such that $C^-1(X) = mathbbF_2$. There is never anything in negative degrees.
$endgroup$
– Najib Idrissi
Apr 2 at 13:51
$begingroup$
Thank you for pointing out the absurdity of what I'm looking for.
$endgroup$
– Itamar Vigi
Apr 4 at 8:12
add a comment |
$begingroup$
I agree that my question is not very precise.. I wasn't aware of how problematic it is to construct a dual polyhedral structure to some abstract simplicial complex. Even for a triangulation of a manifold with boundary there are subtleties to deal with. I assume that's your point there right? But then I must ask, in your answer what do you mean by $K^vee$? do you mean some standard construction of a dual complex for a triangulation of a manifold with boundary, one which gives a Lefschetz type duality?
$endgroup$
– Itamar Vigi
Apr 2 at 13:49
1
$begingroup$
@ItamarVigi For a manifold with boundary, in general you would want an isomorphism $C_*(K) cong C^n-*(K^vee, partial K^vee)$ (this is Poincaré–Lefschetz duality). Here in my answer, $K^vee$ is just a notation: what I am saying is that there is no cell complex $X$ such that $C^-1(X) = mathbbF_2$. There is never anything in negative degrees.
$endgroup$
– Najib Idrissi
Apr 2 at 13:51
$begingroup$
Thank you for pointing out the absurdity of what I'm looking for.
$endgroup$
– Itamar Vigi
Apr 4 at 8:12
$begingroup$
I agree that my question is not very precise.. I wasn't aware of how problematic it is to construct a dual polyhedral structure to some abstract simplicial complex. Even for a triangulation of a manifold with boundary there are subtleties to deal with. I assume that's your point there right? But then I must ask, in your answer what do you mean by $K^vee$? do you mean some standard construction of a dual complex for a triangulation of a manifold with boundary, one which gives a Lefschetz type duality?
$endgroup$
– Itamar Vigi
Apr 2 at 13:49
$begingroup$
I agree that my question is not very precise.. I wasn't aware of how problematic it is to construct a dual polyhedral structure to some abstract simplicial complex. Even for a triangulation of a manifold with boundary there are subtleties to deal with. I assume that's your point there right? But then I must ask, in your answer what do you mean by $K^vee$? do you mean some standard construction of a dual complex for a triangulation of a manifold with boundary, one which gives a Lefschetz type duality?
$endgroup$
– Itamar Vigi
Apr 2 at 13:49
1
1
$begingroup$
@ItamarVigi For a manifold with boundary, in general you would want an isomorphism $C_*(K) cong C^n-*(K^vee, partial K^vee)$ (this is Poincaré–Lefschetz duality). Here in my answer, $K^vee$ is just a notation: what I am saying is that there is no cell complex $X$ such that $C^-1(X) = mathbbF_2$. There is never anything in negative degrees.
$endgroup$
– Najib Idrissi
Apr 2 at 13:51
$begingroup$
@ItamarVigi For a manifold with boundary, in general you would want an isomorphism $C_*(K) cong C^n-*(K^vee, partial K^vee)$ (this is Poincaré–Lefschetz duality). Here in my answer, $K^vee$ is just a notation: what I am saying is that there is no cell complex $X$ such that $C^-1(X) = mathbbF_2$. There is never anything in negative degrees.
$endgroup$
– Najib Idrissi
Apr 2 at 13:51
$begingroup$
Thank you for pointing out the absurdity of what I'm looking for.
$endgroup$
– Itamar Vigi
Apr 4 at 8:12
$begingroup$
Thank you for pointing out the absurdity of what I'm looking for.
$endgroup$
– Itamar Vigi
Apr 4 at 8:12
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%2f3170620%2fpoincare-dual-simplicial-structure-of-complexes-homotopy-equivalent-to-manifolds%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