I am trying to read and understand the paper:
TARGET ENUMERATION VIA EULER CHARACTERISTIC INTEGRALS
by YULIY BARYSHNIKOV AND ROBERT GHRIST.
And I am having trouble with a statement. First of all, definitions:
First remark The definition of $k$-simplex should be with $t_i \in (0,1]$.
Second remark The above definition differs from the common one.
Now we continue and we introduce my problem:
Remark It is clear it is not an homotopic invariant.
- Is there another easier (which needs less machinery) way to prove the topological invariance of this Euler Characteristic?
- I mean, I have seen that Borel-Moore Homology is defined using sheafs or sheaves. I am still a masters student and I have never heard about that. Is there a proof of the statement using machinery from a first course in Algebraic Topology (Some homotopy theory, a bit of homology and cohomology)?
- In the case some heavy machinery is needed could you provide me some references to look at?
WHAT I HAVE TRIED:
I have tried using Cohomology with compact supports since in Massey's book titled Singular Homology Theory he uses it to deal with non compact manifolds in order to prove Poincarè Duality. He refers to
H. Cartan, Seminaire Henri Cartan 1948/49: Topologie Algebrique
which I have partially read. However, since the spaces we are dealing with are not locally-compact, I can't use that stuff.
- I have read in the paper: T. Beke, “Topological invariance of the combinatorial euler characteristic of tame spaces,” an idea about using one-point compactifications ... but I didn't achieve my goal yet.
I have had a look at Stack Exchange. There is a related this question. However, I haven't found an answer there. I quote the part I find most related.
The definition of combinatorial Euler characteristic is great for "finite polyhedral complexes", I think. By a "finite polyhedral complexes" I mean glue together finitely many polyhedra, but you're allowed to leave some faces open, so that unlike a CW complex not every cell must have complex closure. Then you can calculate Euler characteristic with the usual formula: (number of cells of even dimension) - (number of cells of odd dimension). I think this is a topological (but not homotopy!) invariant.
So thanks in advance and any help will be appreciated.