{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "43R0MPN4T1"
    },
    {
      "field": "uses",
      "target": "GEXSRZ7JEH"
    }
  ],
  "body": "\n## Summary\n\nTake a [[Lagrangian submanifold|H8ACPTMX08]] of a cotangent bundle and project it to the base manifold.\nA Lagrangian singularity is a point where this projection fails to be a local diffeomorphism.\nThe projection of a Lagrangian submanifold is called a Lagrangian map, and its singular points are the Lagrangian singularities.\nTheir images form the [[caustic|GMRYG4S3G0]], which in optics is where rays focus.\nArnold's theory classifies the generic Lagrangian singularities in low dimensions by the simple singularity types $A_k$, $D_k$ and $E_k$.\n\n## Explanations\n\n### L1 human\n\nThink of a sheet lying in phase space, where each point records a position and a momentum.\nLook at the sheet from above, so that you only see positions.\nWhere the sheet folds over, several of its points sit above the same position, and at the crease the view from above is singular.\nSuch a crease point is a Lagrangian singularity.\nFor example, the parabola $q = p^2$ in the $(q, p)$-plane, seen on the $q$-axis, folds at $p = 0$: positions $q \u003e 0$ are hit twice and positions $q \u003c 0$ not at all.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "53D12",
      "58K05"
    ],
    "name": "Lagrangian singularity",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Caustic_(mathematics)"
      }
    ],
    "tag": "QKPMR9MC9W"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/QKPMR9MC9W/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/QKPMR9MC9W.md",
  "msc": [
    "53D12",
    "58K05"
  ],
  "name": "Lagrangian singularity",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/QKP/QKPMR9MC9W.md",
  "status": null,
  "tag": "QKPMR9MC9W",
  "uri": "m2://QKPMR9MC9W",
  "url": "https://tamnd.github.io/math2/wiki/lagrangian-singularity/",
  "writing": {
    "tag": "QKPMR9MC9W",
    "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
      }
    ]
  }
}