Some calculations involving configuration spaces of distinct points
(→Introduction) |
(→Uniqueness theorems) |
||
Line 44: | Line 44: | ||
(b) $N$ is connected and $m \ge 2n+1 \ge 5$. | (b) $N$ is connected and $m \ge 2n+1 \ge 5$. | ||
− | Then | + | Then each two equivariant maps from $\widetilde N$ to $S^{m-1}$ are equivariantly homotopic. |
{{endthm}} | {{endthm}} | ||
''Proof.'' | ''Proof.'' | ||
− | + | Given two equivariant maps $\phi, \psi\colon\widetilde N \to S^{m-1}$ take an arbitrary equivariant triangulation $T$ of $\widetilde N$. | |
− | (a) One can easily construct an equivariant homotopy between restrictions of $ | + | (a) One can easily construct an equivariant homotopy between restrictions of $\phi$ and $\psi$ |
on vertices of $T$. | on vertices of $T$. | ||
− | By general position a homotopy | + | By general position a homotopy between $\phi$ and $\psi$ on the boundary of a simplex can be extended to a homotopy on the whole simplex since the dimension of the simplex does not exceed $2n+1$. |
We extend equivariant homotopy on symmetric simplices in the symmetric way, so we obtain an equivariant homotopy. | We extend equivariant homotopy on symmetric simplices in the symmetric way, so we obtain an equivariant homotopy. | ||
− | (b) Since $\widetilde{N}$ has non-empty boundary, there exists an equivariant deformational retraction of $\widetilde{N}$ to an equivariant $(2n-1)$-subcomplex of $T$. A homotopy on the subcomplex can by constructed similarly to case~(a). This homotopy can be extended to a homotopy on $\widetilde{N}$. | + | (b) Since $\widetilde{N}$ has non-empty boundary, there exists an equivariant deformational retraction of $\widetilde{N}$ to an equivariant $(2n-1)$-subcomplex of $T$. A homotopy between $\phi$ and $\psi$ on the subcomplex can by constructed similarly to case~(a). This homotopy can be extended to a homotopy on $\widetilde{N}$. |
QED | QED | ||
</wikitex> | </wikitex> |
Revision as of 11:50, 9 April 2020
This page has not been refereed. The information given here might be incomplete or provisional. |
Contents |
1 Introduction
‘The complement of the diagonal’ and ‘the Gauss map’ ideas play a great role in different branches of mathematics. The Haefliger-Wu invariant is a manifestation of these ideas in the theory of embeddings. The complement to the diagonal idea originated from two celebrated theorems: the Lefschetz Fixed Point Theorem and the Borsuk-Ulam Antipodes Theorem.
In introducing notation and definitions we follow slides by A. Skopenkov
The deleted product
This is the configuration space of ordered pairs of distinct points of .
Suppose that is an embedding of a subset . Then the map is well-defined by the Gauss formula
We have , i.e. this map is equivariant with respect to the `exchanging factors' involution on and the antipodal involution on . Thus the existence of an equivariant map is a necessary condition for the embeddability of in .
Denote by the set embeddings of into up to isotopy. Let be the set of equivariant maps ̃ up to equivariant homotopy.
The Haefliger-Wu invariant
is induced by the Gauss map.
I.e. .
Theorem 1.1. The Haefliger-Wu invariant is one-to-one for .
See [Skopenkov2006, 5] and [Haefliger1963, 6.4], [Skopenkov2002, Theorem 1.1] for the DIFF case and [Skopenkov2002, Theorem 1.3] for the PL case.
2 Uniqueness theorems
Lemma 2.1. Assume that is a compact -manifold and either
(a) or
(b) is connected and .
Then each two equivariant maps from to are equivariantly homotopic.
Proof. Given two equivariant maps take an arbitrary equivariant triangulation of .
(a) One can easily construct an equivariant homotopy between restrictions of and on vertices of . By general position a homotopy between and on the boundary of a simplex can be extended to a homotopy on the whole simplex since the dimension of the simplex does not exceed . We extend equivariant homotopy on symmetric simplices in the symmetric way, so we obtain an equivariant homotopy.
(b) Since has non-empty boundary, there exists an equivariant deformational retraction of to an equivariant -subcomplex of . A homotopy between and on the subcomplex can by constructed similarly to case~(a). This homotopy can be extended to a homotopy on . QED
3 Invariants
...
4 Classification/Characterization
...
5 Further discussion
...
6 References
- [Haefliger1963] A. Haefliger, Plongements différentiables dans le domain stable., Comment. Math. Helv.37 (1963), 155-176.
- [Skopenkov2002] A. Skopenkov, On the Haefliger-Hirsch-Wu invariants for embeddings and immersions., Comment. Math. Helv. 77 (2002), no.1, 78-124. MRMR1898394 (2003c:57023) Zbl 1012.57035
- [Skopenkov2006] A. Skopenkov, Embedding and knotting of manifolds in Euclidean spaces, in: Surveys in Contemporary Mathematics, Ed. N. Young and Y. Choi, London Math. Soc. Lect. Notes, 347 (2008) 248--342. Available at the arXiv:0604045.