Related papers: On pro-$p$ groups with quadratic cohomology
Let $G$ be a connected complex algebraic group and $A$ a connected abelian algebraic group endowed with an algebraic action of $G$ by group automorphisms. In the present note we describe the abelian group $\Ext_{alg}(G,A)$ of algebraic…
Let $\mathcal{C}$ be a class of finite groups closed under taking subgroups, quotients, and extensions with abelian kernel. The right-angled Artin pro-$\mathcal{C}$ group $G_\Gamma$ (pro-$\mathcal{C}$ RAAG for short) is the…
This article continues the study of concrete algebra-like structures in our polyadic approach, where the arities of all operations are initially taken as arbitrary, but the relations between them, the arity shapes, are to be found from some…
The goal of this paper is to obtain restrictions on the prime to p quotient of the \'etale fundamental group of a smooth projective variety in characteristic $p\ge 0$. The results are analogues some theorems in the study of K\"ahler groups.…
Let $K/k$ be a pro-$p$-extension over a number field $k$ whose Galois group is finitely generated and $k_0\subseteq k_1\subseteq\cdots\subseteq k_n\subseteq\cdots$ an ascending sequence of intermediate fields of $K/k$ such that $k_n/k$ is…
For a prime \(p\ge 2\) and a number field K with p-class group of type (p,p) it is shown that the class, coclass, and further invariants of the metabelian Galois group \(G=Gal(F_p^2(K) | K)\) of the second Hilbert p-class field \(F_p^2(K)\)…
We study asymptotic behavior of the dimensions of the homology groups of subgroups of finite index in finitely generated subgroups of pro-$p$ extension of centralizers of free pro-$p$ groups. We also prove group theoretic structure…
This paper develops a basic theory of H-groups. We introduce a special quotient of H-groups and extend some algebraic constructions of topological groups to the category of H-groups and H-maps. We use these constructions to prove some…
We introduce the notion of \textit{relative $L^p$-cohomology} as a quasi-isometry invariant defined for Gromov-hyperbolic spaces, and apply it to the problem of quasi-isometry classification of Heintze groups. More precisely, we explicitly…
We prove that extension groups in strict polynomial functor categories compute the rational cohomology of classical algebraic groups. This result was previously known only for general linear groups. We give several applications to the study…
We completely describe the finitely generated pro-$p$ subgroups of the profinite completion of the fundamental group of an arbitrary $3$-manifold. We also prove a pro-$p$ analogue of the main theorem of Bass--Serre theory for finitely…
We prove the pro-$p$ version of the Karras, Pietrowski, Solitar, Cohen and Scott result stating that a virtually free group acts on a tree with finite vertex stabilizers. If a virtually free pro-$p$ group $G$ has finite centralizes of all…
Let p be a regular prime number, let Gp denote the Galois group of the maximal unramified away from p extension of Q, and let H_et denote the Heisenberg group over Qp with Gp-action given by H_et = Qp(1)^2 \oplus Qp(2). Although Soul\'e…
Let $H$ be a Hopf algebra, and $A$ an $H$-Galois extension. We investigate $H$-Morita autoequivalences of $A$, introduce the concept of $H$-Picard group, and we establish an exact sequence linking the $H$-Picard group of $A$ and the Picard…
Let $p$ be a prime and $\mathbb{F}_p$ be a finite field of $p$ elements. Let $\mathbb{F}_pG$ denote the group algebra of the finite $p$-group $G$ over the field $\mathbb{F}_p$ and $V(\mathbb{F}_pG)$ denote the group of normalized units in…
Given a semisimple group over a local field of residual characteristic p, its topological group of rational points admits maximal pro-p-subgroups. Quasi-split simply-connected semisimple groups can be described in the combinatorial terms of…
The Lannes-Quillen theorem relates the mod-$p$ cohomology of a finite group $G$ with the mod-$p$ cohomology of centralizers of abelian elementary $p$-subgroups of $G$, for $p>0$ a prime number. This theorem was extended to profinite groups…
Following the philosophy of arithmetic topology, we describe a point of view which helps look at surfaces and $p$-adic fields in a "uniform way", and show that results on mapping class groups can be extended to this point of view, and thus…
We define a pro-$p$ Abelian sheaf on a modular curve of a fixed level $N \geq 5$ divisible by a prime number $p \neq 2$. Every $p$-adic representation of $\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ associated to an eigenform is obtained…
We study a cohomology theory for rigid-analytic varieties over $\mathbb{C}_p$, without properness or smoothness assumptions, taking values in filtered quasi-coherent complexes over the Fargues-Fontaine curve, which compares to other…