{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $MU$ be the [[complex cobordism|5CZHFNY9F3]] spectrum, with coefficient ring $MU_* = \\pi_* MU$ and $MU_* MU = \\pi_*(MU \\wedge MU)$.\nThen $(MU_*, MU_* MU)$ is a Hopf algebroid, and for every [[spectrum|1GHF4EKBXS]] $X$ the group $MU_* X$ is a comodule over it.\nLet $X$ be a connective spectrum.\nThen there is a spectral sequence $(E_r^{s,t}, d_r)_{r \\ge 2}$.\nIts differentials are $d_r \\colon E_r^{s,t} \\to E_r^{s+r, t+r-1}$, and its second page is\n$$E_2^{s,t} = \\operatorname{Ext}^{s,t}_{MU_* MU}(MU_*, MU_* X),$$\nthe [[Ext groups|4P7GBWJ4RR]] in the category of $MU_* MU$-comodules, and the spectral sequence converges to $\\pi_{t-s}(X)$.\n\n## Remarks\n\nThe construction is the same as for the [[Adams spectral sequence|DD4D0EKX74]], with the mod $p$ Eilenberg–MacLane spectrum replaced by $MU$.\nSince $\\pi_0 MU = \\Z$ and $X$ is connective, the $MU$-based tower recovers $X$ itself, which gives convergence to $\\pi_*(X)$ with no completion.\nAfter localizing at a prime $p$, one may replace $MU$ by the [[Brown–Peterson spectrum|S8S72AA9C8]] $BP$, with $E_2^{s,t} = \\operatorname{Ext}^{s,t}_{BP_* BP}(BP_*, BP_* X)$, which is smaller and easier to compute.\n\nExample: for $X = S$, the [[sphere spectrum|14CGGHA85T]], the groups $MU_*$ and $MU_* MU$ are concentrated in even degrees, so $E_2^{s,t} = 0$ for odd $t$.\nAlso $E_2^{0,t}$ is $\\Z$ for $t = 0$ and $0$ otherwise.\n\n## Explanations\n\n### L1 human\n\nThe Adams–Novikov spectral sequence is a machine for computing stable homotopy groups, like the Adams spectral sequence.\nIt replaces ordinary mod $p$ cohomology by complex cobordism, a richer cohomology theory built from complex manifolds.\nThe starting page is harder to compute, but far fewer corrections are needed afterwards.\n\n### L2 human\n\nThrough Quillen's theorem, $MU_* MU$-comodules are related to formal group laws, so the $E_2$ term is a cohomology of the moduli of formal groups.\nThis links the stable homotopy groups of spheres to the height filtration of formal groups and to chromatic homotopy theory.\nAt odd primes the first differential in the $BP$ version that can be nonzero is $d_{2p-1}$, because the $E_2$ term is concentrated in internal degrees divisible by $2(p-1)$.\n",
  "commit": "efe85cee8dbc57d85bedbacfb97b99d1b7bee843",
  "front": {
    "about": [
      "5CZHFNY9F3"
    ],
    "kind": "statement",
    "msc": [
      "55T15",
      "55N22",
      "55Q45"
    ],
    "name": "Adams–Novikov spectral sequence",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Adams_spectral_sequence"
      }
    ],
    "tag": "D34QHZVPES",
    "uses": [
      "5CZHFNY9F3",
      "1GHF4EKBXS",
      "4P7GBWJ4RR",
      "DD4D0EKX74",
      "14CGGHA85T",
      "S8S72AA9C8"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/D34QHZVPES/",
  "links": [
    {
      "field": "about",
      "target": "5CZHFNY9F3"
    },
    {
      "field": "uses",
      "target": "5CZHFNY9F3"
    },
    {
      "field": "uses",
      "target": "1GHF4EKBXS"
    },
    {
      "field": "uses",
      "target": "4P7GBWJ4RR"
    },
    {
      "field": "uses",
      "target": "DD4D0EKX74"
    },
    {
      "field": "uses",
      "target": "14CGGHA85T"
    },
    {
      "field": "uses",
      "target": "S8S72AA9C8"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/D34QHZVPES.md",
  "msc": [
    "55T15",
    "55N22",
    "55Q45"
  ],
  "name": "Adams–Novikov spectral sequence",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/D34/D34QHZVPES.md",
  "status": null,
  "tag": "D34QHZVPES",
  "uri": "m2://D34QHZVPES",
  "url": "https://math2.tamnd.com/wiki/adams-novikov-spectral-sequence/",
  "writing": {
    "tag": "D34QHZVPES",
    "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
      }
    ]
  }
}