# What is a TMF in topology?

What is a topological modular form? How are they related to 'normal' (number-theoretic) modular forms?

-
It really would be an injustice to mark just one answer as the accepted one... –  Ilya Nikokoshev Oct 11 '09 at 19:57

There is a Wikipedia entry on topological modular forms, where you can see further references. The primitive version of Topological modular forms is as a generalized cohomology theory. Like K-theory and Cobordism theory it is a functor from spaces to graded rings, which satisfies the Eilenberg-Steenrod axioms, except for the dimension axiom.

In the case of TMF the ground ring is complicated, but essentially known. It is periodic, like K-theory, with period $24^2= 576$. There is a map of graded rings:

$TMF(pt) \rightarrow MF$

where $MF$ is the graded ring of integral modular forms (with appropriate grading based on the weight of the modular form). This map is NOT an isomorphism. It is neither surjective nor injective, but the kernel and cokernel are both torsion. In fact this torsion is only at the primes 2 and 3.

The more sophisticated version, and the one which makes makes the connection to modular forms more clear, is to view TMF as an $E_\infty$ ring spectrum. The category of spectra is similar to the category of topological spaces, except the suspension functor is invertible. The things which represent cohomology theories live in spectra, and TMF is a ring object in spectra.

The connection to modular forms arises when you try to extend many constructions from algebraic geometry to this larger world of spectra. It is impossible to do the subject justice in a single post, but roughly you can look at the analog of elliptic curves over spectra. These have a moduli stack and the ring'' (i.e. ring spectrum) of functions on this stack is TMF.

-
Wow, that's amazing. I don't know what would be the right way to proceed. It's probably easiest if I make a separate question about analogues of elliptic curves over spectra, sorry to ask so much! –  Ilya Nikokoshev Oct 11 '09 at 19:59
btw: That "242" should be a "24 squared". –  Chris Schommer-Pries Oct 11 '09 at 22:00
@Chris: You can edit your answers, ya know. :-) –  Kevin H. Lin Oct 11 '09 at 22:14

If you know about classical modular forms, and you want to understand what they have to do with tmf, it is good to contemplate something more classical: the "derived functors of modular forms".

Modular forms of weight $n$ are $H^0(M, \omega^n)$, where $\omega$ is a certain line bundle over $M=$compactified moduli stack of elliptic curves. There is non-trivial cohomology in

$H^s(M,\omega^n)$

for $s>0$. This comes in two flavors:

* free abelian group summands in $H^1(M,\omega^n)$ for $n\leq-10$. These correspond by a kind of "Serre duality" to the usual modular forms in $H^0(M,\omega^{-n-10})$.

* finite abelian groups (killed by multiplication by $24$) in $H^s(M,\omega^n)$ for arbitrarily large $s$.

$H^s(M,\omega^{t/2}) \Rightarrow \pi_{t-s} Tmf$,

and the edge of the spectral sequence gives a map $\pi_{2n}Tmf \rightarrow H^0(M,\omega^n)$. This is essentially the map Chris describes in his answer.

Slightly confusingly, the gadget I've called Tmf (which is the global sections of a sheaf of spectra over $M$) is not the same as TMF (the $576$-periodic guy, which is sections on $M'=$stack of smooth elliptic curves), or tmf (the connective cover of Tmf, which I don't believe is known to be sections on anything).