pith. sign in

arxiv: 2606.22887 · v1 · pith:MOOV4LT3new · submitted 2026-06-22 · 🧮 math.AG

Birational Algebraic Topology

Dipankar Maity This is my paper

Pith reviewed 2026-06-26 07:03 UTC · model grok-4.3

classification 🧮 math.AG
keywords birational localizationmotivic homotopyA1-connectivitybirational invariantsperfect fieldsnullificationconnectivity
0
0 comments X

The pith

Over perfect fields the birational localization of motivic spaces is equivalent to S^{2,1}-nullification.

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

The paper analyzes the birational localization of the motivic infinity-category over a quasi-compact quasi-separated scheme. It shows that this localization commutes with the bar construction and thus preserves connectivity. Over a perfect field, a sheaf of groups is birational exactly when it is strongly A1-invariant and has trivial Gm-contraction. This yields a canonical equivalence between the birational localization and the S^{2,1}-nullification functor for connected motivic spaces. For proper schemes, the map from A1-connected components to birational A1-connected components is the universal birationalization, and A1-connectivity coincides with birational connectivity.

Core claim

Over a perfect field k, for connected motivic spaces there is a canonical equivalence L_bir ≃ L^{2,1}. For proper X/k the map π0^{A1}(X) → π0^{b A1}(X) is the universal birationalization and (ind-)proper schemes are A1-connected iff birationally connected. The localization functor L_bir commutes with the bar construction, preserving connectivity. A sheaf of groups is birational exactly when it is strongly A1-invariant and has trivial Gm-contraction.

What carries the argument

The birational localization functor L_bir obtained by inverting dense open immersions in the motivic infinity-category, which coincides with S^{2,1}-nullification for connected spaces over perfect fields.

If this is right

  • The canonical map from π0^{A1}(X) to π0^{b A1}(X) is the universal birationalization for proper X/k.
  • π0^{b A1}(-) is a birational invariant of proper schemes.
  • (Ind-)proper schemes are A1-connected if and only if they are birationally connected.
  • The birational localization preserves connectivity because it commutes with the bar construction.

Where Pith is reading between the lines

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

  • Birational properties of schemes become detectable through localized motivic homotopy groups.
  • The equivalence may let homotopy-theoretic nullification tools apply directly to birational questions in algebraic geometry.

Load-bearing premise

The identification of π0^b(X) with π0^{b A1}(X) for proper schemes X over k, which transfers birational properties to the A1-setting.

What would settle it

A proper scheme over a perfect field that is A1-connected but not birationally connected, or a connected motivic space where L_bir fails to match L^{2,1}.

read the original abstract

Over a qcqs scheme $S$, we analyze the birational localization $L_{\mathrm{bir}}\mathcal{H}^{\mathbb{A}^1}(S)$ of the motivic $\infty$-category. As introduced in [\cite{bachmann2019voevodsky}], this is obtained by localizing $\mathcal{H}^{\mathbb{A}^1}(S)$ at all dense open immersions in $Sm_S$. We establish that the associated localization functor $L_{bir}$ commutes with the bar construction, and thus preserves connectivity. Over a perfect field $k$, we demonstrate that a sheaf of groups is birational exactly when it is strongly $\mathbb{A}^1$-invariant and has trivial $\mathbb{G}_m$-contraction. For connected motivic spaces over such fields, this yields a canonical equivalence between $L_{bir}$ and the $S^{2,1}$-nullification functor $L^{2,1}$ of [\cite{asok2023p}]. Finally, identifying $\pi_0^b(X)$ of a proper scheme $X/k$ with $\pi_0^{b\mathbb{A}^1}(X)$ [\cite{asok2011smooth}], we prove that: 1. the canonical morphism from $\pi_0^{\mathbb{A}^1}(X) $ to $\pi_0^{b\mathbb{A}^1}(X)$ is the universal birationalization, 2. $\pi_0^{b\mathbb{A}^1}(-)$ is a birational invariant of proper schemes, 3. (ind-) proper schemes are $\mathbb{A}^1$-connected if and only if they are birationally connected.

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.

Referee Report

1 major / 0 minor

Summary. Over a qcqs scheme S, the paper analyzes the birational localization L_bir of the motivic ∞-category H^{A^1}(S) obtained by localizing at all dense open immersions in Sm_S. It establishes that L_bir commutes with the bar construction and thus preserves connectivity. Over a perfect field k, it shows that a sheaf of groups is birational precisely when it is strongly A^1-invariant with trivial G_m-contraction. For connected motivic spaces this yields a canonical equivalence L_bir ≃ L^{2,1}. Identifying π0^b(X) with π0^{b A^1}(X) for proper X/k via a prior reference, the paper concludes that π0^{A^1}(X) → π0^{b A^1}(X) is the universal birationalization, that π0^{b A^1} is a birational invariant, and that (ind-)proper schemes are A^1-connected if and only if they are birationally connected.

Significance. If the results hold, the work supplies a concrete bridge between birational geometry and motivic homotopy theory by equating the birational localization with S^{2,1}-nullification over perfect fields and by giving birational interpretations of A^1-invariants on proper schemes. The commutation of L_bir with the bar construction is a technical strength that may extend to other localizations in the ∞-categorical setting.

major comments (1)
  1. [paragraph containing the three numbered conclusions on proper schemes] The three conclusions on proper schemes (that π0^{A^1}(X) → π0^{b A^1}(X) is the universal birationalization, that π0^{b A^1} is birationally invariant, and that A^1-connectedness coincides with birational connectedness) rest entirely on the external identification π0^b(X) = π0^{b A^1}(X) taken from [asok2011smooth]. The manuscript invokes this equality without re-deriving it inside the ∞-categorical localization at dense opens; if the equality requires additional hypotheses (such as smoothness) not verified for the present L_bir functor, the three statements do not follow.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the dependence of the three conclusions on the cited identification from [asok2011smooth]. We address the concern directly below.

read point-by-point responses

  1. Referee: The three conclusions on proper schemes (that π0^{A^1}(X) → π0^{b A^1}(X) is the universal birationalization, that π0^{b A^1} is birationally invariant, and that A^1-connectedness coincides with birational connectedness) rest entirely on the external identification π0^b(X) = π0^{b A^1}(X) taken from [asok2011smooth]. The manuscript invokes this equality without re-deriving it inside the ∞-categorical localization at dense opens; if the equality requires additional hypotheses (such as smoothness) not verified for the present L_bir functor, the three statements do not follow.

    Authors: We agree that the three conclusions on proper schemes rely on the identification π_0^b(X) ≃ π_0^{b A^1}(X) established in [asok2011smooth]. That reference proves the equality for proper schemes over a field in the A^1-homotopy category; our L_bir is the localization of precisely this category at dense open immersions, so the identification applies to the objects under consideration without requiring re-derivation inside the localized category. The reference does not impose smoothness hypotheses beyond those already satisfied by the proper schemes X/k treated in the manuscript. To make this dependence fully explicit, we will add a short clarifying paragraph in the relevant section recalling the precise statement from [asok2011smooth] and confirming that its hypotheses hold in our setting. revision: yes

Circularity Check

0 steps flagged

No significant circularity; external citation supports one identification while new equivalences are derived independently

full rationale

The paper's derivation of the equivalence L_bir ≃ L^{2,1} for connected motivic spaces and the three statements about proper schemes proceeds by first establishing properties of the birational localization (commutes with bar construction, preserves connectivity; birational sheaves are strongly A^1-invariant with trivial G_m-contraction) and then invoking the external identification π0^b(X) = π0^{b A^1}(X) from [asok2011smooth] to transfer birational properties. This citation is to prior work by different authors and is presented as an input rather than re-derived or fitted inside the paper. No step reduces a claimed result to its own definition by construction, renames a known pattern, or loads the central argument on a self-citation chain. The new results therefore retain independent content beyond the cited identification.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard framework of motivic ∞-categories and the definition of birational localization at dense opens; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The motivic ∞-category H^{A^1}(S) and its localization at dense open immersions are well-defined as in the cited reference Bachmann et al. 2019.
    Invoked to define L_bir.
  • domain assumption Strong A^1-invariance and trivial G_m-contraction characterize birational sheaves of groups over perfect fields.
    Used to obtain the equivalence with L^{2,1}.

pith-pipeline@v0.9.1-grok · 5823 in / 1450 out tokens · 22253 ms · 2026-06-26T07:03:05.196942+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

80 extracted references · 35 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 =

    work page 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 =

    work page doi:10.1016/j.aim.2016.09.031 2017

  5. [5]

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

    2010

  6. [6]

    arXiv preprint math/0702299 , year=

    Derived algebraic geometry II: Noncommutative algebra , author=. arXiv preprint math/0702299 , year=

    Pith/arXiv arXiv

  7. [7]

    Higher algebra , author=

  8. [8]

    arXiv preprint arXiv:1206.3645 , year=

    Noncommutative motives I: A universal characterization of the motivic stable homotopy theory of schemes , author=. arXiv preprint arXiv:1206.3645 , year=

    Pith/arXiv arXiv

  9. [9]

    Norms in motivic homotopy theory

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

    work page doi:10.24033/ast 2021

  10. [10]

    Asok, Aravind and Morel, Fabien , TITLE =. Adv. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.aim.2011.04.009 , URL =

    work page doi:10.1016/j.aim.2011.04.009 2011

  11. [11]

    Motifs des vari

    Ayoub, Joseph , year=. Motifs des vari

  12. [12]

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

    work page doi:10.1515/crelle-2013-0038 2015

  13. [13]

    2012 , PAGES =

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

    work page doi:10.1007/978-3-642-29514-0 2012

  14. [14]

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

    work page doi:10.1093/imrn/rnw184 2017

  15. [15]

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

  16. [16]

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

    1999

  17. [17]

    2009 , publisher=

    Higher topos theory , author=. 2009 , publisher=

    2009

  18. [18]

    K -Theory , FJOURNAL =

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

    work page doi:10.1007/s10977-005-1562-7 2005

  19. [19]

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

    work page doi:10.1112/jtopol/jtm004 2008

  20. [20]

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

    work page doi:10.14231/ag-2021-019 2021

  21. [21]

    Notes available at wwwbcf

    A trivial remark on the Nisnevich topology , author=. Notes available at wwwbcf. usc. edu/\

  22. [22]

    2011 , author=

    Derived algebraic geometry XI: Descent theorems. 2011 , author=. Preprint, available at http://www. math. harvard. edu/lurie/papers/DAG-XI. pdf , volume=

    2011

  23. [23]

    2016 , school=

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

    2016

  24. [24]

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

    work page doi:10.1112/s0010437x20007575 2021

  25. [25]

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

    work page doi:10.2140/agt.2012.12.565 2012

  26. [26]

    MOREL’S CONJECTURE ON ^

    COUNTEREXAMPLES TO F. MOREL’S CONJECTURE ON ^

  27. [27]

    arXiv preprint arXiv:2311.00092 , year=

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

    arXiv

  28. [28]

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

    work page doi:10.2140/gt.2017.21.2093 2017

  29. [29]

    2015 , issn =

    A1-connected components of schemes , journal =. 2015 , issn =. doi:https://doi.org/10.1016/j.aim.2015.07.003 , author =

    work page doi:10.1016/j.aim.2015.07.003 2015

  30. [30]

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

    work page doi:10.1080/00927872.2022.2115053 2023

  31. [31]

    , 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 =

    work page doi:10.2140/akt.2025.10.673 2025

  32. [32]

    Strongly

    Bachmann, Tom , journal=. Strongly

  33. [33]

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

    1986

  34. [34]

    2020 , pages =

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

    work page doi:10.1007/978-3-658-30733-2 2020

  35. [35]

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

    work page doi:10.1515/crelle-2012-0034 2013

  36. [36]

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

    work page doi:10.1017/s1474748016000190 2018

  37. [37]

    P^1 -localisation et une classe de Kodaira--Spencer arithm

    Ayoub, Joseph , journal=. P^1 -localisation et une classe de Kodaira--Spencer arithm. 2020 , publisher=

    2020

  38. [38]

    Cambridge Journal of Mathematics , volume=

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

    2021

  39. [39]

    Contemporary Mathematics , volume=

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

    2002

  40. [40]

    Annals of K-Theory , number =

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

    2022

  41. [41]

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

    work page doi:10.2140/agt.2014.14.37 2014

  42. [42]

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

  43. [43]

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

    work page doi:10.1090/s0002-9947-2014-06116-3 2014

  44. [44]

    Ast\'erisque , FJOURNAL =

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

    2011

  45. [45]

    unpublished (2001--2003) , year=

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

    2001

  46. [46]

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

    work page doi:10.1090/jams/958 2021

  47. [47]

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

    2021

  48. [48]

    [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 =

    work page doi:10.1007/978-3-030-33242-6 2019

  49. [49]

    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 =

    work page doi:10.1112/topo.12134 2020

  50. [50]

    , TITLE =

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

    work page doi:10.1007/s00208-014-1154-z 2015

  51. [51]

    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 =

    work page doi:10.1515/crelle-2022-0063 2022

  52. [52]

    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 =

    work page doi:10.5802/crmath.340 2022

  53. [53]

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

    work page doi:10.2140/agt.2014.14.3603 2014

  54. [54]

    2001 , PAGES =

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

    work page doi:10.1007/978-1-4757-5406-3 2001

  55. [55]

    1974 , publisher=

    Abelian varieties , author=. 1974 , publisher=

    1974

  56. [56]

    Verdier, Jean-Louis , journal=. Le th

  57. [57]

    2013 , publisher=

    Intersection theory , author=. 2013 , publisher=

    2013

  58. [58]

    , TITLE =

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

    work page doi:10.1007/978-3-030-74248-5 2021

  59. [59]

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

    2025

  60. [60]

    2006 , PAGES =

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

    2006

  61. [61]

    Grothendieck, Alexander , journal=

  62. [62]

    arXiv preprint arXiv:2204.03434 , year=

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

    arXiv

  63. [63]

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

    work page doi:10.1090/jams/1045 2025

  64. [64]

    In preparation , year=

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

  65. [65]

    In preparation , year=

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

  66. [66]

    In preparation , year=

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

  67. [67]

    In preparation , year=

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

  68. [68]

    In preparation , year=

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

  69. [69]

    Dipankar Maity , journal=

  70. [70]

    MOREL) , author=

    A-ALGEBRAIC TOPOLOGY (AFTER F. MOREL) , author=. To appear in the proceedings of the PCMI 2024 Graduate Summer School on Motivic Homotopy , year=

    2024

  71. [71]

    Documenta Mathematica , volume=

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

  72. [72]

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

    work page doi:10.1016/j.jpaa.2011.02.002 2011

  73. [73]

    New York J

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

    2022

  74. [74]

    preprint , year=

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

  75. [75]

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

    work page doi:10.2307/1970547 1964

  76. [76]

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

    work page doi:10.1112/topo.12298 2023

  77. [77]

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

    work page doi:10.1007/s00222-021-01043-3 2021

  78. [78]

    , TITLE =

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

    2015

  79. [79]

    1977 , PAGES =

    Hartshorne, Robin , TITLE =. 1977 , PAGES =

    1977

  80. [80]

    Resolution of singularities , author=