The tag has no wiki summary.

learn more… | top users | synonyms

22
votes
0answers
516 views

Is there a Kan-Thurston theorem for fibrations ?

Given a fibration $F \to X \to B$ with all spaces path-connected. Is there a (discrete) group $G$ with normal subgroup $H$ such that $$H^\ast(BG;\mathcal{A}) = H^\ast(X;\mathcal{A})$$ ...
15
votes
0answers
938 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
450 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 ...
10
votes
0answers
387 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$. ...
9
votes
0answers
218 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 ...
8
votes
0answers
318 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
278 views

Cohomology of Formal Groups

Lubin and Tate, in discussing moduli of 1-dimensional formal groups construct a cohomology theory of formal groups, at least in degrees 0,1 and 2. Does their result about deformations actually follow ...
8
votes
0answers
339 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. ...
7
votes
0answers
99 views

The homology of the braid group with coefficients in the Burau representation

Let $B_n$ denote the braid group with $n$ braids. The Burau representation $B_n\to GL_n(\mathbb{Z}[t^{\pm1}])$ makes $(\mathbb{Q}[t^{\pm1}])^n$ a $B_n$-module. I am curious in knowing what $H_i(B_n, ...
7
votes
0answers
270 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 ...
6
votes
0answers
55 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 ...
6
votes
0answers
296 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
165 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 ...
6
votes
0answers
305 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
123 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
314 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
146 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
213 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
243 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
81 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
162 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 ...
4
votes
0answers
213 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
149 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
436 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
65 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 ...
3
votes
0answers
90 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
92 views

non-Abelian inflation-restriction sequence?

Let $1 \to H \to G \to G/H \to 1$ be a group extension. The long exact sequence that arises from Hochschild-Serre spectral sequence for this extension relates objects that are clasified by cohomology ...
3
votes
0answers
282 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
194 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
134 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 ...
3
votes
0answers
194 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
497 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
102 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
81 views

(Co)Homology of groups vs. Lie algebras: polynomial rings

For Lie groups (or algebraic groups over fields) there is a strong relation between the cohomology of the group and the cohomology of its Lie algebra. Some MO-question where this is discussed can be ...
2
votes
0answers
92 views

Lazard's $\Gamma_n(f)$ as cocycle

In Michel Lazard's "Commutative Formal Groups" Springer Lecture Notes, he defines an operator on a polynomial 3-cochain $f$ denoted $\Gamma_n(f)$, which defines as the $n^{th}$ homogeneous piece of ...
2
votes
0answers
221 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 ...
2
votes
0answers
305 views

Inseparable Galois Cohomology

First let me give a general form of my question, and then I'll give some motivation and a more specific version of it. Let $K/k$ be a Galois extension of fields with Galois group $G$, and let $X$ be ...
2
votes
0answers
175 views

A local-global question on group representations

Let $G$ be a group, and let $V$ be a finite dimensional $\mathbb Q$-linear representation of $G.$ By extension of scalars we obtain the $\mathbb Q_l$-linear representation $V_l=V\otimes\mathbb Q_l.$ ...
2
votes
0answers
290 views

Cohomologies associated to residually torsion-free nilpotent groups

This question is related to my previous question: Relationship between the cohomology of a group and the cohomology of its associated Lie algebra. A group $G$ is ${\it residually \ torsion \ free \ ...
1
vote
0answers
86 views

Reference on calculation of 2nd cohomology group

Let $G$ be a finitely generated, infinite, countable discrete nonamenable group with zero first Betti number, I.e., $H^1(G, \ell^2(G))=0$, e.g., $G=F_2\times F_2$, the product of free groups of two ...
1
vote
0answers
65 views

when is the restriction $H^2(G,\mathbb{C}^*)\to H^2(K,\mathbb{C}^*)$ surjective?

Let $G$ be a finite group with a subgroup $K$. Given $[\beta]\in H^2(K,\mathbb{C}^*)$ is the an obstruction which checks whether or not $[\beta]$ is the restriction of some $[\alpha]\in H^2(G, ...
1
vote
0answers
220 views

Functors with Mayer-Vietoris Sequences

Let $F$ be a contravariant functor from some category of spaces (e.g. smooth manifolds or (compact?) topological Hausdorff spaces), to Abelian groups. Assume that for any open sets $U, V \subseteq X$ ...
1
vote
0answers
72 views

$H^2(K, Q_p(1))$

In Tate's local duality theorem we find the isomorphism $H^2(K, Q_p(1)) \cong Q_p$ where $K$ is a finite extension of $Q_p$. I haven't found any reference where this isomorphism is given explicitly ...
1
vote
0answers
115 views

clarify a question in group cohomology

In page 43 of Kenneth S.Brown's book "Cohomology of Groups", GTM 87, we have a proposition: If $G=F(S)/R$ then there is an exact sequence $0\to R_{ab}\overset{\theta}{\to} ...
1
vote
0answers
97 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} = ...
1
vote
0answers
347 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 ...
1
vote
0answers
138 views

Twisted homology of free products

Let $G_1$ and $G_2$ be groups and let $M$ be a vector space equipped with actions of $G_1$ and $G_2$. The free product $G_1 \ast G_2$ thus acts on $M$. How can one compute the twisted group homology ...
1
vote
0answers
157 views

Exotic Chains for Group Homology of a Complex Lie Group

Related Question: Exotic Chains for Group Cohomology of a Complex Lie Group Let's take the group homology of a affine algebraic group over $\mathbb C$ (with its discrete topology). The natural ...
1
vote
0answers
134 views

Duflot-type theorem for Hopf algebras ?

In group cohomology Duflot's theorem states that the depth of the mod p cohomology ring of a finite group is greater than or equal to the p-rank of the center of a Sylow p-subgroup. Is there a ...
0
votes
0answers
125 views

natural map from $H^3(BG,\mathbb{Z})$ to $H^3(\underline E G,\mathbb{Z})$?

is there any natural map from natural map from $H^3(BG,\mathbb{Z})$ to $H^3(\underline E G,\mathbb{Z})$? where $G$ is a discrete group, $BG$ is the classifying space, and $\underline E G$ is the ...