🔢 mathematics

Topological exodromy with coefficients

This paper provides a new proof of the strongest version of the exodromy equivalence for constructible sheaves on stratified spaces, extending its validity to arbitrary morphisms, removing noetherianity assumptions, accommodating more general coefficient categories, and allowing for locally weakly contractible strata.

Original authors: Mauro Porta, Jean-Baptiste Teyssier

Published 2026-06-16

📖 7 min read🧠 Deep dive

CC BY 4.0

Original authors: Mauro Porta, Jean-Baptiste Teyssier

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to understand the shape of a complex object, like a crumpled piece of paper or a mountain range with deep valleys and sharp peaks. In mathematics, this object is called a stratified space. It's not just a smooth blob; it's made of different layers (strata) glued together in specific ways. Some parts are smooth, some are sharp corners, and some are deep crevices.

The paper you are asking about is a mathematical "instruction manual" for translating the geometry of these complex shapes into a language of pure logic and movement. Here is the story of what the authors, Mauro Porta and Jean-Baptiste Teyssier, have achieved, explained without the heavy jargon.

The Big Idea: The "Exit Path" Map

Imagine you are a tiny ant walking on this complex mountain range. You have a rule: You can only walk "up" or "across," but you can never walk "down" into a lower valley. You can leave a low valley to go to a high peak, but you can't go back down.

In mathematics, the collection of all possible paths your ant can take is called the Exit Path Category. It's like a map of all the allowed journeys.

For a long time, mathematicians knew that if you knew all the allowed journeys (the Exit Path Category), you could figure out the properties of the "sheaves" (which are like data or patterns painted on the surface of the mountain). This relationship is called the Exodromy Equivalence.

However, the previous versions of this map had some strict rules:

The Terrain: The mountain had to be built in a very specific, rigid way (like a Lego set made of perfect cubes).
The Data: The patterns painted on the mountain had to be simple (like just counting numbers or basic shapes).
The Rules: You could only change the map if you changed the whole mountain at once.

What This Paper Does: The "Universal Translator"

Porta and Teyssier have built a new, super-powered translator. They proved that you can translate the geometry of the mountain into the language of exit paths even when the rules are much looser.

Here are the three main upgrades they introduced:

1. Any Terrain, Not Just Perfect Cubes

The Old Way: You had to prove the mountain was built from a specific type of block (a "singular shape") before you could use the map. This was like saying, "We can only navigate this forest if every tree is perfectly straight."
The New Way: The authors show that as long as the different layers of the mountain are "soft" enough (mathematically, "locally weakly contractible"), the map works.

Analogy: Imagine you are navigating a forest. The old rule said, "You can only use this compass if the trees are perfectly straight lines." The new rule says, "As long as the trees are flexible and bendy (but not broken), the compass still works." This makes the map useful for real-world shapes found in nature and complex geometry, not just perfect mathematical models.

2. Any Data, Not Just Simple Numbers

The Old Way: The patterns you could paint on the mountain were limited to simple things (like spaces or basic groups).
The New Way: The authors proved the map works for any kind of data you can imagine, as long as that data follows certain logical rules (like "stable" or "compactly assembled" categories).

Analogy: Previously, you could only paint the mountain with primary colors (Red, Blue, Yellow). Now, you can paint it with any color, texture, or even moving video. The map translates the shape of the mountain into the language of whatever "paint" you are using, no matter how complex.

3. The Map Works for Everyone, Everywhere

The Old Way: If you wanted to compare two different mountains, or if you wanted to change the rules of the mountain slightly, the old map often broke or required you to rebuild it from scratch.
The New Way: The new map is functorial. This is a fancy word meaning it is "flexible and consistent." If you have a map for Mountain A, and you transform Mountain A into Mountain B, the map automatically updates to work for Mountain B without you needing to draw a new one.

Analogy: Imagine a GPS app. The old version only worked if you drove on a specific highway. If you took a detour, the GPS crashed. The new version works whether you are driving on a highway, a dirt road, or a bike path. It adapts to the journey in real-time.

Why Does This Matter? (According to the Paper)

The paper doesn't just say "this is cool"; it shows that this new flexibility solves specific problems that were stuck before:

It removes the "Noetherian" rule: In the old days, mathematicians had to assume the layers of the mountain were finite or followed a strict counting rule. The new proof removes this, allowing for infinite or messy layers.
It connects to "Morita Cohomology": The authors show that this new map allows them to recover and generalize a specific result about "loop spaces" (paths that start and end at the same point). They prove that the data on a shape is equivalent to the data of "chains" on its loops.
It helps with "Recollement": This is a way of building a big picture by gluing together smaller pictures. The new map proves that you can glue these mathematical pictures together perfectly, even when the pieces are complex.

The "Secret Sauce": The Geometry of the Proof

How did they prove this? They didn't just guess. They built a "bridge" between two worlds:

The World of Open Spaces: Looking at the mountain through a window (looking at open patches of the surface).
The World of Exit Paths: Looking at the allowed journeys.

They constructed a giant "correspondence" (a bridge) that connects these two views. They showed that if you look at a specific point on the mountain, the data you see there is actually an "average" of all the data you could see if you walked along every possible exit path leading to that point.

The Key Insight: They proved that for these "hyperconstructible" patterns (the complex data), this "average" is actually just the data at the point itself. It's like saying, "If you listen to the average sound of a crowd, and the crowd is organized in a specific way, the average sound is exactly the same as the sound of one person standing right there." This realization allowed them to prove the map works perfectly.

Summary

In simple terms, Porta and Teyssier have taken a powerful mathematical tool (the Exodromy Equivalence) that was previously locked behind a door of strict rules and rigid shapes. They have picked the lock.

Now, this tool can be used on:

Messier, more realistic shapes (not just perfect geometric blocks).
Much more complex types of data (not just simple numbers).
Any transformation of the shape (it works consistently no matter how you change the shape).

They didn't just improve the tool; they made it universal, allowing mathematicians to apply these deep geometric insights to a much wider range of problems in topology and geometry.

Technical Summary: Topological Exodromy with Coefficients

Problem Statement
The paper addresses the "exodromy equivalence," a fundamental correspondence in stratified homotopy theory that relates the derived $\infty$ -category of constructible sheaves on a stratified space $(X, P)$ to the $\infty$ -category of representations of the exit path $\infty$ -category $\Pi_\infty(X, P)$ . While originally envisioned by MacPherson and rigorously developed by Treumann and Lurie, previous formulations (specifically Lurie's in [HA]) suffered from significant limitations. These included:

Restrictive Coefficients: The equivalence was primarily established for coefficients in the $\infty$ -category of spaces ( $\text{Spc}$ ), making it difficult to generalize to arbitrary presentable $\infty$ -categories (e.g., stable categories or compactly assembled categories).
Lack of Functoriality: The equivalence was known to be functorial only for specific classes of morphisms (conically stratified maps where the stratification is pulled back), lacking unconditional functoriality for arbitrary morphisms of stratified spaces.
Geometric Constraints: The results required the stratified space to be "locally of singular shape" and the poset $P$ to satisfy the ascending chain condition (ACC). These conditions are often difficult to verify in complex or real-analytic geometry contexts.

Methodology
The authors provide a new, purely $\infty$ -categorical proof of the exodromy equivalence, diverging from Lurie's approach which relied heavily on model categories and the realization of functors as left fibrations. The core of their methodology involves:

The Correspondence Construction: They construct an $\infty$ -category $E_X$ (the Grothendieck construction of the exit path functor $\Pi_\infty: \text{Open}(X) \to \text{Cat}_\infty$ ) which interpolates between $\text{Open}(X)^{\text{op}}$ and $\Pi_\infty(X, P)$ . This yields natural functors $\pi_X: E_X \to \text{Open}(X)^{\text{op}}$ and $\lambda_X: E_X \to \Pi_\infty(X, P)$ .
Adjunction via Kan Extensions: The exodromy functor $\Psi_{X,P}$ is identified as the composition $\pi_{X,*} \circ \lambda_X^*$ (right Kan extension followed by restriction), with its left adjoint $\Phi_{X,P} = \lambda_{X,!} \circ \pi_X^*$ .
Geometric Key Lemma (Lemma 5.3.4): A central technical contribution is the proof that for an open subset $U \subset X$ and a point $x \in U$ , the inclusion of the subcategory of "final" exit paths (those entirely contained within the stratum of $x$ ) into the full category of exit paths ending at $x$ is weakly cofiltered. This geometric argument allows the authors to compute stalks of hyperconstructible hypersheaves as colimits over open neighborhoods, effectively bypassing the need for explicit CW-structures.
Local-to-Global Arguments: The proof proceeds by establishing the equivalence on strata (using the trivial stratification case and monodromy equivalence) and then extending it to the whole space by proving compatibility with restriction to open and closed unions of strata.

Key Contributions and Results

Generalized Coefficients: The paper proves the exodromy equivalence for coefficients in any presentable $\infty$ -category $\mathcal{E}$ that is either stable or compactly assembled. This removes the restriction to $\text{Spc}$ and allows for applications in derived algebraic geometry and stable homotopy theory.
Unconditional Functoriality: The authors prove that the exodromy equivalence is functorial with respect to arbitrary morphisms of conically stratified spaces. This is a significant improvement over Lurie's result, which required the morphism to preserve the stratification structure in a specific way ( $P = f^{-1}(Q)$ ).
Weakened Geometric Assumptions:
- The condition that $X$ is "locally of singular shape" is replaced by the weaker condition that the strata are locally weakly contractible. This is described as easier to verify in analytic geometry (complex or real) without constructing explicit CW structures.
- The ascending chain condition (ACC) on the poset $P$ is removed, a consequence of working with hyperconstructible hypersheaves (hypercomplete sheaves) rather than standard constructible sheaves.
Structural Properties: The paper establishes that the $\infty$ -category of hyperconstructible hypersheaves $\text{Conshyp}_P(X; \mathcal{E})$ is presentable, closed under limits and colimits, and satisfies a categorical Künneth formula.
Recollement and Pushforward: The authors demonstrate that hyperconstructible hypersheaves form a recollement for closed/open decompositions of the stratification and provide criteria for the preservation of constructibility under pushforward along proper morphisms and weak stratified bundles.

Significance and Claims
The paper claims to provide the "strongest version" of the exodromy equivalence currently available. By removing the ACC on the poset and the singular shape condition, the result applies to a broader class of spaces arising in algebraic and analytic geometry, including those that fail to be Whitney stratified.

The authors emphasize that their proof strategy, being purely $\infty$ -categorical, is more robust for generalizing to different coefficients than the model-categorical approach of Lurie. They note that their results imply that any conically stratified space with locally weakly contractible strata "admits an exit path" in the sense of Clausen and Ørsnes-Jansen, bridging the gap between geometric definitions and abstract categorical regularity conditions.

Furthermore, the paper recovers and generalizes results on Morita cohomology (Holstein), showing that for a connected, locally weakly contractible space $X$ , the category of local systems with coefficients in an $E_\infty$ -ring spectrum $A$ is equivalent to the category of modules over the chain algebra of the based loop space $C^*(\Omega_x(X); A)$ .

The work is presented as a foundational step for further developments, such as the construction of derived stacks of perverse sheaves and their moduli spaces, which are cited as ongoing or future applications in related works by the authors and collaborators.