Regensburg Surgery Blockseminar 2012: Program

Each section of this page is devoted to a talk in the Blockseminar.

Please consider using each subsection as a place to build up materials for your talk: e.g. you could post notes or slides, or pictures, or a list of relevant references, or links to related exercises and questions.

1 The s-cobordism theorem I

This talk covers [Lück2001, 1.1-1.3].

Start with a clear statement of Theorem 1.1 where the Whitehead group $\text{Wh}(\pi)$$\newcommand{\Z}{\mathbb{Z}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\N}{\mathbb{N}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\F}{\mathbb{F}} \newcommand{\bZ}{\mathbb{Z}} \newcommand{\bR}{\mathbb{R}} \newcommand{\bC}{\mathbb{C}} \newcommand{\bH}{\mathbb{H}} \newcommand{\bQ}{\mathbb{Q}} \newcommand{\bF}{\mathbb{F}} \newcommand{\bN}{\mathbb{N}} \DeclareMathOperator\id{id} % identity map \DeclareMathOperator\Sq{Sq} % Steenrod squares \DeclareMathOperator\Homeo{Homeo} % group of homeomorphisms of a topoloical space \DeclareMathOperator\Diff{Diff} % group of diffeomorphisms of a smooth manifold \DeclareMathOperator\SDiff{SDiff} % diffeomorphism under some constraint \DeclareMathOperator\Hom{Hom} % homomrphism group \DeclareMathOperator\End{End} % endomorphism group \DeclareMathOperator\Aut{Aut} % automorphism group \DeclareMathOperator\Inn{Inn} % inner automorphisms \DeclareMathOperator\Out{Out} % outer automorphism group \DeclareMathOperator\vol{vol} % volume \newcommand{\GL}{\text{GL}} % general linear group \newcommand{\SL}{\text{SL}} % special linear group \newcommand{\SO}{\text{SO}} % special orthogonal group \newcommand{\O}{\text{O}} % orthogonal group \newcommand{\SU}{\text{SU}} % special unitary group \newcommand{\Spin}{\text{Spin}} % Spin group \newcommand{\RP}{\Rr\mathrm P} % real projective space \newcommand{\CP}{\Cc\mathrm P} % complex projective space \newcommand{\HP}{\Hh\mathrm P} % quaternionic projective space \newcommand{\Top}{\mathrm{Top}} % topological category \newcommand{\PL}{\mathrm{PL}} % piecewise linear category \newcommand{\Cat}{\mathrm{Cat}} % any category \newcommand{\KS}{\text{KS}} % Kirby-Siebenmann class \newcommand{\Hud}{\text{Hud}} % Hudson torus \newcommand{\Ker}{\text{Ker}} % Kernel \newcommand{\underbar}{\underline} %Classifying Spaces for Families of Subgroups \newcommand{\textup}{\text} \newcommand{\sp}{^}\text{Wh}(\pi)$ appears as a certain group depending only on $\pi_1(M_0)$$\pi_1(M_0)$ and which is to be defined later. As motivation, quickly state and prove Theorems 1.2 & 1.3.

Summarise the notation and main results of Section 1.1: these are Definition 1.6, Lemma 1.7, Lemma 1.12, Notation 1.15 and Lemma 1.16.

Review Section 1.2 and then state without proof the Normal Form Lemma 1.24. State and prove Lemmas 1.22 and 1.23.

2 The s-cobordism theorem II

This talks covers [Lück2001, 1.3 & 1.4].

Prove Lemma 1.24 and then go through Section 1.4 in detail give the first definition of $\text{Wh}(\pi)$$\text{Wh}(\pi)$ and then state Lemma 1.27. Give the proof of Lemma 1.27 in detail.

3 The s-cobordism theorem III

This talk covers [Lück2001, Ch.2].

Follow the Introduction and Sections 2.1 and 2.2 closely. State Theorem 2.1 making explicit that (5) is deep. Ensuring that you state and prove Lemma 2.16 and complete the proof of Theorem 1.1 cover as much of 2.1 and 2.2 as time permits.

4 Poincaré complexes

This talk covers [Lück2001, 3.1].

Cover the whole section paying particular care with the introduction of homology groups with $\Zz[\pi]$$\Zz[\pi]$-coefficients and local coefficients twisted by the orientation character $w \colon \pi_1(M) \to \Zz/2$$w \colon \pi_1(M) \to \Zz/2$. Give at least one unorientable example.

5 Spherical fibrations and the normal Spivak fibration

This talk covers [Lück2001, 3.2.2 & 3.2.3].

Cover the two subsections in detail: Theorem 3.38 and Lemma 3.40 are the main results. Focus on defining spherical fibrations and clearly stating the main results, then move on to the proofs.

6 Normal maps and the Pontrjagin-Thom isomorphism

This talk covers [Lück2001, 3.2.1 & 3.3].

Briefly recall the main results of Section 3.2.1, Theorems 3.26 and 3.28, without proof. Then focus on Section 3.3. The main results are Theorems 3.45 and 3.52.

7 Surgery below the middle dimension

This talk covers [Lück2001, 3.4].

Use 3.4.1 mainly as background motivation but do prove Lemma 3.55. Use 3.4.2 as a black box but give more examples of sets of regular homotopy classes of immersions, in particular $\text{Imm}(S^n, S^{2n})$$\text{Imm}(S^n, S^{2n})$. State and prove Theorems 3.59 and 3.61 in their full glory.

8 Intersections and self-intersections

This talk covers [Lück2001, 4.1].

The main results are Lemma 4.3 and 4.7 and Theorem 4.8. Draw lots of pictures. Find and present some examples of immersions with interesting self-intersections.

9 Kernels and forms

This talk covers [Lück2001, 4.2].

This is a long talk: the main result is Theorem 4.27.

10 Even dimensional surgery obstructions

This talk covers [Lück2001, 4.3 & 4.4].

The main result is Theorem 4.33 and its elaboration, Theorem 4.36, in the simply connected case.

11 Odd dimensional surgery obstructions

This talk covers [Lück2001, 4.5 & 4.6].

This is a difficult talk. The main results are Theorems 4.44 and 4.46. It is reasonable to follow Lück but some details are left out. The presenter could also read [Ranicki2002, Section 12].

12 Manifolds with boundary and simple surgery obstructions

This talk covers [Lück2001, 4.7].

The main results are Theorems 4.47 and 4.61. You may choose to skip some of the algebraic details related to the simple surgery obstruction.

13 The structure set and Wall realisation

This talk covers [Lück2001, 5.1 & 5.2].

The main points are the definition of the structure set and Theorem 5.5.

In addition show that the action of $L_{n+1}(\Zz[e])$$L_{n+1}(\Zz[e])$ on the structure set is via connected sum with homotopy spheres and give a detailed describtion of plumbing: [Browder1972, II 4.10] and then [Browder1972, V 2.1, 2.9 & 2.11]. Note, do not use Browder's definition of the quadratic refinement rather refer to the exercises for the proof of 2.11.

You may also want to attempt to sketch realisation for odd dimensional $L$$L$-groups.

14 The smooth surgery exact sequence

This talk covers [Lück2001, 5.3 & 6.1].

Everything comes together in this talk! The main result is Theorem 5.12. You should also state and prove that the set of diffeomorphisms classes of manifolds homotopy equivalent to a given manifold $M/var/www/vhost/map.mpim-bonn.mpg.de/tmp/AppWikiTex/tex_Z4b22e$$M$ is equal to the orbit space $\mathcal{S}(M)/\mathcal{E}(M)$$\mathcal{S}(M)/\mathcal{E}(M)$ where $\mathcal{E}(M)$$\mathcal{E}(M)$ is the group of homotopy automorphisms of $M$$M$.

As an example, begin with the surgery exact sequence for $S^n$$S^n$ in Section 6.1.

15 Exotic spheres

This talk covers [Lück2001, 6.1-6.5 & 6.7].

There is a good deal of beautiful mathematics to cover in this talk. The main result is Theorem 6.11: quickly make your way to its statement and then explain how computing the various groups and maps in this sequence organises the rest of the talk.

Note that the status of the Kervaire invariant problem has changed since [Lück2001] was written: for the current situation see e.g. Exotic spheres.

16 The surgery exact sequence for TOP and PL

This talk covers [Lück2001, 5.4 & 6.6].

The central result if Theorem 5.15. Discuss a little the extra challenges of the new categories: PL is not so hard, TOP is very difficult! Assuming Theorem 5.15 use the surgery exact sequence and the Generalised Poincaré Conjecture to compute the homotopy groups $\pi_n(G/TOP)$$\pi_n(G/TOP)$.

As an example describe the $PL$$PL$ surgery exact sequence for $\CP^n$$\CP^n$ and $S^p \times S^q$$S^p \times S^q$ given in [Wall1999, Theorem 14C.2] for $\CP^n$$\CP^n$ and in [Ranicki1992, Ex. 20.4] and [Kreck&Lück2009, Section 7] for $S^p \times S^q$$S^p \times S^q$: do not go into details for $\CP^n$$\CP^n$ as they will come in the next lecture.

Next state Sullivan's theorems identifying the homotopy type of $G/TOP$$G/TOP$ and Kirby-Siebenmann's result on $TOP/PL$$TOP/PL$.

Take the remainder of the talk to identify the $2$$2$-local homotopy type of $G/PL$$G/PL$: i.e. give the proof of [Madsen&Milgram1979, Theorem 4.8].

17 Manifolds homotopy equivalent to CPn

This talk covers [Wall1999, 14C], [Madsen&Milgram1979, 8C].

State the surgery classification of $PL$$PL$-manifolds homotopy equivalent to $\CP^n$$\CP^n$ given in [Wall1999, Theorem 14C.2]. In particular emphasise the splitting invariants $s_{4k}(f)$$s_{4k}(f)$ and $s_{4k+2}(f)$$s_{4k+2}(f)$.

Then go through [Madsen&Milgram1979, 8C] in detail and in particular prove [Madsen&Milgram1979, Theorem 8.27].

Related material: Fake complex projective spaces

18 Fake Tori

This talk covers [Wall1999, 15A].

The ambitious goal of this talks is to prove [Wall1999, Theorem 15A.2].

Present Wall's identification of $[T^n, G/PL]$$[T^n, G/PL]$ using the fact that $G/PL$$G/PL$ is an infinite loop space. In order to compute $\mathcal{S}^{PL}(T^n)$$\mathcal{S}^{PL}(T^n)$ you need to compute the surgery obstruction maps $\sigma \colon [T^n, G/PL] \to L_n(\Zz[\Zz^n])$$\sigma \colon [T^n, G/PL] \to L_n(\Zz[\Zz^n])$. Assume Wall's calculation of the the $L$$L$-groups $L_*(\Zz^n)$$L_*(\Zz^n)$ and compute $\sigma$$\sigma$ by using splitting obstructions along the sub-tori $T^m \subset T^n$$T^m \subset T^n$.