-
Classifying rational G-spectra for profinite G
Authors:
David Barnes,
Danny Sugrue
Abstract:
For G an arbitrary profinite group, we construct an algebraic model for rational G-spectra in terms of G-equivariant sheaves over the space of subgroups of G. This generalises the known case of finite groups to a much wider class of topological groups, and improves upon earlier work of the first author on the case where G is the p-adic integers.
As the purpose of an algebraic model is to allow o…
▽ More
For G an arbitrary profinite group, we construct an algebraic model for rational G-spectra in terms of G-equivariant sheaves over the space of subgroups of G. This generalises the known case of finite groups to a much wider class of topological groups, and improves upon earlier work of the first author on the case where G is the p-adic integers.
As the purpose of an algebraic model is to allow one to use homological algebra to study questions of homotopy theory, we prove that the homological dimension (injective dimension) of the algebraic model is determined by the Cantor--Bendixson rank of the space of closed subgroups of the profinite group G. This also provides a calculation of the homological dimension of the category of rational Mackey functors.
△ Less
Submitted 23 August, 2022;
originally announced August 2022.
-
Equivariant sheaves for profinite groups
Authors:
David Barnes,
Danny Sugrue
Abstract:
We study equivariant sheaves over profinite spaces, where the group is also taken to be profinite. We resolve a serious deficit in the existing theory by constructing a good notion of equivariant presheaves, with a suitable equivariant sheafification functor. Using equivariant sheafification, we develop the general theory of equivariant sheaves of modules over a ring, give explicit constructions o…
▽ More
We study equivariant sheaves over profinite spaces, where the group is also taken to be profinite. We resolve a serious deficit in the existing theory by constructing a good notion of equivariant presheaves, with a suitable equivariant sheafification functor. Using equivariant sheafification, we develop the general theory of equivariant sheaves of modules over a ring, give explicit constructions of infinite products and introduce an equivariant analogue of skyscraper sheaves.
These results underlie recent work by the authors which proves that there is an algebraic model for rational G-spectra in terms of equivariant sheaves over profinite spaces. That model is constructed in terms of Weyl-G-sheaves over the space of closed subgroups of G, where the term Weyl indicates that the stalk over H is H-fixed. In this paper, we prove that Weyl-G-sheaves of R-modules form an abelian category with enough injectives and is a coreflective subcategory of equivariant sheaves of R-modules.
We end the paper with a structural result that provides another way to conveniently build equivariant sheaves from simpler data. We prove that a G-equivariant sheaf over a profinite base space X is a colimit of equivariant sheaves over finite discrete spaces X_i with actions of finite groups G_i, where X is the limit of the X_i and G is the limit of the G_i.
△ Less
Submitted 5 April, 2022; v1 submitted 7 December, 2020;
originally announced December 2020.
-
The equivalence between rational G-sheaves and rational G-Mackey functors for profinite G
Authors:
David Barnes,
Danny Sugrue
Abstract:
For G a profinite group, we construct an equivalence between rational G-Mackey functors and a certain full subcategory of G-sheaves over the space of closed subgroups of G called Weyl-G-sheaves. This subcategory consists of those sheaves whose stalk over a subgroup K is K-fixed.
This extends the classification of rational G-Mackey functors for finite G of Thévenaz and Webb, and Greenlees and May…
▽ More
For G a profinite group, we construct an equivalence between rational G-Mackey functors and a certain full subcategory of G-sheaves over the space of closed subgroups of G called Weyl-G-sheaves. This subcategory consists of those sheaves whose stalk over a subgroup K is K-fixed.
This extends the classification of rational G-Mackey functors for finite G of Thévenaz and Webb, and Greenlees and May to a new class of examples. Moreover, this equivalence is instrumental in the classification of rational G-spectra for profinite G, as given in the second author's thesis.
△ Less
Submitted 27 April, 2022; v1 submitted 26 February, 2020;
originally announced February 2020.
-
Rational $G$-spectra for profinite $G$
Authors:
Danny Sugrue
Abstract:
In this thesis we will investigate rational G-spectra for a profinite group G. We will provide an algebraic model for this model category whose injective dimension can be calculated in terms of the Cantor-Bendixson rank of the space of closed subgroups of G, denoted SG. The algebraic model we consider is chain complexes of Weyl-G-sheaves of rational vector spaces over the spaces. The key step in p…
▽ More
In this thesis we will investigate rational G-spectra for a profinite group G. We will provide an algebraic model for this model category whose injective dimension can be calculated in terms of the Cantor-Bendixson rank of the space of closed subgroups of G, denoted SG. The algebraic model we consider is chain complexes of Weyl-G-sheaves of rational vector spaces over the spaces. The key step in proving that this is an algebraic model for G-spectra is in proving that the category of rational G-Mackey functors is equivalent to Weyl-G-sheaves. In addition to the fact that this sheaf description utilises the topology of G and the closed subgroups of G in a more explicit way than Mackey functors do, we can also calculate the injective dimension. In the final part of the thesis we will see that the injective dimension of the category of Weyl-G-sheaves can be calculated in terms of the Cantor-Bendixson rank of SG, hence giving the injective dimension of the category of Mackey functors via the earlier equivalence.
△ Less
Submitted 28 October, 2019;
originally announced October 2019.
-
Injective dimension of sheaves of rational vector spaces
Authors:
Danny Sugrue
Abstract:
The Cantor-Bendixson rank of a topological space X is a measure of the complexity of the topology of X. The Cantor-Bendixson rank is most interesting when the space is profinite: Hausdorff, compact and totally disconnected. We will see that the injective dimension of the Abelian category of sheaves of rational vector spaces over a profinite space is determined by the Cantor-Bendixson rank of the s…
▽ More
The Cantor-Bendixson rank of a topological space X is a measure of the complexity of the topology of X. The Cantor-Bendixson rank is most interesting when the space is profinite: Hausdorff, compact and totally disconnected. We will see that the injective dimension of the Abelian category of sheaves of rational vector spaces over a profinite space is determined by the Cantor-Bendixson rank of the space.
△ Less
Submitted 26 June, 2018;
originally announced June 2018.