FP on simplicial groups

It’s a good exercise to create fun problems (FPs). Here’s one: Show that every simplicial group is a Kan complex. In case you aren’t familiar with the terminology, let me explain. A simplicial group is a functor where is the simplex category. A Kan complex is a simplial set (i.e., a functor such that for any […]

Hopf invariant one, part I

Computing for is easy. By definition, , and by cellular approximation, we note that every map can be homotoped to a cellular map. It is obvious that all such cellular maps are trivial, so that if . The homotopy groups are more interesting, and can be computed via the Hurewicz theorem: Theorem (Hurewicz): There is […]

The (co)homology of the loop space of a n-sphere

Computing (co)homology can be rather hard without the appropriate tools. The Serre spectral sequence is one such tool. We compute the important example of , and also provide a different proof of Proposition 3.22 in Hatcher’s Algebraic Topology, namely the computation of , where is the reduced James product (see section 4.J, for James). (Note […]

Elliptic curves and cryptography

I taught a class on elliptic curves and cryptography to high school students. Here are some things that I wrote. Elliptic Curves Definition: An elliptic curve over a field is a curve defined by an equation like where and , along with a “point at infinity” denoted . This “point at infinity” is obtained by considering […]

An Injective Tango! (Schroeder-Bernstein Theorem)

Now there’s a simple theorem in set theory whose proof has always appeared a bit cloudy to me, since I’ve never been able to find it written in a straightforward manner. This theorem is the Schroeder-Bernstein Theorem, whose statement is utterly intuitive: Schroeder-Bernstein Theorem: Let and be sets. If there exists an injection , and an […]

What is homotopy coherence?

Today I want to talk about homotopy coherence, which is a very important notion in motivating a lot of the constructions in homotopy theory. Consider complex K-theory, . This is represented by the space , i.e., there is a bijection induced by pullback (see my post for an explanation). Because is valued in rings, the space is a commutative […]