Localization theory in an $\infty$-topos

Marco Vergura

arxiv: 1907.03836 · v1 · pith:UFSAKXHXnew · submitted 2019-07-08 · 🧮 math.AT · math.CT

Localization theory in an infty-topos

Marco Vergura This is my paper

Pith reviewed 2026-05-25 00:22 UTC · model grok-4.3

classification 🧮 math.AT math.CT

keywords reflective subfibrationsL-local mapsL-separated maps∞-toposlocalization theoryslice categoriesfactorization systems

0 comments

The pith

Reflective subfibrations on an ∞-topos assign pullback-compatible reflective subcategories to each slice, so that L-local maps admit classifying maps while L-separated maps generate a second such subfibration.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs reflective subfibrations on an ∞-topos as pullback-compatible assignments of reflective subcategories D_X inside each slice E/X. It establishes that maps lying in these subcategories, termed L-local, possess a classifying map. It then defines L-separated maps as those whose diagonal is L-local and shows that these maps serve as the local class for a new reflective subfibration L'_•. The work examines the relations between L_• and L'_•, including explicit conditions under which the two coincide.

Core claim

A reflective subfibration L_• on an ∞-topos E is a pullback-compatible assignment of a reflective subcategory D_X ⊆ E/X for every object X. The maps that belong to some D_X are L-local and admit a classifying map. The maps whose diagonal is L-local are L-separated; these maps form the local class of a second reflective subfibration L'_• on E. The paper studies the interactions between L_• and L'_• and determines when the two subfibrations are identical.

What carries the argument

reflective subfibration: a pullback-compatible assignment of a reflective subcategory D_X ⊆ E/X to each object X of the ∞-topos E

If this is right

Every L-local map admits a classifying map in the ∞-topos.
L-separated maps constitute the local class of maps for a second reflective subfibration L'_•.
The subfibrations L_• and L'_• coincide whenever the stated interaction conditions hold.
Stable factorization systems arise as special cases of reflective subfibrations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The framework supplies a uniform language for localization constructions that appear in homotopy theory under different names.
One can test whether a given factorization system on an ∞-topos arises from a reflective subfibration by checking the pullback-compatibility and reflectivity axioms directly.

Load-bearing premise

The given assignment L_• satisfies the definition of a reflective subfibration, so that each D_X is reflective inside E/X and the assignment commutes with pullbacks.

What would settle it

An explicit reflective subfibration L_• on some ∞-topos together with an L-local map that possesses no classifying map in E would falsify the main existence claim.

read the original abstract

We develop the theory of reflective subfibrations on an $\infty$-topos $\mathcal{E}$. A reflective subfibration $L_\bullet$ on $\mathcal{E}$ is a pullback-compatible assignment of a reflective subcategory $\mathcal{D}_X\subseteq \mathcal{E}{/X}$, for every $X \in \mathcal{E}$. Reflective subfibrations abound in homotopy theory, albeit often disguised, e.g., as stable factorization systems. We prove that $L$-local maps (i.e., those maps that belong to some $\mathcal{D}_X$) admit a classifying map, and we introduce the class of $L$-separated maps, that is, those maps with $L$-local diagonal. $L$-separated maps are the local class of maps for a reflective subfibration $L'_\bullet$ on $\mathcal{E}$. We prove this fact in the compantion paper "$L'$-localization in an $\infty$-topos". In this paper, we investigate some interactions between $L_\bullet$ and $L'_\bullet$ and explain when the two reflective subfibrations coincide.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Reflective subfibrations give a clean organizing language for localizations in ∞-topoi, with the main results following directly once the definition is set.

read the letter

Vergura defines a reflective subfibration on an ∞-topos as a pullback-compatible assignment of reflective subcategories D_X in each slice E/X. From that he shows L-local maps (those in some D_X) admit a classifying map, introduces L-separated maps (those whose diagonal is L-local), and proves the latter form the local class of a second reflective subfibration L'. The paper also checks when L and L' coincide. These are the main points a colleague needs to know up front. The framework is presented as capturing many existing examples, such as stable factorization systems, without adding extra structure. The companion paper is cited for the verification that L' is reflective. What the work does well is supply a uniform language that makes the interactions between local maps and separated maps explicit and pullback-stable. The definitions look economical and the claims appear to be direct consequences rather than deep new theorems. Soft spots are limited. The abstract gives no proofs, so the precise ∞-categorical bookkeeping around pullbacks and the reflective property cannot be checked here; if the companion paper is needed for the key step, that should be stated clearly in the main text. No circularity or extra free parameters are visible. This is a paper for people already working in higher topos theory or homotopy theory who want a single set of definitions to handle localization phenomena across different contexts. A reader who knows the classical theory of reflective localizations in 1-toposes will see the value immediately. It deserves a serious referee because the setup is formally stated and the results are stated as verifiable from the definitions. I would send it to peer review, asking the authors to make the dependence on the companion paper explicit and to include at least one fully worked example in the main text.

Referee Report

0 major / 2 minor

Summary. The paper develops the theory of reflective subfibrations on an ∞-topos E. A reflective subfibration L_• is defined as a pullback-compatible assignment of reflective subcategories D_X ⊆ E/X for each X. It proves that L-local maps (those in some D_X) admit a classifying map. It introduces L-separated maps (those whose diagonal is L-local) and states that these form the local class for a second reflective subfibration L'_• (with the proof given in a companion paper). The paper then examines interactions between L_• and L'_• and conditions under which the two coincide.

Significance. If the results hold, the work supplies a general abstract framework for localization phenomena in ∞-topoi, connecting to existing constructions such as stable factorization systems. The introduction of L-separated maps and the comparison of the two subfibrations provides a systematic way to study iterated localizations, which may prove useful in applications to homotopy theory.

minor comments (2)

Abstract: 'compantion paper' is a typographical error for 'companion paper'.
The manuscript relies on a companion paper for the key statement that L-separated maps form the local class of L'_•; a short self-contained sketch of the argument (or explicit citation to the relevant theorem in the companion) would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; results follow from definitions

full rationale

The paper defines reflective subfibrations as pullback-compatible assignments of reflective subcategories in each slice, then derives that L-local maps admit a classifying map as a direct consequence of this definition. The claim that L-separated maps form the local class of a second reflective subfibration L' is explicitly deferred to the companion paper and is not used as a load-bearing premise here. No equations reduce claims to fitted inputs, no self-citations justify uniqueness theorems, and no ansatzes are smuggled in. The derivation chain remains independent of the target results and is self-contained against the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the standard axioms and definitions of ∞-category theory and ∞-topoi; no free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)

standard math Standard properties of ∞-topoi and reflective subcategories in slice categories
Invoked implicitly by the definition of reflective subfibration and the statements about L-local and L-separated maps.

pith-pipeline@v0.9.0 · 5720 in / 1156 out tokens · 26772 ms · 2026-05-25T00:22:06.204571+00:00 · methodology