Solid Realization Functor

• Solid realization functor is a structure-preserving tool that bridges categorical frameworks with strict geometric and analytic models using enhanced limit and colimit properties.
• It enforces strict gluing conditions and face-inclusions in settings such as relational presheaves, condensed modules, and motivic frameworks, ensuring high rigidity.
• Its application extends to homotopy theory and sheaf-theoretic six-functor formalisms, providing a precise method to realize CW-complex analogues and related constructions.

A solid realization functor is a structure-preserving functor that realizes objects from a categorical, typically combinatorial, setting as “solid” geometric, algebraic, or condensed analytic objects, with solidity corresponding to additional strictness, limit preservation, or gluing conditions. The notion of “solid realization” arises in several advanced mathematical frameworks, notably in the geometric realization of relational presheaves, solid modules in condensed mathematics, and motivic contexts where realization functors strengthen classical constructions to reflect more rigid or “face-exact” gluings. The solid realization functor bridges categorical logic, homotopy theory, six-functor formalisms, and condensed structures by encoding colimit and limit compatibility, strictness properties analogously to PL- or CW-complexes, and compatibility with motivic or cohomological operations.

1. Categorical Foundations: Relational Presheaf Realization

Relational presheaves generalize classical presheaves on a small category $C$ by allowing values in the category Rel (sets and binary relations) via lax functors, as opposed to functors to Set. The fundamental data for a relational presheaf $P: C^{\mathrm{op}} \to \mathrm{Rel}$ consists of sets $P(c)$ for objects $c \in C$ and relations $P(f) \subset P(c) \times P(d)$ for arrows $f: d \to c$, satisfying identity and composition conditions up to inclusion rather than strict equality.

The category $\mathrm{RelPSh}(C)$ is shown to be equivalent to the category of set-based models for a finitary cartesian theory $T^\mathrm{Rel}_C$, generated by sorts indexed by $\mathrm{Ob}(C)$ and relation symbols for each $f: d \to c$ with axioms encoding reflexivity and lax composition. Realizations in a cocomplete category $D$ correspond to cocontinuous functors $R: \mathrm{RelPSh}(C) \to D$, which datawise are specified by a $T^\mathrm{Rel}_C$-model in $D^{\mathrm{op}}$—notably, objects $M(c)$ and $M(R_f)$ in $D$ and maps $\iota_f^0, \iota_f^1$ satisfying regular epi, reflexivity, and composition conditions [(A),(B),(C)] which echo face-gluing, covering, and intersection properties of geometric realizations (Chamoun et al., 9 Dec 2025).

2. Solid Realization in the Relational Presheaf Framework

The concept of a “solid” realization functor emerges by strengthening the conditions on the underlying $T^\mathrm{Rel}_C$-model. Specifically:

• Strict face-inclusion: Each $\iota_f^0 \sqcup \iota_f^1$ is required to be a pushout of a monomorphism (not merely a regular epi), so $M(R_f)$ is a strict subobject in $D^{\mathrm{op}}$.
• Exact identities: Identities $M(c) \xrightarrow{\sim} M(R_{id_c})$ are isomorphisms.
• Strict transitivity: The composition factorization in (C) is enforced as an isomorphism after a further pullback.

Realization functors satisfying these enhanced axioms preserve more limits (not just colimits or those limits computed pointwise), and their images reflect the combinatorial structure with high rigidity—mirroring classical “cellular” or PL-topological constructions such as CW-complexes. Solid realization functors thus induce and reflect equivalences between strict subcategories of relational presheaves and subcategories of $D$—for instance, the category of polyhedra inside topological spaces. In standard settings (simplicial, cubical, or CW-objects), the associated geometric realization is solid in this sense (Chamoun et al., 9 Dec 2025).

3. Solid Realization Functors in Condensed and Motivic Settings

Solid realization functors also appear in the context of condensed mathematics, notably through Clausen–Scholze’s theory of solid modules and the solidification of sheaf categories. For a presentable condensed ∞-category $C$ tensored over $\mathrm{Mod}_{\widehat{\mathbb{Z}}}$, the “solidification” process constructs $$C^{\mathrm{solid}} := C \otimes_{\mathrm{Mod}_{\widehat{\mathbb{Z}}}} \mathrm{Solid}_{\widehat{\mathbb{Z}}}$$, and the solid realization functor $(–)^{\mathrm{solid}}$ is left adjoint to the inclusion of solid modules.

In motivic homotopy theory, for a scheme $X$ and a commutative ring $R$, the solid realization functor

$$\rho^{\mathrm{solid}}: \mathrm{DM}_{\mathrm{et}}(X;R) \longrightarrow D(X;R)^{\mathrm{solid}}$$

extends the classical $\ell$-adic realization, and is compatible with all six functor operations (pullback, proper and smooth pushforwards, exceptional functors, tensor, and Hom), reflecting a rigid compatibility between motivic and analytic or condensed sheaf-theoretic worlds. The rigidity theorem establishes that on constructible motives, this functor is an equivalence and commutes with base change and cohomological operations (Ruimy et al., 12 Jan 2026).

4. Universal Properties, Limit/Colimit Behavior, and Categorical Expressions

Solid realization functors are universally characterized as left adjoints to the fully faithful embeddings of “solid” objects within larger module or sheaf categories, and exhibit strong preservation properties:

• They are cocontinuous and preserve colimits by construction (left Kan extension).
• Under solidification hypotheses, they preserve appropriate finite limits (e.g., face-intersection pullbacks in the relational presheaf scenario, or finite (co)limits in the six-functor framework).
• In categorical terms, solid realization functors often arise from left Kan extension of a model $M_0$ along Yoneda embeddings, concretely: for $P \in \mathrm{RelPSh}(C)$,

$$R(P) = \mathrm{colim}_{(x \in P(c)) \in \int P} M(c)$$

where $\int P$ is the category of elements of $P$.

In condensed moduli theory, the solidification functor is the initial symmetric-monoidal $R$-linear left adjoint annihilating the kernel of the canonical inclusion $$\underline{\mathrm{Mod}}_{\widehat{\mathbb{Z}}} \to \mathrm{Solid}_{\widehat{\mathbb{Z}}}$$, mapping motives or modules to their solid analogues, and exhibiting a universal property that ensures full functorial compatibility across the relevant operations (Ruimy et al., 12 Jan 2026, Ren, 26 Jun 2025).

5. Representative Examples and Explicit Constructions

Solid realization functors encompass and generalize a rich range of concrete constructions:

• Relational graphs and precubical sets: The realization recovers glued-interval spaces with half-open endpoints (intervals $[0,1)$, $(0,1]$), or, for precubical sets, standard geometric realizations of cubical complexes, with the solid variant encoding face-intersections as strict pullbacks (Chamoun et al., 9 Dec 2025).
• Blowup operations in concurrency theory: The relational blowup construction via solid realization functor implements the “combinatorial blowup flags,” yielding directed topological spaces associated to discrete cubical models (Chamoun et al., 9 Dec 2025).
• Solid modules and extensions by zero: In algebraic geometry, Deligne’s $j_!$ functor on pro-coherent systems matches via the solid realization functor with the Clausen–Scholze solid extension by zero, providing full exact embeddings of Mittag–Leffler pro-modules into solid modules, which retain strict homological control and compatibility with six functors (Ren, 26 Jun 2025).
• Motives with modulus: The solid realization functor for motives with modulus assigns to a modulus pair $(X, D)$ a complex of solid $A$-modules via pushforward and exceptional pullback, with the dual identifying the analytic Hodge realization. In open/closed decompositions, the functor computes the formal completion along boundaries and commutes with formal gluing (Matsumoto, 15 Oct 2025).

6. Applications and Structural Implications

Solid realization functors are foundational in several advanced mathematical settings:

• They provide precise bridges between combinatorial/categorical and geometric/analytic frameworks, facilitating comparison of syntactic and geometric models.
• In condensed mathematics, they are crucial for extending the six-functor formalism—restoring missing operations (e.g., $j_!$) for open immersions, and ensuring fullness and exactness in the passage from pro-systems to solid objects.
• In motivic and cohomological contexts, they enable construction of realization functors (including $\ell$-adic, pro-étale, and Hodge) with rigid compatibilities, base change, and duality statements—critical for modern approaches to sheaf and motive theory.
• In concurrency theory and directed geometry, solid realization functors afford precise geometric incarnations for generalized presheaves, especially useful in contexts lacking boundary regularity or exhibiting multi-boundary phenomena.

A plausible implication is that whenever realization functors interact robustly with both limits and colimits and enforce strict face-gluing compatibilities, the “solid” formalism is indispensable for achieving both uniqueness and full faithfulness in analytic or geometric representations.

7. Further Developments and Open Directions

Current research explores solid realization functors along several lines:

• Strengthening conditions to obtain equivalences between strict presheaf subcategories and polyhedral, solid, or analytic modules.
• Extending solid realization to other motivic or logarithmic settings, including p-adic and ℓ-adic contexts, formal completions, and moduli with ramification or degeneration.
• Developing the theory of solidification for presentable condensed categories, thus enabling further extensions to new types of coefficients and settings.
• Investigating compatibility with additional Gysin, duality, and excision operations, and analyzing the impact on relative cohomological invariants.

The notion of solidity in realization functors synthesizes gluing exactness, colimit and limit behavior, and strong functoriality, thereby generalizing and upgrading traditional geometric realization in both categorical logic and advanced sheaf-theoretic frameworks (Chamoun et al., 9 Dec 2025, Ruimy et al., 12 Jan 2026, Ren, 26 Jun 2025, Matsumoto, 15 Oct 2025).