Highlights in Algebraic Topology - University of...
Transcript of Highlights in Algebraic Topology - University of...
![Page 1: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/1.jpg)
Highlights in Algebraic Topology
Ulrike Tillmann, Oxford
2012 Stanford Symposium in honour of Gunnar
Carlsson, Ralph Cohen and Ib Madsen
1
![Page 2: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/2.jpg)
What to choose? So much to pick from!
![Page 3: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/3.jpg)
What to choose? So much to pick from!
Sins of omission:
![Page 4: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/4.jpg)
What to choose? So much to pick from!
Sins of omission:
• anything published more than 30 years ago
![Page 5: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/5.jpg)
What to choose? So much to pick from!
Sins of omission:
• anything published more than 30 years ago
• Ratk and Atiyah-Jones conjecture
• Kervaire conjecture
• Floer homotopy type
![Page 6: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/6.jpg)
What to choose? So much to pick from!
Sins of omission:
• anything published more than 30 years ago
• Ratk and Atiyah-Jones conjecture
• Kervaire conjecture
• Floer homotopy type
• controlled topology
![Page 7: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/7.jpg)
What to choose? So much to pick from!
Sins of omission:
• anything published more than 30 years ago
• Ratk and Atiyah-Jones conjecture
• Kervaire conjecture
• Floer homotopy type
• controlled topology
• anything I am not aware of
![Page 8: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/8.jpg)
Annals of Mathematics 1984
![Page 9: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/9.jpg)
Segal Conjecture
G a finite group.
Atiyah: R[G] → K0(BG) = [BG,Z×BU ]
taking ρ : G → Un to Bρ : BG → n × BU induces an
isomorphism after completion of the complex represen-
tation ring R[G] with respect to its augmentation ideal,
the kernel of R[G] → Z.
![Page 10: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/10.jpg)
Segal Conjecture
G a finite group.
Atiyah: R[G] → K0(BG) = [BG,Z×BU ]
taking ρ : G → Un to Bρ : BG → n × BU induces an
isomorphism after completion of the complex represen-
tation ring R[G] with respect to its augmentation ideal,
the kernel of R[G] → Z.
Segal conjecture:
A(G) → π0s (BG) = [BG,Q(S0)] = [BG,Z×BΣ+
∞]
taking ρ : G → Σn to Bρ : BG → n × BΣ∞ induces
an isomorphism after completion of the Burnside ring
A(G) with respect to its augmentation ideal.
![Page 11: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/11.jpg)
Lin: G = Z2 (Adams SS arguments)
Gunawardea: G = Zp, p odd (following Lin)
Adams, Gunawardea, Miller: G = (Zp)k
(much more complicated Adams SS arguments)
May, McClure: if the conjecture holds for all p-groups
then it holds for any group
![Page 12: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/12.jpg)
Lin: G = Z2 (Adams SS arguments)
Gunawardea: G = Zp, p odd (following Lin)
Adams, Gunawardea, Miller: G = (Zp)k
(much more complicated Adams SS arguments)
May, McClure: if the conjecture holds for all p-groups
then it holds for any group
Carlsson: if the conjecture holds for (Zp)k for all k then
it holds for any p group
New input: reformulation in terms of equivariant stable
homotopy theory
![Page 13: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/13.jpg)
Homotopy limit problem:
when is the map below a homotopy equivalence?
XG = maps(p,X)G → maps(EG,X)G
When it is, we get a spectral sequence
E∗,∗2 = H∗(G, π−∗(X)) =⇒ π∗(maps(EG,X)G)
![Page 14: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/14.jpg)
Homotopy limit problem:
when is the map below a homotopy equivalence?
XG = maps(p,X)G → maps(EG,X)G
When it is, we get a spectral sequence
E∗,∗2 = H∗(G, π−∗(X)) =⇒ π∗(maps(EG,X)G)
Segal conjecture: X = QG(S0) and (QG(S0))G =
A(G)
Sullivan conjecture: X a finite complex with trivial
G-action, and maps(EG,X)G = maps(BG,X)
![Page 15: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/15.jpg)
Conjectural descent spectral sequence for algebraic
K-theory: For Galois extensions L of L0,
E∗,∗2 = H∗(G,K−∗(L)) =⇒ K∗(L0)
![Page 16: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/16.jpg)
Conjectural descent spectral sequence for algebraic
K-theory: For Galois extensions L of L0,
E∗,∗2 = H∗(G,K−∗(L)) =⇒ K∗(L0)
Carlsson proved:
• generalized Sullivan conjecture for finite p-groups and
X a finite G-space; need p-completion.
(Invent. 1991)
• descent for certain finite Galois groups.
(Amer. J. Math. 1991)
• Segal conjecture for tori with Douglas and Dundas.
(Adv. Math. 2011)
![Page 17: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/17.jpg)
Annals of Mathematics 1985
![Page 18: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/18.jpg)
Immersion Conjecture
Whitney: Mn → R2n and Mn# R2n−1
Massey: wi(νM) = 0 for i > n− α(n)
and wi(νRPi+1) 6= 0 for i = 2j − 1.
Immersion Conjecture: Mn# R2n−α(n)
Here α(n) = length of 2-adic expansion of n.
![Page 19: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/19.jpg)
Immersion Conjecture
Whitney: Mn → R2n and Mn# R2n−1
Massey: wi(νM) = 0 for i > n− α(n)and wi(νRP
i+1) 6= 0 for i = 2j − 1.
Immersion Conjecture: Mn# R2n−α(n)
Here α(n) = length of 2-adic expansion of n.Put In :=
⋂
Mn ker(ν∗).
H∗BO(n− α(n)) −→ (H∗BO)/Inx
y
H∗BOν∗−→ H∗M
![Page 20: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/20.jpg)
Hirsch-Smale: conjecture is equivalent to existence of
lifting
. BO(n− α(n))
y
Mν
−→ BO
Brown-Petersen construct spaces BO/In with coho-
mology (H∗BO)/In and maps at the level of Thom
spaces
MO/In −→ MO(n− α(n))x
y
Th(ν(M))ν
−→ MO
![Page 21: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/21.jpg)
Ralph Cohen proved the conjecture by ”de-Thomification”:
uses Snaith splitting theory, Brown-Petersen obstruc-
tion, ... some 90 pages.
![Page 22: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/22.jpg)
Ralph Cohen proved the conjecture by ”de-Thomification”:
uses Snaith splitting theory, Brown-Petersen obstruc-
tion, ... some 90 pages.
Questions:
• Is there a more geometric proof of the conjecture?
• Can the theorem be improved for special classes of
manifolds?
![Page 23: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/23.jpg)
Novikov conjecture
M a 4n dimensional, smooth, closed, oriented manifold;
L(M) = polynomial in pi(TM);
sig(M) = signature of the intersection form
H2iM ⊗H2iM → H4iM = Q
Hirzebruch signature formula:
〈L(M), [M ]〉 = sig(M)
Novikov conjecture:
Let Γ discrete group, α : M −→ BΓ, and x ∈ H4kBΓ.
Then 〈L(M) ∪ α∗(x), [M ]〉 is a homotopy invariant.
![Page 24: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/24.jpg)
This is equivalent to the assembly map for surgery the-
ory being a Q-injection:
BΓ ∧ L(Z) −→ L(Z[Γ])
Analogues in K-theory: of C∗-algebras, rings, spaces.
![Page 25: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/25.jpg)
This is equivalent to the assembly map for surgery the-
ory being a Q-injection:
BΓ ∧ L(Z) −→ L(Z[Γ])
Analogues in K-theory: of C∗-algebras, rings, spaces.
Connes cyclic homology:
HC∗A = H∗(. . .b
−→ A⊗∗+1/(1− t)b
−→ . . . )
Long exact sequence:
. . . HC∗+1AB
−→ HH∗AI
−→ HC∗AS
−→ HC∗+2A . . .
For group rings there is a topological interpretation of
these algebraic invariants:
HH∗ Z[Γ] = H∗LBΓ and HC∗ Z[Γ] = HS1
∗ LBΓ
![Page 26: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/26.jpg)
Injectivity of the assembly for HC∗ corresponds to the
S1-equivariant split inclusion BΓ ⊂ LBΓ as constant
loops.
Cohen, Jones (Topology 1990)
Idea: translate K-theory assembly map to cyclic ho-
mology assembly map via a ”lift” of the Dennis trace
map D : K∗A → HH∗A through HC∗+1A.
![Page 27: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/27.jpg)
Injectivity of the assembly for HC∗ corresponds to the
S1-equivariant split inclusion BΓ ⊂ LBΓ as constant
loops.
Cohen, Jones (Topology 1990)
Idea: translate K-theory assembly map to cyclic ho-
mology assembly map via a ”lift” of the Dennis trace
map D : K∗A → HH∗A through HC∗+1A.
Bokstedt, Hsiang, Madsen define the
cyclotomic trace Trc : A(X) −→ TC(X; p).
and prove:
BΓ+ ∧A(∗) −→ A(BΓ) and BΓ+ ∧K(Z) −→ K(Z[Γ])
are rational split injections for a large classes of Γ.
![Page 28: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/28.jpg)
Inventiones mathematicae 1993
![Page 29: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/29.jpg)
Bokstedt-Carlsson-Cohen-Goodwillie-Hsiang-Madsen:
Trc is a homotopy equivalence on the reduced theories
after p-completion.
(Duke 1996)
![Page 30: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/30.jpg)
Bokstedt-Carlsson-Cohen-Goodwillie-Hsiang-Madsen:
Trc is a homotopy equivalence on the reduced theories
after p-completion.
(Duke 1996)
Madsen and Hesselholt
• extend Trc to rings
• compute: K∗(A[x]/(xd)) for A a smooth algebra over
a perfect field k a perfect field of characteristic p.
• prove the Lichtenbaum-Quillen conjecture for certain
complete discrete valuation fields of characteristic zero.
(Annals 2003)
![Page 31: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/31.jpg)
Carlsson-Pedersen prove the splitting of assembly map
of spectra
BΓ ∧ L(Z) → L(Z[Γ]) and BΓ ∧K(Z) → K(Z[Γ]).
using controlled topology for groups Γ with BΓ finite
plus some condition on EΓ. Essentially the idea is to
use an ”infinite transfer construction” for the splitting.
(Topology 1996)
![Page 32: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/32.jpg)
Carlsson-Pedersen prove the splitting of assembly map
of spectra
BΓ ∧ L(Z) → L(Z[Γ]) and BΓ ∧K(Z) → K(Z[Γ]).
using controlled topology for groups Γ with BΓ finite
plus some condition on EΓ. Essentially the idea is to
use an ”infinite transfer construction” for the splitting.
(Topology 1996)
Carlsson-Goldfarb prove split injectivity in algebraic
K-theory for geometrically finite groups with finite asymp-
totic dimension (this includes all Gromov hyperbolic
groups) using coarse topology - extending rational re-
sults by G. Yu.
(Invent. Math. 2004)
![Page 33: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/33.jpg)
Persistent homology
![Page 34: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/34.jpg)
Persistent homology
Let D ⊂ RN be a point cloud data set.
At scale ǫ consider
X(ǫ) :=⋃
x∈D
Bǫ(x)
Varing scales leads to filtered associated chain com-
lexes:
. . .t
−→ C(ǫi)t
−→ C(ǫi+1)t
−→ . . .
Want to track when homology classes are born and
when they die.
![Page 35: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/35.jpg)
Carlsson - Zomorodian:
Persistent homology PHn :=⊕
iHn(C(i)) with coeffi-
cients in a field F can be interpreted as homology over
the ring F[t].
Key: F[t] is a PID
=⇒ finitely generated, graded modules are sums of
modules of the form ΣiF[t]/(tj−i)
=⇒ easy visualisation by barcodes of length j − i =⇒
algorithmic computation of persistent homology.
Nicolau-Levine-Carlsson: “Topological based data anal-
ysis identifies a subgroup of breast cancers with a unique
mutational profile and excellent survival”
(Proceedings of the National Academy of Sciences 2011)
![Page 36: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/36.jpg)
Discrete and Computational Geometry 2005
![Page 37: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/37.jpg)
String topology
For a smooth, closed, oriented, n-dimensional manifold
M , Chas-Sullivan constructed at the chain level map
giving a product of degree −n
H∗LM ⊗H∗LM −→ H∗LM
which extends to a BV-algebra structure.
![Page 38: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/38.jpg)
String topology
For a smooth, closed, oriented, n-dimensional manifold
M , Chas-Sullivan constructed at the chain level map
giving a product of degree −n
H∗LM ⊗H∗LM −→ H∗LM
which extends to a BV-algebra structure.
Cohen-Jones lift the chain-level construction to a prod-
uct of ring spectrum:
LM−TM ∧ LM−TM −→ LM−TM
and thus the Chas-Sullivan structure can be studied via
homotopy theory.
![Page 39: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/39.jpg)
Mathematische Annalen 2002
![Page 40: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/40.jpg)
More detail:
Let M ⊂ RN+n and νN be the normal bundle. Set
M−TM := Σ−(N+n)Th(νN) = maps(M+, S0).
Let ev : LM → M be defined by γ 7→ γ(1). Then
LM−TM := Σ−(N+n)Th(ev∗(ν)).
![Page 41: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/41.jpg)
More detail:
Let M ⊂ RN+n and νN be the normal bundle. Set
M−TM := Σ−(N+n)Th(νN) = maps(M+, S0).
Let ev : LM → M be defined by γ 7→ γ(1). Then
LM−TM := Σ−(N+n)Th(ev∗(ν)).
Key-construction:
LM ×M LM −→ LM × LM
ev
y
ev×ev
y
M−→ M ×M
gives
H∗LM × LM −→ H∗ Th((ev)∗(TM))
≃ H∗−nLM ×M LM −→ H∗−nLM.
![Page 42: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/42.jpg)
This product extends to an algebra structure of Voronov’s
cactus operad, and hence there is a BV-algebra struc-
ture on the homology.
Cohen-Godin extend the BV-algebra structure to a
TQFT (without trace), i.e. identify H∗LM as a fi-
nite dimenional graded commutative Frobenius algebra
(without counit).
Cohen-Klein-Sullivan show that the product is an ori-
ented homotopy invariant. (Independently also shown
by Gruher-Salvatore.)
Question: Are there any operations on H∗LM that are
not oriented homotopy invariants?
![Page 43: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/43.jpg)
Mumford Conjecture
Fg,1 orientable surface of genus g and 1 boundary circle:
BDiff(Fg,1) ≃ BΓg,1 ≃ Mg,1
Γg,1 = Diff(Fg,1). Put Γ∞ := limg→∞Γg,1.
Early 1980s:
Harer: H∗BΓg,1 = H∗BΓ∞ for g << ∗.
E. Miller: H∗BΓ∞ ⊗ Q ⊃ Q[κi], degκi = 2i
Mumford conjecture: H∗BΓ∞ ⊗ Q = Q[κi].
![Page 44: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/44.jpg)
Miller-Morita-Mumford classes:
For a bundle of smooth, closed surfaces π : E → B with
vertical tangent space T vE,
κi := π∗(e(TvE)i+1)) ∈ H2iB
Mid 1990s:
Interpreted at the space level:
B+trf−→ Q(E+)
T vE−→ Q(CP∞
+ )
Generalized Mumford conjecture:
Z×BΓ+∞ ≃ Ω∞(CP∞
−1) = Ω∞MTSO(2).
Proved by Madsen and Weiss in 2002. Gives also
integral information, in particular lots of torsion classes.
![Page 45: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/45.jpg)
Annals of Mathematics 2007
![Page 46: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/46.jpg)
Galatius-Madsen-Tillmann-Weiss:
Let Cobd be the topological cobordism category of em-
bedded oriented d-manifolds in R∞. Then
ΩBCobd ≃ Ω∞MTSO(d)
Galatius: The inclusion Σn → AutFn induces a homo-
topy equivalence
Z×BΣ+∞ ≃ Z×BAut+∞
Hopkins-Lurie: Baez-Dolan cobordism hypothesis.
Also see talks by:
Berglund, Galatius, Randal-Williams, Hatcher.
![Page 47: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/47.jpg)
Hopkins’ joke
![Page 48: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/48.jpg)
Hopkins’ joke
Three wishes:
1. money
2. beautiful wife
3. big giant round orange head
(Homology, Homtopy Appl. 2008)
![Page 49: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/49.jpg)
![Page 50: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/50.jpg)
Try again:
![Page 51: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/51.jpg)
Try again:
1. money
![Page 52: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/52.jpg)
Try again:
1. money
2. beautiful ideas
![Page 53: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/53.jpg)
Try again:
1. money
2. beautiful ideas
3. deep understanding!
![Page 54: Highlights in Algebraic Topology - University of Oxfordpeople.maths.ox.ac.uk/tillmann/StanfordSymTillmann.pdf · a perfect field k a perfect field of characteristic p. • prove](https://reader030.fdocuments.us/reader030/viewer/2022041301/5e10d616efcae54347357f75/html5/thumbnails/54.jpg)
Try again:
1. money
2. beautiful ideas
3. deep understanding!
Gunnar, Ralph, and Ib
HAPPY BIRTHDAY!