{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $X$ be a [[complex manifold|JSGWAN2RJV]] of dimension $d$ and let $\\mathcal{D}_X$ be its sheaf of holomorphic linear [[differential operators|GBWQF3HZG0]].\nLet $D^b_{rh}(\\mathcal{D}_X)$ be the bounded [[derived category|5ST7NVJFSM]] of left $\\mathcal{D}_X$-modules whose cohomology modules are regular holonomic.\nLet $D^b_c(X)$ be the bounded derived category of sheaves of $\\C$-vector spaces on $X$ with constructible cohomology sheaves.\nFor $\\mathcal{M}$ in $D^b_{rh}(\\mathcal{D}_X)$, let $\\operatorname{DR}(\\mathcal{M}) = \\omega_X \\otimes^{L}_{\\mathcal{D}_X} \\mathcal{M}$ be its de Rham complex, where $\\omega_X = \\Omega^d_X$ is the canonical sheaf, the complex\n$$\\mathcal{M} \\to \\Omega^1_X \\otimes \\mathcal{M} \\to \\cdots \\to \\Omega^d_X \\otimes \\mathcal{M}$$\nplaced in degrees $-d, \\dots, 0$.\nThen:\n\n1. $\\operatorname{DR}$ is an equivalence of triangulated categories $D^b_{rh}(\\mathcal{D}_X) \\to D^b_c(X)$;\n2. it restricts to an equivalence between the abelian category of regular holonomic $\\mathcal{D}_X$-modules and the category of [[perverse sheaves|5WHXRZDZFK]] on $X$.\n\n## Remarks\n\nMasaki Kashiwara and Zoghman Mebkhout proved the theorem independently around 1980.\nHolonomic means that the characteristic variety of the module, a subvariety of the cotangent bundle, has dimension $d$.\nRegular is a growth condition on solutions near singularities.\nIt extends the notion of a [[regular singular point|H96HXG6CA0]] of an ordinary differential equation.\n\nThe simplest case: a holomorphic vector bundle $E$ with a flat connection $\\nabla$ is a regular holonomic $\\mathcal{D}_X$-module.\nIts de Rham complex is quasi-isomorphic to the local system of flat sections $\\ker \\nabla$, shifted by $d$.\nOn this part, the correspondence is the classical equivalence between flat bundles and local systems, that is, representations of the fundamental group when $X$ is connected.\n\nThere is also an algebraic version, for a smooth complex algebraic variety $X$ and algebraic regular holonomic modules, where regularity includes a condition at infinity.\nThere regularity is needed.\nOn the affine line, the algebraic connections $d$ and $d - dz$ on the trivial bundle are not isomorphic, because an isomorphism would be multiplication by $e^{z}$, which is not a polynomial.\nYet their analytic flat sections, the constants and the functions $c \\, e^{z}$, form isomorphic local systems.\nThe connection $d - dz$ has an irregular singular point at infinity.\n\n## Explanations\n\n### L1 human\n\nSystems of linear differential equations and topological data about loops are two descriptions of the same thing.\nGiven equations, follow their solutions around loops and record how they change; this is the monodromy.\nFollowing Riemann, Hilbert asked whether every monodromy comes from equations with mild singularities.\nThe modern theorem says that, for equations with regular singularities, the dictionary between equations and topology is perfect, even in many variables and with complicated singularities.\n\n### L2 human\n\nThe theorem gives an answer to a modern form of [[Hilbert's twenty-first problem|7RHW0KA5RY]].\nIts classical forerunner, due to Deligne, treats algebraic vector bundles with regular singular connections on smooth varieties, and matches them with local systems.\nIn the Kashiwara–Mebkhout form, the category of perverse sheaves belongs to topology and the category of D-modules to analysis.\nMany results move across.\nFor example, the intersection cohomology complex corresponds to a minimal extension of a D-module.\nIt is a basic tool of geometric representation theory, for example in the proof of the Kazhdan–Lusztig conjecture.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "5WHXRZDZFK",
      "GBWQF3HZG0"
    ],
    "kind": "statement",
    "msc": [
      "32C38",
      "32S60",
      "14F10"
    ],
    "name": "Riemann–Hilbert correspondence",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q5986522",
      "wikipedia": "Riemann–Hilbert correspondence"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Riemann%E2%80%93Hilbert_correspondence"
      }
    ],
    "tag": "KMAEWSVGRS",
    "uses": [
      "JSGWAN2RJV",
      "GBWQF3HZG0",
      "5ST7NVJFSM",
      "5WHXRZDZFK"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/KMAEWSVGRS/",
  "links": [
    {
      "field": "about",
      "target": "5WHXRZDZFK"
    },
    {
      "field": "about",
      "target": "GBWQF3HZG0"
    },
    {
      "field": "uses",
      "target": "JSGWAN2RJV"
    },
    {
      "field": "uses",
      "target": "GBWQF3HZG0"
    },
    {
      "field": "uses",
      "target": "5ST7NVJFSM"
    },
    {
      "field": "uses",
      "target": "5WHXRZDZFK"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/KMAEWSVGRS.md",
  "msc": [
    "32C38",
    "32S60",
    "14F10"
  ],
  "name": "Riemann–Hilbert correspondence",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/KMA/KMAEWSVGRS.md",
  "status": null,
  "tag": "KMAEWSVGRS",
  "uri": "m2://KMAEWSVGRS",
  "url": "https://tamnd.github.io/math2/wiki/riemann-hilbert-correspondence/",
  "writing": {
    "tag": "KMAEWSVGRS",
    "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
      }
    ]
  }
}