{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nPicard–Lefschetz theory studies the topology of a complex manifold through a holomorphic function on it with nondegenerate critical points.\nIt looks at how the fibres change near the critical values.\nIts central result, the Picard–Lefschetz formula, describes the [[monodromy|C8HD62AB6Q]] around a critical value in terms of the [[vanishing cycle|M5EK9AKXNR]] $\\delta$ of the critical point.\nLet $X_t$ be a smooth fibre of complex dimension $n$, near a critical value with a single nondegenerate critical point.\nLet $T$ be the monodromy on $H_n(X_t; \\Z)$ around this value.\nThen $T(a) = a + \\varepsilon_n \\langle a, \\delta \\rangle \\delta$, where $\\langle \\cdot, \\cdot \\rangle$ is the [[intersection form|WK8GKRKAVD]].\nHere $\\varepsilon_n = \\pm 1$ is a sign that depends only on $n$ and on orientation conventions.\nÉmile Picard developed the case of surfaces and Solomon Lefschetz the general case.\nLefschetz used it to study the topology of algebraic varieties through Lefschetz pencils, together with the [[Lefschetz hyperplane theorem|EX6YSYN7B4]].\nIts version in étale cohomology was a main tool in Deligne's proof of the Weil conjectures.\n\n## Explanations\n\n### L1 human\n\nCut a complex variety into a family of slices given by the level sets of a function.\nMost slices look alike, but at finitely many values a slice gets a simple singular point, where a sphere in the slice has shrunk to a point.\nPicard–Lefschetz theory tells what happens to the other cycles of a slice when one walks once around such a bad value.\nA cycle comes back changed by a multiple of the shrinking sphere, and the multiple is the number of times the cycle crosses that sphere, counted with signs.\nFor curves, $n = 1$, the change is a [[Dehn twist|W890NRHGS4]] along the vanishing circle.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "32S50",
      "14D05",
      "32S30"
    ],
    "name": "Picard–Lefschetz theory",
    "same_as": {
      "wikidata": "Q7190517",
      "wikipedia": "Picard–Lefschetz theory"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Picard%E2%80%93Lefschetz_theory"
      }
    ],
    "tag": "FFYQAVT7MB"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/FFYQAVT7MB/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/FFYQAVT7MB.md",
  "msc": [
    "32S50",
    "14D05",
    "32S30"
  ],
  "name": "Picard–Lefschetz theory",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/FFY/FFYQAVT7MB.md",
  "status": null,
  "tag": "FFYQAVT7MB",
  "uri": "m2://FFYQAVT7MB",
  "url": "https://tamnd.github.io/math2/wiki/picard-lefschetz-theory/",
  "writing": {
    "tag": "FFYQAVT7MB",
    "kind": "concept",
    "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
      }
    ]
  }
}