The group-cohomology tag has no wiki summary.

**3**

votes

**2**answers

248 views

### Homology groups of divisible and powered (nilpotent) groups

(1) Suppose $\pi$ is a set of primes and $G$ is a $\pi$-divisible nilpotent group, i.e., for any $g \in G$ and $p \in \pi$, there exists $x \in G$ such that $x^p = g$. Is it necessary that all the ...

**2**

votes

**1**answer

237 views

### Finiteness theorem for first-cohomology group of sheaf of holomorphic functions on compact Riemann surfaces

I have been reading Otto Forster's Lectures on Riemann Surfaces recently, and came across a question on section 15, Finiteness Theorem, which asserts that $H^1(X, \mathcal{O})$ is finite dimensional, ...

**3**

votes

**1**answer

172 views

### Explicit formula for Bockstein hom in group cohomology of elementary abelian p-groups

Suppose $G$ is an elementary abelian $p$-group of rank n (for simplicity we can assume n=1). Denote by $\beta$ the well-known Bockstein boundary map from $H^1(G,\mathbb F_p)$ to $H^2(G,\mathbb F_p)$. ...

**3**

votes

**0**answers

246 views

### The second homology of a group G and presentation complex of G

Let $G$ be a finitely presentable group. If we assume $H_2(G,Z/pZ) =0$, $p$ is a prime, then can we always find a finite presentation $\mathcal{P}$ of $G$ so that its presentation complex ...

**8**

votes

**1**answer

267 views

### Generalizations and limitations of Quillen's F-isomorphism theorem

Quillen proved in 1971 ("The Spectrum of an Equivariant Cohomology Ring: I,II") for a large class of groups $G$ including
compact Lie groups
groups of finite virtual cohomological dimension
...

**4**

votes

**0**answers

175 views

### geometric interpretation of the transgression map

Let $X$ be an algebraic variety over an algebraically closed field $k$ and let a finite group $G$ act on it so that it acts freely on the generic fibre of the projection $X \to X/G$, so ...

**6**

votes

**1**answer

207 views

### Mod-p cohomology of $GL(n,p^d)$

In the classic paper On the Cohomology and K-Theory of the General Linear Groups Over a Finite Field, Quillen proved (Theorem 6):
$H^i(GL(n,p^d),\mathbb{F}_p)=0$ for $0 < i < d(p-1)$ and ...

**6**

votes

**2**answers

246 views

### Taking invariants under pro-p-group is exact?

Let $l$, $p$ be primes. Is it true that the functor of taking invariants under pro-$p$-group $P$ of finite-dimensional $\mathbb Q_l$-vector spaces ($l\neq p$) is an exact functor?
Thanks!
NOTE 1: I ...

**2**

votes

**1**answer

800 views

### Which limits does group cohomology commute with?

For a discrete group G, if $M$ is a direct/inverse limit of $M_i$, is $H^i(G, M)$ the direct/inverse limit of the $H^i(G, M_i)$? Of course, cohomology commutes with finite direct sums, but how about ...

**4**

votes

**2**answers

614 views

### Group cohomology of orthogonal groups with integer coefficient

I would like to know the group cohomology of orthogonal groups $SO(n)$, which is the topological cohomology of the classifying space of the group:
$H^*(BSO(n);\mathbb{Z}) = $ ? (for example for ...

**3**

votes

**3**answers

393 views

### Computing the cardinality of cohomology groups

I hope this question is not unreasonably broad. It is about calculating or at least bounding the cardinality of cohomology groups in case they are finite.
Let us assume we are given a group $G$ and a ...

**0**

votes

**1**answer

420 views

### Transfer map for group homology.

I'm trying to figure out what the transfer map looks like in a specific case. Here's the set up
Let $G$ be a group and $H$ a subgroup of finite index, and let $h_{i}$ for $i=1,..,n$, be coset ...

**1**

vote

**1**answer

537 views

### Transgression maps in group cohomology and group homology / duality of spectral sequences

I am interested in whether the transgression maps for group cohomology and group homology are related via a version of the universal coefficient theorem.
Let $G$ be a group, $H$ a normal subgroup of ...

**7**

votes

**1**answer

195 views

### Nonhyperbolic groups that contain no free abelian groups or Baumslag-Solitar groups

I've heard it conjectured that a finitely presentable group $G$ is hyperbolic if it satisfies the following two conditions.
$G$ contains no subgroup isomorphic to a Baumslag-Solitar group $BS(n,m)$ ...

**3**

votes

**1**answer

246 views

### Computations of cup products in Serre's Local Fields

I have been reading the appendix in Serre's Local fields, to do with explicit computations of cup products (pg 176), but I'm stuck on one bit of lemma 4. It goes as follows
Let B be a $G$-module, $u: ...

**13**

votes

**3**answers

494 views

### Does this subgroup of “even braids” have a name?

The full braid group on $n$ strands $B_n$ admits a surjective homomorphism $p\colon\thinspace B_n\to \Sigma_n$ onto the symmetric group on $n$ letters, which takes a braid to the induced permutation ...

**2**

votes

**0**answers

268 views

### galois cohomology over finite field

Let $X$ a smooth projective geometrically connected curve over a finite field $k$. Let $J$ a smooth commutative group scheme over $X$ and $F$ the function field of $X$.
Do we have a formula to ...

**3**

votes

**1**answer

232 views

### Naturality of the transfer in group cohomology

Let $G$ be a (discrete) group and $H\le G$ a subgroup of finite index. Then there is a transfer map
$$tr\colon\thinspace H^\ast(H;M)\to H^\ast(G;M)
$$
in group cohomology, where $M$ is any $G$-module ...

**5**

votes

**1**answer

458 views

### An isomorphism between different Ext's coming from group cohomology

Let $G$ be an abelian group and $M$ a $G$-module with trivial action. It is well-known that $H^2(G,M)$ classifies extensions of $G$ by $M$, which is $\mathrm{Ext}^1_{Ab}(G,M)$.
On the other hand ...

**5**

votes

**0**answers

270 views

### Kuranishi map, group cohomology and the bar complex

Let $\pi$ be a group, $G$ a compact lie group with lie algebra $g$, $A:\pi\to G$ a representation which composes with the adjoint map to give $g$ a $\pi$-module structure. I want to construct a ...

**7**

votes

**0**answers

178 views

### Evens norm as a derived functor

In the theory of cohomology of groups there are several important maps between cohomologies: restriction, inflation, transfer and Evens norm. The first three of them can be clearly seen on the level ...

**1**

vote

**1**answer

339 views

### Why do we use the diagonal for diagonal approximations ?

First recall how the cup product is defined for the cohomology of a group $G$:
Fix a projective resolution $P \to \mathbb{Z}$ over $\mathbb{Z}G$. Then $P \otimes P \to \mathbb{Z} \otimes \mathbb{Z} ...

**4**

votes

**0**answers

147 views

### Modified radical group of a Kummer extension

If $K/k$ is a degree $p$ Kummer extension of number fields (so $k$ contains the $p^r$th roots of unity for some $r \geq 1$ --- let's also assume $K/k$ is not generated by $p$-power roots of unity), I ...

**4**

votes

**1**answer

293 views

### Why is the transfer map Tate-dual to restriction ?

In one of their papers (before Theorem 7.2), Benson and Carlson state that the transfer map is Tate-dual to the restriction homomorphisms (also see Remark 1.3 of this recent paper).
More ...

**4**

votes

**2**answers

154 views

### Computing Slim Extensions representing Ext

Hey Everyone
Let $A$ be an algebra over a field (group rings $k[G]$ for group cohomology, the Steenrod Algebra). We want to compute, say, $Ext_A(k,k)$, so let $F_*\to k$ be an $A$-free resolution. ...

**7**

votes

**6**answers

1k views

### reference for (co)homology theories

Hi everyone,
Every now and then, I find myself dealing with such or such (co)homology theory, and I'm frustrated I don't feel more comfortable around it.
I was wondering if someone could recommend a ...

**3**

votes

**1**answer

117 views

### Dimension of the cohomology ring of an extension of groups

Given an extension $1 \to N \to P \to Q \to 1$ of p-groups. Is it true that
$$\dim H^\ast(P,\mathbb{F}_p) = \dim \text{im}(res^P_N) + \dim \text{im}(inf^P_Q)$$
where $\dim$ denotes the Krull ...

**4**

votes

**0**answers

231 views

### Eilenberg-Mac Lane spaces for surface group extensions.

(The question has been edited. It was pointed out in the comments that $\Gamma_G$ could be a surface group, thought of as a finite extension of another surface group, in which case $G$ is finite.)
...

**5**

votes

**1**answer

263 views

### Does the following “symmetric” 2nd cohomology group of a finite group with coefficients in $Z_2$ always vanish?

Let $G$ be a finite group. Usually, a 2-cocycle on $G$ with values in $\mathbb{Z}\_2 = \{+1, -1\}$ is a collection of signs $\epsilon_{g,h} \in \{+1, -1\}$, $g,h \in G$, satisfying the cocycle ...

**4**

votes

**2**answers

556 views

### Mackey(also Green and Tambara) functors and Greenlees-May

This is somewhat related to a question that I asked on Math.SE but, sadly, received no response. I apologize ahead of time if this is not appropriate for MO. Feel free to vote to close if this is the ...

**7**

votes

**0**answers

391 views

### Can the Bockstein spectral sequence be used to compute cohomology rings ?

If $G$ is a finite group then there is the so-called Bockstein spectral sequence $$E_2^n = H^n(G,\mathbb{F}_p) \Rightarrow \begin{cases} \mathbb{F}_p & n =0 \newline 0 & n>0\end{cases}$$ ...

**1**

vote

**0**answers

109 views

### Extensions of orthogonal groups of torsion quadratic forms.

Hi. This is related to a question I asked earlier. The setup is:
Let $L$ be an $n$-dimensional lattice with an integer valued quadratic form $q$. Fix a basis $e_i$ for $L$ and let $K_{ij} = ...

**6**

votes

**0**answers

127 views

### Is it true that there are exactly two conjugacy classes of order two elements in Out(R)?

In the title, $R$ stands for the hyperfinite III1 factor.
An order two element $\alpha\in Out(M)$ ($M$ any factor) has an invariant $c(\alpha)\in H^3(\mathbb Z/2,S^1)=\mathbb Z/2$.
Q: Is $c$ the ...

**5**

votes

**2**answers

254 views

### What is a higher genus analogue of the Pontryagin product?

Given a compact oriented aspherical $3$--manifold $M$ with torus boundary $\partial M\simeq T^2$ (e.g. a knot complement), the condition that the images in $\pi_1 M$ of basis $x,y\in \pi_1 T^2$ under ...

**19**

votes

**2**answers

1k views

### When does a homomorphism factor through a free group?

Let $f\colon\thinspace G\to H$ be a surjective homomorphism of finitely generated groups. Are there any methods to decide whether $f$ factors through a free group? That is, does there exist a free ...

**4**

votes

**1**answer

154 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 ...

**2**

votes

**1**answer

168 views

### Calculating $H^n(G, \mathbb{Z}G)$ as co-homology with compact support of a proper co-compact $G$-CW-complex $X$

This question was originally posted to Math.StackExchange, but having got no response there, I'm reposting it here. I apologise if it is too elementary for this site.
(Original post: ...

**4**

votes

**2**answers

314 views

### Extensions of topological groups

Suppose I have a central extension $1 \to U(1) \to \hat{G} \to G \to 1$ of a topological group $G$ by the circle group $U(1)$ in such a way that $\hat{G} \to G$ is a principal $U(1)$-bundle. Moreover, ...

**6**

votes

**2**answers

490 views

### cohomological dimension of a group acting on a product

I recently came across an interesting result of Kobayashi [Corollary 5.5], a special case of which is the following: Suppose $\Gamma$ is a discrete torsion free subgroup of $SL_n(\mathbb{R})$ which ...

**5**

votes

**1**answer

151 views

### For which rings R is SL_n(R) a virtual duality group

A famous theorem of Borel and Serre says that if $R$ is the ring of integers in an algebraic number field, then $\text{SL}_n(R)$ satisfies virtual Bieri-Eckmann duality. In other words, there exists ...

**8**

votes

**1**answer

468 views

### Which information can be obtained from Poincaré series ?

If $A= \bigoplus_{i\ge 0}A_i$ is a graded commutative Noetherian algebra over a field, its Poincaré series is given by $P(t) = \sum_{i\ge 0} \dim(A_i)t^i$. Although the definition of $P(t)$ only ...

**12**

votes

**1**answer

947 views

### Interpretation of universal coefficients theorem for group cohomology

Suppose $G$ and $A$ are abelian groups (I'm setting $G$ abelian to keep the discussion simple, though there are analogues for non-abelian $G$) with $G$ acting trivially on $A$. By the universal ...

**2**

votes

**2**answers

319 views

### Whether such an algebra has to be the Group algebra

Let $\mathbb C$ be the field of the complex numbers, $\mathbb Q$ the field of the rational numbers.
Let $G$ be an additive subgroup of $\mathbb Q$.
$R$ is an commutative algebra over $\mathbb C$, ...

**3**

votes

**2**answers

386 views

### Cohomological dimension of finitely presented group

I have a group of cohomological dimension 2 generated by two elements. Is it possible to deduce that the group is commutative or, more generally, does $\mathrm{cd}\ G=2$ imply anything about the ...

**0**

votes

**0**answers

94 views

### Isomorphisms of group extensions arising from antisymmetric forms

Let $V,W$ be topological vector spaces and fix continuous antisymmetric bilinear forms $\omega_1:V\times V\to \mathbb{R}$, $\omega_2:W\times W\to\mathbb{R}$. Since $\omega_1$ is a 2-cocycle (in fact ...

**1**

vote

**1**answer

375 views

### Finiteness theorems for profinite groups

Let $G$ be a profinite group which fits in the following short exact sequence:
$$
1\rightarrow N\rightarrow G \rightarrow K\rightarrow 1
$$
Assume that $N$ is a pro-$p$ group and that $K$ is ...

**17**

votes

**2**answers

913 views

### Proofs of the Stallings-Swan theorem

It is a well-known and deep${}^\ast$ theorem that if a group $G$ has cohomological dimension one then it must be free. This was proved in the late 60's by Stallings (for finitely generated groups) and ...

**9**

votes

**1**answer

308 views

### Second cohomology of group of $S_n$

Hello,
Let $k$ be a field of characteristic different from $2$.
Let $n\geq 1$ be an integer, and let $T$ be the maximal torus of the $k$-algebraic group $PGL_n$, namely the quotient of diagonal ...

**5**

votes

**1**answer

367 views

### Transgressions commute with the Steenrod operations on the base and fiber in a central group extension?

The following sentence is quoted from the paper ON THE COHOMOLOGY OF SPLIT EXTENSIONS by D. J. BENSON AND M. FESHBACH:
In general, the differentials in the Lyndon-Hochschild-Serre spectral sequence
...

**1**

vote

**0**answers

375 views

### Profiniteness Condition for Hochschild-Serre Spectral Sequence?

This question may seem elementary to experts but I am quite confused about it:
According to the entry of Lyndon–Hochschild–Serre spectral sequence on wikipedia, for a group extension $1\to N\to G\to ...