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

Recognition: no theorem link

A categorical and algebro-geometric theory of localization

Mauricio Corr\^ea , Simone Noja

Authors on Pith no claims yet

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 on a space 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 rather a torsor of supported refinements; a canonical local term arises only once an additional uniqueness or concentration principle is imposed. We establish excision, a natural pullback map under Cartesian base change, proper pushforward, and compatibility with external products under explicit hypotheses governing the interaction between product constructions and exceptional pullback. We also prove a factorization result showing that any assignment of local terms already compatible with the localization triangle must necessarily take its values in this torsor. When supplemented by Verdier duality and the appropriate orientation data, the resulting localized classes govern local indices and yield global-to-local index formulas. Under purity and concentration, the formalism recovers the familiar Euler-denominator expressions. The later geometric examples should therefore be read as conditional realisations of the same torsorial mechanism, available only once the relevant comparison hypotheses, together with the requisite purity and concentration statements, are in force.

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

discussion (0)

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

[1]

M. F. Atiyah and R. Bott,The moment map and equivariant cohomology, Topology23(1984), 1–28

work page 1984
[2]

A. A. Beilinson, J. Bernstein, and P . Deligne,Faisceaux pervers, Astérisque100(1982)

work page 1982
[3]

Berline and M

N. Berline and M. Vergne,Classes caractéristiques équivariantes. Formule de localisation, C. R. Acad. Sci. Paris295 (1982), 539–541

work page 1982
[4]

S. K. Donaldson and R. P . Thomas,Gauge theory in higher dimensions, inThe Geometric Universe, Oxford Univ. Press, Oxford, 1998, pp. 31–47

work page 1998
[5]

Edidin and W

D. Edidin and W. Graham,Equivariant intersection theory, Invent. Math.131(1998), 595–634

work page 1998
[6]

Graber and R

T. Graber and R. Pandharipande,Localization of virtual classes, Invent. Math.135(1999), 487–518

work page 1999
[7]

Grothendieck et al.,Théorie des topos et cohomologie étale des schémas (SGA4), Lecture Notes in Mathematics, vols

A. Grothendieck et al.,Théorie des topos et cohomologie étale des schémas (SGA4), Lecture Notes in Mathematics, vols. 269, 270, 305, Springer-Verlag, 1972/1973

work page 1972
[8]

Illman,Existence and uniqueness of equivariant triangulations of smooth proper G-manifolds, J

S. Illman,Existence and uniqueness of equivariant triangulations of smooth proper G-manifolds, J. Reine Angew. Math. 524(2000), 129–183

work page 2000
[9]

Hoyois,The six operations in equivariant motivic homotopy theory, Adv

M. Hoyois,The six operations in equivariant motivic homotopy theory, Adv. Math.305(2017), 197–279

work page 2017
[10]

Hoyois,A quadratic refinement of the Grothendieck–Lefschetz–Verdier trace formula, Algebr

M. Hoyois,A quadratic refinement of the Grothendieck–Lefschetz–Verdier trace formula, Algebr. Geom. Topol.14 (2014), no. 6, 3603–3658

work page 2014
[11]

Déglise, F

F. Déglise, F. Jin, and A. A. Khan,Fundamental classes in motivic homotopy theory, J. Eur. Math. Soc. (JEMS)23 (2021), no. 12, 3935–3993

work page 2021
[12]

Levine,Virtual localization in equivariant Witt cohomology, Indag

M. Levine,Virtual localization in equivariant Witt cohomology, Indag. Math. (N.S.)37(2024), no. 3, 632–683

work page 2024
[13]

D’Angelo,Virtual Localisation Formula forSL η-Oriented Theories, arXiv:2411.06570

A. D’Angelo,Virtual Localisation Formula forSL η-Oriented Theories, arXiv:2411.06570

work page arXiv
[14]

Fujiwara,Rigid geometry, Lefschetz–Verdier trace formula and Deligne’s conjecture, Invent

K. Fujiwara,Rigid geometry, Lefschetz–Verdier trace formula and Deligne’s conjecture, Invent. Math.127(1997), no. 3, 489–533

work page 1997
[15]

Vistoli,Intersection theory on algebraic stacks and on their moduli spaces, Invent

A. Vistoli,Intersection theory on algebraic stacks and on their moduli spaces, Invent. Math.97(1989), no. 3, 613–670

work page 1989
[16]

Laszlo and M

Y. Laszlo and M. Olsson,The six operations for sheaves on Artin stacks. I. Finite coefficients, Publ. Math. Inst. Hautes Ètudes Sci.107(2008), 109–168

work page 2008
[17]

Laszlo and M

Y. Laszlo and M. Olsson,The six operations for sheaves on Artin stacks. II. Adic coefficients, Publ. Math. Inst. Hautes Ètudes Sci.107(2008), 169–210

work page 2008
[18]

Varshavsky,Lefschetz–Verdier trace formula and a generalization of a theorem of Fujiwara, Geom

Y. Varshavsky,Lefschetz–Verdier trace formula and a generalization of a theorem of Fujiwara, Geom. Funct. Anal.17 (2007), no. 1, 271–319

work page 2007
[19]

Kashiwara and P

M. Kashiwara and P . Schapira,Sheaves on Manifolds, Grundlehren der mathematischen Wissenschaften, vol. 292, Springer-Verlag, Berlin, 1990

work page 1990
[20]

Maulik, N

D. Maulik, N. Nekrasov, A. Okounkov, and R. Pandharipande,Gromov–Witten theory and Donaldson–Thomas theory. I, Compos. Math.142(2006), no. 5, 1263–1285

work page 2006
[21]

N. A. Nekrasov,Seiberg–Witten prepotential from instanton counting, Adv. Theor. Math. Phys.7(2003), no. 5, 831–864

work page 2003
[22]

Pestun and M

V . Pestun and M. Zabzine (eds.),Localization techniques in quantum field theories, J. Phys. A50(2017), no. 44, 440301

work page 2017
[23]

Pandharipande and R

R. Pandharipande and R. P . Thomas,Curve counting via stable pairs in the derived category, Invent. Math.178 (2009), no. 2, 407–447

work page 2009
[24]

Brylinski and D

J.-L. Brylinski and D. A. McLaughlin,The geometry of the first Pontryagin class and of line bundles on loop spaces. I, Duke Math. J.75(1994), no. 3, 603–638

work page 1994
[25]

Brylinski and D

J.-L. Brylinski and D. A. McLaughlin,The geometry of the first Pontryagin class and of line bundles on loop spaces. II, Duke Math. J.83(1996), no. 1, 105–139

work page 1996
[26]

Waldorf,String connections and Chern–Simons theory, Trans

K. Waldorf,String connections and Chern–Simons theory, Trans. Amer. Math. Soc.365(2013), no. 8, 4393–4432

work page 2013
[27]

Bismut,Koszul complexes, harmonic oscillators, and the Todd class, J

J.-M. Bismut,Koszul complexes, harmonic oscillators, and the Todd class, J. Amer. Math. Soc.3(1990), no. 1, 159–256

work page 1990
[28]

Chern and J

S.-S. Chern and J. Simons,Characteristic forms and geometric invariants, Ann. of Math.99(1974), 48–69

work page 1974
[29]

The Stacks Project Authors,The Stacks Project, Section 39.11, Definition 39.11.3 (principal homogeneous spaces), https://stacks.math.columbia.edu

work page
[30]

Lurie,Derived Algebraic Geometry I: Stable Infinity Categories, arXiv:math/0608228

J. Lurie,Derived Algebraic Geometry I: Stable Infinity Categories, arXiv:math/0608228

work page arXiv
[31]

Cisinski and F

D.-C. Cisinski and F. Déglise,Triangulated Categories of Mixed Motives, Springer Monographs in Mathematics, Springer, Cham, 2019

work page 2019
[32]

R. W. Thomason,Une formule de Lefschetz enK-théorie équivariante algébrique, Duke Math. J.68(1992), 447–462

work page 1992
[33]

Vafa and E

C. Vafa and E. Witten,A strong coupling test ofS-duality, Nucl. Phys. B431(1994), no. 1–2, 3–77. DIPARTIMENTO DIMATEMATICA, UNIVERSITÀ DEGLISTUDI DIBARIALDOMORO, BARI, ITALY Email address:mauricio.barros@uniba.it DIPARTIMENTO DIMATEMATICA, UNIVERSITÀ DEGLISTUDI DIBARIALDOMORO, BARI, ITALY Email address:simone.noja@uniba.it

work page 1994