Questions tagged [group-cohomology]
In mathematics, group cohomology is a set of mathematical tools used to study groups using cohomology theory, a technique from algebraic topology. Analogous to group representations, group cohomology looks at the group actions of a group G in an associated G-module M to elucidate the properties of the group.
870
questions
1
vote
0
answers
119
views
Bounding dimensions of Galois cohomology
Let $G$ be the absolute Galois group of the rationals, and $V$ a finite dimensional $p$-adic representation.
Is there a way to provide a general bound on $H^i(G, V)$ in terms of $\dim_{\mathbb{Q}_p} V$...
3
votes
1
answer
84
views
Are isomorphic maximal tori stably conjugate?
Let $F$ be a field and $G$ a reductive $F$-group. For various applications it is important to understand the "classes" of maximal ($F$-)tori of $G$. Here "class" can mean the ...
7
votes
3
answers
1k
views
Cohomology of the tangent sheaf of $\mathbb{P}(1,2,3)$
Using the exact sequence
$$0\mapsto\mathcal{O}_{\mathbb{P}^{2}}\rightarrow\mathcal{O}_{\mathbb{P}^{2}}(1)^{\oplus 3}\rightarrow T_{\mathbb{P}^{2}}\mapsto 0$$
it is easy to compute $H^{1}(\mathbb{P}^...
2
votes
0
answers
227
views
Interpretation of Kazhdan T property cohomologically
$\newcommand{\triv}{\mathit{triv}}$A group $G$ has property $T$ if $\triv$ is isolated in the space of unitary representations with the Fell topology.
In general, we heuristically have $H^1(G,Ad(V))$ (...
6
votes
1
answer
360
views
Do acyclic amenable groups exist?
Is there an example of a nontrivial discrete amenable group with vanishing integral homology?
To put the question in contrapositive. Given arbitrary acyclic group $Q$, is there some reason for the ...
6
votes
0
answers
106
views
Explicit representatives for Borel cohomology classes of a compact Lie group?
I'm looking for explicit representatives of $H^3_{Borel}(G, R/Z)$, i.e. a measurable function $G^3\to R/Z$ representing a generator of the cohomology group. (Here $G$ is a compact (perhaps simple) ...
1
vote
0
answers
41
views
When is $B^G\backslash(B/A)^G$ finite?
Let $G$ be a locally compact group, let $A,B$ be (not necessarily abelian) connected reductive complex groups equipped with continuous actions of $G$ via algebraic automorphisms. Let $\phi:A\to B$ be ...
12
votes
1
answer
557
views
Is there a general dilogarithm formula for the Cheeger–Chern–Simons class?
I'm looking for a generalization of the calculation of the hyperbolic volume and Chern–Simons invariant for $\operatorname{SL}(2,\mathbb C)$ representations in terms of the Rogers dilogarithm.
Recall ...
3
votes
0
answers
107
views
Regular growth of ranks in Iwasawa tower
$\newcommand{\rank}{\operatorname{rank}}$Let $G=H \times K$ be a torsion free pro-$p$, $p$-adic Lie group. Let $H =\mathbb{Z}_p$, the ring of $p$-adic integers and $K$ is a non-commutative torsion ...
2
votes
2
answers
263
views
Cohomology of $S$-arithmetic groups with trivial coefficients such as $H^n(\rm{PGL}_2(\mathbb{Z}[1/N]);\mathbb{Z})$
As $\rm{PSL}(2,\mathbb{Z})=(\mathbb{Z}/2\mathbb{Z})*(\mathbb{Z}/3\mathbb{Z})$, its cohomology groups $H^n(\rm{PSL}(2,\mathbb{Z});\mathbb{Z})$ are easy to get.
Let $N$ be a product of distinct primes.
...
5
votes
0
answers
135
views
Group homology of $\mathrm{GL}_2(\mathbb{R})$ with real coefficients
What is known about the group homology of $\mathrm{GL}_2(\mathbb{R})$ with real coefficients and what are strategies to compute it (or at least some groups for low degrees)? Here I want to consider ...
2
votes
0
answers
124
views
Automorphisms of (nilpotent) groups : torsion cokernel on the abelianisation implies torsion cokernel on the center?
$\DeclareMathOperator\Aut{Aut}\DeclareMathOperator\End{End}\DeclareMathOperator\GL{GL}\DeclareMathOperator\Z{Z}\DeclareMathOperator\Sp{Sp}\DeclareMathOperator\Span{Span}\DeclareMathOperator\ker{ker}\...
2
votes
0
answers
79
views
Splitting of $\mathbb{Z}/p\to E\to (\mathbb{Z}/p)^n$ in cohomological terms
Let $d>1$ be an odd integer. Given a simplicial set $X$ and $[\gamma]\in H^2(X,\mathbb{Z}/d)$, there exists a fibration $N\mathbb{Z}/d\to E\to X$, with $$E= X_\gamma:=N\mathbb{Z}/d\times_{\gamma} X....
3
votes
0
answers
267
views
Group cohomology and TFTs
Ok, so I am still trying to make my way through the paper by Dijkgraaf and Witten "Group Cohomology and Topological Actions", and I have a question (what's new). The authors start by showing ...
4
votes
1
answer
319
views
Reference for isomorphism between group cohomology and singular cohomology
Let $G$ be a (discrete) group, $X$ a topological space that works as a classifying space for $G$, and $\mathcal{L}$ a local system on $X$ with stalk $L$. It is a fairly standard result that
$$ H^i(G, ...
16
votes
1
answer
2k
views
The homology of the orbit space
Suppose we have an acyclic group $G$ and let $X$ be a contractible CW-complex such that $G$ acts freely on $X$ (we do not suppose that the action is proper).
Is there a way to understand the homology ...
4
votes
1
answer
162
views
Explicit formula for general group extension in terms of cartesian product set
According to Wikipedia and ncat lab general group extensions
$$N\rightarrow G\rightarrow Q$$
are classified by a group homomorphism
$$\rho: Q\rightarrow \operatorname{Out}(N)$$
subject to a constraint ...
1
vote
1
answer
222
views
Transfer for the group of coinvariants: a reference request
Let $G$ be a group and $M$ be a $G$-module,
that is, an abelian group written additively on which $G$ acts:
$$ (g,m)\mapsto g m.$$
We consider the group of coinvariants
$$ M_G:=G/\langle g m -m\ |\ g\...
5
votes
0
answers
167
views
Can modular representation theory be used to prove Sylow's existence theorem?
Edit 20/12: I added a more precise question at the bottom of the post.
Given a finite group $G$ and a prime $p$, we want to prove that $G$ has a $p$-subgroup $P$ such that $|G:P|$ is not divisible by $...
12
votes
1
answer
513
views
Generators for the first cohomology of free groups
Let $F = \langle x_1, \dots, x_n \rangle$ be the free group on $n$ generators and $R = \mathbb Z$. The Fox derivatives $\frac{\partial}{\partial x_i} \colon F \to R[F]$ are the unique derivations ...
5
votes
2
answers
394
views
How is the classification of groups extensions by $H^2$ related to Yoneda Ext?
It is well-known that group extensions
$$1\to A \to H \to G \to 1$$
where $A$ is abelian with a $G$-action such that the conjugation action of $G$ on $A$ agree with this fixed action are classified ...
2
votes
0
answers
116
views
Can K$_3$ of finite fields be related to Teichmüller cocycles?
This is sort of a blind shot, but...
For a ring $R$, its third algebraic K-group is given by $\operatorname K_3(R)=H_3(\operatorname{St}(R))$.
To simplify matters, let $R$ be a finite field $\mathbb ...
3
votes
0
answers
75
views
Explicit examples of 4-cocycles over finite 2-groups
By a (finite) 2-group $X$, I mean a finite group $G$, a finite abelian group $A$, an action of $G$ on $\operatorname{Aut}(A)$, as well as a 3-cocycle $\alpha\in H^3(BG, A)$. They are also equivalent ...
2
votes
0
answers
73
views
G-modules vs. $\Delta(NG)$-modules
Let X be a simplicial set. Its category of simplices, denoted by $\Delta(X)$, is the category whose objects are the pairs $(x,[n])$, with $x\in X_n$, and morphisms $\bar{c}:(y,[m])\to (x,[n])$, where $...
6
votes
1
answer
296
views
Is group cohomology with the inversion action order two?
Let $\mathbb{Z}^\text{inv}$ denote the $\mathbb{Z}/2$-module defined by the inversion action on $\mathbb{Z}$. Let $G_0$ be a finite group that acts trivially on $\mathbb{Z}^\text{inv}$. Then one can ...
3
votes
1
answer
158
views
Pontryagin product on the homology of cyclic groups
Consider the cyclic group $C_{p^N}$ of order $p^N$, and let $k$ be a field of characteristic $p$. I would like to know what the algebra structure on the homology $H_*(C_{p^N};k)$ induced by the ...
6
votes
2
answers
240
views
Group homology for a metacyclic group
Let $G$ be a finite group, and let $M$ be a finitely generated $G$-module,
that is, a finitely generated abelian group on which $G$ acts.
We work with the first homology group
$$ H_1(G,M).$$
For any ...
7
votes
1
answer
193
views
Lifting SL2(k) to a subgroup of Witt vectors
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\GL{GL}\DeclareMathOperator\W{W}$Let $k$ be a finite field, and let $\W_n(k)$ be the degree $n$ Witt vectors over $k$ (so $\W_1(k) = k$).
Does there ...
3
votes
1
answer
264
views
Examples of Lie groups where $G\to G/H$ splits topologically but not as groups
Let $G$ be a connected Lie group and $H$ a normal connected subgroup. I'm looking for examples where $G\to G/H$ has a section as topological spaces, but not as Lie groups.
My motivation here is to ...
9
votes
1
answer
362
views
For which subgroups the transfer map kills a given element of a group?
$\newcommand{\ab}{{\rm ab}}
\newcommand{\ord}{{\rm ord}}
$Let $G$ be a finite or profinite group. Consider the abelianized group
$$G^\ab=G/G'$$
where $G'$ is the commutator subgroup of $G$.
Let $H\...
8
votes
2
answers
685
views
Pullbacks of classifying spaces
In what follows all the groups will be discrete, not necessarly finite.
Let $f:G\to H$ be a morphism of groups and $H'\to H$ be the inclusion of a subgroup. It seems to me (but correct me if I am ...
5
votes
2
answers
385
views
Cohomology of the adjoint representation of $\mathrm{SL}_2(k)$
Let $k$ be a finite field. Do we always have $H^1(\operatorname{PSL}_2(k), k^3) = 0$, where $\operatorname{PSL}_2(k)$ acts on $k^3$ via the adjoint representation (= conjugation action on trace zero ...
6
votes
0
answers
231
views
Generalization of $H^*(\Gamma; \mathbb{Z\Gamma}) \cong H^*_c(X; \mathbb{Z})$?
Let $\Gamma$ be a group acting freely and cocompactly on an acyclic space $X$. I know that there is a isomorphism $H^*(\Gamma, \mathbb{Z\Gamma}) \cong H^*_c(X; \mathbb{Z})$ of $\Gamma$-modules. The ...
7
votes
1
answer
351
views
Classifying abelian (but non-central) group extensions using homotopy theory
Let $G$ be a group and let $A$ be an abelian group equipped with an action of $G$. Group extensions
$$1 \longrightarrow A \longrightarrow \Gamma \longrightarrow G \longrightarrow 1$$
inducing the ...
5
votes
0
answers
143
views
Spectral sequence construction of Euler class of group extension
Let $A$ be an abelian group equipped with an action of a group $G$ and let
$$1 \longrightarrow A \longrightarrow \Gamma \longrightarrow G \longrightarrow 1$$
be an extension of group inducing the ...
2
votes
0
answers
70
views
Euler class of extension of free nilpotent groups
Fix some $n \geq 2$. For $k \geq 1$, let $N_k$ be the free $k$-step nilpotent group on $n$ generators, i.e., the quotient of the free group $F_n$ by the $(k+1)^{\text{st}}$ term $\gamma_{k+1}(F_n)$ ...
1
vote
0
answers
88
views
Cohomological dimension of the kernel of a homomorphism induced by a singular fibration
I have a very concrete question. Let $N={\Bbb C}-\{\pm 1\}$, and ${\Bbb Z}_2$ is acting on $N$ by rotation around $0$. Consider $M=\{(x,y)\in N^2\ |\ {\Bbb Z}_2x\neq {\Bbb Z}_2y\}$. Let $p:M\to N$ be ...
1
vote
1
answer
266
views
Cohomological dimension of kernel
Let $M$ and $N$ be two connected, smooth (possibly non-compact), aspherical manifolds (that is, $\pi_k(-)=1$ for $k\geq 2$) of dimensions $n$ and $n-r$ respectively. Let $f:M\to N$ be a smooth map ...
2
votes
0
answers
132
views
Strong converse of Kazhdan's property (T)
In his 1972 paper Sur la cohomologie des groupes topologiques II, Guichardet proved$^\ast$ that (non-abelian) free groups satisfy the following strong converse of property (T): The $1$-cohomology $H^1(...
12
votes
2
answers
440
views
Example of a finite group $G$ with low dimensional cohomology not generated by Stiefel-Whitney classes of flat vector bundles over $BG$
In Stiefel-Whitney classes of real representations of finite groups, J. Algebra 126 (1989), no. 2, 327–347, Gunawardena, Kahn and Thomas dealt with the question, whether the cohomology ring $H^...
3
votes
1
answer
194
views
Subgroups of top cohomological dimension
Let $G$ be a geometrically finite group, i.e. there exists a finite CW complex of type $K(G,1)$.
By Serre's Theorem, every finite-index subgroup $H$ of $G$ satisfies $cd(H)=cd(G)$, but what about the ...
0
votes
1
answer
180
views
Modular forms and the cocycle condition in group cohomology
I am interested in $H¹$ right now and the cocycle condition $φ_{jk} • φ_{ij} = φ_{ik}$ because of how it is said to relate to automorphic forms. I can't quite see the relationship between factors of ...
5
votes
1
answer
273
views
Extension of base field for modules of groups and cohomology [duplicate]
Let $G$ be a group and let $K/k$ be a field extension. Suppose that $V$ is a $kG$-module, and let $V_K = K \otimes_k V$ be the $KG$-module given by changing the base field.
Is it true that $H^n(G,V_K) ...
4
votes
1
answer
194
views
Uniqueness of the rank of the core of a lattice
In the paper
P.J. Webb: Bounding the ranks of ZG-lattices by their restrictions to elementary abelian groups. J. Pure Appl. Algebra 23 (3) (1982), 311-318.
the author writes in the introduction ...
4
votes
1
answer
225
views
Projective representations of a finite abelian group
Projective representations of a group $G$ are classified by the second group cohomology $H^2(G,U(1))$. If $G$ is finite and abelian, it is isomorphic to the direct product of cyclic groups
$$
G\cong ...
8
votes
1
answer
445
views
Trivial group cohomology induces trivial cohomology of subgroups
From the answer to another question I asked (Projective representations of a finite abelian group) and from the structure theorem of finite abelian groups it follows that if $A$ is a finite abelian ...
2
votes
0
answers
100
views
Extensions of groups with a $G$-action
Let $1\longrightarrow A\longrightarrow \mathcal{G}\longrightarrow R\longrightarrow 1$ be an exact sequence of algebraic group schemes, with $\mathcal{G}$ being an extension of $R$, an affine reductive ...
24
votes
0
answers
770
views
Revising the proof of CFSG
This is an oft-quoted excerpt from John Thompson's article "Finite Non-Solvable Groups":
“... the classification of finite simple groups is an exercise in taxonomy. This is
obvious to the ...
2
votes
1
answer
158
views
Rational group homology of an infinite product of finite groups
Let $G_{1}, G_{2}, \cdots$ be a countably infinite sequence of finite groups. It is well-known that the group homology $H_{n}(BG_{i};\mathbb{Q})=0$ for any $n\geq 1$.
Let $X=\prod^{\infty}_{i=1}BG_{i}$...
6
votes
1
answer
384
views
Is there a clear pattern for the degree $2n$ cohomology group of the $n$'th Eilenberg-MacLane space?
Let $G$ be a finite abelian group, and its higher classifying space is $B^nG=K(G,n)$. For $n=1$ it is well known that $H^2(B G, \mathbb{R}/\mathbb{Z}) \cong H^2(G,\mathbb{R}/\mathbb{Z})$ is isomorphic ...