{
  "aliases": null,
  "backlinks": [
    {
      "field": "specializes",
      "target": "F28G886PWD"
    },
    {
      "field": "defines",
      "target": "HVA7TFK9XR"
    }
  ],
  "body": "\n## Summary\n\nA topological quantum field theory assigns a vector space to each closed manifold of a fixed dimension $n$.\nIt assigns a linear map to each $(n+1)$-manifold whose boundary joins two such manifolds.\nGluing manifolds must correspond to composing linear maps, and disjoint union must correspond to the tensor product.\nA closed manifold of the top dimension then receives a number, which is an invariant of the manifold.\nAtiyah stated these axioms, drawing on work of Witten and Segal in physics.\nA main example is [[Chern–Simons theory|F28G886PWD]], which produces [[quantum invariants of 3-manifolds|YGPR4VR3GP]] and of knots.\n\n## Explanations\n\n### L1 human\n\nThink of a closed surface as a moment in time and a solid shape between two surfaces as a history from one moment to the next.\nA topological quantum field theory gives each moment a space of possible states and each history a rule that turns old states into new ones.\nDoing two histories one after the other must give the same rule as composing the two rules.\nThe rules only see the shape up to smooth deformation, not lengths or angles.\nIn the simplest case, with points as moments and curves as histories, a theory picks a vector space $V$, and the circle receives the number $\\dim V$.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "kind": "concept",
    "msc": [
      "57R56",
      "81T45",
      "57K16"
    ],
    "name": "Topological quantum field theory",
    "same_as": {
      "wikidata": "Q721094",
      "wikipedia": "Topological quantum field theory"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Topological_quantum_field_theory"
      }
    ],
    "tag": "DAP92B80J2"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/DAP92B80J2/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/DAP92B80J2.md",
  "msc": [
    "57R56",
    "81T45",
    "57K16"
  ],
  "name": "Topological quantum field theory",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/DAP/DAP92B80J2.md",
  "status": null,
  "tag": "DAP92B80J2",
  "uri": "m2://DAP92B80J2",
  "url": "https://math2.tamnd.com/wiki/topological-quantum-field-theory/",
  "writing": {
    "tag": "DAP92B80J2",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}