Continuous Relative Completions

• Continuous relative completions are a categorical toolkit that extends mathematical structures by functorially adjoining limit endpoints to capture asymptotic behavior.
• They provide universal extension properties in contexts such as dynamical systems, Tannakian categories, and uniform completions, unifying topology, algebra, and arithmetic geometry.
• Applications include clarifying the behavior of flows with ideal ends and supporting nonabelian techniques in Diophantine finiteness and representation theory.

Continuous relative completions are a broad categorical toolkit for extending objects—dynamical systems, vector lattices, or fundamental groups—by functorially adjoining points, elements, or group data in a manner regulated by topology, order, or representation theory. The concept first arose in dynamical systems as “continuous relative completions” of flows via exterior spaces, but has since found deep application in Tannakian categories (arithmetic geometry, nonabelian cohomology), as well as in the theory of vector lattices and uniform completions. The unifying thread is the canonical, often universal, process of adjoining limit or end-points relative to a given structure, thereby enabling a finer description of topological, algebraic, or dynamical asymptotics.

1. Continuous Relative Completions in Dynamical Systems

In the context of continuous flows, a continuous relative completion is a functorial construction that extends a flow $(X, \varphi)$ to an augmented flow $\check C_{\mathrm r}(X)$ (right-completion) or $\check C_{\mathrm l}(X)$ (left-completion) by appending "ideal ends" associated to asymptotic trajectory behavior.

Given a flow $X = (X, \varphi)$, with $\varphi: \mathbb{R} \times X \to X$ a continuous action, one defines the $r$-externology $\mathcal{E}^{\mathrm r}(X)$ as the family of open sets $U$ such that for each $x \in X$ there exists $T$ so that $\varphi(t, x) \in U$ for all $t \geq T$; similarly, one defines $\mathcal{E}^{\mathrm l}(X)$ for $t \leq -T$. An exterior space is a pair $(X, \mathcal{E})$ of a topological space and an externology (family of exterior opens) that is upward-closed and closed under finite intersections.

The construction forms the Čech-type completion $\check C^o(X)$ as a pushout (colimit) in the category of exterior spaces: $$\check C^o(X) = X \underset{L(X)}{\coprod} \check\pi_0(X)$$ where $L(X) = \varprojlim_{E \in \mathcal{E}} E$ (the limit space) and $$\check\pi_0(X) = \varprojlim_{E \in \mathcal{E}} \pi_0(E)$$ (the end space), with $\pi_0(E)$ the path components. The universal property ensures that every exterior map from $X$ to a complete exterior space $Y$ factors canonically through $\check C^o(X)$.

Applying this to $r$- and $l$-externologies and then forgetting to the underlying topological space yields the continuous relative completions of the flow: $$\check C_{\mathrm r}(X) := \left( \check C^o(X^{\mathrm r}) \right)_t, \qquad \check C_{\mathrm l}(X) := \left( \check C^o(X^{\mathrm l}) \right)_t$$ with canonical, flow-equivariant maps $\eta^{\mathrm r}_X: X \to \check C_{\mathrm r}(X)$ and $\eta^{\mathrm l}_X: X \to \check C_{\mathrm l}(X)$. These completions systematically encode the topology and the dynamical asymptotics—such as $\omega$-limits, attractors, and rest points—in the completed flow's structure (Calcines et al., 2012).

2. Categorical and Universal Properties

The construction of continuous relative completions is fully functorial and universal in a categorical sense. In the flow setting, the completion functor $\check C^o$ is left adjoint to the inclusion of complete exterior spaces: for any complete $Y$, every map $X \to Y$ uniquely extends $\check C^o(X) \to Y$. Analogous universal properties also arise in the theory of uniform completions of vector lattices, and in the Tannakian formalism of relative completion.

In the arithmetic-geometric context, the relative completion $G^{\rm rel}$ of a group $G$ relative to a homomorphism $\rho: G \to R(k)$ (with $R$ reductive) is the initial object in the category of pro-algebraic extensions of $R$ by pro-unipotent groups receiving a map lifting $\rho$. Concretely, $G^{\rm rel}$ fits into the extension: $1 \to U \to G^{\rm rel} \xrightarrow{\pi} R \to 1$ together with a canonical map $\iota: G \to G^{\rm rel}(k)$ with $\pi\circ\iota = \rho$ (Kantor, 2020, Corwin et al., 2024).

In both settings, the continuous relative completion not only augments the object but reflects a universal gateway for morphisms from the source into the relevant structural category (flows, vector lattices, Tannakian categories).

3. Explicit Constructions and Topological–Dynamical Interplay

In dynamical systems, the $\check C_{\mathrm r}(X)$ completion appends to $X$ an end-space $\check\pi_0(X^{\mathrm r})$ representing equivalence classes of "escaping" future trajectories. The topology of the completion is generated by neighborhoods from both $X$ and the ends, with carefully controlled "mixed" neighborhoods to ensure continuity between the original and the adjoined points.

The dynamics of the original flow are faithfully reflected and often clarified in the completion:

• Every non-precompact trajectory $t \mapsto \varphi(t, x)$ ($t \to +\infty$) converges in the completion to a corresponding point in the end-space.
• The limit flow $L(\check C_{\mathrm r}(X))$ coincides with the set of critical points (rest points).
• In Hausdorff settings, the space of periodic points, rest points, and $\omega_{\mathrm r}$-limits coincide:

$C(X) = P(X) = \omega_{\mathrm r}(X)$

where $C(X)$ is the set of critical points and $P(X)$ the periodic points.

• $C(X)$ forms a global weak attractor in $\check C_{\mathrm r}(X)$, and becomes the minimal global attractor in the compact, Hausdorff case.

Examples include:

• Gradient flows on compact manifolds, where the completion $\check C_{\mathrm r}(M)$ collapses ideal ends to the set of rest points.
• The escape flow $\dot x=1$ on $\mathbb{R}$, where $$\check C_{\mathrm r}(\mathbb R) = \mathbb{R} \sqcup \{\infty\}$$ attaches a single end at $+\infty$ (Calcines et al., 2012).

4. Relative Completions in Algebraic and Arithmetic Geometry

Relative completion has become a central organizing principle in the interface between the Chabauty–Kim method and period-domain approaches (Lawrence–Venkatesh) in Diophantine geometry (Kantor, 2020, Corwin et al., 2024). Given a profinite group $G$ (typically a Galois group or a geometric fundamental group) and a Zariski-dense homomorphism into a reductive group $R$, the continuous relative completion $G^{\rm rel}$ enables a functorial interpolation between pure unipotent (Chabauty–Kim) and pure reductive (period domain) techniques.

Key features:

• The Tannakian group $\pi_1(\Rep_k(G)^{\rm rel},\omega)$ encodes all $G$-representations graded (via a finite filtration) so that the associated graded factors through $R$.
• In realizations (Betti, de Rham, étale, p-adic), the relative completion reflects arithmetic and geometric monodromy structure, with the pro-unipotent radical capturing extensions and the reductive quotient encoding "motivic" symmetries.
• The coordinate ring $\mathcal{O}(G^{\rm rel})$ is constructed as the colimit of duals of endomorphism spaces over the category of relevant representations and equipped with Hopf algebra structure.

In practice, continuous relative completion is crucial for encoding both the unipotent and reductive aspects of periods, Selmer stacks, and moduli of admissible torsors, enabling finer control over nonabelian cohomological invariants and providing a setting for Diophantine finiteness theorems (Kantor, 2020, Corwin et al., 2024).

5. Relations to Uniform Completions in Vector Lattices

Continuous relative completions have categorical analogs in the theory of unital Archimedean vector lattices. Four uniform-type completions exist:

• Ordinary uniform completion (regulated by the unit),
• Inner relative uniform (iru) completion (regulated by arbitrary positive elements in the lattice),
• Outer relative uniform (oru) completion (regulated by positive elements in a containing superlattice),
• $\ast$-completion (uniform on specified quotients, derived from compactifications).

Each completion is distinguished by the choice of "regulator" for Cauchy nets and forms a monoreflective (universal) subcategory. For example, iru-completeness and ordinary uniform completeness coincide; oru-completeness corresponds to epicompleteness and is modeled by reflection into powers of the real numbers over a $P$-frame. The pointfree Yosida adjunction provides a common formalism for these completions, analogous to the universal properties in the flow and Tannakian settings (Ball et al., 2024).

6. Applications in Arithmetic Geometry and Diophantine Finiteness

Continuous relative completions have been central to recent advances in Diophantine geometry, where they unify disparate techniques:

• They allow nonabelian Chabauty–Kim methods to be extended by adding a reductive quotient, facilitating the application to curves for which the unipotent completion is trivial (e.g., $SL_2(\mathbb{Z})$).
• In the Unipotent Chabauty–Kim–Kantor method, the unipotent radical of the relative completion associated to a Kodaira–Parshin family forms the target of the $p$-adic period map. This structure enables new conditional proofs of Faltings' and Siegel's theorems and supports effective strategies for explicit computation of rational points on high-genus curves.
• The period maps constructed via relative completion are Zariski-dense, and the associated Selmer stacks and period domains can be made representable, allowing dimension estimates to infer finiteness of $S$-integral points. An explicit dimension inequality between Selmer and period domains is equivalent to Diophantine finiteness for curves:

$\dim H^1_f(G_T,\mathcal{U}_n^{\et}) + \dim \mathcal{F}^0\mathcal{G}_n^{\mathrm dR} + \dim (\mathcal{G}_n^{\mathrm dR})^{\varphi=1} < \dim \mathcal{G}_n^{\mathrm dR}$

This unifies and generalizes previous Chabauty–Kim and Lawrence–Venkatesh arguments (Corwin et al., 2024).

7. Outlook and Further Directions

Continuous relative completions remain an active area for generalization and refinement:

• In dynamical systems, replacing path components by connected components in the definition of end-space yields alternate completions.
• Hybrid completions and additional gluing constructions are under exploration to capture different asymptotic phenomena.
• Applications to stability, shape theory, and the Conley index in topological dynamics are ongoing.
• In arithmetic geometry, further systematization of Selmer stack representability and period map effectivity in the relative completion framework is expected to yield substantial progress toward effective Mordell-type finiteness results.

Across all domains, continuous relative completions serve as a canonical, functorial tool for adjoining and analyzing limit objects, providing deep connections between topology, algebra, dynamics, and arithmetic geometry (Calcines et al., 2012, Kantor, 2020, Corwin et al., 2024, Ball et al., 2024).