- Topological modular forms
In
mathematics , the spectrum of topological modular forms (also known as "tmf") describes a generalizedcohomology theory whose coefficient ring is similar to the graded ring of holomorphicmodular forms with integral cusp expansions. These rings become isomorphic after inverting 6. tmf is constructed as the global sections of a sheaf of E-infinity ring spectra on the moduli stack ofelliptic curves . This theory has relations to the theory ofmodular forms innumber theory , thehomotopy groups of spheres , and conjectural index theories onloop space s ofmanifold s. The construction of tmf is due to Mike Hopkins and Haynes Miller, and many of the computations can be found in preprints and articles by Mike Hopkins, Mark Mahowald, Haynes Miller, Charles Rezk, and Tilman Bauer.Construction
The original construction of tmf uses the
obstruction theory of Hopkins, Miller, and Paul Goerss, and is based on ideas of Dwyer, Kan, and Stover. In this approach, one defines apresheaf O top ("top" stands fortopological ) of multiplicativecohomology theories on theetale site of the moduli stack ofelliptic curves and shows that this can be lifted in an essentially unique way to a sheaf of E-infinity ring spectra. This sheaf has the following property: to any etale elliptic curve over a ring R, it assigns an E-infinity ring spectrum (a classicalelliptic cohomology theory) whose associatedformal group is the formal group of that elliptic curve.A second construction, due to Jacob Lurie, constructs tmf rather by describing the moduli problem it represents and applying general representability theory to then show existence: just as the moduli stack of elliptic curves represents the
functor that assigns to a ring the category of elliptic curves over it, the stack together with the sheaf of E-infinity ring spectra represents the functor that assigns to an E-infinity ring its category of derived elliptic curves, appropriately interpreted. These constructions work over the moduli stack of smooth elliptic curves, and they also work for the Deligne-Mumford compactification of this moduli stack, in which elliptic curves with nodal singularities are included. TMF is the spectrum that results from the global sections over the moduli stack of smooth curves, and tmf is the spectrum arising as the global sections of the Deligne-Mumford compactification. While the ring spectra used to construct TMF are periodic with period 2, TMF itself has period 576.Relations to other parts of mathematics
Some interest in tmf comes from
string theory andconformal field theory .Graeme Segal first proposed in the 1980s to provide a geometric construction ofelliptic cohomology (the precursor to tmf) as some kind of moduli space of conformal field theories, and these ideas have been continued and expanded by Stephan Stolz and Peter Teichner. Their program is to try to construct TMF as a moduli space ofsupersymmetric conformal field theories. In work more directly motivated by string theory,Edward Witten introduced the Witten genus, a homomorphism from the string bordism ring to the ring of modular forms, using index theory on a formal neighborhood of the trivial locus in the loop space of a manifold. This associates to any spin manifold with vanishing first Pontryagin class a modular form. By work of Hopkins, Matthew Ando, and Charles Rezk, the Witten genus can be lifted to topology. That is, it may be interpreted as a map from the string cobordism spectrum to tmf, so that the Witten genus is recovered by taking the induced map on the homotopy groups of these spectra. This is in analogy with the Atiyah-Bott-Shapiro map from the spin bordism spectrum to classicalK-theory , which is a lift of the Dirac equation to topology.References
*Bauer, T. http://arxiv.org/pdf/math.AT/0311328
*Goerss, P. and Hopkins, M. http://www.math.northwestern.edu/~pgoerss/papers/sum.pdf
*Hopkins, M. http://arxiv.org/abs/math.AT/0212397
*Hopkins, M. http://www.math.rochester.edu/people/faculty/doug/otherpapers/knlocal.pdf
*Hopkins, M. and Miller, H.
*Hopkins, M and Mahowald, M. http://www.math.purdue.edu/research/atopology/Hopkins-Mahowald/eo2homotopy.pdf
*Rezk, C. http://www.math.uiuc.edu/~rezk/512-spr2001-notes.pdf
*Stolz, S. and Teichner, P. http://math.ucsd.edu/~teichner/Papers/Oxford.pdf
Wikimedia Foundation. 2010.