Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userThe equivalence between rational G-sheaves and rational G-Mackey functors for profinite G
140
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic 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{e}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 authors thesis.
rate research
Read 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.
The project of Greenlees et al. on understanding rational G-spectra in terms of algebraic categories has had many successes, classifying rational G-spectra for finite groups, SO(2), O(2), SO(3), free and cofree G-spectra as well as rational toral G-spectra for arbitrary compact Lie groups. This paper provides an introduction to the subject in two parts. The first discusses rational G-Mackey functors, the action of the Burnside ring and change of group functors. It gives a complete proof of the well-known classification of rational Mackey functors for finite G. The second part discusses the methods and tools from equivariant stable homotopy theory needed to obtain algebraic models for rational G-spectra. It gives a summary of the key steps in the classification of rational G-spectrain terms of a symmetric monoidal algebraic category. Having these two parts in the same place allows one to clearly see the analogy between the algebraic and topological classifications.
In a joint work with N. Mok in 1997, we proved that for an irreducible representation $G subset {bf GL}(V),$ if a holomorphic $G$-structure exists on a uniruled projective manifold, then the Lie algebra of $G$ has nonzero prolongation. We tried to generalize this to an arbitrary connected algebraic subgroup $G subset {bf GL}(V)$ and a complex manifold containing an immersed rational curve, but the proposed proof had a flaw.
For a profinite group $G$, let $(text{-})^{hG}$, $(text{-})^{h_dG}$, and $(text{-})^{hG}$ denote continuous homotopy fixed points for profinite $G$-spectra, discrete $G$-spectra, and continuous $G$-spectra (coming from towers of discrete $G$-spectra), respectively. We establish some connections between the first two notions, and by using Postnikov towers, for $K vartriangleleft_c G$ (a closed normal subgroup), give various conditions for when the iterated homotopy fixed points $(X^{hK})^{hG/K}$ exist and are $X^{hG}$. For the Lubin-Tate spectrum $E_n$ and $G <_c G_n$, the extended Morava stabilizer group, our results show that $E_n^{hK}$ is a profinite $G/K$-spectrum with $(E_n^{hK})^{hG/K} simeq E_n^{hG}$, by an argument that possesses a certain technical simplicity not enjoyed by either the proof that $(E_n^{hK})^{hG/K} simeq E_n^{hG}$ or the Devinatz-Hopkins proof (which requires $|G/K| < infty$) of $(E_n^{dhK})^{h_dG/K} simeq E_n^{dhG}$, where $E_n^{dhK}$ is a construction that behaves like continuous homotopy fixed points. Also, we prove that (in general) the $G/K$-homotopy fixed point spectral sequence for $pi_ast((E_n^{hK})^{hG/K})$, with $E_2^{s,t} = H^s_c(G/K; pi_t(E_n^{hK}))$ (continuous cohomology), is isomorphic to both the strongly convergent Lyndon-Hochschild-Serre spectral sequence of Devinatz for $pi_ast(E_n^{dhG})$, with $E_2^{s,t} = H^s_c(G/K; pi_t(E_n^{dhK}))$, and the descent spectral sequence for $pi_ast((E_n^{hK})^{hG/K})$.
We give characterizations of a finite group $G$ acting symplectically on a rational surface ($mathbb{C}P^2$ blown up at two or more points). In particular, we obtain a symplectic version of the dichotomy of $G$-conic bundles versus $G$-del Pezzo surfaces for the corresponding $G$-rational surfaces, analogous to a classical result in algebraic geometry. Besides the characterizations of the group $G$ (which is completely determined for the case of $mathbb{C}P^2# Noverline{mathbb{C}P^2}$, $N=2,3,4$), we also investigate the equivariant symplectic minimality and equivariant symplectic cone of a given $G$-rational surface.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
