Skip to main content

All Questions

Filter by
Sorted by
Tagged with
22 votes
1 answer
958 views

Alternating forms on abelian groups

Let $G$ and $H$ be abelian groups. By an alternating form, I mean a bilinear function $A\colon G\times G\to H$ such that $A(x,x)=0$ for all $x\in G$. Question. If $A\colon G\times G\to H$ is an ...
3 votes
2 answers
305 views

Are $H^3(A,U(1))$ and $\operatorname{Ext}^1(A,A^\vee)$ isomorphic for $A$ finite Abelian?

Motivated by three-dimensional Dijkgraaf-Witten TQFTs for finite Abelian groups $A$, that are classified by $H^3(A,\mathbb{R}/\mathbb{Z})$, it seems natural that this group is (naturally) isomorphic ...
5 votes
1 answer
313 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
523 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 ...
6 votes
1 answer
408 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 ...
8 votes
1 answer
393 views

Pontryagin dual of a group-cohomology class

Let $A, B, C$ be finite Abelian groups fitting in a short exact sequence $$ 1 \rightarrow A\overset{\iota}{\rightarrow} B\overset{\pi}{\rightarrow} C\rightarrow 1 $$ This determines a class $[\...
1 vote
1 answer
198 views

A map in group cohomology from $H^n(G,G^{\vee})$ to $H^{n+1}(G,U(1))$

Let $G$ be a finite abelian group and denote by $G^{\vee}=\mathrm{Hom}(G,U(1))$ its Pontryagin dual. For any positive integer $n$ one can define a homomorphism of abelian groups $$ f:H^{n}(G,G^{\vee})\...
8 votes
1 answer
216 views

Cohomology of the Baer-Specker group

Let $A = \prod_{i \in \mathbb{N}} \mathbb{Z}$ be the Baer-Specker group; that is, a countably infinite product of the integers. We will consider this as a discrete abelian group. Are the higher ...
3 votes
0 answers
327 views

Homology $H_{\ast}(T, V)$

Let $A$ be a local domain. We let $T=T(A) $ be the subgroup of $\mathrm{SL}_{2}$ consisting of diagonal matrices and $V$ be the subgroup of unital matrices of $\mathrm{SL}_{2}$; i.e. $V:=\left\{\left( ...
2 votes
0 answers
70 views

Alternating $n$-homomorphism on abelian group is skew of $n$-cocycle

Let $A$ be a finitely generated abelian group. Let $c$ be a 2-cocycle on $A$, where $A$ acts trivially on $\mathbb{C}^\times$. It is well-known that the skew-map $$ c(a_1,a_2) \longmapsto \frac{c(a_1,...
2 votes
0 answers
176 views

Trivial Tate modules

Let $A$ be an abelian group, and $p$ a prime. I'll call $$T_p(A) := \text{Hom}_{\mathbf{Z}}(\mathbf{Q}_{p}/\mathbf{Z}_{p}, A).$$ If $A$ is finite, then $T_p(A)$ is trivial, but the converse is not ...
1 vote
0 answers
109 views

Symmetric analogue of "alternating bihomomorphism is skew of 2-cocycle" theorem

Let $G$ be a finite abelian group. It is well-known that every alternating bihomomorphism $\Omega:G\times G \to \mathbb{C}^\times$ arises as the skew $\kappa/\kappa^T$ of a 2-cocycle $\kappa \in Z^2(G,...
11 votes
1 answer
424 views

Functorial description of mod-2 homology of an abelian group $A$ in terms of $A/2$ and ${}_2A.$

Let $A$ be an abelian group and $p$ be a prime. If $p\ne 2,$ there is a very nice functorial description of the homology algebra $H_*(A,\mathbb Z/p):$ $$H_*(A,\mathbb Z/p)\cong \Lambda^*(A/p)\otimes \...
2 votes
0 answers
100 views

Alternating bihomomorphism is skew of 2-cocycle - relative situation

Let $G$ be a finite abelian group. It is well-known that every alternating bihomomorphism $\Omega:G\times G \to \mathbb{C}^\times$ (i.e. $\Omega(g,g)=1$) arises as the skew $\kappa/\kappa^T$ of a 2-...
2 votes
1 answer
209 views

Constructing an explicit extension of a continuous character on a closed subgroup of a certain locally compact abelian group

Let $ G $ be a locally compact abelian group and $ \omega: G \times G \to \mathbb{T} $ a continuous multiplier on $ G $, i.e., \begin{align} \forall r,s,t \in G: \qquad \omega(s,t) ~ \omega(r,s + t) &...
11 votes
1 answer
3k views

Where can I easily look up / calculate (abelian) group cohomology?

For an example I'm trying to understand, I need to calculate some cohomology group of some $\mathbb Z$-module with coefficients in some other $\mathbb Z$-module (with no interesting actions). (In ...