Notes 8
Let be a 2-manifold (a surface). We will associate to a vector space V over Z2 and a non-degenerate
bilinear symmetric form , . Just to remind you: bilinear means av + bv , w = a v, w + b v ,
Math 132 Notes 4
I didnt take notes last time for those who werent there, it was mostly a question-and-answer section.
In particular, we discussed
why every space cant be a trivial or 0-dimensional m
Math 132 Notes 2
Today were talking about embeddings.
Denition 1. f : X Y smooth is an embedding if it is an injective immersion that is also proper (the
preimage of a compact set is still compact).
Q
Math 132 Notes 6
We wanted to say that transversality was generic. We proved that it was stable last time, which is
something like the set of maps f : X Y transversal to Z Y being an open subset of Ma
Math 132 Notes 5
Last time, we looked at transversality. If f : X Y is a smooth map and Z a submanifold of Y , then
if f Z, then f 1 (Z) X is a submanifold. If Z is of codimension m in Y , then f 1 (Z
Math 132 Notes 3
Today, well prove Sards Theorem:
Theorem 1 (Sards Theorem). If f : M N is smooth and C M is its set of critical points, then f (C) has
measure zero.
Its helpful to know a few things a
Notes 8
We dene the Euler characteristic of a space X, (X), to be the self-intersection number I(, ),
where is the submanifold cfw_(x, x) of X X. This might seem a bit arbitrary, but as well see, its
Notes 10
Recall that we are studying the Z2 -vector space V = cfw_f : M 1 : M closed, compact, connected/cobordism.
We wrote cobordism classes as [f ], and had [f ] + [g] = [f g]. We established the M
Notes 9
Today, we are talking about surgery. This isnt medical surgery, though I did have a creepy dream once
where I did it on my own leg. Consider a 2-dimensional manifold with an embedded S 1 whose
Notes 11
We now have a mechanism to calculate (V, , ) for pretty much every surface. Lets do the Klein bottle.
Below, Ive shown the Klein bottle, with surgery performed at the cycle e1 .
Clearly, the
Math 132 Notes
Underlying idea: work locally, think globally. Consider vector spaces for comparison. Every (nitedimensional real) vector space is isomorphic to Rn once we pick a basis, so we do all ca