Segal Moduli Spaces in Higher Gluing

• Segal moduli spaces are a framework that defines moduli problems via higher Segal conditions using cyclic polytope combinatorics.
• They enable the uniform encoding of elementary and composable gluings by reconstructing filtrations and coherent data in simplicial objects.
• Applications in algebraic K-theory and Hall algebras demonstrate their utility in gluing complex moduli data through descent and factorization methods.

Segal moduli spaces are moduli constructions organized by higher Segal conditions on a simplicial object, typically in spaces, stacks, or $\infty$-categories, so that moduli of elementary gluings, composable gluings, and higher compatibilities are encoded uniformly by a simplicial diagram. In the framework developed in "Cyclic polytopes, orientals, and correspondences: some aspects of higher Segal spaces" (Dyckerhoff, 4 May 2025), the term arises from an overview of three ingredients: the definition of $d$-Segal objects via cyclic polytopes, the interpretation of simplicial objects as lax monads in higher correspondence categories, and examples from algebraic $K$-theory and Hall-type constructions. In this setting, a Segal moduli space is not a single fixed object class but a general method for building moduli theories whose gluing, factorization, and higher coherence are controlled by higher Segal conditions (Dyckerhoff, 4 May 2025).

1. Definition through higher Segal conditions

Let $C$ be an $\infty$-category with all finite limits, and let

$X:\Delta\longrightarrow C$

be a simplicial object, with $X_n=X([n])$ and face and degeneracy maps

$d_i,\; s_j: X_n\to X_{n-1},\,X_{n+1}.$

The higher Segal conditions are formulated using cyclic polytopes. For each $n\ge 0$, one considers the poset $P^*([n])$ of nonempty subsets of $d$0 together with the lower- and upper-hemisphere complexes

$d$1

associated to the $d$2-dimensional cyclic polytope $d$3. Concretely, a subset $d$4 of size $d$5 lies in the lower hemisphere $d$6 if every gap in $d$7 is even, by Gale’s evenness criterion, and dually for $d$8 (Dyckerhoff, 4 May 2025).

Given an abstract simplicial complex $d$9, one forms

$K$0

The simplicial object then carries canonical Segal maps

$K$1

The object $K$2 is lower $K$3-Segal if for every $K$4 the lower Segal map is an equivalence in $K$5, upper $K$6-Segal if the upper Segal map is an equivalence, and $K$7-Segal if both conditions hold (Dyckerhoff, 4 May 2025).

The classical Segal condition is recovered when $K$8. In that case, $K$9 is the union of the adjacent edges $C$0, and the lower 1-Segal map identifies $C$1 with the expected iterated fiber product of copies of $C$2 over $C$3. When $C$4, lower 2-Segal is equivalent to the ordinary Segal condition on the initial path object $C$5 (Dyckerhoff, 4 May 2025). This places Segal moduli spaces within a hierarchy: classical compositional moduli at $C$6, and higher gluing or factorization moduli at $C$7.

A common misconception is to treat higher Segal conditions as a straightforward higher-dimensional repetition of the ordinary Segal condition. The formulation via $C$8 and $C$9 shows that the higher theory is controlled not by arbitrary decompositions of simplices, but by specific hemisphere complexes derived from cyclic polytope combinatorics (Dyckerhoff, 4 May 2025).

2. Cyclic polytopes and the combinatorics of decomposition

A central structural role is played by the cyclic polytope

$\infty$0

defined as the convex hull of points

$\infty$1

for $\infty$2. Its boundary admits lower and upper simplicial complexes

$\infty$3

characterized by Gale’s evenness criterion, and the projection $\infty$4 exhibits each as a homeomorphic copy of $\infty$5 (Dyckerhoff, 4 May 2025).

This geometry supplies the indexing data for higher Segal maps. Rather than decomposing $\infty$6 arbitrarily, one decomposes it along the hemisphere subcomplexes of cyclic polytopes. The lower and upper conditions therefore encode two complementary ways of reconstructing an $\infty$7-stage gluing datum from lower-dimensional pieces. In the moduli interpretation, these are the combinatorial templates for cutting and reassembling filtrations, extensions, correspondences, or analogous configurations.

The significance of the cyclic-polytope input is not merely decorative. The paper explicitly uses these complexes to model the boundaries that govern higher composition, and later to identify the globular boundaries of higher correspondence cells. This suggests that the term “Segal moduli space” is tied not just to simplicial descent, but to a particular geometric control of coherence by cyclic-polytope combinatorics (Dyckerhoff, 4 May 2025).

3. Orientals and the globular realization of higher coherence

A second pillar of the theory is the realization of Street’s oriental $\infty$8 through admissible subcomplexes of cyclic polytopes. One starts with simplicial subcomplexes $\infty$9 and defines $X:\Delta\longrightarrow C$0-admissibility by requiring that the projection $X:\Delta\longrightarrow C$1 intersect $X:\Delta\longrightarrow C$2 in single intervals $X:\Delta\longrightarrow C$3. The lower and upper faces

$X:\Delta\longrightarrow C$4

are then the loci seen from below and above, respectively. A complex is fully admissible if it is $X:\Delta\longrightarrow C$5-admissible and recursively its lower and upper faces are admissible in one dimension lower (Dyckerhoff, 4 May 2025).

Let

$X:\Delta\longrightarrow C$6

with $X:\Delta\longrightarrow C$7 for $X:\Delta\longrightarrow C$8. The source and target maps are given by

$X:\Delta\longrightarrow C$9

and composition is union,

$X_n=X([n])$0

whenever $X_n=X([n])$1. The resulting globular set is exactly Street’s oriental $X_n=X([n])$2, the free $X_n=X([n])$3-category on the $X_n=X([n])$4-simplex (Dyckerhoff, 4 May 2025).

This identification is important for Segal moduli spaces because it provides a geometric model for higher coherence data. Each $X_n=X([n])$5-simplex of $X_n=X([n])$6, equivalently each subset $X_n=X([n])$7 of size $X_n=X([n])$8, becomes a unique $X_n=X([n])$9-cell in $d_i,\; s_j: X_n\to X_{n-1},\,X_{n+1}.$0, whose boundary decomposes into lower and upper hemispheres of the simplex $d_i,\; s_j: X_n\to X_{n-1},\,X_{n+1}.$1. The evenness criterion determines which facets lie in the source and which lie in the target (Dyckerhoff, 4 May 2025). Thus, the same combinatorics that define higher Segal maps also organize the globular composition laws governing coherences among those maps.

A plausible implication is that Segal moduli spaces inherit coherence not from separately imposed higher associativity constraints, but from the oriental structure already encoded by admissible subcomplexes. The paper states this more concretely in the correspondence-theoretic language, where higher cells are built directly from simplicial levels $d_i,\; s_j: X_n\to X_{n-1},\,X_{n+1}.$2 (Dyckerhoff, 4 May 2025).

4. Lax monads in higher correspondence categories

One of the main conceptual results is the characterization of simplicial objects as lax monads in higher correspondence categories. Let

$d_i,\; s_j: X_n\to X_{n-1},\,X_{n+1}.$3

be the simplicial set whose $d_i,\; s_j: X_n\to X_{n-1},\,X_{n+1}.$4-simplices are diagrams

$d_i,\; s_j: X_n\to X_{n-1},\,X_{n+1}.$5

By declaring certain simplices thin—those whose top Segal-map-correspondence legs become equivalences—one obtains a complicial-set model of the full higher correspondence category (Dyckerhoff, 4 May 2025).

In low degrees, a 1-cell is a span

$d_i,\; s_j: X_n\to X_{n-1},\,X_{n+1}.$6

and a 2-cell is a commutative diagram of spans. More generally, the globular boundary of an $d_i,\; s_j: X_n\to X_{n-1},\,X_{n+1}.$7-cell is given by the complementary triangulations $d_i,\; s_j: X_n\to X_{n-1},\,X_{n+1}.$8 and $d_i,\; s_j: X_n\to X_{n-1},\,X_{n+1}.$9 of the boundary of $n\ge 0$0 (Dyckerhoff, 4 May 2025). This is the point at which cyclic polytopes, orientals, and correspondences converge.

To isolate monadic structure, the theory passes to a Grothendieck construction

$n\ge 0$1

A lax monad is a section

$n\ge 0$2

that carries every injective map $n\ge 0$3 to a $n\ge 0$4-coCartesian edge (Dyckerhoff, 4 May 2025). The data of such an $n\ge 0$5 are exactly the data of a simplicial object $n\ge 0$6, with

$n\ge 0$7

On face injections, the coCartesianity condition forces the induced maps to be the face maps $n\ge 0$8, and similarly for degeneracies.

The underlying endofunctor-like correspondence of the monad is

$n\ge 0$9

given by the span

$P^*([n])$0

Its unit is induced by the degeneracy

$P^*([n])$1

and its multiplication comes from $P^*([n])$2 as a span-of-spans from

$P^*([n])$3

to

$P^*([n])$4

Associativity and unitality are then coherent diagrams in $P^*([n])$5, with the coherence 3-cells induced by $P^*([n])$6 (Dyckerhoff, 4 May 2025).

The characterization theorem states that there is a canonical equivalence of $P^*([n])$7-categories

$P^*([n])$8

and that the lower or upper $P^*([n])$9-Segal conditions are exactly the assertion that certain legs in the top correspondence become invertible in the truncated correspondence categories $d$00 and $d$01 (Dyckerhoff, 4 May 2025). In this sense, higher Segal spaces are characterized as lax monadic structures with prescribed invertibility constraints.

For Segal moduli spaces, this matters because the simplicial moduli problem can be read simultaneously as a descent object and as a correspondence-valued algebraic structure. The paper formulates this by saying that higher Segal spaces are precisely the algebras for these canonical lax monads in truncated correspondence categories (Dyckerhoff, 4 May 2025).

5. Moduli-theoretic construction and standard examples

The moduli-theoretic paradigm is stated explicitly as a general recipe. For a moduli problem with a notion of elementary gluing—extensions, flags, correspondences, or related operations—one attempts to build a simplicial object

$d$02

in which $d$03 is the base moduli of objects, $d$04 is the moduli of elementary gluings, $d$05 is the moduli of composable pairs of gluings, and so on. One then checks that the resulting $d$06, or its analogue in stacks or $d$07-categories, satisfies the relevant Segal conditions (Dyckerhoff, 4 May 2025).

The paper highlights several examples.

Example	Simplicial object	Segal property
Waldhausen’s $d$08-construction	$d$09 from strings of composable monomorphisms	$d$10-Segal for $d$11
Hall algebra case	$d$12	2-Segal
Moduli of flags	simplicial stack of flags of length $d$13 in $d$14	under mild finiteness, 2-Segal

For an abelian or exact category $d$15, the category $d$16 consists of strings of $d$17 composable monomorphisms

$d$18

together with coherence conditions on subchains. Passing to nerves yields a simplicial space

$d$19

which is $d$20-Segal for $d$21, hence in particular 2-Segal (Dyckerhoff, 4 May 2025). Geometrically, $d$22 parameterizes filtrations of length $d$23, and the Segal condition expresses that a long filtration may be cut at an intermediate stage and reconstructed from shorter ones.

When $d$24, the category of finite $d$25-vector spaces, the resulting 2-Segal object yields Hall multiplication for the Hall algebra of $d$26-quivers through its groupoid of objects (Dyckerhoff, 4 May 2025). For a variety or stack $d$27, one may form the simplicial stack of flags of length $d$28 in $d$29; under mild finiteness assumptions this is 2-Segal and recovers the geometry of convolution-type operations (Dyckerhoff, 4 May 2025).

Across these cases, $d$30 classifies $d$31-step gluings or filtrations, and the Segal conditions encode the ability to glue and re-cut filtrations. That is the essential moduli-theoretic meaning of the construction.

6. Structural consequences, scope, and outlook

The framework isolates several structural constraints and advantages. Finite limits in $d$32 guarantee that the required pullbacks, or fiber products, along face indices exist. The Segal maps identify $d$33 with iterated fiber products over $d$34, giving descent and local-to-global reconstruction of $d$35-gluings from smaller pieces. Through the lax-monad interpretation, the simplicial object becomes an algebra for a canonical monad in correspondences, providing an algebraic handle on the moduli problem. Through the cyclic-polytope and oriental description, higher coherence data—such as associativity of multi-gluings and Pachner-move invariances—are built into the geometry (Dyckerhoff, 4 May 2025).

In favorable cases, including algebraic $d$36-theory and Hall algebras, one may extract a genuine topological or stacky invariant $d$37 carrying convolution products, transfer maps, and related operations (Dyckerhoff, 4 May 2025). This indicates that Segal moduli spaces are not only organizational devices for higher categorical data; they also serve as a bridge from geometric moduli to algebraic and homotopy-theoretic invariants.

The current state of the subject, as described in the source, remains developmental. The stated outlook includes extending a categorified Dold–Kan picture to higher additive contexts, building genuine $d$38-TFTs valued in correspondence-valued Segal spaces, and using the cyclic-polytope/oriental dictionary to control higher coherences in moduli of complexes, branes, and other extended geometric objects (Dyckerhoff, 4 May 2025). These directions show that the notion of Segal moduli spaces is presently best understood as a unifying research program grounded in higher Segal geometry, correspondence categories, and concrete moduli constructions, rather than as a closed and finalized formalism.