pith. sign in

arxiv: 2606.25943 · v1 · pith:AUXZBLVJnew · submitted 2026-06-24 · 🧮 math.AT · math.AG· math.RT

Profinite Borel completeness and smooth Artin motives

Yorick Fuhrmann This is my paper

Pith reviewed 2026-06-25 19:24 UTC · model grok-4.3

classification 🧮 math.AT math.AGmath.RT
keywords profinite Borel completenesssmooth Artin motivesVoevodsky motivesBredon cohomology spectrumétale fundamental groupNisnevich topologyétale topologyequivariant spectra
0
0 comments X

The pith

Smooth Artin motives match modules over the Bredon cohomology spectrum for the profinite étale fundamental group in the Nisnevich topology.

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

The paper first develops Borel-complete equivariant spectra for finite groups, adds coefficients, and extends the setup to profinite groups while separating levelwise completeness from its hypercompletion. It then examines smooth Artin motives inside the effective Nisnevich and étale Voevodsky motives over a base scheme S, where these subcategories are controlled by the étale fundamental group of S. In the Nisnevich setting the motives are identified with modules over the Bredon cohomology spectrum of that profinite group, extending an earlier theorem of Voevodsky. In the étale setting the two completeness notions are shown to coincide exactly with the difference between étale sheaves and hypersheaves on finite étale schemes. A reader would care because the results supply explicit, group-theoretic models for these motive categories and clarify how sheaf conditions interact with equivariant homotopy data.

Core claim

The paper shows that, in the Nisnevich topology, the subcategory of smooth Artin motives inside effective Voevodsky motives over S is equivalent to the category of modules over the Bredon cohomology spectrum for the profinite group π₁^ét(S). In the étale topology, the distinction between levelwise profinite Borel completeness and its hypercompletion is identified with the distinction between étale sheaves and hypersheaves on the category of finite étale schemes over S.

What carries the argument

The identification of smooth Artin motives with modules over the Bredon cohomology spectrum for the profinite group π₁^ét(S), together with the two notions of profinite Borel completeness (levelwise and hypercomplete) for equivariant spectra with coefficients.

If this is right

  • Voevodsky's theorem extends to give an explicit module description of smooth Artin motives in the Nisnevich case.
  • The two notions of profinite Borel completeness differ precisely by the sheaf-versus-hypersheaf distinction on finite étale schemes in the étale case.
  • Smooth Artin motives admit descriptions controlled by the étale fundamental group of the base.
  • Properties of modules over the Bredon spectrum translate directly to properties of the corresponding motives.

Where Pith is reading between the lines

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

  • The identifications open the possibility of transferring computational methods from equivariant homotopy theory to motivic questions for schemes with accessible fundamental groups.
  • One could examine how the results change when the base scheme varies or when additional topologies are considered.
  • The étale case highlights that hypercompletion effects in spectra correspond to hypersheaf conditions already familiar in algebraic geometry.

Load-bearing premise

The ∞-categories of Borel-complete equivariant spectra with coefficients and the subcategories of smooth Artin motives inside Voevodsky motives are well-defined and satisfy the universal properties required for the stated identifications.

What would settle it

An explicit computation, for a concrete base scheme S whose étale fundamental group is known, showing that the category of smooth Artin motives fails to match the modules over the corresponding Bredon spectrum in the Nisnevich topology.

read the original abstract

The purpose of this paper is twofold. In the first part, we revisit the description of the $\infty$-category of Borel complete equivariant spectra for a finite group given by Mathew-Naumann-Noel, introduce a version with coefficients, and then consider Borel equivariance for profinite groups. Here we identify two generally differing notions: levelwise Borel completeness and the hypercompletion thereof. In the second part, we study variants of smooth Artin motives, which are subcategories of the $\infty$-categories of effective Nisnevich and \'etale Voevodsky motives over a base scheme $S$ that are controlled by the \'etale fundamental group $\pi_1^{\mathrm{\'et}}(S)$. In the Nisnevich case, we extend a theorem of Voevodsky and identify smooth Artin motives with modules over the Bredon cohomology spectrum for the profinite group $\pi_1^{\mathrm{\'et}}(S)$. In the \'etale case, we show that the difference between our two notions of profinite Borel completeness is precisely the difference between \'etale sheaves and hypersheaves on finite \'etale schemes.

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 / 2 minor

Summary. The paper revisits the ∞-category of Borel complete equivariant spectra for finite groups (following Mathew-Naumann-Noel), introduces a version with coefficients, and extends the discussion to profinite groups by distinguishing levelwise Borel completeness from its hypercompletion. It then defines variants of smooth Artin motives inside the effective Nisnevich and étale ∞-categories of Voevodsky motives over a base S, controlled by π₁^ét(S). The main results are an extension of Voevodsky's theorem identifying the Nisnevich smooth Artin motives with modules over the Bredon cohomology spectrum for π₁^ét(S), and an identification in the étale case equating the gap between the two profinite Borel completeness notions with the gap between étale sheaves and hypersheaves on finite étale schemes.

Significance. If the identifications are established, the work supplies a concrete bridge between profinite equivariant stable homotopy theory and the motivic categories of Artin motives. The coefficient version of Borel equivariance and the explicit link to Bredon spectra constitute a technical contribution that could support further calculations; the clarification of hypercompletion versus levelwise completeness in the étale setting also addresses a recurring distinction in sheaf theory.

major comments (1)
  1. [Abstract (second paragraph) and the constructions in the first and second parts] The central claims rest on the assertion that the ∞-categories of Borel-complete equivariant spectra (with coefficients) and the subcategories of smooth Artin motives are well-defined and satisfy the universal properties needed to extend Voevodsky's theorem and to equate the two completeness notions with sheaf-theoretic distinctions. The manuscript must supply explicit verification that these universal properties hold in the profinite setting; without it the identifications remain formal.
minor comments (2)
  1. Introduce consistent notation for the two profinite Borel completeness notions (levelwise versus hypercomplete) at the first appearance rather than relying on descriptive phrases.
  2. A summary diagram or table relating the various categories of motives and spectra across the Nisnevich and étale cases would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the detailed summary of its contributions. We respond to the single major comment below.

read point-by-point responses

  1. Referee: [Abstract (second paragraph) and the constructions in the first and second parts] The central claims rest on the assertion that the ∞-categories of Borel-complete equivariant spectra (with coefficients) and the subcategories of smooth Artin motives are well-defined and satisfy the universal properties needed to extend Voevodsky's theorem and to equate the two completeness notions with sheaf-theoretic distinctions. The manuscript must supply explicit verification that these universal properties hold in the profinite setting; without it the identifications remain formal.

    Authors: The first part of the paper explicitly constructs the ∞-category of Borel-complete equivariant spectra with coefficients for finite groups (following Mathew-Naumann-Noel) and then extends the definitions to profinite groups by introducing and distinguishing levelwise Borel completeness from its hypercompletion. The universal properties of these categories (including the module structures over the relevant Bredon cohomology spectra) are verified directly in the profinite case through the levelwise and hypercomplete constructions. These verified properties are then used in the second part to define the subcategories of smooth Artin motives inside the effective Nisnevich and étale Voevodsky categories and to prove the stated identifications, including the extension of Voevodsky's theorem. We therefore maintain that the required explicit verifications for the profinite setting are already supplied by the constructions and proofs in the manuscript. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivations rely on external theorems and universal properties

full rationale

The paper extends Voevodsky's theorem to identify smooth Artin motives with modules over a Bredon cohomology spectrum and equates two notions of profinite Borel completeness with sheaf vs. hypersheaf distinctions. These are presented as identifications following from well-defined ∞-categories and universal properties, with no equations, fitted parameters, self-definitional loops, or load-bearing self-citations visible in the provided text. The central claims remain independent of the paper's own inputs and do not reduce by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities can be extracted. The central claims rest on the well-definedness of the ∞-categories of Borel-complete spectra and of the Artin motive subcategories, but these are not itemized.

pith-pipeline@v0.9.1-grok · 5731 in / 1201 out tokens · 21662 ms · 2026-06-25T19:24:05.460330+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

144 extracted references · 2 canonical work pages

  1. [1]

    Patchkoria, Irakli and Sanders, Beren and Wimmer, Christian , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2022 , NUMBER =

    2022

  2. [2]

    Representations of algebras and related structures , SERIES =

    Balmer, Paul and Gallauer, Martin , TITLE =. Representations of algebras and related structures , SERIES =. 2023 , MRCLASS =

    2023

  3. [3]

    Balmer, Paul and Gallauer, Martin , TITLE =. Comment. Math. Helv. , FJOURNAL =. 2022 , NUMBER =

    2022

  4. [4]

    The geometry of permutation modules , author=. Invent. math. , fjournal=. 2025 , volume=

    2025

  5. [5]

    Balmer, Paul and Gallauer, Martin , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2025 , NUMBER =

    2025

  6. [6]

    The structure of

    Th\'. The structure of. Trans. Amer. Math. Soc. , FJOURNAL =. 1995 , NUMBER =

    1995

  7. [7]

    2009 , PAGES =

    Lurie, Jacob , TITLE =. 2009 , PAGES =

    2009

  8. [8]

    2011 , note =

    Jacob Lurie , title =. 2011 , note =

    2011

  9. [9]

    2017 , note =

    Jacob Lurie , title =. 2017 , note =

    2017

  10. [10]

    2018 , note =

    Jacob Lurie , title =. 2018 , note =

    2018

  11. [11]

    Mathew, Akhil and Naumann, Niko and Noel, Justin , TITLE =. Adv. Math. , FJOURNAL =. 2017 , PAGES =

    2017

  12. [12]

    Acta Math

    Nikolaus, Thomas and Scholze, Peter , TITLE =. Acta Math. , FJOURNAL =. 2018 , NUMBER =

    2018

  13. [13]

    Gepner, David and Meier, Lennart , TITLE =. Compos. Math. , FJOURNAL =. 2023 , NUMBER =

    2023

  14. [14]

    2018 , PAGES =

    Schwede, Stefan , TITLE =. 2018 , PAGES =

    2018

  15. [15]

    Robalo, Marco , TITLE =. Adv. Math. , FJOURNAL =. 2015 , PAGES =

    2015

  16. [16]

    Triangulated categories of mixed motives , SERIES =

    Cisinski, Denis-Charles and D\'. Triangulated categories of mixed motives , SERIES =. 2019 , PAGES =

    2019

  17. [17]

    Cisinski, Denis-Charles and D\'. \'. Compos. Math. , FJOURNAL =. 2016 , NUMBER =

    2016

  18. [18]

    2006 , PAGES =

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

    2006

  19. [19]

    Cohomological dimension of

    Martinez-P\'. Cohomological dimension of. J. London Math. Soc. (2) , FJOURNAL =. 2006 , NUMBER =

    2006

  20. [20]

    and Kan, Daniel M

    Dwyer, William G. and Kan, Daniel M. , TITLE =. Nederl. Akad. Wetensch. Indag. Math. , FJOURNAL =. 1984 , NUMBER =

    1984

  21. [21]

    Stable finiteness properties of infinite discrete groups , JOURNAL =

    B\'. Stable finiteness properties of infinite discrete groups , JOURNAL =. 2017 , NUMBER =

    2017

  22. [22]

    1971 , PAGES =

    Rev\^. 1971 , PAGES =

    1971

  23. [23]

    1972 , PAGES =

    Th\'. 1972 , PAGES =

    1972

  24. [24]

    Alexander Grothendieck , TITLE =. Inst. Hautes \'. 1967 , PAGES =

    1967

  25. [25]

    1977 , PAGES =

    Hartshorne, Robin , TITLE =. 1977 , PAGES =

    1977

  26. [26]

    1981 , note =

    Lewis, Gaunce , title =. 1981 , note =

    1981

  27. [27]

    1997 , PAGES =

    Bouc, Serge , TITLE =. 1997 , PAGES =

    1997

  28. [28]

    Topology , FJOURNAL =

    Schwede, Stefan and Shipley, Brooke , TITLE =. Topology , FJOURNAL =. 2003 , NUMBER =

    2003

  29. [29]

    Brooke Shipley , journal =

  30. [30]

    Neil Strickland , year=. Is. 2001.07404 , archivePrefix=

    work page arXiv 2001

  31. [31]

    The Stacks project , howpublished =

    The. The Stacks project , howpublished =. 2024 , shorthand =

    2024

  32. [32]

    , TITLE =

    Ford, Timothy J. , TITLE =. 2017 , PAGES =

    2017

  33. [33]

    2010 , PAGES =

    G\"ortz, Ulrich and Wedhorn, Torsten , TITLE =. 2010 , PAGES =

    2010

  34. [34]

    2023 , PAGES =

    G\"ortz, Ulrich and Wedhorn, Torsten , TITLE =. 2023 , PAGES =

    2023

  35. [35]

    Barwick, Clark , TITLE =. Adv. Math. , FJOURNAL =. 2017 , PAGES =

    2017

  36. [36]

    and May, J

    Guillou, Bertrand J. and May, J. Peter , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2024 , NUMBER =

    2024

  37. [37]

    2016 , eprint=

    Parametrized higher category theory and higher algebra: Expos\'e IV -- Stability with respect to an orbital -category , author=. 2016 , eprint=

    2016

  38. [38]

    Clausen, Dustin and Mathew, Akhil and Naumann, Niko and Noel, Justin , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2024 , NUMBER =

    2024

  39. [39]

    Ast\'erisque , FJOURNAL =

    Bachmann, Tom and Hoyois, Marc , TITLE =. Ast\'erisque , FJOURNAL =. 2021 , PAGES =

    2021

  40. [40]

    Ayoub, Joseph , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2014 , PAGES =

    2014

  41. [41]

    [2020] 2020 , PAGES =

    Balmer, Paul and Dell'Ambrogio, Ivo , TITLE =. [2020] 2020 , PAGES =

    2020

  42. [42]

    1999 , PAGES =

    Hovey, Mark , TITLE =. 1999 , PAGES =

    1999

  43. [43]

    2015 , eprint=

    Verdier quotients of stable quasi-categories are localizations , author=. 2015 , eprint=

    2015

  44. [44]

    and Gepner, David and Tabuada, Gon calo , TITLE =

    Blumberg, Andrew J. and Gepner, David and Tabuada, Gon calo , TITLE =. Geom. Topol. , FJOURNAL =. 2013 , NUMBER =

    2013

  45. [45]

    Neeman, Amnon , TITLE =. Ann. Sci. \'Ecole Norm. Sup. (4) , FJOURNAL =. 1992 , NUMBER =

    1992

  46. [46]

    , TITLE =

    Schwede, Stefan and Shipley, Brooke E. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 2000 , NUMBER =

    2000

  47. [47]

    Beke, Tibor , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2000 , NUMBER =

    2000

  48. [48]

    1998 , eprint=

    Monoidal model categories , author=. 1998 , eprint=

    1998

  49. [49]

    2017 , eprint=

    Homotopy theory for algebras over polynomial monads , author=. 2017 , eprint=

    2017

  50. [50]

    Inventiones mathematicae , year =

    Piotr Pstrągowski , title =. Inventiones mathematicae , year =

  51. [51]

    Spectral

    Barwick, Clark and Glasman, Saul and Shah, Jay , year =. Spectral

  52. [52]

    When projective does not imply flat, and other homological anomalies , url =

    Lewis, Gaunce , journal =. When projective does not imply flat, and other homological anomalies , url =

  53. [53]

    Gaunce and May, J

    Lewis, L. Gaunce and May, J. Peter and Steinberger, Mark and McClure, James E. , TITLE =. 1986 , PAGES =

    1986

  54. [54]

    and Hopkins, Michael J

    Hill, Michael A. and Hopkins, Michael J. and Ravenel, Douglas C. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2016 , NUMBER =

    2016

  55. [55]

    1987 , PAGES =

    tom Dieck, Tammo , TITLE =. 1987 , PAGES =

    1987

  56. [56]

    2018 , PAGES =

    Linckelmann, Markus , TITLE =. 2018 , PAGES =

    2018

  57. [57]

    , TITLE =

    Miller, Sam K. , TITLE =. J. Algebra , FJOURNAL =. 2024 , PAGES =

    2024

  58. [58]

    , TITLE =

    Miller, Sam K. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2025 , NUMBER =

    2025

  59. [59]

    , TITLE =

    Miller, Sam K. , TITLE =. Adv. Math. , FJOURNAL =. 2025 , PAGES =

    2025

  60. [60]

    2016 , note =

    Invertible objects in motivic homotopy theory , author=. 2016 , note =

    2016

  61. [61]

    2022 , note =

    Hopf algebras and Hopf–Galois extensions in -categories , author=. 2022 , note =

    2022

  62. [62]

    2017 , PAGES =

    Nardin, Denis , TITLE =. 2017 , PAGES =

    2017

  63. [63]

    Greenlees, John P. C. and May, J. Peter , TITLE =. Handbook of algebraic topology , PAGES =. 1995 , MRCLASS =

    1995

  64. [64]

    Infinite groups: geometric, combinatorial and dynamical aspects , SERIES =

    L\"uck, Wolfgang , TITLE =. Infinite groups: geometric, combinatorial and dynamical aspects , SERIES =. 2005 , MRCLASS =

    2005

  65. [65]

    2018 , eprint=

    Equivariant Eilenberg-Mac Lane spectra in cyclic p -groups , author=. 2018 , eprint=

    2018

  66. [66]

    Journal of Topology , volume =

    Hornbostel, Jens and Park, Doosung , title =. Journal of Topology , volume =

  67. [67]

    , TITLE =

    Bondarko, Mikhail V. , TITLE =. J. K-Theory , FJOURNAL =. 2010 , NUMBER =

    2010

  68. [68]

    Aoki, Ko , TITLE =. Adv. Math. , FJOURNAL =. 2020 , PAGES =

    2020

  69. [69]

    Sosnilo, Vladimir , TITLE =. Doc. Math. , FJOURNAL =. 2019 , PAGES =

    2019

  70. [70]

    Kaledin, Dmitry , title =. Mosc. Math. J. , year =

  71. [71]

    Dade , journal =

    Everett C. Dade , journal =. Endo-Permutation Modules over p-groups, I , volume =

  72. [72]

    2007 , author =

    Borel–Smith functions and the Dade group , journal =. 2007 , author =

    2007

  73. [73]

    Brou\'e, Michel , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1985 , NUMBER =

    1985

  74. [74]

    2025 , journal=

    Motivic monodromy and p-adic cohomology theories , author=. 2025 , journal=

    2025

  75. [75]

    Greenlees, John P. C. and Shipley, Brooke , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2014 , NUMBER =

    2014

  76. [76]

    Fausk, Halvard , TITLE =. Geom. Topol. , FJOURNAL =. 2008 , NUMBER =

    2008

  77. [77]

    2024 , eprint=

    Profinite equivariant spectra and their tensor-triangular geometry , author=. 2024 , eprint=

    2024

  78. [78]

    2024 , eprint=

    Controlled objects in left-exact -categories and the Novikov conjecture , author=. 2024 , eprint=

    2024

  79. [79]

    Greenlees, John P. C. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1992 , NUMBER =

    1992

  80. [80]

    Balmer, Paul and Sanders, Beren , TITLE =. Invent. Math. , FJOURNAL =. 2017 , NUMBER =

    2017

Showing first 80 references.