{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "E38H8QVJK9"
    }
  ],
  "body": "\n## Summary\n\nThe Berezin integral is the notion of integration over anticommuting variables, the odd coordinates of a [[supermanifold|Z0SB9HQBAJ]].\nOver one odd variable $\\theta$ it sends $a + b\\theta$ to $b$; over several it picks out the coefficient of the product of all odd variables.\nIt is translation invariant and kills derivatives, like the usual integral, but it changes under linear substitutions by the determinant instead of its inverse.\nIt is the basic tool of fermionic path integrals in quantum field theory, where Gaussian integrals give [[Pfaffians|NH5HWBPWS9]] and determinants.\n\n## Explanations\n\n### L1 human\n\nA function of anticommuting variables is a finite polynomial, because each variable squares to zero.\nThe Berezin integral simply reads off the coefficient of the top term, the product of all variables.\nThis sounds strange, but it is the only rule that keeps the familiar properties of integration, such as the integral of a derivative being zero.\nFor instance, with two odd variables, $\\int e^{a \\theta_1 \\theta_2} = \\int (1 + a\\theta_1\\theta_2) = a$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "58C50",
      "15A75",
      "81T60"
    ],
    "name": "Berezin integral",
    "same_as": {
      "wikidata": "Q4891358",
      "wikipedia": "Berezin integral"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Berezin_integral"
      }
    ],
    "tag": "CYWSMK47CN"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/CYWSMK47CN/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/CYWSMK47CN.md",
  "msc": [
    "58C50",
    "15A75",
    "81T60"
  ],
  "name": "Berezin integral",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/CYW/CYWSMK47CN.md",
  "status": null,
  "tag": "CYWSMK47CN",
  "uri": "m2://CYWSMK47CN",
  "url": "https://tamnd.github.io/math2/wiki/berezin-integral/",
  "writing": {
    "tag": "CYWSMK47CN",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}