The goal of this post is to compute the cohomology of the -torus in as many ways as I can think of. Below, if no coefficient ring is specified then the coefficient ring is by default. At the end we will interpret this computation in terms of cohomology operations.
Archive for the ‘algebraic topology’ Category
Often in mathematics we define constructions outputting objects which a priori have a certain amount of structure but which end up having more structure than is immediately obvious. For example:
- Given a Lie group , its tangent space at the identity is a priori a vector space, but it ends up having the structure of a Lie algebra.
- Given a space , its cohomology is a priori a graded abelian group, but it ends up having the structure of a graded ring.
- Given a space , its cohomology over is a priori a graded abelian group (or a graded ring, once you make the above discovery), but it ends up having the structure of a module over the mod- Steenrod algebra.
The following question suggests itself: given a construction which we believe to output objects having a certain amount of structure, can we show that in some sense there is no extra structure to be found? For example, can we rule out the possibility that the tangent space to the identity of a Lie group has some mysterious natural trilinear operation that cannot be built out of the Lie bracket?
In this post we will answer this question for the homotopy groups of a space: that is, we will show that, in a suitable sense, each individual homotopy group is “only a group” and does not carry any additional structure. (This is not true about the collection of homotopy groups considered together: there are additional operations here like the Whitehead product.)
Suitably nice groupoids have a numerical invariant attached to them called groupoid cardinality. Groupoid cardinality is closely related to Euler characteristic and can be thought of as providing a notion of integration on groupoids.
There are various situations in mathematics where computing the size of a set is difficult but where that set has a natural groupoid structure and computing its groupoid cardinality turns out to be easier and give a nicer answer. In such situations the groupoid cardinality is also known as “mass,” e.g. in the Smith-Minkowski-Siegel mass formula for lattices. There are related situations in mathematics where one needs to describe a reasonable probability distribution on some class of objects and groupoid cardinality turns out to give the correct such distribution, e.g. the Cohen-Lenstra heuristics for class groups. We will not discuss these situations, but they should be strong evidence that groupoid cardinality is a natural invariant to consider.
My current top candidate for a mathematical concept that should be and is not (as far as I can tell) consistently taught at the advanced undergraduate / beginning graduate level is the notion of a groupoid. Today’s post is a very brief introduction to groupoids together with some suggestions for further reading.
There are various natural questions one can ask about monomorphisms and epimorphisms all of which lead to the same answer:
- What is the “easiest way” a morphism can be a monomorphism (resp. epimorphism)?
- What are the absolute monomorphisms (resp. epimorphisms) – that is, the ones which are preserved by every functor?
- A morphism which is both a monomorphism and an epimorphism is not necessarily an isomorphism. Can we replace either “monomorphism” or “epimorphism” by some other notion to repair this?
- If we wanted to generalize surjective functions, why didn’t we define an epimorphism to be a map which is surjective on generalized points?
Posted in algebraic topology, category theory, higher category theory, module theory, ring theory, tagged 2-categories, abstract nonsense, Eckmann-Hilton, enriched categories, homotopy groups on February 6, 2012 | 6 Comments »
The center of a group is an interesting construction: it associates to every group an abelian group in what is certainly a canonical way, but not a functorial way: that is, it doesn’t extend (at least in any obvious way) to a functor (unlike the abelianization ). We might wonder, then, exactly what kind of construction the center is.
Of course, it is actually not hard to come up with a rather general example of a canonical but not functorial construction: in any category we may associate to an object its automorphism group or endomorphism monoid ), and this is a canonical construction which again doesn’t extend in an obvious way to a functor or . (It merely reflects some special part of the bifunctor .)
It turns out that the center can actually be thought of in terms of automorphisms (or endomorphisms), not of a group , but of the identity functor , where is regarded as a category with one object. This definition generalizes, and the resulting general definition has some interesting specializations. Moreover, an important general property is that the center is always abelian, and this has a very elegant proof.
is a fundamental invariant of , and the observation that it is homotopy invariant is the appropriate generalization of Euler’s formula for a convex polyhedron. But where exactly does this expression come from? The modern story involves the homology groups , but actually one can work on a more intuitive level characterized by the following slogan:
The Euler characteristic is a homotopy-invariant generalization of cardinality.
More precisely, the above expression for Euler characteristic can be deduced from three simple axioms:
- Cardinality: .
- Homotopy invariance: If , then .
- Inclusion-exclusion: Suppose is the union of two subcomplexes whose intersection is a subcomplex of both and . Then .
Of course, this isn’t enough to conclude that there actually exists an invariant with these properties. Nevertheless, it’s enough to motivate the search for a proof that such an invariant exists.
The simplest compact Lie group is the circle . Part of the reason it is so simple to understand is that Euler’s formula gives an extremely nice parameterization of its elements, showing that it can be understood either in terms of the group of elements of norm in (that is, the unitary group ) or the imaginary subspace of .
The compact Lie group we are currently interested in is the -sphere . It turns out that there is a picture completely analogous to the picture above, but with replaced by the quaternions : that is, is isomorphic to the group of elements of norm in (that is, the symplectic group ), and there is an exponential map from the imaginary subspace of to this group. Composing with the double cover lets us handle elements of almost as easily as we handle elements of .
In order to study the hydrogen atom, we’ll need to know something about the representation theory of the special orthogonal group . This post consists of a few preliminaries along the way to doing this. I’ll be somewhat vague about a few things that 1) I don’t have much experience with, and 2) that would detract from the main narrative anyway.
The following two lemmas might be encountered in a basic course in complex analysis (the first in a basic course in group theory, even).
Lemma 1: Fix a field . The group of fractional linear transformations acts triple transitively on and the stabilizer of any triplet of distinct points is trivial.
Lemma 2: The group of fractional linear transformations on preserving the upper half plane is .
I used to only know extremely boring computational proofs of both of these statements. However, I now know better! Today I’d like to give shorter and conceptual proofs of both of these, and then briefly discuss how they come about in the study of elliptic curves (a subject I’d like to talk about in more detail once this semester is over).