Some calculations involving configuration spaces of distinct points

(Difference between revisions)
Jump to: navigation, search
m (Introduction)
m (Construction and examples)
Line 20: Line 20:
== Construction and examples ==
== Construction and examples ==
<wikitex>;
<wikitex>;
For a manifold $X$, $\widetilde X$ denotes ''the deleted product'' of $X$, i.e. $X^2$ minus an open tubular neighborhood of the diagonal. It is a manifold with boundary and has the standard free involution.
+
For a manifold $X$, $\widetilde X$ denotes ''the deleted product'' of $X$, i.e. $X^2$ minus the diagonal. It is a manifold with boundary and has the standard free involution.
{{beginthm|Definition}}[of the Haefliger-Wu invariant $\alpha$]
{{beginthm|Definition}}[of the Haefliger-Wu invariant $\alpha$]
\label{DefHaef}
\label{DefHaef}

Revision as of 13:11, 2 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.

2 Construction and examples

For a manifold X, \widetilde X denotes the deleted product of X, i.e. X^2 minus the diagonal. It is a manifold with boundary and has the standard free involution.

Definition 2.1.[of the Haefliger-Wu invariant \alpha]

The Haefliger-Wu invariant \alpha:\mathrm{Emb}^{k}N\to \pi_{\mathrm{eq}}^{k-1}(\widetilde{N}) is induced by the Gauss map, also denoted by \alpha. The Gauss map assigns to an individual embedding f:N\to\R^{k} an equivariant map \widetilde{N}\to S^{k-1} defined by the formula

\displaystyle  	(x,y)\mapsto 	\frac{f(x)-f(y)} 	{\|f(x)-f(y)\|}, 	\quad 	(x,y)\in\widetilde{N}\subset N\times N.

Theorem 2.2. The Haefliger-Wu invariant \alpha:\mathrm{Emb}^m N\to\pi^{m-1}_{\mathrm{eq}}( \widetilde N) is one-to-one for 2m\ge 3n+4.


3 Invariants

...

4 Classification/Characterization

...

5 Further discussion

...

6 References

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox