## When is a finite cw-complex a compact topological manifold?

I think the statement of the question is pretty straightforward. Given a finite $n$-dimensional CW complex, are there necessary and sufficient conditions for determining that it is also a compact $n$-dimensional topological manifold (possibly with boundary)? Most of the questions I have found are about the converse, "When is a topological manifold a CW-complex?" so I thought it would be useful to consider the other side of the picture.

First of all, we already have 2nd countable and Hausdorff so we only need to determine when it is locally Euclidean. One necessary condition is that every point must be contained in the closure of at least one $n$-cell. One the other hand, a point can't be in too many $n$-cells, as the wedge of spheres is not a manifold. But these criteria are clearly not sufficient (or very precise: what does "too many" mean exactly?).

Another necessary condition that I think of right away is that the space must satisfy Poincare duality (with $\mathbb{Z}/2$ coefficients). I'm not sure if this is practical at all, but maybe it is useful if you are working with an explicit cell-structure and a concrete description of the cellular chain complex.

After that, I don't know how to proceed. I am assuming this is a difficult problem, since Google searches haven't answered my question yet. One idea that I have is to try and come up with an "obstruction" to this, where cell-by-cell we determine if every point in that cell admits an $n$-dimensional Euclidean nhd, and we have that the CW-complex is a manifold iff this "obstruction," computed at the homology/cohomology level, vanishes.

Any suggestions (or references to a solution) will be appreciated.

-
 This goes under the name "surgery theory". See Andrew Ranicki's answer of the question mathoverflow.net/questions/129/…. See also the well-written article en.wikipedia.org/wiki/Normal_invariant. BTW: Seems your question is a duplicate. – Ralph Feb 18 2012 at 20:11 I believe my problem is actually different. The problem you cited and the normal invariant discuss when a CW-complex is only homotopy equivalent to some manifold, but I'm interested in knowing when a CW-complex IS a manifold. When does CW-complex itself naturally admit a locally Euclidean structure? The difference seems minor, but I think it is fundamental. – William Feb 18 2012 at 20:46

Here is one necessary condition for the space being locally Euclidean: If $X$ is an $n$-dimensional manifold, then for every $p\in X$ the relative homology groups $H_*(X,X\setminus p;\mathbb{Z})$ are trivial except in dimension $n$ where they are equal to $\mathbb{Z}$. It's an easy check that this detects some of the obvious types of singularities. For example, if $p$ is the singular point in $X$, the wedge of two $S^n$s, then $H_n(X,X\setminus p;\mathbb{Z})=\mathbb{Z}^2$.

I'm pretty sure it isn't a sufficient condition, however, since one should be able to cook up a singular space where a neighborhood of some point looks is a cone on a homology sphere.

-
 Oh yeah, duh, I guess it would have to be a homology manifold :P – William Feb 18 2012 at 20:12

Classical results of Andrei Markov [The insolubility of the problem of homeomorphy. Dokl. Akad. Nauk SSSR 123:978–980, 1958] imply that it is formally undecidable whether a given finite simplicial complex is a 6-manifold. So there are no simple necessary and sufficient conditions for manifoldness of CW complexes.

-
Doesn't this contradict the answers of the duplicate MO question (see my comment to the original question) ? – Ralph Feb 18 2012 at 20:13
The point might be that Andrew Ranicki's answer in mathoverflow.net/questions/129/… concern's "homotopy equivalence" while - according to the title - it seems that the paper you cited is concerned with "homeomorphism". – Ralph Feb 18 2012 at 20:20
@Ralph - Yes, the difference is that the paper studies when a simplicial complex IS a manifold, rather than just homotopy equivalent to one. The disparity in results suggest that my problem really is different from the homotopy problem. @JeffE - Thanks for the reference. I hadn't read that classic yet, though I'm not sure it gives a full answer to my problem. It says that you can't tell complexes apart with an algorithm, but I don't think you need to in order to find a manifold structure inside a nice enough CW-structure. – William Feb 18 2012 at 20:58
I don't see how Markov's theorem relates here. Perhaps you've meant to say that S. P. Novikov's theorem on algorithmic unrecognizability of $S^5$ implies that it is undecidable whether a given simplicial complex is a combinatorial $6$-manifold. This is not the same as being (homeomorphic to) a PL $6$-manifold, and a fortiori not the same as being (homeomorphic to) a $6$-manifold. – Sergey Melikhov Feb 19 2012 at 3:11
@Sergey: Thanks for the correct reference. I'm obviously confused about the distinction between "manifold", "PL manifold", and "combinatorial manifold". Discussion at mathoverflow.net/questions/85595/… suggests that "combinatorial manifold" and "PL manifold" are (up to homeomorphism) synonyms; is that incorrect? Are there manifold simplicial complexes such that no refinement is a combinatorial manifold? Is manifoldness of simplicial complexes actually decidable? (Should this be a separate MO question?) – JeffE Feb 19 2012 at 10:15