Related papers: Profinite and discrete G-spectra and iterated homo…

An action of a complex reductive group $\mathrm G$ on a smooth projective variety $X$ is regular when all regular unipotent elements in $\mathrm G$ act with finitely many fixed points. Then the complex $\mathrm G$-equivariant cohomology…

A new approach to \'etale homotopy theory is presented which applies to a much broader class of objects than previously existing approaches, namely it applies not only to all schemes (without any local Noetherian hypothesis), but also to…

We develop a framework for displaying the stable homotopy theory of the sphere, at least after localization at the second Morava K-theory K(2). At the prime 3, we write the spectrum L_{K(2)S^0 as the inverse limit of a tower of fibrations…

The fixed point spectra of Morava E-theory $E_n$ under the action of finite subgroups of the Morava stabilizer group $\mathbb{G}_n$ and their K(n)-local Spanier--Whitehead duals can be used to approximate the K(n)-local sphere in certain…

Let $G$ be a connected reductive group acting on a complex vector space $V$ and projective space ${\mathbb P}V$. Let $x\in V$ and ${\cal H}\subseteq {\cal G}$ be the Lie algebra of its stabilizer. Our objective is to understand points…

We complete the program, initiated in [6], to compare the many different possible definitions of the underlying homotopy type of a log scheme. We show that, up to profinite completion, they all yield the same result, and thus arrive at an…

In this series of three papers, we introduce and study cyclotomic pairs and smooth profinite groups. They are a geometric axiomatisation of Kummer theory for fields, with coefficients $p$-primary roots of unity, for a prime $p$. These…

Let $K$ be an algebraically closed field. Let $G$ be a non-trivial connected unipotent group, which acts effectively on an affine variety $X.$ Then every non-empty component $R$ of the set of fixed points of $G$ is a $K$-uniruled variety,…

We analyze in homological terms the homotopy fixed point spectrum of a T-equivariant commutative S-algebra R. There is a homological homotopy fixed point spectral sequence with E^2_{s,t} = H^{-s}_{gp}(T; H_t(R; F_p)), converging…

We contribute some information towards finding a general algorithm for constructing, for a given profinite group, $G$, a compact connected space, $X$, such that the full homeomorphism group, $H(X)$, with the compact-open topology is…

We investigate fixed point properties for isometric actions of topological groups on a wide class of metric spaces, with a particular emphasis on Hilbert spaces. Instead of requiring the action to be continuous, we assume that it is…

In this paper we prove that the profinite completion $\mathcal{\hat G}$ of the Grigorchuk group $\mathcal{G}$ is not finitely presented as a profinite group. We obtain this result by showing that $H^2(\mathcal{\hat G},\field{F}_2)$ is…

The purpose of this note is to give a description of the stable homotopy group of some $2$-stage Postnikov systems for a range of dimensions. The considered $2$-stage Postnikov systems has the (weak) homotopy type of a generalized…

The main result of this paper is the following theorem. Let q be a prime, A an elementary abelian group of order q^3. Suppose that A acts as a coprime group of automorphisms on a profinite group G in such a manner that C_G(a)' is periodic…

We introduce the Morava-isotropic stable homotopy category and, more generally, the stable homotopy category of an extension $E/k$. These "local" versions of the Morel-Voevodsky stable ${\Bbb{A}}^1$-homotopy category $SH(k)$ are analogues…

In the literature, there are two standard rank filtrations on $K$-theory: an ``unstable'' one which is traditionally defined through the homology of $GL_n$, and a ``stable'' one which was defined by Rognes using the simplicial structure on…

To a "stable homotopy theory" (a presentable, symmetric monoidal stable $\infty$-category), we naturally associate a category of finite \'etale algebra objects and, using Grothendieck's categorical machine, a profinite group that we call…

A group $G$ is said to be a $C$-group if every subgroup $H$ has a permutable complement, i.e. if there exists a subgroup $K$ of $G$ such that $G=HK$ and $H \cap K=1$. In this paper, we study the profinite counterpart of this concept. We say…

In this work we consider a discontinuous Galerkin method for the discretization of the Stokes problem. We use $H(\textrm{div})$-conforming finite elements as they provide major benefits such as exact mass conservation and…

A finitely generated residually finite group $G$ is an $\widehat{OE}$-group if any action of its profinite completion $\widehat G$ on a profinite tree with finite edge stabilizers admits a global fixed point. In this paper, we study the…