Self-maps of simply connected manifolds

From Manifold Atlas
(Difference between revisions)
Jump to: navigation, search
(Solution)
(7 intermediate revisions by 2 users not shown)
Line 43: Line 43:
{{beginthm|Example}}
{{beginthm|Example}}
* All oriented closed connected manifolds with non-zero [[simplicial volume]] are not flexible (because the simplicial volume is [[Simplicial volume#Functoriality and elementary examples|functorial]].
+
* All oriented closed connected manifolds with non-zero [[simplicial volume]] are not flexible (because the simplicial volume is [[Simplicial volume#Functoriality and elementary examples|functorial]]).
* This includes, for instance, oriented closed connected manifolds of non-positive sectional curvature. (More examples and explanations of these facts can be found on the page on [[simplicial volume]].)
* This includes, for instance, oriented closed connected manifolds of non-positive sectional curvature. (More examples and explanations of these facts can be found on the page on [[simplicial volume]].)
{{endthm}}
{{endthm}}
Line 52: Line 52:
== Solution ==
== Solution ==
<wikitex>;
<wikitex>;
This problem is was in fact Solved in {{cite|Arkowitz&Lupton2000|Examples 5.1 & 5.2}}. There they give examples of 1-connected rational Poincare differential graded algebras, $\mathcal{M}_1$ and $\mathcal{M}_2$ of dimensions 208 and 228. Both of these algebras have a finite set of homotopy classes of self maps and so are inflexible They also state that the alebras $\mathcal{M}_1$ and $\mathcal{M}_1$ can be realised by simply connected manifolds $M_1$ and $M_2$. It follows that the manifolds $M_1$ and $M_2$ are inflexible.
+
This problem was in fact solved by Arkowitz and Lupton {{cite|Arkowitz&Lupton2000|Examples 5.1 & 5.2}}: ''There do exist inflexible closed simply connected manifolds''.
The realisation of $\mathcal{M}_1$ and $\mathcal{M}_2$ relies upon a theorem proven independently by Barge and Sullivan. A special case of this theorem is as follows
+
Arkowitz and Lupton give examples of simply connected rational Poincaré differential graded algebras, $\mathcal{M}_1$ and $\mathcal{M}_2$ of dimensions 208 and 228. Both of these algebras have a finite set of homotopy classes of self-maps and so the corresponding rational Poincaré complexes are inflexible. They also indicate why the algebras $\mathcal{M}_1$ and $\mathcal{M}_2$ can be realised by closed simply connected manifolds $M_1$ and $M_2$. It follows that the manifolds $M_1$ and $M_2$ are inflexible.
{{beginthm|Theorem|c.f. {{cite|Barge1976|Theorem 1}} and {{cite|Sullivan1977|Theorem 13.2}}}}
+
The realisation of $\mathcal{M}_1$ and $\mathcal{M}_2$ relies upon a theorem proven independently by Barge and Sullivan. A special case of this theorem is as follows:
Let $\mathcal{M}$ be a simply connected differential rational Poincare algebra of dimension $n$. If either
+
+
{{beginthm|Theorem|{{cite|Barge1976|Theorem 1}}{{cite|Sullivan1977|Theorem 13.2}}}}
+
Let $\mathcal{M}$ be a simply connected rational Poincaré differential graded algebra of dimension n. If either
* $n \neq 4k$ or
* $n \neq 4k$ or
* or $n = 4k$ and the intersection form of $\mathcal{M}$ represents the trivial element of $W_0(\Qq$, the Witt group of $\Qq$,
+
* $n = 4k$ and the intersection form of $\mathcal{M}$ represents the trivial element of $W_0(\Qq)$, the Witt group of $\Qq$,
then there is a close simply connected PL manifold $M$ with rational homotopy type given by $\mathcal{M}$. If $n \neq 4k$ then $M$ may be given a smooth structure and if $n = 4k$ there $M$ can be smoothed except possible at one point.
+
then there is a closed simply connected smooth manifold $M$ with rational homotopy type given by $\mathcal{M}$.
{{endthm}}
{{endthm}}
{{beginthm|Remark}}
{{beginthm|Remark}}
Note that {{cite|Arkowitz&Lupton2000}} simply state that the theorem of Barge-Sullivan applies and do not give arguments that $\mathcal{M}_1$ or $\mathcal{M}_2$ satisfy the hypotheses of Barge. See the [[Talk:Self-maps of simply connected manifolds#Details for Arkowitz and Lupton's paper|discussion page]] for more information.
+
Note that Arkowitz and Lupton {{cite|Arkowitz&Lupton2000}} state that the theorem of Barge-Sullivan applies and do not give detailed arguments why $\mathcal{M}_1$ or $\mathcal{M}_2$ satisfy the hypotheses of Barge-Sullivan. See the [[Talk:Self-maps of simply connected manifolds#Details for Arkowitz and Lupton's paper|discussion page]] for more information.
{{endthm}}
{{endthm}}
</wikitex>
== Further discussion ==
<wikitex>;
...
</wikitex>
</wikitex>

Latest revision as of 12:19, 10 June 2010

Contents

[edit] 1 Question

Let us call an oriented closed connected manifold flexible if it admits a self-map that has non-trivial degree (i.e., degree not equal to 1, 0, or -1).

Question 1.1. Do there exist closed simply connected manifolds (of non-zero dimension) that are not flexible?

Remark 1.2. In the following, for simplicity, we implicitly assume that all manifolds are of non-zero dimension.

[edit] 2 Examples and partial answers

[edit] 2.1 Examples of flexible manifolds

  • Of course, all spheres are flexible.
  • All odd-dimensional real projective spaces are flexible; all complex projective spaces are flexible.
  • Products of flexible manifolds with oriented closed connected manifolds are flexible; in particular, tori are flexible.
  • All closed simply connected 3-manifolds are flexible.
  • All closed simply connected 4-manifolds are flexible [Duan&Wang2004, Corollary 2].
  • ...

[edit] 2.2 Examples of manifolds that are not flexible

Notice that there are many oriented closed connected manifolds that are not flexible.

Example 2.1.

  • All oriented closed connected manifolds with non-zero simplicial volume are not flexible (because the simplicial volume is functorial).
  • This includes, for instance, oriented closed connected manifolds of non-positive sectional curvature. (More examples and explanations of these facts can be found on the page on simplicial volume.)

However, by a theorem of Gromov, the simplicial volume of closed simply connected manifolds is always zero. So the simplicial volume cannot be used to discover closed simply connected manifolds that are not flexible.

[edit] 3 Solution

This problem was in fact solved by Arkowitz and Lupton [Arkowitz&Lupton2000, Examples 5.1 & 5.2]: There do exist inflexible closed simply connected manifolds.

Arkowitz and Lupton give examples of simply connected rational Poincaré differential graded algebras, \mathcal{M}_1 and \mathcal{M}_2 of dimensions 208 and 228. Both of these algebras have a finite set of homotopy classes of self-maps and so the corresponding rational Poincaré complexes are inflexible. They also indicate why the algebras \mathcal{M}_1 and \mathcal{M}_2 can be realised by closed simply connected manifolds M_1 and M_2. It follows that the manifolds M_1 and M_2 are inflexible.

The realisation of \mathcal{M}_1 and \mathcal{M}_2 relies upon a theorem proven independently by Barge and Sullivan. A special case of this theorem is as follows:

Theorem 3.1 [Barge1976, Theorem 1][Sullivan1977, Theorem 13.2]. Let \mathcal{M} be a simply connected rational Poincaré differential graded algebra of dimension n. If either

  • n \neq 4k or
  • n = 4k and the intersection form of \mathcal{M} represents the trivial element of W_0(\Qq), the Witt group of \Qq,

then there is a closed simply connected smooth manifold M with rational homotopy type given by \mathcal{M}.

Remark 3.2. Note that Arkowitz and Lupton [Arkowitz&Lupton2000] state that the theorem of Barge-Sullivan applies and do not give detailed arguments why \mathcal{M}_1 or \mathcal{M}_2 satisfy the hypotheses of Barge-Sullivan. See the discussion page for more information.

[edit] 4 References

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox