arxiv: 2605.14470 · v1 · submitted 2026-05-14 · 🧮 math.AG · math.CT

Recognition: no theorem link

The Localization Theorem for the Motivic Homotopy Theory of Complex Analytic Stacks and other Geometric Settings

Roy Magen

Authors on Pith no claims yet

Pith reviewed 2026-05-15 01:55 UTC · model grok-4.3

classification 🧮 math.AG math.CT

keywords localization theoremmotivic homotopy theorycomplex analytic stackssix-functor formalismMorel-Voevodsky theoremalgebraic stacksdifferentiable stacksanalytification map

0 comments

The pith

The localization theorem of Morel and Voevodsky holds for motivic homotopy theory over complex analytic stacks.

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

The paper proves an analog of the Morel-Voevodsky localization theorem in the motivic homotopy category of complex analytic stacks. This theorem produces fiber sequences from closed immersions after suitable localization in the homotopy category. The result supports construction of a six-functor formalism for complex analytic motivic homotopy theory together with an analytification map that commutes with all six operations. General techniques developed in the proof also establish the theorem for algebraic stacks and differentiable stacks.

Core claim

We prove the analog of the Morel-Voevodsky localization theorem over complex analytic stacks, which is used to establish a 6-functor formalism of complex analytic motivic homotopy theory and produce an analytification map that is compatible with the six operations. Along the way, we establish general techniques for proving this theorem over other geometric settings, which also apply, for example, to the settings of algebraic stacks and differentiable stacks.

What carries the argument

The localization theorem, which asserts that closed immersions induce exact sequences in the motivic homotopy category after localization, extended to the geometric setting of complex analytic stacks.

If this is right

A six-functor formalism exists for complex analytic motivic homotopy theory.
An analytification map exists that commutes with all six operations.
The localization theorem holds for algebraic stacks.
The localization theorem holds for differentiable stacks.

Where Pith is reading between the lines

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

Motivic homotopy methods developed for algebraic geometry become available in complex analytic geometry with matching formal properties.
The general techniques provide a template for verifying localization in further geometric categories such as derived or Artin stacks.
Compatibility of analytification with the six operations permits direct comparison between algebraic and analytic versions of the motivic homotopy category.

Load-bearing premise

Complex analytic stacks admit model structures and localization properties compatible with the motivic homotopy framework in the same manner as algebraic varieties.

What would settle it

A specific closed immersion of complex analytic stacks for which the induced map fails to produce a fiber sequence in the motivic homotopy category after localization would disprove the theorem.

read the original abstract

We prove the analog of the Morel-Voevodsky localization theorem over complex analytic stacks, which is used in arXiv:2511.09371 to establish a 6-functor formalism of complex analytic motivic homotopy theory and produce an analytification map that is compatible with the six operations. Along the way, we establish general techniques for proving this theorem over other geometric settings, which also apply, for example, to the settings of algebraic stacks and differentiable stacks.

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

Magen proves the localization theorem for motivic homotopy over complex analytic stacks, supplying the step needed for the 6-functor formalism in the companion paper.

read the letter

The main point is that this paper establishes the analog of the Morel-Voevodsky localization theorem for complex analytic stacks. That result is then used to build the six operations and a compatible analytification map, as referenced in arXiv:2511.09371. Along the way it gives general techniques that also cover algebraic stacks and differentiable stacks, so the work is not limited to one narrow case. The argument checks compatibility of the model structures and localization properties with the motivic framework using the same hypotheses that appear in the algebraic literature, without adding new conditions. The stress-test found no internal inconsistencies or unverified steps in that construction, which keeps the logic straightforward. The abstract states the claim cleanly and the paper treats the result as independent rather than circular. A soft spot is that the abstract itself supplies no proof details or explicit verification steps, so the soundness rests entirely on the body of the paper. Reviewers will need to examine the model-category checks for the analytic setting to confirm they hold without hidden gaps. This work is for people already working in motivic homotopy theory who need to move between algebraic and analytic or stacky settings. It fills a specific technical hole and supplies reusable methods. I would send it to peer review. The claim is clear, the approach is standard but necessary, and the companion paper makes the result immediately relevant.

Referee Report

0 major / 1 minor

Summary. The manuscript proves the analog of the Morel-Voevodsky localization theorem for the motivic homotopy theory of complex analytic stacks. It develops general techniques for proving this theorem that apply to other geometric settings, including algebraic stacks and differentiable stacks. The result supports the establishment of a 6-functor formalism and a compatible analytification map in the companion paper arXiv:2511.09371.

Significance. If the central claim holds, the work extends a key foundational theorem from algebraic geometry to complex analytic stacks, facilitating motivic homotopy theory and six-functor formalisms in analytic contexts. The general techniques for multiple geometric settings represent a notable strength and broaden the potential impact.

minor comments (1)

The introduction would benefit from a short comparison of the model structures used here versus the classical algebraic case to improve accessibility.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. No specific major comments were raised in the report, which we interpret as an indication that the main results and techniques are viewed as sound. We will proceed with any minor editorial adjustments in the revised version.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper establishes the localization theorem analog through direct verification of model structure compatibilities and localization properties for complex analytic stacks, extending techniques to algebraic and differentiable stacks as well. The reference to arXiv:2511.09371 appears only as an application context for the result, not as a load-bearing input or self-referential definition in the derivation chain. No step reduces by construction to fitted parameters, renamed empirical patterns, or unverified self-citations; the central argument remains self-contained against standard motivic homotopy assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the validity of the original Morel-Voevodsky theorem in the algebraic setting and on the assumption that complex analytic stacks admit the necessary model-categorical or homotopy-theoretic structures.

axioms (2)

domain assumption Morel-Voevodsky localization theorem holds in the algebraic setting
The paper proves an analog, so the original result is taken as given.
domain assumption Complex analytic stacks possess the geometric properties required for motivic homotopy theory
Invoked to transfer the localization statement to the analytic case.

pith-pipeline@v0.9.0 · 5364 in / 1336 out tokens · 40771 ms · 2026-05-15T01:55:35.376853+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages · 2 internal anchors

[1]

Jarod Alper , Jack Hall , and David Rydh , The \'e tale local structure of algebraic stacks , arXiv e-prints (2025), arXiv:1912.06162

work page arXiv 2025
[2]

I , Ast\'erisque (2007), no

Joseph Ayoub, Les six op\'erations de G rothendieck et le formalisme des cycles \' evanescents dans le monde motivique. I , Ast\'erisque (2007), no. 314, x+466. 2423375

work page 2007
[3]

II , Ast\'erisque (2007), no

, Les six op\'erations de G rothendieck et le formalisme des cycles \'evanescents dans le monde motivique. II , Ast\'erisque (2007), no. 315, vi+364. 2438151

work page 2007
[4]

Denis-Charles Cisinski and Frédéric Déglise, Triangulated categories of mixed motives, Springer International Publishing, 2019

work page 2019
[5]

thesis, Universit \"a ts-und Landesbibliothek Bonn, 2023

Bastiaan Cnossen, Twisted ambidexterity in equivariant homotopy theory: Two approaches, Ph.D. thesis, Universit \"a ts-und Landesbibliothek Bonn, 2023

work page 2023
[6]

K-Theory 7 (2022), no

Brad Drew and Martin Gallauer, The universal six-functor formalism, Ann. K-Theory 7 (2022), no. 4, 599--649. 4560376

work page 2022
[7]

Brad Drew , Motivic H odge modules , arXiv e-prints (2018), arXiv:1801.10129

work page internal anchor Pith review Pith/arXiv arXiv 2018
[8]

138–205, Cambridge University Press, 2007

Frédéric Déglise, Correspondences and transfers, London Mathematical Society Lecture Note Series, p. 138–205, Cambridge University Press, 2007

work page 2007
[9]

Gerd Fischer, Complex analytic geometry, Lecture Notes in Mathematics, vol. Vol. 538, Springer-Verlag, Berlin-New York, 1976. 430286

work page 1976
[10]

Gert-Martin Greuel, Christoph Lossen, and Eugenii Shustin, Introduction to singularities and deformations, Springer Berlin Heidelberg, 2007

work page 2007
[11]

Li He, The universal continuous six functor formalism on light condensed anima, 2025, https://arxiv.org/abs/2511.17944

work page arXiv 2025
[12]

, Mathematische Annalen 280 (1988), no

Peter Heinzner, Linear äquivariante Einbettungen Steinscher Räume. , Mathematische Annalen 280 (1988), no. 1, 147--160 (German)

work page 1988
[13]

Claudius Heyer and Lucas Mann , 6-Functor Formalisms and Smooth Representations , arXiv e-prints (2024), arXiv:2410.13038

work page arXiv 2024
[14]

Marc Hoyois, The six operations in equivariant motivic homotopy theory, Adv. Math. 305 (2017), 197--279, Some corrections have been made to the arXiv version as recently as 2024, and references in the text should actually be interpreted as referring to the version of this paper found at arxiv.org/abs/1509.02145v5. 3570135

work page arXiv 2017
[15]

, Cdh descent in equivariant homotopy k -theory, Documenta Mathematica 25 (2020), 457–482

work page 2020
[16]

, The localization theorem for framed motivic spaces, Compos. Math. 157 (2021), no. 1, 1--11. 4215649

work page 2021
[17]

Marja Kankaanrinta, Equivariant collaring, tubular neighbourhood and gluing theorems for proper L ie group actions , Algebr. Geom. Topol. 7 (2007), 1--27. 2289802

work page 2007
[18]

Khan, The M orel- V oevodsky localization theorem in spectral algebraic geometry , Geom

Adeel A. Khan, The M orel- V oevodsky localization theorem in spectral algebraic geometry , Geom. Topol. 23 (2019), no. 7, 3647--3685. 4046969

work page 2019
[19]

Khan, V oevodsky’s criterion for constructible categories of coefficients , https://www.preschema.com/papers/six.pdf, 2021

Adeel A. Khan, V oevodsky’s criterion for constructible categories of coefficients , https://www.preschema.com/papers/six.pdf, 2021

work page 2021
[20]

Khan and Charanya Ravi, Generalized cohomology theories for algebraic stacks, Advances in Mathematics 458 (2024), 109975

Adeel A. Khan and Charanya Ravi, Generalized cohomology theories for algebraic stacks, Advances in Mathematics 458 (2024), 109975

work page 2024
[21]

170, Princeton University Press, Princeton, NJ, 2009

Jacob Lurie, Higher topos theory, Annals of Mathematics Studies, vol. 170, Princeton University Press, Princeton, NJ, 2009. 2522659

work page 2009
[22]

, Higher algebra, http://www.math.harvard.edu/ lurie/papers/HA.pdf, September 2017

work page 2017
[23]

, Spectral algebraic geometry, https://www.math.ias.edu/ lurie/papers/SAG-rootfile.pdf, 2018

work page 2018
[24]

arXiv:2511.09371

Roy Magen, Geometric criteria for 6-functor formalisms in the setting of pullback formalisms, 2025, p. arXiv:2511.09371

work page arXiv 2025
[25]

arXiv:2510.17702

, Universal properties and constructions of pullback formalisms in terms of invariance and stability, 2025, p. arXiv:2510.17702

work page arXiv 2025
[26]

1, 45–143

Fabien Morel and Vladimir Voevodsky, A^1 -homotopy theory of schemes , Publications mathématiques de l’IHÉS 90 (1999), no. 1, 45–143

work page 1999
[27]

Pflaum and Graeme Wilkin, Equivariant control data and neighborhood deformation retractions, Methods and Applications of Analysis 26 (2019), no

Markus J. Pflaum and Graeme Wilkin, Equivariant control data and neighborhood deformation retractions, Methods and Applications of Analysis 26 (2019), no. 1, 13–36

work page 2019
[28]

Marco Robalo, K -theory and the bridge from motives to noncommutative motives , Adv. Math. 269 (2015), 399--550. 3281141

work page 2015
[29]

Raphaël Ruimy and Swann Tubach, N ori motives (and mixed H odge modules) with integral coefficients , 2026, https://arxiv.org/abs/2407.01462

work page internal anchor Pith review Pith/arXiv arXiv 2026
[30]

1, 89–100

Yum-Tong Siu, Every S tein subvariety admits a S tein neighborhood , Inventiones Mathematicae 38 (1976), no. 1, 89–100

work page 1976
[31]

The Stacks Project Authors , Stacks Project , https://stacks.math.columbia.edu, 2026

work page 2026
[32]

Swann Tubach, Mixed H odge modules on stacks , Forum of Mathematics, Sigma 13 (2025), e175

work page 2025
[33]

9, 2155–2201

, On the N ori and H odge realisations of V oevodsky motives , Compositio Mathematica 161 (2025), no. 9, 2155–2201

work page 2025
[34]

Valdimir Voevodsky, V oevodsky’s lectures on cross functors , https://www.math.ias.edu/vladimir/node/94, 2001

work page 2001
[35]

4, e70050

Marco Volpe, The six operations in topology, Journal of Topology 18 (2025), no. 4, e70050

work page 2025
[36]

Qingchong Zhu, Continuous six-functor formalism on locally compact hausdorff spaces, 2025, https://arxiv.org/abs/2507.13537

work page arXiv 2025