Concordance implies isotopy for smooth structures on 3-manifolds?

From Manifold Atlas
(Difference between revisions)
Jump to: navigation, search
(→Problem)
m
(10 intermediate revisions by 2 users not shown)
Line 1: Line 1:
== Problem ==
== Problem ==
<wikitex>;
<wikitex>;
−
−
A $3$-manifold has a smooth structure which is essentially unique. One question is what does "essentially unique" mean.
A $3$-manifold has a smooth structure which is essentially unique. One question is what does "essentially unique" mean.
−
In high dimensions, smooth structures can be classified either up to concordance or up to isotopy. In high dimensions concordance implies isotopy.
+
In high dimensions, smooth structures can be classified either up to concordance or up to isotopy. In fact, in high dimensions concordance implies isotopy.
Let $M^n$ be a topological manifold and let $W^{n+1}$ be a smooth manifold homeomorphic to $M \times I$, one can ask if that smooth manifold $W$ is diffeomorphic to a product,
Let $M^n$ be a topological manifold and let $W^{n+1}$ be a smooth manifold homeomorphic to $M \times I$, one can ask if that smooth manifold $W$ is diffeomorphic to a product,
$$W \xrightarrow{diffeo} \partial_+ W \times I$$
$$W \xrightarrow{diffeo} \partial_+ W \times I$$
−
This "concordance implies isotopy" theorem of Kirby-Siebenmann and Hirsch is:
+
This "concordance implies isotopy" theorem (see {{cite|Kirby&Siebenmann1977}}) is:
−
\begin{itemize}
+
* true in high dimensions, $n \geq 5$.
−
\item true in high dimensions, $n \geq 5$.
+
−
If you have a topological manifold $M^n$, you can classify smooth structures as homotopy classes of maps
+
Given a topological manifold $M^n$, smooth structures can be classified as homotopy classes of maps
−
$$\mathcal{S}^{TOP/O}(M^n) = [M^n, TOP/O]$$
+
$$\mathcal{S}^{TOP/O}(M^n) = [M^n, TOP/O].$$
−
The structure set $\mathcal{S}^{TOP/O}(M^n)$ is the set of classes of smoothings on $M^n$. But it is important to decide what is meant by the ``structure" and there are two possible equivalence relations: concordance or isotopy.
+
The structure set $\mathcal{S}^{TOP/O}(M^n)$ is the set of equivalence classes of smoothings on $M^n$. But it is important to decide what is meant by the "structure" and there are two possible equivalence relations: concordance or isotopy.
−
A smoothing is a homeomorphism from a smooth manifold $\Sigma$ to $M.$
+
A smoothing is a homeomorphism from a smooth manifold $\Sigma$ to the topological manifold $M$.
$$\Sigma \xrightarrow{homeo} M.$$
$$\Sigma \xrightarrow{homeo} M.$$
−
Two smoothings $\Sigma_0 \xrightarrow{homeo} M^n$ and $\Sigma_1 \xrightarrow{homeo} M$ are \textit{concordant} if there is a smooth manifold $W^{n+1}$ and a homeomorphism to $M \times I$ that restricts to these two smoothings.
+
Two smoothings $\Sigma_0 \xrightarrow{homeo} M^n$ and $\Sigma_1 \xrightarrow{homeo} M$ are concordant if there is a smooth manifold $W^{n+1}$ and a homeomorphism to $M \times I$ that restricts to these two smoothings.
−
+
−
\medskip
+
Two smoothings $\Sigma_0 \xrightarrow{homeo} M$ and $\Sigma_1 \xrightarrow{homeo} M$ are isotopic if there is a smooth manifold $\Sigma$ and a level-preserving homeomorphism $H: \Sigma \times I \to M \times I$,
Two smoothings $\Sigma_0 \xrightarrow{homeo} M$ and $\Sigma_1 \xrightarrow{homeo} M$ are isotopic if there is a smooth manifold $\Sigma$ and a level-preserving homeomorphism $H: \Sigma \times I \to M \times I$,
Line 29: Line 24:
inducing $\Sigma_i \xrightarrow{homeo} M \times \{ i \}$ for $i = 0, 1.$
inducing $\Sigma_i \xrightarrow{homeo} M \times \{ i \}$ for $i = 0, 1.$
+
{{beginthm|Theorem|}} If dim $M \geq 5$, then concordant structures are isotopic (and hence diffeomorphic).
+
{{endthm}}
+
* false for simply-connected $4$-manifolds by the failure of the $h$-cobordism theorem. Cappell and Shaneson proved in the non-simply connected case that there are counterexamples to the $h$-cobordism theorem (See {{cite|Cappel&Shaneson1987}} and {{cite|Cappell&Shaneson1987a}}).
+
* we don't know the answer for $n=3$.
−
\begin{theorem} If dim $M \geq 5$, then concordant structures are isotopic (and hence diffeomorphic).
+
''Question'': Does concordance imply isotopy for smooth structures on $3$-manifolds?
−
\end{theorem}
+
−
+
−
+
−
+
−
+
−
+
−
+
−
+
−
+
−
+
−
+
−
+
−
\item false for simply-connected $4$-manifolds by the failure of the $h$-cobordism theorem. Cappell and Shanneson proved in the non-simply connected case that there are counterexamples to the $h$-cobordism theorem.
+
−
\item we don't know the answer for $n=3$.
+
−
\end{itemize}
+
−
+
−
aa
+
+
This question was posed by Jim Davis at the [[:Category:MATRIX 2019 Interactions|MATRIX meeting on Interactions between high and low dimensional topology.]]
</wikitex>
</wikitex>

Latest revision as of 06:28, 1 September 2020

[edit] 1 Problem

A 3-manifold has a smooth structure which is essentially unique. One question is what does "essentially unique" mean.

In high dimensions, smooth structures can be classified either up to concordance or up to isotopy. In fact, in high dimensions concordance implies isotopy.

Let M^n be a topological manifold and let W^{n+1} be a smooth manifold homeomorphic to M \times I, one can ask if that smooth manifold W is diffeomorphic to a product,

\displaystyle W \xrightarrow{diffeo} \partial_+ W \times I

This "concordance implies isotopy" theorem (see [Kirby&Siebenmann1977]) is:

  • true in high dimensions, n \geq 5.

Given a topological manifold M^n, smooth structures can be classified as homotopy classes of maps

\displaystyle \mathcal{S}^{TOP/O}(M^n) = [M^n, TOP/O].

The structure set \mathcal{S}^{TOP/O}(M^n) is the set of equivalence classes of smoothings on M^n. But it is important to decide what is meant by the "structure" and there are two possible equivalence relations: concordance or isotopy.

A smoothing is a homeomorphism from a smooth manifold \Sigma to the topological manifold M.

\displaystyle \Sigma \xrightarrow{homeo} M.

Two smoothings \Sigma_0 \xrightarrow{homeo} M^n and \Sigma_1 \xrightarrow{homeo} M are concordant if there is a smooth manifold W^{n+1} and a homeomorphism to M \times I that restricts to these two smoothings.

Two smoothings \Sigma_0 \xrightarrow{homeo} M and \Sigma_1 \xrightarrow{homeo} M are isotopic if there is a smooth manifold \Sigma and a level-preserving homeomorphism H: \Sigma \times I \to M \times I,

\displaystyle (H(s, t) = (F(s, t), t))

inducing \Sigma_i \xrightarrow{homeo} M \times \{ i \} for i = 0, 1.

Theorem 1.1. If dim M \geq 5, then concordant structures are isotopic (and hence diffeomorphic).

  • false for simply-connected 4-manifolds by the failure of the h-cobordism theorem. Cappell and Shaneson proved in the non-simply connected case that there are counterexamples to the h-cobordism theorem (See [Cappel&Shaneson1987] and [Cappell&Shaneson1987a]).
  • we don't know the answer for n=3.

Question: Does concordance imply isotopy for smooth structures on 3-manifolds?

This question was posed by Jim Davis at the MATRIX meeting on Interactions between high and low dimensional topology.

[edit] 2 References

Retrieved from "http://www.map.mpim-bonn.mpg.de/index.php?title=Concordance_implies_isotopy_for_smooth_structures_on_3-manifolds%3F&oldid=15267"
Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox