proposition 109.74 The vacuum is thermal in a wedge

Rests on

• depends_on proposition 40.3 Normalization of the four-velocity ¶
  • depends_on definition 38.6 Minkowski metric and interval ¶
    • depends_on proposition 38.5 The invariant interval ¶
      • depends_on equation 38.1 eq:lor-beta-gamma ¶
      • depends_on theorem 38.4 Lorentz boost ¶
        • depends_on notation 38.3 Standard configuration ¶
        • depends_on postulate 38.2 Invariance of the speed of light ¶
        • depends_on postulate 38.1 Principle of relativity ¶
        • proves proof ch:02-lorentz-transformations@proof-1 ¶
      • proves proof ch:02-lorentz-transformations@proof-2 ¶
  • depends_on equation 40.2 eq:rdyn-fourvelocity ¶
  • proves proof ch:04-relativistic-dynamics@proof-1 ¶
• depends_on theorem 109.73 Bisognano–Wichmann; imported ¶
  • depends_on theorem 109.46 Existence of the $PCT$ operator ¶
    • depends_on axiom 109.13 Covariance ¶
    • depends_on axiom 109.9 Relativistic states ¶
    • depends_on definition 109.40 The $PCT$ condition ¶
    • proves proof ch:11-axiomatic-qft@proof-18 ¶
  • depends_on theorem 109.72 Tomita–Takesaki; imported ¶
    • depends_on theorem 109.34 Reeh–Schlieder ¶
      • depends_on axiom 109.15 Cyclicity of the vacuum ¶
      • depends_on axiom 109.14 Local commutativity ¶
      • depends_on theorem 109.26 Analyticity in the forward tube ¶
        • depends_on equation 109.16 eq:axqft-wightman-support ¶
        • depends_on lemma 109.25 Positivity of the cone pairing ¶
        • proves proof ch:11-axiomatic-qft@proof-8 ¶
      • proves proof ch:11-axiomatic-qft@proof-11 ¶
• depends_on theorem 109.72 Tomita–Takesaki; imported ¶ ↺
• proves proof ch:11-axiomatic-qft@proof-27 ¶

Supports

Nothing declares a dependency on this node yet.