{
  "id": "resolution-of-singularities-in-characteristic-zero",
  "title": "Resolution of singularities in characteristic zero",
  "description": "Functorial resolution of singularities for schemes of finite type over a field of characteristic zero: smooth blow-ups, derivative ideals, maximal contact, order reduction for ideals and marked ideals, principalization, resolution with a simple normal crossings exceptional divisor, smooth compactification and elimination of indeterminacy.",
  "units": [
    {
      "id": "smooth-blowups-and-transforms-of-ideals",
      "title": "Smooth blow-ups and transforms of ideals",
      "reader": "smooth-blowups-and-transforms-of-ideals.html",
      "source": "src/smooth-blowups-and-transforms-of-ideals.md",
      "source_sha256": "940a4ed190d462bbfd8f6e4a2193c4cee2fcded187595ec0a75682cd72050d72",
      "status": "author_self_checked"
    },
    {
      "id": "blow-up-sequences-and-the-main-theorems",
      "title": "Blow-up sequences and the main theorems",
      "reader": "blow-up-sequences-and-the-main-theorems.html",
      "source": "src/blow-up-sequences-and-the-main-theorems.md",
      "source_sha256": "117ec1f1cb49bd206fabd3649c8c64c1d00691409aceb8e55a9e5cabefd72447",
      "status": "author_self_checked"
    },
    {
      "id": "derivative-ideals-under-blowing-up",
      "title": "Derivative ideals under blowing up",
      "reader": "derivative-ideals-under-blowing-up.html",
      "source": "src/derivative-ideals-under-blowing-up.md",
      "source_sha256": "4baa12d87578ebf383be20ea0e5b0fcb393e9ab80c2b57da3cb36fa070faca48",
      "status": "author_self_checked"
    },
    {
      "id": "hypersurfaces-of-maximal-contact",
      "title": "Hypersurfaces of maximal contact",
      "reader": "hypersurfaces-of-maximal-contact.html",
      "source": "src/hypersurfaces-of-maximal-contact.md",
      "source_sha256": "bc0b86a82e04776194ecdbe196cbc4183ba028247421df2d48e22452336e7ea2",
      "status": "author_self_checked"
    },
    {
      "id": "logarithmic-derivatives-and-going-up",
      "title": "Logarithmic derivatives and going up",
      "reader": "logarithmic-derivatives-and-going-up.html",
      "source": "src/logarithmic-derivatives-and-going-up.md",
      "source_sha256": "972b43549de7fa073ba8f8a4e9df01481c76e4ad78d36aaaf9893d877b65415a",
      "status": "author_self_checked"
    },
    {
      "id": "uniqueness-of-maximal-contact",
      "title": "Uniqueness of maximal contact",
      "reader": "uniqueness-of-maximal-contact.html",
      "source": "src/uniqueness-of-maximal-contact.md",
      "source_sha256": "e1c03053663deef7ff1552a5961ba5b80776e8088445c304d94c85d10189ba34",
      "status": "author_self_checked"
    },
    {
      "id": "tuning-of-ideals",
      "title": "Tuning of ideals",
      "reader": "tuning-of-ideals.html",
      "source": "src/tuning-of-ideals.md",
      "source_sha256": "fca972876204953dfe43e4618c5cb959045ae49214786ced9c79787da09da23c",
      "status": "author_self_checked"
    },
    {
      "id": "order-reduction-for-ideals",
      "title": "Order reduction for ideals",
      "reader": "order-reduction-for-ideals.html",
      "source": "src/order-reduction-for-ideals.md",
      "source_sha256": "0883ffb41c2dcf69c136054c121856972197bb8c0544fd0b56a509c2645f9616",
      "status": "author_self_checked"
    },
    {
      "id": "order-reduction-for-marked-ideals",
      "title": "Order reduction for marked ideals",
      "reader": "order-reduction-for-marked-ideals.html",
      "source": "src/order-reduction-for-marked-ideals.md",
      "source_sha256": "7db21f891ba307c727bc35b78522b9e1b66f2b4c0e7acc470d2818942fa68c52",
      "status": "author_self_checked"
    },
    {
      "id": "principalization-and-resolution",
      "title": "Principalization and resolution",
      "reader": "principalization-and-resolution.html",
      "source": "src/principalization-and-resolution.md",
      "source_sha256": "01e1ed44d0851959103cff3796b08400896a4d7be0452f1c27e16980d07e8cf7",
      "status": "author_self_checked"
    }
  ],
  "prerequisites": [
    "AG-CA (regular local rings, Kahler differentials, completion, Cohen structure)",
    "AG-FSE lessons on smooth morphisms",
    "AI Integrated Stacks Project: blowing up, strict transforms, Nagata compactification, smooth and etale morphisms",
    "Etale cohomology lesson 18, section 2 (inverse-function criterion)"
  ],
  "status": "author_self_checked",
  "proof_providers": "providers.json",
  "provenance": "provenance.json",
  "licence": "CC0-1.0"
}