Search arXiv⌕ Search

arXiv subjects

Yorick Fuhrmann

Publications and source records attributed to Yorick Fuhrmann.

2 recordsLinked to original sources

Modular fixed points in equivariant homotopy theory

We show that the derived $\infty$-category of permutation modules is equivalent to the category of modules over the Eilenberg-MacLane spectrum associated to a constant Mackey functor in the $\infty$-category of equivariant spectra. On such module categories we define a modular fixed point functor using geometric fixed points followed by an extension of scalars and identify it with the modular fixed point functor on derived permutation modules introduced by Balmer-Gallauer. As an application, we show that the Picard group of such a module category for a $p$-group is given by the group of class functions satisfying the Borel-Smith conditions. In the language of representation theory, this result was first obtained by Miller.

math.AT↗

Profinite Borel completeness and smooth Artin motives

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 étale Voevodsky motives over a base scheme $S$ that are controlled by the étale fundamental group $π_1^{\mathrm{ét}}(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 $π_1^{\mathrm{ét}}(S)$. In the étale case, we show that the difference between our two notions of profinite Borel completeness is precisely the difference between étale sheaves and hypersheaves on finite étale schemes.

math.AT↗