A categorical and algebro-geometric theory of localization

Mauricio Corr\^ea; Simone Noja

arxiv: 2604.03845 · v3 · pith:BVTAVZV2new · submitted 2026-04-04 · 🧮 math.AG · math-ph· math.DG· math.GT· math.MP

A categorical and algebro-geometric theory of localization

Mauricio Corr\^ea , Simone Noja This is my paper

Pith reviewed 2026-05-13 17:07 UTC · model grok-4.3

classification 🧮 math.AG math-phmath.DGmath.GTmath.MP

keywords localizationopen-closed recollementtorsorsupported refinementscohomological theoriesVerdier dualityexcisionalgebro-geometric

0 comments

The pith

Localization for theories with open-closed recollements produces a torsor of supported refinements on the closed locus rather than a single distinguished class.

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

The paper develops a categorical framework for localization in cohomological theories equipped with an open-closed recollement. Starting from a class that vanishes upon restriction to the open complement, the natural output is a torsor of supported refinements on the closed locus. A unique canonical local term appears only after imposing an extra uniqueness or concentration principle. The formalism proves excision, a pullback under Cartesian base change, proper pushforward, and compatibility with external products, and shows that any assignment compatible with the localization triangle must land in this torsor. When combined with Verdier duality and orientation data, the resulting classes control local indices and produce global-to-local index formulas, recovering Euler-denominator expressions once purity and concentration hold.

Core claim

Starting from a class on a space whose restriction to the open complement vanishes, the formalism outputs a torsor of supported refinements on the closed locus rather than a distinguished localized class. A canonical local term arises only once an additional uniqueness or concentration principle is imposed. The work establishes excision, a natural pullback map under Cartesian base change, proper pushforward, and compatibility with external products under explicit hypotheses on product constructions and exceptional pullback. Any assignment of local terms already compatible with the localization triangle must take values in this torsor. Supplemented by Verdier duality and orientation data, the

What carries the argument

The torsor of supported refinements on the closed locus arising from an open-closed recollement, with a canonical term selected only by an added uniqueness or concentration principle.

Load-bearing premise

An open-closed recollement exists for the cohomological theory, together with an additional uniqueness or concentration principle that selects one canonical term from the torsor of supported refinements.

What would settle it

A concrete cohomological theory with open-closed recollement in which a class vanishing on the open complement admits at least two inequivalent supported refinements on the closed locus with no canonical choice among them.

read the original abstract

We develop a categorical and algebro-geometric treatment of localization for cohomological theories endowed with an open--closed recollement. Starting from a class whose restriction to the open complement vanishes, we show that the natural output of the formalism is, in general, not a distinguished localized class on the closed locus, but a torsor of supported refinements. This torsor is the secondary, pre-denominator object of localization; categorically, it gives rise to a translation groupoid of supported lifts. A canonical local term appears only after an additional uniqueness or concentration principle is imposed. We construct the torsor from the localization triangle and establish excision, Cartesian base-change pullback, proper pushforward, and compatibility with external products under explicit hypotheses. We also prove that any assignment of local terms compatible with the localization triangle factors through this torsor. With Verdier duality and orientation data, supported refinements define local indices and global-to-local index formulas. Under purity and concentration, the torsor is rigidified and the familiar Euler-denominator expressions are recovered.

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

The paper shows localization via recollement gives a torsor of supported refinements rather than a unique class, plus a factorization theorem forcing compatible assignments into it.

read the letter

The paper's central observation is that when you start with a class on a space that vanishes on the open complement, the localization formalism produces a torsor of supported refinements on the closed locus rather than one canonical class. You get uniqueness only by adding a concentration or uniqueness principle on top. This seems like a useful clarification for when classical index formulas apply. What works well is the systematic development from open-closed recollement data. They establish excision, a pullback map for Cartesian base change, proper pushforward, and compatibility with external products under suitable hypotheses on how products interact with exceptional pullback. The factorization theorem is nice: any assignment of local terms that respects the localization triangle has to take values in this torsor. Adding Verdier duality and orientation data lets them talk about local indices and global-to-local formulas. Under purity and concentration, it recovers the usual Euler-denominator expressions. The authors are careful to flag that the geometric examples depend on those extra comparison hypotheses. The new part is the explicit torsorial description and the factorization result forcing things into the torsor. This isn't just restating recollement; it highlights the extra data needed for canonicity. The citation pattern looks standard, drawing on recollement and Verdier duality literature without obvious gaps. Soft spots are minor but worth noting. The abstract presents the theorems without derivations, so it's hard to verify on the spot whether the torsor construction is forced by the axioms or involves some choice in the refinements. Since the full text is available, presumably the proofs are there, but the conditional nature of the examples means the framework's strength shows up only after checking purity in concrete settings. No obvious circularity in the setup. This is aimed at people working in algebraic geometry, particularly those dealing with cohomological theories, localization triangles, and index problems. A reader who knows recollements would find the unifying language helpful for organizing existing results and seeing where extra assumptions enter. I'd say send it to peer review. The categorical setup is careful, the claims are structural rather than wildly new, and the perspective on torsors clarifies things without overclaiming. A referee could check the derivations and the examples.

Referee Report

0 major / 3 minor

Summary. The paper develops a categorical framework for localization in cohomological theories using open-closed recollements. Starting from a class whose restriction to the open complement vanishes, it shows that the formalism yields a torsor of supported refinements on the closed locus rather than a canonical localized class; a unique term requires an additional uniqueness or concentration principle. The manuscript establishes excision, a natural pullback under Cartesian base change, proper pushforward, compatibility with external products (under explicit hypotheses), and a factorization theorem ensuring that any assignment compatible with the localization triangle takes values in the torsor. Supplemented by Verdier duality and orientation data, the localized classes govern local indices and recover Euler-denominator expressions under purity and concentration; geometric examples are presented as conditional realizations of this mechanism.

Significance. If the torsor construction and factorization theorem hold, the work provides a structural explanation for the non-canonicity of localization maps in recollement settings, clarifying the role of extra data such as purity or concentration in selecting canonical terms. This could unify treatments of local indices across algebraic geometry and homotopy theory, with the compatibility results (excision, base change, external products) offering reusable tools for deriving global-to-local formulas. The explicit separation of the torsorial output from its canonical refinements is a useful conceptual contribution when the central claims are verified.

minor comments (3)

[§2] §2 (or the section introducing the torsor): the definition of the torsor of supported refinements should include an explicit statement of the group acting on it, to make the torsor structure immediately verifiable from the recollement axioms.
[§4] The statement of the factorization theorem (likely §4) assumes compatibility with the localization triangle; a short remark on whether this compatibility is automatic or requires a separate check would help readers trace the hypotheses.
[Geometric examples] In the geometric examples section, the purity and concentration hypotheses are invoked to recover Euler-denominator expressions; a brief comparison table or sentence relating the general torsor to the classical case would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, which correctly identifies the central role of the torsor construction in the localization formalism and the necessity of additional uniqueness or concentration hypotheses for canonical terms. We appreciate the recommendation for minor revision and the recognition of the potential unifying value of the excision, base-change, and factorization results.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper constructs its torsor of supported refinements directly from the axioms of an open-closed recollement together with the localization triangle, starting from a class vanishing on the open complement. The factorization result is a structural consequence showing that any assignment compatible with the triangle lands in the torsor; this follows by definition from how the torsor is assembled rather than reducing a non-trivial prediction to its own inputs. No self-citations, fitted parameters, uniqueness theorems imported from prior author work, or smuggled ansatzes appear in the load-bearing steps. The framework is self-contained against standard recollement and Verdier duality data, with later geometric realizations explicitly conditioned on additional purity and concentration hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on the existence of an open-closed recollement, Verdier duality, orientation data, and purity/concentration hypotheses that are invoked to select a canonical term from the torsor. No explicit free parameters are introduced; the torsor itself is the new structural object.

axioms (2)

domain assumption Existence of an open-closed recollement for the cohomological theory
Invoked at the start of the abstract as the setting in which the localization formalism is developed.
domain assumption Verdier duality and orientation data are available
Required to obtain local indices and global-to-local formulas from the localized classes.

invented entities (1)

Torsor of supported refinements no independent evidence
purpose: The natural output of the localization formalism when no uniqueness or concentration principle is imposed
Introduced as the general replacement for a single distinguished localized class; independent evidence would be a concrete geometric example where multiple distinct supported refinements exist.

pith-pipeline@v0.9.0 · 5519 in / 1515 out tokens · 33927 ms · 2026-05-13T17:07:41.390575+00:00 · methodology

A categorical and algebro-geometric theory of localization

Core claim

What carries the argument

Load-bearing premise

What would settle it

discussion (0)