Depends On
Overview
This derivation supplies a prerequisite for any thermal or tunneling calculation in the framework: what is the Euclidean continuation of the Coherence Lagrangian, and does it behave as standard Euclidean field theory on observer-projected spacetime?
The Lorentzian Coherence Lagrangian — scalar + gauge + gravity from Coherence Lagrangian Theorem 3.1, extended to the spinor sector via Spinor Coherence Lagrangian Theorem 2.7 — is the framework’s classical dynamics. Quantum effects in the semi-classical (WKB) limit, thermal field theory at Gibbons–Hawking temperature, and instanton/bounce amplitudes all require the Euclidean continuation. This derivation makes that continuation explicit.
The approach. Each observer projects its own Lorentzian static de Sitter patch (from Observer-Projected Spacetime Theorem 3.1). The patch has a distinguished static Killing vector — the generator of ‘s own rest-frame time translations — which fixes the Wick rotation unambiguously. Absence of conical singularity at the horizon determines the Euclidean time periodicity, reproducing the Gibbons–Hawking inverse temperature . The Euclidean Coherence Lagrangian is then the standard Wick-rotated form of the Lorentzian Lagrangian, with fermion fields treated as independent Grassmann variables and anti-periodic in Euclidean time.
The result. The Euclidean Coherence Lagrangian is explicit on each observer’s Euclidean patch , with:
- Bosonic action bounded below (modulo the Gibbons–Hawking–Perry conformal-mode treatment).
- Fermionic action producing the expected Grassmann determinants and Pfaffians.
- Lichnerowicz identity on the Euclidean de Sitter background.
- Cross-observer compatibility via the presheaf structure of observer-projected spacetime.
Why this matters. The Euclidean Coherence Lagrangian is the object used by Coherence Bounces to compute WKB tunneling amplitudes and by any future thermal field theory work in the framework (finite-temperature bootstrap analysis, early-universe crystallization, KMS state structure on observer-projected patches).
Statement
Theorem. Under the Wick rotation on each observer’s projected static de Sitter patch , the Lorentzian Coherence Lagrangian (scalar + gauge + gravity + spinor sectors) admits an unambiguous Euclidean continuation with the following properties:
- The rotation is fixed by the static Killing vector of — a framework-intrinsic object.
- Absence of conical singularity at the horizon forces to be periodic with period , giving Gibbons–Hawking temperature .
- The Euclidean bosonic action is positive-definite on the scalar and gauge sectors; the gravitational sector requires the standard Gibbons–Hawking–Perry conformal-mode treatment.
- The Euclidean fermionic action takes the standard Grassmann form with independent and -anti-periodic; Majorana fermions contribute via Pfaffians, Dirac fermions via determinants.
- Cross-observer consistency on shared Type III relational content is inherited from the observer-projected-spacetime presheaf structure — no additional postulate required.
Derivation
Step 1: Wick rotation on a single observer’s patch
Setup. By Observer-Projected Spacetime Theorem 3.1, observer ‘s projected continuous dual is the static patch of 4D de Sitter space with de Sitter radius :
The static Killing vector is ; timelike in the interior and null on the horizon.
Proposition 1.1 (Wick rotation). The Euclidean continuation of is
under . This metric is positive-definite for and is uniquely fixed by the static Killing vector .
Proof. Positive-definiteness is direct: each diagonal entry of is positive on the stated domain. Uniqueness follows from static-patch rigidity: any other timelike Killing vector on coincides with up to a constant rescaling (standard result; see Hawking–Ellis, The Large Scale Structure of Space-Time, §6.3).
Proposition 1.2 (Euclidean periodicity). To avoid a conical singularity at the horizon , the Euclidean time coordinate must be periodic with period
Equivalently, the Gibbons–Hawking temperature is .
Proof. Near the horizon, set with small . Expanding: . Change radial coordinate to ; then and the near-horizon metric reduces to
Setting , the plane is Euclidean flat with polar coordinates. Absence of conical defect requires to be -periodic, hence is -periodic.
Remark 1.3 (boundary conditions for fields). Standard thermal-field-theory rules apply on the Euclidean patch: bosonic fields (scalars, gauge fields, metric perturbations) are -periodic with period ; fermionic fields are -anti-periodic with period . The anti-periodicity is universal for KMS thermal states at finite temperature and carries through from standard flat-space thermal field theory unchanged.
Step 2: Euclidean bosonic Lagrangian
Proposition 2.1 (Euclidean continuation of the bosonic sectors). Under the Wick rotation of Proposition 1.1, the bosonic sectors of the Coherence Lagrangian transform as:
Scalar sector. The Lorentzian kinetic term (signature ) becomes, with :
with positive-definite and unchanged (potentials are Wick-invariant scalars).
Gauge sector. The Yang–Mills kinetic term becomes under the Wick rotation, with indices raised by .
Gravity sector. The Einstein–Hilbert term becomes . On the Euclideanized static de Sitter patch, (constant positive scalar curvature of -type).
Total Euclidean bosonic action:
The scalar and gauge contributions are manifestly non-negative; the gravity sector requires the Gibbons–Hawking–Perry conformal-mode treatment (Gibbons–Hawking–Perry 1978).
Proof. Each term is the direct Wick rotation of the corresponding Lorentzian term via the standard rules: (hence ), , (flat-space reduction; on curved the metric replaces ). The sign convention renders the scalar kinetic term positive; the gauge kinetic term changes sign relative to Lorentzian because in Minkowski and the electric-field term flips under Wick rotation. Full details in Weinberg QFT Vol. II §23.2.
Step 3: Euclidean fermionic Lagrangian
Setup. From Spinor Coherence Lagrangian Theorem 2.7, the Lorentzian Dirac action on is
with in signature .
Proposition 3.1 (Euclidean Dirac action). Under the Wick rotation of Proposition 1.1 and standard Euclidean conventions, the Dirac action on is
where:
- The Euclidean gamma matrices satisfy (positive-definite signature), with and .
- and are treated as independent Grassmann fields — not hermitian conjugates (standard Euclidean Dirac convention; see Zinn-Justin, Quantum Field Theory and Critical Phenomena, §5.1).
- is the -covariant Dirac operator with spin connection from the tetrad.
- is -anti-periodic with period (Remark 1.3).
Proof. Direct Wick rotation of the Dirac action (Zinn-Justin §5.1; Peskin–Schroeder §9.6). The convention gives . The Lorentzian kinetic piece becomes (real under Euclidean conjugation, as required). The mass term’s sign follows from the convention.
Proposition 3.2 (Euclidean Majorana action). For a Majorana field satisfying the Majorana condition (from Spinor Coherence Lagrangian Theorem 5.3 or Neutrino Masses Theorem 1.3), the Euclidean action on is
with the charge-conjugation matrix. The factor of reflects the Majorana condition; Grassmann Gaussian integration yields a Pfaffian rather than a determinant.
Proof. Standard Euclidean Majorana formalism (Wetterich 1990; Zinn-Justin §5.1).
Proposition 3.3 (Euclidean Lichnerowicz identity). The square of the Euclidean Dirac operator on is
where the last equality uses for the Euclidean de Sitter patch. The Laplacian is negative-semi-definite in Euclidean signature.
Proof. Direct application of the Lichnerowicz identity (Lawson–Michelsohn, Spin Geometry, §II.8) in Euclidean signature using for the 4-sphere-like curvature at radius .
Remark 3.4 (Grassmann path integration). The Euclidean Dirac action is bilinear in Grassmann fields . The path integral
is Grassmann Gaussian and evaluates to — a determinant in the numerator, not the denominator as for bosonic Gaussian integrals. The Majorana case gives a Pfaffian . These determinantal factors are the fermion one-loop prefactors multiplying any bosonic-sector bounce saddle and are the source of, e.g., the top-quark contribution to the Standard Model Higgs effective potential.
Step 4: Cross-observer consistency
Setup. The Wick rotation of Proposition 1.1 is defined on each observer’s patch individually, using that observer’s own static Killing vector. For observers sharing a Type III relation with restriction morphism (from Observer-Projected Spacetime Definition 1.2), the induced Wick-rotated restriction between the Euclidean patches must be consistently defined.
Proposition 4.1 (Cross-observer compatibility). The induced Wick-rotated restriction morphism
is well-defined. Both sides identify the same level- relational content at their common slice. No additional postulate is required; the compatibility is inherited from the observer-projected-spacetime presheaf structure.
Proof. The Type III relation carries level- relational coherence content (Coherence Conservation Proposition 5.7). On , this content lives on a distinguished timelike worldline with periodicity ; on , on with periodicity . Each patch’s Wick rotation acts on its own static Killing vector ( for ; for ) and Wick-rotates its own partner line with respect to its own ambient time structure. The restriction morphism identifies the two resulting Euclidean worldlines as the same relational invariant content embedded into the two patches’ Euclidean sections; the relational coherence (a scalar quantity) is invariant under the embedding, so the identification is consistent at the level of Euclidean action integrals over the shared content.
Remark 4.2. This is a weaker claim than “the two Euclidean patches glue into a single Euclidean manifold” — the framework’s observer-projected structure does not admit a single global Euclidean spacetime any more than it admits a single global Lorentzian one. What Proposition 4.1 establishes is that the relational content — which is all that enters bounce-action integrals and other observables of physical interest — is invariantly defined across observers.
Step 5: Boundedness
Proposition 5.1 (Boundedness of the bosonic action). For scalar fields satisfying (which holds by Coherence Lagrangian Theorem 2.2(a)), gauge fields with finite norm, and metric configurations near the classical background, the bosonic Euclidean action is bounded below, with the gravitational sector handled by the standard Gibbons–Hawking–Perry prescription.
Proof. Each of the scalar kinetic, scalar potential, and gauge kinetic terms is manifestly under Euclidean positive-definite contractions. The gravitational action’s conformal-mode problem is resolved by contour deformation along the imaginary axis for the conformal factor (Gibbons–Hawking–Perry 1978), giving a bounded path integral. At the level of bounce calculations for sub-Planckian fields, gravitational fluctuations are suppressed by and the conformal-mode issue does not affect leading-order results.
Remark 5.2 (fermion sector). The Euclidean fermion action is bilinear in Grassmann variables and has no conventional “positivity” — the relevant criterion is the determinant of (Dirac) or the Pfaffian (Majorana). These are non-zero for generic mass on by the Lichnerowicz identity (Proposition 3.3): the operator’s spectrum avoids zero when (the cosmological-scale fermion mass, negligible for fundamental particles).
Physical Interpretation
| Framework concept | Standard physics |
|---|---|
| Static Killing vector | Observer’s rest-frame time |
| Wick rotation | Euclidean time |
| Conical-singularity avoidance at horizon | Hawking’s original argument for BH temperature |
| Gibbons–Hawking period | Thermal inverse temperature of the vacuum |
| Euclidean | Static-patch 4-sphere (de Sitter Euclidean continuation) |
| Grassmann anti-periodic | Thermal fermion boundary conditions |
| Lichnerowicz identity | Dirac operator square on curved manifold |
| Cross-observer compatibility | Presheaf agreement on shared content |
Consistency Model
Theorem 6.1. On the minimal observer’s projected patch (de Sitter radius ), the Euclidean Coherence Lagrangian reproduces standard thermal de Sitter field theory with Gibbons–Hawking temperature .
Verification:
- Wick rotation (Proposition 1.1) gives the standard Euclidean de Sitter metric on the static patch.
- Periodicity (Proposition 1.2) matches the standard Gibbons–Hawking (1977) result.
- Boson/fermion boundary conditions (Remark 1.3) match standard KMS thermal field theory.
- Lichnerowicz identity (Proposition 3.3) with matches standard curvature result.
*All structural elements reduce to standard thermal de Sitter QFT in the appropriate limit.
Rigor Assessment
Fully rigorous:
- Propositions 1.1, 1.2: Wick rotation and Gibbons–Hawking period (standard de Sitter thermal field theory)
- Propositions 2.1, 3.1, 3.2: Euclidean bosonic and fermionic actions (standard QFT Wick-rotation rules)
- Proposition 3.3: Lichnerowicz identity Lichnerowicz, 1963
- Proposition 4.1: Cross-observer compatibility (inherits from Observer-Projected Spacetime presheaf structure)
- Proposition 5.1: Bosonic boundedness Gibbons–Hawking–Perry, 1978
- Theorem 6.1: Consistency with standard thermal de Sitter QFT
Assessment: Derived. All structural content is standard QFT Wick-rotation applied to the framework’s already-derived Lorentzian Lagrangian. The framework-specific content — that the rotation lives on observer-projected spacetime rather than a shared background — inherits consistency from Observer-Projected Spacetime Definition 1.2. No structural postulates introduced.
Open Gaps
-
Euclidean–Lorentzian correspondence at cosmological scales. For observables with characteristic scale comparable to (cosmological scale), the simple Wick rotation may receive corrections from boundary conditions at the de Sitter horizon. Addressing these requires Coleman–De Luccia-type analysis of bubble nucleation on curved backgrounds. Not relevant for sub-cosmological bounces (fermion-mass scales) targeted by Coherence Bounces, but an open question for cosmological applications.
-
Infinite-dimensional rigor. The derivation assumes finite-dimensional observer Hilbert spaces. For quantum field theory (infinite-dimensional state spaces), the Wick rotation inherits the standard functional-analytic issues shared with all continuum QFT; no framework-specific new issues arise at this layer.