Final Paper

Guidelines

The final paper is an approximately 10 page exposition on a topic in algebraic topology not covered in our seminar. The paper must be written in LaTeX (or some other flavor of TeX).

Here are some LaTeX guidelines (PDF)—and the LaTeX guidelines .tex source—that gives some examples of how to do things like matrices and commutative diagrams, and also discusses some things that you should and should not do in latex (repeated in abridged form below).

Do not begin sentences (or phrases) with math. Do not put math next to math.
Multi-letter operators and functions, like sin, should not be italicized.
Use the correct size parentheses.
When multiple formulas are put into a single displaymath (LaTeX math mode), put space between them.
The default margins are much too large; adjust them.

I've put together a list of mistakes that were common in the drafts of your final papers. Every draft that I read contained at least one of these mistakes, so I recommend that you all look through this and apply what it says to your writing. These remarks are elaborated upon in the file Comments on Final Paper Drafts (PDF)

Topic Selection

You must select the topic for your paper by session 15. I'd prefer that no two of you do the same topic. Below is a list of possible ideas for topics. You're free to choose something not on this list, but run it by me first.

Concrete Topics

Hopf fibrations. The Hopf fibrations are three specific maps of spheres defined using projective spaces over the complex numbers, quaternions and octonions. They were the first non-trivial elements of higher homotopy groups of spheres to be discovered.
Lens spaces. The lens spaces are an explicit family of 3-dimensional manifolds indexed by pairs of integers. They provided the first example of a pair of compact manifolds which are homotopy equivalent but not homeomorphic.
PSL₂(Z) as a free product. Using some algebraic topology, one can give a nice proof that PSL₂(Z) (roughly the group 2×2 integer matrices) is the free product of a cyclic group of order 2 and a cyclic group of order 3.

Homology Theories

Borel–Moore homology and cohomology with supports. These variants of homology and cohomology are useful when dealing with non-compact spaces. They allow one to extend Poincaré duality to the setting of non-compact manifolds.
de Rham cohomology. This is a cohomology theory for smooth manifolds defined in terms of differential forms. The main theorem, the de Rham isomorphism theorem, states that de Rham cohomology is isomorphic to singular cohomology (with real coefficients). This is remarkable since the definition uses the smooth structure on the manifold but the final product is only dependent on the topology. p-adic analogues of this result have been very important in number theory in recent years.
Sheaf theory. Sheaves are to topological spaces what modules are to rings. There is a notion of cohomology for a sheaf on a topological space; the cohomology of the so-called "constant sheaf" gives the singular cohomology of the space. Sheaf theory is indispensable in modern algebraic geometry.
K-theory. Given a space X, a group K₀(X) is constructed using complex vector bundles on X. Groups K_n(X) can be constructed in various manners. The K-groups are not isomorphic to the singular cohomology groups. K-theory forms what is called an "extraordinary cohomology theory." The most important result is Bott periodicity, which states that the K-groups are periodic with period 2.

Categorical Methods

Simplicial sets. The theory of simplicial sets offers a model of homotopy theory without using topological spaces. Instead, it relies on certain diagrams of sets. Homology can be described elegantly in this theory; in fact, it essentially amounts to taking the free abelian group on the simplicial set.
The fundamental groupoid. The fundamental group of a topological space depends on the choice of a basepoint, which can be inconvenient. The fundamental groupoid is something like the fundamental group, but does not depend on any choice. However, it is a category instead of a group. This can be extended to higher homotopy groups through the use of higher categories.
The derived category. The Kunneth formula states that H•(X × Y)=H•(X) ⊗ H•(Y), up to some error terms involving Tor's. Similarly, the universal coefficient theorem states that H•(X; R)=H•(X; Z) ⊗ R, again up to some error terms involving Tor's. Derived categories provide a way to eliminate these error terms, which is very desirable. The basic idea of derived categories is to systematically work with the complexes that compute homology, rather than homology itself. Derived categories are very important in a wide variety of subjects these days.

Classifying Spaces

Eilenberg–MacLane spaces. Let G be a group and let n≥1 be an integer; if n>1 then assume that G is commutative. One can then show that there is a unique homotopy type X with π_n(X)=G and π_k(X)=1 for k≠n. This homotopy type is usually denoted K(G, n) and called an Eilenberg–MacLane space. One reason that these spaces are interesting is that they represent cohomology: giving an element of Hⁿ(X; G) is the same as giving a homotopy class of maps X → K(G, n).
Group cohomology. Let G be a group. As stated above, there is an associated homotopy type K(G, 1). The (co)homology of K(G, 1) is an invariant of the group G, called group (co)homology. One can give a purely algebraic construction of group (co)homology, however, the topological perspective is often useful as well.
The classifying space for vector bundles. Let n≥1 be an integer. There is then a space B with the following property: homotopy classes of maps from an arbitrary space X into B are canonically in bijection with complex vector bundles of rank n on X. The space B is infinite dimensional, but can be described explicitly as a Grassmannian. Using classifying spaces, one can associate cohomology classes to vector bundles; this is the theory of characteristic classes.

Higher Homotopy Groups

The long exact sequence. A fibration is the analogue in the world of homotopy theory to the concept of a short exact sequence. Given a fibration F → X → B, there is a long exact sequence relating the homotopy groups of F, X and B. This can be used to calculate some higher homotopy groups.
The Freudenthal suspension theorem. This result states that, in certain cases, homotopy groups of suspensions of a space stabilize; precisely, π_n+k(S^kX) is independent of k when k is large. This leads to the concept stable homotopy groups, and a whole stable homotopy theory.
The Hurewicz homomorphism. There is a natural map from homotopy to singular homology, called the Hurewicz homomorphism. Hurewicz showed that for a simply connected space, the first non-zero homotopy and homology groups are isomorphic via this map.