{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "SEAW0VNYJ6"
    }
  ],
  "body": "\n## Summary\n\nWeyl's unitary trick proves facts about finite-dimensional representations of complex semisimple Lie groups and Lie algebras.\nIt does so by passing to a compact real form.\nRepresentations of the compact form can be averaged over the group, and this gives results such as complete reducibility.\nThe trick then carries the results back, because the complex Lie algebra and its compact real form have the same finite-dimensional complex representations.\n\n## Explanations\n\n### L1 human\n\nThe group $SL(2, \\C)$ is not compact, so one cannot average over it.\nBut it contains the compact group $SU(2)$, and the Lie algebra of $SL(2, \\C)$ is the complexification of the Lie algebra of $SU(2)$.\nA subspace is invariant under $SL(2,\\C)$ exactly when it is invariant under $SU(2)$, at least for holomorphic representations.\nSo one can prove that representations of $SL(2,\\C)$ split into irreducible pieces by averaging over $SU(2)$, where the proof is easy.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "22E46",
      "17B10"
    ],
    "name": "Weyl's unitary trick",
    "same_as": {
      "wikidata": "Q7887223",
      "wikipedia": "Unitarian trick"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Unitarian_trick"
      }
    ],
    "tag": "DDQ2WBQ9GB"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/DDQ2WBQ9GB/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/DDQ2WBQ9GB.md",
  "msc": [
    "22E46",
    "17B10"
  ],
  "name": "Weyl's unitary trick",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/DDQ/DDQ2WBQ9GB.md",
  "status": null,
  "tag": "DDQ2WBQ9GB",
  "uri": "m2://DDQ2WBQ9GB",
  "url": "https://tamnd.github.io/math2/wiki/weyls-unitary-trick/",
  "writing": {
    "tag": "DDQ2WBQ9GB",
    "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
      }
    ]
  }
}