{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "9RS2YPTPJY"
    }
  ],
  "body": "\n## Summary\n\nDeligne–Lusztig theory constructs representations of finite [[groups of Lie type|NPEBABQ49M]], such as $GL_n(\\F_q)$, from the $\\ell$-adic cohomology of certain algebraic varieties.\nFor each Frobenius-stable maximal torus $T$ and each character $\\theta$ of its finite group of points it gives a virtual character $R_T^\\theta$.\nEvery irreducible character of the finite group occurs in some $R_T^\\theta$.\nThe theory, introduced by Deligne and Lusztig in 1976, is the basis of the classification of the irreducible characters of finite reductive groups by Lusztig.\n\n## Explanations\n\n### L1 human\n\nFinite groups like the invertible matrices over a finite field have many representations, and most of them cannot be built by elementary methods such as induction from subgroups.\nDeligne and Lusztig found them inside the geometry of special varieties on which the group acts.\nThe cohomology of these varieties, a tool from algebraic topology adapted to algebraic geometry, carries representations of the finite group.\nTaking alternating sums of these gives virtual characters that together contain all irreducible characters.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "20C33",
      "20G40"
    ],
    "name": "Deligne–Lusztig theory",
    "same_as": {
      "wikidata": "Q5253966",
      "wikipedia": "Deligne–Lusztig theory"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Deligne%E2%80%93Lusztig_theory"
      }
    ],
    "tag": "ZH21D5B62C"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/ZH21D5B62C/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/ZH21D5B62C.md",
  "msc": [
    "20C33",
    "20G40"
  ],
  "name": "Deligne–Lusztig theory",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/ZH2/ZH21D5B62C.md",
  "status": null,
  "tag": "ZH21D5B62C",
  "uri": "m2://ZH21D5B62C",
  "url": "https://math2.tamnd.com/wiki/deligne-lusztig-theory/",
  "writing": {
    "tag": "ZH21D5B62C",
    "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
      }
    ]
  }
}