Related papers: Profinite and Solid Cohomology

Complementing and extending the Inventiones work of Benson, Grodal, Henke [Group cohomology and control of p-fusion, Invent. Math. 197 (2014), 491--507] we give criteria for a space to have cohomology (strongly) F-isomorphic in the sense of…

A profinite group is index-stable if any two isomorphic open subgroups have the same index. Let $p$ be a prime, and let $G$ be a compact $p$-adic analytic group with associated $\mathbb{Q}_p$-Lie algebra $\mathcal{L}(G)$. We prove that $G$…

We reformed the tensor product theory of vertex operator algebras developed by Huang and Lepowsky so that we could apply it to all vertex operator algebras satisfying C_2-cofiniteness. We also showed that the tensor product theory develops…

We classify fully commutative elements in the affine Coxeter group of type $\tilde{A_{n}}$. We give a normal form for such elements, then we propose an application of this normal form: we lift these fully commutative elements to the affine…

In this work we construct a compactly generated tensor-triangulated stable category for a large class of infinite groups, including those in Kropholler's hierarchy $\mathrm{LH}\mathfrak{F}$. This can be constructed as the homotopy category…

The Resolution Theorem for Compact Abelian Groups is applied to show that the profinite subgroups of a finite-dimensional compact connected abelian group (protorus) which induce tori quotients comprise a lattice under intersection (meet)…

L\'evai and Pyber proposed the following as a conjecture: Let $G$ be a profinite group such that the set of solutions of the equation $x^n=1$ has positive Haar measure. Then $G$ has an open subgroup $H$ and an element $t$ such that all…

Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman's theorem states that they precisely specify pseudovarieties, i.e.~classes of finite algebras closed under finite products,…

We show that certain subrings of the cohomology of a finite p-group P may be realised as the images of restriction from suitable virtually free groups. We deduce that the cohomology of P is a finite module for any such subring. Examples…

The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},..., a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}... a_{n} =a_{\sigma (a)} a_{\sigma (2)} ... a_{\sigma (n)}$, where $\sigma$…

We show that if a class of modules is closed under pure quotients, then it is precovering if and only if it is covering, and this happens if and only if it is closed under direct sums. This is inspired by a dual result by Rada and…

Let $\mathcal{E}$ be a weakly idempotent complete exact category with enough injective and projective objects. Assume that $\mathcal{M} \subseteq \mathcal{E}$ is a rigid, contravariantly finite subcategory of $\mathcal{E}$ containing all…

We prove that the torsion-free lamplighter group $\Gamma = \mathbb{Z}^n \wr \mathbb{Z}$ of any rank $n \in \mathbb{N}$ is profinitely rigid in the absolute sense: the finite quotients of $\Gamma$ determine its isomorphism type uniquely…

Using the notion of isoclinism introduced by P. Hall for finite p-groups, we show that many important classes of finite p-groups have stable cohomology detected by abelian subgroups, see Theorem 4.4. Moreover, we show that the stable…

For a hyperbolic toral automorphism, we construct a profinite completion of an isomorphic copy of the homoclinic group of its right action using isomorphic copies of the periodic data of its left action. The resulting profinite group has a…

We prove that the category of countable Tate modules over an arbitrary discrete ring embeds fully faithfully into that of condensed modules. If the base ring is of finite type, we characterize the essential image as generated by the free…

In a previous paper, we showed that profinite $L$-algebras (where $L$ is a variety of modal algebras generated by its finite members) are monadic over $\mathbf{Set}$. This monadicity result suggests that profinite $L$-algebras could be…

We introduce the notion of E-depth of graded modules over polynomial rings to measure the depth of certain Ext modules. First, we characterize graded modules over polynomial rings with (sufficiently) large E-depth as those modules whose…

Starting from a topological treatment of the Eisenstein class of a torus bundle, we define log-rigid analytic classes for $\mathrm{SL}_n(\mathbb{Z})$. These are group cohomology classes for $\mathrm{SL}_n(\mathbb{Z})$ valued on log-rigid…

Let $R$ be a commutative noetherian ring and $I$ an ideal of $R$. Assume that for all integers $i$ the local cohomology module $H_I^i(R)$ is $I$-cofinite. Suppose that $R_\mathfrak{p}$ is a regular local ring for all prime ideals…