{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet *G* be a unimodular locally compact group, and $\\Gamma$ a discrete cocompact subgroup of *G* and $\\phi$ a compactly supported continuous function on *G*. The trace formula in this setting is the following equality:\n\n$$\\sum_{\\gamma\\in\\{\\Gamma\\}} a_\\Gamma^G(\\gamma)\\int_{G^\\gamma\\setminus G}\\phi(x^{-1}\\gamma x)\\,dx = \\sum_{\\pi\\in\\widehat G}a_\\Gamma^G(\\pi)\\operatorname{tr}\\pi(\\phi)$$\n\nwhere $\\{\\Gamma\\}$ is the set of conjugacy classes in $\\Gamma$, $\\widehat G$ is the unitary dual of *G* and:\n\n- for an element $\\gamma \\in \\Gamma$, $a_\\Gamma^G(\\gamma) = \\text{volume}(\\Gamma^\\gamma\\setminus G^\\gamma)$ with $G^\\gamma, \\Gamma^\\gamma$ the centralisers of $\\gamma$ in $G,\\Gamma$ respectively;\n- for an irreducible unitary representation $\\pi$ of $G$, $a_\\Gamma^G(\\pi)$ is the multiplicity of $\\pi$ in the right-representation on $\\Gamma\\backslash G$ in $L^2(\\Gamma\\backslash G$), and $\\pi(\\phi)$ is the operator $\\int_G \\phi(g)\\pi(g) dg$;\n- all integrals and volumes are taken with respect to the Haar measure on $G$ or its quotients.\n\nThe left-hand side of the formula is called the *geometric side* and the right-hand side the *spectral side*. The terms $\\int_{G^\\gamma\\setminus G}\\phi(x^{-1}\\gamma x)\\,dx$ are orbital integrals.\n\nWhen $G$ is a semisimple Lie group with a maximal compact subgroup $K$ and $X=G/K$ is the associated symmetric space the conjugacy classes in $\\Gamma$ can be described in geometric terms using the compact Riemannian manifold (more generally orbifold) $\\Gamma \\backslash X$. The orbital integrals and the traces in irreducible summands can then be computed further and in particular one can recover the case of the trace formula for hyperbolic surfaces in this way.\n",
  "commit": "a799a9852bcfeae9dc83faa3bef60208bb53686b",
  "front": {
    "inventory": [
      "Y16RJVXN70"
    ],
    "kind": "statement",
    "name": "The general Selberg trace formula for cocompact quotients",
    "role": "proposition",
    "sources": [
      {
        "locator": "Selberg trace formula, section The general Selberg trace formula for cocompact quotients",
        "mention": "wikipedia://en/981694#03R7",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:981694@r1371813961"
      }
    ],
    "tag": "JY16CBEV99"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/JY16CBEV99/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/JY16CBEV99.md",
  "msc": null,
  "name": "The general Selberg trace formula for cocompact quotients",
  "prov": null,
  "role": "proposition",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/JY1/JY16CBEV99.md",
  "status": null,
  "tag": "JY16CBEV99",
  "uri": "m2://JY16CBEV99",
  "url": "https://math2.tamnd.com/wiki/the-general-selberg-trace-formula-for-cocompact-quotients/",
  "writing": {
    "tag": "JY16CBEV99",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}