Marco Boggi, Ged Corob Cook
We develop cohomological and homological theories for a profinite group $G$ with coefficients in the Pontryagin dual categories of pro-discrete and ind-profinite $G$-modules, respectively. The standard results of group (co)homology hold for this theory: we prove versions of the Universal Coefficient Theorem, the Lyndon-Hochschild-Serre spectral sequence and Shapiro's Lemma.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We generalise to profinite groups some of our previous results on the cohomology of pro-p groups of bounded sectional p-rank.
We construct a correspondence between the cohomology groups of a group $G$ relative to a family of subgroups $\famS$ and the classes of `relative extensions' of $G$ by abelian groups, modulo a certain equivalence relation. We establish this correspondence for both discrete and profinite group pairs. We go on to discuss the relationships of profinite group pairs of cohomological dimension one with free products and projective group pairs.
We present novel constructions concerning the homology of finitely generated groups. Each construction draws on ideas of Gilbert Baumslag. There is a finitely presented acyclic group $U$ such that $U$ has no proper subgroups of finite index and every finitely presented group can be embedded in $U$. There is no algorithm that can determine whether or not a finitely presentable subgroup of a residually finite, biautomatic group is perfect. For every recursively presented abelian group $A$ there exists a pair of groups $i:P_A\hookrightarrow G_A$ such that $i$ induces an isomorphism of profinite c…
For every number field and every Cartan Killing type, there is an associated split simple algebraic group. We examine whether the corresponding arithmetic subgroups are profinitely solitary so that the commensurability class of the profinite completion determines the commensurability class of the group among finitely generated residually finite groups. Assuming Grothendieck rigidity, we essentially solve the problem by Galois cohomological means.
Lannes' $T$-functor and mod-$p$ cohomology of profinite groups
本文通过发展profinite空间参数化的离散扭模族乘积理论，证明了Lannes-Quillen定理对所有profinite群的完整版本，并应用于p- torsion元素和有限p-子群的共轭分离问题。
In this paper we define and develop the theory of the cohomology of a profinite group relative to a collection of closed subgroups. Having made the relevant definitions we establish a robust theory of cup products and use this theory to define profinite Poincaré duality pairs. We use the theory of groups acting on profinite trees to give Mayer-Vietoris sequences, and apply this to give results concerning decompositions of 3-manifold groups. Finally we discuss the relationship between discrete duality pairs and profinite duality pairs, culminating in the result that profinite completion of the …
Pontryagin duality and sheaves of profinite modules
本文研究profinite群的Pontryagin对偶理论，填补了在离散模系数上同调研究中缺失的对偶构造这一理论空白。
Bounded cohomology is not a profinite invariant
本文证明了有界上同调并非profinite不变量，通过构造具有同构profinite完备化但实二阶有界上同调不同的剩余有限群对，并利用Galois上同调给出了允许此类例子的所有高秩Lie群的完整列表。
Solid Duality for Profinite Groups
研究有限群同调与上同调间类似庞加莱对偶性，通过凝聚数学框架分类此类群，统一推广现有结果并构造新例，是利用该框架研究有限群（上）同调的首批工作之一。
For any positive integer $n$, $\mathcal{A}_n$ is the class of all groups $G$ such that, for $0\leq i\leq n$, $H^i(\hat{G},A)\cong H^i(G,A)$ for every finite discrete $\hat{G}$-module $A$. We describe certain types of free products with amalgam and HNN extensions that are in some of the classes $\mathcal{A}_n$. In addition, we investigate the residually finite groups in the class $\mathcal{A}_2$.
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 pro-$p$ completion map $G\to \hat{G}_p$ induces an isomorphism $H^\ast(\hat{G}_p,M)\to H^\ast(G,M)$ for any discrete $\hat{G}_p$-module $M$ of finite $p$-power order. For the general case, we prove that $G$ contains a normal subgroup $N$ of finite index such that the map $H^\ast(\hat{N}_p,M)\to H^\ast(N,M)$ is an isomorphism for any discrete $\hat{N}_p$-module …
Groups of profinite type and profinite rigidity
本文研究 profinite 型群（可实现为 Galois 群的群）及其 profinite 刚性（唯一 profinite 拓扑），探讨阿贝尔群与群扩张的性质，并联系上同调比较映射的单射性与满射性。
Assume $G$ is a polycyclic group and $ϕ:G\to G$ an endomorphism. Let $G\ast_ϕ$ be the ascending HNN extension of $G$ with respect to $ϕ$; that is, $G\ast_ϕ$ is given by the presentation $$G\ast_ϕ= < G, t \ |\ t^{-1}gt = ϕ(g)\ \{for all}\ g\in G >.$$ Furthermore, let $\hat{G\ast_ϕ}$ be the profinite completion of $G\ast_ϕ$. We prove that, for any finite discrete $\hat{G\ast_ϕ}$-module $A$, the map $H^*(\hat{G\ast_ϕ}, A)\to H^*(G\ast_ϕ,A)$ induced by the canonical map $G\ast_ϕ\to \hat{G\ast_ϕ}$ is an isomorphism.
For a prime number $p$ and a free profinite group $S$ on the basis $X$, let $S_{(n,p)}$, $n=1,2,\ldots,$ be the $p$-Zassenhaus filtration of $S$. For $p>n$, we give a word-combinatorial description of the cohomology group $H^2(S/S_{(n,p)},\mathbb{Z}/p)$ in terms of the shuffle algebra on $X$. We give a natural linear basis for this cohomology group, which is constructed by means of unitriangular representations arising from Lyndon words.
Virtual homology of limit groups and profinite rigidity of direct products
本文利用虚拟 Betti 数刻画与 pro-$p$ 群秩梯度技术，证明自由群和曲面群直积在有限展示剩余自由群中的有限完备刚性，并推出相关猜想与流形结论。
In this note we refine examples by Aka from arithmetic to S-arithmetic groups to show that the vanishing of the $i$-th $\ell^2$-Betti number is not a profinite invariant for all $i \ge 2$.
The homology groups introduced by A. Brumer can be used to establish a criterion ensuring that a profinite $\mathbb{F}_p[[G]]$-module of a pro-$p$ group $G$ has projective dimension $d<\infty$ (cf. Thm. A). This criterion yields a new characterization of free pro-$p$ groups (cf. Cor. B). Applied to a semi-direct factor $G\to\mathbb{Z}_p\to G$ isomorphic to $\mathbb{Z}_p$ which defines a non-trivial end in the sense of A.A. Korenev one concludes that the closure of the normal closure of the image of $σ$ is a free pro-$p$ subgroup (cf. Thm. C). From this result we will deduce a structure theorem…
On profinite rigidity, Grothendieck pairs, and the second homology of some $3$-orbifold groups
本文开发了一种有效计算双曲有理同调$3$-球面orbifold群第二同调群的方法，并应用于Weeks流形及其相关格点，证明了这些格点的绝对profinite刚性，并构造了Grothendieck对。
Cohomological Separability of Baumslag--Solitar groups and Their Generalisations
本文在广义 Baumslag–Solitar 群类中给出上同调可分性的等价刻画，并对 Baumslag–Solitar 群得到上同调可分性与有限完备化上同调维数的三分法，从而构造出具有和不具有可分上同调的非剩余有限单关系群例子。
Profinite completions and cohomology jump loci
本文证明 profinite 完备化在特定假设下决定 CW 复形的上同调跳跃轨迹及言语子群分次商，并应用于超平面排列，揭示其不区分算术 Zariski 对且不决定排列群。
These are expanded lecture notes of a series of expository talks surveying basic aspects of group cohomology and homology. They were written for someone who has had a first course in graduate algebra but no background in cohomology. You should know the definition of a (left) module over a (non-commutative) ring, what $\zzz[G]$ is (where $G$ is a group written multiplicatively and $\zzz$ denotes the integers), and some ring theory and group theory. However, an attempt has been made to (a) keep the presentation as simple as possible, (b) either provide an explicit reference of proof of everythin…
Recently, Meierfrankenfeld has published three theorems on the cohomology of a finitary module. They cover the local determination of complete reducibility; the local splitting of group extensions; and the representation of locally split extensions in the double dual. In this note we derive all three by combining a certain duality between homology and cohomology with the continuity of homology.
Ramification Subgroups of Knot Groups and their Profinite and Cohomological Structure
本文研究结群的分支子群及其 profinite 和上同调结构，通过定义meridional inertia子群和全局分支子群，分析其在有限商、profinite 完成和上同调中的性质。
We prove the following three closely related results. The first is that every finite simple group has a profinite presentation with 2 generators and at most 18 relations. The second is that if G is a finite simple group, F a field and M an FG-module, then the dimension of the second cohomology group of G with coefficients in M is at most 17.5 times the dimension of M. The third result is that we may replace 17.5 by 18.5 as long as M is faithful irreducible G-module. These last two results answer conjectures of Holt.
Stable twisted cohomology of the mapping class groups in the unit tangent bundle homology
本研究计算了带边紧致可定向曲面映射类群以单位切丛同调为系数的稳定扭曲上同调，发现其为协变函子超出传统框架，还计算了符合传统框架的一阶上同调系数的稳定上同调群。
For each subcomplex of the standard CW-structure on any torus, we compute the homology of a certain infinite cyclic regular covering space. In all cases when the homology is finitely generated, we also compute the cohomology ring. For aspherical subcomplexes of the torus our computation gives the homology and cohomology of Bestvina-Brady groups. We compute the cohomological dimension of each of these groups over any field and over any subring of the rationals.
In this paper, we introduce a symmetric continuous cohomology of topological groups. This is obtained by topologizing a recent construction due to Staic (J. Algebra 322 (2009), 1360-1378), where a symmetric cohomology of abstract groups is constructed. We give a characterization of topological group extensions that correspond to elements of the second symmetric continuous cohomology. We also show that the symmetric continuous cohomology of a profinite group with coefficients in a discrete module is equal to the direct limit of the symmetric cohomology of finite groups. In the end, we also defi…
We modify the definition of l^1-homology and argue why our definition is more adequate than the classical one. While we cannot reconstruct the classical l^1-homology from the new definition for various reasons, we can reconstruct its Hausdorffification so that no information concerning semi-norms is lost. We obtain an axiomatic characterization of our l^1-homology as a universal delta-functor and prove that it is pre-dual to our definition of bounded cohomology. We thus answer a question raised by Loeh in her thesis. Moreover, we prove Gromov's theorem and the Matsumoto-Morita conjecture in ou…
We study the cohomology of Aut(F_n) and Out(F_n) with coefficients in the modules \wedge^q H, \wedge H^*, Sym^q H or Sym^q H^*, where H is the Out(F_n)-module obtained by abelianising the free group F_n. For reasons which are not conceptually clear, taking coefficients in H and its related modules behaves in a far less trivial way than taking coefficients in H^* and its related modules. Based on a conjectural homology stability theorem for spaces of graphs labeled by a simply connected background space, we give a stable integral calculation of these groups in low degrees, and modulo a further …
Homology and cohomology via the partial group algebra
本文从环论角度通过偏群代数$\u212a_{par}G$研究群的偏同调与偏上同调，建立其与普通同调上同调的联系，证明偏上同调维数不小于标准上同调维数且整数群情形下相等。
For any orientable finite-volume hyperbolic 3-manifold, this paper proves that the profinite isomorphism type of the fundamental group uniquely determines the isomorphism type of the first integral cohomology, as marked with the Thurston norm and the fibered classes; moreover, up to finite ambiguity, the profinite isomorphism type determines the isomorphism type of the fundamental group, among the class of finitely generated 3-manifold groups.
The main problem this thesis deals with is the characterization of profinite groups which are realizable as absolute Galois groups of fields: this is currently one of the major problems in Galois theory. Usually one reduces the problem to the pro-$p$ case, i.e., one would like to know which pro-$p$ groups occur as maximal pro-$p$ Galois groups, i.e., maximal pro-$p$ quotients of absolute Galois groups. Indeed, pro-$p$ groups are easier to deal with than general profinite groups, yet they carry a lot of information on the whole absolute Galois group. We define a new class of pro-$p$ groups, cal…
Let R be any ring (with 1), Γa group and RΓthe corresponding group ring. Let Ext_{RΓ}^{*}(M,M) be the cohomology ring associated to the RΓ-module M. Let H be a subgroup of finite index of Γ. The following is a special version of our main Theorem: Assume the profinite completion of Γis torsion free. Then an element ζin Ext_{RΓ}^{*}(M,M) is nilpotent (under Yoneda's product) if and only if its restriction to Ext_{RH}^{*}(M,M)$ is nilpotent. In particular this holds for the Thompson group. There are torsion free groups for which the analogous statement is false.
We prove that for "most" closed 3-dimensional manifolds $M$, the existence of a closed non singular one-form in a given cohomology class $u\in H^1 (M,\bf R)$ is equivalent to the fact that every twisted Alexander polynomial $Δ^H(M,u) \in {\bf Z}[G/\ker u]$ associated to a normal subgroup with finite index $H < π_1(M)$ has a unitary $u$-minimal term.
The Hochschild homology and cohomology group can be described in terms of the homology and cohomology of the classifying space of the groupoid of the adjoint action of the group under the suitable assumption of the finiteness of the supports of cohomology groups. The difference between homology and cohomology leads to a correction of the results in the book by D. J. Benson (1995),(1991).
For a prime number $p$ and a free profinite group $S$, let $S^{(n,p)}$ be the $n$th term of its lower $p$-central filtration, and $S^{[n,p]}$ the corresponding quotient. Using tools from the combinatorics of words, we construct a canonical basis of the cohomology group $H^2(S^{[n,p]},\mathbb{Z}/p)$, which we call the Lyndon basis, and use it to obtain structural results on this group. We show a duality between the Lyndon basis and canonical generators of $S^{(n,p)}/S^{(n+1,p)}$. We prove that the cohomology group satisfies shuffle relations, which for small values of $n$ fully describe it.
Let $\mathrm G / F$ be a reductive split $p$-adic group and let $\mathrm U$ be the unipotent radical of a Borel subgroup. We study the cohomology with trivial $\mathbb Z_p$-coefficients of the profinite nilpotent group $N = \mathrm U(\mathcal O_F)$ and its Lie algebra $\mathfrak n$, by extending a classical result of Kostant to our integral $p$-adic setup. The techniques used are a combination of results from group theory, algebraic groups and homological algebra.
Braces and linear cycle sets are algebraic structures playing a major role in the classification of involutive set-theoretic solutions to the Yang-Baxter equation. This paper introduces two versions of their (co)homology theories. These theories mix the Harrison (co)homology for the abelian group structure and the (co)homology theory for general cycle sets, developed earlier by the authors. Different classes of brace extensions are completely classified in terms of second cohomology groups.
Homology and cohomology of crossed products by inverse monoid actions and Steinberg algebras
本文研究了逆monoid作用下的交叉积同调与上同调，并应用于Steinberg代数，通过谱序列将Hochschild同调与逆半群同调联系起来。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。