The tag has no usage guidance.

learn more… | top users | synonyms

17
votes
0answers
1k views

Is the equivariant cohomology an equivariant cohomology?

Suppose a finite group $G$ acts piecewise linearly on a polyhedron $X$. Then there are two kinds of equivariant cohomology (or homology). $\bullet$ With coefficients in a $\Bbb Z G$-module $M$. A ...
13
votes
0answers
493 views

Noether-Deuring for injections and surjections?

Noether-Deuring theorem (not in the strongest form, but in the one I usually need): Let $L\diagup K$ be a field extension. Let $A$ be a $K$-algebra which is finite-dimensional as a vector space over ...
13
votes
0answers
432 views

To what extent does (co)homology of groups made discrete depend on set theory?

There's a well-known paper by Milnor, "On the homology of Lie groups made discrete," that discusses the relation between the homology of a Lie group $G$ and the underlying discrete group $G^\delta$. ...
12
votes
0answers
230 views

In what sense is the braid group $B_3$ the universal central extension of the modular group $\Gamma$?

First let's recall some definitions. Let $G$ be a perfect group, so that $$H^2(G, A) \cong \text{Hom}(H_2(G), A)$$ for all abelian groups $A$ by universal coefficients. This means that when $A = ...
10
votes
0answers
176 views

Stable range of some classifying spaces and iterated loop spaces

Galatius (in his talk) has made very interesting remarks about the stable range of some classifying spaces of groups. To be more concrete, I will mention two examples to illustrate his (?) point of ...
9
votes
0answers
187 views

Homological stability for orthogonal groups

In Vogtmann's paper "Spherical posets and homological stability for $O_{n,n}$" it is shown that for all fields different than the field $F_2$ with two elements the homology groups of the orthogonal ...
9
votes
0answers
367 views

Non split extension isomorphic (as a group) to a split extension

$\def\Z{\mathbb{Z}}$ Let $A$ be a finite abelian group and $G$ a finite group acting on $A$. Then the extension $0 \to A \to E \to G \to 1$ is splits if and only if the corresponding $2$-cocycle is ...
9
votes
0answers
376 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. ...
8
votes
0answers
415 views

Homology of Lie groups

Let $G$ be a Lie group and $G^{\delta}$ the underlying group (with discrete topology). Obviously, we have a continuous map of groups $i:G^{\delta}\rightarrow G$ which induces a map between classifying ...
8
votes
0answers
188 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 ...
7
votes
0answers
99 views

Bloch group, hyperbolic manifolds and rigidity

I have some questions concerning the hyperbolic geometry side of the rigidity question for $K_3$ which asks if the natural map $K_3^{\operatorname{ind}}(\overline{\mathbb{Q}})\to ...
7
votes
0answers
279 views

Albrecht Fröhlich's text `Groupoids, groupoid spaces and cohomology' (1965)

I am looking for Albrecht Fröhlich's unpublished text `Groupoids, groupoid spaces and cohomology' (1965). In this text Fröhlich defines cohomology of a group with coefficients in a groupoid (this was ...
7
votes
0answers
435 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}$$ ...
6
votes
0answers
169 views

What's the name of the cohomology class associated to a projective representation?

Suppose $\rho : G \to PGL_n(k)$ is a projective representation of a group $G$ over a field $k$. It's classical that the obstruction to lifting this to a linear representation $G \to GL_n(k)$ is a ...
6
votes
0answers
132 views

vanishing of Lie algebra cohomology with coefficients in an infinite-dimensional module

Let $G$ be a real semisimple Lie group, $K$ its maximal compact subgroup, $\mathfrak g, \mathfrak k$ the corresponding Lie algebras. Let $V$ be a locally convex, Hausdorff vector space, which is a ...
6
votes
0answers
136 views

Proof that the second Borel cohomology group of $(\mathbb R, +)$ is trivial

Does anyone have a reference for a fairly direct proof that the second Borel cohomology group for $(\mathbb R, +)$ (with the trivial action on the circle group) is trivial? The motivation is to show ...
6
votes
0answers
465 views

Lyndon-Hochschild-Serre spectral sequence and cup products

First here is my setup: Let $W$ be some group, and $C$ a normal subgroup of finite index, and let $W/C=G$. Now let $L$ be a a $G$-module on which $C$ acts trivially, so in particular we get on action ...
6
votes
0answers
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 ...
6
votes
0answers
332 views

Relation between group representations and elements of group cohomology groups

Having already seen group cohomology, I was just introduced to the formula $U \otimes Ind W = Ind(Res(U) \otimes W)$ from representation theory. This seems oddly like the formula $\mathrm{Cor}(u) \cup ...
5
votes
0answers
87 views

Continuous cohomology via model category

Is it possible to formulate notion of continuous cohomology in terms of model categories? If yes, then is there a reference for this?
5
votes
0answers
93 views

Restriction of $H^3(M_{24}, U(1))$ to $M_{12} \rtimes \mathbb{Z}_2$

$M_{12}\rtimes \mathbb{Z}_2$ is a maximal subgroup of $M_{24}$, where $M_{24}$ and $M_{12}$ are Mathieu groups . Also, it is known that $H^3(M_{24}, U(1)) \cong \mathbb{Z}_{12}$. I want to find the ...
5
votes
0answers
96 views

Second homology of mapping class group via universal coefficient theorem

Let $S_g$ be the closed, orientable surface of genus $g\ge 2$ and $Mod(S_{g,1})$ the mapping class group of homeomorphisms fixing a base point $x_0\in S_g$ modulo isotopies fixing $x_0$. It is known ...
5
votes
0answers
137 views

Example of a torsionfree group satisfying a cohomological condition

Let us call a finitely generated group $G$ cohomologically rich if for each $k \geq 0$, we can find a subgroup $G'$ and a prime $p$ such that $H^k(G';\mathbb F_p) \neq 0$. Examples which come to mind ...
5
votes
0answers
87 views

(Eichler-Shimura Isomorphism) Proving c(f) is not a boundary

I have seen a couple of questions related to the Eichler-Shimura Isomorphism, but almost all of them have to do with hodge theory (things I am unfamiliar with) and seem, to me, different/unrelated. ...
5
votes
0answers
178 views

Third cohomology of mapping class group

I would like to know the third cohomology with coefficients in $U(1)$ or $\mathbb{C}^\ast$ of the mapping class group of a surface of genus at least one. I found many results on the rational ...
5
votes
0answers
232 views

Group cohomology in dimension $-1$

This may seem like a pie-in-the-sky speculation question, but I have good reasons for asking this. Is there any sense in which $H^{-1}(G;M)$ is defined for a group $G$ and a $G$-module $M$? The ...
5
votes
0answers
279 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 ...
4
votes
0answers
70 views

Generalization of a 1D unitary representation

Probably a very naive question, but I'd be grateful for any input. Consider 1D representations of finite group $G$: $\chi(g) \chi(h) = \chi(g h)$ with $\chi(g)\in \text{U}(1)$, and $\chi(1)=1$. The ...
4
votes
0answers
142 views

Is the Tensor/Exterior square $G\otimes G$ or $G\wedge G$ of infinite p-group also a p-group?

Let $G$ be an infinite countable p-group. Is it true that $G\otimes G$ or $G\wedge G$ are also p-groups? (where G acts on itself by conjugation). For simplicity, you can consider that $G=[G,G]$, and ...
4
votes
0answers
60 views

Minimal rank of a permutation resolution of a $G$-lattice

Let $G$ be a finite group. By a $G$-lattice I mean a finitely generated free abelian group $L$ with an action of $G$. One says that $L$ is a permutation lattice if $L$ has a $\mathbb{Z}$-basis ...
4
votes
0answers
91 views

Rational cohomology of $S$-arithmetic groups over function fields and Gauss-Bonnet

I have a question on the ranks of rational cohomology groups of $S$-arithmetic groups over function fields. To fix the situation, $G$ is a simple Chevalley group of rank $r$, $k=\mathbb{F}_q$ a finite ...
4
votes
0answers
88 views

On restriction to centralizers of all elements in group cohomology

If $G$ is a finite group, what do we know of the natural «restriction» map $$H^\bullet(G,\mathbb Z)\to\left(\bigoplus_{g\in G}H^\bullet(Z(g),\mathbb Z)\right)^G,$$ with $Z(g) $ the centralizer of $g ...
4
votes
0answers
167 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
0answers
233 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.) ...
4
votes
0answers
163 views

Exotic Chains for Group Cohomology of a Complex Lie Group

Related Question: Exotic Chains for Group Homology of a Complex Lie Group Let's take the group cohomology of a affine algebraic group over $\mathbb C$ (with its discrete topology). The natural ...
4
votes
0answers
459 views

Second cohomology group

Dear Forum, Let A be an associative division algebra (i.e. a skew field), G a subgroup of the multiplicative group of A and E an extension of the additive group A+ of A by G such that G acts on A+ ...
3
votes
0answers
119 views

Is central extension of a group equivalent to a bundle with gauge field?

Let $\tilde G$ be a central extension of a group $G$ by $U(1)$. One common elegant definition is that there should be a short exact sequence of groups: $0 \to U(1) \to \tilde G \to G \to 0$ ...
3
votes
0answers
93 views

Schur Multiplier of Tarski Monsters

Is it known whether the Schur Multiplier of the Tarski monsters are finitely generated?
3
votes
0answers
81 views

Crossed homomorphisms between power series groups

Consider the group $\mathbb{C}[[z]]_1$ of the power series of the form $a_1 z + a_2 z^2 + \cdots$, with $a_1\neq 0$, under the operation of composition, and $\mathbb{C}[[z]]$ as a ...
3
votes
0answers
89 views

Lie group cohomology with coefficients in Lie algebra

I'm looking for a reference, and basic results, about Lie algebra as modules over a Lie group (with the adjoint representation), from the point of view of cohomology. Links with the Lie algebra ...
3
votes
0answers
160 views

torsion free for the 2nd cohomology group?

Let $G$ denotes an infinite coutable discrete group with Kazhdan's property (T), My question is: is it known that the 2nd cohomology group $H^2(G,\mathbb{Z}G)$ is torsion free? Thanks in advance! ...
3
votes
0answers
91 views

Groups such that all finite-dim representations are finitely presented

Let $G$ be an infinite group. What sorts of finiteness properties can I put on $G$ to ensure the following holds for all $M$? Let $M$ be a finite-dimensional vector space over $\mathbb{Q}$ upon ...
3
votes
0answers
354 views

Analysis of Eilenberg-MacLane Stacks

In a series of three papers from the fifties, Eilenberg and MacLane did a pretty exhaustive study of what we now call "Eilenberg-MacLane spaces" and used a lot of machinery to do it, e.g. Whitehead's ...
3
votes
0answers
259 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 ...
3
votes
0answers
213 views

Identifying projective representations using “gauge-invariant” traces tr[V_g V_h V_k … ]

Background A projective representation $V_g\in \mathrm{GL}_n(\mathbb{C})$ of a group $G$ is characterized by $V_gV_h=\omega(g,h)V_h$, where $\omega(g,h)\in\mathrm{U}(1)$ is a 2-cocycle. Changing the ...
3
votes
0answers
512 views

Untwisting the Cohomology with Twisted Coefficients

This question is set on a finite $2$-group $G$ and a subgroup $H$ of index $2$ (but perhaps the question could be answered for arbitrary orders/indexes). It was asked here on MO whether ...
3
votes
0answers
103 views

High-dimensional analogue of Skew

Suppose G and A are abelian groups. Suppose f is a 2-cocycle for the trivial group action of G on A. In other words, we have that: $$f(g_1,g_2 + g_3) + f(g_2,g_3) = f(g_1 + g_2,g_3) + f(g_1,g_2)$$ ...
2
votes
0answers
104 views

Integral cohomology of elementary abelian groups

Let $p$ be a prime. I am looking for a reference or a short proof for the fact that cohomology groups $H^i((\mathbb{Z}/p\mathbb{Z})^n,\, \mathbb{Z}),\, i>0,$ have exponent $p$ (i.e., that they are ...
2
votes
0answers
54 views

How to compute group homology of Iwasawa algebra

Let $G$ be a $p$-adic Lie group, $H$ a subgroup of $G$. What is $H_1(H,\Lambda(G))$, where $\Lambda(G)$ is the Iwasawa algebra of $G$ over $\mathbb Z_p$? If it simplies the question, we may assume ...
2
votes
0answers
172 views

Strange invocation of Shapiro's lemma

I'm having trouble understanding a claim in a paper I'm reading. To avoid having to explain a lot of notation, I'll abstract the claim a bit. Assume that $G$ is a group with a subgroup $H$. Also, ...