Culf maps and edgewise subdivision

This paper establishes an equivalence between the $\infty$-category of culf maps over a simplicial space $X$ and the $\infty$-category of right fibrations over its edgewise subdivision $\operatorname{sd}(X)$, providing two distinct proofs and demonstrating that the $\infty$-category of decomposition spaces and culf maps is locally an $\infty$-topos.

The Gist

Imagine you are trying to understand a complex, messy city. This city is built out of "simplicial spaces"—which, in our analogy, are like blueprints for shapes that can be stretched, squashed, and twisted, but still hold their essential structure.

The paper by Philip Hackney and Joachim Kock is about finding a secret "translation key" that allows us to move between two very different ways of looking at this city:

1. The "Culf" View: Looking at how things break down and fit together (decomposition).
2. The "Twisted" View: Looking at the city through a special mirror called Edgewise Subdivision.

Here is the breakdown of their discovery, using simple metaphors.

1. The City and the Blueprint (Simplicial Spaces)

Think of a Simplicial Space as a giant, multi-layered blueprint.

• Level 0: Points (cities).
• Level 1: Roads connecting the points.
• Level 2: Triangles formed by three roads.
• Level 3: Tetrahedrons, and so on.

In math, these blueprints describe things like algebraic structures or computer processes. Sometimes, the blueprint is "perfect" (a Segal space), and sometimes it's a bit "loose" or "decomposable" (a Decomposition Space).

2. The "Culf" Map: The Perfect Tour Guide

The paper focuses on a special type of map called a Culf map.

• The Metaphor: Imagine a tour guide leading a group through a city.
  • A Right Fibration (a very strict guide) says: "If you are at this intersection, there is exactly one road you can take to get to the next town." (Deterministic).
  • A Culf map is a more flexible guide. It says: "If you are at this intersection, you can take many roads, but if you decide to take a specific route, the guide can perfectly reconstruct how you got there from the start."
• The Key Feature: Culf maps preserve the "intervals" of the journey. If you look at a trip from Point A to Point B, the Culf map ensures that the "space of all possible ways to get from A to B" is preserved perfectly when you move to a new map.

Why do we care? In computer science and combinatorics, these maps are crucial for counting things (like how many ways you can break a number into parts) and for understanding how processes (like software code) synchronize.

3. The Magic Mirror: Edgewise Subdivision

The authors introduce a tool called Edgewise Subdivision (denoted as $Sd$).

• The Metaphor: Imagine you have a map of a city. Now, imagine you take every single road (edge) and split it in half, adding a new stop in the middle. But you do this in a very specific, twisted way: you look at the road from the end to the beginning, then from the beginning to the end, and you weave them together.
• The Result: You get a new, more detailed map ($Sd(X)$). It looks different, but it contains the exact same "homotopy type" (the same essential shape).

The Big Discovery:
The paper proves a stunning equivalence:

The world of "Culf maps" over a city $X$ is exactly the same as the world of "Right Fibrations" (strict guides) over the "Twisted Mirror City" $Sd(X)$.

In other words:

• If you want to study flexible, decomposable journeys (Culf maps) in the original city, you don't have to struggle with the complexity.
• Instead, just look at the Twisted Mirror City. In this new city, those same journeys become strict, deterministic paths (Right Fibrations).
• It turns a hard, messy problem into a clean, easy one.

4. The "Local Topos" Surprise

The paper concludes with a massive implication: The category of Decomposition Spaces is "locally an $\infty$-topos."

• The Metaphor: An $\infty$-topos is like a universe with its own internal logic, where you can do math, logic, and geometry all at once.
• The Meaning: Before this, mathematicians thought Decomposition Spaces were too messy to have a nice internal logic. This paper says: "No! If you zoom in on any specific Decomposition Space, you are actually standing inside a perfect, logical universe."
• Why it matters: This means we can use powerful logical tools (like those from Homotopy Type Theory) to reason about these complex combinatorial structures. It's like discovering that a chaotic jungle is actually a perfectly organized garden if you just look at it from the right angle.

5. Two Ways to Prove It

The authors didn't just find the answer; they found it in two different ways, which is rare and valuable in math.

1. The "Pullback" Method: They used a known tool called "Comprehensive Factorization" (breaking maps into a "final" part and a "fibration" part) and a natural transformation called $\lambda$ (a bridge between the original map and the twisted mirror). They showed that pulling back along this bridge translates the messy Culf maps into clean Right Fibrations.
2. The "Adjoint" Method: They used a new type of "factorization system" involving Ambifinal maps (maps that are "final" in both directions). They showed that the Edgewise Subdivision has a "right-hand partner" (an adjoint) that acts as the perfect translator, turning Right Fibrations back into Culf maps.

Summary for the General Audience

Think of this paper as a universal translator for complex mathematical shapes.

• The Problem: Some mathematical structures (Decomposition Spaces) are great for counting and breaking things down, but they are hard to analyze because their rules are flexible and messy.
• The Solution: The authors found a "magic mirror" (Edgewise Subdivision). If you look at these messy structures in the mirror, they transform into rigid, easy-to-understand structures (Right Fibrations).
• The Payoff: This proves that these messy structures actually live in a world with perfect logic (an $\infty$-topos). This opens the door for computer scientists, algebraists, and topologists to use powerful new tools to solve old problems in combinatorics, K-theory, and process algebra.

In one sentence: The paper shows that by twisting a complex mathematical shape just right, the messy, flexible rules governing it turn into simple, rigid rules, revealing a hidden world of perfect logic underneath.

Technical Summary

Here is a detailed technical summary of the paper "Culf Maps and Edgewise Subdivision" by Philip Hackney and Joachim Kock (with an appendix by Jan Steinebrunner).

1. Problem Statement and Context

The paper addresses the structural relationship between culf maps (conservative, unique-lifting-of-factorization maps) over a simplicial space $X$ and right fibrations over the edgewise subdivision of $X$, denoted $\text{Sd}(X)$.

• Background:
  • Simplicial Spaces: Central objects in homotopy theory used to model $\infty$-categories (e.g., Rezk complete Segal spaces) and algebraic structures.
  • Decomposition Spaces (2-Segal spaces): A generalization of categories where composition is not necessarily defined, but decomposition is. They are crucial in combinatorics (incidence coalgebras, Möbius inversion) and process algebra.
  • Culf Maps: The morphisms between decomposition spaces that induce coalgebra homomorphisms. They are weaker than right fibrations but stronger than general maps.
  • Edgewise Subdivision: A functor $\text{Sd}: \text{sS} \to \text{sS}$ introduced by Segal, where $(\text{Sd} X)_n = X_{2n+1}$. For a category $C$, $\text{Sd}(N C)$ is the nerve of the twisted arrow category.
• The Core Question:
  Previous work (Kock–Spivak) established that for a discrete decomposition space $D$, the category of culf maps over $D$ is equivalent to the category of presheaves on $\text{Sd}(D)$. The authors seek to generalize this to the $\infty$-categorical setting:

  Is the $\infty$-category of culf maps over an arbitrary simplicial space $X$ equivalent to the $\infty$-category of right fibrations over $\text{Sd}(X)$?

2. Methodology

The authors provide two distinct, independent proofs for their main theorem, utilizing advanced tools from $\infty$-category theory and simplicial homotopy theory.

A. Conceptual Framework

The paper operates within a model-independent framework for $\infty$-categories (quasi-categories or general $\infty$-categories). Key concepts employed include:

• Factorization Systems: Specifically the comprehensive factorization system (final maps, right fibrations) and a new system involving ambifinal maps and culf maps.
• Adjunctions: Utilizing the adjunctions induced by the functor $Q: \Delta \to \Delta$ (where $[n] \mapsto [n]^{op} \star [n]$), which defines the edgewise subdivision.
• Natural Transformations: Constructing and analyzing specific natural transformations between functors on simplicial spaces, particularly the last-vertex map and the $\lambda$ map.

B. Proof Strategy 1: Comprehensive Factorization and Pullback

This proof generalizes the discrete Kock–Spivak argument to the $\infty$-setting.

1. Last-Vertex Map: The authors define a natural transformation $\xi: \text{Nel} \to \text{id}$, where $\text{Nel}(X)$ is the nerve of the category of elements of $X$. They prove $\xi_X$ is a final map (Lemma 4.11).
2. The $\lambda$ Map: They construct a natural transformation $\lambda: \text{Nel} \to \text{Sd}$.
3. Cartesian Property: They demonstrate that $\lambda$ is cartesian on culf maps (Lemma 5.18). This means the naturality square for $\lambda$ is a pullback whenever the map between bases is culf.
4. Equivalence: By combining the comprehensive factorization system (final, right fibration) with the properties of $\lambda$, they show that pulling back along $\lambda$ provides the inverse to the edgewise subdivision functor restricted to culf maps.

C. Proof Strategy 2: Right Kan Extension and Adjunctions

This proof is entirely new and relies on the right adjoint to the edgewise subdivision functor.

1. New Factorization System: They introduce a factorization system on simplicial spaces consisting of ambifinal maps (left orthogonal to culf maps) and culf maps.
2. Adjunctions: They study the adjunction $Q^* \dashv Q_*$ (where $Q^*$ is edgewise subdivision and $Q_*$ is its right adjoint).
3. Preservation Properties:
   • $Q^*$ sends culf maps to right fibrations (Lemma 5.3).
   • $Q_*$ sends right fibrations to culf maps (Proposition 8.4).
4. Unit and Counit: They prove that the unit of the $Q_* \dashv Q^*$ adjunction is cartesian on culf maps, and the counit is cartesian on right fibrations.
5. Result: The inverse equivalence is constructed by applying $Q_*$ followed by pullback along the unit of the adjunction.

3. Key Contributions and Results

Main Theorem (Theorem C)

For any simplicial space $X$, there is a natural equivalence of $\infty$-categories:
$$\text{Culf}(X) \simeq \text{RFib}(\text{Sd}(X))$$
where $\text{Culf}(X)$ is the $\infty$-category of culf maps over $X$, and $\text{RFib}(\text{Sd}(X))$ is the $\infty$-category of right fibrations over the edgewise subdivision of $X$.

Application to Decomposition Spaces (Theorem D)

Since a simplicial space $X$ is a decomposition space if and only if $\text{Sd}(X)$ is a Segal space (Bergner et al.), and culf maps over a decomposition space are themselves decomposition spaces, the authors derive:
$$\text{Decomp}/X \simeq \text{RFib}(\text{Sd}(X)) \simeq \text{PrSh}(\widehat{\text{Sd}(X)})$$
Here, $\widehat{(-)}$ denotes Rezk completion.

• Significance: This proves that the $\infty$-category of decomposition spaces and culf maps is locally an $\infty$-topos. Specifically, the slice category over any decomposition space $X$ is equivalent to the $\infty$-category of presheaves on the Rezk completion of $\text{Sd}(X)$.

Technical Lemmas and Tools

• Finality of Last-Vertex Map: A conceptual proof that the last-vertex map $\text{Nel}(X) \to X$ is final (Lemma 4.11), extending results from simplicial sets to simplicial spaces.
• Ambifinal Maps: The definition and characterization of ambifinal maps, which form the left class of a factorization system dual to the culf/right-fibration system.
• Rezk Completeness: The appendix (with Steinebrunner) proves that Rezk completion is a semi-left-exact localization. This implies that the category of relative complete maps and Dwyer-Kan equivalences forms a factorization system, and that right fibrations are preserved under Rezk completion.

4. Significance and Implications

1. Unification of Combinatorics and Homotopy Theory:
   The result bridges combinatorial decomposition spaces (used for Möbius inversion and incidence algebras) with the homotopy-theoretic machinery of $\infty$-topoi. It confirms that decomposition spaces provide the "correct" base for culf maps, generalizing the Kock–Spivak theorem from discrete sets to $\infty$-groupoids.

2. Internal Logic for Process Algebra:
   The authors suggest that since the slice categories are $\infty$-topoi, they admit an internal logic (Homotopy Type Theory with the Univalence Axiom). This offers a powerful new framework for modeling process algebra and dynamical systems, where "time" is modeled by a decomposition space. The $\infty$-topos structure allows for reasoning about processes with higher homotopical data (e.g., non-strict composition, synchronization).

3. Universal Decomposition Spaces:
   The result supports the Gálvez–Kock–Tonks conjecture regarding a universal decomposition space $U$. If $X$ is a Möbius decomposition space, the slice $\text{Decomp}_{\text{Möbius}}/X$ is an $\infty$-topos. If the conjecture holds, the category of Möbius decomposition spaces itself would be an $\infty$-topos, providing a universal setting for combinatorial Hopf algebras.

4. Methodological Advancement:
   The paper introduces a robust toolkit for working with simplicial spaces, including the "ambifinal" factorization system and the interplay between edgewise subdivision and the category of elements. These tools are likely to be applicable to other problems in higher category theory and homotopy theory.

Conclusion

Hackney and Kock establish a fundamental equivalence between the geometry of decomposition spaces (via culf maps) and the combinatorics of twisted arrow categories (via edgewise subdivision). By proving that these slices are $\infty$-topoi, they elevate the theory of decomposition spaces from a combinatorial tool to a foundational structure capable of supporting internal higher logic, with potential applications ranging from algebraic K-theory to the semantics of concurrent processes.