Pith. sign in

REVIEW 2 major objections 3 minor 35 references

Unstable motivic and real-\'etale homotopy theory

T0 review · 2 major / 3 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For any base scheme $S$, unstable real-étale motivic homotopy theory is equivalent to sheaves of spaces on the real spectrum of $S$; on pointed connected motivic spaces the real-étale localization is the $\rho$-periodization.

desk verdict Destabilizes Bachmann's stable result to a full unstable equivalence and rho-periodization for connected spaces, with one localized and easily repairable gap in Lemma 6.11. read the letter →

arxiv 2501.15651 v1 pith:D2BPS3D3 submitted 2025-01-26 math.AG math.ATmath.KT

Aravind Asok , Tom Bachmann , Elden Elmanto , Michael J. Hopkins This is my paper · ORCID
classification math.AGmath.ATmath.KT MSC 14F4214P10
keywords motivichomotopytheoryrealétaletopologysemialgebraicspectrumrho-localizationunstablesheavesofspacesJamesconstruction
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves a coincidence of two homotopy theories: over any base scheme $S$, the unstable motivic homotopy theory built with the real-étale topology is equivalent to semialgebraic topology over $S$, meaning sheaves of spaces on the real spectrum of $S$. It shows further that for pointed connected motivic spaces, real-étale localization is implemented by smashing with the telescope of the map $\rho: S^0 \to \mathbb{G}_m$ that sends the non-basepoint to $-1$. If the theorem is right, algebraic invariants that are $\mathbb{A}^1$-invariant and satisfy real-étale descent are exactly invariants of the real points of a scheme, so computations over ordered fields become topological computations. The paper also computes the real-étale localization of motivic Eilenberg-Mac Lane spaces, showing the resulting homotopy rings are polynomial rings on explicit generators $\rho$ and $t$.

What carries the argument

Two mechanisms carry the argument. The first is the map $\rho: S^0 \to \mathbb{G}_m$, sending the non-basepoint to $-1$, together with its James construction $J_\rho$ — the free $E_1$-algebra with unit factoring through $\rho$ — and the $\rho$-periodization $X[\rho^{-1}] = X \wedge J_\rho$. The authors prove $\rho$ is $S^1$-central in pointed motivic spaces, so for connected $X$ the object $X \wedge J_\rho$ is the $\Sigma\rho$-localization of $X$. The second is the real spectrum $RS$ and the class of interval-shaped open subsets of $R(\mathbb{A}^1_X)$: an open set is interval-shaped when every fiber interval connecting a point to a polynomial section lies inside it. These are real-étale open neighborhoods that are $\mathbb{A}^1$-homotopy equivalent to their images in $RX$, giving the local contractibility that makes every smooth scheme real-étale locally $\mathbb{A}^1$-contractible and forces $\mathbb{A}^1$-invariant real-étale sheaves to be locally constant.

What would settle it

Evaluate whether Lemma 6.11 needs its full strength: over an unorderable field of positive characteristic such as $\mathbb{F}_2$, compute whether $J_\rho$ is contractible or merely whether $\Sigma J_\rho$ is contractible. If $\pi_0(J_\rho)$ or $\mathrm{Map}(S^0, J_\rho)$ is nonzero even though $\Sigma J_\rho = *$, the lemma as written is false, and the descent proof should be read as using only the suspension statement, which is all the surrounding argument appears to require.

Watch

Extended reading notes

Core claim

The paper's main theorem (Theorem 1.1, proved as Theorems 5.13 and 6.12) asserts that for any scheme $S$, the $\infty$-category $\mathrm{Spc}_{\mathrm{r\'et}}(S)$ of $\mathbb{A}^1$-invariant real-étale sheaves on smooth $S$-schemes is equivalent to $\mathrm{Shv}(S_{\mathrm{r\'et}})$, the $\infty$-topos of sheaves of spaces on the small real-étale site of $S$, equivalently on its real spectrum $RS$. Concretely: any real-étale sheaf of spaces on $\mathrm{Sm}_S$ is locally constant in the real-étale topology, the map $\rho^*: \Omega_{\mathbb{G}_m} X \to X$ is an equivalence for every such $X$, and locally constant real-étale sheaves are automatically $\mathbb{A}^1$-invariant. For pointed connected $X \in \mathrm{Spc}(S)_*$, the localization $L_{\mathrm{r\'et}}X$ is the initial $\mathbb{A}^1$-invariant real-étale sheaf under $X$, and it is given by the $\rho$-periodization $X[\rho^{-1}] = \mathrm{colim}(X \to \mathbb{G}_m \wedge X \to \mathbb{G}_m^{\wedge 2} \wedge X \to \cdots) \simeq X \wedge J_\rho$, which is also the $\rho$-localization of $X$. The authors establish this by proving local contractibility of the affine line over real closed fields with respect to the real-étale topology, and by showing that the relevant descent obstruction is killed by a transfer argument for real-étale covers.

Load-bearing premise

The proof of descent for real-étale covers uses Lemma 6.11, which asserts that the James construction $J_\rho$ is contractible in positive characteristic; the cited Corollary 6.8 only proves its suspension $\Sigma J_\rho$ is contractible, and a contractible suspension does not generally make the space contractible.

Editorial extensions

If this is right

  • For every base scheme $S$, real-étale motivic spaces are exactly sheaves of spaces on the real spectrum, so real-étale motivic invariants can be computed stalkwise at real closed fields.
  • Any pointed connected motivic space $X$ has $L_{\mathrm{r\'et}}X \simeq X[\rho^{-1}]$; in particular real-étale localization is a single smashing operation, not an iteration of separate $\mathbb{A}^1$ and sheafification steps.
  • The equivalence $X[\rho^{-1}] \simeq L_{\mathrm{r\'et}}X$ gives a concrete formula for the real-étale localization of loop spaces, classifying spaces, and other connected spaces of interest in $\mathbb{A}^1$-homotopy theory.
  • Over $\mathbb{R}$, the real realization functor agrees with real-étale localization, so homotopy types of real points of schemes (e.g. real Grassmannians and loop spaces of split reductive groups) are computed by the localized motivic space.
  • The real-étale localizations of motivic Eilenberg-Mac Lane spaces are constant sheaves with explicit homotopy rings, e.g. $\pi_* L_{\mathrm{r\'et}}K(\mathbb{Z}(\star),\star) \cong \mathbb{Z}[\rho,t]/(2\rho)$ and $\pi_* L_{\mathrm{r\'et}}K(\tilde{\mathbb{Z}}(\star),\star) \cong \mathbb{Z}[\rho,t]/(2t\rho)$, with mod-2 Bockstein behavior fixed.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The theorem suggests a general design principle: a 'designer' Grothendieck topology can be promoted to a homotopy theory whose localization is a single smashing operation whenever the topology is generated by inverting one map; the real-étale topology is the case of inverting $\rho$.
  • The $C_2$-equivariant analog in the paper works without connectivity, while the paper shows connectivity is necessary over $\mathbb{C}$; one could test intermediate hypotheses (nilpotence, finiteness) under which $\rho$-periodization and real-étale localization still agree for non-connected spaces.
  • The interval-shaped open method may transfer to other settings with a real line carrying orderings, such as o-minimal structures or spaces of orderings, producing analogous local-contractibility statements for semialgebraic-like topologies.
  • If Lemma 6.11's $J_\rho = *$ over positive characteristic is an overstatement, the descent proof still appears to go through using only $\Sigma J_\rho = *$; this suggests the theorem is more robust than the written proof, and the gap is repairable.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper proves an unstable version of real-étale motivic homotopy theory. The main theorem (Theorem 1.1, proved as Theorems 5.13 and 6.12) states that for any base scheme S, the category of A1-invariant real-étale sheaves of spaces on Sm_S is equivalent to Shv(S_rét), the ∞-topos of sheaves on the real spectrum of S. Moreover, for a pointed connected motivic space X, the real-étale localization L_rét X is equivalent to the ρ-periodization X[ρ^{-1}] (equivalently X ∧ Jρ). The proof combines a James-construction analysis of ρ-localization in a symmetric monoidal ∞-category, a detailed study of the real spectrum of the affine line over real closed fields that establishes local contractibility, a transfer argument for real-étale covers in characteristic 0, and an ∞-topos continuity argument to pass to arbitrary bases. Section 7 derives applications to real realizations and to the real-étale localization of motivic Eilenberg–Mac Lane spaces.

Significance. If correct, the main theorem is a substantial destabilization of Bachmann's stable results [Bac18] and provides a clean description of real-étale motivic homotopy theory in terms of sheaves on spaces that carry no motivic structure. The equivalence of real-étale localization with ρ-periodization for connected spaces is a powerful computational tool, and the applications in Section 7 (real realization, Eilenberg–Mac Lane spaces, Bott periodicity) demonstrate its utility. The paper is generally careful and self-contained in its key geometric arguments, and it credits external references for many ∞-categorical and stable facts. The main concerns are a localized but load-bearing gap in Lemma 6.11 and a reliance on a continuity assertion in Theorem 5.13 that should be stated more explicitly. Both appear repairable, but the manuscript as written needs revision.

major comments (2)
  1. [Lemma 6.11] The proof of the positive-characteristic case asserts "If k has positive characteristic then Jρ = ∗ by Corollary 6.8", but Corollary 6.8 proves only ΣJρ = ∗, and a contractible suspension does not imply contractibility of the underlying space in an ∞-topos. This is a load-bearing step: Lemma 6.11 is used in the proof of Theorem 6.12 to establish real-étale descent. The gap is localized and repairable: writing C for the Čech nerve, the object N = (Σ C) ∧ Jρ is equivalent to Σ(C ∧ Jρ), hence is connected by Remark 6.6; the argument in the proof shows that [ΣX,N] ≃ [X ∧ ΣJρ,N] for every pointed X, and when ΣJρ = ∗ this gives [ΣX,N] ≃ π0(N) = ∗, so N = ∗. The proof should be amended to use ΣJρ = ∗ rather than Jρ = ∗.
  2. [Theorem 5.13, proof] The reduction from arbitrary S to finite-type affine Z-schemes invokes a continuity assertion for the functors Shv(S_rét) and Spc_rét(S), said to be an "∞-topos-theoretic enhancement of [Sch94, Proposition 3.4.1]" with a pointer to [BH21b, Proof of Theorem 4.2]. Since this continuity is load-bearing for the equivalence over arbitrary base schemes, the paper should either state the precise ∞-categorical continuity result and prove it, or indicate exactly where in the references the required statement appears.
minor comments (3)
  1. [Throughout] There are several typographical errors: "abut" in the Section 4 title should be "about", "specalize" on p. 15 should be "specialize", "impplies" on p. 16 should be "implies", "subscateg ory" on p. 18 should be "subcategory", and "m ap" in the abstract should be "map".
  2. [Section 3] The symbol "/BD" appears in many displayed formulas (e.g., Definition 3.3, Lemma 3.4, Proposition 3.6). If this is a typesetting artifact for the initial object, please use a standard notation so that the text is readable.
  3. [Lemma 6.7] The proof invokes the claim "we use that k is perfect, so that ΩBM ≃ M for connected monoids M" without a reference; please add a citation or a proof, since the claim is not immediate for motivic spaces.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the unstable real-étale motivic comparison is derived from published independent inputs; the only flagged defect, Lemma 6.11's Jρ=∗ over positive characteristic, is a localized proof gap rather than a circular step.

full rationale

The central derivation is not circular. Theorem 5.13 is proved by an independent geometric argument: interval-shaped open subsets of RA1 (Proposition 5.6), an explicit A1 contraction of O[0,1] (Lemma 5.10), and a colimit-density argument using Lemma 5.12. The main external input is Theorem 4.5, quoting [ES21, Theorems B.10 and B.13] for the ∞-topos equivalence Shv(RX) ≃ Shv(Xrét); that result is published, is not the unstable motivic theorem being proved, and therefore constitutes genuine independent support rather than a circular premise. Theorem 6.12 similarly uses the James-construction formalism of §3, the centrality Lemma 6.2, and the stable results of [Bac18] to control ΣJρ and the real-étale transfer; the stable theorem is not equivalent to the unstable conclusion, so importing it is not a self-citation chain forcing the result. There are no fitted parameters, no data subsets, and no 'prediction' that is equivalent by construction to an input. The one passage that deserves explicit flagging is the first sentence of the proof of Lemma 6.11: 'If k has positive characteristic then Jρ = ∗ by Corollary 6.8.' Corollary 6.8 proves only ΣJρ = ∗ for unorderable fields, and a contractible suspension does not generally imply contractibility for pointed motivic spaces. This is a localized correctness or typo-level gap, not a circularity. The later descent argument in Theorem 6.12 needs only Σ(|Spec(l)ו+1| ∧ Jρ) ≃ ∗, which follows from ΣJρ ≃ ∗ by associativity/symmetry of the smash product; hence the overstatement does not infect the main theorem. Circularity score is therefore 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

There are no fitted numerical parameters in this paper; all quantities are defined by universal constructions or derived from prior published results. The axioms listed are the main external inputs: infinity-topos theory, motivic homotopy theory, real-etale topology, and the stable theorem of [Bac18]. No new physical or mathematical entities are postulated with independent falsifiable handles; the paper introduces new categorical constructions such as interval-shaped opens, but these are internal proof devices rather than invented entities in the sense of new forces or particles.

assumptions (5)
  • standard math Infinity-topos foundations and hypercompleteness of real-etale topoi (Theorem 4.5, citing [ES21] and [CM21]).
    Used throughout; the comparison Shv(RX) ≃ Shv(X_rét) and Postnikov convergence are load-bearing for Theorem 5.13 and Section 7.
  • standard math Morel-Voevodsky unstable motivic homotopy theory ([MV99]), including the localization theorem, A1-invariance, and the Nisnevich topology.
    The paper works inside Spc(S) and uses standard facts about motivic spaces, e.g., Proposition 2.1 and Lemma 6.5.
  • domain assumption Scheiderer's description of real-etale topology and real spectra ([Sch94]), including the stalk description via real henselian rings and the structure of R(A1_r) from [KS22].
    Used in Sections 4 and 5, e.g., Proposition 5.2 and Lemma 5.3, to analyze interval-shaped opens.
  • domain assumption Stable real-etale motivic homotopy theory and the transfer surjectivity result of [Bac18, Corollary 21].
    Used in Lemma 6.9 and Lemma 7.20; this is prior published work by one of the authors, not re-proved here.
  • standard math Morel's computations of endomorphism rings of A^2\0 and motivic homotopy sheaves ([Mor12, Theorem 7.15, Corollary 6.43]) and [Jac17, Theorem 8.5] for Milnor-Witt K-theory.
    Used in Proposition 2.3 and Corollary 6.8 to identify classes in GW(k) and pi_1 of motivic spheres.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Unstable motivic and real-\'etale homotopy theory." pith.science (2026). https://pith.science/paper/D2BPS3D3

@misc{pith2026250115651,
  author       = {Pith},
  title        = {Pith review of: Unstable motivic and real-\'etale homotopy theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D2BPS3D3}},
  note         = {Machine review of arXiv:2501.15651}
}
abstract

We prove that for any base scheme $S$, real \'etale motivic (unstable) homotopy theory over $S$ coincides with unstable semialgebraic topology over $S$ (that is, sheaves of spaces on the real spectrum of $S$). Moreover we show that for pointed connected motivic spaces over $S$, the real \'etale motivic localization is given by smashing with the telescope of the map $\rho: S^0 \to {\mathbb G}_m$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

35 extracted references · 30 canonical work pages

  1. [1]

    A. Asok, T. Bachmann, and M.J. Hopkins. On P ^1 -stabilization in unstable motivic homotopy theory. Available at https://arxiv.org/abs/2306.04631

    arXiv

  2. [2]

    A. Asok, T. Bachmann, and M.J. Hopkins. On the W hitehead theorem for nilpotent motivic spaces, 2024. Available at https://arxiv.org/abs/2210.05933

    arXiv 2024

  3. [3]

    Andradas, L

    C. Andradas, L. Br\" o cker, and J. M. Ruiz. Constructible sets in real geometry , volume 33 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)] . Springer-Verlag, Berlin, 1996

    work page 1996

  4. [4]

    A. Asok, J. Fasel, and M. J. Hopkins. Localization and nilpotent spaces in A^1 -homotopy theory. Compos. Math. , 158(3):654--720, 2022

    work page 2022

  5. [5]

    A. Asok, M. Hoyois, and M. Wendt. Affine representability results in A ^1 --homotopy theory, ii: Principal bundles and homogeneous spaces. Geometry & Topology , 22(2):1181--1225, 2018

    work page 2018

  6. [6]

    Arhangel'skii and M

    A. Arhangel'skii and M. Tkachenko. Topological groups and related structures , volume 1 of Atlantis Studies in Mathematics . Atlantis Press, Paris; World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2008

    work page 2008

  7. [7]

    A. Asok, K. Wickelgren, and T.B. Williams. The simplicial suspension sequence in A ^1 -homotopy. Geom. Topol. , 21(4):2093--2160, 2017

    work page 2017

  8. [8]

    Bachmann

    T. Bachmann. Motivic and real \' e tale stable homotopy theory. Compos. Math. , 154(5):883--917, 2018

    work page 2018

Show all 35 references
  1. [9]

    Bachmann

    T. Bachmann. Affine G rassmannians in A^1 -homotopy theory. Selecta Math. (N.S.) , 25(2):Paper No. 25, 14, 2019

    2019

  2. [10]

    Bachmann

    T. Bachmann. -periodic motivic stable homotopy theory over D edekind domains. accepted for publication in Journal of Topology , 2022. arXiv:2006.02086 https://arxiv.org/abs/2006.02086

    2022 arXiv

  3. [11]

    Bochnak, M

    J. Bochnak, M. Coste, and M.-F. Roy. Real algebraic geometry , volume 36 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)] . Springer-Verlag, Berlin, 1998. Translated from the 1987 French original, Revised by the authors

    1998

  4. [12]

    Bachmann and M

    T. Bachmann and M. Hoyois. Norms in motivic homotopy theory. Ast\' e risque , (425):ix+207, 2021

    2021

  5. [13]

    Bachmann and M

    T. Bachmann and M. Hoyois. Remarks on étale motivic stable homotopy theory. Available at https://arxiv.org/abs/2104.06002, 2021

    2021 arXiv

  6. [14]

    Carral and M

    M. Carral and M. Coste. Normal spectral spaces and their dimensions. J. Pure Appl. Algebra , 30(3):227--235, 1983

    1983

  7. [15]

    M. C. Crabb and S. A. Mitchell. The loops on U (n)/ O (n) and U (2n)/ Sp (n) . Math. Proc. Cambridge Philos. Soc. , 104(1):95--103, 1988

    1988

  8. [16]

    Clausen and A

    D. Clausen and A. Mathew. Hyperdescent and \' e tale K -theory. Invent. Math. , 225(3):981--1076, 2021

    2021

  9. [17]

    Coste and M.-F

    M. Coste and M.-F. Roy. La topologie du spectre r\' e el. In Ordered fields and real algebraic geometry ( S an F rancisco, C alif., 1981) , volume 8 of Contemp. Math. , pages 27--59. Amer. Math. Soc., Providence, RI, 1982

    1981

  10. [18]

    P. Deligne. Le th\' e or\`eme de plongement de N agata. Kyoto J. Math. , 50(4):661--670, 2010

    2010

  11. [19]

    Dugger, S

    D. Dugger, S. Hollander, and D. C. Isaksen. Hypercovers and simplicial presheaves. Math. Proc. Cambridge Philos. Soc. , 136(1):9--51, 2004

    2004

  12. [20]

    Dugger and D

    D. Dugger and D. C Isaksen. Hypercovers in topology, 2001. Available at https://arxiv.org/abs/math/0111287

    2001 arXiv

  13. [21]

    Elmanto, M

    E. Elmanto, M. Hoyois, R. Iwasa, and S. Kelly. Cdh descent, cdarc descent, and M ilnor excision. Math. Ann. , 379(3-4):1011--1045, 2021

    2021

  14. [22]

    Elmanto and J

    E. Elmanto and J. Shah. Scheiderer motives and equivariant higher topos theory. Advances in Mathematics , 382:107651, 2021

    2021

  15. [23]

    Hahn and D

    J. Hahn and D. Wilson. Eilenberg-- M ac L ane spectra as equivariant T hom spectra. Geom. Topol. , 24(6):2709--2748, 2020

    2020

  16. [24]

    Jacobson

    J. Jacobson. Real cohomology and the powers of the fundamental ideal in the witt ring. Annals of K-Theory , 2(3):357--385, 2017

    2017

  17. [25]

    Knebusch and C

    M. Knebusch and C. Scheiderer. Real Algebra: A First Course . Universitext. Springer, Cham, 2022

    2022

  18. [26]

    Lojasiewicz

    S. Lojasiewicz. Triangulation of semi-analytic sets. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) , 18:449--474, 1964

    1964

  19. [27]

    J. Lurie. Higher topos theory , volume 170 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2009

    2009

  20. [28]

    J. Lurie. Higher algebra, September 2017. Available at https://www.math.ias.edu/ lurie/papers/HA.pdf

    2017

  21. [29]

    F. Morel. A ^1 -algebraic topology over a field , volume 2052 of Lecture Notes in Mathematics . Springer, Heidelberg, 2012

    2012

  22. [30]

    Morel and V

    F. Morel and V. Voevodsky. A ^1 -homotopy theory of schemes. Inst. Hautes \' E tudes Sci. Publ. Math. , (90):45--143 (2001), 1999

    2001

  23. [31]

    Scheiderer

    C. Scheiderer. Quasi-augmented simplicial spaces, with an application to cohomological dimension. J. Pure Appl. Algebra , 81(3):293--311, 1992

    1992

  24. [32]

    Scheiderer

    C. Scheiderer. Real and \' e tale cohomology , volume 1588 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1994

    1994

  25. [33]

    Stacks Project

    The Stacks Project Authors . Stacks Project . http://stacks.math.columbia.edu, 2018

    2018

  26. [34]

    Voevodsky

    V. Voevodsky. Homotopy theory of simplicial sheaves in completely decomposable topologies. J. Pure Appl. Algebra , 214(8):1384--1398, 2010

    2010

  27. [35]

    Voevodsky

    V. Voevodsky. Unstable motivic homotopy categories in N isnevich and cdh-topologies. J. Pure Appl. Algebra , 214(8):1399--1406, 2010

    2010

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.