Embeddings of manifolds with boundary: classification

(Difference between revisions)
Jump to: navigation, search
(→Unknotting Theorems)
(→Unknotting Theorems)
Line 34: Line 34:
$m\ge2n+1\ge5$;
$m\ge2n+1\ge5$;
−
(c) \label{item_HZ0}
+
Then any two embeddings of $N$ into $\R^m$ are isotopic.
−
$N$ has non-empty boundary, $m \ge 2n\ge4?$
+
{{endthm}}
−
(d) \label{item_HZ1}
+
{{beginthm|Theorem}}
−
$N$ has non-empty boundary and is $1$-connected, $m \ge 2n - 1\ge3?$
+
Every polyhedral homology $n$-manifold $X$ with nonempty boundary PL-embeds into $\R^{2n-1}$.
+
{{endthm}}
+
This result can be found in \cite[theorem 5.2]{key} % Horvatic K. On embedding polyhedra and manifold
+
+
{{beginthm|Theorem}}
+
Assume $N$ is a compact connected $n$-manifold with non-empty boundary and one of the following conditions holds:
+
+
(a) \label{item_HZ0}
+
$m \ge 2n\ge4?$
+
+
(b) \label{item_HZ1}
+
$N$ is $1$-connected, $m \ge 2n - 1\ge3?$
Then any two embeddings of $N$ into $\R^m$ are isotopic.
Then any two embeddings of $N$ into $\R^m$ are isotopic.
Line 44: Line 55:
\cite{Horvatic1971}
\cite{Horvatic1971}
−
{beginthm|Theorem}
+
{{beginthm|Theorem}}
−
Say $n$-manifold $M$ is compact, $\partial M\neq\emptyset, \partial Q = \emptyset$. Let $f, g\colon M \to Q$ be PL-embeddings, $f \simeq g, q-m > 3$. Suppose $(M, \partial M)$ is $(2m-q)$-connected. Then $f$ and $g$ are ambient isotopic.
+
Say $n$-manifold $M$ is compact, $\partial M\neq\emptyset. Let $f, g\colon M \to S^q$ be PL-embeddings, $f \simeq g, q-n > 3$. Suppose $(M, \partial M)$ is $(2n-q)$-connected. Then $f$ and $g$ are ambient isotopic.
{{endthm}}
{{endthm}}
This result can be found in \cite[Theorem 10.3]{keylist} % Hudson Piecewise linear topology
This result can be found in \cite[Theorem 10.3]{keylist} % Hudson Piecewise linear topology
−
{beginthm|Theorem}
+
{{beginthm|Theorem}}
−
Every polyhedral homology $n$-manifold $X$ with nonempty boundary PL-embeds into $\R^{2n-1}$.
+
−
{{endthm}}
+
−
+
−
This result can be found in \cite[theorem 5.2]{key} % Horvatic K. On embedding polyhedra and manifold
+
−
+
−
{beginthm|Theorem}
+
[The Haefliger-Zeeman unknotting theorem]
[The Haefliger-Zeeman unknotting theorem]
For every $n\ge2k + 2$, $m \ge 2n - k + 1$ and closed $k$-konnected $n$-manifold $N$, any two embeddings of $N$ into $\mathbb R^m$ are isotopic.
For every $n\ge2k + 2$, $m \ge 2n - k + 1$ and closed $k$-konnected $n$-manifold $N$, any two embeddings of $N$ into $\mathbb R^m$ are isotopic.

Revision as of 15:56, 19 March 2020


This page has not been refereed. The information given here might be incomplete or provisional.

Contents

1 Introduction

Most of this page is intended not only for specialists in embeddings, but also for mathematician from other areas who want to apply or to learn the theory of embeddings.

Recall that some Unknotting Theorems hold for manifolds with boundary [Skopenkov2016c, \S3], [Skopenkov2006, \S2]. In this page we present results peculiar for manifold with non-empty boundary.

For a general introduction to embeddings as well as the notation and conventions used on this page, we refer to [Skopenkov2016c, \S1, \S3].

2 Unknotting Theorems

Theorem 2.1. Assume N is a compact connected n-manifold and one of the following conditions holds:

(a) (General position theorem) m \ge 2n+2;

(b) (Whitney-Wu unknotting theorem) m\ge2n+1\ge5;

Then any two embeddings of N into \R^m are isotopic.

Theorem 2.2. Every polyhedral homology n-manifold X with nonempty boundary PL-embeds into \R^{2n-1}.

This result can be found in [key, theorem 5.2] % Horvatic K. On embedding polyhedra and manifold

Theorem 2.3. Assume N is a compact connected n-manifold with non-empty boundary and one of the following conditions holds:

(a) m \ge 2n\ge4?

(b) N is 1-connected, m \ge 2n - 1\ge3?

Then any two embeddings of N into \R^m are isotopic.

[Horvatic1971]

Theorem 2.4. Say n-manifold M is compact, \partial M\neq\emptyset. Letf, g\colon M \to S^qbe PL-embeddings,f \simeq g, q-n > 3. Suppose(M, \partial M)is(2n-q)-connected. Thenfandg$ are ambient isotopic.

This result can be found in [keylist, Theorem 10.3] % Hudson Piecewise linear topology

Theorem 2.5. [The Haefliger-Zeeman unknotting theorem] For every n\ge2k + 2, m \ge 2n - k + 1 and closed k-konnected n-manifold N, any two embeddings of N into \mathbb R^m are isotopic.

3 Construction and examples

...

4 Invariants

...

5 Classification

[Becker&Glover1971]

6 Further discussion

...

7 References

, $\S]{Skopenkov2016c}. == Unknotting Theorems == ; {{beginthm|Theorem}}\label{th::unknotting} Assume $N$ is a compact connected $n$-manifold and one of the following conditions holds: (a) \label{item_GP} (General position theorem) $m \ge 2n+2$; (b) \label{item_WW} (Whitney-Wu unknotting theorem) $m\ge2n+1\ge5$; (c) \label{item_HZ0} $N$ has non-empty boundary, $m \ge 2n\ge4?$ (d) \label{item_HZ1} $N$ has non-empty boundary and is \S3], [Skopenkov2006, \S2]. In this page we present results peculiar for manifold with non-empty boundary.

For a general introduction to embeddings as well as the notation and conventions used on this page, we refer to [Skopenkov2016c, \S1, \S3].

2 Unknotting Theorems

Theorem 2.1. Assume N is a compact connected n-manifold and one of the following conditions holds:

(a) (General position theorem) m \ge 2n+2;

(b) (Whitney-Wu unknotting theorem) m\ge2n+1\ge5;

Then any two embeddings of N into \R^m are isotopic.

Theorem 2.2. Every polyhedral homology n-manifold X with nonempty boundary PL-embeds into \R^{2n-1}.

This result can be found in [key, theorem 5.2] % Horvatic K. On embedding polyhedra and manifold

Theorem 2.3. Assume N is a compact connected n-manifold with non-empty boundary and one of the following conditions holds:

(a) m \ge 2n\ge4?

(b) N is 1-connected, m \ge 2n - 1\ge3?

Then any two embeddings of N into \R^m are isotopic.

[Horvatic1971]

Theorem 2.4. Say n-manifold M is compact, \partial M\neq\emptyset. Letf, g\colon M \to S^qbe PL-embeddings,f \simeq g, q-n > 3. Suppose(M, \partial M)is(2n-q)-connected. Thenfandg$ are ambient isotopic.

This result can be found in [keylist, Theorem 10.3] % Hudson Piecewise linear topology

Theorem 2.5. [The Haefliger-Zeeman unknotting theorem] For every n\ge2k + 2, m \ge 2n - k + 1 and closed k-konnected n-manifold N, any two embeddings of N into \mathbb R^m are isotopic.

3 Construction and examples

...

4 Invariants

...

5 Classification

[Becker&Glover1971]

6 Further discussion

...

7 References

$-connected, $m \ge 2n - 1\ge3?$ Then any two embeddings of $N$ into $\R^m$ are isotopic. {{endthm}} \cite{Horvatic1971} {beginthm|Theorem} Say $n$-manifold $M$ is compact, $\partial M\neq\emptyset, \partial Q = \emptyset$. Let $f, g\colon M \to Q$ be PL-embeddings, $f \simeq g, q-m > 3$. Suppose $(M, \partial M)$ is $(2m-q)$-connected. Then $f$ and $g$ are ambient isotopic. {{endthm}} This result can be found in \cite[Theorem 10.3]{keylist} % Hudson Piecewise linear topology {beginthm|Theorem} Every polyhedral homology $n$-manifold $X$ with nonempty boundary PL-embeds into $\R^{2n-1}$. {{endthm}} This result can be found in \cite[theorem 5.2]{key} % Horvatic K. On embedding polyhedra and manifold {beginthm|Theorem} [The Haefliger-Zeeman unknotting theorem] For every $n\ge2k + 2$, $m \ge 2n - k + 1$ and closed $k$-konnected $n$-manifold $N$, any two embeddings of $N$ into $\mathbb R^m$ are isotopic. {{endthm}} == Construction and examples == ; ... == Invariants == ; ... == Classification == ; \cite{Becker&Glover1971} == Further discussion == ; ... == References == {{#RefList:}} [[Category:Manifolds]] [[Category:Embeddings of manifolds]]\S3], [Skopenkov2006, \S2]. In this page we present results peculiar for manifold with non-empty boundary.

For a general introduction to embeddings as well as the notation and conventions used on this page, we refer to [Skopenkov2016c, \S1, \S3].

2 Unknotting Theorems

Theorem 2.1. Assume N is a compact connected n-manifold and one of the following conditions holds:

(a) (General position theorem) m \ge 2n+2;

(b) (Whitney-Wu unknotting theorem) m\ge2n+1\ge5;

Then any two embeddings of N into \R^m are isotopic.

Theorem 2.2. Every polyhedral homology n-manifold X with nonempty boundary PL-embeds into \R^{2n-1}.

This result can be found in [key, theorem 5.2] % Horvatic K. On embedding polyhedra and manifold

Theorem 2.3. Assume N is a compact connected n-manifold with non-empty boundary and one of the following conditions holds:

(a) m \ge 2n\ge4?

(b) N is 1-connected, m \ge 2n - 1\ge3?

Then any two embeddings of N into \R^m are isotopic.

[Horvatic1971]

Theorem 2.4. Say n-manifold M is compact, \partial M\neq\emptyset. Letf, g\colon M \to S^qbe PL-embeddings,f \simeq g, q-n > 3. Suppose(M, \partial M)is(2n-q)-connected. Thenfandg$ are ambient isotopic.

This result can be found in [keylist, Theorem 10.3] % Hudson Piecewise linear topology

Theorem 2.5. [The Haefliger-Zeeman unknotting theorem] For every n\ge2k + 2, m \ge 2n - k + 1 and closed k-konnected n-manifold N, any two embeddings of N into \mathbb R^m are isotopic.

3 Construction and examples

...

4 Invariants

...

5 Classification

[Becker&Glover1971]

6 Further discussion

...

7 References

Retrieved from "http://www.map.mpim-bonn.mpg.de/index.php?title=Embeddings_of_manifolds_with_boundary:_classification&oldid=14955"
Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox