Related papers: The site R^+_G for a profinite group G

Given a profinite group $G$ and a family $\mathcal{F}$ of finite groups closed under taking subgroups, direct products and quotients, denote by $\mathcal{F}(G)$ the set of elements $g \in G$ such that $\{x \in G\ |\ \langle g,x \rangle \…

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…

For a profinite group $G$, we define an $S[[G]]$-module to be a certain type of $G$-spectrum $X$ built from an inverse system $\{X_i\}_i$ of $G$-spectra, with each $X_i$ naturally a $G/N_i$-spectrum, where $N_i$ is an open normal subgroup…

Suppose $R$ is a profinite ring. We construct a large class of profinite groups $\widehat{{\scriptstyle\bf L}'{\scriptstyle\bf H}_R}\mathfrak{F}$, including all soluble profinite groups and profinite groups of finite cohomological dimension…

For a positive integer r we prove that if G is a profinite group in which the centralizer of every nontrivial element has rank at most r, then G is either a pro-p group or a group of finite rank. Further, if G is not virtually a pro-p…

We show that finite (i.e. locally finite and decomposition-finite) objects of a connected Grothendieck topos span a Boolean pretopos with an essentially unique Galois point. The automorphism group of this point carries a profinite topology…

Let $\mathcal G$ denote the space of finitely generated marked groups. For any finitely generated group $G$, we construct a continuous, injective map $f$ from the space of subgroups $Sub(G)$ to $\mathcal G$ that sends conjugate subgroups to…

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…

Assume $G$ is a solvable group whose elementary abelian sections are all finite. Suppose, further, that $p$ is a prime such that $G$ fails to contain any subgroups isomorphic to $C_{p^\infty}$. We show that if $G$ is nilpotent, then the…

This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts (for part II, see math.AG/0404373). In this first part we investigate a notion of higher topos. For…

The rank rk(G) of a profinite group G is the supremum of d(H), where H ranges over all closed subgroups of G and d(H) denotes the minimal cardinality of a topological generating set for H. A compact topological group G admits the structure…

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 analogy with the classical theory of topological groups, for finitely complete categories enriched with Grothendieck topologies, we provide the concepts of localized G-topological space, initial Grothendieck topologies and continuous…

In arXiv:1405.4527 Connes and Consani introduced and studied the arithmetic site and showed that the isomorphism classes of points are in canonical bijection with the finite adele classes $\mathbb{Q}^*_+ \backslash \mathbb{A}^f_{\mathbb{Q}}…

In this paper we study the category of discrete G-spectra for a profinite group G. We consider an embedding of module objects in spectra into a category of module objects in discrete G-spectra, and study the relationship between the…

Let $G$ be the fundamental group of a graph of finitely generated virtually free groups with virtually cyclic edge groups. We shaw that $G$ is cohomologically good if $G$ is residually finite. If $G$ is LERF, we prove that G splits…

For a list $\cal{L}$ of finite groups and for a profinite group $G$, we consider the intersection $T(G)$ of all open normal subgroups $N$ of $G$ with $G/N$ in $\cal{L}$. We give a cohomological characterization of the epimorphisms…

Assume $G$ is a polycyclic group and $\phi:G\to G$ an endomorphism. Let $G\ast_{\phi}$ be the ascending HNN extension of $G$ with respect to $\phi$; that is, $G\ast_{\phi}$ is given by the presentation $$G\ast_{\phi}= < G, t \ |\ t^{-1}gt =…

We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the \'etale…

In this note we show that the protruncated shape of a spectral $\infty$-topos is a delocalization of its profinite stratified shape. This gives a way to reconstruct the extended \'etale homotopy groups (i.e., the non-profinitely complete…