3. Main No-Go Theorem
The main theorem I want to address is:
Theorem 1 (No strict /SM boundary identification). Under the assumptions above there is no holographic duality in which an asymptotically bulk admits a local 3D boundary QFT B on that is strictly SM-equivalent in the sense above to the 3+1D Standard Model.
Theorem 1 is not a claim that 3D and 4D local QFTs could be equivalent; rather, it formalizes the obstruction to the proposed strict identification sometimes denoted informally as “dS/SM”.
The first of the problems is the dimensional obstruction as our first assumption implies the boundary is 3D, so any local
is a three-dimensional Euclidean QFT. A 3D local QFT cannot be isomorphic to a
D local QFT with the same spectrum and operator product algebra; their engineering dimensions, renormalization group flows, and anomaly structures differ. In
d Euclidean dimensions, a scalar primary
of scaling dimension
obeys:
while conserved currents and the stress tensor satisfy the unitarity or shortening bounds [
11,
12]:
Thus for the same conserved operators one has:
Since the OPE:
is controlled by these dimensions and structure constants, the short-distance singularities in 3D and 4D are inequivalent even before dynamics is specified. No algebra isomorphism can map the 3D OPE data to the 4D SM OPE data while preserving locality. Canonical field dimensions in
d spacetime dimensions are given by:
For gauge, Yukawa, and quartic interactions:
Hence:
Couplings that are marginal or dimensionless in 4D are relevant in 3D. This already forbids an isomorphism of RG data. I will introduce dimensionless couplings at scale
by:
Their beta functions universally contain the engineering-dimension terms:
with
in 4D and group-theory constants
scheme-dependently. Evaluating (
13) in
and
:
In 3D the linear term drives
to strong coupling in the IR, super-renormalizable, whereas in 4D the flow is logarithmic, marginal, asymptotically free for
. No change of variables can turn a linear term into a purely cubic one while preserving locality and the operator algebra and thus the RG categories are inequivalent. The
D SM is chiral with anomaly cancellation encoded by the 6-form anomaly polynomial:
yielding the familiar ABJ relation:
In 3D there is no chirality and gauge anomalies are replaced by a parity anomaly with a Chern–Simons contact term [
22,
23,
24]:
whose quantized level
k shifts under integrating out massive fermions. These topological responses have no counterpart in 4D SM anomaly cancellation data. Therefore Ward identities and ’t Hooft anomalies cannot match across 3D and 4D. So, because protected operator dimensions differ, engineering dimensions force relevant 3D couplings versus marginal 4D couplings with distinct beta-function structure, and anomaly content in 3D is incompatible with 4D chiral anomaly cancellation, no local 3D Euclidean QFT on
can be isomorphic to the
D SM as an operator algebra with matching RG and anomaly data. This is the dimensional obstruction claimed in the main theorem.
The second problem refers to reflection-positivity or the unitarity obstruction as the dS wavefunctional satisfies
under
continuation [
28]. For
, the overall phase generically violates reflection positivity for a subset of operators. Thus the boundary captured by
is not a unitary 3D Euclidean QFT with all the properties demanded by our second assumption and certainly not a
D unitary SM as in assumption four. Under the continuation of the AdS radius
with sources held fixed, the nonlocal part of the on-shell generator obeys [
8,
10]:
I want to emphasize that AdS enters only as a calculational reference through the standard Euclidean AdS → dS analytic continuation
but the boundary object of interest is still defined by the de Sitter wavefunctional
.
Local terms are contact as they do not affect long-distance correlators nor Osterwalder–Schrader (OS) positivity [
14,
15]. To show this let
be Euclidean time reflection
composed with Hermitian conjugation on operators. For any polynomial functional
supported in the half-space
, unitarity of a Euclidean
d-dimensional QFT demands:
For a Gaussian sector generated by:
,
(
22) is equivalent to positivity of the quadratic form:
for all
f. The equation (
21) implies at quadratic order:
When the AdS dual is unitary,
is OS-positive, for
:
, so the nonlocal kernel flips sign:
Because local counterterms cannot modify the nonlocal, reflection-sensitive part of the quadratic form, there exist test functions
f with support in
for which the integral in (
23) becomes strictly negative. Thus OS positivity fails for a subset of operators, and the boundary extracted from
is not a unitary 3D Euclidean QFT. So because
in
, the AdS→dS continuation reverses the sign of the nonlocal parts of correlators. This violates OS reflection positivity for a subset of operators, including conserved sectors, so the late-time boundary extracted from
is not a unitary 3D Euclidean QFT, and a fortiori cannot realize a unitary
D Standard Model as assumed in our fourth hypothesis.
The third problem is the S-matrix obstruction as in
there are no global timelike asymptotic regions, hence no conventional LSZ S-matrix. A duality to the SM S-matrix cannot hold [
13]. One may define
in-in correlators, but these do not furnish a unitary
D scattering theory. If one interprets “dS/SM” as claiming equivalence to the Minkowski Standard Model—including its LSZ scattering matrix—then an additional obstruction follows immediately, independent of the purely 3D-vs-4D operator-algebra mismatch discussed. In a globally hyperbolic, asymptotically Minkowski spacetime, the LSZ construction defines:
where fields solve
asymptotically and approach free plane waves
in timelike regions
. This requires a global timelike asymptotic regions, a unique Poincaré vacuum, well-defined one-particle mass shells the oscillatory late-time modes, and Fock spaces
built from those modes. The global
has spacelike
and no timelike infinity [
17,
18,
19]. In flat slicing:
the future boundary is at
, spacelike. There is no global timelike Killing vector so the notion of particle is observer or patch dependent, the cosmological horizon. Hence,
and
cannot be defined as global free Fock spaces, and (
27) lacks meaning. There is no oscillatory late-time modes, so s failure of on-shell limits as for a scalar
with mass
m and curvature coupling
, the mode functions in
satisfy:
where
. The Bunch–Davies solution is:
As
in late times,
is non-oscillatory, a freezes out rather than
. Thus there is no mass-shell pole isolation via the LSZ amputation as the amputated correlators do not project onto scattering amplitudes. Even when one chooses a preferred early-time vacuum, the late-time creation or annihilation operators mix:
reflecting gravitational production and the absence of a global, time-independent notion of particle. A single global unitary
S relating
to
therefore does not exist. The
in-in formalism gives cosmological correlators are computed by the Schwinger–Keldysh path integral:
which yields expectation values
at finite time. These objects satisfy a largest-time or causality structure and cutting rules adapted to cosmology, but they do not define asymptotic in or out states or a unitary
D scattering matrix with
. So because
lacks global timelike asymptotic regions, has no oscillatory late-time modes, and exhibits Bogoliubov mixing tied to horizons and expansion, the LSZ recipe (
27) is inapplicable. One may compute
in-in correlators, but these describe time-evolved expectation values—not a unitary
D S-matrix. Therefore any proposed duality to the SM S-matrix cannot hold.
Another problem is because the
isometry group
acts as the conformal group on the late–time screens
, any putative local, reflection–positive boundary theory
B on
must realize conformal Ward identities on
[
16]. In odd boundary dimension
there is no local Weyl trace anomaly, so in flat space one has
up to improvement terms and contact terms on curved backgrounds. In particular, in flat space this requires:
and correlation functions transform covariantly under
. By contrast, the
dimensional Standard Model is not conformal. Its stress–tensor trace is nonzero due to explicit masses and running couplings:
plus some curved–space trace–anomaly terms, and electroweak symmetry breaking introduces a physical scale
. Therefore no algebra isomorphism can map a conformal 3D Euclidean QFT
B with
to the non-conformal
D SM with
while preserving locality and Ward identities. One might try to evade this by relevant deformations of a 3D CFT or by introducing a dilaton to nonlinearly realize scale invariance, but then
B is not conformal and the
covariance implied by the dS isometries is lost. Hence, independently of the dimensional and S-matrix obstructions, the conformal–structure mismatch rules out a strict dS/SM boundary identification in 4D.
The last problem I will note on is the chirality or anomaly obstruction due to the fact that
D SM possesses chiral fermions and anomaly cancellation conditions. In 3D, chirality is absent and gauge anomalies are replaced by Chern–Simons contact terms so there is no isomorphism preserving Ward identities and ’t Hooft anomaly data across dimensions [
20,
21]. There is no chirality in 3D, as chirality is defined by:
allowing genuinely chiral couplings
as in the SM. In 3D Euclidean signature, the Clifford algebra admits a
representation with
, and the product
is proportional to the identity, so there is no independent matrix that anticommutes with all
. Hence no projectors
exist, no Weyl decomposition is available, and a chiral gauge theory cannot be formulated as a local 3D QFT. In four dimensions, gauge and mixed anomalies are captured by a 6-form anomaly polynomial:
whose descent encodes the non-invariance of the generating functional [
8,
9]. Equivalently, the axial anomaly reads:
For the SM, anomaly cancellation imposes the well-known constraints [
25], per generation of left-handed Weyl fermions:
with
and
. These relations crucially use chirality, such as left or right charges differ. In three dimensions there is no chirality and no ABJ triangle. Instead, integrating out a massive Dirac fermion in representation
R produces a parity-odd contact term:
shifting the Chern–Simons level
k by a half-integer in the absence of a regulator that preserves both parity and gauge invariance. Gauge invariance under large transformations quantizes
; a single massless fermion thus exhibits the parity anomaly. At the level of currents, this appears as a parity-odd contact in the two-point function:
while
remains a local Ward identity, so no chiral non-conservation exists to mimic 4D. Inflow organizes ’t Hooft anomalies as boundaries of higher-dimensional invertible actions:
Four-dimensional chiral anomalies are classified by degree-6 data or 5D Chern–Simons inflow, while three-dimensional parity anomalies are classified by degree-4 data or 4D
-like inflow. These belong to different cohomology or cobordism groups and cannot be related by any local isomorphism that preserves anomaly matching and Ward identities. Any isomorphism mapping a 3D boundary QFT to the
D SM must preserve the chiral representation content and its anomaly-cancellation equations, reproduce the ABJ and mixed-gravitational Ward identities, and match global anomalies. But 3D has no chirality at all and replaces gauge anomalies with Chern–Simons contact terms determined by
in (
46). Therefore no local map can preserve both the operator algebra and the ’t Hooft anomaly data across dimensions. This is the chirality or anomaly obstruction.
These contradictions establish the no-go theorem I have presented. There is no 4D boundary without extra dimensions as if one insists that the dual of a gravitational bulk be a four-dimensional unitary QFT giving the actual SM, then the bulk must be at least 5D so that
has dimension 4. In particular, any literal dS/SM boundary duality compatible with our assumptions requires extra dimensions such as branes or double-holography. Our 4D universe alone cannot realize this. There is as well no curvature–SM algebra identification as any attempt to identify spacetime curvature generators with SM internal generators violates the Coleman–Mandula no-go theorem in an interacting
D QFT [
26,
27]. Hence even aside from our assumptions, there is no algebraic route to say curvature equals the SM in 4D.
4. -Dimensional Gauge-Theory Target
The no-go theorem established above excludes a strict identification in which an asymptotically bulk admits a local 3D Euclidean boundary QFT on that is fully equivalent, as an operator algebra with matching Ward identities and anomaly data, to the -dimensional Standard Model. This strict claim is formulated under the hypotheses (A1)–(A4), in particular the assumption that the boundary theory is a local Euclidean QFT satisfying Osterwalder–Schrader (OS) reflection positivity. For the late-time screens are necessarily three-manifolds, so any putative boundary theory extracted from the late-time wavefunctional is three-dimensional and Euclidean.
It is therefore natural to ask whether the conclusion depends essentially on the fact that the target theory is dimensional, and whether one could instead posit a weaker conjecture in which the boundary is equivalent to some unitary -dimensional SM-like gauge theory, such as a Lorentzian dimensional theory whose Euclidean continuation defines a reflection-positive local 3D Euclidean QFT on . In this dimensionally matched variant, the purely dimensional obstruction used in Theorem 1 is no longer the relevant contradiction, and one also removes the specifically four-dimensional chirality or anomaly matching requirement that is built into hypothesis (A4) as stated.
However, the unitarity obstruction arising from OS positivity remains decisive, because it is intrinsic to the AdS→dS continuation of the late-time generating functional in three boundary dimensions. Define the source-dependent generator by:
with boundary correlators obtained by functional differentiation with respect to sources
J. Under analytic continuation of the AdS radius
with sources held fixed, the nonlocal part of the on-shell generator obeys the phase relation:
where local denotes contact terms that do not affect long-distance correlators nor the reflection-sensitive nonlocal kernel.
OS reflection positivity in a
d-dimensional Euclidean QFT can be stated as follows. Let
denote Euclidean time reflection
composed with Hermitian conjugation on operators. Then for any polynomial functional
supported in the half-space
, unitarity requires:
In a Gaussian sector generated by a quadratic functional:
this is equivalent to positivity of the quadratic form:
for all test functions
f supported in
.
Equation (
52) implies at quadratic order that the nonlocal kernel satisfies:
In
one has
, so the nonlocal part flips sign:
while local counterterms cannot modify the nonlocal contribution that controls reflection positivity. Therefore, even when the AdS dual kernel is OS-positive, there exist test functions
f for which the reflection form becomes strictly negative after continuation, and OS positivity fails for a subset of operators. It follows that the late-time boundary object extracted from
is generically not a unitary 3D Euclidean QFT satisfying (A2).
Consequently, replacing the -dimensional Standard Model target by a unitary -dimensional SM-like gauge theory does not rescue a strict boundary duality. Under assumptions (A1)–(A3) and the reflection-positivity requirement in (A2), there is no strict holographic identification of an asymptotically bulk with a unitary local -dimensional gauge theory on . Any proposal of this type must either abandon OS positivity or unitarity at the level of the boundary, or weaken locality/dictionary assumptions so that the boundary is not an ordinary unitary -dimensional QFT in the usual sense.
5. Kaluza–Klein 5D bulks and 3+1D Standard-Model Targets
The no-go theorem proven above targets a strict boundary identification in a purely four-dimensional asymptotically de Sitter universe. A natural objection is that the dimensional mismatch responsible for the strict failure is an artifact of working in four bulk dimensions, since a genuine boundary dual of a gravitational bulk in dimensions is expected to live in d dimensions. If one insists that the dual theory be the actual -dimensional Standard Model, then one must at minimum enlarge the bulk so that the boundary is four-dimensional. This motivates considering a five-dimensional bulk, for example a Kaluza–Klein (KK) spacetime with one compact direction, in which the effective macroscopic geometry is de Sitter-like and the would-be holographic screen is a four-manifold.
Concretely, let
be a semiclassical bulk which is asymptotically de Sitter in five dimensions, or more generally a KK bulk whose late-time screen
is a four-dimensional Euclidean manifold, for instance
, or
when the KK circle survives on the screen. Suppose one attempts to formulate a strict holographic duality in which the late-time wavefunctional:
defines a local Euclidean
boundary QFT
on
, via the source-dependent generator:
with correlation functions obtained by functional differentiation with respect to the boundary sources
J. In this five-dimensional setting the purely dimensional obstruction that rules out a strict
identification is no longer automatic as it is now kinematically possible for a local boundary theory to be four-dimensional and hence to accommodate a
-dimensional Lorentzian QFT after Wick rotation, provided the Euclidean theory is reflection positive.
However, the reflection-positivity, unitarity is the obstruction that arises from the analytic continuation structure of de Sitter holography persists, and in fact becomes sharper when the boundary dimension is even. The relevant point is that the late-time generating functional in de Sitter is related, at the level of nonlocal data, to the corresponding AdS functional by a universal phase. Abstractly, for boundary dimension
d one has a relation of the form:
where local denotes contact terms that do not affect the nonlocal kernel controlling reflection positivity. To test unitarity in the Euclidean boundary theory, one imposes the OS reflection-positivity condition. Let
denote Euclidean time reflection
composed with Hermitian conjugation. Then for any polynomial functional
supported in
, reflection positivity requires:
In a Gaussian sector generated by a quadratic functional:
this is equivalent to positivity of the reflection form:
The phase relation (
60) implies at quadratic order that the de Sitter kernel is related to the AdS kernel by:
Now take
, which is the boundary dimension relevant to a five-dimensional bulk. Then:
so the nonlocal kernel undergoes a purely imaginary phase rotation:
If the AdS dual kernel is OS-positive, then
defines a positive reflection form in (
63). Multiplication by
cannot preserve positivity: the reflected quadratic form becomes generically purely imaginary for nonzero test functions supported in
, and hence cannot satisfy the real inequality (
61). Local counterterms cannot remove this obstruction because they only contribute contact terms and do not modify the nonlocal kernel that governs reflection positivity. Therefore, under the same locality and OS-positivity hypotheses used in the four-dimensional argument, the late-time boundary object extracted from
is generically not a unitary Euclidean QFT in
, and so it cannot furnish a strict, unitary
boundary dual.
The conclusion is that passing to a KK or otherwise five-dimensional de Sitter-like bulk does remove the simple dimensional mismatch that forbids a -dimensional target in a boundary construction, but it does not by itself rescue a strict holographic identification with the Standard Model. A strict boundary duality would require either a nonstandard relaxation of OS reflection positivity, or a weakening of the locality/dictionary assumptions so that the boundary object is not an ordinary unitary local QFT in four Euclidean dimensions.
This is distinct from higher-dimensional brane-world or double-holographic constructions, in which the Standard Model is realized as a genuine -dimensional theory living on a dynamical four-dimensional brane inside a five-dimensional bulk. Such scenarios can be consistent because they do not assert that the Standard Model is the literal boundary dual living on the asymptotic late-time screen of a pure de Sitter universe, rather, they place the Standard Model on an internal four-dimensional locus while bulk curvature data may be encoded holographically in an auxiliary way. This type of mechanism lies outside the strict boundary identification targeted by the present no-go theorem.