Registry · Proposition V.P99 tau-effective formalized

V.P99 — Gravitational deconfinement

The gravitational sector D is deconfined: base Wilson loops satisfy a perimeter law W_n ~ exp(-kappa_tau * L(tau^1; n)), not an area law. The base circle tau^1 is one-dimensional, so the gauge field is abelian at leading order and gravity does not confine.

Book V Part 6 Ch. 53

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.MergerNormalForm

Symbol: Tau.BookV.Cosmology.GravitationalDeconfinement