Semi-Simplicial Spaces Overview

• Semi-simplicial spaces are sequences of spaces indexed by non-negative integers with face maps satisfying simplicial identities but lacking degeneracy maps.
• They are geometrically realized via colimits over spaces and simplices, preserving homotopical invariants through levelwise weak equivalences and spectral sequences.
• Their flexible structure underpins the modeling of ∞-categories and classifying spaces in algebraic topology, with applications in Floer theory and cohomological descent.

A semi-simplicial space is a sequence of spaces $$X_0 \leftarrow X_1 \leftarrow X_2 \leftarrow \cdots$$, indexed by non-negative integers, equipped with face maps $d_i : X_n \to X_{n-1}$ ($0 \leq i \leq n$) satisfying $d_i d_j = d_{j-1} d_i$ for $i < j$, but in contrast to simplicial spaces, no degeneracy maps. Semisimplicial spaces, through their geometric realizations and homotopical properties, underpin foundational aspects of algebraic topology, category theory, and the study of classifying spaces, especially in contexts lacking strict unit or associativity data. Recent developments have clarified their role as models for $\infty$-categories under suitable Kan and unitality conditions.

1. Foundational Structures of Semi-Simplicial Spaces

A semi-simplicial space can be formally defined as a functor $X \colon \Delta_s^{\mathrm{op}} \to \mathcal{S}$, where $\Delta_s$ is the subcategory of the simplex category $\Delta$ whose morphisms are strictly injective order-preserving maps $[m]\hookrightarrow[n]$. Each $d_i : X_n \to X_{n-1}$0 is a space; every face map $d_i : X_n \to X_{n-1}$1 corresponds to omitting the $d_i : X_n \to X_{n-1}$2th entry in $d_i : X_n \to X_{n-1}$3, inducing a map $d_i : X_n \to X_{n-1}$4. The only imposed relations are the simplicial face identities: $d_i : X_n \to X_{n-1}$5 for $d_i : X_n \to X_{n-1}$6. No degeneracy maps $d_i : X_n \to X_{n-1}$7 are required or included (Ebert et al., 2017, Oldervoll, 16 Jan 2026).

In a simplicial space, both face and degeneracy maps are present, allowing for richer algebraic structure. Restricting a simplicial space to its injective-face-only framework yields a semi-simplicial space (Ebert et al., 2017).

Related constructions include symmetric semi-simplicial spaces and objects over the symmetric semisimplicial category $d_i : X_n \to X_{n-1}$8, where automorphism symmetries at each level replace degeneracies and introduce further combinatorial structure (Banerjee, 2019).

2. Geometric Realization and Homotopical Invariants

Given a semi-simplicial space $d_i : X_n \to X_{n-1}$9, its (fat) geometric realization is

$0 \leq i \leq n$0

where $0 \leq i \leq n$1 for any injective $0 \leq i \leq n$2 and the canonical identifications $0 \leq i \leq n$3 are imposed (Ebert et al., 2017). The $0 \leq i \leq n$4-skeleton $0 \leq i \leq n$5 is defined in terms of $0 \leq i \leq n$6, and $0 \leq i \leq n$7 is their colimit.

Homotopical properties are preserved under levelwise weak equivalences: if $0 \leq i \leq n$8 is such that each $0 \leq i \leq n$9 is a weak equivalence, then $d_i d_j = d_{j-1} d_i$0 is a weak equivalence of spaces. The inclusion of the $d_i d_j = d_{j-1} d_i$1-skeleton into the full realization is $d_i d_j = d_{j-1} d_i$2-connected, and connectivity propagates accordingly for levelwise $d_i d_j = d_{j-1} d_i$3-connected maps (Ebert et al., 2017).

A spectral sequence arises naturally from the skeletal filtration. Given a local coefficient system $d_i d_j = d_{j-1} d_i$4 on $d_i d_j = d_{j-1} d_i$5, the filtration yields

$d_i d_j = d_{j-1} d_i$6

with $d_i d_j = d_{j-1} d_i$7 being the alternating sum of face-induced maps (Ebert et al., 2017).

3. Fibrancy, Kan Conditions, and Degeneracy Recovery

Fibrancy conditions are central for the homotopy theory of semi-simplicial spaces. The most robust is Reedy fibrancy, which requires that all matching maps $d_i d_j = d_{j-1} d_i$8 are Serre (or Hurewicz) fibrations. Weaker variants include left-fibrancy (requiring $d_i d_j = d_{j-1} d_i$9 to be a fibration, which implies all $i < j$0 are), and right-fibrancy (requiring $i < j$1 to be a fibration) (Ebert et al., 2017).

The (outer and inner) Kan (horn-filling) conditions for semi-simplicial sets, and their continuous analogues for spaces, guarantee the existence of fillers for any horn---that is, given any compatible family of $i < j$2-faces omitting one, there exists an $i < j$3-simplex completing them. The fundamental theorem (Rourke–Sanderson), proved combinatorially and extended to the topologically enriched case, states that any Kan semi-simplicial set or space admits unique degeneracy maps $i < j$4 fulfilling all simplicial identities. Thus, any Kan semi-simplicial space underlies a simplicial space with equivalent realization. The generalization to multi(semi)simplicial settings proceeds analogously (McClure, 2012).

Inner horns, which exclude degeneracies and focus on purely face-structural data, are of particular interest in modeling $i < j$5-categories without strict unitality or associativity (Oldervoll, 16 Jan 2026).

4. Semi-Simplicial Spaces and Higher Categories

Semi-simplicial spaces equipped with inner Kan and quasi-unitality conditions provide robust models for $i < j$6-categories, particularly in contexts (such as Floer theory) where strict degeneracies are hard to construct geometrically. Three equivalent quasi-unitality conditions have been established:

• Existence of a subspace of marked equivalences with the 2-out-of-6 property (marked inner Kan).
• Existence of idempotent equivalences at every object (idempotent quasi-unitality): for each $i < j$7, an edge $i < j$8 with $i < j$9 and $\infty$0 an equivalence.
• Existence, up to homotopy, of outer degeneracy maps $\infty$1 producing “identity” morphisms at each vertex.

These conditions are equivalent for inner Kan semi-simplicial spaces and their presence fully characterizes the unitality structure necessary to model $\infty$2-categories. There is an equivalence between the $\infty$3-category of quasi-unital inner Kan semi-simplicial spaces and the $\infty$4-category of complete Segal spaces modeling $\infty$5 (Oldervoll, 16 Jan 2026).

The absence of built-in units in the semi-simplicial context, and the capacity to recover them as a property (existence of idempotent equivalences), is particularly suitable for situations where the combinatorial structure of degeneracies is infeasible.

5. Applications in Topological Categories and Homotopy Theory

The nerve construction for a non-unital topological category $\infty$6 yields a semi-simplicial space $\infty$7, with $\infty$8 given by $\infty$9-fold compositions of morphisms. The geometric realization $X \colon \Delta_s^{\mathrm{op}} \to \mathcal{S}$0 then serves as the classifying space $X \colon \Delta_s^{\mathrm{op}} \to \mathcal{S}$1 (Ebert et al., 2017). If units are adjoined freely, $X \colon \Delta_s^{\mathrm{op}} \to \mathcal{S}$2 is a weak equivalence.

Quillen's Theorems A and B extend to non-unital categories via bi-semi-simplicial resolutions $X \colon \Delta_s^{\mathrm{op}} \to \mathcal{S}$3 and the associated augmentation fibers, under appropriate fibrancy and soft unit conditions. The group-completion theorem is also formulated concretely in terms of semi-simplicial two-sided bar constructions, yielding the standard equivalence $X \colon \Delta_s^{\mathrm{op}} \to \mathcal{S}$4 after stabilization (Ebert et al., 2017).

Tabular summary of the relation of semi-simplicial and simplicial structures:

Structure	Face maps ($X \colon \Delta_s^{\mathrm{op}} \to \mathcal{S}$5)	Degeneracy maps ($X \colon \Delta_s^{\mathrm{op}} \to \mathcal{S}$6)	Example source
Semi-simplicial space	Yes	No	Non-unital category nerve
Simplicial space	Yes	Yes	Unital category nerve

6. Extensions: Symmetric and Multisemisimplicial Generalizations

The symmetric semi-simplicial category $X \colon \Delta_s^{\mathrm{op}} \to \mathcal{S}$7 allows for additional structure by including automorphisms $X \colon \Delta_s^{\mathrm{op}} \to \mathcal{S}$8 at each level, so that symmetric semi-simplicial objects are functors $X \colon \Delta_s^{\mathrm{op}} \to \mathcal{S}$9. Here, permutation symmetries supplant the combinatorics of degeneracies. This abstraction streamlines the construction of spectral sequences for hypercovers and enables unified treatments of cohomological computations for configuration spaces, higher mapping moduli, and related spaces, as in the approach initiated by Fiedorowicz–Loday, Krasauskas, and further developed in the context of cohomological descent (Banerjee, 2019).

For multisemisimplicial objects (indexed by tuples of non-negative integers), the Kan (horn-filling) condition and degeneracy-recovery results generalize: any multisemisimplicial set or space satisfying the Kan condition admits unique multi-indexed degeneracy maps, yielding a fully multi-simplicial structure and access to all associated homotopy-theoretic consequences (McClure, 2012).

7. Significance and Contemporary Directions

Semi-simplicial spaces are fundamental to the modern study of classifying spaces, monoided actions, and the foundations of higher category theory. Their combinatorial structure is less rigid than that of simplicial spaces, which is advantageous in settings—such as Floer theory, the study of moduli, or cohomological descent—wherein degeneracies have no natural geometric origin (Ebert et al., 2017, Oldervoll, 16 Jan 2026, Banerjee, 2019).

The current research direction focuses on leveraging the flexible structure of semi-simplicial spaces to model $\Delta_s$0-categories via inner Kan and quasi-unitality conditions, and to extend homotopical tools such as spectral sequences and descent arguments to ever broader classes of objects. The equivalence of distinct quasi-unitality conditions illustrates the robustness of this approach, and suggests further abstraction in moduli and descent in algebraic geometry (Oldervoll, 16 Jan 2026, Banerjee, 2019).