PhilArchive
open access
The Axioms of Quantum Field Theory as Theorems of Haar Measure
We derive the six Wightman axioms of relativistic quantum field theory as theorems of three mathematical inputs: Haar measure on the Grassmannian Gr(2,4), the Penrose twistor correspondence, and the Peter-Weyl decomposition of L^2 spaces on compact groups. The Hilbert space is L^2(Gr(2,4), dmu_Gr), the vacuum is the unique SU(4)-invariant vector, Poincare covariance arises from the conformal embedding P+ into SU(2,2), the spectrum condition from forward-tube analyticity of the Penrose transform, locality from twistor non-incidence (spacelike separation implies non-incident twistors, non-incidence implies holomorphic integrand, holomorphicity implies vanishing contour integral by Cauchy's theorem), cyclicity from irreducibility of the vacuum sector, and temperedness from elliptic regularity on the compact Grassmannian. The CPT theorem emerges from Haar measure self-duality (the map Lambda->Lambda-perp is the geometric CPT). The spin-statistics connection emerges from the topology of the Plucker line bundle. The Osterwalder-Schrader axioms follow by Wick rotation. No physical postulate enters the argument. The Wightman axioms are necessary consequences of Haar measure on the space of light rays.
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Location, Multiplicity, and Exclusion: Three Spectral Forms of three Millennium Problems in the Shadow Framework#725435
- Twistor Theory and the Resolution of the Googly Problem via Haar Measure Self-Duality on Gr(2,4)#706614
- Quantum Fisher information of the Klein--Gordon and Dirac vacua#986898
- The Tannakian fundamental group and the differential modules#226886
- On nonperturbative quantum field theory and noncommutative geometry#498712
Record · ID 167446
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive