Rational Complete Segal Spaces

• Rational complete Segal spaces are complete Segal spaces whose mapping spaces have rational higher homotopy groups, effectively modeling rational (∞,1)-categories.
• The approach employs M-locality through multiplicative localization, suppressing torsion and enabling a homotopy-coherent structure with rationality in dimensions n ≥ 2.
• A Quillen equivalence is established between rational complete Segal spaces and rational Segal categories, unifying models for rational (∞,1)-categories within a cartesian framework.

Rational complete Segal spaces are one of the two models introduced for rational $(\infty,1)$-categories in “Models for rational $(\infty, 1)$-categories” (Chatzitheodoridis, 26 Sep 2025). In that framework, a rational $(\infty,1)$-category is an $(\infty,1)$-category enriched in spaces whose higher homotopy groups $\pi_n$, for $n\ge 2$, are rational vector spaces, and a rational complete Segal space is a complete Segal space whose mapping spaces are rational in precisely that sense. The construction is formulated more generally for localization at a multiplicative subset $M\subset \mathbb{Z}$, with the rational case obtained by taking $M=\mathbb{Z}\setminus\{0\}$ so that $M^{-1}\mathbb{Z}=\mathbb{Q}$ (Chatzitheodoridis, 26 Sep 2025).

1. Rational $(\infty,1)$-categories and $(\infty, 1)$0-locality

An ordinary $(\infty, 1)$1-category can be regarded as a category enriched in spaces: for each pair of objects $(\infty, 1)$2, there is a mapping space $(\infty, 1)$3, whose points encode 1-morphisms and whose higher homotopy encodes higher morphisms and homotopies. In the rational theory, the enrichment is restricted by a homotopical linearity condition on higher homotopy groups: a space $(\infty, 1)$4 is $(\infty, 1)$5-local if for all $(\infty, 1)$6, $(\infty, 1)$7 is an $(\infty, 1)$8-module, and $(\infty, 1)$9 is rational when $(\infty,1)$0, so that $(\infty,1)$1 is a rational vector space for every $(\infty,1)$2 (Chatzitheodoridis, 26 Sep 2025).

This formulation follows the framework of Gómez-Tato–Halperin–Tanré for rational homotopy of non-simply connected spaces. The resulting theory imposes no restriction on $(\infty,1)$3 or $(\infty,1)$4; only the higher groups $(\infty,1)$5, $(\infty,1)$6, are required to be localized. That flexibility is important because mapping spaces in $(\infty,1)$7-categories are often neither connected nor simply connected. A rational complete Segal space therefore models an $(\infty,1)$8-category whose mapping spaces are rational spaces in this non-simply-connected sense (Chatzitheodoridis, 26 Sep 2025).

The motivation parallels classical rational homotopy theory. Rationalization suppresses torsion phenomena and replaces part of the homotopy-theoretic complexity by linear algebra over $(\infty,1)$9. In the higher-categorical setting, this supports the study of homotopy-coherent structures up to rational equivalence and provides a model-categorical setting in which rational higher categories can be compared with other presentations of $(\infty,1)$0-categories (Chatzitheodoridis, 26 Sep 2025).

2. Complete Segal spaces as the ambient model

A simplicial space is a functor

$(\infty,1)$1

equivalently a bisimplicial set. For a simplicial space $(\infty,1)$2, the Segal maps

$(\infty,1)$3

are induced from the inclusions of the spine $(\infty,1)$4. A Segal space is a Reedy fibrant simplicial space for which all $(\infty,1)$5 are weak homotopy equivalences. A complete Segal space is a Segal space satisfying an additional completeness condition expressing that homotopy equivalences are detected at the level of objects (Chatzitheodoridis, 26 Sep 2025).

For completeness, let $(\infty,1)$6 be the category with two objects and a unique isomorphism between them, and $(\infty,1)$7. Then for a Segal space $(\infty,1)$8, the map $(\infty,1)$9 induces

$\pi_n$0

and $\pi_n$1 is complete when this is a weak homotopy equivalence. Rezk’s model structure $\pi_n$2 on simplicial spaces has monomorphisms as cofibrations, complete Segal spaces as fibrant objects, and weak equivalences detected by mapping into complete Segal spaces. Moreover, $\pi_n$3 is cartesian (Chatzitheodoridis, 26 Sep 2025).

The relevance of complete Segal spaces to the general theory of $\pi_n$4-categories is standard in the literature. Rezk’s nerve construction realizes relative categories with suitable fraction conditions as Segal spaces, and under saturation as complete Segal spaces after Reedy fibrant replacement (Low et al., 2014). The Yoneda formalism for complete Segal spaces, including the $\pi_n$5-category of spaces, left fibrations, and representable presheaves, is likewise available entirely within the complete Segal space model (Kazhdan et al., 2014). Rational complete Segal spaces are built by imposing rationality on mapping spaces inside this established ambient framework.

3. Definition of rational complete Segal spaces

If $\pi_n$6 is a complete Segal space, its objects are $\pi_n$7. For objects $\pi_n$8, the mapping space $\pi_n$9 is defined by the pullback

$n\ge 2$0

A complete Segal space $n\ge 2$1 is $n\ge 2$2-local if, for any two objects $n\ge 2$3, the mapping space $n\ge 2$4 is an $n\ge 2$5-local space. It is rational if, for any two objects $n\ge 2$6, $n\ge 2$7 is rational, meaning that $n\ge 2$8 is a $n\ge 2$9-vector space for all $M\subset \mathbb{Z}$0 (Chatzitheodoridis, 26 Sep 2025).

The definition is therefore entirely fiberwise on mapping spaces. Rationality is not imposed on the object space $M\subset \mathbb{Z}$1, nor on $M\subset \mathbb{Z}$2 of the mapping spaces. It is a condition on the higher homotopy of the homotopy-coherent morphism objects. This makes rational complete Segal spaces well adapted to the standard non-simply-connected phenomena of higher category theory (Chatzitheodoridis, 26 Sep 2025).

A plausible implication is that rational complete Segal spaces isolate the “rational part” of higher categorical composition without forcing a collapse of discrete or fundamental-group-level information. That reading is consistent with the paper’s emphasis on the Gómez-Tato–Halperin–Tanré framework and with its use of only the higher homotopy groups $M\subset \mathbb{Z}$3 for $M\subset \mathbb{Z}$4 in the definition of $M\subset \mathbb{Z}$5-locality (Chatzitheodoridis, 26 Sep 2025).

4. Model structure and cartesian property

The model structure for rational complete Segal spaces is obtained by left Bousfield localization of $M\subset \mathbb{Z}$6. For simplicial sets, the paper first constructs a model category $M\subset \mathbb{Z}$7 whose fibrant objects are $M\subset \mathbb{Z}$8-local Kan complexes, using local spheres $M\subset \mathbb{Z}$9 and a function-complex characterization of locality. For simplicial spaces, levelwise $M=\mathbb{Z}\setminus\{0\}$0-locality is encoded by the localization set

$M=\mathbb{Z}\setminus\{0\}$1

where $M=\mathbb{Z}\setminus\{0\}$2 is the functor collapsing the 0-simplices to a discrete set (Chatzitheodoridis, 26 Sep 2025).

The resulting theorem states that there is a combinatorial, left proper, simplicial model structure $M=\mathbb{Z}\setminus\{0\}$3 on simplicial spaces in which weak equivalences are those maps detected by mapping into $M=\mathbb{Z}\setminus\{0\}$4-local complete Segal spaces, cofibrations are monomorphisms, and fibrant objects are exactly the $M=\mathbb{Z}\setminus\{0\}$5-local complete Segal spaces. In the rational case, this yields a model category whose fibrant objects are the rational complete Segal spaces (Chatzitheodoridis, 26 Sep 2025).

A central structural property is that this localized model structure is cartesian. The proof uses Rezk’s criterion and shows that if $M=\mathbb{Z}\setminus\{0\}$6 is an $M=\mathbb{Z}\setminus\{0\}$7-local complete Segal space, then the exponential $M=\mathbb{Z}\setminus\{0\}$8 is again $M=\mathbb{Z}\setminus\{0\}$9-local. Consequently, $M^{-1}\mathbb{Z}=\mathbb{Q}$0, and in particular $M^{-1}\mathbb{Z}=\mathbb{Q}$1, is cartesian (Chatzitheodoridis, 26 Sep 2025).

This cartesian property matters because internal homs and exponentials are central to higher-categorical constructions. Related work on complete Segal spaces uses precisely this kind of cartesian and fibrational structure to formulate Yoneda embeddings, representable left fibrations, adjunctions, and limits [(Kazhdan et al., 2014); (Rasekh, 2018)]. In the rational setting, the paper’s result shows that rationalization does not destroy the cartesian model-categorical framework needed for those constructions.

5. Equivalence with rational Segal categories

The second model introduced in the paper is that of rational Segal categories. A Segal precategory is a simplicial space $M^{-1}\mathbb{Z}=\mathbb{Q}$2 whose $M^{-1}\mathbb{Z}=\mathbb{Q}$3-space $M^{-1}\mathbb{Z}=\mathbb{Q}$4 is discrete, and a Segal category is a Segal precategory whose Segal maps are weak homotopy equivalences. Because $M^{-1}\mathbb{Z}=\mathbb{Q}$5 is discrete, one has

$M^{-1}\mathbb{Z}=\mathbb{Q}$6

so $M^{-1}\mathbb{Z}=\mathbb{Q}$7-locality of mapping spaces is equivalent to levelwise $M^{-1}\mathbb{Z}=\mathbb{Q}$8-locality (Chatzitheodoridis, 26 Sep 2025).

Using the same localization set $M^{-1}\mathbb{Z}=\mathbb{Q}$9, the paper constructs a combinatorial, left proper, simplicial model structure $(\infty,1)$0 on Segal precategories whose fibrant objects are the Reedy fibrant $(\infty,1)$1-local Segal categories. In particular, one obtains a model category whose fibrant objects are the Reedy fibrant rational Segal categories (Chatzitheodoridis, 26 Sep 2025).

The main comparison theorem states that for each multiplicative subset $(\infty,1)$2, the adjunction

$(\infty,1)$3

is a Quillen equivalence. Hence the model category for rational complete Segal spaces and the model category for rational Segal categories are Quillen equivalent, and both present the same homotopy theory of rational $(\infty,1)$4-categories (Chatzitheodoridis, 26 Sep 2025).

This equivalence is established by localizing Bergner’s Quillen equivalence between ordinary Segal categories and complete Segal spaces. The strategy uses Hirschhorn’s theorem on compatible Bousfield localizations and the fact that both underlying model categories are combinatorial, left proper, and simplicial, with all objects cofibrant because cofibrations are monomorphisms (Chatzitheodoridis, 26 Sep 2025). In encyclopedic terms, rational complete Segal spaces are therefore not an isolated construction but one side of a two-model presentation theorem.

6. Relation to rational homotopy theory, examples, and significance

The construction is explicitly tied to rational homotopy theory through local spheres $(\infty,1)$5, built as mapping telescopes of degree maps

$(\infty,1)$6

for $(\infty,1)$7. A space $(\infty,1)$8 is $(\infty,1)$9-local if and only if for every $(\infty, 1)$00, the restriction

$(\infty, 1)$01

is a weak homotopy equivalence. The paper transfers this characterization from topological spaces to simplicial sets and then to simplicial spaces via the representables $(\infty, 1)$02 (Chatzitheodoridis, 26 Sep 2025).

The approach is purely model-categorical. The paper does not directly use Sullivan cdga models or Quillen dg Lie models, although it states that its constructions are compatible with such algebraic models in principle. A plausible implication is that rational complete Segal spaces provide a homotopy-coherent presentation of rational higher categories that can later be compared with algebraic models of rational homotopy when desired (Chatzitheodoridis, 26 Sep 2025).

Explicit examples are limited, but the paper notes that spaces such as $(\infty, 1)$03, $(\infty, 1)$04, and $(\infty, 1)$05 have vanishing higher homotopy groups and hence are automatically rational. Therefore any $(\infty, 1)$06-category whose mapping spaces are of this form is automatically rational. More generally, by choosing $(\infty, 1)$07 as the complement of a set of primes $(\infty, 1)$08, one obtains $(\infty, 1)$09-local $(\infty, 1)$10-categories as a direct generalization of rational ones (Chatzitheodoridis, 26 Sep 2025).

The broader significance claimed in the paper is foundational. Rational complete Segal spaces and rational Segal categories provide explicit, equivalent models for rational $(\infty, 1)$11-categories. The cartesian property of the rational complete Segal space model makes it particularly suitable for internal homs, exponentials, and enrichment, while the discrete-object model of rational Segal categories gives a more combinatorial presentation. The paper also identifies future directions, notably rational analogs of quasi-categories and simplicial categories, with the aim of extending the equivalence of models beyond the complete Segal space and Segal category settings (Chatzitheodoridis, 26 Sep 2025).