This will be my first and last post on this topic, since it will take us too far from the theme for this year which is arithmetic geometry. It took awhile for me to write this because something feels wrong in the last post and I wanted to correct it before doing this one. Unfortunately, I can only make a guess at what is happening. I’ll explain it when it comes up. Thus as a warning everything in the last post and in this post should be taken as approximately true (of course, this is a blog, so this warning should probably always be in place).

Recall briefly that we now have a description of (weight ) modular forms just as a global -form on a certain moduli space of elliptic curves with level structure. To get the weight modular forms we just take tensor powers, so . It is funny to notice that a priori it is completely unclear that the collection of all modular forms of a fixed level should form a graded commutative ring, but with this description it falls right out. We define the graded ring of modular forms of level to be .

Now notice that if we take in our moduli problem we are just taking an elliptic curve plus a cyclic subgroup of order , i.e. we are marking the identity. Thus what ought to be the case is that . This is the part that confuses me. Last time I said that was a smooth Riemann surface, but is a DM stack. My guess at what is going on is that since we only defined the moduli functor for for elliptic curves over , we are maybe just taking the -valued points. Thus maybe . In any case, there is certainly some relation between the two so it isn’t unreasonable to try to figure out what happens when we replace with .

Now we’ll start the crazy generalizations. There is something called a derived DM stack. Since it would take a lot to define, we’ll just say that it is one of these things where “-blah” gets thrown around. The important idea here is that we can take and get back an honest DM stack. The big theorem of Hopkins, Miller, and Lurie is that there exists a derived DM stack whose underlying DM stack is such that and .

Now “tmf” is something called a commutative ring spectrum and it is formed by taking the derived global sections of . Generalities give us a descent spectral sequence . An open and interesting question is to determine which modular forms give homotopy classes in since the classical modular forms form the -row of this spectral sequence. I’ll just end by pointing out how mind boggling this is. Modular forms have had such great success in number theory. Now they are successfully being used to understand homotopy groups of spheres and other extremely topological questions. The reverse has been done as well. Topological methods can transfer information back to modular forms and give number theoretic theorems such as congruence relations between -adic modular forms. How amazing!