scratch

§ Intro to Topological Quantum Field Theory

created 2021-03-16 · last edited 2021-05-16
  • Once again, watching a videos for shits and giggles.
  • Geometrically, we cut and paste topological indices / defects.
  • QFT in dimensions n+1 (n space, 1 time)
  • Manifold: XnX^nXn. Can associate a hilbert space of states HxH_xHx​.
  • Space of wave functions on field space.
  • Axioms of hilbert space: (1) if there is no space, the hilbert space H∅H_\emptysetH∅​ for it is the complex numbers. (2) If we re-orient the space, the hilbert space becomes the dual H−X=HX⋆H_{-X} = H_X^\starH−X​=HX⋆​. (3) Hilbert space over different parts is the tensor product: HX∪Y=HX⊗HYH_{X \cup Y} = H_X \otimes H_YHX∪Y​=HX​⊗HY​.
  • We want arbitrary spacetime topology. We start at space XXX, and we end at a space YYY. The space XXX is given positive orientation to mark "beginning" and YYY is given negative orientation to mark "end". We will have a time-evolution operator Φ:HX→HY\Phi: H_X \rightarrow H_YΦ:HX​→HY​.
  • We have a composition law of gluing: Going from XXX to YYY and then from YYY to ZZZ is the same as going from XXX to ZZZ. ϕN∘M=ϕN∘ϕM\phi_{N \circ M} = \phi_N \circ \phi_MϕN∘M​=ϕN​∘ϕM​.
  • If we start and end at empty space, then we get a linear map Φ:H∅→H∅\Phi: H_\emptyset \rightarrow H_\emptysetΦ:H∅​→H∅​ which is a linear map Φ:C→C\Phi: \mathbb C \rightarrow \mathbb CΦ:C→C, which is a fancy way to talk about a complex number (scaling)
  • If we start with an empty set and end at YYY, then we get a function Φ:H∅→HY≃C→Y\Phi: H_\emptyset \rightarrow H_Y \simeq \mathbb C \rightarrow \mathbb YΦ:H∅​→HY​≃C→Y. But this is the same as picking a state, for example, Φ(1)∈HY\Phi(1) \in H_YΦ(1)∈HY​ [everything else is determined by this choice ].
  • If a manifold has two sections XXX and −X-X−X, we can glue XXX to −X-X−X to get the trace.
  • Quantum mechanics is 0 + 1 TQFT (!)
  • TQFT of 1+1 dimensions.
  • Take a circle: S1→HS^1 \rightarrow HS1→H. Let HHH be finite dimensional.
  • A half-sphere has a circle as boundary. So it's like H∅→HS1H_\emptyset \rightarrow H_{S^1}H∅​→HS1​. This is the ket ∣0⟩|0\rangle∣0⟩.
  • This is quite a lot like a string diagram...
  • Frobenius algebra
  • Video: IAS PiTP 2015
❦
Newer ৪ Blog ৪ Older