← All papers

PTG IV

PTG IV: Transport Horizons and Boundary Geometry

Graham Fincham, Daniel Hilton

Original research seriesPublic manuscript availableJournal-review status not confirmed.

Earlier research paper

Earlier research paper

This paper remains available as part of the development of Phase Differential Theory. The R00–R13 foundational suite provides the current formulation of the theory. Read this paper in its original model and publication context.

Current foundational treatment

Specific claim correctedPrincipal topic: Gravitational dynamics.

Transport horizons relate to gravitational dynamics in R10.

Specific qualification: Limiting horizon requires further conditions.

A topic connection does not mean that every claim in this paper is retained or that a current paper reproduces its proof.

Context for this earlier argument

Limiting horizon requires further conditions

The convergence and regularity requirements for the limiting horizon are not stated. Ordinary integration against an identically zero measure cannot yield nonzero invariants, so the construction needs those conditions made explicit.

Current context

A present-day website summary. It is not part of the original manuscript.

PTG IV asks what the failure of completeness leaves behind. Each incomplete congruence ends on a canonical terminal hypersurface, the transport horizon, that carries a limiting transport direction, a limiting transverse bundle, and a degenerate capacity measure. We prove the horizon exists, is smooth, has a unique limiting direction independent of approach, and is structurally stable under perturbations of the generator. This is the boundary object PDT uses in place of a classical event horizon, and it is the support on which the entropy and membrane flow of later papers live.

Original abstract

Preserved from the original manuscript.

We develop the boundary geometry associated with incomplete transport congruences in Phase Transport Geometry. Building on the incompleteness theorems of Phase Transport Geometry III, we show that the failure of transport completeness induces a canonical terminal hypersurface equipped with a limiting transport direction, a limiting transverse structure, and a degenerate capacity measure. This hypersurface, called a transport horizon, arises as the boundary of transported hypersurfaces approaching the focusing parameter. We establish the existence, smoothness, and structural properties of transport horizons and prove their stability under perturbations of the transport generator.

Claims stated in the original paper

  1. 01
    Every incomplete twist-free transport congruence terminates on a unique smooth transport horizon with a well-defined limiting direction.
  2. 02
    The capacity measure on a transport horizon is identically zero, distinguishing it from any ordinary smooth hypersurface.
  3. 03
    Transport horizons are structurally stable: small admissible perturbations of the generator deform the horizon smoothly.

Full paper

Introduction

PTG III established that twist-free transport generators with negative initial expansion cannot be extended indefinitely when emanating from hypersurfaces of finite transport capacity. The purpose of this paper is to analyse the geometric boundary induced by this incompleteness.
We show that the transported hypersurfaces converge to a smooth terminal hypersurface with vanishing capacity and a canonical limiting transport direction. This hypersurface, called a transport horizon, carries a natural boundary geometry derived from the limiting behaviour of the congruence.

Preliminaries

Let S be a transversely admissible hypersurface of finite transport capacity, and lal^{a} a twist-free generator with F(lal^{a}) ≥\geq 0 and θ\theta < 0 on S. The transported hypersurface at parameter λ\lambda is <<S_{\λ\lambda} :=>> { γp(λ)\gamma_{p}(\lambda) : p in S }. From PTG III there is finite λ⋆\lambda_{\star} with θ→\theta \to -∞\infty and J(<<S_{\λ\lambda}>>, l) →\to 0 as λ→λ⋆\lambda \to \lambda_{\star}.

Formation of the transport horizon

Candidate limiting hypersurface

S⋆S_{\star} is the closure of the union of <<S_{\λ\lambda}>> for λ\lambda < λ⋆\lambda_{\star}, minus that union. It is non-empty (nested family with finite limit parameter), and smooth (smooth limits of embedded hypersurfaces).

Limiting direction

For any sequence λn→λ⋆\lambda_{n} \to \lambda_{\star}, the limit ka:=lim⁡la^(λn)k^{a} := \lim \hat{l^{a}}(\lambda_{n}) exists, is non-zero, and is independent of the approach sequence. Normalisation gives boundedness; smoothness of lal^{a} and the cone structure give convergence; uniqueness follows from smooth convergence of <<S_{\λ\lambda}>>.

Definition of the transport horizon

The transport horizon is S⋆S_{\star} equipped with: the limiting direction field kak^{a}, the limiting transverse bundle T⋆T_{\star}, and the degenerate capacity measure μ⋆\mu_{\star}.

Boundary geometry

Intrinsic geometry

S⋆S_{\star} inherits a smooth intrinsic geometry from the transported hypersurfaces.

Transverse geometry

The transverse bundles converge smoothly to T⋆T_{\star} on S⋆S_{\star}, since they are defined by orthogonality to lal^{a} which converges to kak^{a}.

Degenerate capacity measure

The limiting capacity measure μ⋆\mu_{\star} is identically zero (capacity collapse).

Stability under perturbations

Let la~\tilde{l^{a}} = lal^{a} + ϵva\epsilon v^{a} be a perturbed admissible generator. The perturbed focusing parameter satisfies |tilde λ⋆\lambda_{\star} - λ⋆\lambda_{\star}| = O(ϵ\epsilon). The perturbed capacity collapses. The perturbed horizons S⋆~\tilde{S_{\star}} converge smoothly to S⋆S_{\star}, and the limiting directions ka~→ka\tilde{k^{a}} \to k^{a}, as ϵ→\epsilon \to 0.

Structural stability

The boundary data (TS⋆TS_{\star}, T⋆T_{\star}, kak^{a}) are stable under admissible perturbations.

Discussion

Incomplete transport congruences induce a canonical terminal hypersurface equipped with a limiting direction, a limiting transverse structure, and a degenerate capacity measure. These transport horizons are the boundary objects for the quasi-local invariants and monotonicity structures in PTG V and VI.

Suggested citation

Graham Fincham, Daniel Hilton. “PTG IV: Transport Horizons and Boundary Geometry.” Phase Differential Theory research programme. https://www.phasedifferentialtheory.com/papers/ptg-iv

@misc{pdt_ptg_iv,
  title = {PTG IV: Transport Horizons and Boundary Geometry},
  author = {Graham Fincham and Daniel Hilton},
  url = {https://www.phasedifferentialtheory.com/papers/ptg-iv}
}

No DOI recorded. No repository record verified. Journal-review status not confirmed.