Statements (32)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:cohomology_theory
|
| gptkbp:abbreviation |
gptkb:TMF
|
| gptkbp:builtBy |
gptkb:Michael_Hill
gptkb:Michael_J._Hopkins gptkb:Charles_Rezk gptkb:Haynes_Miller gptkb:Jacob_Lurie gptkb:Mark_Mahowald gptkb:Paul_Goerss |
| gptkbp:category |
gptkb:mathematics
homotopy theory |
| gptkbp:field |
gptkb:topology
homotopy theory |
| gptkbp:firstAppearance |
1990s
|
| gptkbp:relatedTo |
gptkb:Witten_genus
gptkb:elliptic_cohomology gptkb:moduli_stack_of_elliptic_curves gptkb:topological_automorphic_forms modular forms formal group laws chromatic homotopy theory spectra stable homotopy theory E_ -infinity ring spectrum string bordism tmf (connective version) |
| gptkbp:spectrumOfActivity |
TMF spectrum
|
| gptkbp:usedFor |
relating topology and number theory
studying the stable homotopy groups of spheres |
| gptkbp:bfsParent |
gptkb:Hopkins–Miller_theorem
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
topological modular forms
|