3
$\begingroup$

I am working over the paper: Target Enumeration via Euler Characteristic Integrals and in order to follow a proof I need to prove:

If $A$ is compact nonempty subset of $\mathbb{R}^2$, then the singular homology groups of $A$, $H_k(A)$ vanish for $k\geq 2$.

The result seems seems reasonable for me (there are non obvious counterexamples in dimension grater than three but not in dimension two). But I am having difficulties finding a proof.

What I have tried or thought so far:

  • Using the long exact sequence in homology and it didn't work.
  • Maybe trying luck with de Rham cohomology and using some kind of isomorphism followed by the Universal Coefficients theorem in cohomology....
  • Using some dimension theory but I have no clue how...

Any ideas? Thanks in advance and any help would be appreciated.

Improve this question
$\endgroup$
6
  • 5
    $\begingroup$ Please do not ask the same question here and on math.stackexchange.coom at the same time. Please delete this one and if we have to we will move the other one here. $\endgroup$
    – Mariano Suárez-Álvarez
    Commented Feb 26, 2017 at 18:43
  • $\begingroup$ Link: math.stackexchange.com/questions/2162579/… . Unlike Mariano I'd rather suggest you erase the MathSE question and leave it here. $\endgroup$
    – YCor
    Commented Feb 26, 2017 at 18:48
  • 4
    $\begingroup$ Well, I took the time to add a couple of comments, chase a reference and explain why two of the ideas have no chance of working there. There is a reason why we do not like double posting, and it is precisely that: wasted and duplicated effort. $\endgroup$
    – Mariano Suárez-Álvarez
    Commented Feb 26, 2017 at 18:49
  • $\begingroup$ As I said in the other post, there are obvious counterexamples in dimension $\ge 2$: the 2-sphere. To be a counterexample, it is enough to have $H_2\neq 0$. Mariano mentioned more fancy counterexamples, with subsets of the 3-space with nonvanishing higher homology groups. $\endgroup$
    – YCor
    Commented Feb 26, 2017 at 19:05
  • $\begingroup$ A related fact: $\pi_i$ of planar sets (with basepoints) vanishes for $i\ge 2$: Cannon, Conner, Zastrow, One-dimensional sets and planar sets are aspherical. Topology Appl. 120 (2002), no. 1-2, 23-45. (MR link: ams.org/mathscinet-getitem?mr=1895481; ScienceDirect link: sciencedirect.com/science/article/pii/S0166864101000050. $\endgroup$
    – YCor
    Commented Feb 27, 2017 at 0:59

1 Answer 1

Reset to default
4
$\begingroup$

This is answered in the paper

The singular homology group of planar sets do not behave anomalously by Andreas Zastrow

This appears to be a link to the paper: http://at.yorku.ca/i/d/e/b/11.htm

Improve this answer
$\endgroup$
1
  • 1
    $\begingroup$ It's not an argument :) Anyway we can erase all these obsolete comments now. $\endgroup$
    – YCor
    Commented Feb 26, 2017 at 20:19

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .