{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $L$ be the Lazard ring, the commutative ring generated by elements $a_{ij}$, $i, j \\ge 0$, subject to the relations that make $F_L(x, y) = \\sum a_{ij} x^i y^j$ a [[formal group law|TNHP7XXYZT]].\nGive $a_{ij}$ the degree $2(i + j - 1)$.\nLet $MU$ be the [[complex cobordism|5CZHFNY9F3]] spectrum with its standard complex orientation, and let $F_{MU}$ be its formal group law over $MU_* = \\pi_* MU$, in homological grading.\nLet $\\theta \\colon L \\to MU_*$ be the unique ring homomorphism that carries $F_L$ to $F_{MU}$.\nThen $\\theta$ is an isomorphism of graded rings.\n\n## Remarks\n\nBoth rings are polynomial rings $\\Z[x_1, x_2, \\ldots]$ with one generator in each degree $2i$: this is Lazard's theorem for $L$ and the theorem of Milnor and Novikov for $MU_*$.\nSo, degree by degree, $\\theta$ is a map between free abelian groups of the same finite rank, and it suffices to show that it is surjective.\nQuillen proved surjectivity in 1969 with his geometric description of cobordism classes and with cohomology operations in cobordism.\nRationally, the logarithm of $F_{MU}$ is Mishchenko's series $\\sum_{n \\ge 0} \\frac{[\\C P^n]}{n + 1} x^{n + 1}$.\n\nAt work: a ring map $MU_* \\to R$ is the same as a formal group law over $R$.\nFor instance, the additive law over $\\Z$ corresponds to the map that kills all positive-degree classes, and the multiplicative law $x + y - xy$ over $\\Z$ corresponds to the Todd genus.\n\n## Explanations\n\n### L1 human\n\nComplex cobordism classifies manifolds with a complex structure on their stable normal bundle up to cobordism.\nFormal group laws are an algebraic notion, power series that act like addition.\nQuillen's theorem says that the ring of complex cobordism classes of manifolds is exactly the ring that classifies formal group laws.\nIt is a surprising bridge between geometry and algebra.\n\n### L2 human\n\nThe theorem turns questions about $MU$ into questions about formal groups.\nSince $MU_*MU = MU_*[b_1, b_2, \\ldots]$, the pair $(MU_*, MU_*MU)$ is the Hopf algebroid that classifies formal group laws and their strict isomorphisms.\nThis identifies the $E_2$-page of the [[Adams–Novikov spectral sequence|D34QHZVPES]] with cohomology over the moduli of formal groups.\nLocalizing at a prime $p$ leads to Brown–Peterson cohomology and $p$-typical laws, and the height filtration of formal groups organizes chromatic homotopy theory.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "5CZHFNY9F3",
      "TNHP7XXYZT"
    ],
    "kind": "statement",
    "msc": [
      "55N22",
      "14L05"
    ],
    "name": "Quillen's theorem on complex cobordism",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Complex_cobordism"
      }
    ],
    "tag": "4E518M24MA",
    "uses": [
      "5CZHFNY9F3",
      "TNHP7XXYZT",
      "BAW0T68GWK"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/4E518M24MA/",
  "links": [
    {
      "field": "about",
      "target": "5CZHFNY9F3"
    },
    {
      "field": "about",
      "target": "TNHP7XXYZT"
    },
    {
      "field": "uses",
      "target": "5CZHFNY9F3"
    },
    {
      "field": "uses",
      "target": "TNHP7XXYZT"
    },
    {
      "field": "uses",
      "target": "BAW0T68GWK"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/4E518M24MA.md",
  "msc": [
    "55N22",
    "14L05"
  ],
  "name": "Quillen's theorem on complex cobordism",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/4E5/4E518M24MA.md",
  "status": null,
  "tag": "4E518M24MA",
  "uri": "m2://4E518M24MA",
  "url": "https://math2.tamnd.com/wiki/quillens-theorem-on-complex-cobordism/",
  "writing": {
    "tag": "4E518M24MA",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}