Pith. sign in

REVIEW 2 major objections 5 minor 85 references

Schematic Functorialities of Birational Motivic Homotopy Categories

T0 review · 2 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read This paper proves that for any qcqs unibranch scheme $X$, the birational motivic homotopy category $H^0(X)$ decomposes as the product of the categories $H^0(k(\eta))$ of its generic points' residue fields.

desk verdict A promising framework and a likely-true main theorem, but the proof as written has a gap in the qcqs reduction step and an unjustified codimension inequality in the general continuity theorem. read the letter →

arxiv 2608.04793 v1 pith:7RJAYTED submitted 2026-08-05 math.AG math.ATmath.CT

Dipankar Maity This is my paper · ORCID
classification math.AGmath.ATmath.CT MSC 14F4214E05
keywords birationalmotivichomotopyn-denseopenimmersionsgenericdecompositionunibranchschemesNisnevichdescentflat-affinecontinuityslicefiltrationfunctionfields
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

This paper promotes the $n$-birational motivic homotopy category $H^n(S)$ — the localization of the motivic homotopy category at open immersions whose complements have codimension greater than $n$ — to a $\mathrm{Pr}^L$-valued presheaf on a category of correspondences built from smooth and generalization-lifting maps. The central result is a generic decomposition: for any qcqs unibranch scheme $X$, the zeroth birational motivic homotopy category $H^0(X)$ is equivalent to the product $\prod_{\eta \in X^{(0)}} H^0(k(\eta))$ of the categories attached to the residue fields of its generic points; in particular, for a variety $V$ one has $H^0(V) \simeq H^0(K(V))$. From this the paper derives a fiberwise criterion for birational equivalence of smooth schemes over a unibranch base, and fully faithful embeddings along stably birational morphisms and purely transcendental field extensions. Along the way it proves Nisnevich descent, deformation invariance, and flat-affine continuity for $H^n$, and shows that $\Omega_{\mathbb{P}^1}$ lowers the height of birational locality, giving a partial unstable slice conjecture.

What carries the argument

The machinery is the $n$-birational localization $L_n: H^{\mathbb{A}^1}(S) \to H^n(S)$ at $n$-dense open immersions — open immersions whose closed complement has codimension strictly greater than $n$ — together with the class of universally generalization-lifting (UGLT) morphisms, along which pullback preserves $n$-density. The paper assembles these into a presheaf $H^n(-)$ on the correspondence category $\mathrm{Corr}(\mathrm{Sch})_{\mathrm{sm},\mathrm{uglt}}$, where horizontal maps are UGLT pullbacks and vertical maps are smooth extensions. For the generic decomposition, the load-bearing tool is a flat-affine continuity theorem asserting that $H^n$ commutes with limits of pro-schemes with flat affine transition maps; applied to the pro-system of dense open affines with generic point, and combined with deformation invariance, Nisnevich descent, and dense locality of $H^0$, this identifies $H^0(X)$ with the product of the field-theoretic categories attached to its generic points.

What would settle it

Take the flat morphism $f: \mathbb{A}^1_k \to \mathrm{Spec}(k)$ and the closed point $Z = \{0\} \subset \mathbb{A}^1_k$; then $\operatorname{codim}_{\mathbb{A}^1}(Z) = 1$ while $\operatorname{codim}_{\mathrm{Spec}(k)}(\overline{f(Z)}) = 0$, contradicting the codimension inequality asserted in the proof of Theorem 4.3.2.

Watch

Extended reading notes

Core claim

The central discovery is that the $n$-birational motivic homotopy category $H^n(S)$, despite not being stable under arbitrary pullbacks, has a well-defined functoriality along morphisms that universally lift generalizations (UGLT) and along smooth morphisms, packaged as a $\mathrm{Pr}^L$-valued presheaf on $\mathrm{Corr}(\mathrm{Sch})_{\mathrm{sm},\mathrm{uglt}}$. Using this functoriality, the paper proves Nisnevich descent and deformation invariance for $H^n$, and a flat-affine continuity theorem for pro-schemes with flat affine transition maps. These combine to yield the generic decomposition: for a qcqs unibranch scheme $X$, the canonical map $H^0(X) \to \prod_{\eta \in X^{(0)}} H^0(k(\eta))$ is an equivalence of $\infty$-categories. The paper's main consequence is that birational motivic homotopy theory over unibranch schemes is purely field-theoretic: the category $H^0(V)$ of a variety is equivalent to $H^0(K(V))$, and birational equivalences over a unibranch base are detected by the birational contractibility of generic fibers.

Load-bearing premise

The generic decomposition rests on the assumption that a flat morphism cannot decrease the codimension of the closure of a closed subscheme; this inequality is false for arbitrary flat morphisms, and that is the step on which the flat-affine continuity proof depends.

Editorial extensions

If this is right

  • If $X$ is a qcqs unibranch scheme, computing $H^0(X)$ reduces to computing $H^0$ of the residue fields of its generic points; for a variety $V$, $H^0(V) \simeq H^0(K(V))$.
  • A morphism $f: X \to Y$ in $\mathrm{Sm}_S$ over a qcqs geometrically unibranch base $S$ is a birational equivalence as soon as each generic fiber of $f$ is birationally contractible.
  • Stably birational morphisms — for instance, projections from rational schemes — induce fully faithful embeddings $H^0(S) \hookrightarrow H^0(X)$.
  • Purely transcendental field extensions $k \subset k(t_1,\dots,t_n)$ induce fully faithful embeddings $H^0(k) \hookrightarrow H^0(k(t_1,\dots,t_n))$.
  • The unstable birational slice tower is partially computed: $\Omega_{\mathbb{P}^1}$ carries $H^{n+1}$-local objects to $H^n$-local objects, reducing the unstable slice conjecture to a canonical comparison map being an $n$-birational equivalence.

Reading between the lines

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

  • If the flat-affine continuity step can be repaired, the generic decomposition would likely extend from unibranch schemes to arbitrary qcqs schemes after passing to irreducible components, since the proof only needs the descent of dense open immersions at finite stages.
  • The field-theoretic reduction suggests that $H^0$ over unibranch schemes is a birational invariant of function fields; one could test this by comparing $H^0(K)$ for purely inseparable or imperfect field extensions, which are not covered by the purely transcendental statement.
  • The $\Omega_{\mathbb{P}^1}$ tower might stabilize to a birational stable homotopy category whose objects carry transfers, mirroring the role of stable motivic homotopy theory; the author notes this limit is unexplored.
  • A direct computation of $H^0$ for a non-unibranch scheme such as $\mathrm{Spec}(k[x,y]/(xy))$ would clarify whether the product decomposition is specific to unibranch schemes or a general phenomenon.
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 / 5 minor

Summary. The paper develops a functorial calculus for the n-birational motivic homotopy category H^n(S). It constructs a Pr^L-valued presheaf on a category of correspondences with smooth and universally generalization-lifting (UGLT) morphisms, proves Nisnevich descent, deformation invariance, and a flat-affine continuity result, and uses these to derive a 'generic decomposition' theorem: for a Qcqs unibranch scheme X, H^0(X) is the product of H^0 of the residue fields of its generic points. Consequences include a fiberwise criterion for birational equivalences, rational and purely transcendental invariance, and a partial unstable slice conjecture.

Significance. The intended results are significant: a schematic functoriality for birational motivic homotopy categories would be a useful tool, and the generic decomposition for H^0 would give a conceptual reduction of birational invariants to function fields. The paper contains several valuable structural results (dense open locality, Nisnevich descent, deformation invariance, smooth base change) and provides reasonably detailed proof sketches, with explicit acknowledgement of limitations such as the failure of local Cartesian-ness. If the gaps identified below are repaired, the paper would make a solid contribution. However, the headline theorem as stated is not proved, and one continuity theorem is stated in greater generality than its proof supports.

major comments (2)
  1. [Corollary 4.3.3 / Theorem 6] The proof reduces to the irreducible case using the assertion 'Since X is qcqs, it has finitely many connected components.' This is false: X = Spec(∏_{n∈N} k) is affine and qcqs, reduced, and unibranch (every local ring is a field), but its connected components are the points of βN, which are infinite and not open. Consequently, the finite Zariski additivity of Corollary 4.1.2 cannot be applied, and the generic decomposition is not established for arbitrary Qcqs unibranch schemes. The proof as written only covers schemes that are finite disjoint unions of irreducible components (e.g., Noetherian schemes or finitely presented schemes). An additional continuity or descent argument for infinite sets of components is needed to justify the stated generality.
  2. [Theorem 4.3.2] The proof of the general n-case asserts that for the flat transition morphism φ_{α1}: X → X_{α1}, the closure Z' of the image of the complement Z satisfies cod_{X_{α1}} Z' ≥ cod_X(Z). This inequality is not valid for arbitrary flat morphisms: for the flat projection π: A^2 → A^1 and Z = V(x), cod_{A^2}(Z)=1 while the closure of the image has codimension 0 in A^1. The appeal to the methods of §3.2 is therefore misplaced. The n=0 case, which is what Corollary 4.3.3 and Corollary 4.4.7 actually invoke, is established by the preceding dominance argument and does not depend on this inequality; however, Theorem 4.3.2 as stated for all n is not proved by the given argument.
minor comments (5)
  1. [Remark 2.5.4] The paragraph beginning 'Suppose X/S is smooth...' appears twice verbatim; the duplicate should be deleted.
  2. [Throughout] There are several typos: 'towoer' for 'tower', 'continuuity' for 'continuity', 'Frudenthal' for 'Freudenthal', and 'unbranch' for 'unibranch'. A careful proofreading pass is recommended.
  3. [Corollary 3.1.7] This corollary has two 'Proof.' labels and a stray 'Proof.' before the flatness argument; the presentation should be cleaned up.
  4. [§4.3] The citation [Gro66, Proposition (8.10.3)] is not specific enough for the descent of dominance along flat limits; please give the exact statement or tag used.
  5. [Corollary 4.3.7] The term 'geometrically unibranch' is used without a definition in the paper; please add one.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the generic decomposition is derived from in-paper dense-open locality and flat-affine continuity; self-citations are non-load-bearing.

full rationale

I traced the derivation of the headline result (Theorem 6 / Corollary 4.3.3). The proof reduces to the irreducible case using deformation invariance (Theorem 4.2.4), finite Zariski additivity (Corollary 4.1.2), dense-open locality (Corollary 3.1.19), and flat-affine continuity (Theorem 4.3.2). Each of these is proved inside the paper: Corollary 3.1.19 follows from Theorem 3.1.18, whose key input is that smooth pullbacks of n-dense open immersions are n-dense (Lemma 3.1.4) and that H^i inverts i-dense opens by definition; Theorem 4.3.2's H^0 case is handled by the dominance argument for dense opens, without the contested codimension inequality used only for general n; Corollary 4.1.2 follows from the Nisnevich descent theorem proved in Proposition 4.1.1. The identification H^0 = H^b, cited from the author's [Mai26a], is reproved in the paper at Corollary 2.3.7 via Theorem 2.3.5 and Lemma 2.3.8. Other citations to [Mai26a] (e.g. the auxiliary generating statements in Proposition 2.4.1) are not load-bearing for the generic decomposition theorem. The reader's objections are correctness concerns, not circularity: the claim that a qcqs scheme has finitely many connected components is false (e.g. Spec of an infinite product of fields), and the codimension inequality for closures under flat maps in the proof of Theorem 4.3.2 is not generally valid, though the H^0 case of that theorem does not use it. These affect the completeness of the proof as written, but no step reduces to its own input by construction, and no load-bearing conclusion is forced solely by a self-citation chain. The paper also explicitly leaves open statements such as strong A^1-invariance of H^0 (Remark 4.4.4) and convergence of the birational slice tower (Remark 2.2.3); these are stated limitations, not hidden circularity. Hence the circularity score is 0.

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

The paper does not introduce new physical entities or ad hoc mathematical objects beyond the class of UGLT morphisms, which is a defined property rather than an invented entity. The load of the argument rests on standard infinity-category theory, motivic homotopy theory, and the author's prior foundational results.

assumptions (6)
  • standard math The theory of presentable infinity-categories, localizations, and Pr^L as in Lurie's Higher Topos Theory.
    Used throughout, e.g., in Section 2.2 to define localizations and in the statement of the main presheaf.
  • domain assumption The motivic homotopy category H^{A^1}(S) with Nisnevich descent as in Morel-Voevodsky, Hoyois, and Khan.
    This is the basis for defining H^n; cited from MV99, Hoy14, Hoy17, Kha16.
  • domain assumption The n-birational motivic categories H^n(S) exist as accessible localizations for qcqs schemes, following Bachmann-Elmanto and the author's prior work.
    Definition 2.2.1 and the surrounding discussion; the existence relies on smallness of the relevant morphism sets.
  • domain assumption All schemes are qcqs, separated, and smooth morphisms are quasicompact (stated in Section 1.2).
    Ensures essential smallness of Sm_S and validity of localization arguments.
  • domain assumption For the refined pushforward theory (Theorem 3.2.2), the base scheme is Noetherian and universally catenary.
    Required for codimension additivity in the proof of Theorem 3.2.2.
  • domain assumption The identification H^0 is equivalent to H^b and the dense-locality/Nisnevich-locality of H^0 from [Mai26a].
    Invoked in Corollary 2.3.7, Theorem 2.3.5, and elsewhere; these results originate in the author's unreviewed preprint.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Schematic Functorialities of Birational Motivic Homotopy Categories." pith.science (2026). https://pith.science/paper/7RJAYTED

@misc{pith2026260804793,
  author       = {Pith},
  title        = {Pith review of: Schematic Functorialities of Birational Motivic Homotopy Categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7RJAYTED}},
  note         = {Machine review of arXiv:2608.04793}
}
abstract

We promote the $n$-birational motivic homotopy category $S\mapsto \mathcal{H}^n(S)$ to a $Pr^L$-valued presheaf on $Corr(\mathrm{Sch})_{uglt,sm}$. As a consequence, for any unibranch scheme $X$, its (zeroth) birational motivic homotopy category $\mathcal{H}^{b\mathbb{A}^1}(X)$ decomposes as the product of the birational motivic homotopy categories of its function fields; in particular, for a variety $V$, $\mathcal{H}^{b\mathbb{A}^1}(V) \simeq \mathcal{H}^{b\mathbb{A}^1}(k(V))$. This implies that birational equivalences of unibranch schemes in $Sm_S$ can be detected by the birational contractibility of their generic fibers. Finally, we establish that stably birational morphisms and purely transcendental field extensions induce fully faithful embeddings of birational motivic homotopy categories.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

85 extracted references · 34 canonical work pages

  1. [1]

    The Stacks project , howpublished =

    The. The Stacks project , howpublished =

  2. [2]

    Preprint (version dated February 3, 2018), available at www

    Spectral algebraic geometry (under construction) , author=. Preprint (version dated February 3, 2018), available at www. math. harvard. edu/\

    2018

  3. [3]

    Choudhury, Utsav and Roy, Biman , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2024 , PAGES =. doi:10.1515/crelle-2023-0084 , URL =

    doi:10.1515/crelle-2023-0084 2024

  4. [4]

    Hoyois, Marc , TITLE =. Adv. Math. , FJOURNAL =. 2017 , PAGES =. doi:10.1016/j.aim.2016.09.031 , URL =

    doi:10.1016/j.aim.2016.09.031 2017

  5. [5]

    Levine, Marc , TITLE =. Doc. Math. , FJOURNAL =. 2010 , PAGES =

    2010

  6. [6]

    Derived algebraic geometry

    Lurie, Jacob , journal=. Derived algebraic geometry

  7. [7]

    Higher algebra , author=

  8. [8]

    Noncommutative motives

    Robalo, Marco , journal=. Noncommutative motives. 2012 , pages=

    work page 2012

Show all 85 references
  1. [9]

    Ast\'erisque , FJOURNAL =

    Bachmann, Tom and Hoyois, Marc , TITLE =. Ast\'erisque , FJOURNAL =. 2021 , PAGES =. doi:10.24033/ast , URL =

    2021 doi

  2. [11]

    Motifs des vari

    Ayoub, Joseph , year=. Motifs des vari

  3. [12]

    Hoyois, Marc , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2015 , PAGES =. doi:10.1515/crelle-2013-0038 , URL =

    2015 doi

  4. [13]

    2012 , PAGES =

    Morel, Fabien , TITLE =. 2012 , PAGES =. doi:10.1007/978-3-642-29514-0 , URL =

    2012 doi

  5. [14]

    Kahn, Bruno and Sujatha, Ramdorai , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2017 , VOLUME =. doi:10.1093/imrn/rnw184 , URL =

    2017 doi

  6. [15]

    Riou, Jo. Th. Memoire de DEA realise sous la direction de Bruno Kahn , year=

  7. [16]

    Morel, Fabien and Voevodsky, Vladimir , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1999 , PAGES =

    1999

  8. [17]

    2009 , publisher=

    Higher topos theory , author=. 2009 , publisher=

    2009

  9. [18]

    K -Theory , FJOURNAL =

    Morel, Fabien , TITLE =. K -Theory , FJOURNAL =. 2005 , NUMBER =. doi:10.1007/s10977-005-1562-7 , URL =

    2005 doi

  10. [19]

    Levine, Marc , TITLE =. J. Topol. , FJOURNAL =. 2008 , NUMBER =. doi:10.1112/jtopol/jtm004 , URL =

    2008 doi

  11. [20]

    Bachmann, Tom and Elmanto, Elden , TITLE =. Algebr. Geom. , FJOURNAL =. 2021 , NUMBER =. doi:10.14231/ag-2021-019 , URL =

    2021 doi

  12. [21]

    Notes available at https://hoyois.app.uni-regensburg.de/papers/allagree.pdf , year=

    A trivial remark on the Nisnevich topology , author=. Notes available at https://hoyois.app.uni-regensburg.de/papers/allagree.pdf , year=

  13. [22]

    2016 , school=

    Motivic homotopy theory in derived algebraic geometry , author=. 2016 , school=

    2016

  14. [23]

    Hoyois, Marc , TITLE =. Compos. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.1112/s0010437x20007575 , URL =

    2021 doi

  15. [24]

    Spitzweck, Markus and stv r, Paul Arne , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2012 , NUMBER =. doi:10.2140/agt.2012.12.565 , URL =

    2012 doi

  16. [25]

    MOREL’S CONJECTURE ON ^

    COUNTEREXAMPLES TO F. MOREL’S CONJECTURE ON ^

  17. [26]

    arXiv preprint arXiv:2311.00092 , year=

    Homotopy theory of schemes and R -equivalence , author=. arXiv preprint arXiv:2311.00092 , year=

    arXiv

  18. [27]

    Asok, Aravind and Wickelgren, Kirsten and Williams, Ben , TITLE =. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/gt.2017.21.2093 , URL =

    2017 doi

  19. [28]

    2015 , issn =

    Advances in Mathematics , volume =. 2015 , issn =. doi:https://doi.org/10.1016/j.aim.2015.07.003 , author =

    2015 doi

  20. [29]

    Shimizu, Yuri , TITLE =. Comm. Algebra , FJOURNAL =. 2023 , NUMBER =. doi:10.1080/00927872.2022.2115053 , URL =

    2023

  21. [30]

    , TITLE =

    Asok, Aravind and Bachmann, Tom and Hopkins, Michael J. , TITLE =. Ann. K-Theory , FJOURNAL =. 2025 , NUMBER =. doi:10.2140/akt.2025.10.673 , URL =

    2025 doi

  22. [31]

    Strongly

    Bachmann, Tom , journal=. Strongly

  23. [32]

    Milne, J. S. , TITLE =. Arithmetic geometry (. 1986 , ISBN =

    1986

  24. [33]

    [2020] 2020 , PAGES =

    G\"ortz, Ulrich and Wedhorn, Torsten , TITLE =. [2020] 2020 , PAGES =. doi:10.1007/978-3-658-30733-2 , URL =

    2020 doi

  25. [34]

    Asok, Aravind , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2013 , PAGES =. doi:10.1515/crelle-2012-0034 , URL =

    2013 doi

  26. [35]

    Neshitov, Alexander , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2018 , NUMBER =. doi:10.1017/S1474748016000190 , URL =

    2018 doi

  27. [36]

    2020 , publisher=

    Ayoub, Joseph , journal=. 2020 , publisher=

    2020

  28. [37]

    Cambridge Journal of Mathematics , volume=

    Motivic infinite loop spaces , author=. Cambridge Journal of Mathematics , volume=. 2021 , publisher=

    2021

  29. [38]

    Contemporary Mathematics , volume=

    A possible new approach to the motivic spectral sequence for algebraic K-theory , author=. Contemporary Mathematics , volume=. 2002 , publisher=

    2002

  30. [39]

    Annals of K-Theory , number =

    Chetan Balwe and Bandna Rani and Anand Sawant , title =. Annals of K-Theory , number =. 2022 , doi =

    2022

  31. [40]

    Choudhury, Utsav , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2014 , NUMBER =. doi:10.2140/agt.2014.14.37 , URL =

    2014 doi

  32. [41]

    Asok, Aravind and Bachmann, Tom and Hopkins, Michael J , journal=. On

  33. [42]

    Pelaez, Pablo , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2014 , NUMBER =. doi:10.1090/S0002-9947-2014-06116-3 , URL =

    2014 doi

  34. [43]

    Ast\'erisque , FJOURNAL =

    Pelaez, Pablo , TITLE =. Ast\'erisque , FJOURNAL =. 2011 , PAGES =

    2011

  35. [44]

    unpublished (2001--2003) , year=

    Notes on framed correspondences , author=. unpublished (2001--2003) , year=

    2001

  36. [45]

    Garkusha, Grigory and Panin, Ivan , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2021 , NUMBER =. doi:10.1090/jams/958 , URL =

    2021 doi

  37. [46]

    Bachmann, Tom , TITLE =. Doc. Math. , FJOURNAL =. 2021 , PAGES =

    2021

  38. [47]

    [2019] 2019 , PAGES =

    Cisinski, Denis-Charles and D\'eglise, Fr\'ed\'eric , TITLE =. [2019] 2019 , PAGES =. doi:10.1007/978-3-030-33242-6 , URL =

    2019 doi

  39. [48]

    and Sosnilo, Vladimir and Yakerson, Maria , TITLE =

    Elmanto, Elden and Hoyois, Marc and Khan, Adeel A. and Sosnilo, Vladimir and Yakerson, Maria , TITLE =. J. Topol. , FJOURNAL =. 2020 , NUMBER =. doi:10.1112/topo.12134 , URL =

    2020 doi

  40. [49]

    , TITLE =

    Schlichting, Marco and Tripathi, Girja S. , TITLE =. Math. Ann. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00208-014-1154-z , URL =

    2015 doi

  41. [50]

    Hoyois, Marc and Jelisiejew, Joachim and Nardin, Denis and Yakerson, Maria , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2022 , PAGES =. doi:10.1515/crelle-2022-0063 , URL =

    2022 doi

  42. [51]

    Binda, Federico and Park, Doosung and stv r, Paul Arne , TITLE =. C. R. Math. Acad. Sci. Paris , FJOURNAL =. 2022 , PAGES =. doi:10.5802/crmath.340 , URL =

    2022 doi

  43. [52]

    Hoyois, Marc , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2014 , NUMBER =. doi:10.2140/agt.2014.14.3603 , URL =

    2014 doi

  44. [53]

    2001 , PAGES =

    Debarre, Olivier , TITLE =. 2001 , PAGES =. doi:10.1007/978-1-4757-5406-3 , URL =

    2001 doi

  45. [54]

    1974 , publisher=

    Abelian varieties , author=. 1974 , publisher=

    1974

  46. [55]

    Verdier, Jean-Louis , journal=. Le th

  47. [56]

    2013 , publisher=

    Intersection theory , author=. 2013 , publisher=

    2013

  48. [57]

    , TITLE =

    Colliot-Th\'el\`ene, Jean-Louis and Skorobogatov, Alexei N. , TITLE =. [2021] 2021 , PAGES =. doi:10.1007/978-3-030-74248-5 , URL =

    2021 doi

  49. [58]

    Milne, J. S. , TITLE =. 2025] 1980 , PAGES =

    2025

  50. [59]

    2006 , PAGES =

    Mazza, Carlo and Voevodsky, Vladimir and Weibel, Charles , TITLE =. 2006 , PAGES =

    2006

  51. [60]

    Grothendieck, Alexander , journal=

  52. [61]

    arXiv preprint arXiv:2204.03434 , year=

    Motivic spectra and universality of K -theory , author=. arXiv preprint arXiv:2204.03434 , year=

    arXiv

  53. [62]

    Annala, Toni and Hoyois, Marc and Iwasa, Ryomei , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2025 , NUMBER =. doi:10.1090/jams/1045 , URL =

    2025 doi

  54. [63]

    In preparation , year=

    n Birational unstable algebraic topology , author=. In preparation , year=

  55. [64]

    In preparation , year=

    On the internal homotopy theory of motivic categories , author=. In preparation , year=

  56. [65]

    In preparation , year=

    Zero slices through unstable birationality , author=. In preparation , year=

  57. [66]

    In preparation , year=

    Algebraic topology of the slice filtration and n birational spectras , author=. In preparation , year=

  58. [67]

    In preparation , year=

    Schematic functorialities of the unstable n Birational motivic homotopy categories , author=. In preparation , year=

  59. [68]

    Dipankar Maity , journal=

  60. [69]

    AYOUB, JOSEPH , journal=

  61. [70]

    Documenta Mathematica , volume=

    Birational motivic homotopy theories and the slice filtration , author=. Documenta Mathematica , volume=

  62. [71]

    Asok, Aravind and Haesemeyer, Christian , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.jpaa.2011.02.002 , URL =

    2011 doi

  63. [72]

    New York J

    Koizumi, Junnosuke , TITLE =. New York J. Math. , FJOURNAL =. 2022 , PAGES =

    2022

  64. [73]

    Smooth varieties up to

    Aravind Asok and Fabien Morel , keywords =. Smooth varieties up to. Advances in Mathematics , volume =. 2011 , issn =. doi:https://doi.org/10.1016/j.aim.2011.04.009 , url =

    2011 doi

  65. [74]

    preprint , year=

    Sheaves and homotopy theory , author=. preprint , year=

  66. [75]

    Hironaka, Heisuke , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1964 , PAGES =. doi:10.2307/1970547 , URL =

    1964 doi

  67. [76]

    Balwe, Chetan and Hogadi, Amit and Sawant, Anand , TITLE =. J. Topol. , FJOURNAL =. 2023 , NUMBER =. doi:10.1112/topo.12298 , URL =

    2023 doi

  68. [77]

    Clausen, Dustin and Mathew, Akhil , TITLE =. Invent. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00222-021-01043-3 , URL =

    2021 doi

  69. [78]

    , TITLE =

    Kahn, Bruno and Sujatha, R. , TITLE =. Doc. Math. , FJOURNAL =. 2015 , PAGES =

    2015

  70. [79]

    I , author=

    Open problems in the motivic stable homotopy theory. I , author=. Motives, polylogarithms and Hodge theory, Part I (Irvine, CA, 1998) , volume=

    1998

  71. [80]

    , TITLE =

    Dugger, Daniel and Isaksen, Daniel C. , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2005 , PAGES =. doi:10.2140/agt.2005.5.615 , URL =

    2005 doi

  72. [81]

    arXiv preprint, arXiv:2606.22887 , year=

    Birational Algebraic Topology , author=. arXiv preprint, arXiv:2606.22887 , year=

    arXiv

  73. [82]

    arXiv preprint arXiv:1703.02849 , year=

    Motivic model categories and motivic derived algebraic geometry , author=. arXiv preprint arXiv:1703.02849 , year=

    arXiv

  74. [83]

    William , TITLE =

    Lawvere, F. William , TITLE =. Theory Appl. Categ. , FJOURNAL =. 2007 , PAGES =

    2007

  75. [84]

    2017 , PAGES =

    Gaitsgory, Dennis and Rozenblyum, Nick , TITLE =. 2017 , PAGES =. doi:10.1090/surv/221.1 , URL =

    2017 doi

  76. [85]

    Duke Math

    Asok, Aravind and Hoyois, Marc and Wendt, Matthias , TITLE =. Duke Math. J. , FJOURNAL =. 2017 , NUMBER =. doi:10.1215/00127094-0000014X , URL =

    2017 doi

  77. [86]

    Thomason, R. W. and Trobaugh, Thomas , TITLE =. The. 1990 , ISBN =. doi:10.1007/978-0-8176-4576-2\_10 , URL =

    1990 doi

Pith tools

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