An absolute neighborhood extensor (ANE) is a space $Y$ such that for every metric space $X$, $A$ - a closed subset of $X$, and a map $f:A \to Y$, there exists an open set $U$ containing $A$ such that $f$ can be extended to a map $U \to Y$. $H_n(X)$ is the $n$th homology group of $X$.
Asked
Active
Viewed 188 times
6
-
Usually for homework we ask for what you've tried so far. That way we have a better understanding of what level to phrase the response. – Cheerful Parsnip Feb 27 '12 at 14:13
-
Mildly related: http://math.stackexchange.com/questions/106435/prove-that-ane-space-also-has-hep – Asaf Karagila Feb 27 '12 at 15:12
-
To clarify: in the definition of ANE space, there exists such a $U$, right? – Stephen Feb 27 '12 at 16:36
-
@Steve: The same definition of ANE appears in my linked question. It means that there exists some $U$ to which we can extends the continuous mapping in to $X$. – Asaf Karagila Feb 27 '12 at 16:37
-
Well, not exactly the same definition. In the linked question it is clear it is for some $U$, not necessarily all $U$. – Stephen Feb 27 '12 at 16:50
-
In both definitions the intention is that there exists such a U... – Yoav Bar Sinai Feb 27 '12 at 16:59
-
Well, why not make the intention into reality? Something like "...and a map $f:A \rightarrow Y$, there exists an open set $U$ such that $f$ can be extended to a map $f:U \rightarrow Y$." – Stephen Feb 28 '12 at 00:22
-
OK, I hope it is better now.. Steve, any thoughts? – Yoav Bar Sinai Feb 28 '12 at 08:49
1 Answers
1
Suppose $i:X \rightarrow \mathbb{R}^n$ is an embedding; since $X$ is compact so is its image $i(X)$. Let $U$ be an open set containing $i(X)$ to which we may extend the map $i^{-1}$. By compactness of $X$ there is a finite union $C$ of simplices containing $X$ and contained in $U$. Since $C$ is a finite union of simplices, it may be triangulated so that it obtains the structure of a finite simplicial complex. Since it is a finite simplicial complex embedded in $\mathbb{R}^n$, we must have $H_n(C)=0$ (in fact, the group of $n$-cycles is already $0$). But now the composition $X \rightarrow C \rightarrow X$ of $i$ and the extension of $i^{-1}$ is equal to the identity of $X$, and hence we get $H_n(C) \neq 0$, contradiction.
Stephen
- 14,811
-
This only works if I interpreted your definition of ANE correctly--- or is it that there exists a neighborhood $U$ for which there is an extension? – Stephen Feb 27 '12 at 16:32
-
The open set need not be a ball. It could just as well be a torus-like set. – Asaf Karagila Feb 27 '12 at 16:32
-
I edited in accordance with the clarification made by the OP. Probably it's true that for any open subset $U$ of $\mathbb{R}^n$, we have $H_n(U)=0$, but I don't quite see how to prove this. – Stephen Feb 28 '12 at 13:56
-
Hey Steve.. Thanks a lot! May I ask how do you know that such a $C$ exists? And why is it that an embedded finite simplicial complex in ${\mathbb R}^n$ - $C$ must has a trivial n-cycles group? – Yoav Bar Sinai Feb 28 '12 at 20:00
-
For your first question, for each point $p$ of $i(X)$, one may choose a simplex with barycenter $p$ contained in $U$. By compactness of $X$, the interiors of finitely many of these simplices contain $X$, so we may take $C$ to be the union of these finitely many simplices. – Stephen Feb 28 '12 at 20:42
-
For your second question, suppose that $z$ is a cycle and choose a simplex $S$ that appears with non-zero coefficient in $z$ and such that there is at least one face of $S$ that is not shared by any other simplex in the triangulation of $C$ (that we can do this depends on the ambient space being $\mathbb{R}^n$). Then this face appears with non-zero coefficient in the boundary $\partial z$ of $z$, contradiction. – Stephen Feb 28 '12 at 20:44
-
In the previous comment, "cycle" should be "$n$-cycle" of course... the argument about a face not shared by other simplices fails in lower dimension. – Stephen Feb 28 '12 at 21:20