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

We show that for any continuous monotonic fixed-point free automorphism $f$ on a $\sigma$-compact subgroup $G\subset \mathbb R$ there exists a binary operation $+_f$ such that $\langle G, +_f\rangle$ is a topological group topologically…

Solid abelian groups, as introduced by Dustin Clausen and Peter Scholze, form a subcategory of all condensed abelian groups satisfying some ''completeness'' conditions and having favourable categorical properties. Given a profinite ring…

Our aim is to transfer several foundational results from the modular representation theory of finite groups to the wider context of profinite groups. We are thus interested in profinite modules over the completed group algebra k[[G]] of a…

In this article we give an equivariant version for the construction of generic models on presheaves of structures. We deal with first order structures endowed with a suitable action of some fixed group, say $G$; we call them $G$-structures.…

In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the \'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes…

We define for a topological group G and a family of subgroups F two versions for the classifying space for the family F, the G-CW-version E_F(G) and the numerable G-space version J_F(G). They agree if G is discrete, or if G is a Lie group…

In this paper, we continue to adapt the theories of spectra and schemes developed by Grothendieck in algebraic geometry to the category of groups. Let $G$ be a group, and $(H,f_G^H)$ and object of the comma category $C(G)$. In [5], we have…

A discrete subset $S$ of a topological group $G$ is called a {\it suitable set} for $G$ if $S\cup \{e\}$ is closed in $G$ and the subgroup generated by $S$ is dense in $G$, where $e$ is the identity element of $G$. In this paper, the…

We study the structure of profinite polyadic groups and we prove that a polyadic topological group $(G, f)$ is profinite, if and only if, it is compact, Hausdorff, totally disconnected. More generally, for a pseudo-variety (or a formation)…

Hyperelliptic mapping class groups are defined either as the centralizers of hyperelliptic involutions inside mapping class groups of oriented surfaces of finite type or as the inverse images of these centralizers by the natural…

The localising subcategories of the derived category of the cochains on the classifying space of a finite group are classified. They are in one to one correspondence with the subsets of the set of homogeneous prime ideals of the cohomology…

We extend the theory of diffeomorphism-invariant spin network states from the real-analytic category to the smooth category. Suppose that G is a compact connected semisimple Lie group and P -> M is a smooth principal G-bundle. A `cylinder…

For a profinite group $G$ we describe an abelian group $W_G(R; M)$ of $G$-typical Witt vectors with coefficients in an $R$-module $M$ (where $R$ is a commutative ring). This simultaneously generalises the ring $W_G(R)$ of Dress and…

In this paper we continue the study of prime graphs of finite solvable groups. The prime graph, or Gruenberg-Kegel graph, of a finite group G has vertices consisting of the prime divisors of the order of G and an edge from primes p to q if…

Let $G$ be a residually finite, good group of finite virtual cohomological dimension. We prove that the natural monomorphism $G\hookrightarrow\hat{G}$ induces a bijective correspondence between conjugacy classes of finite $p$-subgroups of…

Sormani and Wei proved in 2004 that a compact geodesic space has a categorical universal cover if and only if its covering/critical spectrum is finite. We add to this several equivalent conditions pertaining to the geometry and topology of…

In the general context of functorial topologies, we prove that in the lattice of all group topologies on an abelian group, the infimum between the Bohr topology and the natural topology is the profinite topology. The profinite topology and…

A word hyperbolic group $G$ is called GFERF if every quasiconvex subgroup coincides with the intersection of finite index subgroups containing it. We show that in any such group, the product of finitely many quasiconvex subgroups is closed…

In this paper, we study diffeological spaces as certain kinds of discrete simplicial presheaves on the site of cartesian spaces with the coverage of good open covers. The \v{C}ech model structure on simplicial presheaves provides us with a…

We initiate the study of profinite groups of non-negative deficiency. The principal focus of the paper is to show that the existence of a finitely generated normal subgroup of infinite index in a profinite group $G$ of non-negative…