Pith. sign in

REVIEW 2 major objections 5 minor 81 references

Schematic Functorialities of Birational Motivic Homotopy Categories

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

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

Pith's one-line read The birational motivic homotopy category of a scheme with finitely many generic points is the product of the categories of those generic points.

desk verdict A structurally useful generic decomposition for H^0, paired with an overclaimed flat-affine continuity theorem whose n>0 case rests on an unproved codimension-preservation step. read the letter →

arxiv 2608.04793 v2 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-denseopenimmersiongenericdecompositionpresheafoncorrespondencesflat-affinecontinuityNisnevichdescentfunctionfieldinvariantunstablesliceconjecture
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 establishes a functoriality and continuity package for the $n$-birational motivic homotopy categories $\mathcal{H}^n(S)$, the localizations of the $\mathbb{A}^1$-motivic homotopy category at open immersions whose closed complement has codimension greater than $n$. Its main structural result, Theorem 4.3.4, states that for a quasi-compact quasi-separated scheme $X$ with finitely many generic points, the canonical map $\mathcal{H}^0(X)\to\prod_{\eta\in X^{(0)}}\mathcal{H}^0(k(\eta))$ is an equivalence of $\infty$-categories; since $\mathcal{H}^0$ is the birational motivic homotopy category $\mathcal{H}^{b\mathbb{A}^1}$, a variety's birational motivic homotopy type is completely determined by that of its function field. A reader should care because this turns birational motivic questions over a scheme into questions over residue fields, yields pointwise criteria for birational equivalences, and gives functorial embeddings for stably birational and purely transcendental maps. The route passes through a new presheaf structure on a correspondence category, Nisnevich descent, deformation invariance, and a flat-affine continuity theorem.

What carries the argument

The mechanism is the graded family of localization procedures indexed by the height $n$. An open immersion is called $n$-dense when its closed complement has codimension $>n$; localizing the $\mathbb{A}^1$-motivic homotopy category at the $n$-dense open immersions gives $\mathcal{H}^n(S)$, with $n=0$ recovering the birational motivic homotopy category. The paper's main technical instrument is the promotion of this assignment to a presheaf on the correspondence category whose vertical maps are smooth morphisms and whose horizontal maps are universally generalization-lifting morphisms, together with the refined pushforward along closed immersions that shifts the height by the maximal codimension of the immersion. These functorialities feed a flat-affine continuity theorem for pro-systems with affine flat transition maps, from which the generic-point decomposition follows by taking the pro-system of dense affine open subschemes.

What would settle it

Check whether a flat affine map in the spreading-out diagram can shrink codimension as follows: take the projection $\mathbb{A}^2_k\to\mathbb{A}^1_k$ and a closed point $Z\subset\mathbb{A}^2_k$; $Z$ has codimension $2$, while the closure of its image is a closed point of codimension $1$ in $\mathbb{A}^1_k$. If such a map can be realized as a transition map in the pro-system of Theorem 4.3.2, the descent of $n$-dense open immersions for $n>0$ fails, and the full flat-affine continuity theorem is false as stated; the $n=0$ generic decomposition would then require a separate proof.

Watch

Extended reading notes

Core claim

The central claim is Theorem 4.3.4: for a quasi-compact quasi-separated scheme $X$ with finitely many generic points, the canonical map $\mathcal{H}^0(X)\to\prod_{\eta\in X^{(0)}}\mathcal{H}^0(k(\eta))$ is an equivalence of $\infty$-categories. In particular, for a variety $V$, $\mathcal{H}^{b\mathbb{A}^1}(V)\simeq\mathcal{H}^{b\mathbb{A}^1}(k(V))$. The paper proves this by first promoting $S\mapsto\mathcal{H}^n(S)$ to a $\mathrm{Pr}^L$-valued presheaf on the correspondence category $\mathrm{Corr}(\mathrm{Sch})_{\mathrm{sm},\mathrm{uglt}}$, then establishing that this presheaf satisfies Nisnevich descent, deformation invariance, and flat-affine continuity. The continuity step collapses the pro-system of dense affine open subschemes of $X$ to $\mathrm{Spec}(k(X))$, while dense-locality and additivity reduce the general case to a single irreducible reduced variety. This is the statement the author is trying to establish: the birational motivic homotopy category is a function-field invariant.

Load-bearing premise

The proof assumes that, along the flat affine maps appearing in the spreading-out pro-system, taking the closure of the image of the closed complement of an $n$-dense open cannot lower its codimension below $n+1$; flat maps do not generally preserve codimension in this way, and the paper supplies no proof for this specific pro-system.

Editorial extensions

If this is right

  • For a variety $V$, $\mathcal{H}^{b\mathbb{A}^1}(V)$ is canonically equivalent to $\mathcal{H}^{b\mathbb{A}^1}(k(V))$, so birational motivic invariants of $V$ are invariants of its function field.
  • A morphism $f:X\to Y$ in $\mathrm{Sm}_S$ whose generic fibers are birationally contractible is a birational equivalence, giving a pointwise detection criterion for birational motivic equivalences.
  • Stably birational morphisms and purely transcendental field extensions induce fully faithful embeddings $\mathcal{H}^0(S)\hookrightarrow\mathcal{H}^0(X)$ and $\mathcal{H}^0(k)\hookrightarrow\mathcal{H}^0(k(t_1,\dots,t_n))$.
  • The presheaf $\mathcal{H}^n$ on the correspondence category is a Nisnevich sheaf and is deformation-invariant, and $\Omega_{\mathbb{P}^1}$ gives a tower from higher to lower heights, providing a partial unstable analogue of the slice filtration.

Reading between the lines

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

  • A natural extension the paper leaves open is whether $\mathcal{H}^n$ also splits over generic points for every $n>0$; the only barrier is the flat-affine codimension step, so one can test $\mathcal{H}^n(X)\simeq\prod_\eta \mathcal{H}^n(k(\eta))$ directly once that gap is resolved.
  • If the generic decomposition survives, every invariant computed from $\mathcal{H}^{b\mathbb{A}^1}$ becomes a function-field invariant, which would give a new arithmetic test for rationality: compare $\mathcal{H}^{b\mathbb{A}^1}$-enriched objects over $V$ and over $k(V)$ rather than over the whole scheme.
  • The paper leaves the inverse limit of the $\Omega_{\mathbb{P}^1}$ tower uncharacterized; a testable possibility is that this limit carries transfer maps, which would tie the birational tower to a different layer of birational invariants.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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 promotes the assignment S ↦ H^n(S), the n-birational motivic homotopy category of a Qcqs scheme, to a presheaf on a category of correspondences whose vertical maps are smooth and whose horizontal maps are universally generalization-lifting (UGLT). It establishes Nisnevich descent, deformation invariance, flat-affine continuity, and, as the main structural result, a generic decomposition: for a Qcqs scheme X with finitely many generic points, H^0(X) is canonically equivalent to the product of H^0(k(η)) over the generic points η, so that in particular H^{bA1}(V) ≃ H^{bA1}(k(V)) for a variety V. The paper also derives fibrewise criteria for birational equivalences, rational and pure-transcendence invariance of H^0, and a partial unstable slice conjecture relating loop functors across birational heights.

Significance. If the main results hold, the generic decomposition is a substantial structural insight: it reduces the birational motivic homotopy category of a scheme to its values on residue fields of generic points, thereby connecting birational motivic homotopy theory with classical birational geometry. The paper also gives a clean framework for the functoriality of the H^n categories under UGLT maps and smooth maps, and it reproves the identification H^0 ≃ H^b rather than merely citing it. The treatment of Nisnevich descent, deformation invariance, and the partial slice conjecture are useful contributions. However, the paper depends in places on two unpublished preprints by the author, and one central continuity theorem is stated in greater generality than its proof supports; these issues need to be resolved before the results can be fully trusted.

major comments (2)
  1. [§4.3, Theorem 4.3.2] The proof of flat-affine continuity for all n is unsupported as written. In the second paragraph, after defining Z1 = closure(φ_{α1}(Z)), the paper asserts cod_{X_{α1}}(Z1) ≥ cod_X(Z) 'by the methods of the second paragraph of Theorem 3.2.2'. That citation is not automatic: Theorem 3.2.2 is stated only for Noetherian universally catenary (NUC) schemes, and its argument uses the flat dimension formula [BE21, Theorem 2.1] and the catenary chain-length lemma [Sta26, Lemma 02I6]. Theorem 4.3.2, by contrast, is stated for arbitrary Qcqs schemes with flat affine transition maps, with no NUC or local-Noetherian hypothesis. Flat maps do not in general preserve the codimension of closed images in the needed direction outside such hypotheses, and no proof is supplied for this specific pro-system. This step is exactly what is needed to descend n-dense open immersions for n>0; the n=0 case, which only uses dominance and constructible-image arguments, may well survive, but the theorem as stated is overclaimed.
  2. [§4.5, Proposition 4.5.1] A similar codimension-preservation issue occurs in the proof of Proposition 4.5.1. To show that the open immersion (E×U)∖(0_X×(U∖V)) ↪ E×U is (n+d)-dense, the proof asserts that because X is smooth over S, the closed immersion 0_X×(U∖V) ↪ X×U has codimension at least d. This is a codimension formula for preimages under a smooth base-change morphism, and it again requires dimension-theoretic hypotheses (such as NUC and flatness of the relevant maps) that are not present in the statement. Without such hypotheses the asserted inequality does not follow from smoothness alone. Since this is the key geometric input for Corollary 4.5.2 and the unstable slice discussion, the result needs either a complete proof in the stated generality or an explicit additional hypothesis.
minor comments (5)
  1. [§2.5, Remark 2.5.4] The paragraph beginning 'Suppose X/S is smooth. Since PpSq is cartesian closed...' is repeated verbatim; one copy should be deleted.
  2. [§3.1, Corollary 3.1.7] The corollary is followed by two consecutive 'Proof.' environments, the second of which is an orphaned fragment; this should be cleaned up.
  3. [Throughout] There are numerous typographical errors, including 'continuuity' in Theorem 4.3.2, 'Frudenthal' in the Introduction, 'tow oer' on page 2, 'coresponding' on page 5, and 'schemes having finitely many irreducible schemes' in §1.3, which should read 'irreducible components'.
  4. [§2.2, Remark 2.2.3] H^8(S) is first defined as a colimit of the inclusions H^n(S) ⊆ H^{n+1}(S), but Remark 2.2.3 writes H^8(S) := lim← H^n(S); the notation should be reconciled to avoid confusion.
  5. [§4.3, Corollary 4.3.4] The phrase 'pullback along the pro-smooth map ∐ Spec(k(η)) → X' is not literally a morphism of schemes; the proof correctly works with the pro-system of dense affine open subschemes, and the statement should be phrased in those terms.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the generic decomposition is derived from independently proved continuity, dense locality, additivity, and deformation invariance.

full rationale

The paper's central claim, the generic decomposition H0(X) ≃ ∏ H0(k(η)) (Cor 4.3.4 / Theorem 4.3.4), is obtained by combining the n=0 case of flat-affine continuity (Theorem 4.3.2), dense-open locality (Cor 3.1.19), additivity (Cor 4.1.2), and deformation invariance (Theorem 4.2.4), each of which is proved in this paper from localizations, adjunctions, and standard scheme-theoretic facts rather than assumed. The identification H0 = H^b, cited from the author's preprint [Mai26a], is explicitly announced as reproved and given a proof via Theorem 2.3.5 and Lemma 2.3.8, so it is not used as a black-box self-citation. I considered the proof of Theorem 4.3.2's n>0 case: the sentence 'by the methods of the second paragraph of Theorem 3.2.2, applied to the flat map φ_{α1}, the codimension of the complement Z1 satisfies cod_{Xα} Z1 ≥ cod_X(Z) ≥ n+1' invokes a codimension computation originally proved under Noetherian universally catenary hypotheses in a context where those hypotheses are not stated; that is a genuine proof gap or correctness risk for the full n>0 statement, but it is not a circular reduction of the conclusion to the input. The n=0 case of Theorem 4.3.2, which is the only case needed for the generic decomposition, is argued separately via dominance and constructibility and does not use that codimension step. The paper also explicitly flags unresolved points such as the strong A1-invariance question in Remark 4.4.4, and does not rely on those points as inputs. Self-citations occur, but the load-bearing results are either reproved in the paper or are independent statements about localizations and scheme theory. Hence no load-bearing step reduces to its own input by construction, and the circularity score is 0.

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

The paper introduces no fitted constants and no new postulated geometric entities. The central results rest on standard infinity-category and motivic homotopy machinery, plus a chain of same-author citations for the identification and basic properties of H^0. The most fragile unproved input is the author's prior framework in [Mai26a] and [Mai26b], along with the contested codimension-preservation step in Theorem 4.3.2.

assumptions (6)
  • standard math Infinity-category foundations, including presentable infinity-categories, localizations, and colimits, are used throughout as in [Lur09] and [Lur17].
    The paper freely uses the language of infinity-categories without formal verification.
  • domain assumption Motivic homotopy theory facts: H^{A1}(S) is a localization of Nisnevich sheaves, satisfies Nisnevich descent, and is continuous for pro-systems with affine transition maps, as in [MV99], [Hoy17], and [Hoy14].
    These are background results from the motivic homotopy literature that the paper invokes to build H^n and to prove continuity.
  • domain assumption Closed immersion pushforward in motivic homotopy theory is fully faithful, cited as [Kha16, Corollary 7.4.3] and used in Theorem 3.2.4.
    The full faithfulness of i_*^mot is imported from Khan's work and is load-bearing for the refined pushforward result.
  • domain assumption A codimension formula for flat morphisms between catenary schemes, cited as [BE21, Theorem 2.1], is used in Theorem 3.2.2 to control codimensions under pullback along closed immersions.
    The formula is needed to show that closed immersions shift the height of birational localizations by bounded codimension.
  • ad hoc to paper The identification H^0(S) ~= H^b(S) and several colimit-closure properties are taken from the author's earlier preprints [Mai26a] and [Mai26b].
    These foundational identifications are not independently machine-checked or verified by reproducible artifacts; they are load-bearing for the generic decomposition and rational invariance results.
  • domain assumption All schemes are assumed Qcqs and separated, and smooth morphisms are quasicompact and finitely presented, as stated in Section 1.2.
    These standing assumptions ensure essential smallness of Sm_S and accessibility of localizations.

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 assignment $S\mapsto \mathcal{H}^n(S)$ to a $Pr^L$-valued presheaf on $Corr(\mathrm{Sch})_{uglt,sm}$. As a consequence, the birational motivic homotopy category $\mathcal{H}^{b\mathbb{A}^1}(X)$ of a scheme $X$ with finitely many generic points decomposes as the cartesian product of the birational motivic homotopy categories of those generic points; 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 schemes in $Sm_X$ can be detected via the birational contractibility of their generic fibers. Finally, we show that stably birational morphisms and purely transcendental field extensions induce fully faithful embeddings of birational motivic homotopy categories.

Review history (3 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

81 extracted references · 3 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 =

    work page 2010

  6. [6]

    Derived algebraic geometry

    Lurie, Jacob , journal=. Derived algebraic geometry

    work page

  7. [7]

    Higher algebra , author=

  8. [8]

    Noncommutative motives

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

    2012

Show all 81 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]

    AYOUB, JOSEPH , journal=

  55. [64]

    Documenta Mathematica , volume=

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

  56. [65]

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

    2011 doi

  57. [66]

    New York J

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

    2022

  58. [67]

    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

  59. [68]

    preprint , year=

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

  60. [69]

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

    1964 doi

  61. [70]

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

    2023 doi

  62. [71]

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

    2021 doi

  63. [72]

    , TITLE =

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

    2015

  64. [73]

    I , author=

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

    1998

  65. [74]

    , TITLE =

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

    2005 doi

  66. [75]

    arXiv preprint arXiv:1703.02849 , year=

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

    arXiv

  67. [76]

    William , TITLE =

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

    2007

  68. [77]

    2017 , PAGES =

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

    2017 doi

  69. [78]

    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

  70. [79]

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

    1990 doi

  71. [80]

    2026 , note =

    On the internal homotopy theory of motivic categories , author=. 2026 , note =

    2026

  72. [81]

    2026 , note =

    Maity, Dipankar , title =. 2026 , note =

    2026

  73. [82]

    2026 , note=

    Maity, Dipankar , title=. 2026 , note=

    2026

Pith tools

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